
False
Suppose 0 = 3*n - 0*n - 30. Suppose -2*s = -4*s + 3*y + 15, 3*s - 2*y - n = 0. Suppose 22 = 2*x + x - 5*g, 3*x - 3*g - 30 = s. Is x a multiple of 4?
False
Let y(n) = 2*n - 4. Let v be y(4). Suppose i - 13 = -2*g, 2*g - 4 = v*i - 16. Is g a multiple of 2?
True
Suppose -4*c - 2*z - 3 = -z, 3*c + 4*z - 14 = 0. Is 14 a factor of -38*1*c/2?
False
Suppose 9*k - 4*k - 4*y - 478 = 0, 4*y - 12 = 0. Suppose 5*a + 2*u = k, -4*a - u + 64 = -3*u. Does 18 divide a?
True
Suppose -5*c + 255 = 3*v + 97, 0 = -c - 4*v + 18. Let k = -16 + c. Is k a multiple of 18?
True
Suppose -4*q = -268 - 72. Suppose -t - 2*t + 5*v + q = 0, -3*v - 95 = -4*t. Is t a multiple of 20?
True
Suppose v + 1 - 3 = 0. Let b be 120/25 - 2/(-10). Suppose 3*n - 42 = 3*r, 4*r = v*n - b*n + 49. Is n a multiple of 5?
True
Let n = 0 + -2. Let o(i) = -25*i**2 + i - 26. Let m(k) = -5*k**2 - 5. Let t(x) = -11*m(x) + 2*o(x). Is t(n) a multiple of 8?
False
Suppose -4*b = -3*g - 192, 0*g - 8 = 2*g. Let d = -9 + b. Does 9 divide d?
True
Is ((-8)/(3 - 4))/((-2)/(-4)) even?
True
Let n = 10 - 10. Suppose -2 = -4*v + 6, -2*k - 5*v + 44 = n. Does 6 divide k?
False
Let m(n) = n**3 + 3*n**2 + 2. Let o be m(-2). Suppose o*g - 11*g + 60 = 0. Is 12 a factor of g?
True
Let n = -4 - -4. Let j = n - -13. Is 5 a factor of j?
False
Let m(a) = -2*a - 3. Let z(k) = k - 1. Let r(n) = m(n) - 4*z(n). Does 14 divide r(-5)?
False
Suppose 0*x - 5*x + z + 14 = 0, 0 = 3*z - 3. Let o(q) = 2*q - q**2 - 3 - q**x - q - 3*q**2 - 4*q. Does 6 divide o(-4)?
False
Let b = -3 + 19. Suppose 0 = 5*h - 34 - b. Suppose f - 7 = h. Is f a multiple of 7?
False
Let t = 14 + -10. Suppose -s = -t*s - 72. Is 6 a factor of (3 + -4)*s/2?
True
Let i(t) = t**3 - 2*t**2 - 2. Let s be i(2). Does 5 divide (-1)/((-5 - s)/21)?
False
Suppose 105 = 5*z - 95. Is 10 a factor of z?
True
Let k(a) = 15*a + 15. Does 12 divide k(7)?
True
Let r be (-6)/(-1)*(-1)/(-2). Suppose -913 = -5*s - 4*u, 2*s + 2*s + 4*u = 732. Suppose 3*a - m = s - 68, -r*a = 5*m - 101. Is a a multiple of 23?
False
Let p be ((-15)/6 + 2)*0. Does 8 divide 8*1 + p/(-6)?
True
Let j = -11 - -18. Let d = j - 8. Is 14 - (0 - 2/d) a multiple of 12?
True
Suppose 5*w + 19 - 159 = 0. Is w a multiple of 14?
True
Let i be (-1 - -5)/(-2 - -4). Let c = 189 - 99. Suppose c = 5*w - i*w. Is 14 a factor of w?
False
Suppose a = -4*g + g + 37, -5*g - a = -65. Let x be (-4)/(-14) - (-94)/g. Suppose -2*d = -19 + x. Is 4 a factor of d?
False
Suppose -2 = -s + z, 0 = -4*s + 5*s - 3*z - 4. Is (s*31)/(11/11) a multiple of 9?
False
Suppose -64 = -2*b - 2*b. Suppose -5*c + 104 + b = 0. Is c a multiple of 11?
False
Let v = -24 - -30. Is v a multiple of 3?
True
Suppose 0*z = z + 5*v - 29, 5*z = -4*v + 124. Does 12 divide z?
True
Does 6 divide 25 + 2 + (-2 - -3)?
False
Let u(h) = -6*h + 4. Suppose 2*y + 15 = -y. Is 14 a factor of u(y)?
False
Suppose c + 2*q = 0, 0 = 3*c + 5*q - 1. Suppose 8 = w + c. Is 6 a factor of w?
True
Suppose -12*o + 16*o - 124 = 0. Is 22 a factor of o?
False
Suppose -i = -5*g + 39, -i = 5*g - 4*i - 37. Let v = g - 2. Is v a multiple of 6?
True
Suppose -57 = 3*i - 0*i. Let m = -2 - i. Is m a multiple of 15?
False
Suppose -j + 4*j - 37 = 2*w, -5*j = w - 53. Is 6 a factor of j?
False
Is 16 a factor of 1/3 - (-191)/3?
True
Suppose 7*n = 4*n + 210. Does 10 divide n?
True
Let o = -28 - -60. Suppose -5*s - 2*n - o = 0, 0*s - 5*n = -s - 1. Is 15 a factor of (-4)/s - 254/(-6)?
False
Let c(q) = -3*q - 14. Let g be c(-10). Suppose -14 - g = -2*u + 2*i, -3*i + 12 = 0. Is 5 a factor of u?
False
Let s be (-123)/(-39) + 4/(-26). Suppose 3*j - 3 = -i + 4, 0 = -s*j + 5*i + 37. Is j a multiple of 2?
True
Suppose -9 = 3*w - 6*w. Let y be 3/((-1)/112*-4). Does 10 divide (y/(-4))/(w/(-2))?
False
Suppose -m + 3*m - 16 = 0. Suppose -56 = -2*j - m. Does 24 divide j?
True
Let c(x) = x + 14. Let m be c(-10). Suppose -m*b + 35 = -37. Does 9 divide b?
True
Let w(z) = 2*z + 6. Let n be w(-4). Let d be (-28)/(-12) + n/6. Suppose 0 = -d*j - j + 39. Does 13 divide j?
True
Let s(d) = d**3 + 17*d**2 + 14*d - 23. Is s(-16) a multiple of 4?
False
Suppose -3*z + 4 = -z. Suppose z*j = 3*j - 14. Is 164/j - (-4)/14 a multiple of 6?
True
Suppose -u = -3*u. Suppose -j + 2*j - 115 = u. Suppose 8*g - j = 3*g + 5*o, -3*g - 2*o = -59. Is 21 a factor of g?
True
Suppose -3*n + 37 + 83 = 0. Does 10 divide n?
True
Suppose d - 10 = v, -4*d - v + 19 = 4. Let g(c) = c**3 - 5*c**2 + c + 4. Is 9 a factor of g(d)?
True
Suppose -19 - 21 = -2*z. Is z a multiple of 5?
True
Suppose 5*k - 260 = -0*k. Is k a multiple of 26?
True
Suppose 0 = 4*p + n - 596, -5*p + 0*p - 4*n = -734. Is p a multiple of 30?
True
Let x be (-74)/(-8) - (-6)/(-24). Suppose x*m - 4*m - 85 = 0. Is 17 a factor of m?
True
Let x(p) = -5*p + 3*p - 4 - p + 0. Is x(-5) a multiple of 5?
False
Let y(u) = -u - 1. Let t be y(-8). Let a(j) = -j**2 + 10*j - 3. Let n be a(t). Suppose -3*g = -6*g + n. Is g a multiple of 3?
True
Suppose z - 28 = -4*f + 5*z, 4*z + 8 = 0. Suppose -69 = f*x - 2*x. Let g = x + 57. Does 17 divide g?
True
Let n(g) be the third derivative of 1/8*g**4 + 0 + 4/3*g**3 + 1/120*g**6 - 1/10*g**5 - g**2 + 0*g. Is 13 a factor of n(6)?
True
Let b = -4 - -9. Suppose d = 6*d - 15. Suppose b*v - 3*v - 4*w - 34 = 0, -v - 3*w = d. Is 5 a factor of v?
False
Suppose 2*l + 32 = 7*u - 2*u, -4*u + 23 = l. Suppose u*q = q + 70. Is 7 a factor of q?
True
Let o(j) = -j**3 - 7*j**2 + 2*j - 4. Let z(r) = r**3 + r. Let m(c) = o(c) + 2*z(c). Is 13 a factor of m(7)?
False
Let p = 17 + -45. Is 12 a factor of (-299)/(-7) + (-8)/p?
False
Let n(v) = -1 + 6*v + 3 - v. Suppose -8 = -6*u + 3*u - j, -4 = 2*u - 4*j. Is n(u) a multiple of 12?
True
Let z = -56 + 191. Suppose -2*j - 5*f = -6*j + z, 0 = 5*f - 25. Is j a multiple of 8?
True
Let q(z) = z**3 + 6*z**2 + 6*z + 4. Let u be q(-4). Suppose -u = -j - 3*j. Is 3 a factor of j?
True
Let y = 581 - 263. Does 55 divide y?
False
Let k(r) = -r**3 + 8*r**2 + 9*r + 14. Is 12 a factor of k(8)?
False
Suppose 0 = 4*y + 5*x + 58, -13 - 5 = y + 3*x. Let d = y + 32. Is d a multiple of 7?
False
Suppose -3*k + 23 = 4*b, 5*k = 2*b + 7*k - 10. Is b a multiple of 8?
True
Let o(t) = -t**3 + 13*t**2 - 9*t - 8. Let v be o(12). Suppose -v = -8*s + 6*s. Is s a multiple of 14?
True
Suppose 3*x - 3*w - 25 - 53 = 0, -5*x = -3*w - 140. Is 13 a factor of x?
False
Let d(l) = -2 - 3 + 0 - 4*l. Is 4 a factor of d(-6)?
False
Let p = -7 + 7. Suppose -2*b + b + 7 = p. Is b a multiple of 3?
False
Let b = -7 - -9. Let t(g) = 6*g**3 - 2*g**2 + 3*g - 2. Does 22 divide t(b)?
True
Suppose 6*i + 80 = d + 11*i, -d - 2*i = -71. Is 13 a factor of d?
True
Let d be ((-3)/2)/((-12)/32). Let v be 4/(-6) - (-154)/6. Let z = v + d. Is 11 a factor of z?
False
Let k be (-6)/(-30) - (-9)/5. Let y(f) = 4*f**2 + 3*f - 2. Let n be y(k). Does 5 divide (48/n)/(2/10)?
False
Suppose -352 = 3*g - 7*g. Let j = g + -31. Suppose 4*l - k = j, -l + 2*l = 2*k + 16. Does 7 divide l?
True
Is 1/(-3)*(-3)/(-1)*-21 a multiple of 3?
True
Suppose -43 = -2*q + 21. Is q a multiple of 16?
True
Let k(r) = 5*r**3 - 2*r**2 + 1. Let a(j) = 10*j**3 - 4*j**2 + 2. Let i(s) = -6*a(s) + 13*k(s). Let b be i(1). Is 52/16*2*b a multiple of 13?
True
Let c = 20 + 28. Is 23 a factor of c?
False
Let d(c) = -c**2 - 8*c - 4. Let o be d(-7). Suppose -m = o*w - 29, 3*w - 4*w + m = -7. Is w a multiple of 9?
True
Suppose 2*j - 3 = 3*d, 2*j - 3*d - 1 = 2*d. Suppose j*u + 3*y - 57 = 0, 4*u - 2*u = -3*y + 38. Is 9 a factor of u?
False
Suppose -56 = -5*l + 2*s, 3*s - 1 = -3*l + 2*l. Is l a multiple of 10?
True
Let m = 18 + 51. Does 23 divide m?
True
Suppose -3*n = 5*u - 333, 4*n - 6 = -2. Is u a multiple of 33?
True
Let d be 0*(-3)/(-6) + 93. Suppose 3*w = -w + 4*g + 204, -2*w = g - d. Does 12 divide w?
True
Suppose -2*v + a - 27 = -0*a, -31 = v - 4*a. Let m = v + 15. Does 2 divide m?
True
Let r be 17/3 - (-8)/(-12). Suppose -12 = -r*p + 13. Does 5 divide p?
True
Let v = 12 - 9. Is v even?
False
Let t(n) = 5*n + 12. Does 31 divide t(10)?
True
Is 8 a factor of (-186)/(-30) + -6 - (-439)/5?
True
Suppose -x - 31 = 66. Let p = -59 - x. Does 19 divide p?
True
Suppose 4*s - 16 = 5*v, 12 = 5*s - 2*s - 5*v. Suppose 0 = -4*i - 2*r - 3*r + 88, -101 = -5*i - s*r. Is 6 a factor of i?
False
Suppose 0 = 2*b - 34 + 14. Does 9 divide b?
False
Let b(r) = -r**3 + 8*