a multiple of 3?
False
Suppose 4*m - 9 = 4*x + 15, 0 = 5*m - 3*x - 28. Suppose 0 = j - 2, 3*t + 0 = m*j + 2. Let c(o) = 4*o + 3. Is c(t) a multiple of 14?
False
Suppose -4*x + 2*m - 5 = -43, -x - 2*m = 3. Let s(y) = 3*y**2 - 7*y + 6. Let d be s(x). Let r = d + -71. Is r a multiple of 12?
False
Suppose 8 = -4*h, -3*y - 3*h + 5 = -h. Let g be (-1 - 3/y)/1. Is 8 - (g - 0)/(-1) a multiple of 3?
True
Let x(f) = f - 10. Let i be x(6). Let a = 4 + i. Suppose a = 2*h + 2*n - 80, -3*n - n = -8. Is h a multiple of 19?
True
Suppose p + 0*p = -5*r - 13, 3*r + 9 = 0. Suppose -p*w + 220 = -0*w. Is (-1)/2 - w/(-4) a multiple of 20?
False
Let n(w) be the third derivative of -1/6*w**4 + 2*w**2 + 0 + 0*w - 5/6*w**3. Does 17 divide n(-7)?
False
Let m = 212 + -89. Is m a multiple of 13?
False
Suppose -3 = -j - 1. Is 7 a factor of 11 - 2 - (0 + j)?
True
Let g = -321 - -554. Is 43 a factor of g?
False
Suppose -2*v - 2*r + 266 = -0*r, -4*v = 5*r - 532. Is v a multiple of 19?
True
Suppose 3*y - 3*h = 84, 4*h = -4*y + 2*h + 142. Does 33 divide y?
True
Does 14 divide (7*4)/(8 + -6)?
True
Let l be 6/(-4)*(-2)/(-3). Let x be l/((-1)/(-7)) + 1. Let j = x - -18. Is j a multiple of 12?
True
Let h = 53 + -48. Is h a multiple of 3?
False
Suppose 4*m + 192 = 2*m. Let r = -47 - m. Suppose y + 29 = 4*q, 4*q = -2*y - 11 + r. Is 8 a factor of q?
True
Suppose -9 + 99 = -5*w. Let r be 1/(-2) - w/(-4). Is (r - -1)*(-57)/12 a multiple of 15?
False
Let p = 27 - -3. Is 9 a factor of p?
False
Let y = 130 + -15. Suppose -3*k = -4*z + y, -5*z + 4*k + 142 = 2*k. Is 10 a factor of z?
False
Let k(y) = y**3 + 8*y**2 + 4*y - 8. Let c be k(-7). Suppose -3*d + c = -47. Is 4 a factor of d?
True
Does 5 divide 2 + 13 + 0 + -2?
False
Let i be (4 - 3)/(2 - 1). Let n be -4*-4*i/(-2). Let g = n - -24. Is g a multiple of 10?
False
Let z(l) be the second derivative of 7*l**3/6 - 7*l**2/2 + 6*l. Does 14 divide z(5)?
True
Let b be (-2 + -1)*4/6. Let g = 26 - b. Is g a multiple of 7?
True
Let y(o) = 8*o**2 + 2*o - 1. Does 13 divide y(-3)?
True
Let g = -9 + 11. Suppose g = -f - 1, 0 = -u - f + 1. Does 15 divide (-1)/(-4) - (-163)/u?
False
Suppose -n = -6*n + 5. Let g = -3 + 6. Suppose -n = g*z - 79. Is 13 a factor of z?
True
Let d = -6 + 8. Suppose 0 = -5*u + d*l + 140, -5*l - 70 = -3*u - 5. Is 10 a factor of u?
True
Let n(q) = -q**2 - 6*q - 5. Let b be n(-4). Suppose x + 6 = b*l, l + 2*x + x = 2. Is l a multiple of 2?
True
Let v be (-6 - -6) + (-52 - -1). Let q = v + 72. Does 7 divide q?
True
Suppose -3*s = -2*l + 2, -2*s - 19 = -4*l + 1. Suppose l - 1 = -3*y, -122 = -3*b - 5*y. Is b a multiple of 22?
True
Let b = -2 + 3. Let p be -17 + (b - (-2)/(-1)). Does 6 divide (-202)/p - 12/54?
False
Suppose 13 = 2*s + 3. Is 17 a factor of 138/s - 15/25?
False
Let w(v) = v**3 + 36. Let x be 0*(1 + (-10)/8). Is 10 a factor of w(x)?
False
Let j = 6 - 8. Let z(p) = 32*p**2 - 2*p. Let h be z(j). Suppose -3*m = -h + 21. Does 25 divide m?
False
Let j be 1/(-5) - 11/(-5). Suppose 4*y = y + b + 111, -4*y = 4*b - 132. Suppose 10 = -j*n + y. Does 13 divide n?
True
Let z = -15 - -24. Does 12 divide ((-42)/z)/(4/(-30))?
False
Suppose 3*i - 9 = 4*p, 2*i - 2*p + 0*p - 6 = 0. Suppose 0*n + 36 = i*n. Let w = 30 - n. Does 14 divide w?
False
Let j(g) = g**2 - 10*g + 28. Does 4 divide j(12)?
True
Suppose 3*o + 4*h - 21 = 0, 0*h + 4*h - 32 = -4*o. Suppose 6 = -l + 4*x, -2*l + 0*l - 4*x = 12. Let s = l + o. Is s a multiple of 2?
False
Let q(c) = -3*c - 2. Does 6 divide q(-4)?
False
Let j be 6/(-10) - (-102)/(-30). Is j/18 + (-472)/(-18) a multiple of 13?
True
Suppose z + 3*o - 50 = 0, 3*z + 2*o - 7*o - 108 = 0. Let f = -25 + z. Is 8 a factor of f?
True
Let d be 434/56 + (-2)/(-8). Let v(k) = k**2 - 5*k + 3. Is 15 a factor of v(d)?
False
Suppose -w + 455 = 3*n, -w - 4*w + 625 = 4*n. Suppose -5*a + n = -90. Let f = 86 - a. Is f a multiple of 20?
False
Suppose -3*w = 3*b - 111, -w + 0*b = -b - 43. Let a = w + -86. Let q = -19 - a. Is q a multiple of 13?
False
Let f = 23 + 1. Is 12 a factor of f?
True
Let z(q) = q - 6. Let r be z(4). Does 5 divide r/(-5) + 115/25?
True
Let v = 21 - -8. Let n be (v/4)/(3/24). Suppose 0*a + n = 2*a. Is 13 a factor of a?
False
Let k(o) = -o + 12. Let w be k(7). Suppose l = -5*u + 30, -w*l + 2*l = -2*u + 29. Does 7 divide u?
True
Suppose -2*t = -2*n - 14, 0 = 3*t + n - 0*n - 13. Suppose -t = -4*o + 7. Does 3 divide o?
True
Let l = -40 - -12. Let f = 56 + l. Does 14 divide f?
True
Is 15 a factor of (0 + -6 + 7)*321?
False
Suppose -54 = -5*z - 3*g + 402, -3*z = -3*g - 264. Suppose 2*s + 0*s - z = 0. Is s a multiple of 15?
True
Let d = 3 + 37. Is 20 a factor of d?
True
Let r(y) be the second derivative of -7*y**3/3 - 3*y**2/2 - 3*y. Is 9 a factor of r(-2)?
False
Does 36 divide -72*(-3 - (-5)/2)?
True
Let u(j) = -j**3 - 12*j**2 - 12*j. Let i be u(-11). Suppose 5*o - b = 13, 1 = 3*o - 2*b - i. Suppose r - 75 = -o*r. Is 25 a factor of r?
True
Let h(n) = 4*n**2 + 12*n - 1. Is h(-5) a multiple of 8?
False
Suppose 23 = -3*q + 4*y + 7, -4 = -q - y. Suppose h + h - 4*r - 16 = 0, 4*r = q. Does 8 divide h?
True
Suppose 6 = y - c, -y - 2*c + 5*c + 8 = 0. Suppose 0 = 7*m - 3*m + r - 83, -125 = -y*m + 3*r. Is 15 a factor of m?
False
Is ((-5)/10)/((-2)/500) a multiple of 34?
False
Suppose 52 = v - 62. Is v a multiple of 10?
False
Let s be 2/(4/2) - 2. Let i = s - -3. Suppose 0 = i*d - 6*d + 32. Does 4 divide d?
True
Suppose 0 = -0*o + 2*o - 30. Let t = o + 18. Is t a multiple of 12?
False
Let r be (-10 - -7) + (-6)/(-2). Let o(s) = s**2 + s + 8. Is 4 a factor of o(r)?
True
Let a = 61 - 25. Is 12 a factor of a?
True
Suppose -15 = 13*o - 8*o. Is (-996)/(-16) + o/12 a multiple of 31?
True
Let d = -25 - -102. Does 18 divide d?
False
Suppose 4*f = -3*k + 110, 5*k - 2*k - 81 = -3*f. Let q = -71 - -51. Let a = q + f. Is a a multiple of 9?
True
Let b(l) = -3*l**3 - 5*l**2 - 3*l - 4. Let d be b(-3). Let i(c) = -c - 29. Let s be i(-16). Let v = d + s. Is 12 a factor of v?
False
Suppose -j + 3 = -2*j. Let v be (-6)/(-15)*5/2. Is 1*(16 - v - j) a multiple of 18?
True
Let m(a) be the third derivative of a**6/30 - a**5/30 + a**4/12 - a**3/6 + 3*a**2. Is 9 a factor of m(2)?
True
Suppose -3*o = -0*o - 342. Is o a multiple of 16?
False
Let q(z) = -26*z - 74. Is 30 a factor of q(-4)?
True
Suppose 0 = -g + 3*l + 2, -g + l + 4 = 0. Suppose -105 = -0*f - g*f - m, -m + 25 = f. Does 20 divide f?
True
Let w(q) = -3*q + 29. Is w(-12) a multiple of 9?
False
Let f(b) = -b**2 - 3*b + 2. Let c be f(-3). Is 2 + 0 + c/1 a multiple of 4?
True
Suppose -2*o = b - 93 - 64, -b + 137 = -2*o. Is b a multiple of 49?
True
Let z(p) = 2*p + 3*p + 3*p - 10*p. Let y be z(-2). Suppose -3*t = -2*t - y. Is t a multiple of 2?
True
Suppose 5*a - a - 44 = 0. Suppose -25 = -t + v + a, 3*v = t - 36. Is 9 a factor of t?
True
Suppose 8*o - 220 = 3*o. Is 13 a factor of o?
False
Let z(d) = -16*d - 1. Let i be 2/(-1*(2 + 0)). Is z(i) a multiple of 5?
True
Suppose -7*m + 25 = -2*m. Suppose 0*d - m*d = 0. Suppose -25 = -5*h - 3*u, -2*h + d + 10 = -4*u. Does 2 divide h?
False
Let m(z) = 13*z - 22. Let q(s) = -9*s + 15. Let d(k) = -5*m(k) - 7*q(k). Is 8 a factor of d(-4)?
False
Let m(b) = -b**3 - 7*b**2 - 8*b + 6. Let q = -9 + 13. Let h be (1 - q - -4) + -7. Is m(h) a multiple of 17?
False
Let k be (-252)/(-2)*12/14. Suppose 0 = -2*n - 2*n + 4*i + k, 0 = 3*n - 4*i - 80. Does 14 divide n?
True
Suppose -5*o = -2*p + p - 78, -3*o = -3*p - 42. Is o a multiple of 8?
True
Suppose 14 = 3*k - o, -2*k + 8*o = 4*o - 6. Suppose 0 = k*g - 11 - 4. Suppose g*u + 23 = 113. Is 12 a factor of u?
False
Let c = -19 + 28. Suppose 4*z + c = 193. Is z a multiple of 24?
False
Let r(p) = 2*p + 14. Let d(w) = w + 6. Let i be d(10). Is r(i) a multiple of 8?
False
Suppose 5*j + 0*j = 0. Suppose 5*i = -j*i - 2*r + 194, -i = 5*r - 25. Is 12 a factor of i?
False
Suppose 4*c = 3*y - 14, 6*y = 2*y + 5*c + 18. Suppose 272 = 2*g + y*g. Is g a multiple of 23?
False
Suppose -12*i - 456 = -15*i. Is i a multiple of 8?
True
Let f = 388 - 238. Is f a multiple of 13?
False
Suppose 4*a - 7 - 1 = 0. Let b = 8 + -5. Suppose -a*y = 0, b*g = -y + 94 - 37. Does 7 divide g?
False
Suppose 2*n - 2*y - 12 = 0, 0 = -n - 4*y + 3 + 13. Is 3 a factor of n?
False
Let t be 2/6 + (-366)/18. Is 9 a factor of (t + (-6)/2)*-1?
False
Suppose -b 