(w + (3 - -3))?
True
Let y = -9 + 9. Suppose y = 3*g - 8*g + 25. Suppose 0 = -g*f - 9 + 159. Does 10 divide f?
True
Does 7 divide (-2 - 1089/(-6)) + (-20)/8?
False
Is 65 a factor of (-1 - 3/15)/(39/(-17420))?
False
Let z = 1206 - 921. Is z a multiple of 19?
True
Let d(m) = 15*m + 8. Let q be d(6). Suppose -2*l - 294 = -q. Is (-16)/24 + l/(-3) a multiple of 32?
True
Let y(k) = 68*k - 75. Is 12 a factor of y(11)?
False
Let j(z) = z**2 - 8*z + 2. Let a be j(9). Suppose 3*s - 4*t = -2*s + a, 4 = 3*s - 5*t. Suppose s*u = 22 + 35. Does 19 divide u?
True
Let r(i) = 2*i**2 + 4*i + 6. Let y be r(-5). Suppose 3*g + 1 = q - 5, q - y = -3*g. Is 7 a factor of q?
True
Let w = -5 + 7. Suppose -n = 4, -12 = -2*k + w*n + 4. Suppose k*z - 9 = 155. Is 19 a factor of z?
False
Suppose 43*p - 9876 - 105837 = 0. Is p a multiple of 117?
True
Let g(z) = z - 18. Let m be g(7). Let r = 40 + m. Is r a multiple of 3?
False
Let b(t) = 116*t - 3. Let p be b(1). Let k = p + -80. Is 7 a factor of k?
False
Let p(j) = j**3 - 59. Let w be p(0). Let f = 24 - w. Is 5 a factor of f?
False
Suppose -3*q - 23 + 35 = 0. Suppose 2 = -q*v + 254. Does 7 divide v?
True
Let k(x) = 45*x**2 - 8*x - 26. Does 31 divide k(-3)?
True
Let t(b) = -b**2 - 1. Let g(x) = 3*x**2 - x - 4. Let n(s) = g(s) + 2*t(s). Let y be n(0). Does 14 divide 9/y + 154/4?
False
Suppose 63499 = 130*v - 43101. Is v a multiple of 20?
True
Let n be 2/(-6)*-6 + 0. Suppose 190 = 5*w + 2*v, 2*w + n*v + 134 = 6*w. Is w a multiple of 12?
True
Let f = 32 + -29. Suppose -8*q + f*q = -820. Is q a multiple of 21?
False
Let p = 7 + -3. Suppose 4*t = 80 - 80. Suppose -5*q - 5*w + 375 = 0, p*w - 225 = -3*q - t*q. Does 15 divide q?
True
Let p(c) = -c**3 - c + 1. Let j = 3 - 2. Let b(u) = -7*u**2 - 11*u + 5. Let g(y) = j*p(y) - b(y). Is g(8) a multiple of 6?
True
Let t(d) = 3*d**2 + d + 2. Let f be 6/(-12) - (-7)/2. Let h be 12/(-36) + (-8)/f. Is 13 a factor of t(h)?
True
Suppose 0 = -3*r + 7*r + 220. Let t = -39 - r. Does 8 divide t?
True
Suppose 2*q = 3*z + q - 199, q - 191 = -3*z. Suppose z = 2*c - w, 4*c - 121 = 3*w + 2*w. Suppose 0 = m + 2*m - 2*f - c, 0 = 3*m - 5*f - 49. Is m even?
True
Let n = 406 + -357. Is n a multiple of 7?
True
Suppose -5*t - 5 = -2*k, k - 6 = -3*t + 2*t. Suppose -5*o - k*c = -142 - 13, 4*o + 5*c = 129. Is o a multiple of 13?
True
Suppose 348 = 12*m - 8*m. Let x = -24 + m. Is 21 a factor of x?
True
Let x(c) = c**3 - c - 1. Let d(w) = -5*w**3 - 10*w**2 + 15*w - 3. Let l(u) = -d(u) - 4*x(u). Does 7 divide l(-11)?
True
Let u(t) = -399*t + 7. Is 7 a factor of u(-1)?
True
Let j = 1 - -1. Suppose 11*i + 13*i = 168. Suppose 110 = 4*z - 3*q, -49 = -j*z + 2*q + i. Is 7 a factor of z?
False
Let u(m) = -m**3 + m**2 - 1. Let a(s) = -2*s**3 + 4*s**2 + s - 6. Let f(h) = -a(h) + u(h). Let z = 35 + -31. Is 6 a factor of f(z)?
False
Suppose 2*f - 5858 = -3*k, -k + 3*f - 784 + 2722 = 0. Is k a multiple of 50?
True
Let m = 90 - 127. Let g = -53 + m. Let r = -62 - g. Does 14 divide r?
True
Suppose 4*o + o - 2660 = 0. Suppose 9*q = 2*q - o. Is ((-6)/(-4))/((-2)/q) a multiple of 32?
False
Suppose p = 22 - 29. Let n = p + 19. Does 3 divide n?
True
Let b = 2 - 2. Suppose 3*o = -4*z + 4*o - 247, b = -4*z - 3*o - 251. Let g = z - -92. Is g a multiple of 26?
False
Suppose c + 3*c + 20 = 0, 4*k - 5*c = 25. Suppose -3*j - 12 = k, j = -q - 5 - 0. Is (q - 8/(-2)) + 49 a multiple of 19?
False
Suppose -494 = -4*z + 82. Suppose -a = -5*a + z. Does 18 divide a?
True
Suppose 2*p + 0*p = -2*p. Suppose -3*x = -p*x - 5*c - 272, 4*x = -5*c + 316. Is x a multiple of 14?
True
Let o be (1 - -1)/(-2) - -36. Suppose -90*i = -81 - 639. Let p = o - i. Is p a multiple of 5?
False
Does 8 divide (-1216)/(-160) + 2/5?
True
Suppose 4 = a, a = -46*f + 50*f - 2724. Does 62 divide f?
True
Suppose 4*g - 1408 = -2*d, -d - 1767 = 15*g - 20*g. Is 33 a factor of g?
False
Let s(i) = -2*i + 38. Let g be s(17). Suppose -2*y - 250 = -5*m + y, -20 = g*y. Does 11 divide m?
False
Suppose -96 = -k + 5*k. Let l be 8/(-2) + 3 - 39. Let c = k - l. Does 8 divide c?
True
Let b(c) = 91*c**3 - 2*c**2 - 46*c**3 + c - 61*c**3 + 2. Is 15 a factor of b(-2)?
True
Suppose -4*m = 2*r - 8117 - 5623, -3*m - 13712 = -2*r. Does 19 divide r?
False
Suppose -3*h + 77 = -46. Suppose -4*m = -61 + h. Suppose 0 = -p - m*x + 84, 0 = 5*p + x - 250 - 242. Is 33 a factor of p?
True
Let j be -71*1/(-1)*5. Suppose 65 - j = -5*g. Is g a multiple of 9?
False
Let w = 1486 + -463. Does 33 divide w?
True
Let n = 32 + -29. Let i(q) = 5*q + 5. Does 20 divide i(n)?
True
Let k be 2284/(-16)*(-5 + 1). Suppose -4*g = -5*r - k, 101 + 185 = 2*g - 2*r. Suppose 2*a + 24 - g = -4*c, 4*c = a - 30. Is 9 a factor of a?
False
Suppose -4 = -i + 8. Let w = i - -13. Suppose 0 = -5*x + 4*x + w. Is 15 a factor of x?
False
Let s(k) = k**2 + 4*k - 1. Let y be s(-3). Does 29 divide (98/y)/(4/(-8))?
False
Let u(i) = i**2 - 5*i + 4. Let z be 10/6*(5 - 2). Let v be u(z). Suppose 4*j = j, -v*d - j + 108 = 0. Does 15 divide d?
False
Suppose -z = 4*z - 20. Let k be (-1)/(6 - z)*0. Suppose -m = -k*m - 11. Is 5 a factor of m?
False
Let o = -49 + 137. Is 4 a factor of o?
True
Let s be 1/((-32)/36 + 1). Suppose -s = -2*t + 63. Is t a multiple of 4?
True
Let y(d) = 0*d - 3*d**2 - d**3 + 4*d - 6*d + 6*d + 5. Does 3 divide y(-4)?
False
Let w be 4/6 + (-1216)/(-48). Let q = 37 + w. Does 21 divide q?
True
Is -1*(2448*2)/(-8) a multiple of 34?
True
Suppose 168*t = 161*t + 4802. Does 49 divide t?
True
Let w be (-87)/9 - 6/(-9). Does 45 divide -2 - 15/w - 1624/(-12)?
True
Let b(n) = 6*n**2 - 10*n + 9. Let s be b(8). Let q = s - 141. Suppose -3*d + h = -99, 7*d - 4*h - q = 2*d. Does 8 divide d?
True
Let o(v) = v**3 + 9*v**2 + 2*v - 11. Let c be o(-9). Let t = c - -17. Does 3 divide t/(-4 - (1 - 3))?
True
Suppose -96*v - 165550 = -182*v. Is 35 a factor of v?
True
Let a be 2/3 - 20/12. Let r(y) = 215*y**2 + 3*y. Does 53 divide r(a)?
True
Suppose -3*z + 1263 = 5*a, 5*a + 5*z - 35 = 1220. Is a a multiple of 7?
False
Suppose u + 13*u = 2688. Is u a multiple of 24?
True
Suppose 27*v + 238 = 25*v. Let y = v + 255. Does 26 divide y?
False
Let p = 13 - 12. Is (-1 + -56)*(0 - p) a multiple of 12?
False
Let t = 96 + -23. Suppose 6 = -f + t. Does 24 divide f?
False
Let i(r) = -3*r - 37. Let g be i(-11). Let c = g + 73. Is c a multiple of 23?
True
Is 10/((-320)/(-13128)) + (-1)/4 a multiple of 82?
True
Let j(m) = 204*m**2 - 7*m - 7. Does 6 divide j(-1)?
True
Does 2 divide 1/((20/(-500))/(6/(-5)))?
True
Let c(b) = 2*b**3 - 24*b**2 - 20*b + 38. Is c(13) a multiple of 4?
True
Let k = 813 + -496. Let y = -189 + k. Is y a multiple of 32?
True
Let i(x) = 9*x + 1. Let j be i(1). Let f(s) = -6*s**2 - 2*s + 10. Let g(n) = 5*n**2 + 3*n - 8. Let u(c) = -6*f(c) - 7*g(c). Does 3 divide u(j)?
True
Let f(g) = -118*g**3 - 4*g**2 + 4*g. Does 40 divide f(-2)?
True
Suppose 5*a = -2*g + 6002, 0 = 6*g - 3*g + 12. Is 18 a factor of a?
False
Let h(q) = -15*q**3 - q**2 - q + 5. Suppose 7*j + 32 = -9*j. Is 9 a factor of h(j)?
False
Let i(v) = -56*v + 9. Let t(h) = 140*h - 22. Let b(w) = -12*i(w) - 5*t(w). Is 6 a factor of b(-1)?
True
Suppose 0 = 99*m - 96*m + 630. Is 13 a factor of (m/4)/(1/(-2))?
False
Suppose -4*r - 2*j + 7*j + 1908 = 0, j = 5*r - 2385. Does 53 divide r?
True
Suppose c + 1192 = f, 503 = f + 3*c - 705. Is f a multiple of 9?
False
Let m = -40 + 101. Suppose -p - 3*p + 460 = 0. Let h = p - m. Is 27 a factor of h?
True
Let b = -168 + 706. Is b a multiple of 51?
False
Suppose 2*c = 2*o + 26, 0 = -5*o + c - 4*c - 33. Let b = 6 + -4. Does 3 divide 21/(o/(-3)) - b?
False
Is 97 a factor of -584*(49/28 + -4)?
False
Let w be -548*(-6)/216 - 4/18. Suppose 13*n - w*n = -72. Is n a multiple of 12?
True
Let v be 52/12 + (-4)/(-6). Let y = 64 - 64. Suppose v*h = -y*h + 75. Is h a multiple of 3?
True
Suppose 0 = 2*f + 3*g - 557, -4*f - 3*g - 1069 = -8*f. Does 4 divide f?
False
Suppose -l + 3*l = 0. Let r(w) = w**3 + 2*w + 54. Is 10 a factor of r(l)?
False
Let c(g) = -212*g**3 + g**2 - g - 1. Is 15 a factor of c(-2)?
False
Suppose 5*p - 713 = -0*p + 4*t, -3*t - 147 = -p. Is 35 a factor of p - (2 + -1 + 2)?
False
Let j = 82 - -117. Let v = j - 137. Does 23 divide v?
False
Does 24 divide (-1)/16 - 43*(-3858)/96?
True
Let x be ((-24)/(-18))/((-4)/6). Is 5 a factor of (-8 + 6)*5/x?
True
S