False
Let a(w) be the third derivative of -w**5/60 + 5*w**4/24 - 2*w**3/3 - 2*w**2. Let d be a(4). Is ((-4)/(-10) + d)*20 a multiple of 8?
True
Let y = 143 + -84. Is 19 a factor of y?
False
Let n be (-11 + 5)*(-2)/6. Suppose -5*m - 2*l = -413, 3*l = n*l + 4. Suppose t + 2*t - m = 0. Does 13 divide t?
False
Let u(c) = 25*c + 9. Does 20 divide u(4)?
False
Let g(h) = -h**3 - 6*h**2 + 3*h - 3. Is 10 a factor of g(-9)?
False
Suppose -2*s + 1 = -c - 1, -4*c + 4 = -2*s. Suppose -2*m - 3*t = 2*m - 68, 2*t - 34 = -c*m. Is m a multiple of 14?
False
Let a(p) = p + 11. Is a(8) even?
False
Suppose 4*l - 283 = a, -3*a - 138 = -2*l + a. Does 18 divide l?
False
Is 21/(-14)*48/(-9) a multiple of 4?
True
Suppose 10*f - 7*f - 51 = 0. Is f a multiple of 17?
True
Let y(x) = -x**2 - 5*x - 5. Let n be y(-5). Let c = 7 + n. Suppose -4*j + 12 = 4*m, 0 = -2*j + c*m + 26 - 8. Is j a multiple of 4?
False
Suppose -5*x = 2*p - 81, 83 = 5*x + 3*p - 2*p. Is 17 a factor of x?
True
Let b(x) = 2*x - 12. Let r be b(8). Suppose 27 = r*q - 89. Is 5 a factor of q?
False
Suppose 3*v - 7*v = 0. Suppose 0 = -5*g - 0*g - a + 197, v = 3*a + 9. Is 20 a factor of g?
True
Suppose z = 3*z - 20. Suppose -2*f + 4*f = -z, a - f = 27. Is 11 a factor of a?
True
Let z = 13 - 4. Let w(i) = 4*i + 4. Let u be w(z). Suppose -o - 3*o = -u. Is o a multiple of 5?
True
Let x = -6 - -9. Suppose -x*a = -4*u - a + 82, -3*u + 4*a = -74. Is u a multiple of 9?
True
Let x(w) = w**3 + 8*w**2 - 9*w + 9. Let q be x(-9). Suppose j = o - 2*j + 16, -o - 2*j = -q. Is (-5)/(0 + o) + 0 a multiple of 5?
True
Suppose 20 = -5*v - 5, -5*a - v + 775 = 0. Does 12 divide a?
True
Let q(c) = -c**3 + 8*c**2 - 6*c + 2. Let t be q(6). Suppose -5*l - t = -a - 3*l, a = -3*l + 18. Is a a multiple of 12?
False
Let m(h) = h**3 + 13*h**2 + 12*h + 2. Let q be m(-12). Suppose -o = -q*o + 3, g - 3 = -o. Suppose -y + 2*y - 24 = g. Does 12 divide y?
True
Let p = -117 + 72. Is 6 a factor of (p/(-10))/((-6)/(-8))?
True
Let n = -4 + 1. Is 5 a factor of 2 - (0 - n)*-1?
True
Let h(f) = f + 8. Let j be h(-6). Let b(t) = t**2 - t. Let d be b(j). Suppose d*s - 5*r = 9, r + 57 = 4*s + s. Is s a multiple of 12?
True
Suppose -3*p + 5*p + 2 = -4*z, -z + 4*p + 22 = 0. Suppose 13 - 139 = -z*u. Is u a multiple of 17?
False
Let x = 32 - 10. Suppose -5*v - 20 = 0, -v + x = 5*y + 6. Does 4 divide y?
True
Suppose 0*u + 246 = 3*u. Suppose 3*g = 2*x - u, -2*g = -3*x - 91 + 224. Is 1/4 - x/(-4) a multiple of 6?
True
Let l = -191 + 317. Does 42 divide l?
True
Let o = 58 + -12. Is o a multiple of 9?
False
Suppose 3*h = -3*l, h = -2*h - l. Suppose 3*m + 3 - 18 = h. Let a(x) = 4*x - 7. Is a(m) a multiple of 13?
True
Let o(j) = 3*j**2 - 7*j - 2. Let n be o(-5). Suppose -c = -4*h + 2*h + 54, -4*h = 4*c - n. Is h a multiple of 9?
True
Suppose 55 = 2*b - 3*w - 138, 5*b + 5*w - 470 = 0. Is b a multiple of 19?
True
Does 28 divide 109/3*3 + 3?
True
Let z = -6 + 18. Is 9 a factor of z?
False
Is 37 a factor of ((-5)/10)/((-4)/592)?
True
Let f = 9 - -22. Suppose 4*g + 0*g - f = x, -2*g - x = -23. Is g a multiple of 9?
True
Let z(k) = k**3 + 2*k**2 - 2*k - 2. Let o be z(-2). Suppose 0 = 3*m + 1 + o. Does 9 divide ((-14)/6 - m)*-18?
False
Let l = 12 + -7. Let k be (0/1)/(-2 + l). Suppose -48 = -k*y - 2*y. Does 12 divide y?
True
Let m(i) = -i**2 + 6*i - 5. Let h(f) = -3*f - 10. Let j be h(-7). Let v be m(j). Does 12 divide v*(2/(-5) + 0)?
True
Suppose 0 = r + 4 - 49. Is 15 a factor of r?
True
Let v be (-4 - -3)/3*39. Let n = 4 - v. Is 9 a factor of n?
False
Suppose -4*t + 3 = -5*w, -w + 0*w + 4*t = -9. Suppose -s + 3 + 13 = 0. Let g = w + s. Does 13 divide g?
True
Let r = -4 - -6. Let t(z) = z - 6*z + 0 + 1 - z**r. Is t(-4) even?
False
Let u be 3 - (-98)/(2 + 0). Suppose -4*a = -264 - u. Is 19 a factor of a?
False
Suppose -p = 3*p - 8. Let k(g) = g + 0*g - p*g. Is k(-7) a multiple of 2?
False
Is 20 a factor of 4/((-58)/20 + 3)?
True
Let d(t) = -3*t - 4. Let l(z) = z**3 - 2*z**2 - z - 1. Let f be l(2). Let h be d(f). Let o = h - -16. Is o a multiple of 7?
True
Let r(j) = -j + 47. Is r(12) a multiple of 5?
True
Let r be (-12)/(-5) - (-12)/(-30). Suppose -3*f + r + 13 = 0. Let j = f + 15. Is j a multiple of 14?
False
Suppose 3*h = -h + 12. Let m(i) = 5*i. Is m(h) a multiple of 5?
True
Suppose 3*b - 45 = 8*b. Let h be ((-2)/3)/(1/b). Let p = h + -2. Does 4 divide p?
True
Let f(g) = -g**3 + 9*g**2 - 7*g - 3. Is f(8) even?
False
Let q(t) = 9*t**2 + t - 2. Let i be (-4)/3*(-21)/14. Is 12 a factor of q(i)?
True
Let l = -39 - -80. Is 9 a factor of l?
False
Let x = 17 + 13. Let d = -10 + x. Is 10 a factor of d?
True
Is 2 a factor of 1*2/(-1) + 9?
False
Suppose 48 = 2*y - 66. Let u(p) = -p**3 + 4*p**2 - p. Let h be u(3). Suppose 3*o - h*o = -y. Is o a multiple of 18?
False
Suppose 0 = -2*y - 3*f + 409, -803 = -4*y - 0*f - f. Does 40 divide y?
True
Let y be -3*2/(-3) + 1. Suppose -y*c = -c - 18. Does 9 divide c?
True
Let b(f) = f - 1. Let n(g) = -g**3 + 9*g**2 + 14*g + 1. Let x(y) = -4*b(y) + n(y). Is x(10) a multiple of 5?
True
Suppose -72 = -p - 0*p. Is 19 a factor of p?
False
Let v be ((-4)/(-6))/((-2)/(-30)). Let z = -2 + v. Does 4 divide z?
True
Let j be (-3 + -4)*(-6)/(-7). Is 4 a factor of j/(((-6)/8)/1)?
True
Suppose -l - 2*f + 12 = l, -f = -4*l + 14. Is (-5 + l)/(1/(-7)) a multiple of 3?
False
Let h be ((-46)/(-4))/(1/10). Suppose -26 = -3*y + h. Does 16 divide y?
False
Suppose 3*t - 9 = -0. Suppose 3*w - 75 = -t*s, -3*w + 6*s + 105 = 3*s. Is 15 a factor of w?
True
Let w(v) be the first derivative of 7*v**4/4 - v**3 + v**2/2 + 4. Is w(2) a multiple of 23?
True
Let r = 26 - 11. Is r a multiple of 3?
True
Let o be (0 + 0)*1/2. Suppose o = h - 6*h + 170. Is h a multiple of 17?
True
Let k(r) = r**3 + 5*r**2 + 6*r + 4. Let x be k(-4). Let q be x/(-6) + (-8)/(-24). Does 15 divide ((-93)/q)/(-3) + -3?
False
Is (3*-1)/((-2)/6) a multiple of 2?
False
Let f(m) = -m**3 - 8*m**2 - 10*m - 2. Does 19 divide f(-7)?
True
Let u(g) be the first derivative of -5*g**2/2 - 2*g + 1. Let p(r) = -r**3 - 6*r**2 - 8*r - 4. Let y be p(-4). Is 14 a factor of u(y)?
False
Suppose 2*w + 2 = -4. Does 17 divide -34*w*4/8?
True
Suppose 5*q - 3 = 17. Suppose j = -0*a + a - 21, -2*a + 38 = -q*j. Let i = -5 + a. Does 9 divide i?
True
Suppose -3*k - 2*h = -133, 5*k - 180 = 4*h + h. Does 3 divide k?
False
Suppose 5*j = -135 + 510. Let o = j + -50. Is 25 a factor of o?
True
Suppose 2*j - 4*j + 3*o = -120, -j - 3*o + 51 = 0. Is j a multiple of 19?
True
Suppose 2*r - 4*r = 4*q - 30, 2*r = 5*q + 48. Is r a multiple of 16?
False
Suppose 0 = 3*v - 73 + 28. Suppose s = v - 2. Is s a multiple of 6?
False
Let z = -1 + 4. Suppose -z*w = -7 - 62. Does 15 divide w?
False
Let j(w) be the first derivative of -w**3/3 - 5*w**2 + 3*w - 2. Let n be j(-7). Suppose 0 = -3*d + 102 + n. Is 19 a factor of d?
False
Let w = -15 + 22. Let j = -29 - -21. Let v = w - j. Is 6 a factor of v?
False
Suppose 4*h - 3*h + 3*n = 36, -h - n + 28 = 0. Suppose l - h = -3*l. Is 4 a factor of l?
False
Let r = -106 - -180. Is r a multiple of 8?
False
Suppose f + 0 = 3*k - 11, 0 = 2*k + 2*f - 2. Suppose -g = 3*a - 38, 107 = -g + 5*g - k*a. Is g a multiple of 11?
False
Let k(j) be the second derivative of -29*j**3/6 - j**2 + 2*j. Let m be k(-6). Is 6 a factor of (-2)/7 - m/(-14)?
True
Let g(a) = a**2 + 10*a. Let c be g(-8). Does 21 divide (3/5)/(c/(-1520))?
False
Let z(d) = 2*d**2 - d + 9. Is 11 a factor of z(6)?
False
Suppose 0 = -n + 5 - 3. Let i = n - -15. Is i a multiple of 15?
False
Let l(c) = c**2 - 1. Let x be 2/(-1 - 0/2). Let a be l(x). Is 2 a factor of -2*a/((-9)/6)?
True
Let o(q) = -22*q - 3. Let z be o(-2). Suppose z = -r + 109. Is 5 a factor of -3*1 + r/4?
False
Let i = -112 + 172. Does 15 divide i?
True
Does 13 divide 821/7 - (-6)/(-21)?
True
Let z be (-2)/(-10) - (-448)/10. Let q(r) = -r**3 + 2*r**2 + 4*r + 3. Let j be q(-2). Suppose j = -2*a + z. Is 9 a factor of a?
False
Suppose 4*y - p - 1162 = y, 3*p - 1946 = -5*y. Suppose y = 5*r + 123. Is r a multiple of 11?
False
Let m(l) = -1 + 3 - 8 - l. Let h be m(-8). Let k = 11 + h. Does 10 divide k?
False
Let o be (-1)/(-5) - 4/20. Let d(i) = i**2 - i - 30. Let m be d(o). Is m/(-9)*36/10 a multiple of 12?
True
Suppose -42 = 2*n - 4*n. Let w = n + -11. Is 8 a factor of w?
False
Let j = 72 - -78. Is 3