f 20?
True
Suppose -4*o - 3 = -w - 0, 5*w + 4*o - 15 = 0. Suppose -w*u = -6*u - 3*f, -3*u - f + 6 = 0. Does 2 divide u?
False
Suppose -3*c + 6 = -5*c, 0 = -3*g - c + 111. Does 21 divide g?
False
Suppose -5*u + 4*d + d = -1175, 4*u - 934 = 2*d. Does 17 divide u?
False
Let m(r) = 2*r - 6. Let q be m(5). Suppose -o - 280 = q*o. Let a = -29 - o. Is 10 a factor of a?
False
Let q = 5 - 20. Suppose k = 18 + 4. Let z = q + k. Is 7 a factor of z?
True
Suppose 3*r - 758 = -4*k, -3*r = 3*k - 392 - 175. Does 14 divide k?
False
Suppose -151 = -p - 11. Suppose -5*y + p = 7*c - 2*c, 164 = 5*c - 3*y. Is 9 a factor of c?
False
Suppose -2*t + 12 = 3*p, 3 = p - t + 4. Does 2 divide p?
True
Let f(z) = -z. Suppose -2*x = -2*j + 12, 0 = -5*x - 0*j + 3*j - 24. Let h be f(x). Suppose -g + h = -5. Is g a multiple of 8?
True
Let q(g) = -7*g**3 - 3*g**2 - 2*g - 3. Is 45 a factor of q(-2)?
True
Let j = -45 + 28. Let b = 1 - j. Does 18 divide b?
True
Let c = -189 - -119. Let r = 17 + -58. Let k = r - c. Is k a multiple of 12?
False
Suppose -2*v + f - 2*f + 8 = 0, 4*v = -4*f + 20. Let l = 13 - v. Suppose 0 = -b + 2*z - 3 + 6, -2*b + 2*z = -l. Is 7 a factor of b?
True
Let k be (12/(-10))/((-3)/100). Let g(n) = -2*n**2 + n - 2. Let b be g(-3). Let r = b + k. Is 17 a factor of r?
True
Suppose 0 = -4*q - 8. Is 9 a factor of q/(-4) - (-140)/8?
True
Let r(o) = o**3 - 4*o**2 + 7. Let f be r(5). Let a = -22 + f. Does 5 divide a?
True
Let a = 118 - 81. Is 7 a factor of a?
False
Suppose 6*g = 326 + 10. Does 10 divide g?
False
Suppose 17 = 2*t - 0*t - 5*u, 3*t = 3*u + 3. Is 6 a factor of (-4 - 110)*t/12?
False
Suppose -3*v + 348 = 69. Is 16 a factor of v?
False
Let j(b) = 16*b + 23. Is 21 a factor of j(8)?
False
Suppose x - 3*z = -z + 7, 16 = x - 5*z. Is -10 - -18 - -2*x a multiple of 3?
False
Suppose p - 3 = 0, 2*r + 6*p - 45 = 3*p. Suppose g + 23 = -2*a, -5*a + a - 39 = -5*g. Let v = a + r. Does 2 divide v?
False
Suppose 2*g + 2*g - 40 = 0. Suppose -4*v + o - 48 = -166, 0 = 5*o + g. Does 14 divide v?
False
Suppose 3*g + 51 - 87 = 0. Is 6 a factor of g?
True
Is (7/(-14))/((-2)/388) a multiple of 23?
False
Suppose 0 = 5*b - 6*b + 16. Does 8 divide b?
True
Let w(b) = b**3 + 9*b**2 + 6*b - 9. Let z be w(-8). Is 4 - 2 - (z + -11) even?
True
Let r = -68 - -248. Suppose 2*z + 34 = d - 0*z, 5*z + r = 5*d. Let n = 55 - d. Does 11 divide n?
False
Let o(w) = w**2 - 3*w - 3. Does 15 divide o(6)?
True
Let n = 298 - 114. Is 27 a factor of n?
False
Let r(n) = 3*n**3 + 4*n**2 - 5*n + 2. Let c = -11 - -14. Is 34 a factor of r(c)?
False
Let u = 5 - -8. Let b = u + -8. Is b a multiple of 5?
True
Let d = 4 + -1. Suppose 0 = g - d*g - 22. Does 16 divide (-196)/(-11) + (-2)/g?
False
Suppose -2*m = -76 - 180. Does 20 divide m?
False
Suppose 0*m - 84 = -3*m. Let s be (-8)/m - 2/(-7). Suppose 4*h + g = 71, s*g = 2*g - 6. Is h a multiple of 6?
False
Suppose -4*n - 371 = -11*n. Does 24 divide n?
False
Let f = -4 - -3. Let h be (0 - 0) + -1 - f. Suppose 5*l - 59 + 9 = h. Does 4 divide l?
False
Let s(w) = 3*w**2 - 2*w - 8. Let y be s(6). Suppose c = 2*c - y. Suppose 3*q - c = -q. Is q a multiple of 7?
False
Suppose -1 + 16 = p. Let r be 45*(-3)/(p/(-2)). Suppose l + 2*l - r = 0. Is l even?
True
Suppose -2*u = 2*v - 14, 4*v = 4*u - u. Let k be 2 - -2*3/2. Suppose u*l - 4*z - 19 = 125, -z + k = 0. Is 17 a factor of l?
False
Suppose -2*j + 15 = j. Suppose 0 = -j*v + 71 + 79. Is 15 a factor of v?
True
Let u = 25 - 15. Suppose -2*z = 4*h + 3*z - 76, z = h - u. Does 6 divide h?
False
Let b = 1 + 2. Is 6 a factor of 11 + (-4)/6*b?
False
Suppose 2*d = 68 + 14. Is 11 a factor of d?
False
Let z = 38 + -18. Does 8 divide z - 9/6*-2?
False
Let f(g) = g + g**3 + 0*g**2 - g**2 - 4*g + 2. Let r be f(2). Suppose r = -4*s + s + 6. Is s a multiple of 2?
True
Let y be ((-8)/(-10))/(6/345). Suppose -2*f = -6*f - 108. Let j = f + y. Is 12 a factor of j?
False
Let g be -4 + 58*(-1)/2. Let n = 46 + g. Is n a multiple of 13?
True
Suppose 8 = 2*v + x + 3*x, 0 = v + 3*x - 1. Is (-4)/20 + 382/v a multiple of 14?
False
Let p be (3/(-4))/((-5)/20). Is 13 a factor of (p - 2)*(41 - 2)?
True
Let c(s) = -2*s - 17. Does 7 divide c(-12)?
True
Let j(m) = 3*m**3 + 2*m**2 - m. Let d be j(1). Suppose -5*p + d*p + 13 = 2*v, 5*v = p + 22. Does 12 divide (12/7)/(p/21)?
True
Suppose 9 = b - 57. Suppose 5*n - b = 2*n. Does 8 divide n - 1 - (-5 + 3)?
False
Suppose 4*a = 6*a - 280. Suppose 5*r - 300 = -5*f, 3*r - 3*f - 2*f = a. Let u = r + -31. Does 7 divide u?
False
Let t be (15 - 3/3)*-1. Let d = t + 20. Does 2 divide (-3)/(3/2) + d?
True
Let x be (-2)/4 + (-33)/(-6). Let h(c) be the second derivative of c**5/20 - c**4/3 - 5*c**3/6 + 3*c**2/2 - 3*c. Is h(x) even?
False
Let r(o) = 5*o**3 - 27*o**2 - 7*o + 29. Let c(d) = 3*d**3 - 14*d**2 - 3*d + 15. Let w(v) = 7*c(v) - 4*r(v). Is w(-9) a multiple of 5?
False
Let l be (-6)/(-4)*(-16)/(-6). Suppose -59 = -l*a + 2*p - 5, 0 = p + 5. Does 10 divide a?
False
Let m(b) = -39*b. Let s = -4 - -3. Let j be m(s). Is 4/3*(j + 0) a multiple of 26?
True
Let k(u) = -u - 9. Let d be k(-10). Is 28 + -4 + (-3)/d a multiple of 13?
False
Suppose 0 = -2*o + 24 - 2. Does 4 divide o?
False
Let n be 2/6*(0 - 0). Suppose 2*k + p - 99 = -2*p, n = -3*k + 4*p + 106. Is k a multiple of 14?
True
Let s(v) = v**2 + v + 31. Let g be s(0). Let f be 1 + (1 - 1) - 7. Let h = g - f. Is h a multiple of 13?
False
Suppose 2*y - 5*y = 0. Suppose -6 = -2*p, 4*s = -y*p - 4*p + 60. Does 4 divide s?
True
Suppose -6 = -2*l - 2*w, w + 0 = -4*l + 6. Let s = 5 - l. Suppose -s*n + 2*n + h + 3 = 0, 5*h = 15. Is 2 a factor of n?
False
Let c = 19 - 12. Suppose 1 = -3*a + c. Does 8 divide 24 + -1 + (3 - a)?
True
Suppose 7*j - 2*j - 30 = 0. Suppose -5 = j*v - 353. Does 13 divide v?
False
Let q = -668 - -980. Is 6/(-4)*q/(-18) a multiple of 25?
False
Is (-4 - 0*(-2)/(-8)) + 196 a multiple of 24?
True
Suppose -2*c = 2*g - 208, -4*c + 96 = -3*c - 3*g. Is c a multiple of 34?
True
Let u = 6 + -5. Let n(z) = 5*z**3 - z**2 - z + 1. Let q be n(u). Suppose 0 = q*b - 10 - 34. Does 11 divide b?
True
Let i be (-72)/(-15) - 1/(-5). Suppose i*p - 3*p = -2. Is 3 a factor of -6*(-2)/(-4)*p?
True
Suppose 8*s + 13 = 37. Is s a multiple of 2?
False
Suppose 2*u - 4 = 6. Suppose 34 + 6 = u*t. Is t a multiple of 4?
True
Suppose -3*m - 6 = -3*v, m - 1 = 3*v + v. Let c = v + 2. Is 6 a factor of (c - -6)*6/7?
True
Let b be 103/5 - 6/(-15). Suppose -x + 0 = -b. Is 21 a factor of x?
True
Let o be 4 - (1*-2 + 3). Let l(x) = x**3 - x**2 + 4*x - 3. Let v be l(o). Suppose 0 = -a - 2*a + v. Is a a multiple of 7?
False
Let d(j) = -4 + j**2 - j**2 + j**2 - 8*j. Let h be d(9). Suppose h*l + 3*q + 2*q - 25 = 0, l = 2*q + 20. Is l a multiple of 10?
True
Suppose -2*j + 0*j + 156 = 0. Is 13 a factor of j?
True
Let p(v) = 4*v**2 - 3*v - 21. Let t(f) = f**2 - f - 1. Let b(g) = -p(g) + 3*t(g). Is 18 a factor of b(0)?
True
Suppose 0*o - m - 269 = -3*o, 3*o - 4*m = 257. Let u = o - 4. Suppose 4*l = -k + 32, u = 3*k - 3*l + 6*l. Does 14 divide k?
True
Let h be (-3 - -111) + 2/2. Let w = h - 52. Does 19 divide w?
True
Let t(i) = -i**3 - 2*i**2 + 2*i - 8. Is t(-6) a multiple of 31?
True
Let y(a) = a**3 - 2*a**2 + 3*a - 6. Is 8 a factor of y(4)?
False
Suppose 0 = 8*j - 455 - 25. Does 15 divide j?
True
Suppose -4*u + 11 = 2*a - 9, -2*a - u + 14 = 0. Does 2 divide a?
True
Let x(a) be the second derivative of -a**5/20 + 5*a**4/12 - 2*a**3/3 + 2*a**2 - 6*a. Let h be -4*(2/8 + -1). Is 6 a factor of x(h)?
False
Let z be (4 + -3 + 0)*-2. Let w = 5 + z. Is w even?
False
Does 6 divide 188 + (-2 + 6)/1?
True
Let v be 3 + (0 - (-2)/(-2)). Suppose 4*g = v*g + 12. Does 2 divide g?
True
Let t = -36 + 79. Does 17 divide t?
False
Suppose 4*z = -2*q + 124, 71 = 3*z + q - 5*q. Suppose z = 5*c - 101. Is c a multiple of 13?
True
Suppose -17 = -5*s + 253. Does 27 divide s?
True
Let u(d) be the third derivative of 11*d**4/12 + d**3/6 + 4*d**2. Is u(1) a multiple of 17?
False
Let n be 9/(-15) + (-823)/(-5). Does 11 divide 7/21 - n/(-3)?
True
Let j = 15 - 5. Suppose 8*h - j*h + 62 = 0. Is 17 a factor of h?
False
Suppose -2*f = 14 + 72. Let y = f - -149. Suppose -3*k - t + y = 0, 4*k - 26 = 3*k + 2*t. Is k a multiple of 17?
True
Suppose 1249 = 6*j - 209. Is 16 a factor of j?
False
Does 23 divide 139/3 - 2/6?
True
Does 34 divid