 20 divide (3 + -1)*29 + 2?
True
Let u(w) = -5*w**2 + w. Let s be u(2). Let i be s/(-12) + 1/2. Suppose -i*v + 22 = -n - 44, -5*v + 5*n + 170 = 0. Is 23 a factor of v?
False
Suppose -q - 3*q + v = 29, 4*q + 9 = -3*v. Let k(m) be the first derivative of m**3/3 + m**2/2 + 2*m + 2. Is k(q) a multiple of 12?
False
Let u be 8/44 + 150/22. Suppose 0*o - o = -6. Let v = u + o. Does 13 divide v?
True
Let u(y) = 100*y**2. Does 20 divide u(1)?
True
Suppose 5*h - 46 = 4*m, -5*m + 2 = -3*m. Let i = 6 + h. Suppose -2*r = -0 - i. Is 5 a factor of r?
False
Suppose 4*k - a + 1 = 3*k, -a = -4*k - 19. Let i(b) = b**3 + 5*b**2 - 8*b - 8. Is 4 a factor of i(k)?
True
Suppose -126 = -2*b + 3*o + 40, b - 74 = -3*o. Is 8 a factor of b?
True
Suppose 5*h - 9 = -4*z, 2*z + 7 = 4*h + 5*z. Does 7 divide (-200)/(-30) - h/(-3)?
True
Let a(j) = -3*j - 3. Let b(n) = -n**2 - 2*n - 4. Let z be b(-3). Is 12 a factor of a(z)?
False
Let x = 9 + -5. Is 4 a factor of x?
True
Is (-100)/((-8)/(-6)*6/(-4)) a multiple of 10?
True
Let z(u) = -u**2 + 8*u - 5. Let q be z(6). Suppose 4*f - f - q = b, f = -4*b + 37. Suppose 2*p - b = -4*h, -p - 2 + 27 = -5*h. Is p a multiple of 10?
True
Let z = -2 + 7. Suppose z*q = 51 + 144. Is q a multiple of 17?
False
Suppose 0 = -5*g + g + 32. Suppose -4*l + g = -44. Is 5 a factor of l?
False
Let f be 332/16 + 3/12. Does 5 divide 4/14 + 162/f?
False
Suppose -2*p - 3*f - 76 = -3*p, -f = 4. Let q be ((-8)/2)/(-2) - 0. Suppose -t - 5*l = -4*t + 98, -2*t + q*l = -p. Is t a multiple of 12?
False
Is 14 - 14 - (-70 - -1) a multiple of 7?
False
Let f(a) = a**2 - a + 26. Suppose -6*j = -2*j. Does 13 divide f(j)?
True
Let s = 13 - 17. Does 20 divide (-5)/(10/s) + 18?
True
Suppose 4*n = 2*n. Suppose -3*b + 2*b = n. Let f = b + 5. Is f a multiple of 2?
False
Let u(t) = -56*t - 47. Does 27 divide u(-7)?
False
Let o be 14/8 + 2/8. Suppose 0 = -x - 5*c + o, -4 = 2*x - c - 8. Suppose 0 = -0*q - x*q + 52. Is 11 a factor of q?
False
Let o = 0 - -2. Suppose 5*h = u + 48, -o*h = -h + 4*u + 3. Is -3*(192/h)/(-4) a multiple of 16?
True
Suppose -1 - 18 = -3*t + 2*o, -3*o = -3*t + 21. Let g(h) = 2*h**2 - 4*h + 2. Is g(t) a multiple of 11?
False
Let c = 81 - -41. Is 10 a factor of c?
False
Let g(d) = -d**3 - 8*d**2 - 6*d + 9. Let l be g(-7). Suppose -2*x = k - 6*k + 132, 0 = l*k + 3*x - 68. Is k a multiple of 14?
True
Let m(u) = 2*u**2 + 10*u + 16. Is m(-7) a multiple of 6?
False
Suppose 3*k + 4*n - 46 = 0, -k + 3*n + 2 = -9. Does 4 divide ((-21)/k)/(6/(-44))?
False
Let k(o) = -o**3 + 6*o**2 - 3*o + 1. Does 3 divide k(3)?
False
Let m be ((-15)/9)/((-1)/(-15)). Suppose 2 = 2*w - 0. Let r = w - m. Is r a multiple of 13?
True
Suppose -2*o + 0*o = 0. Suppose -2*l - 4*i + 18 = o, -5*l + 4 = -i - 19. Does 4 divide l?
False
Suppose b = 5*b - 12. Suppose h = -2*z + 9, -h + b*h = -5*z + 25. Let o = z - 5. Is 2 a factor of o?
True
Let r(h) = 22*h - 1. Let c = 11 - 10. Is 7 a factor of r(c)?
True
Let x be (-1)/(-4) + 786/(-8). Let h = -56 - x. Suppose -h = -u - 0*u. Does 21 divide u?
True
Suppose 0*u = u. Suppose 2*i - 56 + 12 = u. Does 22 divide i?
True
Suppose 4*v - 26 = -z - 0*v, -2*z + 3*v + 41 = 0. Let c be 114/22 - 4/z. Suppose 0 = 5*h + c*l - 55, 3*h - 2*l - 27 = l. Does 5 divide h?
True
Let x(w) = w**2 - 4*w - 12. Let i be x(6). Is 3 a factor of (-1)/(i + 2)*-12?
True
Suppose 0 = -3*y, -5*i = 3*y - 4*y - 145. Suppose i*b - 26*b = 27. Is b a multiple of 9?
True
Let q = 6 - -135. Does 28 divide q?
False
Suppose -2*z + s + 71 = 0, 3*z + 3*s = -0*s + 129. Does 17 divide z?
False
Let w = 47 - 31. Let y be w/10 + 18/45. Suppose -l = -4*k + 12, -y*l = -2*k + k - 4. Is l even?
True
Suppose 0 = 3*u - 6*u + 12. Let h(j) = -j**3 + 4*j**2 + j. Let w be h(u). Let s = w + 12. Is s a multiple of 13?
False
Suppose -1 = 4*j - 5. Suppose -46 = -2*t + v, 3*t + 0*t + v = 74. Let z = j + t. Is 17 a factor of z?
False
Suppose -2*q + 243 = -39. Is 10 a factor of q?
False
Let q(n) = -10*n + 2. Is q(-1) a multiple of 6?
True
Suppose 0 = -m - 5*f + 6, m = -2*f + 18 + 3. Does 20 divide m?
False
Suppose 5*k = -f + 10, 6 = -2*f + 3*k - 0. Let l = f + 2. Suppose l*j + 44 = 4*j. Is j a multiple of 11?
True
Suppose 0 = -2*q - 17 - 41. Is 10/(-4)*(-1 + q) a multiple of 15?
True
Let s be ((12 + -1)*-1)/(-1). Suppose -2*o + 5*w = -s, -w + 11 = 2*o + 2*o. Is 8 a factor of o - (3 + -1) - -15?
True
Suppose 0 = -2*i + 4 + 2. Suppose i*p - 28 - 17 = 0. Is 10 a factor of p?
False
Let y(f) = f**2 - f + 3. Suppose -3*c + 2*j = 4, 4*c + 2*j - 10 = -3*j. Let h be y(c). Suppose h*d = -3*i + d + 104, -4*i - d + 132 = 0. Is 16 a factor of i?
True
Let c(t) = t**2 + 5*t - 1. Let m be c(-5). Is ((-8)/3)/(m/6) a multiple of 7?
False
Let x = -97 + 118. Is x a multiple of 2?
False
Suppose -5*z - 42 = 8. Let j be (55 - 0)*(-4)/z. Let i = j - 14. Is 4 a factor of i?
True
Let r = -132 + 77. Let s = 9 - r. Does 17 divide s?
False
Suppose -k - 27 = -3*r, 0 = 2*k - 4*k - 2*r - 54. Let p = 67 + k. Is 16 a factor of p?
False
Suppose 86 - 326 = 4*h. Let w = -39 - h. Let i = -13 + w. Is i a multiple of 3?
False
Let j(r) = -2*r**2 - 1. Let d be j(-2). Does 16 divide (8/(-3))/(d/108)?
True
Suppose -4*f - 2*y = -174, 3*f - 2*y - 127 = -7*y. Is 22 a factor of f?
True
Let o(u) = -3*u - 24. Is o(-18) a multiple of 4?
False
Let m(j) = -13*j - 8. Let y be m(-6). Is (y/(-40))/((-1)/4) a multiple of 4?
False
Suppose i + 0*y - 3 = -y, -5*y = -2*i - 1. Suppose -2*c - 14 = -18. Suppose g - 25 = i*j, -3*j + 42 = 3*g + c*j. Is g a multiple of 5?
False
Let b(t) = -t - 1. Let x(c) = -4*c - 11. Let w(k) = 3*b(k) - x(k). Suppose 3*s + 40 = 8*s. Is w(s) a multiple of 9?
False
Let b = 6 - -1. Suppose b - 133 = -3*m. Does 14 divide m?
True
Let l be 1 + -1 + (-60)/(-1). Suppose -2*r + l - 1 = 3*q, -129 = -4*r + 5*q. Is 19 a factor of r?
False
Let k = 132 - 75. Is 19 a factor of k?
True
Let a = 16 + -5. Suppose 2*v - v - a = 0. Is v a multiple of 11?
True
Suppose 2*g + 2*t - 3*t + 25 = 0, -3*t + 53 = -4*g. Suppose 33 = 2*l - 17. Let f = l + g. Does 7 divide f?
True
Let q(p) = -p**3 + 5*p**2 - p + 3. Let t be q(5). Let o(j) = -5*j - 2. Let x be o(t). Suppose -v - v + x = 0. Is v even?
True
Suppose -3*q + 10 = 2*q. Let n = 4 - q. Suppose -n*x + 7 = -5*r - 27, -3*x = -r - 25. Does 7 divide x?
True
Suppose 0 = 2*f + 34 - 4. Let t = f - -37. Is 13 a factor of t?
False
Suppose 0*i - 42 = -2*i. Suppose 3*c + r = i, -2*c - 2 = 3*r - 16. Suppose -5*p - c + 53 = 2*t, -4*p - 23 = -3*t. Is t a multiple of 9?
False
Let n(j) = j**3 - 8*j**2 - 7*j + 2. Let o be n(9). Let x(k) = -k**2 + 6*k - 4. Let a be x(4). Suppose o = -a*b, -u = 7*b - 3*b + 11. Is 9 a factor of u?
True
Is 58/(3/9*6) a multiple of 9?
False
Let s(v) = 19 - 2*v + v**2 + 0*v + v + 38. Is s(0) a multiple of 27?
False
Let u be 370/(-45) + 4/18. Is (8/10)/(u/(-140)) a multiple of 13?
False
Suppose 10 + 41 = 3*s. Suppose 4*g - 12 = -2*t, -t - 5 = -4*g + 1. Suppose z = g*z - s. Is 17 a factor of z?
True
Let k be 4/((-12)/9) - 61. Let b = 91 + k. Suppose -h + 3*n - 2*n = -b, 2*h = 4*n + 52. Does 11 divide h?
False
Suppose 5*w - 85 - 65 = 0. Is w a multiple of 3?
True
Let o(x) = 8*x + 6. Does 20 divide o(4)?
False
Suppose 3*g - 2*p - 65 = 0, 0*g - 5*p = -g. Let l = g - 11. Is l a multiple of 14?
True
Suppose 3*j = 6, -y - 4*j = 2*y - 68. Suppose 2*i - 2*o - 40 = 0, o = -2*i - o + y. Is 15 a factor of i?
True
Let x be 3 + (-1)/(2/138). Let c = -46 - x. Is 10 a factor of c?
True
Suppose b - 9 + 2 = 0. Suppose 0 = 5*t - 4*i - 92, -t + 2*i + b = 5*i. Is 8 a factor of t?
True
Suppose -159 = -8*x + 5*x. Does 10 divide x?
False
Let r = 89 - 34. Let x(u) = -u**3 - 7*u**2 - 4*u - 5. Let h be x(-5). Let c = h + r. Is c a multiple of 10?
True
Let z = -83 - -195. Is 18 a factor of z?
False
Let r = 215 - 143. Does 8 divide r?
True
Let r(j) = 14*j**3 + 2*j**2 - 2*j. Suppose 1 + 4 = 5*x. Does 10 divide r(x)?
False
Let s(n) = -n**2 - 2*n + 3. Let g be s(-3). Suppose 4*p = 2*d - 14, -3*d + 5*p - 3*p + 29 = g. Is d a multiple of 11?
True
Suppose 0 = -2*z - z - 6. Let s be -2 - 100/(z*1). Suppose t + 2*t = s. Is 6 a factor of t?
False
Suppose -6 = -l - 2*l. Let r(f) = 11 + f**2 - 11 + l*f. Does 10 divide r(-6)?
False
Suppose 37 - 497 = -5*x. Does 17 divide x?
False
Suppose -2*c + 0*c + 164 = 0. Suppose 2*l = l + c. Let j = l + -55. Is 15