rue
Suppose -4*l - l + 20 = 0. Let z(b) = -b**3 + 4*b**2 - b + 4. Let m be z(l). Suppose 5*h - 38 = -4*x, m*h + x + 16 = 3*h. Is 6 a factor of h?
True
Let u(b) = 3*b**2 - 4. Let h be u(3). Suppose 5*v = -h + 73. Does 9 divide v?
False
Let z(g) = g**3 + 5*g**2 - g - 5. Let d(c) = c**2 - 5. Let b be d(0). Let y be z(b). Suppose y = x + 1 - 10. Is x a multiple of 9?
True
Suppose 2*b - 17 = 47. Let n = -20 + b. Is 12 a factor of n?
True
Is (-28)/(-3)*(3 - 0) a multiple of 3?
False
Let t = -21 - -63. Does 6 divide 4/(-3)*t/(-4)?
False
Does 4 divide (1 + 0)*(-4 + 73)?
False
Suppose 0*y + 2*y = 6. Suppose -5*r + 0*r = -4*t + 16, 8 = -4*r + 2*t. Let z = r + y. Does 3 divide z?
True
Let q be (-3 - -1)/((-6)/(-21)). Let y = q - -3. Is (-1 - -11)*(-6)/y a multiple of 9?
False
Suppose t - 20 = 3. Suppose q - 1 = -0*q. Is q*((-1 - 0) + t) a multiple of 8?
False
Let f(w) be the first derivative of -w**2/2 + 14*w - 1. Is 2 a factor of f(12)?
True
Suppose 4*a - 20 = -4*h, 4*h = 3 + 1. Suppose -3*g + 3*u - 8*u - 8 = 0, -a = u. Is 3 a factor of g?
False
Let u = -3 + 2. Let j = u - -5. Suppose 0 = -q + 20 + j. Does 9 divide q?
False
Let w = -5 + -21. Let v = w + 44. Is 12 a factor of v?
False
Suppose -4*y = 35 - 115. Suppose y = 6*x - x. Suppose 0 = -3*o + x*c + 19, 2*o + 5*c - 5 = -0*o. Is o a multiple of 2?
False
Let o(u) = -9 - 3*u**3 + 2*u**3 + 2 + 4*u - 4*u**2. Let z be o(-5). Does 14 divide (-8)/2 - z - -30?
True
Let z(x) = -x**2 - 19*x + 15. Is z(-11) a multiple of 10?
False
Suppose 2*o + 0*o = 0. Let g = 45 + -13. Let q = o + g. Is q a multiple of 11?
False
Is 31 a factor of (155/3)/(3 - (-24)/(-9))?
True
Let n(m) = 2*m**3 - m**2 + 1. Is n(3) a multiple of 23?
True
Let o(p) = -p**2 + 15*p - 5. Does 26 divide o(7)?
False
Suppose w + 4*h + 2 = 23, -h = 3*w - 19. Suppose 5*d - 4*r - 13 = 309, -5*d - w*r + 295 = 0. Is 23 a factor of d?
False
Let g(w) = 26*w**2 - 2*w - 1. Let p be g(2). Suppose p = 5*s - 236. Is 19 a factor of s?
False
Is (88/12)/(4/18) a multiple of 14?
False
Suppose p = -4*t + 4*p + 369, -5*p = -4*t + 375. Suppose 3*w + 24 + 7 = 2*g, 0 = 5*g - 5*w - t. Is 6 a factor of g?
False
Let v(n) = n**2 + 3*n + 2. Let r be v(-3). Suppose r*m + 0*m = 48. Is m a multiple of 12?
True
Let q(w) be the third derivative of -1/3*w**3 - 1/6*w**4 - 1/12*w**5 + 0*w + 0 + 2*w**2 + 1/120*w**6. Does 10 divide q(6)?
True
Let c(x) = -x - 4. Let a be c(-6). Suppose a*g - 12 = 4. Does 4 divide g?
True
Let j = 6 + -7. Let x = 10 - j. Is x a multiple of 4?
False
Let p(r) = -r**3 + 9*r**2 - 8*r + 8. Suppose 5*q + 29 = -2*c, 3 = 3*q - 5*c + 8. Let x be -5 - q - -1*8. Does 6 divide p(x)?
False
Suppose 25*a + 2080 = 38*a. Is a a multiple of 8?
True
Suppose 0 = -2*i - 41 - 97. Let a = i + 129. Is a a multiple of 15?
True
Let k = -6 + 32. Is 5 a factor of k?
False
Suppose f - 3*p = -6, 0*f - 3*p + 3 = -2*f. Suppose 2*x - 95 = f*y, -3*y - 9 = -3*x + 135. Let i = x + -28. Is 7 a factor of i?
True
Let d(b) = -b**2 + 2*b - 1. Let k be d(2). Is 14 a factor of (0/k - 2) + 45?
False
Suppose -c + 13*c = 1872. Does 26 divide c?
True
Let v be 12/(-16) - (-10)/(-8). Does 2 divide 5 - (v - -1*3)?
True
Let x(k) = -3*k + 5. Let c be x(-4). Suppose 4*g - 49 = -c. Does 2 divide g?
True
Let j be -23*(-3)/(-9)*3. Let w = j + 43. Does 7 divide w?
False
Suppose 0*n + 14 = 2*b - 2*n, -2*b - 2*n = 2. Suppose 0*o - 53 = -o + 2*p, -4*o + 207 = -b*p. Does 24 divide o?
False
Let g = 11 - 6. Suppose -g*d + 0*i + 105 = 3*i, -3*d = -3*i - 87. Suppose -4*k + k = -d. Does 4 divide k?
True
Let s be (-6)/(-4)*50/15. Suppose 0 = -2*n + s*n. Does 21 divide (-3)/(-1) - (-39 - n)?
True
Let a(p) = 3*p + 2 + 8*p**2 + 3*p - 2*p**2 - 2*p**2. Is 21 a factor of a(-4)?
True
Suppose -1 = -4*k + 91. Is k a multiple of 7?
False
Suppose -3*x + 32 + 67 = 0. Does 11 divide x?
True
Is (-8)/16*(-2 + -118) a multiple of 12?
True
Let a(b) = -b**2 + 10*b + 17. Is a(11) even?
True
Suppose 9*b = 5*b + 288. Is b a multiple of 12?
True
Suppose 0 = s + 2*m - 23, -4*s = -m - 69 - 68. Is s a multiple of 11?
True
Let w = -14 + 34. Does 4 divide (-8)/w + 27/5?
False
Suppose 3*s - 75 = 5*w, 4*s = 4*w + 55 + 45. Let m = 35 - s. Does 10 divide m?
True
Suppose -3*s - 3*u + 219 = 0, -185 - 170 = -5*s - 3*u. Is 8 a factor of s?
False
Let g(v) = -14*v - 10. Does 34 divide g(-8)?
True
Let y be (6/(-10))/(1/(-5)). Suppose -3*a + 2*c + 4 = -10, y*a - 22 = 4*c. Suppose 0 = 3*f + 4*t - 111, -f - a*t = f - 72. Is f a multiple of 11?
True
Let x(q) be the first derivative of 13*q**3/6 + 3*q + 3. Let n(r) be the first derivative of x(r). Is 13 a factor of n(1)?
True
Let x(i) = 3*i - 3*i + 13 + 8 + i. Does 7 divide x(0)?
True
Let v be (-14)/(-21) + (-352)/6. Does 29 divide (v/(-8))/((-4)/(-32))?
True
Let n(i) = -i**3 + 10*i**2 + 13*i - 9. Let l be n(11). Let k(g) = g + 17. Is k(l) a multiple of 10?
True
Let i(m) = m**3 + 8*m**2 - 8*m - 15. Is 18 a factor of i(-7)?
True
Let m = 16 - 12. Suppose m*b - 37 = 155. Is 16 a factor of b?
True
Let d be 0*(-3)/(-9) - -1. Is 12 a factor of (34/8)/(d/4)?
False
Let b = 42 + -27. Suppose -2*q + b = -q. Let a = 34 - q. Is a a multiple of 12?
False
Suppose 1 = x - 1. Suppose 6 = y - x. Is 5 a factor of y?
False
Suppose -s - 17 = -54. Does 8 divide s?
False
Suppose -2*r - 94 = -382. Is r a multiple of 24?
True
Let d(g) = -5*g**2 - 1. Suppose -c + 16 = 3*k, -c + 5 = -5*k + 29. Let r be d(c). Is (-4)/r + 254/6 a multiple of 16?
False
Let o(z) = -z**2 - 13*z - 11. Let q(j) = -12*j**3 - j**2 + j. Let k be q(1). Let c be o(k). Does 19 divide 57*(4/(-6) + c)?
True
Let g = -12 - -3. Let m = g + 56. Is 12 a factor of m?
False
Suppose -24 = -f + 36. Does 31 divide f?
False
Suppose 5 - 17 = -4*t. Let f(d) = 6*d + 3. Let v(s) = s + 1. Let y(m) = t*f(m) - 15*v(m). Is 12 a factor of y(10)?
True
Let h = -27 + -8. Let w = 62 + h. Is 10 a factor of w?
False
Suppose -4*y + 4*l = -540, -68 = -3*y + 2*l + 337. Suppose -4*u + h + y = 0, -u + 0*u = 5*h - 18. Does 12 divide u?
False
Suppose 1 - 3 = -2*q. Let a = 5 - q. Suppose -4*k + 50 = 3*j + k, a*j = 2*k + 58. Does 9 divide j?
False
Suppose -5*r + 0*q = -q - 970, 0 = -4*r + q + 776. Suppose -5*n + i = 2*i - r, -4*n = 5*i - 151. Is n a multiple of 17?
False
Is ((-30)/9 + 0)*-27 a multiple of 18?
True
Is 15 a factor of 21/(-35) - 303/(-5)?
True
Let y(a) = -a**2 - 5*a - 1. Let p be y(-5). Let t be (-1)/(1 - (-1 - p)). Does 4 divide (-1 - (0 - -3))*t?
True
Let o(z) = 3*z + 2*z**2 + 7 + 5 - 11. Suppose -2 = 5*d - 22. Does 17 divide o(d)?
False
Let c(f) = 3*f**3 - 22*f**2 - 13*f - 3. Let t(o) = o**3 - 7*o**2 - 4*o - 1. Let b(s) = 2*c(s) - 7*t(s). Is b(5) a multiple of 11?
True
Let n(b) be the first derivative of -b**3/3 - 7*b**2/2 - 2*b + 3. Does 5 divide n(-3)?
True
Let r(x) = -x**2 - x. Let y be ((-15)/(-10))/(2/4). Let t be r(y). Is 2/3*-4*t a multiple of 16?
True
Suppose 5*n - 24 = 2*n. Suppose -5*f + f = x - 4, -2*x = -f - n. Suppose 7*q - 138 = x*q. Is 19 a factor of q?
False
Let n = 3 + 5. Let t = -5 + n. Suppose 4*s - b - 35 = 23, 5*s + t*b - 81 = 0. Is 15 a factor of s?
True
Suppose -u - o + 10 = 4*u, -5*o = -5*u - 20. Suppose -19 + 69 = 5*x. Is 2 a factor of u/(0 + 2/x)?
False
Suppose 2*z - 5*z - 5*l + 119 = 0, 0 = -z + 3*l + 63. Does 10 divide z?
False
Let c(v) = -18*v - 1. Is 12 a factor of c(-8)?
False
Let n = -5 + 7. Suppose g + 2*g - 81 = -3*y, 0 = -5*g + n*y + 107. Is g a multiple of 11?
False
Let a be 0/((-2)/2) - 0. Let b = a - 2. Does 4 divide b/8 + 21/4?
False
Let a = -53 + 105. Is a a multiple of 13?
True
Suppose -3*u - 3*s = -2*u - 12, -2*u + 12 = 2*s. Let o = u + 11. Is 7 a factor of o?
True
Suppose 2*a + 10 = 7*a. Suppose -6*c + a*c = -92. Suppose 5*h = -3*f + 4*f - c, 4*h = 12. Does 13 divide f?
False
Let m be 104/32 - (-1)/(-4). Suppose -m*k = -k - 190. Is 19 a factor of k?
True
Let w(n) = n**3 + 4*n**2 - 7*n - 6. Is 6 a factor of w(-4)?
False
Let m(w) = -26*w - 4. Let r be m(-3). Suppose 2*u + 46 = 2*x, 2*x + 6*u = u + r. Is 23 a factor of x?
False
Suppose 4*m + 2 - 1 = 3*z, 7 = -5*m - 2*z. Is m*3 + (2 - -4) even?
False
Let g(k) = -9*k - 10. Is 22 a factor of g(-8)?
False
Is 17 a factor of (2/5)/(1/465)?
False
Suppose -18 = -3*z + 288. Is 17 a factor of z?
True
Let r = 12 + 84. Does 4 divide (r/(-8))/(6/(-4))?
True
Let k be -3 + (3 - (-3 + 0)). Let f be -23 - 3 - 6