5 divide z?
False
Suppose 4*h - 3*d = 197, -3*h - 4*d + 425 = 296. Does 3 divide h?
False
Let b be (-10743)/15 + (-36)/45. Let s = 1906 + b. Is 29 a factor of s?
True
Suppose -3*y - 266 = -269. Let f(l) = 20*l**2 - 4*l + 2*l + 0*l. Is f(y) a multiple of 3?
True
Suppose 0 = 11*c - 8*c - 321. Suppose 0 = -p + 2*l + 934, -4*p + l + 1877 = -2*p. Suppose f = 3*k + 344, -3*f + c + p = -4*k. Does 52 divide f?
False
Suppose -22 - 342 = -2*b. Suppose 166*l - b*l = -864. Is 6 a factor of l?
True
Let t(j) = -j**3 + 20*j**2 - 15*j - 20. Let i be t(19). Let h = i - 12. Suppose -3*u + h = u. Is u even?
False
Is 28/(24/996*(-2)/(-4)) a multiple of 31?
False
Suppose -2310 = 4*i - 9*i. Is (-31024)/(-22) + (-84)/i a multiple of 30?
True
Suppose 118 = l + 624. Let j = l + 631. Is j a multiple of 25?
True
Let z be 13/(195/18)*5. Let c(o) = 4*o**3 + o + 4*o**3 + 24*o**2 - 21*o**2 + z. Is c(3) a multiple of 21?
True
Suppose v = -4*w + 66, 5*v - 3*w = w + 234. Let k be -1 + (-5)/5 + 18. Suppose -v = 15*d - k*d. Is d a multiple of 5?
True
Suppose -g - 2*g + 2*s - 68 = 0, -5*g + 2*s - 108 = 0. Is 33 a factor of (-2*55/g)/((-1)/(-42))?
True
Let g(z) = -1060*z - 1050. Does 49 divide g(-17)?
False
Let h(k) = k**3 - 6*k**2 - 5*k + 34. Let w be h(6). Suppose l - 4*l - 2*p = -226, -148 = -2*l - w*p. Is l a multiple of 4?
True
Suppose -33188 = -34*h + 140824. Does 39 divide h?
False
Suppose 0 = -5*f + 25, -h - f - 89 = 4*f. Let g be ((-1)/(-1))/((-2)/h). Let t = g - 12. Does 15 divide t?
True
Suppose -2*w + 5*n + 71 = -0*n, -3*w - 5*n = -44. Let i(b) = w + 3*b + 10 - 12. Does 14 divide i(7)?
True
Suppose 96*z - 110*z = -168. Suppose -z*v = -8*v - 1264. Is 14 a factor of v?
False
Suppose 3*y + 11 = 20. Let b(a) = 5*a - 11. Let w be b(y). Suppose 133 + 231 = w*m. Is m a multiple of 13?
True
Does 29 divide (-1315)/(-4) + 40*18/576?
False
Let q = -14 + 18. Suppose 5*d = 3*s + 46, -d - q*s + 1 = -2*d. Suppose d = -2*l + 177. Does 44 divide l?
False
Suppose 0*s + 2*s = -4, 3*s + 398 = 2*n. Is 1*4 + (n - (3 - 13)) a multiple of 5?
True
Let n(z) = -18*z**3 + z**2 - 2*z - 5. Let g be n(-2). Let k = 455 - g. Is 7 a factor of k?
True
Let b = -84 + 94. Is 13 a factor of (-24618)/(-55) - -8 - 6/b?
True
Let z(c) = -c**2 + 34*c + 49. Let a(s) = s**2 - 56. Let f be a(9). Is 40 a factor of z(f)?
False
Let z(p) = 35*p - 251. Is 31 a factor of z(10)?
False
Suppose -13*a = 2*a - 1185. Let z = -31 - -37. Let n = a + z. Is 8 a factor of n?
False
Let c(v) = 66*v**2 - 1160*v + 35. Is 7 a factor of c(25)?
True
Let a = -37 + 46. Let d(g) = -g**3 + 11*g**2 - 11*g + 7. Let x be d(a). Is x/(-5)*(-5 - -1) a multiple of 8?
True
Let a(o) = -15*o**2 - 18*o + 46. Let k(m) = -7*m**2 - 9*m + 23. Let g(p) = -6*a(p) + 11*k(p). Let j(t) be the first derivative of g(t). Is 38 a factor of j(2)?
False
Suppose -3*p + 228*d + 15303 = 225*d, 0 = 2*p + 3*d - 10177. Is 28 a factor of p?
True
Suppose 3*j = 5*d - 39603, 2*d + 20*j - 19*j - 15839 = 0. Does 40 divide d?
True
Let a(g) be the second derivative of -9*g**5/10 - g**3/6 + 2*g**2 - 2*g + 13. Is 5 a factor of a(-2)?
True
Let g(h) = 3*h**2 - 4*h - 12. Let y be g(3). Let j(i) = 17*i**2 + 4*i - 9. Is j(y) a multiple of 15?
False
Let i(u) = -5*u + 4. Let m be i(0). Suppose 0 = -3*s + 5*n + 27, m*s = 3*n + 22 + 3. Suppose -s*o = -18 - 110. Does 16 divide o?
True
Let o(q) = 4145*q**3 - 5*q**2 + 4. Is o(1) a multiple of 22?
False
Let w be (-1 - 0)*(-53 - 12). Suppose -l - 3*l - 164 = 0. Let j = l + w. Does 24 divide j?
True
Let t(k) = -20*k - 19. Let v(p) = 19*p + 19. Let j(o) = -3*t(o) - 2*v(o). Let h(z) = -21*z - 20. Let s(m) = 3*h(m) + 2*j(m). Is s(-4) a multiple of 18?
True
Let f(s) = -39*s + 13. Suppose -70 = 26*p - 19*p. Is 42 a factor of f(p)?
False
Suppose 3*l - 3*g - 1962 = 0, l - 5*g + 0 = 662. Suppose 21*c - l = 12137. Does 21 divide c?
True
Let b be -16*1*12/8. Does 17 divide (-4 - 0)*(1266/b + -3)?
False
Let c = 11 + -7. Suppose 0 = -5*u - 3*z + 46, -c*z = -0*u + 4*u - 40. Is 29 a factor of ((-464)/10)/(u/(-20))?
True
Suppose 5*k + 8*k - 85799 = -4*k. Is k a multiple of 7?
True
Let p = 104 - 88. Suppose 126 = 23*w - p*w. Suppose -898 + w = -10*z. Does 9 divide z?
False
Let v(y) = -2*y**3 - 52*y**2 - 15*y + 32. Let n be v(-26). Let x = n - -238. Does 30 divide x?
True
Suppose 15*r - 119 = 211. Suppose -r*q = 12*q - 2992. Is 8 a factor of q?
True
Suppose 345*u - 352*u + 3612 = 0. Let k = u + -156. Is k a multiple of 10?
True
Suppose -15*z - 19012 = -4*l - 11*z, z = 4*l - 19021. Does 82 divide l?
True
Let b = 127 - -33. Suppose -b = -7*f + 3305. Is f a multiple of 45?
True
Suppose 3 + 41 = 4*v. Let c(j) = j**2 - 13*j + 24. Let t be c(v). Suppose 43 = 2*p - u, t*u - 48 = -2*p + 10. Is p a multiple of 3?
True
Let q = -20446 + 31600. Is 6 a factor of q?
True
Let t(c) = 452*c**2 + 57*c + 15. Is 40 a factor of t(-11)?
True
Let r be (-62 - 473)*(-16)/10. Suppose 0 = -20*t + r + 4. Is t a multiple of 14?
False
Let x be 3/(-2)*(-2)/(-3). Is (20 - x)/(((-99)/42)/(-11)) a multiple of 14?
True
Let s be (90/120)/((-2)/(-8)). Suppose 15 = -s*w, 5*k + w = 4*k + 610. Is k a multiple of 15?
True
Let m(y) = y**3 + y**2 + 2*y + 9. Let z be m(0). Suppose 2*t + 3 = z. Suppose 2*p + t*s - 87 = 0, -8 = -3*p - 3*s + 115. Is 36 a factor of p?
True
Let a(f) = 2*f - 5. Let l be a(0). Does 22 divide (12/l)/((-15)/550)?
True
Let g(v) = -v**3 - 5*v**2 - 29*v - 13. Let d(f) = -f**2 + 89. Let m be d(-10). Is g(m) a multiple of 24?
True
Let c = 47343 - 27603. Is 6 a factor of c?
True
Suppose 0 = 5*x - y - 3472, -704 = -x - 596*y + 595*y. Is 3 a factor of x?
True
Let t(v) = -v**2 - 2. Let u(x) = 36*x**2 - 2*x + 5. Let i(b) = 6*t(b) + u(b). Is 22 a factor of i(5)?
False
Let s(c) = -6*c**3 - 14*c**2 - 59*c - 6. Let a(q) = 5*q**3 + 15*q**2 + 58*q + 5. Let k(i) = 5*a(i) + 4*s(i). Does 19 divide k(-10)?
True
Suppose -7*r + 12 = -r. Suppose -r*g + 293 = -3*u, 707 = g + 4*g + u. Suppose -510 = -8*a - g. Does 46 divide a?
True
Suppose 0 = c - 4*i + 54 - 383, -c + 305 = -10*i. Is 5 a factor of c?
True
Let l(z) = -2 - 5*z**2 - 6*z + z**3 + 0*z**3 + 7*z**2 - 8*z**2. Let o be l(7). Suppose -2*n + 286 = -2*t, o*n - 168 = -3*t + 563. Does 28 divide n?
False
Let j(t) = -106*t**3 + t + 1. Let w be (-7)/(-7) - (-2)/(1/(-1)). Let r be j(w). Suppose 0 = -13*l + 11*l + r. Is l a multiple of 7?
False
Let j = -715 + 1307. Let z be (-2)/(-9) - (-20)/(-90). Suppose z = i + 5*v - 133, -2*i + j = 2*i + 5*v. Is i a multiple of 51?
True
Let z(t) = 232*t**2 - 27*t - 83. Is z(-3) a multiple of 30?
False
Suppose 22005 + 1707 = 19*w. Is 54 a factor of w?
False
Let s(r) = 257*r + 7463. Is s(58) a multiple of 9?
False
Suppose 0 = 5*b - i + 7840, 4*i + 441 = -2*b - 2695. Let m be b/(-12)*108/42. Suppose -18*p + 15*p = -m. Is 14 a factor of p?
True
Suppose -25 = 9*s - 4*s. Let g(t) = t**3 + 4*t**2 - 4*t + 8. Let u be g(s). Let m = u - -14. Is m even?
False
Let z(l) = 15*l - 38. Let w(q) = 9*q + 59. Let f be w(-5). Is z(f) a multiple of 43?
True
Suppose -3*s + w - 566 = -6*s, 0 = 5*s - w - 938. Suppose -g + s + 302 = 0. Is g a multiple of 10?
True
Let c = -11573 - -21139. Is 54 a factor of c?
False
Let y(t) be the third derivative of t**6/120 - t**5/12 - t**4/12 + t**3 + 6*t**2. Let b be y(5). Is 42 a factor of (62/b)/((-115)/(-30) - 4)?
False
Let q(b) be the third derivative of b**5/12 + b**4/6 + 11*b**3/3 - 12*b**2. Let l(g) be the first derivative of q(g). Is l(3) a multiple of 17?
True
Suppose -2472 = 17*y - 45074. Does 9 divide y?
False
Let x(z) = 3*z**3 + 20*z**2 + 12*z + 4. Let q be x(-6). Let t(d) = 4 - 3*d**2 + 0*d + d**3 - 3 + 2*d. Does 25 divide t(q)?
True
Suppose -32*p + 5670 = -18*p. Let u = -393 - -228. Let a = p + u. Is a a multiple of 30?
True
Does 2 divide (-48)/8 - -826 - (1 - 5)?
True
Let b = -5835 - -22575. Is 27 a factor of b?
True
Let c(k) = 13 + 94*k - 46 + 23 + 18. Does 22 divide c(6)?
True
Let o(y) = 171*y - 108. Let f be 4*(-8 - (-4 - 6)). Is o(f) a multiple of 15?
True
Let p(g) = 2*g**2 + 40*g - 63. Let n be p(-21). Is 19 a factor of 910/n*3/(-2)?
False
Suppose 52 = 12*u - 20. Suppose -4*w + 5*c + 965 = u*c, -3 = c. Does 11 divide w?
True
Is (0/2 - -18047)*81/81 a multiple of 68?
False
Suppose -4*s = s - 20. Let d be 6 + (0 - (0 + -7)). Is 2 a factor of d - ((-3)/(-6))/(1/s)?
False
Suppose 0 = -3*o +