192, 4*x + 0*g - 5*g = 375. Is x a multiple of 9?
True
Suppose 4*m = -16, -19097 = -3*p + 23*m - 27*m. Is p a multiple of 23?
True
Suppose -3*j - 13*j = 0. Let p = -7 + 1. Does 8 divide (-1)/3*p - (j + -9)?
False
Let t(g) = 4*g**2 + 2*g - 1. Let s be t(2). Let p = -33 + 10. Let h = s - p. Is 6 a factor of h?
True
Let t(z) = -3*z**2 + 26*z - 3. Let m be t(7). Is 22 a factor of (m/6)/((-20)/60)*-11?
True
Let j(p) = -3*p - 11 + p + 4. Let c be j(-6). Let r = c - -24. Is r a multiple of 20?
False
Let z = 9597 - -3082. Does 31 divide z?
True
Suppose -11*l + 791 = -4*l. Suppose -m + r - 15 = -l, 3*r = -m + 98. Is 14 a factor of m?
True
Let m(v) = 38*v - 72. Suppose -26*y + 240 = -2*y. Is 14 a factor of m(y)?
True
Let o(p) = -10*p - 63. Let r be o(-12). Suppose 0 = q - 243 - r. Is 19 a factor of q?
False
Let w(s) = -11*s**3 + s. Let d be w(-1). Suppose -k = -5*l - 25, -l + 2*l + 13 = k. Suppose -k*g - d = -11*g. Does 5 divide g?
True
Does 25 divide -6 + (3/(-2) - 689533/(-58))?
False
Let n = -45 - -42. Let a be (5 + -8)*7/n. Suppose -5*o = -3*v + 135 - a, v - o = 44. Is v a multiple of 15?
False
Let x(i) = -9*i**2 - 52*i + 18. Let n be x(-6). Suppose 3*k - 2*l = 384, -3*l = -l - n. Is k a multiple of 26?
True
Let c(l) = -2*l**2 + 10*l + 9. Let y be c(4). Suppose -y*f + 5064 - 253 = 0. Is 17 a factor of f?
False
Let j be 272/(-340)*(-50)/4. Suppose -j*p + 11506 = p. Is 10 a factor of p?
False
Suppose 97*n - 4*t = 92*n + 293499, 0 = 3*n + t - 176079. Is n a multiple of 13?
True
Let c(y) = -3*y**3 + 5*y**2 - 5*y - 21. Let f(m) = 4*m**3 - 8*m**2 + 7*m + 31. Let j(g) = -7*c(g) - 5*f(g). Suppose -3*s - 14 + 2 = 0. Is 5 a factor of j(s)?
False
Suppose -2*p = -2*q + 1982, -11*p + 3960 = 4*q - 14*p. Is q a multiple of 141?
True
Let k be (-8)/12*(-6)/4. Let h be (k + -1)*10/(-20). Suppose -5*z + 361 = x, h = -2*z - x + 62 + 83. Does 12 divide z?
True
Let n(o) = 24*o. Suppose -2*v = -4*p + 16, 3*p + 3*v - 13 = 4*v. Suppose -6*d = -p - 13. Is n(d) a multiple of 24?
True
Let a = 47438 - 31046. Does 231 divide a?
False
Suppose 3*f + 33 = 8*f + v, -v = -5*f + 27. Suppose -3*l = -l - f. Suppose l*t + 126 = 5*t. Does 10 divide t?
False
Let k = 41 - 37. Suppose 97 = -k*q + 533. Let c = 80 + q. Is c a multiple of 15?
False
Suppose 200*b = 432*b - 210*b - 941710. Does 18 divide b?
False
Let f = -355 - -364. Suppose -f*s - 3*s = -1008. Is s a multiple of 58?
False
Suppose 5*g + 3085 = -5*a, 2456 = -7*g + 3*g + 2*a. Let v = g - -987. Is v a multiple of 31?
True
Suppose -5*d + 215584 = 3*g, g - 86234 = -45*d + 43*d. Is d a multiple of 179?
False
Let k = -811 - -2543. Suppose 4*a = -q + k, a - 433 = q - 0*q. Does 49 divide a?
False
Let s be (4 + 105/(-20))*-4. Suppose -2*y - 4*k = -s*k - 99, 4*y + 4*k = 216. Does 51 divide y?
True
Let u be 0 + 20/(-2 + 6). Let y = 66 + -62. Suppose 0 = -f - 2*v + 20, y*v = -u*f + 3*v + 136. Is 7 a factor of f?
True
Let k(b) = 248*b**2 - 17*b - 43. Is k(-3) a multiple of 20?
True
Let b = -60 + 65. Suppose -4*k + 28 = 5*p, b*p = k + 28 - 10. Is (414/24)/(3/8)*k a multiple of 29?
False
Is (-33730)/(-2) + 53 + -70 a multiple of 26?
True
Suppose 13*b = -b + 28. Suppose 0 = b*j + 2*j + 2*p - 582, 2*j - 2*p - 300 = 0. Suppose 3*x = 2*t + j, 5*x - 325 = 3*t - 80. Does 34 divide x?
False
Let s(n) = -n**3 - n**2 + 13*n + 22. Let k be s(-2). Suppose k*z + 784 = 8*z. Is z a multiple of 8?
False
Let v be 2 + 12/3 + -4. Let n(l) = -3*l**v + 2*l**2 - 52 + 59 - 22*l. Is 16 a factor of n(-7)?
True
Let n(l) = 175*l - 12 + 32 + 2*l**3 - 177*l + 14*l**2. Does 8 divide n(-6)?
True
Let b = 8839 - 8692. Does 2 divide b?
False
Let s(x) = 10*x**3 - 9*x**2 + 3*x - 7. Let l be s(4). Let d = l - 146. Suppose 87 + d = 2*y. Does 28 divide y?
False
Let t = -5838 - -36638. Does 11 divide t?
True
Let a = 415 + -285. Suppose 0 = 9*z - 14*z - a. Let p(n) = -n**3 - 26*n**2 - 7*n - 24. Does 12 divide p(z)?
False
Does 202 divide (1/(-3))/(-15 + (-79346567)/(-5289774))?
True
Does 54 divide 11/44 - (-2 + (-30035)/4)?
False
Let n be 3*2/3 + -2 + 1872. Suppose 13*v - 4*v - n = 0. Is 13 a factor of v?
True
Let t(n) = 20*n + 45. Let u(i) = i**3 + 5*i**2 + 5*i + 10. Let y be u(-4). Is t(y) a multiple of 5?
True
Let b(i) = -55*i + 41. Is b(-8) a multiple of 2?
False
Is (11 + 12 - 14) + 271 a multiple of 35?
True
Suppose -3 - 9 = -6*s. Suppose 0 = -s*f - 0*y + 2*y + 8, y = -4*f + 21. Suppose -v - 3 = 0, -2*u - f*v = -6*u + 215. Is u a multiple of 20?
False
Let k = 5234 - 3834. Is k a multiple of 35?
True
Let n(u) = u**2 + 9*u - 10. Let h be n(-10). Suppose h = -4*y - 3*z + 98, z - 19 = -y + 3*z. Let p(f) = -f**3 + 22*f**2 + 26*f + 1. Is 14 a factor of p(y)?
True
Let u = -49382 - -85502. Is 66 a factor of u?
False
Suppose 0 = -4*t + 2*d + 23442, 0 = -5*d - 26 + 11. Does 27 divide t?
True
Suppose -2*q - 206 - 382 = -s, 5*s - 2940 = -2*q. Is 8 a factor of s?
False
Let l = -104 + 122. Suppose -5*p - 4*n = -31, 7 = -5*p + n + l. Suppose -17 = 5*u - 12, -p*w + 314 = -2*u. Does 13 divide w?
True
Let b = 8118 - 6789. Does 88 divide b?
False
Suppose 3*t - m - 45243 = 0, -t = -0*t - m - 15085. Does 21 divide t?
False
Let i(h) = -17*h + 2. Let x(o) = 5*o - 1. Let j(b) = 6*i(b) + 21*x(b). Suppose -3*d + 2*s + 23 = -23, 0 = -5*d + 4*s + 80. Does 2 divide j(d)?
False
Let o be -12 - 3 - (0 - 4). Let w = o + 13. Suppose 146 = w*c - 2*z, 73 = -2*c - 3*z + 214. Does 18 divide c?
True
Suppose -15*q = -12*q, -3*q = x - 8360. Is 19 a factor of x?
True
Let i = -64 - -70. Suppose 0 = 2*l - 8, -3*y - l + i*l = 2. Let d(n) = -n**2 + 5*n + 16. Does 2 divide d(y)?
True
Let y(d) be the first derivative of 37*d**2 - 29 + 7*d + 3*d + d - 5*d. Is 22 a factor of y(2)?
True
Suppose 10*o - 12 = 4*o. Is 13 a factor of (6/o)/(((-24)/(-572))/6)?
True
Let h = 111 + -248. Let u = h + 213. Is 2 a factor of u?
True
Suppose -3*t = 7*o - 11*o - 610, 0 = 5*t - 4*o - 1022. Let z = -106 + t. Is 20 a factor of z?
True
Suppose -4*f + 1611 = 407. Suppose 5*g = -5*s + 285, -5*s + 4*g - 43 = -f. Is s a multiple of 6?
True
Suppose -c = -t + 6, -2*t + c - 19 = -6*t. Suppose 2*z + 1518 = 4*g, 6*g - t*z - 1135 = 3*g. Does 38 divide g?
True
Let t(v) = v**3 - 12*v**2 + 12. Let f be t(7). Let b = 109 + f. Let c = -41 - b. Is 7 a factor of c?
False
Let w(c) be the second derivative of 13/2*c**2 + 0 + 79/6*c**3 + 37*c. Does 32 divide w(2)?
False
Let w(t) = -t**3 - 8*t**2 + 6*t + 22. Suppose 0 = -7*n + 2*n - 45. Let l be w(n). Suppose 2*m + 3*j = l, -m + 3*j + 30 + 17 = 0. Is 4 a factor of m?
True
Let c be 1 + (0 - -5)/5. Suppose -352 = -c*h - 66. Does 41 divide h?
False
Let p(n) = -2*n**3 + 9. Let r be p(3). Let v = r - -246. Let u = v - 89. Does 7 divide u?
True
Suppose 2*m = 5*d - 97, 3*m - 2 = d - 11. Let h be (-1)/(100/(-318) + 7/d). Let s = h + 161. Is s a multiple of 9?
True
Let j be 27144/48 + (-1)/2. Suppose -j - 284 = -3*m. Does 20 divide m?
False
Let r = 304 - 278. Is 69 a factor of (39/r)/((-3)/(-1784)) - -5?
True
Suppose 1685 = 8*w - 139. Let h be 2/(48/(-27) + 2). Suppose 11*n = h*n + w. Is n a multiple of 38?
True
Let r = 214 - 305. Is (-4)/((-28)/(-35))*r a multiple of 5?
True
Let p(f) = 78*f - 1351. Is p(44) a multiple of 29?
False
Let g be ((-6)/(-1))/(17 - 15). Suppose -3*q = -g*t - 1833, 17*t - 12*t - 2480 = -4*q. Is q a multiple of 41?
True
Let q(f) = f**2 - 6*f - 6. Let k be q(8). Is 166/k - 38/(-95) even?
False
Suppose 0 = -173*q + 85301 + 1196629. Is 5 a factor of q?
True
Suppose -3*x - 5*c = x + 41, 4*c = -20. Let j be 1 + 2 + (-3 - x). Suppose -317 = -0*g - 3*g + j*y, g - 94 = -y. Is 11 a factor of g?
True
Suppose 0 = 246*k - 249340 - 1823456. Is 22 a factor of k?
True
Let s(x) = 4*x - 14. Suppose -2*u = -26 + 2. Let o be s(u). Let a = o + -14. Is a a multiple of 6?
False
Let l(s) = 4*s**2 + 62*s + 446. Does 4 divide l(-17)?
True
Let c = 14143 - 7813. Does 10 divide c?
True
Let h(p) = -p**2 + 24*p - 57. Let n be h(21). Suppose 3*v + 5*t = 441, 11*v - 735 = n*v + 4*t. Is v a multiple of 49?
True
Let q(c) = 2*c**3 - 22*c**2 - 102*c - 82. Is q(17) a multiple of 2?
True
Is 4 a factor of 6/9 + (408/(-54) + 5)*-978?
True
Let a = -29 + 45. Suppose -a = -2*x - 8. Suppose x*b + 3*u - 6*u = 639, 0 = 5*b + 5*u - 755. Does 41 divide b?
False
Let p(v) = -475*v + 483*v + 2 - 1. Let w be p(6). Suppose -5*q + 291 + w = 0. Is q a mu