**3 + 14*r**2 + 17. Let p be o(-6). Let w = z + p. Is w a multiple of 8?
False
Suppose -421 = -3*u + 2*p, 2*u = -p + 297 - 14. Suppose 3*f - u = 3. Is 26 a factor of f?
False
Suppose -346*n - 58706 = -321*n - 174506. Is 8 a factor of n?
True
Let n(g) = -g**2 - 8*g + 6. Let l be n(-8). Suppose -a + 33 - 31 = 0. Does 11 divide (1 - (2 - a))/(l/204)?
False
Suppose -4 = -10*z + 6*z. Let a be (-9)/3 - (-4 + z). Suppose -2*g + 45 - 3 = a. Is g a multiple of 7?
True
Suppose 51 = q - 4*q. Does 26 divide 32/272 + 1/(q/(-1987))?
False
Suppose 983568 = 66*j - 953532. Is 98 a factor of j?
False
Suppose -8*w - 138 = -10*w. Suppose -5*h = -w - 46. Does 23 divide h?
True
Let m = 360 - 209. Suppose -g + 73 = -m. Is g a multiple of 28?
True
Suppose h - 154 + 42 = 0. Is (45/2)/(6/h) a multiple of 25?
False
Suppose 0*t + 17 = 4*w + 3*t, -14 = -3*w - t. Suppose 10*q - w*a - 2983 = 7*q, 4982 = 5*q + 2*a. Is q a multiple of 15?
False
Let o(g) = -2*g**2 + 238*g + 1017. Is o(100) a multiple of 17?
False
Let g(n) = -n**2 - 10*n + 16. Let h be g(-11). Suppose 4722 = h*r + r. Suppose r = 10*m - 563. Is m a multiple of 24?
False
Let b = 1 - -40. Let c = -40 + b. Let o = 30 - c. Is o a multiple of 29?
True
Suppose -5*l + 2*n + 110875 = -11744, 0 = l - 2*n - 24519. Does 15 divide l?
True
Suppose -3045 = -j + 4*a, -3*a = 13*j - 9*j - 12294. Does 99 divide j?
True
Suppose 0 = -4*q + a + 217534, 3*a + 54378 = -236*q + 237*q. Is q a multiple of 66?
True
Suppose 4*c + 1571 = -45*l + 46*l, -7855 = -5*l - 4*c. Does 42 divide l?
False
Suppose -9*a + 715 = -4*g - 14*a, g = -3*a - 170. Let f = 495 + g. Is f a multiple of 31?
True
Let c = 14984 - -3937. Does 53 divide c?
True
Let b(q) = -q. Let y be b(-3). Suppose y*c + 616 = 25*c. Is 7 a factor of c?
True
Let r(l) = -33*l**2 - 1228*l - 94. Does 146 divide r(-22)?
True
Let j(i) = -7*i**3 - 6*i**2 - 25*i - 18. Let a(h) = 20*h**3 + 19*h**2 + 73*h + 55. Let t(v) = 6*a(v) + 17*j(v). Is 92 a factor of t(-7)?
False
Suppose x = -5*q - 5, 3*q + 2 = -4*x - 18. Suppose 0 = -0*l - 4*l + 12. Does 31 divide q - -1*(l - -59)?
True
Does 97 divide (18 + 6 + -14 - -2)*2037/2?
True
Suppose 0 = -i - 3*t + 14 + 9, 5*t - 9 = 2*i. Suppose 0 = -i*y + 349 + 2067. Does 39 divide y?
False
Let s(w) = 137*w**3 + 32*w - 61. Does 95 divide s(4)?
True
Let n = -46 - -67. Let u = 21 - n. Suppose 5*d - 366 = -3*l, u = d - 6*d - 4*l + 368. Is d a multiple of 18?
True
Let r = 1051 + -475. Suppose -7*m = -404 - r. Is m a multiple of 10?
True
Suppose -3*f = 8 - 23. Let n be 9/f*153 + 14/(-35). Let c = 401 - n. Is c a multiple of 20?
False
Suppose -6 = -2*l - 5*j + 3*j, 0 = -2*j - 4. Let y(n) = -18*n + 296. Let c be y(0). Suppose 5*f - 478 = -l*t + 6*t, -3*f - 4*t = -c. Does 13 divide f?
False
Let u(t) = -t - 2. Let p(i) = 2*i**3 - 12*i + 23. Let g(a) = p(a) - 3*u(a). Is g(5) even?
True
Let c be (-1204578)/63 - 3/(-42)*4. Does 7 divide 10/115 - c/184?
False
Let q be 5*((-24)/(-20) + 0). Is ((-1174)/q + 1)/(214/(-321)) a multiple of 63?
False
Suppose 5*b + 56 = -279. Let o = 161 + b. Suppose -5*f - 90 = -2*d, 3*d + f - 58 = o. Is d a multiple of 6?
False
Suppose 3*b = -5*v + 32, -4*v - 27 = -4*b + 5. Is 12 a factor of 326*3/b*3/2?
False
Is 94 a factor of ((-3)/(2*(-9)/8))/((-31)/(-43710))?
True
Let w be (-4)/3 - 14353/(-93). Suppose -w = 4*s - 385. Is 9 a factor of s?
False
Let o = -32156 - -35567. Does 25 divide o?
False
Let x(f) = f - 9. Let y be x(12). Suppose q - y*z + 43 = 0, 7*q - 3*z = 2*q - 155. Let u = q - -115. Is 27 a factor of u?
False
Suppose 24*v + 24 = 25*v. Suppose 2*x - 2*j = 94, x - 38 - v = -2*j. Does 4 divide x?
True
Let p(y) = 2*y - 1. Let t be p(8). Suppose t = 4*z + z. Suppose -z*h + 33 + 57 = 0. Is h a multiple of 6?
True
Let c = -5864 + 10408. Is 16 a factor of c?
True
Let p(t) be the first derivative of -t**2 + 13*t - 9. Let u be p(4). Let a = u + 35. Does 20 divide a?
True
Suppose 5*f = -f + 37427 + 42835. Is f a multiple of 21?
True
Let x = 4591 + 666. Is 13 a factor of x?
False
Suppose 0 = -13*t + 4*t - 2988. Let y = -56 - t. Is y a multiple of 65?
False
Let u(r) = -r**3 + 4*r**2 + 4*r + 5. Let p be u(5). Suppose -3*q + 881 = -q + 343. Suppose -2*h + 0*h = -5*s + 447, p = 3*s - 2*h - q. Is 13 a factor of s?
False
Suppose -4*w + 3*i = -39, -3*w - 4*i + 2 + 21 = 0. Suppose -3*v - w = 0, -z + 10*v = 9*v - 2. Is 36 a factor of -1 - (z/(-3) - (-2624)/(-24))?
True
Let x be (603/(-3))/(-3) + -3. Suppose 35 = 2*z - 103. Let g = z - x. Is g a multiple of 5?
True
Suppose 4*j - 3*m = 32542, 3*m = 2*j - 16103 - 159. Does 132 divide j?
False
Suppose -4*w - 28931 = -7*w - 5*j, -4*w + 38580 = 4*j. Is 13 a factor of w?
False
Is (53 - -2310) + 8*1 a multiple of 7?
False
Let i = 15 + -18. Let f(z) = -z**3 - 3*z**2 - z + 2. Let a be f(i). Suppose o - 129 = -o - a*u, 0 = 2*u + 10. Is 11 a factor of o?
True
Suppose -19*w - 25*w + 176 = 0. Let m(b) = 466*b - 41. Is m(w) a multiple of 49?
False
Suppose 43*d - 5*l = 38*d + 1095, 0 = -4*l + 20. Suppose -3*m + 7*y = 9*y - 170, 4*m + 2*y = d. Does 27 divide m?
True
Let g(k) = 69*k - 1011. Does 13 divide g(32)?
False
Let t(x) = 166*x**3 + 2*x**2 - 3*x + 2. Let s be t(1). Suppose 1125 = k + s. Is k a multiple of 55?
False
Let k = -239 + -151. Let i = k + 763. Does 21 divide i?
False
Let q(m) = 74*m**3 + 52*m**2 - 124*m + 6. Is q(3) a multiple of 15?
True
Let h be ((-324)/8)/(1/2). Let p = h + 234. Is p a multiple of 62?
False
Suppose 2*x - 4*m = 3*x + 4, 4*m = -4. Let d(k) = -7*k - 31. Let z(y) = 10*y + 30. Let t(l) = -6*d(l) - 4*z(l). Is t(x) a multiple of 11?
True
Is (3/5 - (7 + 37/(-5))) + 4273 a multiple of 58?
False
Let a = 66931 - 44254. Does 82 divide a?
False
Let x = 583 - 324. Let n = x + -82. Let t = n - -4. Is 27 a factor of t?
False
Suppose 18655 = -354*k + 361*k. Let o = k + -1720. Does 21 divide o?
True
Let i(q) = 32 - 27 - 47 - 81*q. Is i(-3) a multiple of 3?
True
Let i = -10496 - -17584. Does 61 divide i?
False
Let q be 20/16 + 982/8. Suppose -b - q = 4*c, c + 2*c + 74 = 4*b. Is (3 - (-7818)/90) + (-4)/c a multiple of 6?
True
Suppose 26 = -3*j + 5, -6*u = -3*j - 2223. Let c be ((-657)/(-12))/((-2)/8). Let n = c + u. Is n a multiple of 37?
True
Suppose 4*g - 2*g = 30. Suppose g = -3*s - 9. Let z = 51 + s. Does 8 divide z?
False
Suppose 4*o - 33*k + 35*k = 34844, -4*o - 3*k = -34842. Does 44 divide o?
True
Let f be ((-830)/(-581))/((-4)/(-14)). Is 30 a factor of (-199)/f*-2*(41 + -26)?
False
Let m(y) = 22*y**2 - 6*y + 6. Suppose -4 = -5*n + 21. Let s be m(n). Suppose -9*j + 5 = -s. Does 8 divide j?
False
Let i(p) = 16*p - 328. Let l(n) = 15*n - 330. Let w(m) = 3*i(m) - 2*l(m). Is w(41) a multiple of 29?
False
Let n(p) = 95*p + 4515. Does 4 divide n(38)?
False
Let q(t) = t**3 + 26*t**2 + 15*t - 91. Let w be q(-22). Let d = 2127 - w. Is 11 a factor of d?
False
Let m(w) = -w**3 + 21*w**2 - 34*w + 64. Let c be m(21). Let y = -391 - c. Is y a multiple of 48?
False
Let m(b) = -970*b + 34. Is m(-2) a multiple of 146?
False
Suppose 155*s - 7631314 = -1949014. Is 12 a factor of s?
True
Let t(x) = x**3 + 3*x**2 + 2*x + 11. Let i(b) = b**3 + 4*b**2 + 3*b + 12. Let l(s) = 2*i(s) - 3*t(s). Let r be l(0). Does 21 divide (-2 - 777/r) + (-1)/3?
True
Suppose -4*t = -6*t - 8. Let x(p) = -p**3 - 3*p**2 - p - 6. Let k be x(t). Suppose -19*d + k*d + 430 = 0. Is d a multiple of 22?
False
Suppose -10010*f + 10045*f = 328440. Does 12 divide f?
True
Let k(b) be the second derivative of 2*b**5/5 - b**4/12 - b**3/3 - b**2/2 + 22*b. Let j be k(-1). Let m = j + 56. Is 11 a factor of m?
False
Let j(l) = 12*l - 222. Let y be j(38). Let u = 441 + y. Is u a multiple of 12?
False
Let q be (6087 - 1) + -5 + 6 + -6. Suppose 11*n - q + 306 = 0. Is 60 a factor of n?
False
Suppose -2668 = -2*m - 5*c, 3*m + 0*m - 3*c = 3960. Is 18 a factor of m/8 + 3/2?
False
Let n(w) = -227*w - w**3 + 309*w - w**2 - 33 + 31*w**2 + 7. Does 55 divide n(32)?
True
Let l(j) = -5*j - 28. Let p be -4*3*8/12. Let t be l(p). Suppose -t*q + 11*q + 133 = 0. Does 19 divide q?
True
Is 136 a factor of 3/2*2/4 + 116706/8?
False
Let w = 20 - 9. Suppose -3*f = y - w, 2*y + 1 = 2*f - 1. Suppose 5*k - 4*i - 102 = 0, 5*k + y*i - 84 = -0*k. Does 18 divide k?
True
Let f be (-2 - 0) + -25 + 27. Let w(u) = -2*u**3 + u**2 + u + 24. Is 6 a factor of w(f)?
True
Let y = -21303 + 24735. 