4317 = 0. Is a a multiple of 9?
True
Suppose 0 = 3*g - 5*h - 1053, -g = -2*h - 260 - 91. Is g a multiple of 10?
False
Let c = 10 + 108. Suppose l - 7 + 4 = 0. Suppose -l*g = k - 12 - 103, 4*k - c = -3*g. Is 10 a factor of g?
False
Let c(n) = 10*n**2 + 2*n. Let g be c(-6). Suppose 4*v - g = 5*v. Does 30 divide (v/(-9))/((-1)/(-3))?
False
Suppose 3*x - 1863 = 183. Is x a multiple of 11?
True
Let y = 87 + -79. Suppose 0*h + 1984 = y*h. Does 31 divide h?
True
Let d = -68 + 106. Let p = d + 35. Does 18 divide p?
False
Suppose -48 = 2*t + o, -o = 4*t + 120 - 24. Let b = -12 - t. Is 4 a factor of b?
True
Let z be (-506)/(-121) - (8/22)/2. Suppose z*u + 258 = 5*g - 3*g, 4*g + 2*u = 496. Is 25 a factor of g?
True
Let i(y) = -2*y**3 - 21*y**2 - 12*y - 15. Let h be i(-10). Suppose -3*m = h*j - 1317, 5*j - m - 1321 = -0*m. Does 25 divide j?
False
Let g = -17 - -29. Suppose -4*a + a = g. Is 9 a factor of ((-18)/4)/(a/16)?
True
Let t(g) = -18*g + 14. Let q be t(-7). Suppose -5*p - 42 + 277 = 3*a, 0 = 2*a - 5*p - q. Does 19 divide a?
False
Suppose j + 436 = h - 137, 3*h + 5*j = 1679. Suppose 5*i = -2*x - 62 + 316, 4*x = 5*i + h. Let b = x - 22. Is 23 a factor of b?
True
Let g(h) = h**3 + 15*h**2. Let o be g(-15). Suppose -22 = -o*s - s. Is 11 a factor of s?
True
Let v be (3*(-2)/(-18))/(2/4152). Let j = -453 + v. Does 13 divide j?
False
Let t(f) = -131*f**2 - 3*f - 3. Let n be t(-3). Is (-3)/(-5)*-1 + n/(-5) a multiple of 13?
True
Let w(v) be the third derivative of v**6/360 - v**4/6 - v**3 - 4*v**2. Let z(l) be the first derivative of w(l). Does 20 divide z(-8)?
True
Is 20 a factor of 13402/10 - (-58)/(-290)?
True
Suppose 461 = i - 97*j + 94*j, 0 = -2*i - 2*j + 946. Is 16 a factor of i?
False
Let o = 2 - 2. Suppose -5*m + 1103 = -3*y, y = 3*m - o*y - 665. Let q = -151 + m. Is 24 a factor of q?
True
Let h be (2/5)/(8/40). Suppose h*p - 5*p = o - 10, -3*p + 4*o = -5. Is p even?
False
Let n(p) = -p**3 - 19*p**2 - 38*p + 26. Suppose 5*q = -0*u + 4*u + 73, 0 = 4*u + 3*q + 65. Does 13 divide n(u)?
False
Is 139 a factor of -556*(-8)/(-48)*-21?
True
Let k(p) = -p**3 + 32*p**2 + 2*p - 29. Is 7 a factor of k(32)?
True
Let y(x) = -x - 8. Suppose 2*k - 2 = l + 5, -3*k + 35 = -5*l. Let a be y(l). Let j(c) = 10*c**2 + c + 1. Is j(a) a multiple of 5?
True
Let q(u) = u**3 - 7*u**2 + 9*u - 5. Let o be q(6). Suppose -o = -5*t + 12. Suppose -3*s + 5*z + 11 = 0, -s + t*z - 3 = 10. Is s a multiple of 9?
False
Suppose 5*y = -5*c + 2950, 1051 = 5*y - 3*c - 1931. Does 27 divide y?
True
Let u(i) = 2*i**3 - 4*i**2 - 4*i - 4. Let x be u(4). Suppose 2*q - x = 304. Does 29 divide q?
True
Let i(p) = -p + 68. Let g(t) = -t**2 + 6*t - 8. Let x be g(4). Is 17 a factor of i(x)?
True
Let v(a) be the second derivative of -a**4/12 - a**3/6 - 297*a**2/2 - 4*a. Let g be v(0). Does 19 divide g/(-6) + (-1)/(-2)?
False
Let d be (-5)/(-5)*(2 - 3). Let j = 8 + d. Suppose 14*m - 392 = j*m. Does 14 divide m?
True
Let s be ((-35)/25 - (-6)/15) + -5. Let c be (-18)/1*(-4)/6. Let d = c + s. Is d a multiple of 2?
True
Let a(i) = -71 + 99 - 2*i**3 + 3*i**3 - 2*i - 12*i**2. Is a(12) a multiple of 2?
True
Let s = 37 - -18. Let c = 191 - s. Is c a multiple of 15?
False
Suppose -v - 318 - 250 = -5*m, m = -4*v + 101. Suppose 6*y + m = 1403. Is 24 a factor of y?
False
Suppose -s - 8 = -5*s. Suppose -s*j + 8 = -20. Suppose -2*x + 48 = j. Does 5 divide x?
False
Suppose 7*f = 11 + 17. Does 33 divide -1*(-66)/12*(2 + f)?
True
Suppose -3*l = -g + 1, l + 5*g = -0 - 11. Is l*(-1 - 86) - 2 a multiple of 13?
False
Let g(t) = 2*t**3 + 10*t**2 - 14*t - 7. Let z be g(-6). Suppose 13*s - z*s = 432. Is 18 a factor of s?
True
Let m(w) = 64*w**2 - 28*w + 142. Does 35 divide m(6)?
False
Let g(d) = -d**3 - d**2 - d + 45. Does 15 divide g(0)?
True
Let t = -1066 - -1488. Does 7 divide t?
False
Let y be 12*(-6)/27*-114. Suppose 0*f - f = -y. Suppose -4*h = 0, -4*h = -5*j + j + f. Does 23 divide j?
False
Let x(i) = -13*i - 4. Let j = 36 + -49. Does 29 divide x(j)?
False
Let h be (-20)/3*240/(-32). Suppose 51*f = h*f + 171. Is 19 a factor of f?
True
Let h be ((10/3)/(-5))/(2/9). Is 10 a factor of ((-300)/40)/(h/8)?
True
Suppose -3*o = 3*n - 6123, -4*o = -5*n + 291 + 9959. Does 66 divide n?
True
Let y(o) = 15*o + 6. Let c be y(-5). Let l be -1*(-3 + (-245)/7). Let j = l - c. Does 22 divide j?
False
Suppose -2*p + 341 + 489 = 0. Suppose -7*a - p = -2*a. Let q = -51 - a. Does 16 divide q?
True
Suppose 11 - 7 = t. Suppose 46 = w - t*x, -x = 1 + 1. Does 38 divide w?
True
Let n(k) = 124*k - 280. Let i(z) = 19*z - 43. Let h(f) = -32*i(f) + 5*n(f). Is h(12) a multiple of 30?
True
Is 13 a factor of (162*-2 - 3)/((-3)/3)?
False
Suppose -5*s + 0*s = -3*f + 386, 3*f + 374 = -5*s. Let z = 110 + s. Is z a multiple of 17?
True
Suppose g - 1197 = 4*t, -2*t - 242 = -g + 955. Is 9 a factor of g?
True
Let o(a) = a**2 + 21*a - 244. Is o(31) a multiple of 14?
False
Let x(y) be the first derivative of y**2/2 + 14*y - 12. Let g be -3*(-2)/18*24. Is 5 a factor of x(g)?
False
Suppose -24*u = -17*u - 1694. Is u a multiple of 22?
True
Let f = 19 + -13. Let o be (-1 + 0)*(-1 - f). Suppose 23*c - 24*c = -o. Is c a multiple of 4?
False
Suppose n + 3*z + 2*z = 101, 2*z = 4. Let h(s) = -s + 13. Let g be h(9). Suppose -83 = -3*a - 5*l, a = g*a + l - n. Does 22 divide a?
False
Let i(c) = -c**3 + 19*c**2 - 2*c + 43. Let m be i(19). Suppose w - m*s - 141 - 54 = 0, 2*s = -8. Is w a multiple of 35?
True
Let v be 3 - (1 + 0)*-2. Let q(u) = -9*u + 6. Let z be q(v). Let k = z - -58. Does 11 divide k?
False
Let r = 1217 + -797. Is 12 a factor of r?
True
Let k = 34 + -34. Suppose -5*a + 125 = -2*d, k*a - 28 = -a + d. Is a a multiple of 6?
False
Suppose -4*m - 5*o + 572 = -2*o, 0 = 3*m - 3*o - 408. Is 35 a factor of m?
True
Let y(o) = -o**3 + 11*o**2 + 2*o. Suppose 52 = 5*s + 7. Is 36 a factor of y(s)?
True
Let z be 12/(-40)*-6*5. Suppose -6*t = -z*t. Suppose t = -4*f - i + 33, -2*i + 12 + 5 = f. Does 7 divide f?
True
Let b = -118 + 46. Let w = b - 15. Let t = 143 + w. Is 14 a factor of t?
True
Suppose 14*j - 352 = 10008. Does 10 divide j?
True
Suppose 3*i = 305 + 142. Let u = -83 + i. Let b = -47 + u. Is 7 a factor of b?
False
Let v be ((225/(-4))/3)/(60/(-160)). Suppose -2*u - 4 = -v. Is 10 a factor of u?
False
Is (-1633400)/(-1650) - (-2)/33 a multiple of 12?
False
Suppose 0*a = -3*a + 6. Let x = -120 + 116. Does 11 divide (-96)/(a + x) - -3?
False
Suppose -12 = -0*a - 3*a. Suppose -5*v = -15, -a*g + 200 = -0*v + 4*v. Is 3 a factor of g?
False
Suppose 2*d - 3*a - 2195 = 0, 2*a + 1096 = d - 0*d. Is 29 a factor of d?
True
Let k be 9/12 - 2/(-8). Suppose q = 3*j - 9 + k, -4*q = 5*j + 49. Let g(v) = v**2 + 11*v + 5. Is g(q) a multiple of 2?
False
Suppose 3*x - 4*l - 10 = 2, 3 = 2*x - l. Suppose -5*h - 2*f = -14, 15 + x = 3*h - f. Does 11 divide 11/((-4)/h - -2)?
True
Let c = 1760 - 626. Is c a multiple of 11?
False
Suppose -47 = -3*y + 2*a - 6*a, 0 = -y - a + 14. Let c be y/(81/6)*15. Let l = c + 6. Is 4 a factor of l?
True
Suppose -2*t + 8 = -t. Suppose -4*x + t = -2*x. Suppose -x*h + h = -18. Is h a multiple of 2?
True
Let b(w) be the third derivative of 43*w**5/60 + 14*w**2. Is b(-2) a multiple of 43?
True
Let x = 34 - -94. Does 8 divide x?
True
Let x be 1*-3 - (-8 + 5). Suppose r + 4*r - 250 = x. Is r a multiple of 13?
False
Suppose 58 = -u + 2*q - 5*q, 3*u + 2*q + 153 = 0. Let p = -27 - u. Is p a multiple of 11?
True
Suppose 11*s - 6*s - 40 = 5*u, -2 = 2*s + 4*u. Let l = 0 - -2. Suppose -s*d - 2*f = -3*f - 65, -l*d + 2*f + 26 = 0. Does 13 divide d?
True
Let p(g) = g**3 - 4*g**2 - g - 6. Let n be p(6). Suppose 2*d - n = 66. Suppose b + 2*u - d = 0, 2*b + 4*u = b + 63. Is b a multiple of 17?
False
Suppose 0 = -2*b + 2*u - 340 + 2058, 8 = -2*u. Is b a multiple of 15?
True
Let z(u) = u**3 + 10*u**2 + 9*u + 8. Let w be z(-9). Suppose 3*y - w - 4 = 0. Does 7 divide (y/(-6))/((-12)/126)?
True
Let f(v) = 3*v - 6. Let r be f(-6). Let l be (r/(-4))/((-4)/10). Does 10 divide (-18)/l*100/12?
True
Let k(s) = -7*s - 4*s**3 + 6*s + 5*s**3. Let f be k(1). Does 15 divide (-9)/(3 - f) - -39?
False
Let w be ((-9)/2)/((-3)/8). Suppose 2*g - w = -3*h, g + 3 = 3*h - 9. Suppose 4*u = -i + 354 - 45, g = 3*u - 3*i - 228. Is u a multiple of 32?
False
Let u(m) = -m**3 - 2*m**2 - 2*m - 1. Let i = 