 - 1. Does 10 divide o/4 - (-847)/28?
True
Suppose -331 = -q - o, -3*q + 6*o - 2*o = -979. Does 36 divide q?
False
Suppose -102 = -12*t + 6*t. Is 2 a factor of t?
False
Let q be (-1630)/(-45) - (-4)/(-18). Suppose m = 4*m - q. Does 4 divide (-1)/6 - (-194)/m?
True
Let l = -36 + 44. Suppose 5*y - 3*y - l = 0. Is 2 a factor of y?
True
Let z = -9 - -9. Suppose -3*l + 2*d + 47 = 0, d + 1 + z = 0. Is l even?
False
Let y = 488 + -304. Does 46 divide y?
True
Suppose 2*g + 4*a = 364, g - 37 = 2*a + 141. Suppose 1 = -2*s + 9. Suppose -s*l = -3*j - g, 0 = -l - 2*j + 61 - 5. Does 12 divide l?
True
Let h(s) = 5*s**2 + 142*s - 12. Does 12 divide h(-32)?
True
Let g(x) = 3*x - 15. Let j be g(6). Suppose j*c - 12 = -0*c. Suppose -4*t = c*p - 80, -4*t + 2*p = -62 - 30. Does 4 divide t?
False
Let b = 10 - 6. Suppose 5*w - c - 970 = 0, -c + 776 = 4*w - b*c. Suppose 5*z - w = 2*x, -91 - 29 = -3*z + 3*x. Is z a multiple of 19?
True
Let z(y) = y**3 + y + 3. Let m be z(0). Let r = -9 + 16. Is 2 a factor of r - (-3 - (m + -5))?
True
Suppose -6*r = -r + 3*r. Suppose -763 + 243 = -4*d - 3*i, 3*d - 5*i - 361 = r. Does 14 divide d?
False
Let h(a) = 3*a**2 - 6*a - 2. Let w be h(3). Is 1 - 0 - (-7)/(w/18) a multiple of 15?
False
Let u = -6 + 48. Let p be 1/3 - (-10276)/u. Suppose 5*w - s + p = 804, 0 = -3*s - 12. Is 24 a factor of w?
False
Suppose 734 = 13*t - 449. Is 13 a factor of t?
True
Let m = -383 + 573. Is 29 a factor of ((-8)/(-20))/(1/m)?
False
Suppose -19*d + 27*d - 1304 = 0. Does 11 divide d?
False
Suppose -5004 - 4246 = -25*s. Does 15 divide s?
False
Does 48 divide ((-216)/28)/(13/(-3640))?
True
Suppose -25*v = -340 - 1635. Is v a multiple of 4?
False
Suppose -3*b - 15 = 0, 40 = 7*d - 2*d - 3*b. Let y be 2/4*(5 - d). Suppose z - 5*l - 64 + 16 = y, -4*z + 2*l + 120 = 0. Does 14 divide z?
True
Let j(r) = r - 24. Let s be j(13). Let g(u) = -u**2 - 28*u - 22. Does 11 divide g(s)?
True
Let i be (-3 + 258/30)*15. Suppose j = 4*r - 164, -3*r + i = -r - j. Is 8 a factor of r?
True
Let j be 334 - ((-4)/(-4) + 1). Suppose 5*w - 857 = -j. Does 15 divide w?
True
Suppose 3*j - 4*s = -j + 24, -4*j + 3*s + 22 = 0. Suppose -2*k = j*i - 3*i - 153, 3*i + 157 = 2*k. Is k a multiple of 19?
False
Suppose 0 = -47*p + 6370 - 166. Is p a multiple of 4?
True
Let g be (-12)/(-8) + (-3)/(-2). Let i(p) = 0*p**3 - 6*p**2 + 3*p + 2*p**3 + p - p**g. Does 12 divide i(6)?
True
Let m be 3 + 1 + 3 + -2. Suppose m*x - 36 = 4*n, 0 = 5*n - 3*x + 7 + 51. Does 24 divide (-1002)/n - 9/(-21)?
True
Suppose 7*b = 3*b - 4. Let c = 2 - b. Suppose 0*y + 8 = 2*o - 4*y, 2*o - 29 = -c*y. Is o a multiple of 10?
True
Suppose -3*w + 15 = 0, -2*j + 17 = 3*w - 0. Does 4 divide -3*11/(-3)*j?
False
Suppose -c + 2 = 0, -95 = 3*f - 5*c + 284. Let n = f + 263. Is n a multiple of 35?
True
Let v(z) = 2*z**2 + 9*z + 3. Suppose 2*b + 0*b - 28 = 2*l, 3*l + 45 = 4*b. Is 21 a factor of v(l)?
False
Let b(j) be the third derivative of -j**5/24 - j**4/4 - 2*j**3/3 + 2*j**2. Let v(s) be the first derivative of b(s). Does 4 divide v(-5)?
False
Let q(k) = k**2 - 5*k. Suppose j - 2 = -0. Suppose 6*c - j*h - 19 = 3*c, 3*h = -c + 10. Is q(c) a multiple of 8?
False
Suppose -5*s + 5*t + 3907 + 2763 = 0, 6650 = 5*s - t. Is s a multiple of 17?
False
Suppose -4*c = -120 - 44. Let f = c + -25. Is f a multiple of 8?
True
Let z = 76 + -113. Let u = -26 - z. Suppose 9 = x - 3*q - u, 0 = -q - 4. Does 4 divide x?
True
Let r be (-6 - -2) + (-1 + 3)*2. Does 34 divide -10*(r/(-2) - 17)?
True
Suppose 36103 = 17*i + 675. Is 11 a factor of i?
False
Does 25 divide -10*(35/14)/(2/(-8))?
True
Let p be (11/(-3))/((-2)/(-6)). Let x(w) = 2*w**2 + 13*w - 16. Let q be x(p). Let f = 133 - q. Is 25 a factor of f?
True
Suppose s - 16 = -x, -12 = -4*s + 4. Let c be 60/14 + x/(-42). Suppose 2*z - 40 = -c. Is z a multiple of 9?
True
Suppose y - 8 = -2*i + 2, 0 = -3*y + 12. Let u = -4 + 9. Suppose -j + i = -u. Is j a multiple of 4?
True
Suppose 3*z = t + t + 236, -4*z - t = -300. Suppose 4*i - 4 = z. Is (-9)/6*i/(-3) a multiple of 5?
True
Suppose 0 = 3*d - 9, d + 3*d = 3*i - 4629. Does 13 divide i?
True
Let w be -3 - (-3)/(4 - 1). Is 9 a factor of ((-7)/w)/(11/154)?
False
Let o = 33 - -463. Is o a multiple of 20?
False
Does 8 divide -6 + 10 + 565 - (-3)/1?
False
Let f(n) = -32*n - 2. Let x(c) = c. Let w(d) = -f(d) - 3*x(d). Let r be (1/(-5))/((-1)/5). Is w(r) a multiple of 8?
False
Let y = -22 - -35. Let c = -30 - -47. Suppose 0 = -y*z + c*z - 420. Is z a multiple of 32?
False
Let c(l) = -l**3 - 8*l**2 - 13*l. Let r be c(-6). Suppose -1611 = r*q - 15*q. Is q a multiple of 38?
False
Let g = 2863 - 1471. Is g a multiple of 75?
False
Let f = 94 + -88. Suppose 2*j - 122 = -f. Is j a multiple of 29?
True
Suppose 6*c - 80 = 2*c. Suppose 5*f + 0*f = -c. Is 47/(4 + f - -1) a multiple of 13?
False
Suppose 0*j + j - 50 = 0. Let i be (-12)/(-28) - j/(-14). Suppose 0*x - 2*x + 2*h + 168 = 0, x + i*h - 84 = 0. Is x a multiple of 17?
False
Let o be ((-217)/21)/((-2)/(-12)). Let c = o + 44. Is 4 a factor of (-3)/(c/(-15))*-2?
False
Let b(y) = -20*y + 25. Is b(-16) a multiple of 23?
True
Suppose -4*t = 8, -5*k - 6*t = -4*t + 9. Is (-81)/k - 4/(-4) a multiple of 41?
True
Let q = -84 - -163. Let s = 145 - q. Does 22 divide s?
True
Suppose 1060 - 335 = 5*p. Let t(d) = -d**3 - 14*d**2 - 27*d - 15. Let r be t(-11). Let z = r + p. Is 16 a factor of z?
True
Let f = 1392 + -992. Is 25 a factor of f?
True
Suppose -2*b = 4*v - v - 83, 2*v - 82 = 4*b. Is v even?
False
Suppose -2*z + 762 = -2*a, -285 - 93 = -z - 2*a. Is z a multiple of 20?
True
Suppose 0 = -t + 4*t - 12. Suppose s - t*g = -30, s + 3*g + 139 = -3*s. Let m = s - -50. Is 14 a factor of m?
False
Let r(m) = 276*m + 98. Is r(2) a multiple of 25?
True
Is 2478 - (-4 + 169/13) a multiple of 7?
False
Let u(n) = -19*n**3 - 7*n**2 - 22*n - 11. Let p(v) = 6*v**3 + 2*v**2 + 7*v + 4. Let q(h) = -7*p(h) - 2*u(h). Does 13 divide q(-3)?
True
Let q be ((-1068)/(-15))/(3/15). Let h = q - 230. Is 21 a factor of h?
True
Let l = 1460 + -831. Is 37 a factor of l?
True
Suppose -4*f - y = -0*f - 7229, 5*y - 5 = 0. Is 50 a factor of f?
False
Let z be (115/10)/((-2)/8*-2). Let o(c) = c**2 - 11*c - 56. Does 13 divide o(z)?
False
Let k be -1*(2 - (-4)/(-2)). Suppose -5*i + 275 - 85 = k. Does 38 divide i?
True
Let y be (-2)/4*(2 - 0). Let l be (-11)/(22/(-60)) + y. Does 23 divide -1 - (1/1 - l)?
False
Let n(w) = 3*w**2 + 20*w - 9. Let h(r) = -10*r**2 - 61*r + 26. Let u(i) = -2*h(i) - 7*n(i). Let m be u(-15). Is 19 a factor of (-8)/m - (-134)/7?
True
Let y(a) = 49*a + 43 + 2*a - 12*a. Does 12 divide y(4)?
False
Let g = -1048 + 1616. Does 47 divide g?
False
Let r(x) = -11*x**3 - 2*x - 1. Let q be r(-1). Suppose 0 = -3*g - q + 48. Does 7 divide g?
False
Let f = -1476 - -2966. Does 10 divide f?
True
Suppose -22*g = 212 - 2214. Does 91 divide g?
True
Let w = 322 + -271. Is w a multiple of 2?
False
Let f = 26 + -21. Does 3 divide 2/(-5) + 72/f?
False
Let o(g) = 10*g - 2 + 2*g - 7*g + 12*g. Let c be o(1). Suppose c = -2*b + 5*b. Is 5 a factor of b?
True
Let j(p) = p**2 + 5*p - 6. Let c be j(-7). Suppose 0*d - 2*u - c = -3*d, -u + 2 = 0. Suppose -2*b + 5*b + 2*i = 350, -436 = -d*b + 5*i. Does 39 divide b?
False
Suppose 8*i = 13*i. Suppose i = b - 2*l + 101, 2*b - 4*l = -b - 293. Is 4 a factor of 0 + -1 - b/7?
True
Is 87 a factor of 0 + 5 + 28 + 54?
True
Suppose -s + 2*k = 2, -k - 2*k + 17 = 2*s. Suppose -5*z - s*b + 5 = 0, -b - 15 = -4*z - 2*b. Suppose 0*l + z*l - 450 = 0. Does 18 divide l?
True
Does 13 divide (-192)/36*(2 + 357/(-12))?
False
Let q be (-1 - 1)/((-4)/6). Let u be -1 + (6 - (24/(-6) - -9)). Suppose -q*j + u + 18 = 0. Does 6 divide j?
True
Suppose 2*s - 1736 = -q, 0 = 4*q - 3 - 5. Is s a multiple of 51?
True
Suppose -3557 = -2*f + 3*z + 168, -4*f + 7405 = 3*z. Is 102 a factor of f?
False
Let o(j) = -2*j**3 - 11*j**2 + 8*j + 20. Let n be o(-8). Does 30 divide -7 - -5 - n/(-3)?
True
Suppose 3*x + 2*w - 4*w = -6, -4*w - 4 = 2*x. Let f be x/(0 + 0 + -1). Suppose 3*k + 3*t = -f*t + 240, 5*t = 4*k - 355. Does 23 divide k?
False
Let v(h) = h - 1. Let q(b) = -b**2 + 2*b - 3. Let l(n) = q(n) + 5*v(n). Let j be l(5). Is -4 + (j + -3 - -37) a multiple of 6?
False
Let w = -14 - -14. Let z be (-1 - w)*(-15 - -12). Suppose 0 = z*a - 32 - 10. Is a a multiple of 