34 a factor of 7 + 402/(-60) - (-34677)/10?
True
Suppose 6*o - 10*o = -400. Does 28 divide o?
False
Let z = 9 + 11. Let x = -15 + z. Suppose 0 = -y + 2*w + 2*w + 82, 10 = -x*w. Does 13 divide y?
False
Suppose 4*s = -t + 20, 3*t + 100 = 8*t - 4*s. Suppose -7*j + 2*j + t = 0. Is 4 a factor of j?
True
Suppose 3*k + 18 = 165. Does 14 divide k?
False
Suppose 15*k = -940 + 11635. Is k a multiple of 58?
False
Let m(c) = -93*c + 103. Is 9 a factor of m(-13)?
False
Let n(p) = -3 - p + 5*p**2 + 5*p - 2*p**2 + 0*p. Let v be n(-3). Let y = v + -8. Is y a multiple of 3?
False
Suppose -3*i = i - 16. Suppose i = -4*s + 16, -5*f - 5*s + 30 = 0. Suppose 3 = 4*a + 2*m - 27, -a + 20 = f*m. Is a a multiple of 5?
True
Let x(m) = -1178*m + 32. Is 6 a factor of x(-1)?
False
Suppose -7*w - 192 = -13*w. Is 7 a factor of w?
False
Suppose -3*p + 4*g = -31, -3*p - p + g + 63 = 0. Is p a multiple of 2?
False
Suppose 45 = 4*a + 29. Suppose 0 = -a*b + 846 - 6. Is b a multiple of 10?
True
Suppose -30 = -8*j + 3*j. Suppose z = -v + 7, 2*z = j*z - 2*v - 52. Does 6 divide z?
False
Does 10 divide ((-135)/18)/(-15) - 619/(-2)?
True
Let l(y) = 12*y**2 + 8*y + 8. Is 45 a factor of l(-7)?
True
Suppose -18 = -5*z - 3*r, 5*z - 15 = -5*r + 5. Let f(b) = 6*b**2 - 3*b - 4. Is f(z) a multiple of 6?
False
Suppose 558 + 597 = l. Is 7 a factor of l?
True
Let c(z) = 2*z + 20. Let a be c(-6). Suppose 0 = 2*p + 2, 0 = i - p - 1 - a. Does 5 divide i?
False
Let p be (8/6)/4*2*6. Suppose -p*t - 57 = -g, g = -g + t + 121. Is g a multiple of 19?
False
Let b(c) = c**3 + 6*c**2 - 5*c - 2. Let q be b(-7). Let h be (-48)/(-2) - (-12 + 8). Let g = q + h. Is g a multiple of 3?
True
Suppose 0 = -5*l - 5*j + 305, 5*l - 2*j = -0*l + 298. Is l a multiple of 5?
True
Suppose -g - 3*g - 5*b + 10 = 0, 5*g = -b + 23. Let u be (-3)/(-6)*-6 + g. Suppose u*t - 78 = -t. Is t a multiple of 11?
False
Let s = -13 + 16. Let j = 6 - s. Suppose j*q - 176 + 50 = 0. Is q a multiple of 14?
True
Let p = 541 + -472. Is 7 a factor of p?
False
Suppose 5*w - 9*w - 132 = -4*t, 0 = -4*t + w + 144. Does 11 divide t?
False
Let n(i) = i**2 - 24*i - 15. Let w be n(-19). Let h = -526 + w. Suppose -2*m - 3*l = -h, 2*l - 5*l = -5*m + 732. Does 37 divide m?
False
Let o be 3/(-12)*-6 + 6/12. Suppose o*h = 4*z - 42, 0*h = -2*z - 2*h + 12. Is z even?
False
Let p(g) = 2*g**3 - 16*g**2 + 68*g - 17. Does 10 divide p(11)?
False
Suppose -17*v + 15498 = 10*v. Is 41 a factor of v?
True
Does 10 divide 24656/88 - (-8)/(-44)?
True
Let f = 12 - 24. Let z = f + 14. Does 10 divide z/(-7) + 72/7?
True
Suppose 118 = 6*l - 4*l. Suppose 3*x - l = -431. Let t = -88 - x. Is t a multiple of 9?
True
Let i be 11/(-33) - 4/(-3). Suppose 2*u - 335 = -i. Is 35 a factor of u?
False
Suppose 0 = 5*s + 2*q - 750, -3*q - 319 = -2*s - 0*s. Suppose b - 2*j - 38 = 0, 0 = 4*b - 0*j - 2*j - s. Does 8 divide b?
False
Suppose 10*g = -149 + 89. Let x = -83 + 169. Is 22 a factor of x + 4 + g + 4?
True
Suppose -2*m + 3*m - 2 = 0. Suppose -t = 3 - m. Let c = 7 + t. Is c even?
True
Suppose -1371 = -6*l + 249. Is l a multiple of 3?
True
Let t be (-2)/(-3) - 10/(-3). Suppose t*w + w = 340. Is 10 a factor of w?
False
Is 5 a factor of -6 - (-1 + -9 + -81)?
True
Let j = -38 - -11. Let a be (4 - 6)*(2 - (-45)/6). Let s = a - j. Does 3 divide s?
False
Let t(o) be the second derivative of -o**5/20 + 5*o**4/12 + o**3/6 + 5*o**2/2 - 3*o. Let k be t(4). Suppose 5*n - k = 30. Does 7 divide n?
False
Suppose -3375 = 4*m + 5*m. Let c = -145 - m. Does 9 divide c?
False
Let d(v) = -v**3 + 3*v**2 + 4*v + 3. Let w be d(-3). Let t be (-50)/525 + 5002/42. Suppose t + w = 4*z. Is 23 a factor of z?
False
Let j(n) = 1. Let l(x) = 4*x - 35. Let r(p) = 4*j(p) + l(p). Does 2 divide r(9)?
False
Does 6 divide 162/(-1863) - 3314/(-23)?
True
Suppose -21*t = -49*t + 588. Is t a multiple of 2?
False
Suppose -4*s + s = -6. Suppose 0 = -3*m - 0*u + 5*u + 24, -3*u = -s*m + 17. Suppose -3*r - p + 93 = -m, 0 = -r + 5*p + 46. Is r a multiple of 12?
True
Let i(d) = -307*d**3 + d**2 - d - 1. Does 44 divide i(-1)?
True
Let b be (-2)/20 - 9020/(-200). Let j(l) = 7*l**2 - 2*l - 1. Let y be j(-1). Suppose -y*z - b = -13*z. Is z a multiple of 3?
True
Let k(m) = 2*m**2 + 0*m + m - 5*m + m + 2. Suppose -3*b + 0*b = -18. Does 14 divide k(b)?
True
Let m(u) = 100*u - 19. Let q be m(3). Suppose 2*c + 278 = t - 0*c, -c + q = t. Does 14 divide t?
True
Suppose -471 = 14*i - 2263. Does 32 divide i?
True
Does 8 divide -5 - (4 - 11) - -108?
False
Let g be (-7506)/(-22) + 58/(-319). Suppose -g = -6*j + 475. Is 50 a factor of j?
False
Is -3*(-161)/84*12 a multiple of 3?
True
Is 12 a factor of 321/6*1*6?
False
Let p(g) be the second derivative of -3*g**4/8 + 2*g**3/3 - 3*g**2 + 6*g. Let l(k) be the first derivative of p(k). Does 12 divide l(-6)?
False
Does 11 divide (6/(-5) - 1)/(2/(-10))?
True
Let l be 0 - ((-4)/(-2) + -2). Let o(x) = -x**2 - 2*x + 15. Let s(y) = 4*y**2 + 7*y - 46. Let w(z) = 7*o(z) + 2*s(z). Is w(l) a multiple of 13?
True
Suppose -3*x = -2*t + 96, 0 = -5*t - 5*x + 3*x + 259. Let o = t + -24. Is 9 a factor of o?
True
Let i(j) = -10 - 7*j + 7 - 1 + 2. Let o be i(-1). Suppose o*z + z - 216 = 0. Is z a multiple of 9?
True
Let m(j) = 17*j**2 - 1. Suppose -1 = -5*v + 9. Suppose v*f - 2 = -b + 1, -5*f = -5*b. Does 8 divide m(b)?
True
Suppose 0*k = 4*k - 360. Suppose 5*r = -5*c - 0*c, 0 = 4*c - 5*r - 27. Suppose 4*a + 5*f - k = 3*a, 0 = -a + c*f + 58. Does 14 divide a?
True
Suppose w + 2 = 11. Suppose w*m = 6*m + 36. Let v = m + 22. Does 11 divide v?
False
Does 7 divide (9/(4 - 1) + 0)*63?
True
Let y = 2143 - 1945. Is 11 a factor of y?
True
Let t(a) = 24*a**2 - 97*a + 13. Does 117 divide t(13)?
True
Suppose -70*j = -71*j + 342. Is j a multiple of 9?
True
Suppose 24*h = 4*h + 54000. Does 30 divide h?
True
Suppose 1963 = -2*n - 3*o + 5814, 5775 = 3*n + 3*o. Is n a multiple of 37?
True
Suppose -4*n + 294 = -810. Does 22 divide n?
False
Suppose -54*g + 27*g = -945. Is 6 a factor of g?
False
Let j(u) = -2*u. Let k be j(2). Is (-6)/k + 450/4 + 3 a multiple of 9?
True
Suppose -x - 2*x = 0. Suppose 0 = 4*c - 3*z - 23 - 111, x = -5*c + 5*z + 165. Is c a multiple of 13?
False
Let j(o) = o**2 - 3*o + 1. Let t be j(4). Suppose 0 = -3*l + k + 53, t*k + 5 = -3*l + 64. Does 6 divide l?
True
Let l(y) = y**2 + 8*y - 9. Suppose 0*k - 3 = k, -5*d = -4*k + 3. Let n be 42/(-35)*10/d. Is l(n) a multiple of 13?
True
Suppose -y + 732 = 4*a - 110, -426 = -2*a - 3*y. Is a a multiple of 30?
True
Suppose 0 = 5*v - 5*p + 345, -p - 25 = 3*v + 178. Let w = -38 - v. Is w a multiple of 15?
True
Suppose 3*t + 5*n - 290 - 2290 = 0, -3*n = 0. Is t a multiple of 43?
True
Suppose -o + 2*o = 0. Suppose -4*k + 1 + 7 = o. Suppose g - 152 = -4*z - g, k*z = 2*g + 82. Is z a multiple of 13?
True
Suppose 2*n = -o + 13, -6*o + o + 2*n + 5 = 0. Let k(y) = 6*y**3 - y**2 + y + 6. Is 27 a factor of k(o)?
True
Suppose 0 = 8*a - 11*a + z + 1616, z - 2150 = -4*a. Is a a multiple of 3?
False
Let k(w) = 48*w**2. Let s be (-5 - -4)/1*-126. Let m be (-98)/s + 4/(-18). Is 15 a factor of k(m)?
False
Let g(a) = -a**3 + 10*a**2 + 12*a - 30. Does 18 divide g(10)?
True
Let l be 7/14 + 182/(-4). Let u be l*4 - (-2 + 2). Is 20 a factor of -1*u/(3 + 0)?
True
Let o(z) = -26*z**3 + 7*z - 2. Let l(g) = g**3 - g - 1. Let h(a) = -3*l(a) - o(a). Is h(2) a multiple of 11?
False
Let c = -51 + 51. Suppose -2*j - y + 409 = c, j + 0*y - 207 = 2*y. Does 41 divide j?
True
Let a = -2739 - -5486. Is a a multiple of 80?
False
Does 28 divide -4 + (-6087)/(-12) + (-1)/4?
False
Let j be -4 + (3 - 4 - -10). Let p = 297 + -193. Suppose p = 5*q + 2*s, -2 + 104 = j*q + s. Does 10 divide q?
True
Suppose -6*z - 820 = -11*z. Suppose -z = i - 5*i - 3*f, -3*f = 12. Is i a multiple of 10?
False
Let c(b) = 38*b - 127. Does 10 divide c(12)?
False
Let r be 10/(-20) - (-390)/4. Let h = -49 + r. Does 40 divide h?
False
Let l = 30 - -870. Is 6 a factor of l?
True
Let l = -1208 + 1565. Does 17 divide l?
True
Let z(r) = r**3 + 15*r**2 + 26*r - 9. Let t be z(-13). Does 13 divide (-2242)/(-5) - t/15?
False
Let b(f) = -f**3 + 6*f**2 - 4*f - 1. Let u = 2 + 1. Let v be b(u). Let x = 21 - v. Is x a multiple of 2?
False
Suppose 5*w = p - 105, 5*p = 3*w + w + 630. Is 5 a factor of p?
True
Suppose -32 = -n - s, 0*s + 5*s = 0. Let o = n + -