- 213, 3*r = -3*y + 420. Suppose 4*m - 3*i - 28 = y, -2*m = -2*i - 84. Is 19 a factor of m?
True
Suppose 141 = 5*n - 224. Is 45 a factor of n?
False
Let v(n) = -3*n**3 + 2*n**2 - 2. Let d be v(2). Let f = 12 - d. Does 15 divide f?
True
Let d be 0*(-2)/(-12)*3. Suppose -2*h + 25 = -7*v + 2*v, -2*h + 2*v + 22 = d. Is h even?
True
Suppose -3 - 1 = -2*t, -302 = -4*p + 5*t. Is 26 a factor of p?
True
Suppose 3*i - 8 = 85. Does 8 divide i?
False
Suppose 3*i - 9 = 3. Suppose 2*n + i*u = -0*u + 14, 13 = n - 4*u. Does 3 divide n?
True
Let f = -217 + 428. Does 33 divide f?
False
Let v = 4 + 1. Suppose -5*y = 2*q - 107, -v*y + 0*y + 110 = 5*q. Suppose y = -f + 2*f. Does 14 divide f?
False
Let g(b) = -10*b + 46. Let t(z) = 2*z - 9. Let p(d) = 2*g(d) + 11*t(d). Is p(13) a multiple of 15?
False
Suppose g + g - 5*d - 10 = 0, 0 = -2*g - 5*d - 10. Suppose 2*l = -3*r + 13 + 75, g = 2*r + l - 58. Suppose r = i + 3*i. Does 7 divide i?
True
Let g(r) = 7*r - 11. Let h be g(11). Let i = -21 + h. Does 17 divide i?
False
Let b(a) = a**2 - 10*a - 7. Let u be b(-6). Suppose -2*j - 5*z + 155 = 3*j, z - u = -3*j. Is 16 a factor of j?
False
Suppose -3*s - 12 = 0, 46 = 4*r - r - s. Let h = 24 - r. Is h a multiple of 8?
False
Suppose 3*c - 3*g - 27 = 0, -4*g = -5*c - 0*g + 50. Suppose 3*b = -4*s + c, 3*b - 2*s + 8 + 8 = 0. Let x = 18 + b. Is 10 a factor of x?
False
Let f = 266 - 183. Does 25 divide f?
False
Suppose 6*k = 11*k. Suppose -3*p + 300 = 4*j, 2*p + k*p - 225 = -3*j. Is 25 a factor of j?
True
Suppose 5*y + 182 = -268. Let v = 18 + y. Does 10 divide -2 - (2 - v/(-3))?
True
Let o be (-1)/(-2)*0 + 4. Suppose 0 = 3*v - o*g - 30, 2*v - 2*g = 4*v - 6. Suppose v*k + 24 = 7*k. Is k a multiple of 13?
False
Suppose n - 5*q - 150 = 0, n - 5*q = 2*n - 120. Is n a multiple of 27?
True
Suppose -q = -4*w - 180, -4*q = -q + w - 527. Does 9 divide q?
False
Suppose -5*h + 30 = 10. Suppose -5*u = -h*g - 2*u + 14, -3*u + 1 = -g. Suppose 3*f = g*o - 0*f - 73, o = 5*f + 19. Does 14 divide o?
True
Suppose 11 = -4*c + 31. Suppose 0 = -7*h + c*h + 72. Does 18 divide h?
True
Suppose 0 = 2*o - 0*o - 12. Is 3 a factor of o?
True
Suppose -2*d - 3*d = 3*b - 47, 3*b - 31 = -d. Let l be 4*(2 + 13/4). Let y = l - b. Does 12 divide y?
True
Let c(p) = -7 + 5 + 8 + p + 7. Let h be c(-11). Suppose -d + 17 = a, -h*a - 3*d = d - 38. Is 10 a factor of a?
False
Is 6/((-3)/((-9)/6)) a multiple of 2?
False
Suppose -19 + 7 = 3*g. Let l = 3 + g. Let m = l + 17. Does 5 divide m?
False
Let j(v) be the first derivative of -2*v**2 + 4*v + 1. Let a be j(7). Let b = a + 34. Is b a multiple of 8?
False
Suppose -4*f + 6*f - 78 = 0. Is 15 a factor of (f/4)/((-1)/(-4))?
False
Suppose -2*y + 14 = p + 4*p, 2*p = 5*y + 23. Suppose 0 = -5*d - 5*g + 65, -p*g - 95 = -5*d + g. Does 4 divide d?
True
Let u(g) = -2*g - g - 3 + 0*g. Let d be u(-4). Let l = 1 + d. Is l a multiple of 8?
False
Suppose 27 + 27 = -3*z - 2*h, 2*z + 2*h = -38. Let r = z + 29. Is 13 a factor of r?
True
Let z(m) = -m + 1. Let q be z(-4). Suppose a - q*c = 17, -10 = -4*a + 4*c + 26. Does 3 divide a?
False
Is (-7*4/(-42))/(1/126) a multiple of 34?
False
Suppose 3*i + 2*l - 14 = 0, -2*i + 4*l = -l + 16. Let z(q) = 2 + 4*q**2 - q + q**i + 2*q. Is z(2) a multiple of 15?
False
Let m = 31 - 29. Let x be (-1 - (0 - 1))/(-2). Suppose -2*r - 13 = p + 3*r, x = 2*p + m*r - 6. Is 5 a factor of p?
False
Let v be (-1)/4 + (-51)/(-12). Suppose 4 = v*j - 3*j. Suppose 50 = j*m - 10. Is m a multiple of 4?
False
Suppose -l - 40 = 3*o - 110, -2*o = -l - 45. Suppose -37 = -w + o. Let v = w - 36. Does 12 divide v?
True
Suppose j = 2*y - 2*j - 80, -5*y + 2*j + 222 = 0. Let h = y - -13. Is h a multiple of 16?
False
Let u be 44/7 + (-16)/56. Suppose -2*s + u = -10. Does 4 divide s?
True
Let x be 3*55 + 10 + -8. Suppose -4*b = -4, -4*i + i + x = -b. Does 18 divide i?
False
Let y(x) = -5*x - 3. Suppose -8*q + 4*q + 5*o = 46, 2*q = 4*o - 26. Is y(q) a multiple of 14?
True
Let s(j) = j + 176. Is 44 a factor of s(0)?
True
Let l = -18 - -21. Suppose 0 = 3*k + 6, -5*o - l*k - 7 = -111. Is 5 a factor of o?
False
Let i(m) = -m**2 - 13*m + 11. Let x be i(10). Is -2 + 2 + x/(-3) a multiple of 27?
False
Let c(y) = -2*y**3 + 9*y**2 + 2*y - 6. Does 18 divide c(4)?
True
Suppose 6*l - 12 = 2*l. Does 16 divide (-24)/l*22/(-4)?
False
Suppose -8*k + 651 = -k. Is 13 a factor of k?
False
Let w = 43 + -39. Is 3 a factor of w?
False
Let s(t) = -2*t**3 + 3 - 2 - 2*t**3 - 2*t + 2*t**2. Let f be s(1). Is ((-1)/(-2))/(f/(-144)) a multiple of 12?
True
Suppose 7 + 35 = y. Is 24 a factor of y?
False
Is 1*(-4)/8*-6 - -118 a multiple of 3?
False
Let y = 64 + -16. Suppose 0 = -5*l - 4*o + 45, -4*l + 4 = -o - 11. Suppose -l*g = -g - y. Does 7 divide g?
False
Let r = 22 + -7. Suppose 2*h - 7*h = -r. Suppose 0 = h*z - 15, -s = 4*z - 36. Is 9 a factor of s?
False
Let h(u) = -2*u + 1. Let o be (2/(-1*2))/1. Let m be h(o). Let w = m - 0. Does 2 divide w?
False
Let r(k) = -47*k + 32. Is r(-2) a multiple of 7?
True
Suppose 6*q = -q + 672. Is q a multiple of 38?
False
Suppose 4*b = -2*w + 576, 5*b = -3*w + 15 + 705. Does 36 divide b?
True
Suppose -3*a - 5*r = -787, 0*r - 10 = -2*r. Is 29 a factor of a?
False
Suppose q + 2*y = 4*q - 44, -3*y = -4*q + 60. Is q a multiple of 12?
True
Suppose -2*s + 30 = -4*c - 222, -s + 3*c + 123 = 0. Is 44 a factor of s?
True
Suppose z = 6*z - 155. Is z a multiple of 31?
True
Let d(b) = 7*b**3 - 5*b**2 - 15*b + 7. Let i(o) = -8*o**3 + 5*o**2 + 16*o - 7. Let c(z) = -7*d(z) - 6*i(z). Does 8 divide c(6)?
False
Suppose 0 = 4*x + 3*w - 2*w - 20, -w = -4. Is 3 a factor of x?
False
Suppose 4*u = -4*s + 172, 4*u - 4*s + 5*s - 163 = 0. Is u a multiple of 7?
False
Suppose -4*w - 82 = -234. Let q be w/10 - (-3)/15. Suppose q*r - 9 = 23. Is r a multiple of 7?
False
Let y = 15 + -5. Does 28 divide 690/y - (-1 + 2)?
False
Let r(j) = j**2 - 6*j - 5. Let n be r(5). Let u be ((-12)/n)/((-6)/20). Is 9 a factor of 92/5 + u/10?
True
Let q(x) = -6*x + 9. Let v(z) = z**2 - 10*z - 2. Let m be v(9). Is 34 a factor of q(m)?
False
Suppose 3*s - 2*n - 26 = 0, -2*n = -s - s + 16. Is s a multiple of 10?
True
Let x(u) = u - 1. Suppose -2*w - 4 + 18 = 0. Let r be x(w). Does 2 divide (8/(-3) - -3)*r?
True
Suppose 5*c - 5 = 0, 3*c - 36 = -5*b + 2*c. Suppose -8*k = -b*k - 64. Is k a multiple of 32?
True
Let d(v) = 34*v**2 - 10. Let i be 2 - 9/(-2 - 1). Let z(x) = 23*x**2 - 7. Let b(q) = i*d(q) - 7*z(q). Does 8 divide b(1)?
True
Suppose 2*i = 41 + 15. Does 20 divide i?
False
Let u be (-4)/(2*(-3)/45). Let q = u + 21. Is q a multiple of 17?
True
Let d = -6 + 10. Suppose d*a = -4 + 16. Is a a multiple of 2?
False
Let o = 7 + -2. Let a = o + 1. Is 4 a factor of a?
False
Let y = -14 + 17. Suppose -s = 2*s - y*x - 21, 12 = 3*x. Is 7 a factor of s?
False
Let p = -2 + -5. Let l(u) = -u**2 - 9*u + 1. Is l(p) a multiple of 10?
False
Let x(h) = 3*h**3 + h + 4. Is 22 a factor of x(3)?
True
Let x = 8 - 0. Suppose -3*l = -x*l - 5. Does 14 divide l*(-2 + 6)*-7?
True
Let c(v) = 2*v - 15. Is c(13) even?
False
Let w(n) = -3 + 8*n**3 - 9*n**3 - 4*n - 2*n**2 + 11*n. Is w(-6) a multiple of 28?
False
Let p(l) = 43*l - 3*l + 3*l - 1. Is 14 a factor of p(1)?
True
Let v(i) = i**3 + 6*i**2 - 8*i + 3. Let y be v(-7). Suppose -3*a - 3*z + 106 - y = 0, 5*a + 3*z - 156 = 0. Let p = -14 + a. Is p a multiple of 16?
True
Let v(h) = h**2 + 3*h - 3. Is 5 a factor of v(3)?
True
Suppose 4*c + 5*r = 2*r + 205, 4*r = 2*c - 86. Is c a multiple of 13?
False
Is 4 a factor of (91 - -8)*((-2)/(-6))/1?
False
Let v be (-15)/(-1)*(-9)/(-15). Suppose -v*r = -4*r - 240. Is 17 a factor of r?
False
Let b = 1 + 25. Is b a multiple of 13?
True
Suppose 2*i + 4 - 6 = 0. Let d(r) be the first derivative of 7*r**4/2 + r**2/2 - r + 1. Is 14 a factor of d(i)?
True
Let h(g) = 7*g. Let q(b) = 5*b - 2. Let w(u) = -4*u + 2. Let c(i) = -3*q(i) - 4*w(i). Let s be c(6). Is 14 a factor of h(s)?
True
Let w(g) = g - 9. Let i be w(10). Let q(b) = 11*b + 1. Is q(i) a multiple of 4?
True
Let j = 293 - 187. Is 17 a factor of j?
False
Suppose 0 = q + r + 3*r - 56, 4*q = 5*r + 182. Let m be ((-2)/(-6))/((-1)/(-6)). Suppose m*j - q = -j. Is j a multiple of 6?
False
Let i = -15 + 27. Let p = i + -5. Suppose 5*r - 48 = p. Is r a multiple of 11?
True
Let x be -84*(-1 + 1/2). Let l be -6*1*(-182)/(-