
True
Let t(z) = -3*z. Is 3 a factor of t(-1)?
True
Let v(i) = 6*i**3 - i + 1. Is v(2) a multiple of 11?
False
Is 10 a factor of 87/6*(0 + 4)?
False
Is ((-90)/(-9))/(2/8) a multiple of 7?
False
Let t be 0 - (1 + -3)*1. Is t/(-4)*(-112 - 10) a multiple of 22?
False
Let x(r) = 23*r. Let m(n) = -11*n. Let h(g) = -13*m(g) - 6*x(g). Is 9 a factor of h(2)?
False
Suppose 12 = 2*o + 2*o. Suppose -o*q = -z + 18, -5*q + 3 = -0*z + 2*z. Is 3 a factor of z?
True
Let l be ((-1)/3 + 0)*-9. Is l/(-12) + 57/4 even?
True
Let r(l) = 3*l - 3. Let u(m) = m**2 + m - 1. Let t(c) = -r(c) + 3*u(c). Let h be t(1). Suppose -93 = -h*p + 5*k, -k = p - 2*k - 33. Does 18 divide p?
True
Let k = 12 - 14. Let c be 9/(2/(-20)*-2). Is (-1)/(c/24 + k) a multiple of 3?
False
Suppose 5*s - h = 136, -104 = -4*s + 5*h + 9. Is 27 a factor of s?
True
Let b(n) = -n**3 - 7*n**2 - 5*n + 11. Is 6 a factor of b(-7)?
False
Let w(l) = l**3 - 12*l**2 + 10*l + 14. Let m be w(11). Suppose m*o + 18 - 96 = 0. Is o a multiple of 13?
True
Suppose 0 = -c - 4*c. Suppose 4*l + 5*t - 92 = c, l = 5*l - 4*t - 56. Is l a multiple of 9?
True
Let s(x) = -8*x - 4. Let v = 9 + -16. Let r = v - -4. Is 12 a factor of s(r)?
False
Suppose 9 = -0*q + q. Let d = -15 + q. Let m = d - -18. Does 6 divide m?
True
Suppose 0 = -0*t - t + 4. Suppose 0 = -v - 4*l + 8, t*v + 5*l - 70 = -v. Does 14 divide v?
False
Let t(g) = g**3 + 7*g**2 + 6*g - 8. Let d be t(-6). Let p(m) = -m - 8. Let b be p(d). Is (-51)/(-3) - (b - -1) a multiple of 8?
True
Let y(k) = -k**3 - 7*k**2 - 7*k - 4. Let b be y(-6). Suppose r + 5*v = -2*r + 109, -5*r + b*v = -130. Is r a multiple of 18?
False
Let a(h) = h**2 + 11*h - 6. Let k be a(-11). Let f(j) = j**2 + 6*j + 14. Is f(k) a multiple of 14?
True
Is 14 a factor of 86 + (2 - 1)*2*-1?
True
Suppose 25 = 3*s + 1. Is 16 a factor of s/((-10)/(-4) - 2)?
True
Suppose -4*j + 2*l + 45 = 7*l, -5*j = 2*l - 35. Suppose -5*i + 21 + 19 = 3*p, 0 = p - j. Is 2 a factor of i?
False
Let s = -890 - -530. Let w = 68 + s. Is 2/(-8) - w/16 a multiple of 8?
False
Is 15 a factor of 3 + 15/1 + -3?
True
Let j = -10 + 18. Is 2 a factor of j?
True
Let l(o) = 8*o - 6. Suppose 5*p = -0*p + 45. Let c = -5 + p. Does 13 divide l(c)?
True
Suppose -k + 2*p - 2 = 0, 0 = 6*k - 2*k - 2*p + 14. Is (-14)/k*4 - 2 a multiple of 12?
True
Let b be 55/(-15) + (-4)/(-6). Let z = b - -8. Suppose 0 = z*m - m - 52. Is m a multiple of 13?
True
Suppose 2*k + 0 = 14. Suppose 0 = 2*q - 2*m - 10, -2*q = 5*m + 2 + 2. Suppose q*v + 52 = k*v. Is 13 a factor of v?
True
Let k(w) = -w**3 + 14*w**2 + 5*w - 10. Does 24 divide k(14)?
False
Suppose 3*z - 7*z + 5*c + 27 = 0, -2*z - 9 = 5*c. Suppose 18 = -5*g + 4*d, 3*g + d + 0*d = -4. Let y = z - g. Is y even?
False
Let v(m) = m**3 + 10*m**2 - 16*m + 15. Does 5 divide v(-10)?
True
Suppose 5*a = -5*c, c - 2*a - 4 = -a. Suppose 64 = 2*y + c*y. Is y a multiple of 11?
False
Let d be ((-2)/(-3))/((-2)/3). Is 475/20 + d/(-4) a multiple of 12?
True
Let v(l) = -l + 57. Is v(0) a multiple of 5?
False
Let u = 9 + -15. Let k be 100/u*(1 + -4). Suppose -3*j = 2*j - k. Is j a multiple of 3?
False
Suppose 12*n - 8*n - 480 = 0. Does 15 divide n?
True
Suppose 0 = 3*r - 2*c - 977, 2*r - 338 = c + 312. Suppose -3*d = 38 - r. Suppose -5*u - 4*a + d = -49, 113 = 4*u + a. Does 20 divide u?
False
Let u = -53 + 105. Is u a multiple of 26?
True
Let f be (-7 - 2)/(2/(-4)). Suppose -54 + f = -4*p. Suppose -5*w = -4*r - p, w + 3*r = r + 13. Is w a multiple of 4?
False
Suppose 3*r = 604 + 539. Suppose 0 = 2*w + w - r. Suppose j = -4*b + w, 11 + 23 = b + j. Is b a multiple of 14?
False
Suppose -8*t = -5*t - 66. Is t a multiple of 12?
False
Does 15 divide 12/(-10)*(-270)/12?
False
Suppose 3*i + 4 = -5. Is 10 a factor of 178/8 + i/12?
False
Let m(j) = -j + 92. Let g be m(0). Suppose 3*k - g = -k. Does 7 divide k?
False
Suppose 7 = 2*i - 1. Suppose -6 = 2*t - i*t. Suppose -o - 4*o + 119 = -3*h, -t*o - 4*h = -54. Is o a multiple of 11?
True
Suppose -3*o + 74 = -25. Does 23 divide o?
False
Suppose 36 = 4*g - 4*o, -4*g + o + 21 = -2*g. Is g a multiple of 4?
True
Let n = -15 - -17. Suppose -2*k = t - n*t - 42, 4*k - 78 = -t. Is k a multiple of 10?
True
Suppose 0*f - 14 = -5*a - 4*f, 0 = -4*f + 4. Suppose y = -4*m - 7, 3*y + 5*m + 3 = a*m. Is y/(3*1/90) a multiple of 11?
False
Suppose -7 = -2*t + 1. Suppose -t*f = -4*a - 4, a - 5*a + 1 = f. Suppose a*h - h = -14. Is 7 a factor of h?
True
Let u(p) be the second derivative of p**4 - p**3/2 + 2*p**2 + 4*p. Is 23 a factor of u(2)?
True
Let b = -12 - -17. Suppose b*w = 2*w + 18. Is w a multiple of 2?
True
Suppose -20 = -3*k + 5*k. Let n = k - -18. Is 5 a factor of (-205)/(-20) + (-2)/n?
True
Let r = 26 + 70. Does 6 divide r?
True
Let z(r) = -3*r**3 - 7*r**2 - 7*r + 9. Let k(q) = -2*q**3 - 3*q**2 - 4*q + 5. Let y(g) = 5*k(g) - 3*z(g). Is 4 a factor of y(6)?
True
Suppose -150 = -11*f + 180. Is 3 a factor of f?
True
Let d = 6 - 3. Suppose -7*m + 48 = 5*m. Suppose -d*o + 4*l + 120 = 0, -5*o + 200 = m*l - l. Is 17 a factor of o?
False
Suppose -5*o - 80 - 55 = 0. Let t = 54 + o. Is 18 a factor of t?
False
Let c = -3 - -2. Let q(n) = 2*n + 16. Let p be q(-8). Does 19 divide (c - (-50 - 0)) + p?
False
Suppose -5*t - 81 = -501. Is t a multiple of 25?
False
Let i = -31 + 51. Is 7 a factor of i?
False
Suppose 0*j - 12 = -2*j. Is j/24 - 78/(-8) a multiple of 8?
False
Suppose 2*y + 7 - 3 = 0. Is 3 a factor of (2 + (1 - 7))*y?
False
Suppose 4*u + 24 = -0*u. Is 19 a factor of 788/18 - u/27?
False
Suppose -5*i + j + 12 = -34, 0 = i + 5*j - 30. Suppose -5*d + 3*d + i = 0. Suppose d*z + 3 = -4*g + 2*z, -2*z - 22 = -4*g. Does 2 divide g?
False
Suppose 2*c - 136 = 2*u, 287 = 4*c - u + 2*u. Does 4 divide c?
False
Let g = -78 + 134. Is 9 a factor of g?
False
Suppose -4*v - b - 69 = 0, -36 = 5*v + 4*b + 53. Let j = 28 + v. Is j a multiple of 8?
False
Suppose -4*n - 25 = -5*w, 3*n + 6 = 4*w - 13. Let g(d) = 4*d**3 - d**2. Does 2 divide g(w)?
False
Let u(t) = 2*t**2 + 8*t + 4. Does 14 divide u(-6)?
True
Suppose -102 = -x + 22. Is x a multiple of 62?
True
Suppose -2*p - 57 = -5*p. Suppose -119 + 347 = 4*u. Suppose -p = d - u. Does 13 divide d?
False
Is 39 a factor of 118/1 - (1 + 0)?
True
Suppose -4*z - 2*z + 72 = 0. Does 7 divide z?
False
Let s = 14 - 10. Suppose 2*v - 3*b = 10, v = -3*v - s*b + 20. Suppose -2*m - v = -19. Is 6 a factor of m?
False
Let l(n) = 1 + 6 - 3 - n. Is l(-8) a multiple of 6?
True
Suppose -n + 5*n = 56. Does 8 divide n?
False
Let d be (-4)/((-6)/(-27)*-3). Suppose -2*k = -d*k. Suppose k = -2*x - 3*n + 5, -2*x + 0*n - n + 7 = 0. Does 4 divide x?
True
Let s = -1 + 1. Does 6 divide (-1)/(4/(-64)) + s?
False
Suppose -2*z + 6*z + 2*s - 2 = 0, z - 2*s = -2. Suppose z = -3*w + 5*a - 29, -w = -a + 9 - 2. Let y = w + 16. Does 11 divide y?
False
Let v = 12 + -8. Let o = v - -3. Suppose -z + 4 + o = 0. Does 11 divide z?
True
Suppose k + 3*k + 1128 = 4*h, -4*k = 8. Is 43 a factor of h?
False
Suppose -4*d + 3*v + 2*v = -37, 3*v = 5*d - 30. Suppose 0 = -5*y - 2*i + 13, 5*y - d*i = -0*y + 18. Does 5 divide (3 - 0)*19/y?
False
Let l = 5 - -4. Let w(z) = 5*z + 7. Is w(l) a multiple of 21?
False
Suppose f = a, -a + 1 = -3*a + 3*f. Let d = -59 + 35. Does 10 divide (d - a)*(-4)/10?
True
Let p(u) = -2*u + 6. Let j be p(6). Let i be (-3)/2*32/j. Let f = -5 + i. Is 2 a factor of f?
False
Suppose 2*q - 2*g = -2, -q - 5*g = 2*q + 19. Let u = q - -5. Suppose z = u*z - 16. Is z a multiple of 6?
False
Suppose 0 = -a + x - 2*x + 149, 1 = -x. Is 25 a factor of a?
True
Let u(v) = 3*v**2 - 2*v - 1. Let r be u(-1). Suppose 3*f = 4*g - 132, -r*g + 146 = g + f. Is 10 a factor of g?
True
Let f(y) = -227*y**3 - 2*y**2 + y. Let g be f(1). Does 19 divide (g/(-9))/(4/6)?
True
Suppose -2*o + 7 = -4*g - o, -16 = g - 5*o. Let x be (-23)/(-2) + g/(-2). Suppose -3*w + x = w. Does 2 divide w?
False
Is (13/(-7) - -2) + 669/21 a multiple of 7?
False
Let y = 84 - 60. Does 8 divide y?
True
Let o be (-10)/(-85) - 264/(-68). Suppose -5*q = 3*b - 19, -6*q + q + 32 = o*b. Is 9 a factor of b?
False
Suppose 14 = 4*n - 2*i, 2*n - 29 = -3*i - 10. Does 5 divide n?
True
Is (-6 - (-78)/12)*5*4 a multiple of 10?
True
Suppose 2*y + u = 14, -u - u + 18 = 2*y. Suppose 4*s - 4*t + 14 + 2 = 0, s - y*t + 24 = 0. Is 4 a factor of s + 9/(-3) - -12?
False
Let d be 1/(