0 = -h - 11*x + 9*x + 11. Let s = 4 - 5. Let a = s + h. Is a a multiple of 8?
True
Let u = 65 - -134. Is u a multiple of 9?
False
Let j = 30 + -25. Suppose j*a = -16 + 46. Does 4 divide a?
False
Let x(c) = -3*c + 1 + 11 + 4*c + 0*c. Let v be x(-10). Suppose 6*f + 3*g - 72 = 3*f, -v*g + 96 = 4*f. Is f a multiple of 5?
False
Let p(z) = -z**3 - z**2 - z + 450. Does 50 divide p(0)?
True
Let c = 798 - 502. Is c a multiple of 40?
False
Suppose -2*s + 10 = 2*h, 6*h - h - 2*s - 4 = 0. Suppose 5*d + 3*v - 234 = -v, -h*d + 96 = 4*v. Is d a multiple of 14?
False
Suppose -5*s = -s - 20. Suppose 0 = -s*d + d. Suppose 3*y - 90 + 3 = d. Does 26 divide y?
False
Suppose -2*s = -7*s + 90. Is 24 a factor of 93/1 - s/(-6)?
True
Suppose 3*l = t - 2, 4*l = -7 - 9. Does 15 divide (42/9)/(t/(-150))?
False
Let n be ((-8*3)/4)/(-2). Suppose 5*x - 12 = -4*h + n*h, 0 = x + h. Is (x/6)/(4/256) a multiple of 8?
True
Let d(j) = -51*j - 11. Let u(n) = -26*n - 5. Let z(q) = -4*d(q) + 9*u(q). Does 7 divide z(-1)?
False
Is 12 a factor of 1067 - (108/(-9) + 11)?
True
Suppose -19*q + 7208 = -17*q - 3*s, 4*q - 14416 = -3*s. Does 106 divide q?
True
Let x be (-232 - -7) + 3*1. Let z = -158 - x. Is z a multiple of 15?
False
Suppose z = 3*v + 140, -5*v + 164 = z - 0*v. Is z a multiple of 38?
False
Let f be (-4)/(-5) + 357/85. Suppose 13 = -5*y - 2, 3*p + f*y - 168 = 0. Suppose p = 5*t - 59. Is t a multiple of 8?
True
Is 100 a factor of (-2 + (-618)/(-9))*3?
True
Let l(d) = -d**2 - 11*d - 3. Let f be l(-10). Let x(y) = -y**3 + 8*y**2 - 4*y + 6. Does 5 divide x(f)?
False
Let z = 0 + 0. Suppose z*d - d + 3 = 0. Suppose 81 = 3*p + 2*c - 3*c, 2*c = d*p - 84. Is 9 a factor of p?
False
Is (-13)/(-26) - (107/(-2) - -2) a multiple of 13?
True
Suppose -2*p = -3*p + 5, -y - 4*p + 25 = 0. Let f(d) = d**2 + 3. Let r be f(y). Suppose -2*n = -60 - r. Is 11 a factor of n?
True
Suppose -1197 = -5*b - 3*y + 2*y, 4*b - 4*y = 948. Let u = -169 + b. Does 14 divide u?
True
Let k be (-153)/(-21) + ((-4)/7)/2. Suppose k*c - 3*c = 336. Is c a multiple of 42?
True
Suppose -3*k - 51 = 3*l, -4*k + 40 = -4*l - 36. Let r = 20 + l. Suppose z - 63 = -2*q, r*q + 69 = 4*q - z. Is q a multiple of 5?
False
Let f = 274 + 174. Is f a multiple of 8?
True
Suppose q - 4*w = 5*q + 216, 3*w = -q - 56. Let u = 112 - q. Suppose -3*o + v + 99 = 0, -5*o + 6*v = v - u. Is 16 a factor of o?
False
Let s be 342/(-95) - 2/5. Let f(g) = -g**3 - g**2 - g - 7. Does 10 divide f(s)?
False
Let c = -72 + 74. Suppose -2*t + 10 = -0*t. Suppose c*s = t*s - 324. Does 36 divide s?
True
Let o = 436 + 591. Does 8 divide o?
False
Let y(s) = -s**3 - s**2 + s. Let o(t) = 4*t**3 - 2. Let u(l) = -o(l) - 5*y(l). Let d be u(-5). Suppose 4*g - 5*g + d = 0. Does 5 divide g?
False
Let t = 159 + 294. Is t a multiple of 24?
False
Let z be (-1)/(((-3 - -1) + 1)/2). Let a(b) = 11*b - 5. Is a(z) a multiple of 3?
False
Let v = -31 - -73. Is 14 a factor of v?
True
Let s = -9 - -106. Let t = s + -22. Is 15 a factor of t?
True
Suppose 133*u = 130*u + 210. Is u a multiple of 5?
True
Suppose 27*r + 48 = 33*r. Does 38 divide 558/r + 25/100?
False
Let w(x) = x**2 - 8*x - 4. Suppose -3*b = 3*n - 42, -2*n = -6 - 2. Does 4 divide w(b)?
True
Let n = 1837 - 412. Is 5 a factor of n?
True
Let g be (-298*1)/((-7)/(14/4)). Let w = g + -19. Does 26 divide w?
True
Does 13 divide (3 + 8 + -13)*2171/(-2)?
True
Let k(c) = c**2 - 3*c + 4. Let w(u) = u**2 - 2*u. Let f be w(3). Let b be k(f). Suppose 81 = b*z - 4*y - 87, 4*z - 5*y - 163 = 0. Is z a multiple of 13?
False
Suppose z - 68 = 5*z. Let x = z + 38. Is x a multiple of 7?
True
Suppose -4*z = -3*r - 44, 5*r = z + 2*z - 55. Suppose f = -4*f - 20. Is 5 a factor of (f - -3)*r - 3?
True
Suppose 8*l = 21*l - 25753. Is 80 a factor of l?
False
Let x = -5 + 115. Does 4 divide x?
False
Let i(r) be the third derivative of -r**5/60 - 7*r**4/24 - r**3/6 + 3*r**2. Let z be i(-5). Is z/2*56/4 a multiple of 21?
True
Let h be -1*(3 + 24/(-3)). Is (208/20 + -4)*h a multiple of 11?
False
Suppose l - 821 = -2*d, 2*d - 28*l + 33*l - 801 = 0. Is 2 a factor of d?
False
Let k(l) = 2*l - 1. Let a be k(5). Suppose -a = 5*f - 14. Is (-2 + f)*32*-1 a multiple of 20?
False
Let t = 275 + 367. Is 13 a factor of t?
False
Let g(z) = -2*z**2 + 15*z - 19. Let p be g(5). Suppose -2*r = -p*r + 536. Is r a multiple of 18?
False
Suppose -i + 4*i = 3*t + 348, -3*i = -t - 348. Let h = -113 + i. Is h even?
False
Suppose 784 = -2*c + 6*c. Suppose 0 = 9*x - c + 61. Is 4 a factor of x?
False
Suppose -4*v - 4 = -44. Suppose -3*p = -v - 32. Does 14 divide p?
True
Suppose -147 = 20*g - 27*g. Does 9 divide g?
False
Suppose c - 8*b + 13*b - 896 = 0, -2688 = -3*c - 2*b. Does 8 divide c?
True
Let d = 204 - 60. Suppose 0 = -3*a + 6*a - d. Is 16 a factor of a/10*(3 - -7)?
True
Let o = -324 + 894. Is 7 a factor of o?
False
Let q(b) be the first derivative of -b**3/3 - 2*b**2 + 7*b + 6. Let o be q(-5). Does 24 divide (-3)/o + 294/4?
True
Let a(i) = 10*i - 3. Let d(s) = s. Suppose -5*c + 13 = 83. Let h(b) = c*d(b) + 2*a(b). Does 12 divide h(5)?
True
Suppose -5 - 15 = -4*a, 3*a = 5*j - 50. Suppose -2*y + 3*o = -j, -1 = 2*y + 4*o - 7. Does 27 divide 513/(-95)*-1*y?
True
Let q(o) = -12*o + 80. Does 32 divide q(-36)?
True
Suppose 2*n = 2*v + 378, -3*n = -v - v - 566. Suppose -3*r + n = -22. Does 12 divide r?
False
Suppose 17*g = 7*g + 9200. Is 40 a factor of g?
True
Let t = -37 + 74. Is (t/2)/(3/6) a multiple of 15?
False
Suppose -3 = t, -t = -4*i + 4*t - 13. Is 18 a factor of 654/8 - i/28?
False
Let q(x) = -x**2 - 11*x. Let u be q(-10). Suppose u*l + 15 = 5*l. Let n(m) = -21*m - 3. Does 20 divide n(l)?
True
Let o(t) = -t**2 + 29*t. Is 12 a factor of o(27)?
False
Let g(b) = 83*b - 47. Is 5 a factor of g(6)?
False
Let i = -57 - -62. Does 15 divide (60/1)/(2/i)?
True
Suppose 20 = 4*d + 8, 397 = 2*y + 5*d. Is y a multiple of 2?
False
Does 18 divide (7/(7/36))/((-6)/(-27))?
True
Suppose 4*b - i - 18 = 23, -5*i = 5*b - 20. Suppose 14*g - b*g = 35. Does 3 divide g?
False
Suppose 3*n + 513 = g, -2621 = -5*g - 3*n + 4*n. Is g a multiple of 15?
True
Suppose -4*i - 478 = -f, -2*f = 15*i - 10*i - 982. Is f a multiple of 14?
False
Suppose -5*d + 1208 = -2387. Is d a multiple of 30?
False
Let h(v) = -2*v**3 - v**2 - 2*v - 180. Let n be h(0). Does 31 divide n/(3 - 5) + (-3)/(-1)?
True
Let q(s) = 271*s**2 - 4. Does 36 divide q(2)?
True
Let d be (-3 - -1) + 3 + -41. Let p = d + 74. Does 13 divide -3 + 6/3 + p?
False
Let p(t) = 5*t**2 + 49*t + 1. Does 10 divide p(-15)?
False
Let u = -20 + 16. Let w = u + 29. Does 10 divide w?
False
Suppose -9*m - 7*m + 17296 = 0. Does 47 divide m?
True
Suppose -4*s + 412*z = 413*z - 14835, 4*s = 3*z + 14823. Is 103 a factor of s?
True
Is 5*(-16)/320 + (-24194)/(-8) a multiple of 7?
True
Let x(j) = -j**3 - 9*j**2 - j - 17. Let p be x(-9). Let z(s) = 2*s**2 + s - 16. Does 8 divide z(p)?
True
Let z(x) = x**3 + x**2 - 2*x + 110. Let w be (-3 - -3)/5 - (1 + -1). Does 10 divide z(w)?
True
Let n be 8/(-4) - 112/(-2). Suppose 0 = 10*a - 13*a + n. Suppose 15 = 2*x - x + 4*p, -5*p = -4*x + a. Is x even?
False
Suppose 34*j - 47012 + 8116 = 0. Is j a multiple of 44?
True
Suppose -i + 5*i + 5*z - 84 = 0, 0 = 3*i + z - 74. Suppose 22*a + 116 = i*a. Does 5 divide a?
False
Suppose -4*n + 3*x = -275, n + 71 = 2*n - 3*x. Is 17 a factor of n?
True
Suppose -c = 5*r - 125, 0 = -2*c - 4*r - 163 + 425. Suppose -2*u = 3*u - c. Is u a multiple of 9?
True
Suppose -216 + 84 = 4*v. Let j(m) = 12*m + 4. Let s be j(-2). Let k = s - v. Is k a multiple of 2?
False
Suppose -43*s - 13829 = -47*s - 3*y, -2*y = -4*s + 13854. Is s a multiple of 15?
False
Suppose 2*t + t = 0. Let k(f) = -21*f - 1 + t + 4 - 2. Does 11 divide k(-1)?
True
Let j be (75/(-125))/((-2)/60). Suppose -16*c = -j*c + 244. Does 20 divide c?
False
Let p = -8 - -4. Let l(o) = -9*o + 13 - 8 - 7. Is 17 a factor of l(p)?
True
Suppose -372*w - 16874 = -385*w. Is w a multiple of 9?
False
Let w = 20 - 20. Suppose q - 33 = -w*v + 5*v, 0 = -v + 3. Is q a multiple of 6?
True
Suppose 0 = -3*f + 186 + 444. Suppose -l = 4*l - f. Is 14 a factor of l?
True
Suppose 5*s + 2*q = 2052, s - 299 = -5*q + 116. Is s a multiple of 41?
True
Suppose 2*p + 3*p = 2400. Is 20 a factor of (12/8)/(9/p)?
True
Let y(f) = 2*f**2 - 12*f - 4. Let m be y(18). Let u = m + -