?
False
Suppose -n = 0, 5*n - 232 = c + 36. Is c/(-6) - (-3)/9 a multiple of 14?
False
Let i = 14 + -10. Suppose -5*b + 19 = i. Suppose n - 28 = -b*n. Is n a multiple of 3?
False
Suppose 2*m - 196 = -4*f, f - 196 = -3*f + 4*m. Let l = 75 - f. Does 10 divide l?
False
Let a(g) = -2*g - 2. Let q be a(-3). Suppose -4*j + 36 = j - 4*l, q*j = 4*l + 32. Suppose 0 = -s - 2*y + 13, 0 = -s - j*y - 0*y + 7. Is s a multiple of 15?
False
Suppose 2*k = 6*k. Suppose -2*h + 38 + 6 = k. Is 11 a factor of h?
True
Is (-1 - 13)*(-1 + 0) a multiple of 3?
False
Let l(c) = -6*c + 7. Suppose -4*x + x - 15 = 0. Does 17 divide l(x)?
False
Suppose -3*h - 16 = h. Let c(j) = 2*j**2 + 5*j - 1. Is 11 a factor of c(h)?
True
Suppose 0 = 3*x + 5*x - 112. Does 9 divide x?
False
Let x(r) = r**2 - 6*r - 4. Let k be x(5). Let o = k + -6. Is 7 a factor of (-10)/o + (-134)/(-6)?
False
Let d(n) = -n**2 - 6*n + 10. Let k be d(-7). Suppose 4*r - 9 - k = 0. Is r even?
False
Let j = -106 - -13. Let v be 2/10 + j/15. Is 10 a factor of ((-20)/v)/(4/12)?
True
Let k(v) be the first derivative of v**6/120 - v**5/15 - v**4/6 + v**3/2 - v**2 + 1. Let z(j) be the second derivative of k(j). Does 4 divide z(5)?
True
Is -4*28/(-8)*2 a multiple of 7?
True
Suppose 0*c = 4*c - 3*a - 36, 3*c - 4*a - 27 = 0. Let h = c + -5. Suppose -108 = i - h*i. Does 13 divide i?
False
Let g = 3 + -1. Let o be (4/(-3))/((-4)/210). Suppose -27 = -2*f - m, -g*f = 3*f + 5*m - o. Is 13 a factor of f?
True
Suppose 4*j + 69 = 2*i - 143, 0 = i + 5*j - 106. Is 37 a factor of i?
False
Suppose 0 = 3*t - 4*y + 3*y - 588, 0 = 5*t - 3*y - 980. Does 19 divide t?
False
Let d be 26/6 + 10/15. Suppose -c - 28 = -3*r - r, 2*r = d*c + 14. Is 5 a factor of r?
False
Suppose -3 - 7 = -j. Suppose -2*p - 2*p = s - 9, 0 = 3*p + 4*s - j. Suppose 114 = -0*l + p*l. Is l a multiple of 15?
False
Suppose 34*h - 31*h = 165. Does 19 divide h?
False
Suppose h = -2*d + 28, h + 2*h - 68 = 2*d. Is 12 a factor of h?
True
Is 11 a factor of (1 - -32)/3*4?
True
Let l(z) = z**3 + 8*z**2 - 2*z - 11. Let t be l(-8). Suppose -171 = -t*w + 59. Is 10 a factor of w?
False
Let m(w) = 153*w**3 + 2*w**2 - 2*w. Does 17 divide m(1)?
True
Let l be -10*(-3)/(5 - -1). Suppose 5*h - l = 40. Does 9 divide h?
True
Let o be (-10)/(-6) - 2/(-6). Let x(h) = -8*h**2 + 4. Let m(v) = -4*v**2 + 2. Let c(q) = 7*m(q) - 4*x(q). Is c(o) a multiple of 14?
True
Let p = -25 + 17. Let v(a) be the second derivative of a**4/12 + 2*a**3/3 + 5*a**2 - 6*a. Is v(p) a multiple of 14?
True
Let i = -5 + 25. Is i a multiple of 2?
True
Suppose -2*m = -5*j - 249, 2*m - 198 = -j + 81. Is m a multiple of 33?
False
Let s(k) = -k**3 + 2*k**2 + 4*k - 2. Let n be s(3). Suppose 0 = -x + 5 + n. Does 2 divide x?
True
Let c = 54 + -12. Does 7 divide c?
True
Suppose 4*s = -p + 36, -3*s - 6 = 3*p - 24. Let n = 11 + -18. Let u = n + s. Does 3 divide u?
True
Let t = 5 + -4. Suppose -5*f + k = 1, -f - 5*k = -4 - t. Suppose 56 = -f*c + 2*c. Is 14 a factor of c?
True
Let s(n) = -n + 18. Does 6 divide s(-4)?
False
Suppose -4*y + 36 = -2*y. Let i be (-4)/y - (-114)/27. Suppose -4*o - o + 2*h + 190 = 0, -160 = -5*o - i*h. Is 18 a factor of o?
True
Does 16 divide 1 + (-15)/10 + 1077/6?
False
Is 6 a factor of ((-27)/(-2))/(-3)*-4?
True
Suppose 60 = 2*q + q. Suppose -s = s - q. Is 282/s + (-2)/10 a multiple of 14?
True
Let j = 3 + -35. Let p = -12 - j. Does 20 divide p?
True
Suppose 0 = -5*r - 4*n + 7, -1 = 2*r + 2*r + n. Does 3 divide (0 + 1)*-15*r?
True
Suppose 0 = -5*p - 20, 13 = -4*w + w + 5*p. Let j(g) = -3*g - 5. Is 28 a factor of j(w)?
True
Let m(t) be the second derivative of -t**5/60 - t**4/3 - t**3/2 - t**2 + 2*t. Let n(p) be the first derivative of m(p). Does 5 divide n(-6)?
False
Is ((-6)/(-2) - 1)*(-60)/(-8) even?
False
Suppose -5*p = -95 - 75. Suppose d - p = -2*g, -74 = -2*d - 0*g + 2*g. Is 18 a factor of d?
True
Suppose -3*w + 2*w = 5*g - 1515, -2*g + 3*w = -623. Is g a multiple of 43?
False
Let o = 5 - -19. Is 10 a factor of o?
False
Suppose -3*i + i = 5*a - 585, 0 = -5*a - i + 590. Is 17 a factor of a?
True
Suppose -64 = -3*i - 10. Is 6 a factor of (12/i)/((-2)/(-36))?
True
Suppose 2*f = 17 + 5. Is f a multiple of 11?
True
Let x be (1/2)/((-3)/(-18)). Suppose -4*z = d + z - 75, 5*z = -x*d + 185. Is d a multiple of 21?
False
Let q(h) = 4*h + 1 + h + 28*h**3 - 3*h + h**2. Let f be q(-1). Let p = f - -48. Is p a multiple of 10?
True
Suppose 3*a - 3*b = 9, 4*a - b = -0*a + 18. Let x(j) = -j**3 + 6*j**2 - 5*j - 1. Let o be x(a). Is 6 a factor of ((0 + -1)*9)/o?
False
Suppose -1 = 2*x + 5*w, 0 = -5*w - 4 - 1. Suppose 4*q = 6*q - 4*z - 10, 0 = x*z. Does 2 divide q?
False
Suppose 2*i - 6 + 2 = 0. Suppose i*z = 2*g + 90, -3*g + 70 + 35 = 2*z. Does 9 divide z?
False
Let p(d) = -2*d**3 - 2*d + 1. Let b be p(3). Let z = -15 - b. Is 16 a factor of z?
False
Let h be (42/2)/1 + 0. Let j = -8 + h. Let r = j + -3. Does 10 divide r?
True
Let r be 2 + -2*(-2)/(-2). Let p(j) = -j**3 + j**2 - j + 20. Is 11 a factor of p(r)?
False
Suppose 25 = 5*h + 5. Let w be (5/3)/((-1)/(-96)). Suppose l - 31 = 3*p, -4*l + h*p = p - w. Is 13 a factor of l?
False
Let m(j) = j**2 - 5*j. Let i be m(6). Suppose -o + 46 = i. Is o a multiple of 20?
True
Let r = 280 - 79. Does 27 divide r?
False
Suppose -p - 4*p + 5 = 0, 2*p - 83 = -3*h. Is 4 a factor of h?
False
Suppose 60 = a + 4*a. Let q = a + -3. Suppose -q = -b - 2. Does 2 divide b?
False
Let a(z) = 4*z + 5. Does 8 divide a(5)?
False
Suppose 3*b + 5*g - 17 = 0, 5 = 5*b - 5*g - 10. Suppose -b*c = -51 + 15. Does 9 divide c?
True
Suppose 7*p - 5*p - 24 = 0. Is 6/8 + 255/p a multiple of 9?
False
Let s = 72 + -47. Is 13 a factor of s?
False
Let r = 142 - 78. Is r a multiple of 8?
True
Let w be (-2)/5 + 2/5. Is (w - -4)*(-15)/(-12) a multiple of 5?
True
Suppose 0*z = 5*z. Suppose 4*g + z*g - 92 = 0. Is g a multiple of 10?
False
Let y = 145 + -97. Is 16 a factor of y?
True
Let p = 277 - 123. Let k = p - 100. Is k a multiple of 15?
False
Let d = 11 - 7. Let l = d - 1. Does 3 divide l?
True
Suppose 5*a - 154 - 246 = 0. Suppose -5*m + 4 = -6, -4*x + 5*m = 2. Suppose -a = -x*h + i, i - 3*i = 0. Does 14 divide h?
False
Suppose 3*g - 37 = -5*o - 11, -2*o + 30 = 4*g. Is 3 a factor of g?
False
Suppose 0 = -18*i + 20*i - 170. Is 10 a factor of i?
False
Suppose -112*u + 376 = -111*u. Is 53 a factor of u?
False
Suppose 5*o = 3*c - 0*c + 16, -18 = -c - 3*o. Suppose -5*y = -c*g + 70, -2*g + 2*y + 22 = -g. Is 15 a factor of g?
True
Let q = 10 + -10. Suppose -5*c + 35 = -5*n, q*c - 4*c + 22 = -n. Does 3 divide c?
False
Let w(p) = -p + 2. Let z be w(-1). Suppose u = z*u - 22. Is 5 a factor of u?
False
Let t = -29 + -12. Suppose 0 = h + 3*c - 4*c + 58, -172 = 3*h - 5*c. Let l = t - h. Is l a multiple of 6?
True
Suppose 14*d = 18*d - 940. Does 47 divide d?
True
Suppose 4 = -4*i, 0 = d - 5*i - 0*i - 41. Does 6 divide d?
True
Let t(q) = q**2 - 11*q - 12. Suppose 3*m = 2*w - 3*w + 37, -4*m + 53 = 5*w. Let i be t(m). Suppose i = 4*k + 27 - 83. Is 8 a factor of k?
False
Suppose -4*k + 64 = -0*k. Suppose -k = -3*w - w. Does 4 divide w?
True
Let u(z) = -2 + 2*z + 0 + 4. Let k be u(-2). Does 5 divide (-21)/(-2) - k/4?
False
Let a = 167 + -156. Is 5 a factor of a?
False
Suppose -q = 5*n + 1 + 6, n - 4 = -2*q. Does 17 divide 63 + 6*(-2)/q?
False
Let q(s) = -2*s**2 + 1. Let c(b) = -3*b**2 - b + 2. Let p(m) = -3*c(m) + 4*q(m). Does 11 divide p(-8)?
False
Is 2 - 8/(-4 - -2) even?
True
Let p(a) = -a**3 + 7*a**2 + 12*a - 10. Does 22 divide p(8)?
True
Let m = -15 + 24. Suppose 18 + m = 3*b. Let q = b + -4. Is 3 a factor of q?
False
Let i = 5 + -5. Suppose 0 = -o + j - 2*j + 2, i = 3*j - 3. Does 6 divide -3 - -5 - o - -6?
False
Suppose -i + 0 - 39 = 0. Let n = -21 - i. Does 6 divide n?
True
Let y(z) = -z**3 + 8*z**2 - 2*z - 3. Let i be y(7). Let w(p) = 4*p. Let k be w(-2). Let d = k + i. Is d a multiple of 12?
True
Is 4 a factor of (15/(-4))/(5/(-160)*3)?
True
Let t = 9 + -5. Suppose c + v - 14 = t, 22 = 2*c - 5*v. Is c a multiple of 16?
True
Let z(w) = -w + 1 + w - 10*w - 2. Let p(i) = i - 1. Let u(s) = -6*p(s) - z(s). Is 16 a factor of u(7)?
False
Let x(t) = -t**3 - 7*t**2 - 6*t + 3. Let p be x(-6). Let b = 9 + -7. Suppose -4*h = -3*h - z, -b*h + 25 = p*z. Is h even?
False
Is 69 + 10 - 1/((-2)/2) a multiple of 27?
False
Let m(b)