multiple of 3?
True
Let x(m) = -m**3 - 5*m**2 - 9*m - 11. Does 14 divide x(-10)?
False
Let g = -7 + 8. Suppose -3 = -v - g. Suppose v*j + 114 = 4*x, -x + 5*j + 5 + 10 = 0. Is 10 a factor of x?
True
Is 162/((-54)/(-9))*(-6 - -118) a multiple of 21?
True
Let j = 2091 - 347. Is j a multiple of 17?
False
Is 2/(((-22)/(-682))/(1/2)) a multiple of 7?
False
Let z be (140/(-16))/((-1)/4). Suppose 2*s - u - 2*u = z, s - 5*u - 35 = 0. Is s a multiple of 2?
True
Let w = 5671 - 1274. Is 17 a factor of w?
False
Suppose 5*g - 2*o = 16, g = -g + 4*o. Suppose -3*p - g*d + 2468 = -4*p, 0 = 4*d + 4. Is 14 a factor of p/(-44) - 4/22?
True
Let s be (512/(-20))/(-8)*(-5)/(-2). Does 47 divide ((-1262)/(-3) - s/(-6)) + 1?
True
Let o(t) = -t**2 - 10*t - 10. Let f be o(-8). Suppose -4*j + f*j - 206 = 0. Does 30 divide j?
False
Suppose 22*o - 347 = 467. Is o a multiple of 7?
False
Suppose -2*l + 7 - 1 = 0. Suppose 3 = l*m - 6. Is (-14 - (m - 4))*-2 a multiple of 7?
False
Suppose 2*q - 1356 = -4*k + 74, -q + 730 = 5*k. Suppose -3*i + q = 228. Is 19 a factor of i?
False
Does 66 divide ((-42)/(-5))/(94/2115)?
False
Let u = 35 - 32. Suppose 2 = -u*w - 1. Is w/2 - (-1071)/14 a multiple of 19?
True
Suppose -9*c - 1212 = 417. Let f = 315 + c. Is 12 a factor of f?
False
Let y be (2/(-6))/((-5)/30). Let o = -8 - y. Is o*(-2)/12*18 a multiple of 9?
False
Let m = 188 + -85. Is m a multiple of 74?
False
Let v(c) be the third derivative of c**5/40 + c**4/8 - c**3/6 + 7*c**2. Let f(q) be the first derivative of v(q). Does 11 divide f(10)?
True
Is 1640/28*(37 - 16) a multiple of 6?
True
Let s(a) = a**2 - a. Let m be s(-4). Suppose 0 = 4*i + 4*q - 20, 25 = -i - 3*i + 5*q. Let f = i + m. Is f a multiple of 10?
True
Let z(c) = -c**3 + 5*c**2 - 4*c + 4. Let r be z(4). Suppose -r*g = -d - 0*g - 2, g + 4 = d. Is d even?
True
Suppose -3*n + 6 = -5*n - 4*q, 5*q = n - 18. Suppose -2*l - 158 = 4*m, -2*m + 273 = -n*l + m. Let b = -44 - l. Is 22 a factor of b?
False
Suppose 5*f + 3*o = 2005 - 297, 1012 = 3*f + 5*o. Does 14 divide f?
False
Suppose -5*w = 21 - 31. Suppose -w*n + 177 = y, y - 3*n = -n + 189. Is y a multiple of 36?
False
Let s(t) = -t**2 + 22*t - 11. Is s(9) a multiple of 14?
False
Suppose 0 = 5*r - o - 301, -5*o - 167 + 42 = -2*r. Suppose 4*m + 4 = r. Is m a multiple of 5?
False
Is 9 a factor of 30*(-18)/3*8/(-40)?
True
Let r(t) = 201*t**3 - 53*t**2 + 105*t + 2. Does 8 divide r(2)?
True
Suppose -3*x = -2*z - 89, -55 = 2*x - 4*x - 3*z. Suppose 24*t - x*t + 95 = 0. Is 6 a factor of t?
False
Let b = 366 - 178. Does 25 divide b?
False
Suppose 497 = 7*l - 91. Is l a multiple of 3?
True
Let x(s) = 2*s**2 + 5*s + 9. Let i be x(-4). Suppose -i*b = -13*b - 80. Does 5 divide b?
True
Is (6/1)/((-30)/(-13035)) a multiple of 33?
True
Suppose -3*h - 7*s - 14 = -3*s, 9 = -2*h - 3*s. Let t = h + 8. Suppose -4*v = -t*u - 68, -3*u - 16 = -v - 2*u. Is 18 a factor of v?
True
Does 40 divide -6 - (8 - -4)/(20/(-2810))?
True
Let u = 65 + -26. Suppose 9 = -p + u. Is p a multiple of 5?
True
Let w(l) = -65*l - 233. Is 5 a factor of w(-9)?
False
Let x(g) = -g**3 + 28*g**2 - 41*g + 134. Does 28 divide x(26)?
True
Let s be -1*(10/(-2))/1. Let q(i) = -3*i - 4*i**3 + 0*i - 5*i - 9 + s*i**3. Is 19 a factor of q(5)?
True
Is (-3 - 11242/(-6)) + 58/(-87) a multiple of 6?
False
Suppose -91 = -4*u - 31. Suppose -7*j - u + 239 = 0. Is j a multiple of 8?
True
Let d(u) = 3*u - 4 + 3 - 4*u + 3*u**2 + u**3. Let c be d(-2). Suppose 0*l = c*l - 35. Is 3 a factor of l?
False
Let w(z) = z + 10. Let k be w(-9). Let x be -5*1/(k/(-1)). Suppose x*s - 91 - 124 = 0. Is 12 a factor of s?
False
Suppose 25 = -5*u, -j - 312 = -2*u + 6*u. Let s = -42 - j. Is s a multiple of 40?
False
Let v(b) = 9*b + 147. Is v(40) a multiple of 39?
True
Let s = 17 + -14. Suppose -352 = -7*x + s*x + 4*o, x - 4*o = 82. Suppose x = 5*n + p - 2*p, 3*p = -4*n + 72. Does 6 divide n?
True
Suppose 4*q = -0*q + 176. Suppose 5*p = -3*d + 296, -d - 5*p + q = -68. Is d a multiple of 25?
False
Let v be 10/50 + (-1)/5. Suppose -3*q - 3*l + 126 = 0, v = 4*q - 7*q - 2*l + 126. Is q a multiple of 5?
False
Let n(w) = -w + 8*w - 3*w - 5*w - 7. Let u be n(-8). Does 8 divide u - (3/1 - 34)?
True
Suppose 11 = 3*v - 7. Let l be (-9)/(-3)*52/v. Let y = -19 + l. Does 4 divide y?
False
Let u(t) = 5*t + 20. Let n be u(-4). Let w(a) = a**2 + 96. Is w(n) a multiple of 23?
False
Let a = 38 - 35. Suppose 0*l + a*l = -12, 3*n - 2*l - 149 = 0. Does 6 divide n?
False
Suppose 4*f + 35 = 11*f. Suppose -5*h + 605 = f*a, h + a = 4*h - 351. Does 35 divide h?
False
Let n(a) = 5*a + 0*a**3 - 7 - 4*a**3 + 3*a**3 - 2*a**2 - a. Let g be n(-5). Suppose -9*w = -7*w - g. Is 15 a factor of w?
False
Let c be ((-8)/(-3))/(-1)*(-9)/(-6). Is 14 a factor of c/12*-3 - -139?
True
Let d(v) = -7*v - 10. Let l be (5 - 3 - -7)*(-3 - -2). Is d(l) a multiple of 13?
False
Let v(k) = 20*k**2 - 27*k - 208. Is v(-6) a multiple of 26?
False
Let x(d) = -d**2 - 6*d + 15. Let h be x(2). Is (6/(h + 3))/((-6)/(-476)) a multiple of 14?
True
Let w = -260 - -282. Is 6 a factor of w?
False
Let v = 4847 + -2109. Is v a multiple of 7?
False
Let g(t) = -2 - 3 + 5*t**2 - 3 - 11*t - 4*t**2. Let l be g(12). Suppose 216 = 3*d - v - 4*v, -l*v = 0. Does 25 divide d?
False
Let y = -1 - -7. Let o be (y - 3)*-1 + -1. Let c = 15 + o. Does 11 divide c?
True
Let w = 963 - 578. Is 14 a factor of w?
False
Let v = 117 + -113. Suppose -h = 4*f - 73, -206 = -v*h - f + 86. Is 10 a factor of h?
False
Let r(o) = 10*o**2 + 56*o - 115. Does 4 divide r(2)?
False
Suppose 2*s - 35 = -3*g + 4*s, 4*s = -2*g + 50. Suppose 2*h - 4*h = -48. Let c = h + g. Does 10 divide c?
False
Suppose -6*i - 91 = 113. Let x = 44 + i. Is x a multiple of 4?
False
Suppose 0*k = -2*k - 6, 0 = -5*j + k + 3. Suppose 0 = 4*o - 12, j = -u + o - 4*o + 117. Is u a multiple of 12?
True
Let m = -62 - -75. Let y(h) = 7*h**2 - 27*h - 12. Let n(w) = 3*w**2 - 13*w - 6. Let o(t) = 5*n(t) - 2*y(t). Is 20 a factor of o(m)?
True
Suppose -8*n = -3*n - 3905. Is 21 a factor of n?
False
Suppose -9*i = -7*i - 392. Does 7 divide i?
True
Suppose 8 = w + 2. Let i = w - -1. Suppose 4*s - 132 = 4*g, -5*s + 3*g + 192 = i*g. Is s a multiple of 9?
True
Suppose 2*j = -0*j - 5*d + 11, 4*j + 13 = -3*d. Is 58 + 1 + 6 + j a multiple of 17?
False
Let j = 14 + -17. Let w(i) = -2*i**3 + 2*i**2 + 4*i + 3. Is 20 a factor of w(j)?
False
Let v(b) be the second derivative of -b**5/60 + b**4/12 + 5*b**3/6 - 5*b**2 - 13*b. Let o(c) be the first derivative of v(c). Is o(0) a multiple of 2?
False
Let n(f) = 4*f**2 - 2*f - 3. Let r be n(-3). Let y = 163 + -70. Suppose r = 4*t - y. Is t a multiple of 11?
True
Let x(v) = v**3 + 9*v**2 - 8*v - 16. Is 14 a factor of x(-8)?
True
Let a(m) = 2*m**2 + 8*m - 74. Does 10 divide a(9)?
True
Suppose -51*u + 59*u = 3352. Is 27 a factor of u?
False
Suppose 1468 = 2*b - 5*z - 992, -b + 5*z = -1220. Is 62 a factor of b?
True
Let c = -35 + 89. Suppose -3*f + 56 = 2*q - c, -4*f = -5*q - 116. Does 3 divide f?
False
Suppose 9 = -2*h + 5*h. Suppose -h*g - 2*g + 10 = 0, 2*g + 302 = 3*v. Does 23 divide v?
False
Let a = 1275 + -747. Does 12 divide a?
True
Suppose -5*x = 20*x - 19725. Is x a multiple of 14?
False
Let i = 14 - 10. Suppose 2*n + 13 + 3 = i*p, 5*n = -5*p + 35. Does 16 divide (-13 - -63) + n/(-1)?
True
Let u(t) = t**2 - 15*t + 15. Let r be u(14). Suppose r = -4*y + 9. Suppose -4*c + 34 = -y. Is c a multiple of 2?
False
Let r(y) = -4*y**3 - 14*y**2 + 3*y - 17. Is 13 a factor of r(-6)?
True
Let a be (0/(-35))/(-1*(1 - 4)). Suppose a = 4*d + 1 - 53. Does 7 divide d?
False
Suppose -3*v = 3*w - w + 44, -4*w = -4*v - 72. Let z = v + 28. Suppose 25*o = 23*o + z. Is o a multiple of 5?
False
Let w(g) = 3*g - 17. Let r be w(9). Suppose 8*l + 10 = r*l. Suppose -4*c + 61 = -0*c - 3*p, -l*p = -5*c + 70. Is c a multiple of 9?
False
Let r = -71 + 164. Let t(z) = z**2 + 16*z - 129. Let k be t(-22). Suppose -183 = -4*u + 4*o - k*o, -2*u + o + r = 0. Is 15 a factor of u?
True
Let b(p) = -128*p + 134. Is b(-3) a multiple of 34?
False
Suppose 4*k + 56 = -0*k. Let m(v) = 2*v**2 + 18*v + 12. Does 23 divide m(k)?
False
Suppose 4*h - 4 = -3*b - 0*h, 4*b = 3*h - 3. Is 14 a factor of b + (-2)/5 - 132/(-5)?
False
Let u(d) = 32*d**3 - 9*d**2 + 2*d + 5. Is 14 a factor of u(2)?
False
Suppose 2*l + 83 = 3*l + 5*