. Let a(r) = r - 4*r - 5*r + j. Is a(-4) a multiple of 12?
True
Let u be -1*(-2 - -11)*-2. Let m = 75 - u. Let g = -24 + m. Is g a multiple of 11?
True
Suppose 0*d = 2*d + 10. Let p(z) = -z**2 - 2*z - 1. Let u(i) = -2*i**2 - 5*i - 1. Let k(y) = -7*p(y) + 4*u(y). Is k(d) a multiple of 4?
True
Let o = 163 - 289. Does 14 divide (o/(-24))/((-3)/(-8))?
True
Suppose 3*c - 32 + 11 = 0. Let u be 21/c - (-10)/(-2). Does 5 divide (-39)/u + (-2)/4?
False
Let o = -30 - -63. Does 28 divide o?
False
Let t be 1*(4 + -1 - 74). Let a = t - -103. Is 16 a factor of a?
True
Suppose 5*l - 4*a - 180 = 2*l, -2*a = -l + 58. Let x = 32 - 24. Suppose -4*z + l - x = 0. Is 10 a factor of z?
False
Let h(d) = 11*d - 3. Let g(a) = 10*a - 4. Let y(x) = 5*g(x) - 6*h(x). Does 23 divide y(-3)?
True
Let h(q) = q**2 + 11*q + 8. Suppose -2*s + 9 = -3*s. Let p(t) = -2*t**2 - 23*t - 17. Let z(o) = s*h(o) - 4*p(o). Is 5 a factor of z(-5)?
False
Suppose 12 = -0*n + 3*n - 3*f, -2*n = -f - 4. Suppose 176 = 3*t + 4*a, 6 = 3*a - n. Is 15 a factor of t?
False
Let n = 160 + -228. Let t = 24 - n. Does 32 divide t?
False
Let w = 6 + 28. Does 17 divide w?
True
Let c be 6*5/(30/9). Does 7 divide 0 + (c + 0)*1?
False
Suppose 0 = 3*l + 3*s - 90, 74 = 5*l - 3*s - 76. Let h = l - 14. Is h a multiple of 8?
True
Let t(s) = -s**3 - 3*s**2 - s + 2. Let n be t(-3). Let m = 9 - n. Is m a multiple of 2?
True
Let r(x) = 0*x + 2 - 7*x**2 - 7 + 2*x - 2 + x**3. Let j be r(7). Suppose 59 + j = 3*g. Does 11 divide g?
True
Suppose 0*w = -3*w + 33. Let g = w + -6. Is g a multiple of 5?
True
Suppose -2*k = -12 - 4. Let u(l) = 5*l - 15. Let h(m) = 6*m - 16. Let g(n) = 4*h(n) - 5*u(n). Is 3 a factor of g(k)?
True
Let b(d) = -d**3 + 10*d**2 - 10*d + 5. Let j be b(9). Let x = 2 + j. Does 3 divide (-1)/x + (-45)/(-6)?
False
Suppose -i - 78 = -4*i. Suppose -t - 3*t + 34 = -k, -2*t + 5*k = -i. Suppose v = t + 14. Does 22 divide v?
True
Let w(g) = g**3 + 10*g**2 - g - 10. Let j be w(-10). Let f = j - -4. Is 16 a factor of 5 + -2 + (49 - f)?
True
Let q(f) = -f**2 - 11*f - 9. Let p be q(-10). Let x = 1 + p. Suppose 0 = w - 30 + x. Is w a multiple of 14?
True
Let q(g) = 3*g - 8. Let k(i) = 5*i - 15. Let u(l) = 6*k(l) - 11*q(l). Let j(b) = -b + 3. Let x be j(9). Does 9 divide u(x)?
False
Let t(w) = 2*w**2 + 5*w + 8. Let s be t(-7). Let q = s - 37. Is 12 a factor of q?
False
Let w(u) = -12*u - 1. Let v = 5 - 10. Does 13 divide w(v)?
False
Let b be (1/2)/((-2)/8). Let w = b + 8. Is 2 a factor of w?
True
Suppose 0*o = o. Let z = 3 - o. Does 3 divide z?
True
Suppose -2*t + t = -6. Suppose -2*i = -6*i - 2*s + 8, -2*i = -3*s - 20. Is 2 a factor of 2/i - t/(-4)?
True
Let z = 18 - 8. Is 10 a factor of z?
True
Let n(a) = -6*a - 2. Let f be n(-7). Suppose -3*g - g = -f. Is g a multiple of 5?
True
Let f(y) = y**3 + y**2 - y + 5. Suppose u + 5*q = -u + 10, 0 = -4*u - 5*q + 10. Is f(u) even?
False
Let j be (16/5)/((-2)/(-35)). Suppose y - 3*g + 0*g = 15, -3*y + g + 21 = 0. Suppose c = 4*q + y*c - j, 0 = -5*c. Does 7 divide q?
True
Let z = 115 + -79. Is z a multiple of 12?
True
Let j(y) be the first derivative of 5*y - y**2 + 4*y**2 - 2 - y. Does 13 divide j(4)?
False
Is 10 a factor of (2 - 1) + 43 + -2?
False
Let z = -33 + 63. Suppose 3*o = j + 92, 5*o - 4*j - 174 = -z. Is 9 a factor of o?
False
Let q(n) be the first derivative of -11*n**4/4 - 2*n**3/3 - n**2/2 - 1. Does 10 divide q(-1)?
True
Is 5 a factor of (-2)/(1/21*-3)?
False
Let m(f) = -8*f**3 + 2*f**2 - 2*f - 4. Is 7 a factor of m(-2)?
False
Suppose 0 = 5*g + 4*c - 77, c - 42 = -5*g + 2*g. Is g a multiple of 11?
False
Let u(w) = 2*w**2 - 7*w + 5. Let g = 10 - 4. Let d be u(g). Suppose -3 = 4*a - d. Does 8 divide a?
True
Suppose 2*j + 6*q - q = 10, -4*q + 25 = 5*j. Let g(u) = u**2 + u + 4. Let i be g(0). Suppose 2 = -3*h - i*k + 53, j*k + 37 = 4*h. Is 5 a factor of h?
False
Let t(i) = i**2 + 4*i + 2. Let p(o) = -o**2 - 5. Let v be p(0). Let g be t(v). Suppose -g*s = -2*s - 80. Is 12 a factor of s?
False
Let b = 1 - 1. Suppose 2*w - 31 - 23 = b. Does 16 divide w?
False
Let t be 1 + 1 + -2 + 2. Suppose 39 = t*o - 11. Is o a multiple of 22?
False
Let d(x) = -x**3 - 10*x**2 - 8*x + 15. Is d(-9) a multiple of 6?
True
Suppose 67 = -q + 5*q - 3*l, -49 = -3*q + l. Is 8 a factor of q?
True
Suppose -4*s - 160 = s. Is s/6*(-6)/4 a multiple of 5?
False
Does 27 divide ((-4)/8)/(4/(-432))?
True
Suppose 20 = 2*q - 5*o, -3*o - 16 = o. Suppose 2*c = -1 + 43. Let r = q + c. Is 13 a factor of r?
False
Suppose 3*u + 32 = 5*u. Does 4 divide u?
True
Let q = -7 - -4. Let t = q - -5. Suppose -t*g - 20 + 52 = 0. Is g a multiple of 6?
False
Does 57 divide 396 - 10 - (1 - 0)?
False
Suppose -4*t - 50 = -314. Is 25 a factor of t?
False
Suppose -4*z = -281 - 19. Does 22 divide z?
False
Let d = 304 - 204. Is d a multiple of 25?
True
Let h(y) = -7*y + 2. Is h(-2) a multiple of 10?
False
Suppose -2*j = -7*j + 290. Suppose 2*c + 200 = 7*c. Let a = j - c. Is 9 a factor of a?
True
Let n(d) be the second derivative of -5*d**3/3 + d**2 - 2*d. Does 17 divide n(-8)?
False
Suppose 3*a + 0*f = f + 163, a - 4*f - 69 = 0. Is a a multiple of 11?
False
Does 31 divide 26 - 2*10/(-4)?
True
Let i = 125 - 8. Is 11 a factor of i?
False
Let f = 231 - 90. Is 21 a factor of f?
False
Let b be 2/(-7) - (-40)/(-7). Suppose -g = 4*g - 110. Does 13 divide (g + -1)*(-4)/b?
False
Suppose 5*b - 24 = 91. Suppose -p + b = -7. Is p a multiple of 9?
False
Let z be 16/(-20)*(-2 + -3). Suppose 0*v + 4*h = 4*v - 20, 5*v = -z*h + 43. Is v a multiple of 7?
True
Does 16 divide ((-5)/10)/(1/(-42))?
False
Let y(d) = -d**2 - 7*d - 7. Let m be y(-5). Suppose m*g - 4 - 2 = 0. Suppose h + 71 = 4*h + 5*v, -5*v - 39 = -g*h. Is h a multiple of 11?
True
Let a(v) = 85*v - 5. Is a(1) a multiple of 19?
False
Let t(a) be the first derivative of -a**3/3 + a**2/2 + 23*a - 3. Let x be t(0). Suppose 0 = 4*v - 9 - x. Is 4 a factor of v?
True
Let r = -38 + 71. Is r a multiple of 11?
True
Suppose 0 = -h - 3*h + 16. Let j = -56 + 104. Suppose -4*s - h = -j. Does 11 divide s?
True
Suppose t = -0*y + 2*y - 149, -2*t = -3*y + 226. Is 21 a factor of y?
False
Is 7 a factor of (8/(-5))/(12/(-210))?
True
Let o be 0/((-2)/(4/2)). Let k(z) = z + 23. Is 23 a factor of k(o)?
True
Let t be -2*5 - (-3 - 0). Let v = 9 + t. Suppose -15 = -v*f + f. Does 9 divide f?
False
Let l be (3/(-2))/((-12)/32). Suppose -50 + 278 = l*c. Is 19 a factor of c?
True
Suppose -2*q + 60 = 3*q. Suppose 5*s = -q - 3. Is (-10)/(-6) + (-1)/s a multiple of 2?
True
Let l(v) be the first derivative of v**3 - 3*v**2/2 - 4*v + 1. Let c(h) = 10*h**2 - 8*h - 13. Let y(j) = 2*c(j) - 7*l(j). Is 6 a factor of y(4)?
True
Let w = 10 - 2. Suppose 0 = 5*r + 4*f - 38, 3*r + w = -3*f + 32. Suppose -r*m + 75 = -m. Is m a multiple of 15?
True
Suppose -16 + 60 = 4*z. Suppose z*o - 144 = 9*o. Is 21 a factor of o?
False
Let q = 36 - 26. Suppose 4*i = 5*d - i + q, 4*d = -2*i - 20. Let g(c) = c**3 + 4*c**2 - c + 2. Does 6 divide g(d)?
True
Let z(u) = -8*u - 1. Let n be z(2). Let j = 28 + n. Is j a multiple of 3?
False
Let s = -7 - -4. Let q(x) = 2*x**2 + 4*x - 1. Let g be q(s). Does 16 divide (g - 2) + (-29)/(-1)?
True
Let l = 4 - 2. Suppose l*m + 3*q = 2*q + 8, 0 = 4*m + 4*q - 24. Suppose 5*i + 23 = 3*g, g + m*g - 68 = -4*i. Does 12 divide g?
False
Suppose 0 = 2*a + 4*y - 544 + 196, -3*y + 522 = 3*a. Is 32 a factor of a?
False
Suppose 4*g - 2 = 14. Suppose x = z - 9, 0*x + 2*x - 9 = -z. Suppose -g*b = -7 - z. Is b a multiple of 2?
True
Let i be 41 + 1/1 + 0. Suppose -t + i = 3*u - 5*u, 3*u - t + 63 = 0. Let k = 22 - u. Is k a multiple of 23?
False
Let v(t) = 9*t**2 - 5*t - 4. Is v(4) a multiple of 20?
True
Suppose 2*c = 6, -4*r - 4*c + 780 = -580. Is 17 a factor of r?
False
Is 49 a factor of 6/(-9)*-3 + 1*200?
False
Is (-2)/(-2) + 171/3 a multiple of 10?
False
Suppose 0 = -5*x + 11 + 29. Suppose 5*d - 1 + 25 = -2*m, -2*d = 4*m. Let o = d + x. Does 2 divide o?
True
Suppose 11 = -2*p - 5*m, -7*p = -2*p + m + 16. Is 2 - (-9 - (p - 0)) a multiple of 5?
False
Let r(k) = 220*k + 1. Let l be r(-1). Let q = -134 - l. Is q a multiple of 20?
False
Let q be 3/15 - (-57)/15. Suppose -25 = -2*b + 5*g, -q*b - 4*g + 20 = -44. Does 4 divide b?
False
Let r(y) = -17*y - 7. Let h(x) = -34*x - 15. Let z(j) = 6*h(j) - 13*r(j). Is z(1) a multiple of 9