)/58*r)?
False
Let y be 6/(72/(-3)) + (-11774)/8. Does 18 divide (-2)/10 - y/10?
False
Suppose -569 = 5*w - 1009. Is w a multiple of 8?
True
Suppose 0 = z - 23 + 7. Is 10 a factor of z?
False
Let v be 340/14 + (-2)/7. Let q(f) = -2*f - 2. Let k be q(-5). Let c = v - k. Does 16 divide c?
True
Suppose 4*s = 1 + 7. Let i be s/2 + -6 + 2. Let d = i + 10. Is 3 a factor of d?
False
Let y be (33/(-11))/((2 - 1) + 0). Does 11 divide (y/((-18)/26))/((-5)/(-90))?
False
Suppose -6*q - 13 - 5 = 0. Let a(f) = -3*f**3 - 5*f**2 - 6*f - 6. Is 21 a factor of a(q)?
False
Suppose 0 = -101*s + 24506 + 165980. Is 6 a factor of s?
False
Suppose 6*a = 3*a + 24. Suppose 5*q - 5*u - 25 = 0, 3*q + 3*u = a + 7. Suppose -5*d + 80 = -q*l, -4*d + 4*l + 48 = 8*l. Is 14 a factor of d?
True
Let b = 27 + -65. Does 12 divide (b/(-3))/(11/66)?
False
Let z(b) = 3*b**2 - 6*b + 2173. Does 12 divide z(0)?
False
Let i(j) = 13*j**3 + 11*j. Is i(3) a multiple of 72?
False
Suppose 6 = 3*i - 0. Suppose -c + 4*g + 184 = 0, c + i*g - 157 = -3*g. Suppose c = 4*p - 4*s, -3*p + s + 110 = -23. Is p a multiple of 15?
True
Suppose 25*k = 23*k + 1100. Is 25 a factor of k?
True
Suppose -52*m + 21060 = -16*m. Is 65 a factor of m?
True
Let v be (-6)/(-4) + 12/8. Does 6 divide 234/(v - -3) - 4?
False
Suppose r - 21 = -4*t, 2*t + 19 = 5*r + 2. Suppose 3*s - t = s. Suppose s*o + 4*u = 5*o - 21, 0 = -2*u. Is 4 a factor of o?
False
Suppose -17*i = -349 - 926. Does 25 divide i?
True
Suppose s = 9*s - 3832. Does 9 divide s?
False
Let y be (-16)/(((12/8)/3)/(-2)). Let v = 61 + y. Is 25 a factor of v?
True
Let n = -14 - -98. Is n a multiple of 6?
True
Let f(m) = -m**3 - m**2 + 5*m + 27. Is f(-7) a multiple of 11?
True
Let u(q) = 8*q**3 + 2*q**2 + 11*q - 10. Is u(4) a multiple of 17?
True
Suppose 4*d + 5*k - 10 = -d, -2*d = -k + 2. Suppose d = 2*z - a + 12, 3*z + 20 + 8 = 4*a. Let x = z + 12. Is x a multiple of 8?
True
Let d = 1245 - 342. Is d a multiple of 21?
True
Let j = -1190 - -2331. Does 33 divide j?
False
Let w(n) = 67*n**2 + n - 5. Let t be w(2). Suppose -5*z + t = 4*r, -3*r + 219 = 3*z + 60. Does 10 divide z?
False
Let l = -90 + 180. Let w = l + -58. Is 4 a factor of w?
True
Suppose -5*u + s + s + 15 = 0, -2*s = 5*u - 15. Suppose 4*q - 5*k = 181, u*q - 135 = 5*k - k. Does 7 divide q?
True
Let z = 242 + 16. Does 17 divide z?
False
Suppose 5*a - 4 = 3*i, 0*i + 6 = 5*i - 2*a. Suppose -2*u = -d - 2, d + 7 = 3*u + i. Suppose -d*z = -25 - 55. Does 10 divide z?
True
Let g(y) = -y + 5 - 5*y + 4*y + 3*y. Let n be g(0). Suppose 0 = -4*b - 20, 2*j + b = n*b + 224. Does 32 divide j?
False
Suppose -5*j + 5780 = 5*l, 4*l = 2*j + 3432 + 1168. Suppose -7*f + l = 5*f. Does 12 divide f?
True
Suppose -2*l - 590 = -2*u, 2*u + 2*l - 488 - 90 = 0. Let f = u - 188. Does 8 divide f?
True
Let u(c) = -2*c**3 - 17*c**2 - 33*c - 204. Does 40 divide u(-12)?
True
Suppose 3*r + 4*a - 316 = 0, -r + 2*r - 3*a = 88. Let h be (-3)/(-6)*-2*49. Let b = r + h. Does 17 divide b?
True
Let x(i) = 308*i**2 + 12*i + 4. Is x(2) a multiple of 12?
True
Suppose -m - 4*b + 19 = -b, 2*b = 3*m - 46. Suppose 467 = 7*w - m. Is 23 a factor of w?
True
Let h = -23 - -28. Suppose -h*o + 2*j = -316, 184 = 5*o - 2*o - 4*j. Is o a multiple of 16?
True
Let j = 343 + -182. Is j a multiple of 34?
False
Suppose -2*a - 2*b = -244, 4*b = 3 + 5. Does 15 divide a?
True
Does 12 divide 513/(-19)*(2 - 6)?
True
Let f(o) = -o**2 + 21*o - 20. Is f(11) a multiple of 15?
True
Suppose -b - 3*h = -21, 5*b - 3*b - 42 = 2*h. Is b a multiple of 4?
False
Suppose 15*p - 3384 = 6*p. Is 8 a factor of p?
True
Suppose 33 = t - 2*v, 7 = 3*t + v - 64. Let u = t + -27. Is (-60)/u*(-6 + 8) a multiple of 15?
True
Let c be 1*177*(-4)/(-12). Let h = c - 39. Suppose 0*g = -g + h. Is g a multiple of 3?
False
Let i = 3 - -256. Is 10 a factor of i?
False
Let q(a) = -86*a**2 - 1. Let s be q(1). Let j be (7 + (-183)/12 + 3)*-32. Let u = s + j. Does 23 divide u?
False
Is 45 a factor of (64/8 - 17)*-175?
True
Let d = 815 + -528. Is 8 a factor of d?
False
Let k be (0/4 + -2)*-2. Is 83 - -3 - 2 - k a multiple of 16?
True
Suppose 0 = -7*x + 23*x - 2640. Is x a multiple of 70?
False
Let m(x) = -4*x**2 - 8*x + 6. Let s be m(9). Let f be s/24 - 2/(-8). Does 21 divide 447/12 + (-12)/f?
False
Let q = 16 + -31. Let m(g) = g + 22. Is m(q) a multiple of 7?
True
Let g = 40 - 19. Let v = g + -16. Suppose 6 - 121 = -v*a. Does 20 divide a?
False
Let m(y) = y**3 + 12*y**2 - 17*y - 14. Is 6 a factor of m(-6)?
False
Let c(z) = 176*z - 82. Is c(3) a multiple of 13?
False
Suppose 5*t - 5*o = 395, 4*t + o = -2*o + 316. Let h = t + -61. Is h a multiple of 3?
True
Let h = 10 - 6. Suppose 3*c - 5 = -2*c - 5*d, h*d = -16. Let o(w) = 4*w + 4. Does 8 divide o(c)?
True
Suppose -4*b = -5*r - 0 + 4, -4*b = 4*r - 32. Let o(h) = -6*h**2 - 4*h - 4. Let g(d) = 5*d**2 + 5*d + 3. Let y(p) = b*o(p) + 5*g(p). Does 7 divide y(-11)?
True
Let w(i) = -130*i + 130. Is 78 a factor of w(-23)?
True
Let y(d) = -24*d**3 + 2*d**2 - 1. Suppose -5*t - 16 = -11. Let m be y(t). Let c = -20 + m. Is 2 a factor of c?
False
Suppose -3*i + 8223 = 5*o, 4*i - o - 2924 = 8017. Does 19 divide i?
True
Suppose -y + 6*y = 1470. Let p = 413 - y. Is 28 a factor of p?
False
Let k(i) = i. Let u be k(6). Let x = 9 - u. Suppose 5*s = -p + 35, x*s - 2*s = -2*p + 52. Is p a multiple of 9?
False
Suppose 0 = -3*d + 7*m - 2*m - 18, -4*m = d + 6. Let o(h) = -h**3 - 5*h**2 - 5*h + 26. Is 23 a factor of o(d)?
True
Let c(p) = -15*p**3 + p**2. Let x be c(-1). Let k be x/6 + 8/(-12). Suppose 5*v + 3*d - 95 = v, -k*v = -5*d - 15. Is 10 a factor of v?
True
Suppose 0 = 5*a - 25 - 60. Let o = 95 - a. Is o a multiple of 13?
True
Suppose 3699 = 23*b - 5777. Is b a multiple of 17?
False
Suppose -s + q + 1628 = 0, 2367 = -3*s + 4*q + 7254. Does 13 divide s?
True
Let m = -9 - -2. Let q = 11 + m. Does 18 divide (-20 - q/2)*-2?
False
Let f(c) = -5 + 4 - 9*c + 2. Does 46 divide f(-5)?
True
Let w(d) = 3*d + 8. Let u be w(0). Suppose 5*n + 51 = 2*o, 3*o - u*o + 4*n = -153. Is 4 a factor of o?
False
Let u(d) = 2*d**2 + 9*d + 9. Let h = -6 - -7. Suppose h = -3*n - 17. Does 7 divide u(n)?
False
Let q be (-1 + 2)*(-4 - -11). Suppose -4*r = -q - 21. Suppose 3*d - a - r = -2*a, -2*a - 6 = d. Is d even?
True
Let j(y) = 8*y**2 + 15*y + 17. Is j(-6) a multiple of 7?
False
Let c = -31 + 58. Is 9 a factor of c?
True
Let j = -17 - -21. Suppose -2 + j = 2*y. Does 18 divide y/(-7) + (-253)/(-7)?
True
Let v = -5 - -5. Let k = -2 - v. Let i = 62 + k. Is i a multiple of 20?
True
Let k(s) = 297*s + 297. Is k(4) a multiple of 45?
True
Let y(q) = -9*q + 916. Does 38 divide y(-46)?
True
Is 43 a factor of (36/24)/(2/(-4)) - -1766?
True
Suppose -5*u + x = -27 - 7, -5*u + 4*x + 46 = 0. Suppose -2*g + u*g - 308 = 0. Does 11 divide g?
True
Suppose 2*h + 2 = 0, 0*d + 3*h - 1527 = -2*d. Does 51 divide d?
True
Let r(q) = 7*q**2 - q. Let a be -4 - (-1 + 3 - 10). Let p be r(a). Is 24 a factor of 3/((28/p)/7)?
False
Suppose 9*c - 20 = 5*c. Suppose 72 = c*v + 4*n, 4*v - 51 = 3*n - 4*n. Is 3 a factor of v?
True
Suppose 0 = 7*k + 78 + 27. Is 7 a factor of 2*(k/(-3) + 3)?
False
Let v(w) = -w**2 + 12*w - 21. Let d be v(10). Is 21 a factor of (d - 0) + 1 + 2 + 145?
True
Let v = -13 + -3. Let k = v + 100. Is 13 a factor of k?
False
Suppose 0 = -4*r - a + 9, -r + 3*r = -2*a. Suppose r*w + 20 = -w, 0 = 5*z + 3*w - 90. Is z a multiple of 4?
False
Let z(k) = -k**3 + k**2 - k + 3. Let c be z(0). Suppose -c = -5*x + 82. Let p = -5 + x. Is p a multiple of 3?
True
Suppose j - 32 = -3*j. Suppose j*a = 5*a + 15. Suppose -t + 336 = a*t. Does 20 divide t?
False
Suppose 0 = 4*o + o + 15, 0 = -s + 3*o + 497. Does 11 divide s?
False
Suppose -84*f + 130 = -89*f. Let s = f - -53. Is 6 a factor of s?
False
Suppose 52*x - 8408 - 30020 = 0. Does 21 divide x?
False
Suppose x - 4*d + 0*d - 89 = 0, 0 = -2*d - 2. Suppose -x*f + 256 = -83*f. Is 16 a factor of f?
True
Let k(q) = -7*q + 25. Let d be k(4). Let f = 62 + d. Is 14 a factor of f?
False
Let w(h) = -4*h**2 + 9*h - 17. Let o be w(8). Let k = -82 + -50. Let j = k - o. Is j a multiple of 20?
False
Let x = 28 + -22. Suppose -15 = -x*b + 3*b. Is 5 a factor of b?
True
Let w be 1*(2 + 0) + 1. Suppose -w*z - 12 = -z - 3*f, 5*z - 20 = -5*f. Let u(b) = -b + 19. Is u(z) a multiple of 9?
False
Suppose 42 