349 - 77. Is z a multiple of 17?
True
Suppose 4229 - 20189 = -15*z. Is z a multiple of 38?
True
Suppose 685 + 57 = 7*m. Suppose 2*g + 0*t + 4*t = m, 4*g - 217 = -3*t. Does 5 divide g?
True
Let d(a) = 7 + a - 13*a**2 + 0 + a**3 + 8. Let g be (3 + 154/(-21))/(1/(-3)). Is 18 a factor of d(g)?
False
Is -1 - -2 - (-331 + 6) a multiple of 27?
False
Suppose 10*f = 7386 - 2116. Let c = f - 274. Does 12 divide c?
False
Let k be 2 + 9 - (5 + -2). Let z be 80 - -3 - -1 - 4. Suppose -z = k*f - 856. Is f a multiple of 18?
False
Suppose 70 = 3*z + 3*w - 110, 3*w - 115 = -2*z. Is 13 a factor of z?
True
Let b(m) = -17*m + 329. Is b(5) a multiple of 55?
False
Suppose r + 963 = 2*v, -v + 3*r + 270 = -219. Is 40 a factor of v?
True
Let t(v) = -370*v - 74. Is t(-2) a multiple of 74?
True
Let r be (0/(-3))/(0 - (3 + -1)). Let o(h) = -h**3 + h**2 + h + 13. Does 3 divide o(r)?
False
Suppose -6*i - 24 = -0*i. Does 5 divide 22 + -2*i/8?
False
Let a be (-8)/(6/9*-3). Let p be a/(-6) + 39/(-9). Is 2/p - 12/(-5) even?
True
Let o = 47 + -24. Suppose 5 + o = 2*w. Let z = w + 3. Is 4 a factor of z?
False
Suppose 4*m - 6008 - 2768 = u, m = u + 2194. Does 47 divide m?
False
Let o(x) = -x**3 + 3*x**2 - 2. Let c be o(2). Let d = 49 + -45. Suppose -4*h + c*a = -34, -2*h - 2 = -4*a - d. Is 5 a factor of h?
False
Does 17 divide (-10)/4*(24 + -160)?
True
Is 2 a factor of 71 + (-4 + 5 - -5)?
False
Let x(v) = 292*v + 8. Does 30 divide x(1)?
True
Let k = -236 + 281. Is k a multiple of 3?
True
Suppose -6 = -3*d, -5*d = 11*f - 9*f - 2740. Is 93 a factor of f?
False
Is (950/(-125))/((-2)/130) a multiple of 38?
True
Is (6 + -61)/((-1)/4*2) a multiple of 11?
True
Let l = 112 + -80. Is l a multiple of 2?
True
Let a = 17 + 41. Let x = a + 9. Is x a multiple of 6?
False
Let q(z) = z**3 - 8*z**2 + 2*z + 1. Let h be q(8). Let c(n) = 2*n**2 - 19*n + 6. Is c(h) a multiple of 54?
False
Let l(c) = 9*c**3 - 2*c**2 - 8*c + 15. Does 6 divide l(3)?
True
Let w = 524 + 863. Is 13 a factor of w?
False
Let d = 2014 - -416. Is 10 a factor of d?
True
Let p(w) = w**2 - 17*w + 21. Let f be p(16). Suppose -4*l + 2*j = -276, f*l - 33 - 312 = -4*j. Is 10 a factor of l?
False
Suppose 2*q - 2*s - 16 = 0, -2*q = -0*s - s - 12. Suppose -q*t - 3*j + 20 = t, -3*t = -4*j + 17. Is (-3)/t + (-1 - -9) even?
False
Let i be ((-6*7)/(-3))/2. Suppose 3*m = -m + 24. Suppose m*s = i*s - 8. Is s even?
True
Let y(u) = -u**2 + 6*u - 8. Suppose -3*j - 5 + 17 = 0. Let f be y(j). Let v = 16 - f. Is v a multiple of 13?
False
Suppose 0 = 3*q + 8 - 32. Suppose -9*p = -q*p - 34. Is p a multiple of 4?
False
Does 26 divide -1*((-897)/(-2))/(-3)*8?
True
Suppose 13*n - 17*n = -16. Does 4 divide n?
True
Let n = -701 - -1347. Is n a multiple of 34?
True
Suppose 3*g = 9, 5*g = 4*x + 7 + 220. Let v = x + 98. Does 15 divide v?
True
Suppose -3*h - 21 = -5*d, 3*h = 2*h - 5*d + 13. Is 1059/15 - -1*h/(-5) a multiple of 21?
False
Let h(v) = 6*v**2 + 8*v + 6. Is h(3) a multiple of 14?
True
Let s(h) = -h**2 - 88*h - 420. Is 21 a factor of s(-39)?
True
Let y(q) = -3*q. Let u be y(-1). Suppose u = -2*t + 13. Let d(j) = j + 1. Does 2 divide d(t)?
True
Let p(i) = -i + 16. Let s be p(-4). Is s/5 + -3 - -227 a multiple of 38?
True
Is 17 a factor of -1 - -1095 - (-11 + 17)?
True
Does 32 divide ((-94)/(-5))/((-4)/(-80))?
False
Let b = -1242 + 1312. Does 7 divide b?
True
Let a(s) = 2*s**3 + 6*s**2 + 5*s + 3. Let f(h) = -h**3 - h**2 + h + 1. Let z(o) = -a(o) - f(o). Let i be z(-4). Suppose -i*k + 43 + 101 = 0. Does 11 divide k?
False
Suppose -35*m = -25*m - 2340. Let q = -3 - -7. Suppose 0 = 5*p, -2*h - h + m = -q*p. Is 29 a factor of h?
False
Suppose -k + 2*o - 7*o + 78 = 0, -3*k + 273 = 2*o. Is k a multiple of 3?
True
Let b be 6/(-8) - 135/(-20). Let f = b - 4. Suppose 13 = f*u - 73. Is 21 a factor of u?
False
Suppose -1516 = -z - 5*n, -2*n = 3*z - 3*n - 4612. Is 96 a factor of z?
True
Let b(y) = -2*y**3 + 17*y**2 - 17*y + 15. Is 75 a factor of b(6)?
False
Let m = 1 - -2. Let p be 5 - -5 - m*-1. Suppose 0 = -2*z - 10, -t + p = 2*z - 10. Is t a multiple of 11?
True
Suppose -5 = 6*m - 7*m, 3*g - 1333 = -5*m. Does 9 divide g?
False
Is 35 a factor of 8 + -5 + 588 - -4?
True
Let w = -315 - -353. Is 19 a factor of w?
True
Suppose 2*k = u - 39, -4*k - k = 10. Let b = 39 - u. Is b a multiple of 4?
True
Let q = 122 + -86. Let g = q + -27. Is g a multiple of 9?
True
Let s = -130 - -784. Is s a multiple of 5?
False
Let m = -28 - -41. Does 21 divide ((-6)/5)/(m/(-1365))?
True
Let n = 531 - -825. Let s be n/8 - 2/4. Suppose s = 5*i + 4*u, 1 = u - 0. Is i a multiple of 6?
False
Suppose 159 = 5*o + 5*b - 121, -281 = -5*o - 4*b. Does 13 divide o?
False
Suppose -41 - 99 = 5*s. Let n = -207 + 203. Is 22 a factor of (-1828)/s + n/14?
False
Let c(k) be the third derivative of k**6/120 - k**5/20 - k**4/24 + 11*k**3/6 - 21*k**2. Is 28 a factor of c(5)?
True
Suppose 17 = 3*r - 2*r. Suppose 4*c + 5*v = 98, -4*v = 2*c - 7 - 45. Suppose -f + r = -c. Is 12 a factor of f?
False
Does 93 divide 2 + ((-29)/58)/(1/(-1856))?
True
Suppose 3*r = -4*n + 39, 0*r = r + 3*n - 13. Let k(v) = -v**3 + 15*v**2 - 22*v - 12. Is 4 a factor of k(r)?
True
Let q(v) be the first derivative of -v**3/3 + 10*v**2 + 10*v - 11. Let z(y) = -2*y**2 + 39*y + 20. Let d(a) = -5*q(a) + 3*z(a). Does 12 divide d(16)?
False
Let n be 1 + (3/(-3) - 14). Does 10 divide (-4)/12*-21*(-120)/n?
True
Let i = 5 + -5. Suppose i = -5*c - 29 - 36. Let j = c - -16. Does 3 divide j?
True
Suppose 2*s = 2*m - 1144, -9*m + 4*m - 4*s = -2815. Does 97 divide m?
False
Let x be -4 + -1*0/1. Let t(w) = w**3 + 3*w**2 - 6*w - 5. Let p be t(x). Suppose 0 = -3*q + p*a - 9 + 66, 0 = 5*q - 3*a - 99. Is q a multiple of 7?
True
Is 10 a factor of (-1 - (-951 - 0))*2046/682?
True
Let z(y) = 6*y - 106. Is z(36) a multiple of 29?
False
Let i = 314 + -141. Suppose 5*x = -317 - 268. Let r = x + i. Is 16 a factor of r?
False
Let z be (-2)/(-10)*(0/(-2) - -5). Let w(g) = 100*g**3 + 2*g - 2. Is w(z) a multiple of 25?
True
Let t = 172 - 34. Suppose 4*u = t + 22. Is 10 a factor of u?
True
Let a be (2/4)/(4/8208). Suppose a = 6*g - 0*g. Does 35 divide g?
False
Let k = 34 - 22. Does 6 divide 4*8/6*90/k?
False
Let a = 382 + -256. Is a a multiple of 6?
True
Let w = -2383 + 3950. Is 27 a factor of w?
False
Let t = -46 - -54. Let w = 7 + t. Is 5 a factor of w?
True
Suppose 3*z - 255 = -t, 0 = z + 2*t - 0*t - 90. Let y(s) = -2*s + 9. Let g be y(2). Suppose -2*x - 4*c + z = 0, 3*c - 10 = g. Does 10 divide x?
False
Suppose 0 = 2*t - 0*t + 24. Let g be (-2)/(-9)*3 + (-4655)/147. Let a = t - g. Does 6 divide a?
False
Suppose 2*t + 5*w - 1397 = 0, t = -3*w + 608 + 91. Does 12 divide t?
True
Suppose -20 = 4*b, -5*l + 3*b + 1 = -14. Suppose l = -8*n + 3*n + 195. Does 11 divide n?
False
Suppose 2*i - 3*h - 27 = 2*h, i - 2*h - 14 = 0. Let c = i + 3. Suppose 0 = 5*t - 106 - c. Is t a multiple of 9?
False
Let c be 2/(-7) + (-240)/(-56). Suppose -c*l - 16 + 0 = 0. Is 1/(4/(-176)*l) a multiple of 3?
False
Is (-1 + 2)*4 - (-2 + -102) a multiple of 6?
True
Let t(l) = 5*l - 9. Let c be t(-4). Let m = c - -85. Suppose -d = 3*d - m. Does 10 divide d?
False
Suppose -3*b - b - 337 = -3*v, -2*v - 3*b = -236. Does 5 divide v?
True
Let v(o) = 8 + 6*o - 3*o**3 + 2*o**3 + 4*o**2 + 2*o**2. Suppose -32*s = -24*s - 48. Is 12 a factor of v(s)?
False
Let x = -17 + 34. Let r be 27/36 + x/4. Suppose -5*i = -r*b - 165, 3*i - 110 = b - 19. Is i a multiple of 7?
False
Let g(d) = -1130*d + 32. Does 14 divide g(-1)?
True
Suppose 4*j = 2*y + 7*j - 16, 2*j = 8. Suppose y*z = c - 207, -62 = 4*z + 3*c + 357. Let i = -64 - z. Is 9 a factor of i?
False
Let y = 187 - 9. Does 2 divide y?
True
Let j = 192 - 169. Suppose 0*y - 2*y = -12. Let u = j - y. Is 6 a factor of u?
False
Suppose 2*o + 2 + 18 = 0. Is o/75*-3*14*20 a multiple of 14?
True
Does 20 divide 578 - ((-2)/7 + (-19)/7)?
False
Let v(l) = 10*l - 402. Is 33 a factor of v(52)?
False
Suppose -6555 = -53*t + 30*t. Does 8 divide t?
False
Suppose 4*o = 2*n + 228, 0*o + 3*o - 170 = n. Is 28 a factor of o?
True
Let i(p) = p**3 - 4*p**2 - 2*p - 8. Suppose 4 = 2*j + 4*h, -3*j + 6 + 4 = 4*h. Is 16 a factor of i(j)?
False
Let q(d) = 26*d**3 + 2*d - 3. Is 11 a factor of q(2)?
True
Suppose -5*m - 8 = -3*n - m, 4*m = -2*n + 12. Suppose -n*c - 183 + 455 = 0. Is c a mu