 a multiple of 34?
True
Let v be (2 - (1 + 2)) + 123 + -2. Let i = -86 + v. Is 7 a factor of i?
False
Is 12 a factor of ((-2 + 0)*-130)/(34/34)?
False
Suppose 2*y + 4*c = 130 + 66, 0 = -y + 2*c + 94. Suppose -3*u - 196 = -5*u - h, 0 = -u - h + y. Does 25 divide u?
True
Suppose -15*a - 6228 = -27*a. Is 29 a factor of a?
False
Suppose -3 = 2*b - 17. Suppose -3*q + 24 = 2*w - b, 0 = -3*w + q + 74. Is w a multiple of 2?
False
Let f(u) = 2*u**2 + 5*u - 3. Suppose 0 = 4*b - 2*b - 8. Let i be f(b). Does 17 divide i - (2 - 1) - -3?
True
Let h(x) = -x**3 + 6*x**2 - 13*x - 8. Let q be h(-7). Suppose -3*m = -5*a + 720, 5*a + 2*m = 7*m + q. Does 24 divide a?
True
Let v = -32 + 195. Suppose 4*k + 314 = 10*q - 8*q, -5*k - v = -q. Is q a multiple of 28?
False
Suppose 4*l - 96 = 3*s + 270, -4*l + 382 = 5*s. Suppose 5*p = -4*o + 271, 3*o - 2*p = l + 93. Is o a multiple of 19?
False
Let c be 26/5 - 8/40. Suppose r - 132 + 12 = -q, 4*r - 600 = -c*q. Is 20 a factor of q?
True
Let f(m) = -m**2 - 9*m + 7. Let v be f(-7). Suppose -2*x + 3*s + v = x, -2*s + 10 = 2*x. Is 16 a factor of (1 - 2)*(-26 - x)?
True
Does 22 divide ((-151)/2 + 5)/(6/(-32))?
False
Suppose 0*u = -4*u - 168. Is 125/7 - 6/u a multiple of 13?
False
Let s be 2/2 - (-7 + 9). Let i be (3 - s) + (-15)/5. Suppose -265 = -4*l - 3*p - i, -4*p = -4*l + 292. Does 23 divide l?
True
Let a = 12 + -9. Suppose 6*f - a*f = 90. Let u = 79 - f. Does 16 divide u?
False
Is 20 a factor of ((-465)/(-124))/((-2)/(-128))?
True
Let x(f) = f**3 + 6*f**2 + 3*f - 6. Let c be x(-5). Let n(s) be the first derivative of s**3/3 - 3*s**2/2 + 9*s - 8. Is n(c) a multiple of 6?
False
Suppose 2*d = -8, -t + 2*d - 7*d = 18. Let w be (12/3)/(t/80). Suppose -3*m + 8*m = w. Is m a multiple of 16?
True
Let c be -1 - (4 - -635)/(-3). Suppose -318 - c = -5*u - 5*w, 4*w - 109 = -u. Does 15 divide u?
True
Suppose -4*x + 7741 = 3*a + 1984, 2*x + 3*a - 2883 = 0. Is 28 a factor of x?
False
Let z(n) = n**2 + n + 2. Let f = 29 - 24. Let g be z(f). Let b = 60 - g. Is 7 a factor of b?
True
Let j(d) = -68*d + 129. Is 37 a factor of j(-3)?
True
Does 6 divide 1*(-90)/(-75)*1700/2?
True
Suppose -74*n + 96739 = 3943. Does 19 divide n?
True
Let q be (2/(-3))/((-2)/12). Let m = 4 - q. Suppose -z + 6 + m = 0. Does 4 divide z?
False
Suppose 2*c - 195 = -o, 2*o + 5*c = 261 + 132. Is o a multiple of 9?
True
Suppose -4*g + 5*y = -25 - 12, -4*y = g + 17. Let a be 291/3 - 1/1. Suppose 7*d - g*d - a = 0. Does 12 divide d?
True
Suppose -5*g + 2*d = 166, -3*g = -7*g - 2*d - 122. Suppose 0 = -y - y + n + 10, 0 = -2*y - 4*n. Is 12 a factor of y*(-4)/(g/36)?
False
Let v(c) = -c - 14. Let q be v(-10). Does 11 divide (440/(-30))/(q/18)?
True
Let s(m) = -m**3 - 11*m**2 - 9*m + 11. Does 8 divide s(-11)?
False
Suppose 8 = 2*z - 2*o, 2 = 2*z - o - 7. Suppose -z*n = -13 - 17. Is (-8)/n*(-147)/2 a multiple of 34?
False
Suppose -241 = 4*b + 19*x - 24*x, 3*x - 69 = b. Suppose 160 = 5*c - 5*m, 6*m - 22 = -c + 2*m. Does 16 divide (b/5)/((-9)/c)?
False
Let r be -4 + 5 - (-1 - -1). Is 10 a factor of 6/3*r/(3/15)?
True
Let a be (-381)/(-15) + (51/(-15) - -3). Let c = a + 1. Is c a multiple of 13?
True
Is 3 a factor of 2860/160 + (-1)/(-8)?
True
Suppose -31*k = -29*k - 2280. Is 56 a factor of k?
False
Suppose -a + 144 = -5*v + 34, 0 = -a + 4*v + 114. Is a a multiple of 13?
True
Let j be (1 + 0 - 1)/2. Suppose -5*r + 4*r + 7 = j. Suppose a - 187 = -5*n, -3*a - 2 = r. Is 19 a factor of n?
True
Let c(s) = -26*s - 1. Let j(z) = 130*z + 4. Let u(h) = -16*c(h) - 3*j(h). Let y be u(2). Suppose -5*p = -p - 4*f - y, 2*p - 28 = -2*f. Is 9 a factor of p?
False
Suppose -4*c - x = -2*x - 21, 0 = 3*c + 5*x + 13. Suppose c*p - 98 = -38. Is p a multiple of 15?
True
Let j(n) = -137*n + 3. Let c be j(-2). Let y = c - 145. Is 11 a factor of y?
True
Let h = 284 + -90. Does 9 divide h?
False
Let m(c) = 10*c**3 + 6*c. Let j be m(3). Suppose 7*u - u - j = 0. Is 16 a factor of u?
True
Let i(h) be the first derivative of 8*h**2 - 26*h - 16. Does 52 divide i(6)?
False
Let v be (-1996)/(-20) + 8/(-10). Suppose 0 = 2*t + 5*x - 157, -v = -5*t - 5*x + 286. Is t a multiple of 13?
False
Let u = 10 + -7. Suppose g = m + 43, -255 = -8*g + u*g - 5*m. Does 13 divide g?
False
Suppose 556 = 10*m - 204. Does 65 divide m?
False
Suppose -124 = -3*m + s + 36, -262 = -5*m - 3*s. Suppose 37 = 4*w - 7. Let v = w + m. Does 14 divide v?
False
Suppose -2*j = -28 - 20. Suppose -c = -5*c + j. Does 9 divide 148/3 - (-4)/c?
False
Let c(t) = -t**2 - 9*t - 11. Let j be c(-5). Let o be 299/3 - (-3)/j. Suppose 3*r - 138 = -0*r + 2*y, -4*y = -2*r + o. Is 10 a factor of r?
False
Suppose -2596 = -2*x + 4276. Does 20 divide x?
False
Does 21 divide (-144)/(-24)*(-273)/(-6)?
True
Let b be -1 + 2/8*4. Suppose b = 2*f - 93 + 13. Does 8 divide f?
True
Suppose -5*z - 4 = -n, n - 4 = -0*n - 3*z. Let s(y) = -y**3 + 3*y**2 + 5*y + 5. Is s(n) a multiple of 2?
False
Let z be -5 - 1 - (2 - 2). Is 10 a factor of (4/3)/(2/z) + 17?
False
Let l = 59 - 29. Let k = l - 20. Is k a multiple of 10?
True
Let a(l) = 41*l**2 - 1. Let k be a(1). Suppose -5*n + k + 130 = -2*x, 2*x = -5*n - 210. Let b = x + 162. Does 15 divide b?
False
Let d(c) = -c**3 + 18*c**2 - 11*c + 15. Let b be d(17). Suppose -3*m = -b + 30. Let i = -10 + m. Is 19 a factor of i?
True
Let b = 172 - 144. Is b a multiple of 3?
False
Is (-2455)/(-9) - (1540/(-126) + 12) even?
False
Suppose -6*q + 1670 = -5350. Is 13 a factor of q?
True
Is 3 a factor of 63/(-6)*34/(-51)?
False
Suppose -k - 127 = -d, -3*d - 7*k + 8*k + 387 = 0. Is 16 a factor of d?
False
Suppose 0 = 5*s - 4*s - 154. Does 12 divide s?
False
Let v = 30 - 28. Suppose -v*l + 340 = 3*l. Is 17 a factor of l?
True
Let h(b) = b**3 + 10*b**2 - 12*b - 8. Suppose -4*f + 5*y - 59 = 0, -f = 5*y - 6 + 2. Let t be h(f). Is 120/t*(-4)/(-4) a multiple of 9?
False
Suppose 3*i + 2 - 14 = 0. Let b be -8 - (i + -4) - -4. Is 5 a factor of ((-6)/b)/((-3)/(-16))?
False
Let x be ((-1)/(-2))/(5/30). Suppose x*h - 72 = -5*q + 118, h + 4*q = 54. Does 14 divide h?
True
Suppose -3 = -4*h + 25. Let u be 1*((-60)/4)/(-5). Suppose 5*v + u*g = h*g + 366, 5*v + 2*g - 372 = 0. Does 13 divide v?
False
Suppose 3 + 7 = 5*u. Let i be (3 - 4) + u - -3. Suppose i*x - 14 = 18. Is 4 a factor of x?
True
Let v(w) = w + 6. Let a be v(-4). Suppose 2*t = a*r + 16, 10 = -4*r + 2*r. Suppose 2*m = -4*s + 244, -2*s = -t*m - 167 + 29. Is 23 a factor of s?
False
Let w(f) = -94*f - 4. Let t be w(-2). Suppose 308 + t = 6*d. Is 9 a factor of d?
False
Let p(o) = -o**3 - 2*o**2 + 15*o + 26. Does 74 divide p(-8)?
False
Let s = 77 + -43. Let p = s + -10. Let r = p + -11. Is r a multiple of 5?
False
Let q(t) = -t**3 + 4*t**2 + 3*t + 9. Let h be q(4). Suppose -19*f = -h*f. Suppose f = -0*x - 4*x - d + 221, -4*d - 180 = -3*x. Is x a multiple of 21?
False
Let v(d) = 338*d + 186. Does 20 divide v(3)?
True
Let f(u) = -23*u - 13. Let b(c) = -3*c + 23. Let g be b(9). Does 14 divide f(g)?
False
Let v = -5 - -8. Suppose -23 - 1 = -2*g. Does 20 divide v/(-12) + 483/g?
True
Let v = -30 + 36. Let c(z) = 2*z**3 - 8*z**2 - 4*z + 10. Is 13 a factor of c(v)?
True
Suppose 0*a + a + 30 = 0. Let i = a - -60. Suppose l - 13 = -4*s - 2*l, 5*s + l = i. Is 7 a factor of s?
True
Let z be -1*(-20)/(-1)*(-27)/12. Does 3 divide 2/(-15) + 411/z?
True
Let j be (-133)/(-2) + (-1)/2. Suppose 21*s + j = 22*s. Is s a multiple of 6?
True
Let x = -54 - -184. Let j = -387 - -391. Suppose 5*n - j*n + 2*f - 34 = 0, -x = -3*n + f. Is n a multiple of 6?
True
Let b(l) = l**2 - 3*l - 76. Let u be b(0). Let d = u + 167. Is 19 a factor of d?
False
Suppose 3*k - 7*k + 40 = 0. Let f = 32 + k. Suppose -2*y = -20 - f. Is 8 a factor of y?
False
Is 3/(-8) - 74288/(-128) a multiple of 20?
True
Let q = -12 - -20. Suppose 0 = q*n - 3*n. Is 3 a factor of (-1 + n)/(1/(-7))?
False
Let z = 14 + -4. Suppose 4*i = z - 2. Suppose -3*k = -b - 2 + 24, -44 = -i*b + 5*k. Is 22 a factor of b?
True
Let r = 509 - 438. Is 8 a factor of r?
False
Let v(q) = -63*q**3 - 11*q**2 - 20*q - 4. Is v(-3) a multiple of 16?
False
Suppose 3*a + 33 = -2*l + 2, 5 = -a. Let x(t) = 5*t**2 + 10*t + 12. Let g be x(l). Suppose -y = 3*y - g. Is 21 a factor of y?
True
Let j be 2 + (-3 - 0) + 5. Suppose w + 0 = j. Does 26 divide w/(-7) + 1472/28?
True
Let p(v) = -v**2 + 4*v + 28. D