a(j). Suppose -g*n + 102 = -n - 3*i, 0 = -4*i - 8. Is n a multiple of 21?
False
Suppose 0 = 4*x - 7*x. Suppose 0 = 2*g + 2*f - 80 - 34, g - f - 63 = x. Suppose -25 = -o + g. Does 17 divide o?
True
Let y(o) = -o**2 + 35*o + 65. Let n be y(39). Let b = n - -552. Is b a multiple of 16?
False
Let a = 78227 + -18371. Is 12 a factor of a?
True
Let h = -11608 - -22981. Is h a multiple of 25?
False
Is 1408 + (-70)/(10/2) a multiple of 34?
True
Suppose 3*a - 3 = 0, z + 3*a - 7*a = 134. Suppose 669 + z = 2*b + g, -5*b + 1980 = -5*g. Is b a multiple of 44?
False
Suppose 0 = -6*u + 5*u - 3. Let s(g) = 19*g + 70. Is 2 a factor of s(u)?
False
Let g = 108 - 20. Let c = g + 297. Is c a multiple of 47?
False
Let b(s) = -285*s - 14 + 14 + 51*s. Let m be b(-9). Does 13 divide m/(-36)*4/(-3)?
True
Let h = 126 + -126. Let m = -8 + h. Let p = 3 - m. Is p a multiple of 11?
True
Let h(p) = -15*p**3 + 12*p**2 - 25*p - 79. Let i(o) = 8*o**3 - 7*o**2 + 13*o + 40. Let d(q) = 6*h(q) + 11*i(q). Is d(-7) a multiple of 19?
True
Let k be (-3 - 9/(-3))/(-4). Let z be -384*((-6)/4 - k). Suppose -n = 3*n - z. Does 24 divide n?
True
Suppose -4*f + 4540 = -236. Suppose -117*o - f = -120*o. Is o a multiple of 27?
False
Suppose 2*q = -5*u + 9671, 2*q - 12812 = -u - 3153. Is 68 a factor of q?
True
Let r = 47 - 43. Suppose 2*h = -z + 54, 8*z - 3*z + r*h = 276. Let u = z + 124. Is 30 a factor of u?
True
Suppose -5*o - 4*j - 257 - 121 = 0, 4*j = 5*o + 402. Let a = o - -89. Suppose 0 = a*d - 18*d + 826. Is d a multiple of 18?
False
Let f(m) = 4*m**2 - m - 759. Is f(-39) a multiple of 32?
False
Let p(z) = -6*z + 3. Let u be p(1). Let g(f) = 25*f + 10. Let l be g(u). Let v = 100 + l. Does 7 divide v?
True
Does 10 divide (-150)/(120/12) + 2934?
False
Let a = 11078 - 7762. Is a a multiple of 132?
False
Suppose 3*d = 4*j - 3*j - 4735, 5*j + d = 23691. Does 39 divide j?
False
Let m(x) = x**3 + 12*x**2 - 10*x - 15. Suppose z - 1 = -0*w - 2*w, -3*z - 2*w - 13 = 0. Does 4 divide m(z)?
True
Let u(l) = -4*l - 24. Let f be 4/20 + 0 + 462/(-10). Let x = f - -32. Is 8 a factor of u(x)?
True
Suppose -3 = 3*s, -4*s - 2268 - 1696 = -3*h. Is h a multiple of 20?
True
Does 22 divide ((-315)/(-63) - 29293/(-15)) + 2/15?
True
Let g(i) = 587 + 580 + 19*i**2 + 4*i - 1144 - i**3. Is g(19) a multiple of 9?
True
Let m = 14808 + -7188. Is m a multiple of 10?
True
Let o(v) = -7932*v + 2109. Is 15 a factor of o(-3)?
True
Suppose 24*a - 31*a - 980 = 0. Let d = -143 - a. Does 13 divide (33/6)/(d*3/(-234))?
True
Let t(u) = u**3 + 14*u**2 - 7*u - 19. Is 5 a factor of t(-12)?
False
Suppose -17*z + 95 + 75 = 0. Let s(v) = 6*v - 38. Let u be s(z). Suppose -26*a + u*a = -144. Does 3 divide a?
True
Let x(l) = -7*l + 15. Let m(g) = 8*g - 14. Let p(o) = -3*m(o) - 4*x(o). Let h be p(5). Suppose -3*k + 68 = -4*y, 2*k - h*y - 58 = -k. Does 4 divide k?
True
Let u(b) = -13*b**2 - 1005*b + 94. Is u(-72) a multiple of 55?
False
Let u = 367 - 362. Suppose -u*i - 8 - 2 = 0, 3*w - 457 = -i. Does 17 divide w?
True
Let x be 1/((-8)/(-6)) + (-13252)/(-16). Suppose 4*h = 5*w - 103 + x, 5*w = -2*h + 378. Suppose 52 + h = 5*n + 4*p, -2*n + 95 = p. Is n a multiple of 16?
True
Suppose l = -3*b + 419, 9*b = 6*b - 2*l + 418. Suppose 404 - b = 4*d. Is d a multiple of 11?
True
Is 153/34 - 5685/(-10) a multiple of 46?
False
Let j(v) = -2*v - 1. Let h(o) = 8*o - 49. Let q(f) = -h(f) + 6*j(f). Is 32 a factor of q(-3)?
False
Let p be 4 - 2 - (-4)/(20/435). Suppose -5*h + 3*j + 59 = -28, -j - p = -5*h. Is 10 - 9/(h/4) a multiple of 4?
True
Does 89 divide (-772452)/(-5289) + (-2)/41?
False
Let h(j) be the third derivative of 19*j**4/24 + 67*j**3/6 + 40*j**2. Does 11 divide h(14)?
False
Is 390/26*-2*(-1)/((-2)/(-72)) a multiple of 18?
True
Let l(g) = -g**3 + 10*g**2 - 11*g + 15. Let u(k) = -k**3 + 11*k**2 - 11*k + 15. Let d(f) = -4*l(f) + 5*u(f). Does 10 divide d(13)?
True
Let k = 2562 + -453. Suppose -23*c + 8632 = -k. Is c a multiple of 28?
False
Suppose 2*q + r = -246, 5*q = 2*r - 0*r - 615. Let k(h) = 14*h**2 - 2*h - 5. Let d be k(-4). Let p = d + q. Is 13 a factor of p?
True
Suppose 15*j - 21 = 39. Is 1/(j/2768) - -8 a multiple of 5?
True
Suppose 0 = 7*f + 106*f - 494036. Is f a multiple of 105?
False
Let a(l) = 8*l**2 - 6*l + 9. Let u be (6/4)/(-3)*(-20 - -22). Let j be 1*((-6)/1)/(u + -1). Does 7 divide a(j)?
True
Suppose 5*i - c = 10, -5*c - 7 = -5*i + 3. Suppose -20 = 5*p - 5*w, 4*p - 6*p - 3*w + 2 = 0. Does 27 divide (-11 - (p + -5))/(i/(-27))?
True
Let a(m) = m**3 + 57*m**2 - 487*m + 231. Is 21 a factor of a(-63)?
True
Let b(u) = -2*u**2 - 19*u - 6. Let a be b(-9). Suppose a*g - 411 = -6. Is g a multiple of 5?
True
Let g(r) = 672*r**2 + 7*r - 57. Does 9 divide g(3)?
True
Let h = -93 + 117. Let n be (6/(-9))/(76/h - 3). Does 11 divide 67 + (-12)/(-8)*n/(-3)?
False
Suppose 13*s + 6257 = 15*s - t, 5*s + 3*t = 15648. Is s a multiple of 7?
True
Suppose -3*i - 18 = -3*k + i, 5*k - 2*i - 16 = 0. Suppose -4*h + 52 = k*d - 3*h, 12 = -3*h. Is d a multiple of 4?
True
Suppose o - 242 = -2*c, -o - 91 = -4*c + 405. Suppose -118*w = -c*w + 1770. Does 36 divide w?
False
Let q be -3 - (-22 + (-2 - -6)). Suppose -5*v = -2*l + 638, 16*l = q*l - 5*v + 334. Is 36 a factor of l?
True
Let i = 9414 - 5552. Does 13 divide i?
False
Let j be 1*18 + (-5)/(-2 - 3). Suppose j*d - 17*d - 8 = 0. Suppose 0 = -d*a + t + 195, -3*a - 3*t + 232 - 67 = 0. Is a a multiple of 25?
True
Let p = 39 + -45. Let w(y) = y**2 + 5*y - 1. Let q be w(p). Does 2 divide q/5 - 52/(-4)?
True
Let q = 2003 - 1409. Suppose 198 - q = -12*f. Does 33 divide f?
True
Suppose 41675 = 3*h - 3*d + 2324, 0 = -3*h + 4*d + 39348. Suppose 32*t = 16*t + h. Does 41 divide t?
True
Let d be 6/(36/258) + 2. Suppose -3*y - d = -1206. Is y a multiple of 16?
False
Let b(k) = -k**2 + 22*k + 288. Let l be b(31). Suppose -3*o = 3*s - 2247, 0 = -l*o + 5*o + s + 2996. Does 7 divide o?
True
Let w = 20 + -29. Let h(l) = l**2 + 9*l - 3. Let x be h(w). Is ((-152)/32)/(x/12) a multiple of 19?
True
Let s(p) be the first derivative of p**4/4 - 10*p**3/3 - 7*p**2/2 - 24*p - 45. Does 6 divide s(12)?
True
Does 24 divide (20/(-24))/((-30)/(-24))*25488/(-2)?
True
Let u = 33408 + -31681. Does 11 divide u?
True
Suppose 0 = -4*g + 5 + 3. Suppose g*t + 4*v = -4, 3*v = 4*t + 5*v - 10. Is 2 a factor of t?
True
Is ((32/40)/((-4)/(-10)))/((-46)/(-110998)) a multiple of 135?
False
Suppose -3*r = -5*r + 14. Suppose r = 5*q - 3*t, q + 1 = -3*t + 6. Suppose l - 3*d = 84, -74 = -l + 3*d + q*d. Is l a multiple of 12?
False
Let n = -44 + 49. Suppose -2*x + 9 + 1 = -n*d, 19 = x + d. Suppose -2 = x*j - 16*j. Does 2 divide j?
True
Let u(h) = -9*h**2 - 28*h + 51. Let q(d) = -4*d**2 - 14*d + 25. Let g(y) = -5*q(y) + 2*u(y). Is g(7) a multiple of 2?
False
Let z = -177 + 167. Does 18 divide 2/(-10) - 1622/z?
True
Let p(w) = w**3 + 18*w**2 - 17*w - 5. Let f be p(-18). Let k be (2 + -1)/(7/f). Let v = -13 + k. Is 9 a factor of v?
False
Suppose -2*l = -4*m - 34, -20*m = 2*l - 21*m - 31. Does 20 divide (-464)/(l/(105/(-14)))?
False
Let a(i) = 8*i**2 + 148*i + 200. Does 8 divide a(-28)?
True
Let u = -22 - -24. Suppose 0 = -5*n + u*k + k + 181, 61 = 2*n - 5*k. Let x = -20 + n. Does 9 divide x?
True
Let s = 10538 - 7006. Does 18 divide s?
False
Let h(n) = 21*n - 92. Let m be h(4). Is 31 a factor of 2*142/(-8)*(m + -26)?
False
Let l(u) = -4*u**3 - 3*u**2 - u + 3. Suppose 3*m = -h - 2*m - 12, 0 = 2*m + 4. Does 12 divide l(h)?
False
Let p(u) = -18*u - 27. Let h(a) = a**2 - 30*a + 73. Let c be h(27). Does 3 divide p(c)?
True
Suppose -5*a + 27 + 113 = 0. Suppose 3*y + 3*q + a = 4*y, -q = 3*y - 54. Suppose -10*l - 369 = -y*l. Is 2 a factor of l?
False
Suppose -12*v - 9*q + 11*q = -4902, -2*v + 4*q = -806. Does 107 divide v?
False
Let q be 5*15/125 + (-194)/(-10). Let k = 356 - q. Is k a multiple of 12?
True
Let z be (29*-1)/((-1)/(-3)*-1). Does 29 divide (-5 - -2)/(-9*1/z)?
True
Suppose -486*b + 450*b = -122364. Is 33 a factor of b?
True
Let b be 12 + -13 - (1 + 1472)/(-3). Let r = 1010 - b. Is r a multiple of 65?
True
Let o(b) be the second derivative of 5*b**3/6 + 52*b**2 + b + 1. Is o(-7) a multiple of 35?
False
Let t(p) = 296*p**2 + 4*p - 3. Let x be t(1). Let j = 464 - x. Does 28 divide j?
False
Suppose 0 = -2*t - 4, 4 = -4*g - t - t. Let l = -74 - -75. Suppose g