*t + 2*c, -4347 = -6*t + t + c. Does 58 divide t?
True
Suppose -5*c + 0*s - 1 = -s, 3*c + 5*s = 5. Suppose 71*q - 74*q + 735 = c. Does 15 divide q?
False
Let s = 1098 - 737. Suppose s = 4*g - 55. Is 13 a factor of g?
True
Let p(l) = l**2 + 4*l - 7. Let f(s) = -s**2 + 10*s - 6. Let a be f(10). Let g be p(a). Suppose 23 + 7 = g*m. Is 3 a factor of m?
True
Suppose 0 = 2*f + w - 90 - 129, 4*w = 12. Suppose -10*u + 11*u - f = 0. Does 39 divide u?
False
Suppose -x - 1554 = -5*y, 4*y - 1010 = 4*x + 246. Is 8 a factor of y?
False
Let c(p) = p - 8. Let m be c(15). Suppose -8 = -5*z + m. Suppose 11 = z*s - 133. Is 16 a factor of s?
True
Suppose -5*q + 28 = -2*z, 5*q - 40 = 5*z - 0*z. Suppose q*m - 152 = 2*m. Does 19 divide m?
True
Suppose -10*u - 2190 = -11*u - 2*r, 2*u = -r + 4374. Is u a multiple of 17?
False
Suppose a + 260 = -5*q + 2*q, 2*a = 4*q + 340. Let s = q - -189. Is 10 a factor of s?
False
Let t = 441 + -199. Is 22 a factor of t?
True
Let o(q) = -q + 20. Let p be o(0). Suppose -4*n = -9*n + p. Suppose -n*t + t + 63 = 0. Is t a multiple of 10?
False
Does 17 divide 1768 + (-1 - (-1)/(7/35))?
False
Let w be 94/10 + 2/(-5). Suppose -2*n + 3 = w, -4*n - 188 = -4*v. Is v + -4 + 0/1 a multiple of 10?
True
Let k be (6 - 0)*6/4. Suppose -11 - k = -5*x. Suppose 15 - 79 = -x*z. Does 4 divide z?
True
Let u(v) = -v**2 + 16*v - 15. Let g be u(14). Suppose 4*z = 869 - g. Does 21 divide z?
False
Suppose -4*x - 16 = 0, 0 = 3*u + 3*x + 6663 - 20196. Is 35 a factor of u?
True
Let b be (4 - 2 - 1)*3. Suppose 3*h - 6 = -g + 9, -h - 5 = -b*g. Suppose 0 = -g*n - n + 36. Does 6 divide n?
False
Is 6 a factor of (423/(-2))/(4 - 133/28)?
True
Does 4 divide 2*(-856)/(-64) + 2/8?
False
Suppose 4*v - 54 = 4*s - 6*s, 0 = -3*v - 4*s + 48. Let p(c) = 2*c + 23. Does 16 divide p(v)?
False
Let h(s) = 26*s - 35. Is 17 a factor of h(37)?
False
Suppose -5*p + 40 = -j + 6*j, 0 = j. Suppose -3602 = -p*i - 1410. Does 31 divide i?
False
Suppose -v = -11 + 6. Suppose -h + v + 5 = 0. Let b(c) = c - 7. Is b(h) a multiple of 2?
False
Suppose 21*l - 4*i - 12740 = 16*l, -5*l - 3*i = -12740. Is l a multiple of 26?
True
Let d = 20 - 18. Suppose -2*h + 5*a - d + 5 = 0, -4*h - a = -17. Is h even?
True
Let q be (-3)/3*0*8/(-32). Suppose 9*o - 5*o - 84 = q. Does 7 divide o?
True
Suppose 106 = a - 3*p, -5*a + 476 = -9*p + 12*p. Is 5 a factor of a?
False
Suppose 5*v - 5*d = -325, -274 = 5*v - 3*d + 47. Suppose 0*z + 26 = 3*a + z, 15 = 5*a - 4*z. Is 9 a factor of 173/a - 18/v?
False
Let k(y) = 3*y**2 + 4*y + 1. Let r be k(-10). Suppose 5*a = 3*m + r + 656, 0 = -5*m + 5. Does 11 divide a/6 + (-2)/3?
False
Let t be -4*5/(-8)*2. Is -1 - (-210)/t - -4 a multiple of 9?
True
Suppose 34*v = 3715 + 2643. Is v a multiple of 29?
False
Let w = -121 - -127. Let b(o) = 4*o + 32. Is b(w) a multiple of 7?
True
Suppose 0 = -11*j + 3950 - 452. Does 53 divide j?
True
Does 74 divide (4/6)/(36/31968)?
True
Let s(o) = 831*o - 26. Is 22 a factor of s(2)?
False
Let u(p) = 3*p**2 - 7*p + 9. Suppose -2 = 4*z + 6. Let g be (-56)/(-10) + z/(-5). Is u(g) a multiple of 15?
True
Let a(r) = r**3 - r**2 + r - 36. Let n be a(0). Is 3 a factor of (3 - n/8)*2?
True
Suppose n + 10 - 34 = 0. Suppose 2*t = -t + n. Is 24 a factor of (142/t)/(10/40)?
False
Let w be (-32)/(-24) - (-260)/3. Let k = w - 53. Does 8 divide k?
False
Let u(b) = -13*b + 302. Is 2 a factor of u(23)?
False
Suppose 5*r - 459 - 381 = 0. Does 21 divide r?
True
Let s = -58 - -590. Is 33 a factor of s?
False
Does 8 divide 88 + 915 - (-7 - (-2)/1)?
True
Let f = 134 - 39. Does 6 divide f?
False
Let d(x) = x - 4. Let h be d(2). Is 7 a factor of 16/(3/((-9)/h))?
False
Suppose 2*i = -3*s + 29 + 2223, -i = s - 752. Is s a multiple of 34?
True
Suppose 3*i + 2*o + 0*o - 2151 = 0, 0 = -2*i - 3*o + 1434. Does 11 divide i?
False
Let s(b) = 7*b**2 + b + 1. Let k be s(-4). Suppose -4*j - 5*t + 253 = 0, -143 = -4*j - 4*t + k. Is j a multiple of 31?
True
Let k = 192 + -84. Suppose i = 2*b - k, b + 20 - 74 = 5*i. Is 9 a factor of b?
True
Let m(s) = 2*s**2 + 4*s + 3. Let d be m(-2). Let o = 3 + d. Let z(l) = l**2 - 6*l + 9. Is 3 a factor of z(o)?
True
Let q = 28 + -19. Let g(z) = 3*z**3 - 7*z**2 + 4*z - 9. Let w(j) = 7*j**3 - 13*j**2 + 9*j - 17. Let f(p) = 5*g(p) - 2*w(p). Does 3 divide f(q)?
False
Let c(y) = -15*y + 2. Let o be (0 + 1)/((-1)/5). Let q be (-2)/o - (-418)/(-95). Is c(q) a multiple of 14?
False
Let b = 31 - 32. Does 6 divide (-275)/22*(b - 1)?
False
Let j(v) be the third derivative of 59*v**6/720 - v**5/60 - 13*v**4/24 - 10*v**2. Let g(i) be the second derivative of j(i). Is g(1) a multiple of 17?
False
Let f = 80 - -282. Is f a multiple of 20?
False
Suppose -4*a = -0*a + 5*z - 1137, -2*z - 294 = -a. Let p = -168 + a. Is p a multiple of 24?
True
Let d = 224 + -450. Let g = 343 + d. Does 39 divide g?
True
Let l(m) = -2*m**3 + 20*m**2 - 11*m + 18. Does 20 divide l(-10)?
False
Let n(h) = -h - 6. Let x be n(1). Is (x/140*5)/((-1)/596) a multiple of 16?
False
Suppose 4*a - 2*a + 92 = 0. Is 23 a factor of (8 + -4)/(-4)*a?
True
Let m(j) = 3*j**2 + 15*j + 3. Let p be m(-10). Let w = p + -51. Does 11 divide w?
False
Let v = -772 + 1876. Does 24 divide v?
True
Does 80 divide (12/(-18))/((-207992)/51996 - -4)?
False
Suppose 3*r = -4*j - 1275 + 13743, r + 12484 = 4*j. Does 30 divide j?
True
Let y be 4/(4*-1)*0. Suppose p = 3 - y. Does 5 divide p/1 - (1 - 5)?
False
Suppose j = -3*t + 38, 2*j + j + 4*t - 104 = 0. Let f = j + -22. Does 5 divide f?
True
Suppose -2*t + m = -54 + 17, 3*t + 4*m = 72. Is t a multiple of 2?
True
Let q(w) = w**3 + 2*w**2 - 10*w + 7. Is 15 a factor of q(-3)?
False
Let x(w) be the first derivative of w**6/180 - 3*w**5/40 + w**4/6 - 7*w**3/3 - 3. Let o(m) be the third derivative of x(m). Does 6 divide o(6)?
False
Let v = -33 - -36. Suppose -2*g + 74 = 2*d, -80 = -v*g + g + d. Is g a multiple of 14?
False
Suppose 0 = 12*g - 14*g - 2*p + 840, 5*p = 5*g - 2080. Is 19 a factor of g?
True
Suppose 22 = -3*d - 26. Let y be (9/(-6))/(4/d). Suppose -227 = -4*c - j, -2*c - j = -y*c + 221. Is c a multiple of 8?
True
Suppose -2*v = -3*v + 5343. Let b be v/(-5) + (-30)/(-50). Is 9 a factor of b/(-30) - 4/(-10)?
True
Let c = -2257 + 3492. Is c a multiple of 19?
True
Let r = 269 - -2121. Does 57 divide r?
False
Let k(z) = z**2 - 11*z + 4. Let y be k(11). Suppose -3*u + 2*b + 394 = 0, -y*u + 4*b + 762 = 230. Does 4 divide 10/(-4)*u/(-40)?
True
Let z = 36 - 12. Let c be 12/z + 2/(-4). Suppose -r + h + 25 = c, 3*r - 5*h + 55 = 7*r. Is 10 a factor of r?
True
Is 63 a factor of 1387 - 88/(15 - 7)?
False
Suppose -5*p + 4*l + 336 = 0, 0*l + 4*l = 4. Is 34 a factor of p?
True
Suppose 0*d + d + q - 251 = 0, -2*q + 1249 = 5*d. Does 49 divide d?
False
Suppose -3*r - r = -168. Does 14 divide r?
True
Suppose -3*s + 420 = 3*p, 41*s - 40*s - 124 = -5*p. Is 8 a factor of s?
True
Let d(l) = 608*l**2 + 3*l - 3. Is d(1) a multiple of 16?
True
Suppose 0 = 5*l + 4*n - 26, 0 = 4*l + 3*n - 1 - 19. Is 14 a factor of ((-430)/(-25))/(l/5)?
False
Let b(q) = 2*q**3 - 2*q**2 - 3*q + 9. Let m(v) = 3*v - 2. Let i be m(2). Is 31 a factor of b(i)?
True
Let z(k) = k**3 - 24*k**2 - 69*k - 109. Is 54 a factor of z(28)?
False
Let y = -2 - -7. Let l = 5 - y. Let p = l + 7. Is p a multiple of 4?
False
Suppose -2 + 8 = 3*b. Suppose -3*y = -b*y + 5*l - 62, -5*l = -20. Does 7 divide y?
True
Let p(a) = 3*a**3 - 3*a**2 + 3*a + 4. Let z be p(4). Suppose z = 5*x + 5*c, 0 = x - 5*c - 1 - 7. Is x a multiple of 18?
False
Let t(s) be the first derivative of 76/3*s**3 - s + 13 + 0*s**2. Is 25 a factor of t(1)?
True
Suppose 2*p + 2*z + 30 = 4, -5*p + 3*z - 73 = 0. Let t = 28 + p. Does 26 divide (-4)/t - (-604)/7?
False
Let r = -895 - -999. Is r a multiple of 8?
True
Suppose 3*a - 58 - 17 = 0. Suppose k + a = 61. Is k a multiple of 16?
False
Suppose 0*l + 5*l - 30 = 0. Suppose 19 = -0*g + g + y, 0 = 2*y + 10. Suppose -2*t + g = 3*w, -l*t - 9 = -3*w - 3*t. Is w a multiple of 3?
True
Suppose -3*s + 511 = -5*m, 5*s - m - 2*m = 825. Let z = s + -116. Is 13 a factor of z?
False
Let x be 3*(25 + 1) + 2. Suppose -x = -5*a + a. Is a a multiple of 5?
True
Let f(c) = -6*c + 53. Let x be f(10). Let n(p) = 2*p**2 + 6*p + 4. Does 10 divide n(x)?
True
Suppose -5*n + i = -150, 5*n - 176 + 26 = 5*i. Suppose 0 = -31*o + n*o + 66. Is 11 a fac