of 1*-68*(0 - 15/10)?
True
Suppose -150 = -63*b + 61*b. Does 26 divide b?
False
Let b = -30 - -66. Is b a multiple of 25?
False
Let s(l) = -l**3 + 15*l**2 - 12*l - 3. Is 4 a factor of s(14)?
False
Suppose 4*t = -4*j + 180, 7*t - 75 = -2*j + 2*t. Is j a multiple of 13?
False
Suppose k + p - 4 = 0, -3*k - 5 = 4*p - 18. Suppose k*b + 39 = -2*i - 2, 2*b = 5*i + 74. Let m = 24 + i. Is 8 a factor of m?
True
Let b(s) = s**3 + 5*s**2 - 6*s + 4. Let n be b(-6). Suppose 3 = 5*y - n*y. Suppose 3*x + v + y*v - 8 = 0, -4*x + 24 = 2*v. Does 8 divide x?
True
Suppose -5*k = -4*a + 209, 3*k - 33 = -2*a + 66. Is a a multiple of 8?
False
Let i = 244 + -133. Let v = i + -76. Is 24 a factor of v?
False
Suppose -235 = -7*u + 2*u. Is u a multiple of 14?
False
Let s = 165 - 93. Is 24 a factor of s?
True
Let f(k) be the first derivative of -k**3/3 + 60*k - 1. Let a be f(0). Suppose a = -w + 4*w. Is 10 a factor of w?
True
Let r(q) = -q - 6. Let m be r(-7). Suppose -m = -c + 3. Suppose c*v - 26 = 2. Is v a multiple of 3?
False
Let a(d) = -112*d - 17. Let t be a(-7). Does 22 divide (t/(-39))/(1/(-3))?
False
Is 326/(-4)*(3 + -5) a multiple of 11?
False
Is 7 a factor of ((-39)/(-21) + -1)*28?
False
Let c(w) = 5 + 4*w + 0*w**3 - 7*w**2 + 7*w**3 - 6*w**3. Let q be c(8). Let o = q + -59. Is o a multiple of 15?
False
Let q(p) be the third derivative of 0*p**4 + 7/2*p**3 + 0 - 1/120*p**6 + 0*p**5 - p**2 + 0*p. Is q(0) a multiple of 8?
False
Let l(v) = -v**3 - 19*v**2 + 17*v + 15. Is 15 a factor of l(-20)?
True
Let v(m) = m + 6. Let t be v(-3). Let a(w) = -4*w + 4. Let i be a(t). Let r(x) = x**3 + 9*x**2 + 5*x + 10. Is 18 a factor of r(i)?
False
Let v = 2 + -10. Let b be 2 - -20 - (1 + -1). Let o = v + b. Is 9 a factor of o?
False
Let u(c) = -c**3 - 2*c**2 - c + 1. Let t be 2/(-4) + (-6)/4. Let v be u(t). Suppose 0 = -o + 6 + v. Is 8 a factor of o?
False
Let x(z) = z**2 - 5*z + 9. Is 19 a factor of x(8)?
False
Let x(r) = -4*r + 6. Let z be x(6). Let m(a) = a + 3. Let f be m(-6). Is 1/f + (-330)/z a multiple of 9?
True
Let k(d) = 2*d**3 - d + 8 - 7*d**2 - 3*d - 3*d**3. Let c be k(-6). Let g = c + 18. Is 14 a factor of g?
True
Suppose -4*z = 5*u - 20, -4*u + 9 + 1 = 2*z. Suppose z*y - 15 = 10. Suppose -2*x + 33 = y*a, -5 = -4*a + 15. Does 4 divide x?
True
Let t be (0 + -4)/2 + 73. Suppose t = 5*q - 104. Is q a multiple of 10?
False
Suppose -4*y = -18 - 126. Is y a multiple of 12?
True
Let a(b) = -27*b - 4. Let o(n) = n - 1. Let d be o(-1). Is 25 a factor of a(d)?
True
Suppose l = 3*l - 20. Does 5 divide l?
True
Suppose -2*o + 3*p = 50, -2*o - 5*p = o + 56. Let n(r) = r**3 + 2*r**2 - r - 2. Let c be n(-2). Let w = c - o. Does 11 divide w?
True
Let n(g) = -12*g + 5. Does 17 divide n(-1)?
True
Suppose 0 = -5*k + 6 + 14. Suppose -k*x = -x - 156. Is 26 a factor of x?
True
Let z be (-2)/(-7) + 260/(-28). Let q(t) = -11*t - 9. Let d be q(z). Suppose 5*i - 25 = d. Is 23 a factor of i?
True
Let c = -2 + 3. Let l(g) = -3 - g + c + 0. Is l(-4) a multiple of 2?
True
Let l = 153 + -139. Does 14 divide l?
True
Suppose c = 4*s - 155, -2*c + 155 = 4*s - 15. Let d = 25 - s. Does 9 divide d*6/20*-6?
True
Suppose -1 = -2*s + 5. Suppose -34 = s*m - 136. Does 17 divide m?
True
Suppose -2*o + 10 = -7*o. Let v = o - -7. Is v a multiple of 2?
False
Let o(h) = 6*h**2 + 4*h + 2. Let i = -17 - -15. Is o(i) a multiple of 6?
True
Let j(u) = 5*u**2 - 11*u - 70. Let w(c) = 3*c**2 - 7*c - 47. Let o(s) = 5*j(s) - 8*w(s). Is 13 a factor of o(0)?
True
Suppose 0 = v - 0*v + 5. Let i be (v/10)/(2/12). Does 14 divide 205/15 - 1/i?
True
Suppose 2*a - 5 - 3 = 0. Suppose -l + 2*u = -3*l + 12, 5*l = -u + 14. Suppose 3*z - 7*z + 105 = p, a*z - l*p = 90. Is 13 a factor of z?
False
Suppose -5*o - 26 = -3*q, -3*o - 17 + 7 = q. Let w be -120*o/(16/3). Suppose l + 4*l = w. Is 13 a factor of l?
False
Suppose 388 = 7*u - 3*u. Does 7 divide u?
False
Let f = 21 + -35. Is (-7)/f*(120 - 0) a multiple of 16?
False
Does 2 divide 12/66 + 260/22?
True
Let f(m) = 5*m**3 + 5*m - 6 - m**3 + 9*m**2 - 3*m**3. Let p be f(-8). Suppose 4*q - p = 34. Does 13 divide q?
True
Let b(q) = -3*q + 2. Let j be b(-2). Let p = -34 - -39. Suppose -j = -p*a + 2. Does 2 divide a?
True
Let h be 1 - (-1 + 1 + -1). Suppose c - 6 = -h*c. Suppose 3*j + 3*w = 47 - c, -3*j - 2*w + 50 = 0. Does 10 divide j?
True
Suppose -4*n = -5*z + 13, -4*z + 31 = 2*n + 5. Does 2 divide z?
False
Let t = -39 + 58. Suppose d + 3*d = 0. Suppose d*x - t = -x. Is 16 a factor of x?
False
Does 8 divide ((-1368)/(-9))/((2 - 3)/(-1))?
True
Let u(d) = -15*d - 3. Let o be u(-2). Let b = -6 + o. Is 7 a factor of b?
True
Let a = 227 - -46. Suppose 0*x = -3*x + a. Is 13 a factor of x?
True
Suppose 2384 = -o + 5*o + 2*f, -5*f = 2*o - 1200. Does 21 divide 3/9 - o/(-15)?
False
Let g = -54 + 31. Suppose -4 - 20 = 2*z. Let k = z - g. Is 7 a factor of k?
False
Suppose -v + 144 = 2*v. Is v a multiple of 20?
False
Suppose 0 = -2*v + 3 + 5. Let p = v + -2. Suppose -p*w = 3*h - 63, 4*h + 5*w - w - 80 = 0. Is 16 a factor of h?
False
Is 17 a factor of ((-3 - 1) + 3)*-51?
True
Suppose 2*b - 6*b = -8. Suppose -b*s = -2*d + 98, d + 2*s - 44 = -10. Does 17 divide d?
False
Suppose 4*m + 74 = -2*i + i, 4*i = -8. Does 34 divide m/1*(-60)/9?
False
Does 23 divide (-1)/(2 - (-145)/(-72))?
False
Let s = 2 + -1. Let q = 6 - s. Is q a multiple of 2?
False
Suppose 3*p - r = 93, -3*r = -13 + 4. Is p a multiple of 3?
False
Suppose -f = 4*a - 60, 3*f - 40 = 2*f + a. Is f a multiple of 11?
True
Suppose 0 = -p + 87 - 27. Suppose p = 5*a - 10. Does 14 divide a?
True
Suppose n + 6 - 4 = 0. Suppose 10 - 1 = o. Let f = o + n. Is f a multiple of 5?
False
Suppose 5*r - 34 = 51. Is r a multiple of 17?
True
Let z(j) = -j**3 + 11*j**2 + 15*j + 5. Is 21 a factor of z(11)?
False
Suppose 7*n = 5*n - 20. Let z = 4 - n. Let v = z - -24. Is v a multiple of 19?
True
Let s = 4 + -2. Suppose 6 = s*v - 4. Suppose v*z - 110 = -0. Does 9 divide z?
False
Let g(m) be the first derivative of m**3 + 5*m**2/2 - 5. Does 7 divide g(-4)?
True
Let h = -77 + 268. Does 13 divide h?
False
Let w(b) = -6*b - 1. Let i be w(-1). Suppose 65 = -i*h + 250. Is 9 a factor of h?
False
Let u(d) = -d. Let z be u(-3). Suppose 0 = z*c + 7 - 43. Is 6 a factor of c?
True
Let z(r) = 2*r - 8. Let w be z(6). Let c = 7 - w. Does 2 divide c?
False
Suppose 0 = -2*o + 32 + 88. Is o a multiple of 20?
True
Let u be ((-8)/(-12))/(6/1557). Let p = u - 34. Suppose -2*n = -q + 64 - 11, n + p = 3*q. Is 17 a factor of q?
False
Does 14 divide (15/(-5) - -1) + 16?
True
Let d be 12*(-3 + 10/3). Suppose 27 = d*i + 11. Suppose 8 = -2*r, -i*r = -5*c + 173 - 12. Does 20 divide c?
False
Let y(o) = -3*o + 7. Does 4 divide y(-3)?
True
Let y(t) = 13*t**2 - t. Let l be y(1). Let d = l + 3. Is 13 a factor of d?
False
Let n(m) = -1. Let r(f) = -4*f + 1. Let d(a) = -6*n(a) - 3*r(a). Let j be d(6). Let x = -52 + j. Is x a multiple of 10?
False
Suppose 5 - 25 = -n. Suppose -y - 4*y + n = 0. Is y a multiple of 2?
True
Suppose -2*q = -2*i, -4*q + i = -0*q - 3. Let s = q + 9. Does 3 divide s?
False
Let v(t) = 113*t. Let l be v(-1). Let w = l - -166. Is w a multiple of 13?
False
Suppose -3*f + 5*f - 60 = -5*x, -2*x + 3*f + 24 = 0. Is x a multiple of 4?
True
Let v be 2/5 + 246/(-15). Let x = v - -40. Does 9 divide x?
False
Suppose 3*y + 2*l + 0*l - 412 = 0, -3*y + 415 = -l. Does 46 divide y?
True
Let b(t) = t**2 + 5*t + 6. Let v be b(-4). Let h be 4/6*9/v. Suppose 0 = 5*n + l - 37, -h*l + 5 + 1 = 0. Is 7 a factor of n?
True
Is (6 - (-64)/(-6))*102/(-4) a multiple of 12?
False
Suppose 2*z + 144 = 5*z. Is 12 a factor of z?
True
Let y = -74 + 107. Is 11 a factor of y?
True
Suppose 2*c - 72 = -c. Is c a multiple of 6?
True
Let b(f) = -2*f**3 - 8*f**2 - 3*f - 2. Let u be b(-5). Suppose -u = -2*o - 23. Is 10 a factor of o?
True
Let z(h) = -4*h**3 - 21*h**2 + h + 1. Let f(y) = y**3 + 5*y**2. Let o(v) = 9*f(v) + 2*z(v). Let c be o(-2). Suppose -7 = c*s - 3*s. Is s a multiple of 4?
False
Suppose 10 = 2*x - 4*x, 5*f - 335 = 5*x. Let g = 31 - f. Let z = -17 - g. Does 10 divide z?
False
Let a = 46 + -21. Is 20 a factor of a?
False
Suppose l - 4*w - 18 = 0, -4*l + 3*w + 24 = -9. Let o = 11 - l. Is 2 a factor of o?
False
Suppose -4*v + 50 = v. Is v a multiple of 9?
False
Let a(p) = -7*p**2 - 3*p. Let j be a(-3). Let q 