e c?
False
Suppose 6 = -3*f - 3. Suppose -3*z = z, 0 = -2*s - 3*z + 28. Let t = s + f. Is t a multiple of 7?
False
Suppose 0 = c + t, -t + 12 = 3*c - 2*t. Let n be -2 + (c - 2) + 5. Suppose 0 = n*f - 104 + 8. Does 12 divide f?
True
Let k = 23 - 12. Is k a multiple of 11?
True
Suppose 0*a + 5*a - 105 = -2*n, -3*n = -3*a + 63. Is a a multiple of 14?
False
Suppose -2*f - 6 = -4*f. Let g = -4 + f. Does 15 divide 1*(g - 34/(-1))?
False
Let y(x) be the first derivative of 7*x**4/4 - 2*x**3/3 - x**2 + 2*x + 6. Suppose -2*z = -4*z + 4. Is y(z) a multiple of 23?
True
Let j = -5 - -6. Let b be j/(-4) + (-25)/(-20). Suppose 95 = 3*g - b. Is 12 a factor of g?
False
Let i(s) = -49*s**3 - 2*s**2 + 1. Let m be i(-1). Suppose -m = -4*z + 8. Is 8 a factor of z?
False
Let r(p) = -p**2 - 6*p - 2. Let x be r(-4). Suppose 2*c + 56 = x*c. Is c a multiple of 14?
True
Suppose 25*m + 22 = 27*m. Suppose -2*a + 4*a = 0. Suppose a*q = -q + m. Is q a multiple of 4?
False
Let o(r) = -r**3 - 4*r**2 - 3*r. Let a be o(-3). Suppose a = -0*w - 4*w + 68. Suppose s + 2*g + w = 2*s, 2*g - 67 = -3*s. Is s a multiple of 8?
False
Suppose 0 = -4*o + 5*o - 45. Suppose -6*j + j = -o. Is j a multiple of 2?
False
Suppose -5*l + 0*l + 476 = d, 464 = 5*l + 4*d. Is l a multiple of 16?
True
Suppose -5*r + 3 = -7. Suppose 5*p - 10 = -2*x, r = 3*x + p - 13. Suppose 4*z - 20 = -2*k, -4*k + x*z + 0*z = -14. Is 6 a factor of k?
True
Let p be 2*-1 - (6 - -3). Let w = p + -5. Let i = -9 - w. Does 7 divide i?
True
Let g = -41 + 42. Suppose -o = -4*h - 46, 125 = 2*o + 3*o + h. Suppose g = i - o. Is i a multiple of 9?
True
Let v be (-51)/(2 - 5) + -2. Suppose 0 = 3*m - 5*o - 9, -o - v = -5*m + 4*o. Is m even?
False
Let h(z) be the first derivative of 3*z**2/2 + 3*z - 2. Let d be 3/(-4)*(-4)/1. Is 12 a factor of h(d)?
True
Let z = 3 + 2. Suppose 44 = z*i - i. Does 6 divide i?
False
Let x(i) = -i**3 + 3*i**2 + 6*i - 5. Let q be x(4). Let m(b) = 2*b**2 - 3*b - 3. Let v be m(q). Let c = v - -2. Is c a multiple of 8?
True
Let m = -4 + 10. Suppose q + m = -4. Is q*(0 + (-7)/2) a multiple of 15?
False
Let g be (-2 + 1)/((-6)/240). Let b = g + -23. Is b a multiple of 9?
False
Does 15 divide (-12)/(-1*2 + (-56)/(-30))?
True
Let n(k) = -k**2 - 2*k - 3. Let v be n(-2). Let f = -1 - v. Is 13 a factor of -3 + 2 + f + 33?
False
Let n(b) = -7*b - 5. Does 3 divide n(-3)?
False
Let p be (-40)/(-12) + 2/(-6). Suppose 0 = 4*n + q - 12, -20 = -3*n - n - p*q. Suppose c - n*c = -27. Is 11 a factor of c?
False
Suppose 186 = 5*n - 0*z + 3*z, 0 = 3*n + 3*z - 114. Does 24 divide n?
False
Suppose 8*f - 14 = 7*f. Is f a multiple of 3?
False
Let p be 2/6 + 66/(-9). Let n be (-14)/p - (-1 - 0). Suppose 5*r = n*r + 14. Is 7 a factor of r?
True
Let m(q) = 2*q**2 - 3*q + 7. Is m(5) a multiple of 12?
False
Suppose 2*r + 2*r = 16. Suppose r*c - g = 68, -4*c - g = 3*g - 48. Is 16 a factor of c?
True
Let b be (-6)/(-39) - (-167)/13. Suppose 0 = -l + 61 + b. Is 33 a factor of l?
False
Suppose 5*n = t + 44 + 5, 2*t + 93 = 5*n. Let q = t - -91. Does 15 divide q?
False
Let g(q) = -3*q**2 + q**3 + q**2 - 8*q**2 + 26 - 20. Is 2 a factor of g(10)?
True
Suppose h + 0 = -6. Let w = -1 - h. Suppose 4 = w*j - 11. Is 3 a factor of j?
True
Let t = 99 + -53. Is 11 a factor of t?
False
Suppose 4*d = 1 + 23. Suppose -k + 70 = -d*k. Let o = -2 - k. Is 8 a factor of o?
False
Let r(s) = s**3 - 8*s**2 + s - 2. Let a be r(8). Let p(g) = 3*g + 6*g - 5*g + 2. Does 13 divide p(a)?
True
Suppose 0 = -5*f - 2*l + 26, 20 = 4*f - 0*f + 2*l. Is f a multiple of 2?
True
Let s(t) = -2*t + t + 2*t + 5*t - 5. Is s(7) a multiple of 14?
False
Let b be ((-1)/2)/((-1)/4). Suppose -v + b + 1 = 0. Suppose -v*y - 65 = -k, -3*k - y - 12 = -167. Is k a multiple of 19?
False
Let l(q) = 9*q - 9. Is 9 a factor of l(8)?
True
Suppose 0 = h - 3*h. Is 2 a factor of h - (-2 + 0 - 5)?
False
Suppose 33*j - 29*j = 1296. Is 12 a factor of j?
True
Suppose -i = i - 12. Let c(m) = m**3 - 4*m**2 - 10*m + 8. Does 10 divide c(i)?
True
Suppose 0 = y - 2*y. Suppose 5*l + 5*o - 710 = y, o - 6*o + 434 = 3*l. Suppose 0 = -2*h - h + l. Does 19 divide h?
False
Let h be (116 + 0)/(-1 - -3). Suppose 4*p - h = 38. Does 12 divide p?
True
Let x(u) = u**2 - 4*u + 10. Does 22 divide x(6)?
True
Let a = -4 + -5. Let i = 10 + a. Is (-1 - (i + 0)) + 12 a multiple of 7?
False
Let f(n) = n. Let u be f(3). Suppose 0 = -4*s + s + 3*w + 30, u*w = -4*s + 54. Does 7 divide s?
False
Let k(o) be the second derivative of -2*o**3/3 + 3*o**2 - 3*o. Let j be k(-7). Suppose 4*u = -3*b + j, -2*u - 59 - 41 = -5*b. Is b a multiple of 13?
False
Let a = 12 + -7. Suppose 0 = -g - a*p - 15, 0*p - p = 2*g - 6. Suppose -n = -5*c + 40, 61 = 2*c - g*n + 22. Does 3 divide c?
False
Let c(z) = 7*z**2 - 3. Let y be c(-3). Suppose y = 5*b - 0*b. Does 5 divide b?
False
Let g be 5/((-2)/(-2 - -6)). Let b be 354/g + 9/(-15). Is 6 a factor of (b/(-8))/(3/4)?
True
Suppose 5*u = 4 + 6. Let d be u + 0 - (-10 - 3). Is (-40)/d*42/(-8) a multiple of 7?
True
Let l = -10 - -27. Does 6 divide l?
False
Let a = -3 + -2. Let o be (-5)/a - (1 - 5). Suppose -5 + 55 = o*m. Does 10 divide m?
True
Let j be (-2)/(1/(-42)*-3). Let r = j - -1. Is (r - 0)*3/(-9) a multiple of 9?
True
Is 26 a factor of (936/(-45))/(1/(-5) + 0)?
True
Let c(s) = -9 + s + 13*s - 1 - 30*s**2 + 16*s**3. Let z(p) = 3*p**3 - 6*p**2 + 3*p - 2. Let h(t) = 2*c(t) - 11*z(t). Does 12 divide h(4)?
False
Suppose -6*b = -4*m - 2*b + 12, 5*b = -4*m + 3. Suppose 5*a - 35 = 5. Suppose -a = -m*j + 2. Is j a multiple of 5?
True
Let o = -8 - -15. Suppose -3*i + 2 = -o. Suppose -2*k + 28 = i*n, -2*k - 3*k = -n - 19. Does 6 divide n?
True
Let w(k) = k**2 - 3*k - 2. Let r be w(4). Let g(p) = 8*p**3 - 3*p**2 + 2. Let v be g(r). Let f = v + -27. Is 9 a factor of f?
True
Suppose 16 = -2*d - 2*d. Is 616/16 + 2/d a multiple of 20?
False
Let t be (-1 + 62/8)*4. Suppose 3*u = 9 + t. Is 6 a factor of u?
True
Let x = -9 + 14. Suppose -3*f - 5*c + 28 = 0, -4*f = -x*c - 9 - 5. Does 3 divide f?
True
Suppose 5*o - 30 = -0*o. Suppose 2*x + a - 51 - o = 0, -2*x + 32 = -4*a. Is 13 a factor of x?
True
Let s(v) = 7*v**3 - 10*v**2 - 4*v + 11. Let y(a) = 20*a**3 - 30*a**2 - 11*a + 32. Let d(u) = -17*s(u) + 6*y(u). Does 16 divide d(10)?
False
Let s be 26/4 + (-4)/8. Suppose 4*y - 20 = s*i - 2*i, -2*i - 15 = -3*y. Does 5 divide y?
True
Let c(w) = w**3 + 19*w**2 - 23*w + 3. Does 9 divide c(-20)?
True
Let f = -50 + 138. Is f a multiple of 34?
False
Let u(y) = -y**2 - 9*y - 10. Suppose 3*n = t - 5 - 12, t = -4. Let a be u(n). Suppose -a*p + 44 = 4. Is p a multiple of 5?
True
Let w(x) = 3*x - 4. Let g be w(3). Let m(b) = 2*b + 4. Is 7 a factor of m(g)?
True
Suppose 3 = -b + 6. Suppose b + 9 = 4*c. Is 2 a factor of c?
False
Suppose -p + 80 = p. Does 18 divide p?
False
Let d be 3/((-3)/2) + -4. Is 16 a factor of (-254)/d + (-2)/(-3)?
False
Let w = -5 - -4. Let r = -1 - w. Is 3 a factor of r - -8*1 - 2?
True
Suppose 3*v = -9 + 21. Let i be 4 + -7 + (-2 - -13). Suppose v + i = k. Does 8 divide k?
False
Suppose 5*c + 4*p = 39, -3*c - p - 9 = -31. Does 6 divide c?
False
Does 27 divide (2/(-4))/(1/(-120))?
False
Suppose -2*s + 46 + 86 = 0. Suppose -10 = -i + s. Let m = -36 + i. Is 14 a factor of m?
False
Suppose -133 = -3*f + 20. Does 17 divide f?
True
Does 4 divide (2 + -19)*(-8)/8?
False
Let q = 369 - 164. Does 30 divide q?
False
Let h(n) = n - 11. Let b be h(15). Suppose 0 = t - 4*y + 6, 7 + 11 = b*t - 2*y. Is 4 a factor of t?
False
Suppose 0 = -3*g + d - 0*d + 4, -2*g - 2*d + 16 = 0. Suppose 9 = -g*c + 6*c. Let s = c + 4. Is 5 a factor of s?
False
Let r(u) = 4*u**2 + 2. Let k be r(2). Is 10 a factor of -3*3/(k/(-26))?
False
Suppose -7*k + 134 - 15 = 0. Is k a multiple of 3?
False
Suppose l - 4 = -2. Let x(h) = l*h**3 - 3*h - h + 9*h - h**3 - 6 + 8*h**2. Does 8 divide x(-7)?
True
Let w(u) = -15*u + 10. Let g be w(8). Let q = -72 - g. Is q a multiple of 19?
True
Suppose -5*s - 4 = -19. Suppose 5*o - 65 = s*p, -25 = 3*p + 2*p. Does 10 divide o?
True
Suppose 0 = k + 2*k. Suppose k = -a - 4 + 8. Is a even?
True
Let l(o) = o**3 - 2*o**2 + 1. Let c be l(1). Suppose 5*q - 86 - 9 = c. Does 7 divide q?
False
Suppose -2*r - 138 = 5*s - 37, 0 = -3*r - s - 158. Let k = r - -26. Let z = -4 - k. Does 23 divide z?
True
Suppose -1 = 4*o - 5*r + 4*r, 2*