j = -350 + 714. Is 28 a factor of j?
True
Suppose 0 = -4*t - 2*n + 18, -5*t = -n - 14 - 19. Suppose -48 = -k + 5*f, 3*k + t = 3*f + 114. Suppose 241 = 4*a + k. Does 13 divide a?
True
Suppose 0 = -6*m + 1679 + 349. Does 13 divide m?
True
Suppose -6*y + o = -2*y - 210, -3*o + 218 = 4*y. Is y a multiple of 6?
False
Suppose 0*u + 5*u - 15 = 0. Suppose -5*o + 1120 = 5*p, 2*p - u*o - 58 = 410. Suppose -2*j = j - p. Is 19 a factor of j?
True
Let s(b) = -b**3 - b**2 + b + 14. Suppose 7*t = 5*t + t. Is 7 a factor of s(t)?
True
Does 10 divide (-824)/(-28)*35/15*3?
False
Suppose -16 = -64*v + 66*v. Does 10 divide v/((-4)/(40/1))?
True
Suppose 20 = t - 4*k, -3*k = -2*t - 11 + 26. Suppose -11 = -2*a - 5*s, 3*s = -t*a + a. Suppose -72 = -a*x + 2*y, -3*x - 24 + 87 = y. Does 11 divide x?
True
Suppose 4*g - 7*g = 21. Let d(m) = m**3 + 9*m**2 + m - 7. Is d(g) a multiple of 15?
False
Let t(d) = d + 1. Let r(f) = 19*f + 8. Let v(g) = r(g) + 4*t(g). Is 19 a factor of v(5)?
False
Let q(y) = -11*y - 27. Let u(g) = -10*g - 26. Let h(z) = -3*q(z) + 4*u(z). Does 8 divide h(-11)?
False
Let j = -1318 + 938. Let b = j + 635. Does 51 divide b?
True
Let o(w) = 45*w**2 - 11*w + 22. Is 6 a factor of o(-4)?
True
Let j = 117 - 17. Suppose s = 6*s - j. Let i = 70 - s. Is i a multiple of 14?
False
Suppose 0 = -5*w + 5 + 5. Is 7/(-1 - (0 - w)) a multiple of 7?
True
Suppose 0 = 4*i - m - 614, 5*m - 131 - 12 = -i. Suppose 1550 = 13*s - i. Is 30 a factor of s?
False
Let m = -9 + 12. Let s be m + (0 - 0) + 1. Suppose -s*w + 0*v + 4*v = -176, -3*v - 210 = -5*w. Does 13 divide w?
True
Suppose -3*g = 4 + 2, -5*k - 2*g + 261 = 0. Suppose -4*n - 32 = 2*v, 5*n + v = n - 36. Let a = n + k. Does 17 divide a?
False
Suppose 3*l = 1101 - 51. Does 14 divide l?
True
Let n = 161 - 39. Let j be 1/(2 + n/(-62)). Suppose 0 = 3*k - j + 1. Is 6 a factor of k?
False
Suppose -2*u + 5146 = 3*x - 2*x, -u = 4*x - 2566. Is u a multiple of 26?
True
Let u(c) be the second derivative of c**3/6 - 3*c**2 + 8*c. Let f be u(-6). Let k = 2 - f. Is 9 a factor of k?
False
Suppose -705 = -12*a + 999. Let z(h) = h**2 + 7*h - 1. Let f be z(7). Let v = a - f. Is v a multiple of 15?
True
Let y = -28 - -59. Let n = y - 1. Is 11 a factor of n?
False
Let r(b) = b**3 - 4*b**2 - 8*b - 11. Let p be r(6). Let f be (14/8)/((-2)/(-56)). Let i = f - p. Is 12 a factor of i?
True
Suppose 3*a + d - 2*d = -19, 0 = -3*a - 5*d - 13. Let y(v) = -14*v + 17. Is 9 a factor of y(a)?
False
Let a = 26 - 38. Does 4 divide (-1 - (-14)/(-6))*a/10?
True
Let w = 862 + 877. Is 37 a factor of w?
True
Let z(k) = 7*k**2 - 6*k + 16. Is z(4) a multiple of 52?
True
Suppose -s - s = 0, -s = -3*c - 327. Let v = c - -237. Is v a multiple of 29?
False
Suppose -2*d + 69 = 7. Suppose d = 2*a + 7. Is a a multiple of 6?
True
Let u be (6012/15)/2 - 4/10. Is 31 a factor of -1*27*u/(-30)?
False
Let l(f) = 23*f - 8. Let w(v) = 3*v + 22. Let d be w(-7). Is 5 a factor of l(d)?
True
Suppose 30*p = 18169 + 96851. Is 142 a factor of p?
True
Suppose -5*k = 28 + 67. Let j = 47 + k. Is j a multiple of 14?
True
Let z = -255 + 425. Is z/(6 - 4) - 4 a multiple of 5?
False
Let c be (160/30)/((-1)/3). Does 7 divide (-4)/(20/c - -1)?
False
Let s(i) be the second derivative of 2*i**3 - 2*i**2 - 10*i. Let l be s(1). Suppose -4*t + l = 0, 2*h = 4*h + 2*t - 200. Does 13 divide h?
False
Let y(u) = 29*u - 50. Is y(4) a multiple of 33?
True
Let o(x) = -x**3 + 5*x**2 + 4. Let r = 0 - -5. Let w be o(r). Suppose -w*g = 2*g - 282. Is 9 a factor of g?
False
Suppose 3*s - 109 = 83. Is s a multiple of 8?
True
Let i be ((-4)/6)/((-12)/4626) + 2. Suppose 7*v + 49 = i. Does 6 divide v?
True
Let w = -349 - -499. Is 2 a factor of w?
True
Suppose 0 = 2*m - 3*z - 113, 5*z - 8*z = -3*m + 177. Suppose 0 = -m*d + 62*d + 20. Is d a multiple of 2?
True
Let f(k) = 87*k + 17. Is f(2) a multiple of 6?
False
Let h(f) = -3*f - 4. Let s(a) = a**2 - 10*a + 17. Let x = 1 - -6. Let l be s(x). Is h(l) a multiple of 4?
True
Let c(j) = j**2 - 4*j + 33. Does 3 divide c(0)?
True
Let y(u) = 4*u**3 - u**2 + u - 1. Let a be y(1). Suppose -5*c + 535 = 4*k, -a*c = -8*c - 5. Does 27 divide k?
True
Let p = 20 - 16. Suppose -2*d + 31 = p*m - 27, 5*d - 117 = -3*m. Is (d + 9)/((-6)/(-4)) a multiple of 11?
False
Let m(u) = -617*u - 1116. Does 26 divide m(-5)?
False
Let q = 162 + -26. Let h = 487 + -485. Suppose h*y - q = -22. Is 19 a factor of y?
True
Let k = 1002 - 470. Is 63 a factor of k?
False
Let m(k) = -6*k**3. Let y be m(-1). Suppose -y = 2*i - 3*i. Suppose -3*p - 82 = -i*p + 2*x, 2*x = -10. Is 6 a factor of p?
True
Let b(t) = -t**2 + 6*t + 4. Let y be b(6). Let n(v) = -10*v**3 - 2*v**2 + 1. Let d be n(-1). Suppose -y*k + d + 11 = 0. Is k a multiple of 5?
True
Let j = 2132 - 1062. Is j a multiple of 10?
True
Suppose 0 = 3*k - 92 - 193. Is k a multiple of 95?
True
Let a be -3*((-20)/5)/12. Is (0 - -58) + a + 3 a multiple of 31?
True
Let f be (2/3)/((-10)/15). Does 14 divide 7/((-14)/(-200)) - (-2)/f?
True
Let u = 26 + -22. Is u a multiple of 2?
True
Let u(g) = 619*g**3 + 9*g**2 - 9*g + 1. Is 62 a factor of u(1)?
True
Is (-4 - 0)*(-3015)/9 a multiple of 12?
False
Suppose -337 + 17 = -8*q. Does 20 divide q?
True
Suppose i - 6 + 23 = -2*q, 3*q + 3 = i. Let x(v) = -v**3 - 8*v**2 - 2*v + 5. Does 14 divide x(i)?
False
Suppose 7021 = -458*o + 465*o. Is o a multiple of 2?
False
Let t = 1388 + -968. Is t a multiple of 42?
True
Suppose -5*q = -2*b - 9952, -4 = -3*b + 8. Is 8 a factor of q?
True
Suppose 3*g = 2*y + 11, 2*g + g = -2*y + 19. Suppose j = -o + g*o - 185, 0 = o + j - 45. Does 7 divide o?
False
Let l be (-80)/(-12)*3/4. Suppose -130 + 790 = l*i. Is i a multiple of 12?
True
Let k = 48 - 14. Suppose 0 = -5*q + 25, -2*j - 4*q - k = -376. Does 35 divide j?
False
Suppose -3*w + 2889 = 8*k - 3*k, -4*w + 1740 = 3*k. Is k a multiple of 11?
False
Let p(n) = 145*n + 421. Is p(14) a multiple of 19?
True
Does 14 divide 1/(-4) + 281/4?
True
Let s(l) = l**2 + l + 1. Let x(c) = -4*c**2 - 19*c + 11. Let y(j) = 5*s(j) + x(j). Let p be y(11). Does 11 divide 2 - (-3 - -2) - p?
False
Let i(m) = -2*m**2 - 5 + m**3 + 7*m**2 - m + 10. Suppose 2 - 14 = 3*u. Does 5 divide i(u)?
True
Let i(n) = n**2 - 4*n - 2. Let w be i(5). Suppose 0 = 5*b + 2*y - 168, y + 92 = -0*b + w*b. Is b a multiple of 8?
True
Is 9 a factor of -12*(-6 + (-13)/(-2)) + 689?
False
Let j = -100 - -140. Does 20 divide j?
True
Let d(o) = o**3 + 5*o**2 - 5*o - 7. Let h be d(-5). Let f(k) = k**3 + 6*k**2 + 3*k + 11. Let a be f(-6). Let y = h + a. Does 9 divide y?
False
Suppose 0*i - 4*i + 40 = 0. Let m be 25/i*(-8)/(-5). Suppose 54 = m*g - 2*r - 58, -3*r - 140 = -5*g. Does 14 divide g?
True
Suppose -3*w + 24 = 3*a, 2*w = -0*w + 3*a + 36. Let c = 19 - w. Suppose 2 + c = 3*f. Does 2 divide f?
False
Suppose 2 = 3*h - 4. Suppose c = -2*b + 9, -21 = -0*b - 5*b - h*c. Is 3 a factor of b?
True
Suppose 6*r - 20 = 4. Let j(z) = 36*z - 14. Is j(r) a multiple of 26?
True
Let d be ((-14)/(-2))/((-1)/(-30)). Let a = 88 + d. Does 26 divide a/10 + (-2)/(-10)?
False
Let h be 185/65 - 4/(-26). Let g be h - (-8)/(2 - 0). Suppose -21 = 4*n - g*n. Is 7 a factor of n?
True
Suppose -10*a = -a + 9. Is 18 a factor of (4/4)/(a/(-144))?
True
Let q(d) be the third derivative of -2*d**4 + 5*d**3/3 - 32*d**2. Is 29 a factor of q(-1)?
True
Suppose 3*z - 283 = -m, 3*m + m - 295 = -3*z. Let f = -722 + 697. Let w = z - f. Is 32 a factor of w?
False
Let u(d) = d - 9. Let b be u(0). Let f be (16/24)/((-2)/b). Suppose 4*q - 22 = -3*l + 2, -l = -f*q - 8. Is 2 a factor of l?
True
Let d be 0*(-2)/(-6) - 0. Let b(j) = -j**3 + j**2 + 34. Let w be b(d). Let l = w + -10. Does 12 divide l?
True
Suppose -4*j + 332 + 7280 = 0. Is 11 a factor of j?
True
Let h be ((-40)/(-12) - 3)*0. Let d be (-2)/(-1 + h - 0). Is (-3 - -6)*d - 3 even?
False
Suppose 14782 = 263*t - 244*t. Is t a multiple of 51?
False
Let g be 1 - -248*(-1 - -2). Let u = g - 177. Is u a multiple of 12?
True
Let a(j) = j**3 - 4*j**2 - 3*j - 5. Let v be a(5). Let z be 0*3/(-6) + 0. Suppose -147 = -4*m - z*y - y, 0 = -4*m - v*y + 127. Is m a multiple of 10?
False
Let h(m) be the second derivative of m**4/12 - 3*m**3/2 - 13*m**2/2 + 19*m. Does 11 divide h(-7)?
True
Let d be 1/(-2) + (-807)/6. Let u be ((-3)/9)/(3/d). Let v = u - 3. Is v a multiple of 4?
True
Let v be 