le of 12?
False
Is 10/(-25) + (-4510)/(-25) a multiple of 18?
True
Let q(b) = 3*b - 12. Let y be q(5). Suppose 4*z - 18 = y*z. Is 18 a factor of z?
True
Let u(l) = -l**3 + 8*l**2 + 6*l + 6. Let r be u(9). Let n = 69 + r. Is n a multiple of 12?
True
Let d = -4 + -15. Let p = 32 - d. Is 25 a factor of p?
False
Suppose 35*s - 19360 = 25*s. Does 16 divide s?
True
Let r = -4 - -3. Let m(z) = -6*z**2 + 18*z - 13*z - 6*z + 35*z**2. Does 15 divide m(r)?
True
Let i be 0*4/(2 - 6). Suppose -n - n = i. Suppose -6*a - 2*w + 138 = -a, 4*a + w - 111 = n. Is 14 a factor of a?
True
Let w be 10/(-16)*-2*4. Suppose -65 = -w*r + 335. Is r a multiple of 16?
True
Suppose 3*p + 6 = 0, 0*z + 5*p + 670 = 5*z. Suppose 0 = -0*v + 2*v - z. Does 21 divide v?
False
Let s(y) = y**3 + 19*y**2 - 3*y + 3. Does 33 divide s(-13)?
True
Let i(z) = 2*z - 2. Let g be i(7). Let o = g + 20. Is 5 a factor of o?
False
Let h = 5 + 19. Let b = 60 - h. Does 36 divide b?
True
Suppose -2*t - 3*t + b + 1560 = 0, -3*b - 1248 = -4*t. Suppose 0 = -7*p + t + 437. Is p a multiple of 17?
False
Let o = 194 - -131. Is 65 a factor of o?
True
Let i = -50 - -54. Is 25 a factor of 81/4*32/i?
False
Suppose -2 = -2*a, -3*k = 3*a - 16 + 4. Suppose -l + n - 37 = -4*l, -k*n = -l - 1. Let t = 27 + l. Is 10 a factor of t?
False
Suppose 2*d + 0*z = 4*z + 6160, 0 = d - 3*z - 3080. Is d a multiple of 21?
False
Suppose 2*x = -4*u + 36, 0*u - 102 = -4*x + 2*u. Is x a multiple of 9?
False
Does 52 divide 5/50*-2 - (-3124)/20?
True
Let d = 2300 - 367. Is d a multiple of 53?
False
Suppose 0*m + 4*m - 24 = 0. Let b be 52/(-6) + (-2)/m. Is (-30)/b + 2/3 a multiple of 2?
True
Suppose -g + 5*y + 17 = 0, 4*g - 44 = -0*g - 4*y. Let f = -2 + g. Is 21 a factor of (84/f)/((-1)/(-5))?
True
Suppose 0 = 2*h - 2*t - 238, -3*t + 7*t = 2*h - 246. Is 5 a factor of h?
True
Suppose t + 54 = c, 4*t + 100 + 112 = 5*c. Let o = 99 + t. Is o a multiple of 13?
False
Let n be ((-762)/24)/(3/(-12)). Suppose 4*g + j = n, 0 = 7*g - 5*g + 3*j - 51. Is 33 a factor of g?
True
Suppose 0 = 5*i - 4*i - 328. Is i a multiple of 25?
False
Suppose 220 = 4*r + r. Suppose 0*g - r = g + 2*l, -l - 184 = 5*g. Does 6 divide ((-2)/6)/(1/g)?
True
Let j be 185/(5 + 3 + -7). Suppose -5*u = -4*k - j, 0*k - k = -5*u + 185. Does 9 divide u?
False
Let r = -13 + 21. Suppose -4*j + r = 4*n, 0*j = 5*n - 2*j + 4. Suppose -d + 20 = -n*d. Is 10 a factor of d?
True
Let w = -265 - -152. Let o = w - -170. Does 4 divide o?
False
Suppose 5*k + 4*j + j - 55 = 0, -2*j - 6 = 0. Is 2 a factor of k?
True
Let o = 995 + -305. Suppose -10*k = -o - 320. Does 11 divide k?
False
Suppose 6*l = -5*v + 5*l + 62, -3*l = -2*v + 35. Does 13 divide v?
True
Let l be -19 + (0 - (-2 + -2)). Let r = 18 + l. Suppose 31 = r*b + 4*g, -2*b - 5*g = -b - 14. Is b a multiple of 7?
False
Let u = -14 + 14. Suppose -6*o + o + 15 = u. Suppose o*d - 2*v - 13 = -0*v, 0 = 2*d - 5*v - 16. Is 3 a factor of d?
True
Let n = -144 + 65. Let o = 183 - 64. Let v = o + n. Does 10 divide v?
True
Let u = 614 - 564. Does 2 divide u?
True
Is 81158/110 + 12/(-15) a multiple of 2?
False
Let s(i) = i**2 + 128 - 128 + 4*i. Let g be s(3). Let q = g + -3. Is 10 a factor of q?
False
Let h(x) = -150*x**2 + 72*x**2 - 32*x - 18 + 76*x**2. Is h(-13) a multiple of 12?
True
Let f(c) = 4*c**2 - 3*c + 524. Let h(x) = -x**2 + x - 175. Let r(w) = -2*f(w) - 7*h(w). Does 22 divide r(0)?
False
Suppose 4*o - 66 = 34. Suppose -6*k + o = -k. Suppose -b - 3*g + 33 = 0, -9*b - 3*g + 114 = -k*b. Does 10 divide b?
False
Suppose -f = 5*m - 1286, -3*f = 5*m - m - 1020. Does 20 divide ((-12)/18)/((-2)/(m - 0))?
False
Let s be (-203)/21 + (-2)/6. Let i = -18 - s. Is 8 a factor of -1*(3 + i) + 3?
True
Suppose -14 = -4*h + 4*m + 14, -m - 5 = 0. Let p(t) = -t + 5. Let r be p(-9). Suppose -h*k = -k - r. Is 7 a factor of k?
True
Let j(x) = -x + 6. Let v be j(3). Let c(o) = o**3 + o**2 - 13*o + 6. Let d be c(4). Let p = d + v. Does 13 divide p?
False
Does 23 divide 6973/38 + (-2)/(-4)?
True
Let p be 2 + 3/(-6)*-2 + 3. Suppose 322 = p*x - 242. Is x a multiple of 47?
True
Let v(d) = -d**3 + 5*d**2 - 6*d + 5. Let w be v(4). Let b = w - -6. Suppose b*c - 2*a - 27 = 104, -4*c + 170 = 2*a. Is c a multiple of 10?
False
Suppose -101 = 4*i + 15. Let x = i + 110. Is x a multiple of 27?
True
Let v = 463 + -267. Does 3 divide v?
False
Let t be (-17 + 19)*6/4. Suppose -t*x + 8*x = 405. Suppose -5*q = m - 3, m + m - 5*q - x = 0. Is 17 a factor of m?
False
Let d(y) = y**2 - 2*y - 17. Let s be d(4). Is 6 a factor of (2 - -1)/s + (-470)/(-6)?
True
Let w(f) = -f - 7. Let o be w(-7). Suppose o = -3*g + 6*g - 180. Suppose -b + 3*b = g. Is 10 a factor of b?
True
Let i = 49 + -21. Is 28 a factor of i?
True
Let a = 39 - 22. Let f = a - -43. Suppose -68 = -4*z + 2*y - y, 0 = -5*z - 5*y + f. Is z a multiple of 6?
False
Let x(b) = -5 - b**2 + 0*b - 6*b + 0 + 2. Let l be x(-5). Does 8 divide 17 + (-4)/8*l?
True
Let p be (-7 + 9)*(-3 + 49). Let j = p - 75. Is j a multiple of 4?
False
Suppose -2*t + t + 242 = 0. Suppose 4*x + t = 2*q, x - 5*q = 32 - 88. Let w = x + 101. Is w a multiple of 10?
True
Suppose 0 = l - 4*i - 1679, 3*i - 1140 = l - 2817. Is 6 a factor of l?
False
Suppose 0 = -5*z - 3*s + 2*s - 58, 0 = 3*z + 4*s + 45. Let a = -8 - z. Is 3 a factor of a?
True
Suppose 2*g - 5*q + 4 = 0, -3*q = -g - 0*g - 3. Suppose -g*w - 4*h = -2*w - 96, 0 = -2*w - h + 171. Suppose 2*s = -0 + w. Is s a multiple of 23?
False
Let u = 55 + -133. Let a = 228 + u. Is a a multiple of 41?
False
Suppose j = 2*j - 2, -3*t + 4*j = -640. Suppose -8*u + t = -5*u. Is 12 a factor of u?
True
Let l(a) = a**2 + 2*a + 5. Let p be l(0). Is 20 a factor of p/((-5)/(-103 - -3))?
True
Let w(u) = 463*u**2 - u - 8. Is w(-3) a multiple of 99?
False
Let c(x) = x**3 + 5*x**2 + 7*x - 3. Let t be c(-6). Suppose h - 3*h = 2*z + 40, 4*h = z - 55. Let a = h - t. Does 22 divide a?
True
Suppose -27 = 5*m + 83. Let u = 50 + m. Is u a multiple of 6?
False
Suppose 947 = 5*m - 2*v - 665, -2*v = -3*m + 968. Does 46 divide m?
True
Let s(i) = -42*i - 9. Let r be s(-4). Let u = 294 - r. Is 15 a factor of u?
True
Let z = -45 - -42. Suppose -4*c - 3*a - 18 = c, 7 = -2*c - a. Does 3 divide (3 - 7 - c)*z?
True
Is 9*(-84)/72*44/(-3) a multiple of 7?
True
Suppose 6*g - 266 = 286. Suppose g = -3*q + 2*y + 711, -2*q + 3*y + 411 = 0. Is q a multiple of 13?
False
Let z(n) = n**3 + n**2 - 11*n + 6. Is z(8) a multiple of 20?
False
Let l be 3/7 + (-108)/(-42). Let s be (-43)/(-3) + (-1)/l. Suppose -2*t - 4*m + 30 = 0, s + 1 = t + m. Is 3 a factor of t?
True
Suppose 4*z - 4124 = 5*d, -9*d = z - 11*d - 1034. Is 57 a factor of z?
True
Let b(t) = -50*t + 85. Is b(-7) a multiple of 3?
True
Let r be ((-2)/5)/(5/(-25)). Suppose 1125 = 7*a - r*a. Suppose 0 = -3*h - 2*h + a. Does 15 divide h?
True
Let q(u) = 5*u**2 + 13*u - 1. Let v(z) = -z**3 + 3*z**2 + 6*z - 14. Let y be v(4). Is q(y) a multiple of 19?
False
Let m = 116 + -163. Is 10 a factor of (-1)/(-3 + (-140)/m)?
False
Let g be (-40)/(-5) - (-6)/(-2). Suppose 4*y = -2*s - 0*y + 272, 3*y + 641 = g*s. Suppose -s = -4*o + 114. Does 24 divide o?
False
Let z(l) = 4*l + 9. Let s be z(-6). Is 22 a factor of (-12 - 21)/(s/6 - -1)?
True
Let z(n) = n**3 + 39*n**2 - 15*n - 4. Is 30 a factor of z(-38)?
True
Let z = 41 + -39. Suppose 164 = 3*a - n - 165, 10 = -z*n. Is a a multiple of 27?
True
Suppose 0 = 3*t + 188 - 71. Let o(b) = -14*b**2 + 17*b - 5. Let a be o(2). Let x = a - t. Does 3 divide x?
True
Suppose 3*v = -c + 515, -1175 = -3*c - 4*v + 360. Is c a multiple of 54?
False
Suppose 2*g - 2*i = 736, 0 = 4*g - 3*i - 912 - 556. Is 7 a factor of g?
True
Is 11070/20*(-56)/(-42) a multiple of 14?
False
Let o be 6/(-9) + (-292)/3. Let x = 139 + o. Suppose -129 = -4*u - x. Is 10 a factor of u?
False
Let y = -28 - -31. Suppose 4*k - y*i - 155 = 0, 4*i + 65 = 2*k + 5*i. Is 4 a factor of k?
False
Suppose -4*b + 432 = 4*z, 3*z + 540 = 8*z + 4*b. Let k = z - 48. Is k a multiple of 5?
True
Let w be 4 + 6 - (-12)/(-4). Suppose 24 = -w*t + 10. Does 2 divide 60/(7 + t) - 1?
False
Suppose -5*w + 5 + 5 = 0. Suppose w*r = 4*r - 40. Is 10 a factor of r?
True
Suppose 7*t + 101 = 10. Let k(x) = x**2 - 7*x - 27. Let m be k(t). Suppose 0 = 2*r - 2*j - 230, -2*r + j = -2*j - m. Is r a multiple of 28?
True
Suppose 2*r + 3*r = 25. Suppose 