
True
Suppose 3*l - 31 = 29. Is 3 a factor of l?
False
Suppose 2 = 2*g, 2*p - 4*g + 44 = 4*p. Is p a multiple of 10?
True
Let p be 6/33 + (-4250)/22. Is 14 a factor of (-12)/(-28) - p/7?
True
Let x(t) = 7*t**2. Is 21 a factor of x(3)?
True
Suppose -60 = -8*z + 5*z. Is z a multiple of 5?
True
Suppose -n - 12 = -o, 0*o = 2*o + n - 39. Let d = 25 - o. Is (-2)/8 + 66/d a multiple of 5?
False
Let b = 97 + -66. Does 17 divide b?
False
Let u(i) = i + 5. Let j be u(-4). Let p be (j/3)/(2/66). Does 7 divide 0 + p - (-2)/(-2)?
False
Suppose 0 = -0*n + 4*n. Suppose 3*z - z - 24 = n. Is 7 a factor of z?
False
Let n(l) = l + 7. Let f be 2/8 + (-1)/4. Is 5 a factor of n(f)?
False
Let u(p) = -4*p**3 - p**2 + 1. Let q be u(-1). Suppose -2*g = -q*k - 74, k + 10 = -k. Is 9 a factor of g?
True
Is (-2)/(-1 - 236/(-244)) a multiple of 19?
False
Suppose -3*i + 42 + 108 = 0. Does 5 divide i?
True
Let z(n) = 10*n**2 - 4*n - 3. Let a be z(-2). Suppose -x + a = 2*x. Suppose -2*s + w + x = 0, 3*s + 3*w + w = 28. Is s a multiple of 8?
True
Let p = -17 - -41. Let r = p - 13. Does 8 divide r?
False
Let u = -157 + 233. Is u a multiple of 8?
False
Suppose -2*u + 3*k - 11 = 0, 2*k = -u - k + 8. Does 13 divide 35 - (-3 + 0) - u?
True
Suppose 2*f - 4 - 6 = 0, 3*f = 5*z - 285. Is z a multiple of 10?
True
Suppose -3*j = -5*o + 18 - 158, j - 4*o = 49. Does 3 divide j?
True
Let k = -108 - -122. Is 2 a factor of k?
True
Suppose v + 130 = 6*v. Let n = 17 + v. Does 9 divide n?
False
Suppose -42 - 42 = -4*g. Is g a multiple of 8?
False
Is 15 a factor of ((-16)/3 - -6)/(2/117)?
False
Let b(l) = 13*l + 3. Let r be b(6). Suppose 5*h - 4*d - r = 0, 5*h + 3*d - 86 = 2*d. Does 9 divide h?
False
Let z = 92 - 32. Is z a multiple of 24?
False
Suppose -552 = d - 7*d. Does 6 divide d?
False
Suppose w + 0*w = 0. Let a(k) = w*k**2 - 9*k + 2 - k**2 - 7. Is 15 a factor of a(-5)?
True
Let a = 111 - 51. Is a a multiple of 16?
False
Let k(h) = -2*h - 19. Let u be k(-13). Let b = 9 - u. Suppose -4*y + 92 = 4*n, 0*y + 4*y - 74 = b*n. Is 20 a factor of y?
True
Let l = 2 - -1. Suppose 4*b = l*m + 7, 5*b - b + 2*m - 22 = 0. Suppose -13 = -b*t - 1. Is t even?
False
Suppose 4*j + 1 - 5 = 0. Let d be 0 - (j - (2 - -3)). Suppose -6 = d*v - 34. Does 5 divide v?
False
Suppose -5*l + 2*l + 12 = -z, 3*z - 29 = -4*l. Suppose -l*s + 51 = -49. Suppose 4*m = 84 + s. Is m a multiple of 13?
True
Let u be (-52)/(-2)*(-30)/20. Let m = 57 + u. Is m a multiple of 10?
False
Does 10 divide ((-12)/5)/((-132)/2200)?
True
Suppose 3*q = -5*y - 120, 5*y - 6 = q + 14. Let u = -5 - q. Is 10 a factor of u?
True
Suppose -3*t - 3*h - 8 = -4*t, 5*h = -t. Suppose -t*z + 3*z + 34 = 0. Does 4 divide z?
False
Suppose 0 = 5*o - 3*p - 46, 3*o + 3*p = -p + 16. Is 2 a factor of o?
True
Let q(g) = g**2 - 25*g - 16. Does 38 divide q(27)?
True
Let g(i) = 7*i + 2. Is 25 a factor of g(14)?
True
Let s = 2 + 2. Suppose x = 2*x - s. Suppose 48 = x*m - 44. Is m a multiple of 15?
False
Suppose -2*z - 5 = -3*n, -2*n + 4 - 2 = -z. Let s = -1 - n. Suppose s = 2*u - 13 - 13. Is 6 a factor of u?
False
Suppose -110 = -10*n + 5*n. Is 3 a factor of n?
False
Suppose 0 = 5*i + 5*n - 15, -3*i + 9 = -n - 0. Is i a multiple of 3?
True
Suppose l = -5*n + 126, -5*l - 2*n = 2*n - 630. Does 18 divide l?
True
Let k(a) = 0*a - 3*a + a - 1. Is 5 a factor of k(-3)?
True
Let t = 11 - 5. Let x = 22 + 1. Suppose -h + t = -x. Does 12 divide h?
False
Suppose -12*h + 8*h + 16 = 0. Is 4 a factor of -3 + (-2 - -13 - h)?
True
Let c = -93 + 243. Is c a multiple of 9?
False
Let l = 85 + -52. Is l a multiple of 10?
False
Suppose -4*g + g = -156. Suppose 262 = 5*a + g. Is 21 a factor of a?
True
Let q = -15 + 98. Is 25 a factor of q?
False
Suppose j - 23 = 4*n, 0*j + j + 5*n + 13 = 0. Does 2 divide j?
False
Let g = -3 + 2. Let m = g + 12. Let k = m - -21. Does 11 divide k?
False
Let s(y) = y**2 + y - 1. Let r(j) = 6*j**2 - 7*j - 1. Let x(v) = r(v) + 4*s(v). Does 19 divide x(3)?
True
Let g = 0 - 8. Let d = 11 + g. Suppose 72 + 18 = d*b. Does 15 divide b?
True
Let w = 10 + -3. Let v(d) = -d**2 + 10*d + 2. Is v(w) a multiple of 6?
False
Let w be 40/15*9/(-4). Let o(t) = -t - 1. Is o(w) a multiple of 3?
False
Suppose 0 = d + 4, 5*i + 3*d = 4*i + 108. Suppose -426 = -4*x + 5*m - 122, -5*x = -4*m - 380. Let o = i - x. Is 12 a factor of o?
False
Let s = 117 + -57. Suppose -5*q + 94 = 4*u, q + s = 3*u - 1. Is u a multiple of 10?
False
Suppose -v = 2*v - 15. Suppose -2 = p - v. Suppose 4*g - 5*r = -12 + p, g + 11 = 3*r. Does 2 divide g?
True
Suppose 5*p + 4*u = 289, -3*u + 54 = p - 6*u. Does 13 divide p?
False
Suppose -3*v = 4*q + 8, 5 = 4*v - 4*q - 3. Suppose 2*s - 63 = -v*y - 3*y, 5*y = 5*s + 105. Is y a multiple of 7?
True
Suppose -5*b - 9 = -2*b, 5*b = -y + 3. Let p be (-12)/y + 22/6. Suppose p*v + 12 = 0, -a - 2*a + 2*v + 62 = 0. Is 9 a factor of a?
True
Let t be (-1)/(-3) + (-5)/(-3). Suppose 4*n + t*q = 4, 5*q = n + 3 + 7. Suppose 5*d - 5*k + 2*k - 56 = 0, 4*d - 3*k - 46 = n. Is d a multiple of 5?
True
Let o = -14 - -37. Is o a multiple of 6?
False
Is 6 a factor of -3 + 0 + 0 + 21?
True
Let s be ((-2)/(-3))/((-2)/3). Suppose -g - 2*g = 9. Let j = s - g. Is j even?
True
Suppose -7*m + 5*m = -32. Does 16 divide m?
True
Let c(i) = -7*i**3 - 6*i - 3. Let z be c(-2). Suppose -5*r + z = -85. Is r a multiple of 6?
True
Let h = 51 + -23. Does 7 divide h?
True
Let m = 3 - 1. Suppose -3*r - r + 8 = 0. Suppose 2*i = 3*b + 13, -r*i + 1 = -m*b - 13. Is 8 a factor of i?
True
Let h(x) = -5*x**2 + 2. Let r be h(-2). Does 6 divide 27/r*(-8)/1?
True
Let t be 2 + (2 + 0 - 3). Let g be (4 - 3)/(t/17). Let a = g + -9. Is a a multiple of 8?
True
Let c be (2 - 22/6)*-9. Suppose 2*s = s + 2*b - 6, 0 = s + 5*b - c. Suppose s = 3*g - 52 - 8. Is g a multiple of 15?
False
Let q(f) be the first derivative of 14*f - 1/2*f**2 - 1/3*f**3 - 2. Does 14 divide q(0)?
True
Let k = 47 - 23. Does 8 divide k?
True
Let m(k) = 2*k**2 + 3*k + 2. Let n = 2 + -2. Suppose n = 4*t + 2*x + 16, -3*x = -5*t - x - 2. Is m(t) a multiple of 4?
True
Let v = -65 + 43. Let d = v + 44. Suppose -5*n = 5*w - 75, d = 5*n + 3*w - 51. Does 7 divide n?
True
Let k be 2 - (-2)/((-2)/(-15)). Let x = -5 + k. Is x a multiple of 12?
True
Is 22 a factor of 30*(-3)/(-3) - 2?
False
Let z = -60 + 22. Let l = -20 - z. Is 9 a factor of l?
True
Suppose 6*y + n - 11 = 4*y, 0 = -2*y - 4*n + 14. Let c(u) = -14*u - 1. Let j be c(-2). Suppose t + o = 0, j - 2 = -y*o. Does 4 divide t?
False
Let b = -27 - -114. Let a = b - 60. Is a a multiple of 27?
True
Let b(s) = -3*s**2 - 3*s. Let f be b(-2). Let h = f + 18. Is h a multiple of 12?
True
Suppose -16*h = -2*h - 700. Is h a multiple of 30?
False
Let u = 6 - 4. Let f be u/9 + (-4)/18. Suppose 3*m + 20 - 73 = 2*n, f = m + 5*n + 5. Is 9 a factor of m?
False
Let c = 46 + 75. Is 12 a factor of c?
False
Let t(w) = -2*w**2 + 8 - 5*w - w**3 - 4*w**2 - 16. Let s be t(-6). Let p = s - 12. Is 6 a factor of p?
False
Let q = 144 - 91. Does 22 divide q?
False
Let l(i) = -110*i - 2. Is 18 a factor of l(-1)?
True
Let q = -4 + 2. Let w(k) = -k**3 - k**2 + k - 2. Let j be w(q). Suppose j = -4*m + m + 15. Is 4 a factor of m?
False
Let h be (-4)/6 - (-10)/(-30). Does 13 divide (0 + 13)/(h/(-2))?
True
Let z(h) = 10*h**2 - 9*h - 13*h**2 + 5*h**2. Suppose 5*b + 11 = 3*m, -5*m = -2*m - 3*b - 15. Is z(m) a multiple of 13?
False
Let h(y) = y**2 + 12*y - 13. Is 19 a factor of h(6)?
True
Let h(z) = z**3 + 6*z**2 - 8*z + 9. Suppose -2*k = 3*t - 3, -t + 1 = 4*k + 10. Suppose 0 = t*w + 12 + 9. Is 8 a factor of h(w)?
True
Let o = 9 + -5. Suppose -3*u + 4*u - o*g + 17 = 0, -51 = 3*u + 3*g. Let h = u - -24. Is 7 a factor of h?
True
Let q be -112*10/24*3. Does 12 divide q/(-12) + (-1)/(-3)?
True
Suppose -24 = -4*j + 3*j. Is 12 a factor of j?
True
Let q(a) = -a**2 - 11*a + 11. Let i be q(-11). Let h = 28 - i. Does 6 divide h?
False
Let r(w) = -w**2 - w + 12. Let m be r(0). Is 11 a factor of (m/3)/(-4) - -42?
False
Let c = 107 + -63. Suppose 12*f - 8*f - 8 = 0. Suppose -2*z - f*z = -c. Is z a multiple of 7?
False
Let u(p) = p**3 - 2*p**2 + p + 3. Is u(3) a multiple of 4?
False
Let d = -4 + 24. Does 3 divide d?
False
Let r = -5 + 9. Let b = 6 - r. Suppose b*i = -0*i + 32. Is i a multiple of 16?
True
Suppose 4*c - 32 = -k, 2*k - 16 = -2*c - 2*k. Is c a multi