tiple of 19?
False
Let r(q) = -q**3 + 2*q**2 + 2*q + 1. Let s be r(3). Let o be s/7 - (-32)/14. Is 12 a factor of o/3 - 103/(-3)?
False
Let n = 154 + -66. Is n a multiple of 22?
True
Let p(i) = 3*i**3 + 4*i**2 - 2*i - 2. Let r(t) = 12*t. Let q be r(1). Let a be (q/(-8))/((-3)/4). Does 14 divide p(a)?
False
Let n(j) = 10*j - 4. Let r be n(5). Suppose -3*t + r = -h - 39, 0 = -h - 1. Is 14 a factor of t?
True
Suppose 96 = 5*t - 4*c, -3*t + 3 = -3*c - 54. Suppose -3*m + 64 = -t. Is 28 a factor of m?
True
Let x = 12 - 7. Suppose 2*f = x*f. Suppose -4*v + 7*v - 51 = f. Does 8 divide v?
False
Let h be 3 + 0 + (-3)/3. Suppose -2*f = -4*c - 92, h*f - 106 = -c - 2*c. Does 22 divide f?
False
Let y = -3 + 6. Suppose 0 = 3*n + 2*n - h - 17, y*n = h + 9. Is n a multiple of 4?
True
Let o = 57 + -34. Suppose 5*v - s = 7 - o, -2*s - 1 = v. Is 3 - v - (-1 - -3) a multiple of 2?
True
Suppose -x = -3*s + 711, 22*s - 702 = 19*s - 2*x. Is s a multiple of 29?
False
Let q(x) = x**2 - 4*x + 6. Suppose 15 = 3*o, 3*o = -5*n - 10 + 55. Is 6 a factor of q(n)?
True
Let l(y) = y**2 - 3*y + 6. Is 4 a factor of l(5)?
True
Does 4 divide (0 + 2)*91/14?
False
Let n = 8 + -1. Let x = 12 - n. Is 2 a factor of x?
False
Let x(u) = 2*u**2 + 1. Let h be x(-1). Suppose 6*w - h*k - 399 = 3*w, -674 = -5*w - 4*k. Is 17 a factor of (-1)/(w/68 - 2)?
True
Let o(f) be the first derivative of -f**3/3 - 13*f**2/2 - 11*f - 5. Is o(-9) a multiple of 5?
True
Does 9 divide (3/1)/(3 + 51/(-18))?
True
Suppose -v - 5 = -4*p - 34, 2*v + 3*p = 58. Suppose 3*j - 2*j + 5*l = 47, -v = -j + 4*l. Suppose 5*i - 3 = j. Is i a multiple of 3?
False
Suppose -119 = -4*h - 3*a, 2*h + 2*a - 1 - 57 = 0. Is 8 a factor of h?
True
Let m(f) = 2*f**2 + 11*f + 9. Does 23 divide m(-7)?
False
Is (-1415)/(-20) + 2/8 a multiple of 17?
False
Suppose 3*h - 4*s - 192 = 0, -h + 2*s = 4*s - 54. Let w = h + -28. Suppose f + f - w = 0. Is f a multiple of 8?
True
Let u be (-2)/(-3)*(-3)/2. Let p = u - -21. Let v = -6 + p. Is 14 a factor of v?
True
Let u(x) = -x**2 - 12*x + 1. Does 11 divide u(-8)?
True
Let g(f) = -4*f. Suppose -r + 6 = -3*c, -3*r = -2*c - 15 - 17. Let u be -3 - (r/(-2))/3. Does 3 divide g(u)?
False
Suppose -4*j = -5*s + 31, 2*s + 17 = s - 5*j. Suppose i - 4*i + s = 0. Is ((-15)/6)/(i/(-6)) a multiple of 15?
True
Let k = 11 - 10. Is k + (20 - -2) - 1 a multiple of 12?
False
Suppose c = -22 + 130. Does 6 divide c?
True
Suppose -5*n - 520 = -2*u, -u - 3*n - 1026 = -5*u. Let a = u - 154. Does 26 divide a?
False
Suppose 0 = -2*c - c - 12. Is 3 a factor of (-95)/(-10) + (-2)/c?
False
Let s(z) = -z**2 + 22*z + 6. Does 14 divide s(18)?
False
Suppose 50 + 2 = 2*v. Suppose i + i = 5*w + 22, 2*i - 4*w - v = 0. Is 6 a factor of i?
False
Let z be 6 - 0/(-2*1). Suppose -z*m = -3*m - 78. Suppose m = 3*u - 2*u. Does 13 divide u?
True
Suppose -l + 1 = -y, -y + 10 = -5*l - 9. Does 10 divide ((-2)/y)/(5/375)?
False
Let d be 6/((-2)/(3 + 9)). Let a = -27 - d. Does 3 divide a?
True
Let l(x) = -2*x + 2*x - x - 4*x + 2. Let r(b) = -2*b**2 + 4*b - 2. Let q be r(2). Is 6 a factor of l(q)?
True
Let u(j) = 14*j**2 - j - 6. Does 7 divide u(-2)?
False
Let t(k) = 4*k**2 - 2*k + 1. Does 13 divide t(5)?
True
Let m(l) = 4*l**3 - 5*l**2 + l - 3. Is m(3) a multiple of 7?
True
Let b be 2 - 1 - (-70)/14. Let t = 58 - b. Does 13 divide t?
True
Suppose -2*a = -d - 0*a + 93, 4*d - 5*a - 372 = 0. Is 22 a factor of d?
False
Suppose 2*g - 2*q = 82, 2*g = -8*q + 4*q + 58. Is 13 a factor of g?
False
Let w(m) = m**2 + m + 17. Is 17 a factor of w(7)?
False
Let s(b) = b + 12. Let c be s(-9). Let u = 6 - -10. Suppose -u = y - c*y. Is y a multiple of 4?
True
Suppose 9 = 4*d - 7. Suppose m - 17 - 3 = -4*r, 2*r = -2*m + d. Suppose -3*l + 6 + r = 0. Is 4 a factor of l?
True
Suppose 0 = 4*y + 4*t - 448, -2*y - t + 123 = -97. Does 6 divide y?
True
Is (-4 - 1/(-4))*-16 a multiple of 20?
True
Let g = -15 - -29. Does 3 divide g?
False
Let k(h) = -h**3 + h**2 - 2*h + 188. Does 47 divide k(0)?
True
Let y be 76/18 + (-16)/72. Suppose -2*f + y*f + 44 = 3*n, -36 = -2*n + 3*f. Is 7 a factor of n?
False
Let n(p) = 4*p**3 - 2*p**2 + 8*p - 14. Does 20 divide n(3)?
True
Suppose 5*r - t + 0*t = 8, -2*t + 4 = 0. Suppose 3*a - 23 = -8, -a = r*g - 9. Suppose 5*i = -2*d + 25, 4*i + i = g*d + 45. Does 2 divide i?
False
Let v(z) = -14*z + 5. Let y(u) = 42*u - 14. Let q(p) = -17*v(p) - 6*y(p). Is 20 a factor of q(-3)?
False
Is 62/2 + -1 + 0 a multiple of 21?
False
Let m = 2 - 2. Suppose 2*o - 6 - 2 = m. Suppose -g = -3*f - 36, -g + o*f + 24 = -14. Does 14 divide g?
False
Let l(p) = p - 4*p + 4*p + 3. Let i be l(0). Suppose 0 = -i*o + 34 + 11. Is 6 a factor of o?
False
Let x be (-5 - (2 - 0))*3. Let m = -14 - x. Suppose -m = -3*f + 158. Is 21 a factor of f?
False
Let x(m) = 3*m - 3. Let k be x(2). Suppose k*t + 5*w - 3 = 2*w, 4*t = 2*w + 28. Is t even?
False
Let q = 170 + -102. Is q a multiple of 5?
False
Let c = 8 - -24. Does 16 divide c?
True
Let f(u) = u**3 - u**2 - 1. Let k be f(2). Let n = k + 15. Is n a multiple of 5?
False
Let f(s) = -s - 2. Let g be f(-4). Let l = g + -1. Does 25 divide l*(51 + (-2)/2)?
True
Let r(d) = 10*d**2 - 4*d - 1. Let c be r(-3). Suppose -4*m - 17 = 4*y - c, 15 = -5*m. Is y a multiple of 12?
True
Let p(a) = 83*a. Let n(c) = -416*c. Let r(w) = -2*n(w) - 11*p(w). Is 27 a factor of r(-1)?
True
Let d(v) = -3*v**2 - 2*v + 5. Let q(u) = 7*u**2 + 3*u - 11. Let x(w) = -5*d(w) - 2*q(w). Suppose 8*o = 3*o - 35. Is x(o) a multiple of 15?
False
Let o(z) = z**2 + 4*z - 6. Let n be o(-5). Is (n + 228/(-4))*-1 a multiple of 17?
False
Let l(p) = p**3 - 5*p**2 - 11*p + 7. Is l(7) a multiple of 24?
False
Let x = -5 - -18. Suppose 4*l = 2*l - 42. Let w = x - l. Does 14 divide w?
False
Let i be ((-16)/(-20))/(1/5). Suppose -h = 0, 0*h - 192 = -i*m + 5*h. Does 16 divide m?
True
Let a be (-1 + 0)*(6 - 0). Let w(g) = g**2 + 6*g + 6. Is w(a) a multiple of 4?
False
Suppose -5*s = 15, 3*s + s + 20 = 4*l. Suppose p = l*y - 3*p + 48, -p = -4. Does 10 divide (45/(-12))/(6/y)?
True
Let d be (-24)/32 - (-19)/4. Suppose -171 = -d*f + 33. Is 12 a factor of f?
False
Suppose 2*l - 55 = -2*n + 7*n, -123 = -5*l - 2*n. Is 7 a factor of l?
False
Suppose -54 + 164 = m - 5*q, 2*q = 4. Is 6 a factor of m?
True
Suppose 2*m - 5*x = -22, -4*x = -3*m - 0*m - 19. Let w = -1 - m. Let v = w - -5. Is v a multiple of 3?
False
Is 14 a factor of 17/(-51)*(-209 + -1)?
True
Let h(s) = 6*s - 9*s**2 + 6 - 8*s**2 + 16*s**2. Let f be h(7). Let j = 9 - f. Is 5 a factor of j?
True
Let y(x) = -x + 3. Let n be y(6). Let k(w) = -4*w + 4. Does 10 divide k(n)?
False
Let u = 16 - 11. Suppose 3*j + z + 6 = 0, 3*j + 4*z = u*j - 10. Is 7 a factor of j + (1 - 3 - -17)?
True
Let b(n) = 3*n**2 + 4 - 7 - 6 + 5*n - 2*n**2. Does 16 divide b(-9)?
False
Let p = -11 - -37. Does 26 divide p?
True
Let j be ((-8)/6)/(2/(-3)). Let s(f) = -f**2 + 2*f**2 + 3 + f**j - 11 + 10*f. Is s(-8) a multiple of 20?
True
Suppose -2*g = 2*g - 20. Suppose -g*s = -273 - 137. Does 22 divide s?
False
Let u(y) = y**3 - 7*y**2 - 8*y + 12. Let r be 3/(-15) - 82/(-10). Let m be u(r). Suppose m = -2*t + 78. Is t a multiple of 19?
False
Let n = 6 + -3. Suppose -d + k - n = -2*d, 5*k = 0. Suppose -d = -4*u + 13. Is 4 a factor of u?
True
Let h(r) = -r**3 - 5*r**2 - 4*r + 6. Let l be h(-5). Let i = l - 12. Is i a multiple of 7?
True
Suppose 80 = 9*h - 5*h. Is 5 a factor of h?
True
Is 9 a factor of (20/(-40))/(2/(-216)*2)?
True
Suppose 0 = 5*b + 3*q - 270, 3*b - 4*q + 18 = 180. Let t = b - 21. Does 25 divide t?
False
Suppose -p + 142 = 5*l, 2*p - 17 = -3*l + 64. Does 4 divide l?
False
Let b = 6 - 4. Suppose -3*v - 3 = -i + 8, 5*i + b*v - 4 = 0. Suppose i*d + 3*a - 23 = 0, -d - 3*d + a + 11 = 0. Does 3 divide d?
False
Let v(o) = -2*o + 5. Let y be v(5). Let u be (-1 - y)*(0 - -1). Does 8 divide (-31)/(-2) + 2/u?
True
Let k be (12/(-5))/((-6)/20). Suppose t - 1 = k. Suppose 0 = -f + 4*f - t. Does 3 divide f?
True
Suppose -3*g + 6*j = j + 7, -5*g + 5*j - 25 = 0. Let h(x) = x**2 + 5*x - 2. Is h(g) a multiple of 14?
False
Suppose 21 = 3*j + 3*m, -3*m + 4 = -11. Suppose -7*u + 85 = -j*u. Is u a multiple of 8?
False
Let r = -45 + 23. Suppose u + 4*q = -0*u - 49, q = 5*u + 161. Let h = r - u. Is 6 a factor of h?
False
Let v(x) = -5*x + 4. Suppose 3*b + 5*w - 14 = 0, -7*b + 3