t - 126 = -2102. Is t a multiple of 5?
False
Suppose -h + 2*z = 0, -13 - 52 = 4*h + 5*z. Let p = h - -14. Is (-6)/p - (-387)/18 a multiple of 20?
True
Suppose 2*w = -5*w + 280. Suppose 6*b - w = 44. Does 4 divide b?
False
Suppose -3*n + 4 = d, 3*n + 1 + 7 = 2*d. Suppose n*r - r = -h, 3*r = -h + 12. Suppose 16 = -h*o + 43. Is o a multiple of 2?
False
Does 14 divide -4 - (2100/(-18) - 1)*3?
False
Let o = -121 - -44. Let l = o + 144. Is l a multiple of 5?
False
Let p = -221 + 1632. Does 17 divide p?
True
Let r = 291 - -477. Is 48 a factor of r?
True
Let m = 41 + -19. Let j = m - 17. Suppose -4*r - j*f = -87 + 17, -3*f = -2*r + 46. Is 4 a factor of r?
True
Is 15 a factor of -6 + 10 + -4*(1 + -24)?
False
Suppose -2*a + 9*a + 14 = 0. Let b = 28 - a. Does 10 divide b?
True
Let i(k) = -k**2 + 7*k - 15. Let d be i(5). Is (-429)/(-15) - (-3)/d a multiple of 14?
True
Let a(p) be the third derivative of p**6/120 + p**5/12 - p**4/12 + 2*p**3/3 + p**2. Suppose 76*u + 44 = 65*u. Does 11 divide a(u)?
False
Let q(p) = -p**2 + 4*p + 8. Let z be q(6). Is z/10 + (-3618)/(-45) a multiple of 10?
True
Let j(w) = 2729*w - 63. Is 71 a factor of j(1)?
False
Let j(n) = -101*n - 1. Let z be j(-4). Let v = 407 + -316. Suppose -5*q = 3*m - 2*m - z, q - 5*m = v. Does 29 divide q?
False
Let z be (-4)/(2 + 10)*-21. Let q = z - 27. Is (0 + -6)*30/q a multiple of 9?
True
Let l = 7235 + -5107. Is 16 a factor of l?
True
Suppose 0*p + 3*p = 3*x - 84, 5*x + p - 134 = 0. Let b = 151 - x. Is b a multiple of 31?
True
Let d(f) = -8*f**2 - 128*f + 1. Is d(-10) a multiple of 37?
True
Suppose 175 = -26*p + 27*p. Is 2 a factor of p?
False
Suppose -3145 = -a - 4*i, -5*i - 3980 - 5404 = -3*a. Does 17 divide a?
False
Let i(t) = -2*t**3 - 27*t**2 + 14*t - 11. Does 26 divide i(-15)?
False
Suppose 0 = -69*q + 64*q - 860. Let u = q + 274. Does 34 divide u?
True
Let f be 2/4 + (-34)/4. Let t = f + 8. Let v = 5 + t. Is 5 a factor of v?
True
Is (((-2810)/(-15))/1)/(10/15) a multiple of 22?
False
Let y be 9*(-11)/(-4) - 3/(-12). Suppose -2*b = -127 - y. Is b a multiple of 19?
True
Let l(w) = -w**2 + 27*w - 16. Does 20 divide l(11)?
True
Suppose -324 = -y + 3*h, 2*y - 15*h + 18*h - 630 = 0. Is 20 a factor of y?
False
Suppose 0 = -5*m + 7*m + 2. Let o(r) be the second derivative of -6*r**5/5 - r**4/12 - r**3/3 - r**2/2 - 2*r. Is 18 a factor of o(m)?
False
Let w = -1102 - -1264. Does 16 divide w?
False
Let x(f) = 2*f**2 - 10*f - 7. Let p be x(6). Suppose p*m + 5*i - 970 = 0, -2*i + 101 = m - 98. Is 7 a factor of m?
True
Let s = 17 - 12. Suppose -s*v = -3*i + 5*i - 34, i = -4*v + 11. Is i a multiple of 12?
False
Suppose -p = -5*p + 8. Suppose 0 = 3*l + p*u - 36 + 12, -4*l = u - 32. Suppose 8*q = 3*q - 4*k + 20, -2*q = -2*k - l. Is q a multiple of 3?
False
Let j = 575 - 341. Is 9 a factor of j?
True
Let o = 165 + 579. Is 7 a factor of o?
False
Let x(y) = -2*y**3 + 30*y**2 + 17*y - 19. Is 47 a factor of x(14)?
True
Let x(l) = -l**3 - 3*l**2 + 4*l - 17. Let p be x(-7). Suppose 0 = -4*d - 3 + p. Is d a multiple of 21?
False
Suppose 15 - 18 = -p. Suppose 3*m + 672 = -0*g + 5*g, -3*m = -p. Does 16 divide g?
False
Let q(x) = -x**2 - 71*x - 150. Does 15 divide q(-50)?
True
Let a(c) = 9*c - 40. Let h be a(12). Suppose h - 189 = -y. Is 11 a factor of y?
True
Suppose -4*l = 716 - 100. Let r = -42 - l. Is r a multiple of 16?
True
Let t(a) be the second derivative of a**5/20 - 3*a**4/2 + 3*a**3/2 - 11*a**2 - 14*a. Does 21 divide t(18)?
False
Let j(m) be the third derivative of m**6/120 + m**4/4 - m**2. Let o(k) be the second derivative of j(k). Is o(2) a multiple of 8?
False
Does 31 divide 16 + 815 - (-10)/(-5)?
False
Suppose 2*m + 33 - 17 = 0. Let r(s) = -s**3 - 8*s**2 + 16. Does 8 divide r(m)?
True
Suppose 8*q + 52*q = 52320. Is q a multiple of 51?
False
Suppose 6*w - 3*l = 2*w + 15, 2*w + 3*l = -15. Suppose 9 = -4*t + v + 35, t + 5*v + 4 = w. Let g(k) = k**3 - 5*k**2 - 2*k + 8. Is g(t) a multiple of 14?
False
Does 12 divide ((-144)/15)/(5/(-75))?
True
Let c = -270 - -447. Let a = -121 + c. Is a a multiple of 14?
True
Let i be (-2)/(1 - (-28)/(-20)). Suppose 0 = 5*a - i*d - 150 - 30, 4*a - 148 = 3*d. Is a a multiple of 8?
True
Suppose 0*h + 3*h = -42. Let x(q) = -14*q**2 - 60*q - 18. Let y(s) = 5*s**2 + 20*s + 6. Let t(i) = 4*x(i) + 11*y(i). Is 13 a factor of t(h)?
True
Suppose -52 = -2*l - 4*u + 3*u, 3*u + 60 = 3*l. Suppose -30*c + 31*c = l. Is 6 a factor of c?
True
Let o = -197 + 1309. Does 6 divide o?
False
Let d be 4*-1*2/4. Let k be (3 + (-11)/2)*d. Does 23 divide (-244)/10*k/(-2)?
False
Let s(w) be the third derivative of w**5/6 + w**4/8 + w**3/3 + 3*w**2. Is 16 a factor of s(2)?
True
Let l = 342 - 243. Suppose -5*j = 9 - l. Does 2 divide j?
True
Let u be (6/4)/(3/6). Suppose -5*p - 153 = -6*p + 3*z, 0 = 2*p + u*z - 297. Suppose -t = -6*t + p. Is t a multiple of 15?
True
Let s = -69 + 71. Suppose 297 = s*i + 109. Does 17 divide i?
False
Let t = -44 - -22. Let l = -14 - t. Is l a multiple of 4?
True
Let v(y) = y**2 - 14. Let r be v(13). Is 44 a factor of (r - -20) + (-2)/(-1)?
False
Suppose 69*p - 51198 = 46*p. Is 21 a factor of p?
True
Suppose -5*h + 311 = 4*a + 48, -5*a = 5*h - 260. Is 11 a factor of h?
True
Let v = 359 - 202. Let i = v - 123. Is i a multiple of 17?
True
Let r = -17 - -28. Let g be (-5)/(-2)*(-5 + r). Suppose 4*p - g = 57. Is 3 a factor of p?
True
Suppose 74 = 10*u - 8*u. Suppose 0 = -42*b + u*b + 215. Is 10 a factor of b?
False
Let t be (-1)/((3/(-267))/1). Suppose -r - v = 2*v - 23, -3*r + t = -v. Is 4 a factor of r?
False
Let u = 301 - 164. Let k = u + -87. Is 22 a factor of k?
False
Let b = 30 + 126. Is 19 a factor of b?
False
Is 2932/6 + (-78)/117 a multiple of 61?
True
Suppose -598 - 837 = -7*v. Does 6 divide v?
False
Suppose -2*v + 1998 = -2*w, v = 4*w + 370 + 629. Is v a multiple of 37?
True
Suppose 4*u + 3*b - 9834 = 0, -12295 = 60*u - 65*u - 5*b. Is 59 a factor of u?
False
Let z be ((-2)/2)/((-1)/5). Let g = -9 + z. Is (-77)/g + 8/(-32) a multiple of 19?
True
Suppose 5*g - 3 - 17 = 0. Suppose -g*m = -2*p - 26 - 2, -2*m + 8 = 0. Is (0 + -4)/(p/96) a multiple of 8?
True
Let b be (-1841)/(-21) + 1/3. Suppose 53 = p - 5*i, 4*p + b - 277 = -3*i. Suppose 6*f = 258 + p. Is f a multiple of 18?
False
Let s be 124/20 + 3/(-15). Suppose 4*v - 30 = -2*d, -30 = -5*v + 2*d - s. Is 21 a factor of (1/(-3))/(v/(-378))?
True
Let w(n) = 11*n. Let d be w(1). Let i(y) be the third derivative of y**4/24 + 5*y**3/6 + 87*y**2. Is 5 a factor of i(d)?
False
Let t = -415 - -903. Is 61 a factor of t?
True
Let c be (-8)/(-2 - 0) + -146. Let m = c + 207. Is 11 a factor of m?
False
Suppose -4*g + 32 = 4*r, -9 = 5*g - 5*r + 1. Suppose -6 = -g*b + 3. Suppose -f - b*f = -236. Is 19 a factor of f?
False
Suppose -695 = -3*z + 385. Is 15 a factor of z?
True
Suppose 3*x - 4*k - 123 = 0, x - k = -3*k + 51. Suppose c - x = -35. Is c even?
True
Let n(w) = -48*w + 110. Does 11 divide n(-19)?
False
Suppose 0 = -b - 2, -5*o - 2*b + 1855 = 3*b. Is 19 a factor of o?
False
Let r = -520 + 1142. Is r a multiple of 5?
False
Let r(y) = 2*y**2 + 10*y - 204. Is 66 a factor of r(13)?
True
Let a be (36/21)/((-6)/(-21)). Suppose 2*f = -2*i + a*i - 248, 4*f + 486 = 3*i. Is 19 a factor of (-4)/(-30) + (-6824)/f?
True
Let r(d) = d**3 + d**2. Let x(i) = 3*i**3 - 7*i**2 - 9*i + 3. Let b(n) = 4*r(n) - x(n). Is b(-9) a multiple of 10?
False
Let c(q) = -19*q + 2. Let n be 4/((-9)/(27/6)). Does 5 divide c(n)?
True
Let t(p) = -24*p**3 - 2*p**2 + p - 1. Suppose 13*c - 6*c = -14. Is 34 a factor of t(c)?
False
Suppose -5*m - 4*a + 3695 = 0, -2*m + 0*m + 3*a + 1478 = 0. Does 31 divide m?
False
Suppose -2*z - 2*w = 2, -3*z = -4*w - 1 + 25. Let t = 42 - z. Does 19 divide t?
False
Suppose -3959 = -24*t - 23. Does 41 divide t?
True
Let i(n) = 20*n**2 - n. Let j = 3 - 6. Let l be 15/(-5)*1/j. Is 6 a factor of i(l)?
False
Let u be (1101 - 15) + 0 + -1. Suppose -o + i - 84 = -439, -u = -3*o - i. Is 45 a factor of o?
True
Suppose 1629 - 7429 = -10*k. Is 10 a factor of k?
True
Let l = -111 - -61. Let s be (l/15)/(2/3). Let c(m) = 2*m**2 + 4*m + 11. Does 18 divide c(s)?
False
Let z = -74 - -46. Let q be 2/8 + (-133)/z. Suppose 2*k - 3*y = 108, y = q*y - 8. Is k a multiple of 19?
True
Is 28490/95 + (-18)/(-171) a multiple of 38?
False
Let z = -7 - -52. Sup