 = 18 - 62. Let q = b - -57. Is 3 a factor of q?
False
Suppose -4539 - 506 = -2*y + v, 0 = 3*y - 3*v - 7575. Is 28 a factor of y?
True
Let d(r) = r**3 + 22*r**2 + 8*r - 19. Is d(-20) a multiple of 18?
False
Is 30 a factor of (174/(-12) + -3 - 5)*-20?
True
Suppose a = 2*h + 435, 0 = -a + 4*h + 369 + 74. Is 7 a factor of a?
True
Suppose 78*j - 76*j - 4068 = -4*q, -2*q + 10186 = 5*j. Does 33 divide j?
False
Suppose -2*v = 8*j - 12*j + 1218, 5*j = v + 1515. Does 21 divide j?
False
Let j = -142 + 110. Does 20 divide j/(-288) + 692/9?
False
Let k be 20/(-6)*(-30)/25*61. Let w = k - 104. Is w a multiple of 10?
True
Let r = 935 - 557. Is 14 a factor of r?
True
Suppose -15*i + 4 = -13*i. Suppose -i*h - 65 + 263 = -2*y, 3*y + 337 = -5*h. Let p = y - -206. Is p a multiple of 34?
True
Let d(q) = -10*q**3 + 26*q**2 + 20*q + 15. Let s(k) = 2*k**3 - 5*k**2 - 4*k - 3. Let n(w) = -2*d(w) - 11*s(w). Is n(-3) a multiple of 12?
True
Let c = -26 + 50. Suppose 0 = 2*x - c - 34. Suppose 2*h - 14 = -4*z, 3*h - 5 + x = 3*z. Does 5 divide z?
True
Let t be (-7)/21 - 176/(-6). Suppose 3 - t = -2*a. Let l = a - 2. Is 6 a factor of l?
False
Let p(i) = 2*i**2 + 2*i + 1. Let b be p(-2). Suppose -3*g = g - b*o - 377, -5*o + 274 = 3*g. Does 33 divide g?
False
Let f = -12 - -32. Suppose v - 89 = f. Suppose 2*c - 23 = 4*h + v, 3*c - 4*h - 188 = 0. Is 22 a factor of c?
False
Let r(c) = 2*c + 47. Let f be r(-31). Is 6 a factor of (-2 + 111/f)*(-15)/3?
False
Let x = -1257 + 768. Let l = x + 781. Is 30 a factor of l?
False
Let u be ((-125)/(-100))/((-2)/(-8)). Suppose 18 = -u*p + 11*p. Is p even?
False
Let i = 0 + 49. Is 7 a factor of i?
True
Suppose 5*c = -577 - 268. Let z = c - -249. Is 40 a factor of z?
True
Let m = 280 - -126. Does 29 divide m?
True
Let v be 44 - (2 + (-6 - -4)). Does 11 divide -1*v*18/(-12)?
True
Let x = 1680 + -1016. Is x a multiple of 83?
True
Let x be (-1)/(2*(-14)/(-48))*14. Does 18 divide ((-150)/(-8))/(45/x + 2)?
False
Let x(b) = -b**2 + 5*b + 12. Let h be x(7). Let z(f) = f + 5. Let a be z(-7). Is 5 a factor of 19 + (-2 + h - a)?
False
Let j be (7/2)/(5/10). Let k(n) = 3*n - 5*n - 8*n + j + n**2. Does 12 divide k(11)?
False
Let z = -364 + 420. Is 14 a factor of z?
True
Let a be -3 + (3 - 2 - -2). Suppose a = -3*t + 5 + 22. Is t a multiple of 9?
True
Let y(s) = -3*s - 21. Let h be y(-7). Suppose -40 = -3*r + 2*f, h = 2*r + 8*f - 4*f. Does 10 divide r?
True
Let f be 528/6 + (2 - -1). Let w = -49 + f. Let m = w + -22. Is 20 a factor of m?
True
Suppose 2*k - 2*j + 3 = k, -5*k + j = 24. Let p(d) = 3*d**2 + 9*d + 12. Is p(k) a multiple of 14?
True
Let d = 506 - 236. Is 15 a factor of d?
True
Suppose -p = r, -2*r + 5 = p - 0*p. Suppose -10*h + 810 = -r*h. Does 16 divide h?
False
Does 4 divide 295 - (48/(-9) + 11/33)?
True
Let i(v) = -9*v**2 + 4*v - 2. Let w be i(2). Let n be ((-12)/(-24))/((-1)/w). Suppose -s + n = -21. Is s a multiple of 12?
True
Let t = -29 + 31. Let g(l) = 42*l**2 + 0 + t*l + 4 - 3 - 4. Is 25 a factor of g(1)?
False
Suppose 3*c = 2*m - 366, -4*m - 42*c = -37*c - 710. Does 12 divide m?
True
Let w(g) be the first derivative of g**3/3 + 2*g**2 + 11*g + 12. Let v(n) be the first derivative of w(n). Is v(5) a multiple of 5?
False
Let v be 10/3 - 12/9. Suppose -2*q - 2*a + 88 = 0, -v*a = 4*q - 10 - 162. Is q a multiple of 14?
True
Suppose -10*t = -7*t - 552. Is 10 a factor of t?
False
Let x = -273 + 449. Let h = -88 + x. Is 8 a factor of h?
True
Let v(k) = -2*k + 13. Let d be v(4). Suppose -d*l + 42 = 2*i - 6*i, -i + 2 = 0. Is 10 a factor of l?
True
Let g = 911 - 505. Is g a multiple of 33?
False
Is (1 - -1)*(-3300)/(-55) a multiple of 6?
True
Let u(k) = 7*k + 17. Let w be u(6). Let y = w - 20. Does 33 divide y?
False
Let g be (-3 - 1/(-1)) + 22. Suppose -p = 4*p + g, y + 2*p + 16 = 0. Let q = 57 - y. Is 24 a factor of q?
False
Suppose -4*o + 4*r = -208, 3*o + 8*r - 196 = 3*r. Does 19 divide o?
True
Let g(k) = -k**3 + 7*k**2 + 2*k - 8. Let v be g(7). Suppose s - 12 = v. Is 4 a factor of s?
False
Let g(y) = -2*y**2 - 120*y + 2. Is 92 a factor of g(-9)?
True
Let j(h) = h**3 - 7*h**2 + 2. Suppose t + 21 = 3*r, 0*r + 5*r = -5*t + 35. Let y be j(r). Suppose 0 = -i - 3*c - y, 3*c = 5*i + c - 75. Is 6 a factor of i?
False
Let s(j) = 2 + 3 + j**2 - 7*j - 2 + 9. Let p = -9 - -18. Is 10 a factor of s(p)?
True
Let b = 59 - 7. Suppose -r - 2*x + 4 = 0, -4*r + 0*x + 16 = -5*x. Suppose -r*j = -108 - b. Is j a multiple of 20?
True
Suppose y = b - 32, 9*y - 10*y - 66 = -2*b. Is b a multiple of 12?
False
Suppose 332 = -9*n + 1151. Does 7 divide n?
True
Let m = -5 + 7. Suppose -4*u + 21 = -m*r + u, 0 = r + 5*u - 27. Suppose 0 = -4*i - 5*t + 6, -i - r*i - 2*t + 8 = 0. Is i a multiple of 2?
True
Suppose -46*q + 50*q - 2836 = 0. Is q a multiple of 42?
False
Let l = 21 - 1. Does 18 divide ((-24)/l)/(((-18)/645)/3)?
False
Suppose 0 = -9*h + 1559 + 583. Suppose 5*d - 122 = h. Does 9 divide d?
True
Let u(c) = 2*c**2 - c + 3. Let m(o) be the second derivative of -o**4/12 + 4*o**3/3 - 2*o**2 - o. Let v be m(7). Does 11 divide u(v)?
False
Suppose 5*h - 1040 = -15*i + 10*i, -i = 2*h - 421. Is h a multiple of 23?
False
Let t(n) be the first derivative of 7*n**3/6 + 4*n**2 + 7*n - 4. Let g(m) be the first derivative of t(m). Does 10 divide g(10)?
False
Let g be -2 - 6/((-2)/2). Suppose -5*q - 2*v + 8 = -2*q, -3*q + g*v - 16 = 0. Suppose -3 + q = -l. Is 3 a factor of l?
True
Let g = 574 + -48. Is 28 a factor of g?
False
Let f = 96 + 78. Does 12 divide f?
False
Suppose -i + 2*r = 4, -2*r - r + 1 = -4*i. Let j = 548 + -545. Suppose 9 = 2*g - j*l, 2*g + g = i*l + 16. Is g a multiple of 6?
True
Suppose -m - 45 = -2*w + w, 160 = 4*w + m. Is 41 a factor of w?
True
Let r be (-406)/(-29)*(3/2)/1. Is (-3)/r + (-2652)/(-42) a multiple of 63?
True
Let s = 10 + 10. Suppose -s = -9*b + 25. Does 2 divide b?
False
Suppose 3*d + 96 + 27 = 0. Let v = d + 83. Does 21 divide v?
True
Let d = 0 + 5. Let r(m) = -m**2 - 14*m + 3. Let b be r(0). Suppose -2*s - 2 = b*x - 0, d*x - 22 = 3*s. Is x even?
True
Let g = -42 + 45. Suppose g*v = -2*h + 137, -h - 5*v + 66 = -v. Is 18 a factor of h?
False
Let j(d) = 8*d**2 + 2*d + 0*d - d**3 + 7*d + 8. Let x(f) = f**3 - 6*f**2 - 27*f + 9. Let p be x(9). Is j(p) a multiple of 8?
True
Let h(i) = -5*i**3 - 20*i**2 + 56*i + 46. Suppose 1 = -2*d - 3. Let a(c) = -c**3 - 4*c**2 + 11*c + 9. Let t(v) = d*h(v) + 11*a(v). Is t(-6) a multiple of 5?
True
Suppose -b + 2*q = -772, 5158 - 2076 = 4*b - 5*q. Is b a multiple of 13?
False
Let j = 94 + -62. Let k = 152 + -149. Suppose 0 = k*i - y - j, -19 = -4*i - 4*y - 3. Is i a multiple of 4?
False
Let q = 1956 - 75. Is q a multiple of 19?
True
Let t = 1 + -3. Let j(n) = -25*n**3 - 2*n**2 - n - 2. Is j(t) a multiple of 12?
True
Let j(c) = -c - 8. Let d be j(-10). Suppose 0 = -3*t + d*t + 8. Does 11 divide ((-14)/t)/((-5)/140)?
False
Suppose 3095 = 5*j - 3*l, 0 = -2*j - 2*l + 529 + 709. Does 86 divide j?
False
Let r be -8*(-1 + 4 + -4). Let b = 80 + r. Suppose 0*q - 3*q = -5*v + b, -64 = -4*v + 4*q. Is v a multiple of 10?
True
Let c(x) = -2*x**2 + 0 - 3*x**3 + 2 - 4 + x**2. Suppose -7 = 4*m + 1. Does 14 divide c(m)?
False
Suppose 4*k - g - 16 = 6, -3*g = -3*k + 21. Let r = 0 + k. Does 23 divide 61 + r + 0 + 3?
True
Suppose -22*d + 392 = -8*d. Is 4 a factor of d?
True
Suppose 3*k + 53 = 221. Let t be ((-34)/6)/((-1)/18) + -1. Let v = t - k. Is v a multiple of 15?
True
Is 7 a factor of (-80)/(-28)*(-343)/(-14)?
True
Let p = -10 + 10. Suppose 0*d + 2*d - 42 = p. Is 3 a factor of d?
True
Suppose -k - 3*k + b = 4, k + 4*b - 16 = 0. Suppose x + 4*c - 20 = k, -c = -0*x + 4*x - 65. Is 8 a factor of x?
True
Let c(s) = 7*s + 11. Let i be c(-6). Let g = 58 + i. Is 9 a factor of g?
True
Let x = -125 - -415. Let m = x + -176. Does 19 divide m?
True
Suppose 2*i + 14 = 4*h, -2*i + 3 = -3*i. Suppose 0 = 4*l + 4*w - 24, -l + h*l + 3*w - 16 = 0. Is ((-6)/4)/(l/(-4)) even?
True
Suppose 4*r - 1 = 5*z - 6, 0 = -3*r - z + 1. Suppose r*c = 2*c - 562. Is 20 a factor of c?
False
Let s = 710 + -446. Does 11 divide s?
True
Let f(q) = -93*q + 7. Let r be f(-5). Suppose -4*n + r = -316. Suppose 0 = 4*u - n - 63. Does 13 divide u?
True
Is (19/((-57)/(-630)))/(2/13) a multiple of 17?
False
Suppose -2 = d - 69. Suppose 4*n - 113 = d. Is n a multiple of 8?
Fals