c - -5. Does 6 divide o?
False
Suppose -3*l + 125 + 238 = 0. Does 32 divide l?
False
Let s(z) = 20 + 0*z - z**2 + 3*z - 3 - 2*z. Does 9 divide s(0)?
False
Let m(v) = -4*v**3 + 4*v**2 + v - 7. Let n(w) = 5*w**3 - 5*w**2 + 8. Let b = 6 + -10. Let a(j) = b*m(j) - 3*n(j). Is a(3) a multiple of 4?
False
Suppose 2*p + 1200 = 7*p. Is p a multiple of 41?
False
Let g be 0/(2 + 1) - -11. Let a = g - -2. Is a a multiple of 13?
True
Suppose -3*n - 4 = -n. Let j(z) be the second derivative of z**4/2 + z**3/3 - z**2 - z. Is j(n) a multiple of 9?
True
Let u(g) = -12*g + 2. Let x(h) = h**3 + 8*h**2 + 6*h - 10. Let z be x(-7). Is u(z) a multiple of 23?
False
Let n = 11 - 8. Suppose -3*g - n = -h - 29, -5*h = 10. Is g a multiple of 5?
False
Let d = -241 - -125. Let q(b) = -2*b**2 - 3*b + 21. Let t be q(-7). Let j = t - d. Is 20 a factor of j?
True
Let f = 5 - 2. Suppose 68 = f*g - z, 6*g - 5*z - 130 = g. Does 21 divide g?
True
Suppose -49 - 172 = 5*g - b, 3*g + 130 = -2*b. Let o(d) = d**3 + 7*d**2 + 2*d - 10. Let v be o(-7). Let a = v - g. Does 10 divide a?
True
Let v be 1/2*(-2 - -4). Is -10*(v/2 + -2) a multiple of 9?
False
Let f be -6 + (0/(-3))/1. Is 33 - 2/f*-3 a multiple of 16?
True
Let p = 2 + 1. Suppose 0 = -0*s - p*s + 36. Is 4 a factor of s?
True
Let g(z) = z**3 - 9*z**2 + 3. Let s be g(9). Suppose -3*b + 32 = 2*t, 0 = 2*b + s*t - 20 + 2. Suppose 2*a + 2*a - b = 0, 103 = 5*i + a. Does 10 divide i?
True
Suppose -3*l = -3*s - 33, -2*s + 7*s + 5 = 0. Is 2 a factor of l?
True
Let j(d) = 2*d + 6. Let k be j(-5). Is 17 a factor of k/6 - (-106)/6?
True
Let g = 38 + -10. Suppose 4 + g = 2*m. Suppose -m - 17 = -3*h. Is h a multiple of 8?
False
Let a(p) = -3*p**3 + 12*p**2 + 10*p + 7. Let u(f) = -2*f**3 + 6*f**2 + 5*f + 3. Let q(x) = 3*a(x) - 5*u(x). Let y = -33 + 28. Is 3 a factor of q(y)?
True
Let u be -1 + 25 + (1 - 3). Let n = -34 - -23. Let d = n + u. Is 11 a factor of d?
True
Let n = 12 - 8. Suppose -24 = -z + i, 2*z + n*i = -0*z + 42. Is z a multiple of 12?
False
Let b be 15 + 4/(-1 - -3). Let s = 19 + b. Is s a multiple of 26?
False
Let o = -2 + 7. Suppose 3*j = 2*j + 5*d + o, 25 = 5*j - 5*d. Suppose f - 14 = j. Does 5 divide f?
False
Suppose -36 = 2*v + 2*v. Let p be 1 + 2/2 - -1. Is 21 + (v/(-3))/p a multiple of 11?
True
Let x be (7 - 6)/(2/230). Suppose 5*r = -5*c + x, -3*c + 70 = 3*r + c. Is 11 a factor of r?
True
Suppose -4*u - 20 = u. Let b be -7 - (-5)/((-10)/4). Let q = u - b. Is q even?
False
Suppose -2*r = 2*z - 0*z - 236, r = -5*z + 122. Is r a multiple of 32?
False
Suppose 0 = -0*m - m - 46. Let y = m - -64. Does 9 divide y?
True
Let l = 16 + 26. Is 6 a factor of l?
True
Suppose -3*s = 3, 0*p - 3*p - s = -14. Suppose 0*d = -4*d, -p*v + 2*d = -210. Suppose -n = 2*n - v. Does 7 divide n?
True
Suppose 11 = h - 4. Does 6 divide h?
False
Let f(v) = v**2 + 5*v + 12. Let x(g) = -g**2 - 6*g - 11. Let w(c) = 5*f(c) + 6*x(c). Is w(-7) a multiple of 11?
True
Let l(x) be the second derivative of x**3/6 + 5*x**2/2 - x. Let d be l(0). Suppose n + d*o = 25 - 3, 4*o = 12. Is 6 a factor of n?
False
Let j be (-9)/(-4) - (-2)/(-8). Suppose 5*u + 8 = 33. Suppose -u*c + 5*i - j*i + 122 = 0, -2*i - 96 = -4*c. Does 18 divide c?
False
Suppose -4*r + 15 = -5. Suppose g = r*f - 30 - 94, 5*f + 4*g - 104 = 0. Suppose -2*o + f = 2*o. Is 3 a factor of o?
True
Let o = 2 + 0. Suppose o*l - l - 2 = 0. Suppose -l*m + 34 = -m. Is 17 a factor of m?
True
Is 6*(66/4 - 1) a multiple of 21?
False
Let j be (-5)/1*(-372)/(-10). Let p = j - -111. Does 15 divide ((-16)/20)/(2/p)?
True
Let g = -2 - -4. Is g even?
True
Is 29 a factor of (4 - -10)*(-52)/(-8)?
False
Let m = 120 + -75. Suppose 4*x + 12 = 0, 4*v + 4*x + 0*x + 132 = 0. Let p = m + v. Does 9 divide p?
False
Let t be 1 - 1 - (2 + -13). Let d = -24 + 52. Suppose -t = -3*z + d. Is 9 a factor of z?
False
Suppose -5*w + 28 = 4*i - i, 2*i - 23 = w. Suppose s = -3*s + 16, -o + s + i = 0. Is 11 a factor of o?
False
Let d = -138 - -75. Let u = -44 - d. Does 6 divide u?
False
Let p = -4 + 6. Does 6 divide (60/18)/(p/6)?
False
Suppose 0 = -f - f + 2*n - 210, -2*n = 3*f + 290. Let x = -16 - f. Does 28 divide x?
True
Is 7 a factor of (2 + -5)/(-1) + 30?
False
Suppose -7 = -3*f + 2. Suppose f*s - 269 = -92. Does 18 divide s?
False
Suppose 185 = 3*u + 59. Is u a multiple of 18?
False
Let m = 0 + 100. Is m a multiple of 17?
False
Suppose -t + 28 = 4. Suppose 0 = -n + 5*n - t. Does 11 divide 159/n + (-1)/2?
False
Let j be 12/(-1)*(-3)/6. Suppose 0 = 3*f - j*f + 195. Is f a multiple of 22?
False
Suppose 3*l - 850 = 2*t - 0*t, 4*l = -4*t + 1100. Suppose -5*q = -9*q + l. Is q a multiple of 14?
True
Let g(o) = 17*o**2 + 2*o + 4. Let d be g(-2). Let u be 1 - 2/2*-39. Let k = d - u. Is 14 a factor of k?
True
Is (-4)/((-112)/(-12)) + (-913)/(-7) a multiple of 10?
True
Suppose 3*l - 2*i - 48 - 110 = 0, -l = -5*i - 57. Is l a multiple of 13?
True
Suppose c - h = -2, 2*c + h = -0*c - 16. Let b be 0/((-3)/c*4). Suppose i = u + 4*i - 18, u - 4*i - 39 = b. Does 24 divide u?
False
Is 17 a factor of (((-4131)/(-18))/9)/(2/12)?
True
Let g = -7 - -3. Let c(o) = -3 - 2*o - 2*o - 2*o. Does 8 divide c(g)?
False
Let d(a) = 2*a**3 - 2*a**2 - 4*a - 15. Is 12 a factor of d(5)?
False
Let r be (-1)/1*-1 - -17. Does 12 divide 436/r - (-6)/(-27)?
True
Let l(y) be the third derivative of 0*y + 0*y**3 - 2*y**2 - 11/24*y**4 + 0. Does 20 divide l(-2)?
False
Is 7 a factor of (-844)/(-10) - ((-52)/20 - -3)?
True
Suppose -112 = 4*z - 336. Does 8 divide z?
True
Suppose 187 = 5*z - 2*n, 3*z + 3*n + n - 107 = 0. Is z a multiple of 28?
False
Suppose -3*b = -1 - 5. Let i be (-64)/(-3) - (-12)/18. Let q = b + i. Is q a multiple of 12?
True
Let g(j) = -8*j - 3. Does 11 divide g(-4)?
False
Suppose -613 = -5*b - 3*d, -3*d + 0*d - 12 = 0. Does 25 divide b?
True
Let d = -22 - -12. Let z(r) = -r**2 - 9*r + 13. Does 3 divide z(d)?
True
Let v = 280 - 42. Suppose 4*z - 3*o - v = -94, 58 = 2*z + 2*o. Does 15 divide z?
False
Suppose -90 = -5*p + 3*a + 2*a, 5*a = -3*p + 86. Does 6 divide p?
False
Let r = 46 - 16. Let i be (76/10)/(3/r). Suppose -4*j = -0*j - i. Does 11 divide j?
False
Suppose 248 = 5*l - 5*x - 307, -5*l - 5*x = -525. Is 36 a factor of l?
True
Suppose 4*j - j = 99. Let v = j - 22. Is 11 a factor of v?
True
Is (0 - 1 - -31) + -1 a multiple of 9?
False
Suppose -r = 3*l - 49, 11 + 20 = r - 3*l. Is r a multiple of 23?
False
Suppose -6 = 4*a - 2. Let t(m) = -18*m**3 + m. Does 3 divide t(a)?
False
Is 2/2*110 - 5 a multiple of 11?
False
Let y(r) = 16*r**3 + r**2 - r. Let d(o) = o**2 + 2*o + 1. Let w be d(-2). Is y(w) a multiple of 7?
False
Suppose 0 = -2*t - 6 - 0. Let j(c) = -3*c + 3. Is j(t) a multiple of 6?
True
Let b(g) = g + 7. Let x be b(-6). Let a be -4 + 4 - -1*x. Suppose -n = -30 + a. Is n a multiple of 9?
False
Let o be -55 + (-2 - -2)/2. Is ((-792)/o)/((-3)/(-10)) a multiple of 12?
True
Suppose -4*w - 16 + 8 = 0. Is w/(-5) + 446/10 a multiple of 13?
False
Let k be (-1)/(3/246*-2). Suppose k = 4*a - 127. Is 10 a factor of a?
False
Let r = 183 + -67. Is r a multiple of 29?
True
Suppose -3*h = -4*l - 2*h + 28, 8 = 2*l + h. Is 2 a factor of l?
True
Suppose 2*l - 3*l = 3*b - 4, 3*b + 2*l = 2. Suppose 128 = b*r - 0*r. Suppose r = 4*s - 32. Is 10 a factor of s?
False
Suppose 0 = 2*v + 3*v + 245. Let b = v + 72. Does 9 divide b?
False
Let q = 24 + 4. Is q a multiple of 7?
True
Suppose -3*x - d + 1 = 0, -4*d + 0 = 5*x + 3. Suppose -x = -b + 2. Suppose -a = -3*k - 3 - 19, -b*a = 4*k - 105. Is a a multiple of 11?
False
Suppose -5*i = -2*j - 1050, -4*j - 30 = i - 218. Is i a multiple of 57?
False
Let m be (-13)/(-4) - 8/32. Suppose -h + m = -4. Does 6 divide h?
False
Suppose 4*o = 4*v + 8, 8 = -4*v - 0*o - 2*o. Does 13 divide (3/v)/((-15)/200)?
False
Is (135/(-20))/(1 + (-43)/40) a multiple of 18?
True
Suppose -r - 3*j - 6 = r, 5*r = -2*j - 37. Let f be (-24)/r - 3/(-9). Suppose 5*g = f*g + 50. Does 12 divide g?
False
Suppose 2*b - 5*v = 35, -5*b + v + 24 + 6 = 0. Suppose 37 = b*o + 167. Let n = 51 + o. Is 14 a factor of n?
False
Let z(v) = v**2 - 8*v + 8. Let p be z(6). Let o = p - -24. Suppose 5*t - d - 9 = 15, 5*d = -o. Is 2 a factor of t?
True
Let x = -13 - -1. Let g be (-130)/(-6) + 8/x. Is 4 a factor of 2/4 + g/2?
False
Let j = 9 - 16. Let u = 20 + j. Does 13 divide u?
True
D