t(x) = 204*x**2 + 33*x + 25. Is t(-7) a multiple of 110?
True
Let h = -1329 - -4065. Suppose 480 = -6*i + h. Does 47 divide i?
True
Suppose -5*o + 108 = -14*o. Is (-16)/o + (-2236)/(-6) a multiple of 30?
False
Suppose -4*y + 2*i - 17 = -25, -4*i + 11 = y. Suppose -3*s + g = -1442, -7*s + 1916 = -y*s + 2*g. Is s a multiple of 48?
True
Let j = 25549 + -9095. Does 38 divide j?
True
Let o(f) = f**3 - 4*f**2 + f + 6. Let u(n) = n**3 - 18*n**2 - 20*n + 27. Let d be u(19). Suppose -2*p + d = -0*p. Does 10 divide o(p)?
True
Suppose -4*r - 4*o = -24, 3*o + 5 = r - 1. Does 14 divide 8/2 - -250 - r?
False
Let a(n) = n**3 - 28*n**2 + 32*n + 74. Is 8 a factor of a(27)?
False
Is 9*29018/198 + (8 - 0) a multiple of 2?
False
Let t = -77 + 80. Suppose 4*r - 1 = t*r, -4*r = f + 162. Does 8 divide (-2)/(-21) - f/21?
True
Let y(h) = -29*h - 14. Let r(k) = -5*k - 65. Let l be r(-14). Suppose l*t = -0*w - w - 18, 5*t + 34 = -3*w. Does 42 divide y(w)?
False
Let r = -33 - -27. Let c(p) = 7*p**2 - p - 18. Does 16 divide c(r)?
True
Let n(m) = m**2 + 4*m - 1. Let t be n(-3). Let y be (23 - 3) + (-5 - (0 + t)). Suppose -8*r = -y*r + 121. Is r a multiple of 5?
False
Let l = 129 + -86. Suppose -l*m + 47*m + 436 = 0. Let v = m + 223. Is v a multiple of 19?
True
Suppose 1115335 = 466*k - 1003567. Is k a multiple of 2?
False
Let n(u) = -11*u. Let r be n(2). Let d(s) = s + 50. Let v(l) = -1. Let o(z) = d(z) - 3*v(z). Does 3 divide o(r)?
False
Let k = 120 + -117. Suppose k*z = l - 339, 3*l - 3*z - 143 = 856. Is l a multiple of 5?
True
Suppose -h = -2*x - 33, 3*h - 4*h + 41 = -4*x. Let n be ((-18)/4)/((h/10)/(-5)). Suppose 0 = -n*i + 173 + 250. Is i a multiple of 5?
False
Suppose -16*o + 3*s - 15 = -14*o, 5*s = -4*o - 19. Does 11 divide (-22590)/(-180) + o/4?
False
Let o = -1023 - -3604. Does 29 divide o?
True
Let o(r) = -r**3 - 42*r**2 - 71*r + 288. Is o(-48) a multiple of 24?
True
Is (-152)/133 - (-309)/7 a multiple of 15?
False
Suppose 5*k + 15 = -0*b - 5*b, 0 = -3*b + 3*k + 9. Suppose b = -4*j + 4*f + 20, -22 = -3*j - 2*j + 4*f. Is 10 a factor of (-117)/((-2)/j) + (10 - 7)?
True
Let t(l) = 27*l**2 + 9. Let s be t(-4). Suppose 3*i - 2*y = 276 + s, -3*i + 708 = y. Suppose 14*j - 17*j + i = 0. Is 9 a factor of j?
False
Let q(m) = 139*m**2 - 202*m - 18. Is q(-8) a multiple of 99?
True
Suppose 288 = 33*l - 29*l. Let s(x) = 2*x**2 - 3*x**2 - l*x + 0*x**2 - 17 + 90*x. Is 9 a factor of s(16)?
False
Let v be (-138)/483 - 726/7. Suppose 5*f + 333 - 15 = 2*h, -2*h + 326 = -3*f. Let n = h + v. Is n a multiple of 28?
False
Does 12 divide -1 - (-8 - -7)*(-6805)/(-1)?
True
Let u(z) = 2*z**2 - 5*z + 7. Let s be u(2). Suppose -2*w + 33 = s*r - 74, -2*w + 4*r + 80 = 0. Does 2 divide w?
True
Let c be (-15)/(495/22) - 26/6. Let b(u) = 40*u**2 - 22*u - 102. Is 48 a factor of b(c)?
True
Let y(t) = -23*t - 10. Let c(q) = q**2 + 23*q + 12. Let r(k) = -2*c(k) - 3*y(k). Is 5 a factor of r(10)?
False
Suppose -35*m + 3305 + 2120 = 0. Suppose 0 = -3*o + 46*g - 47*g + 497, -o + m = 3*g. Does 8 divide o?
False
Let q = -982 + 585. Let s = -663 + 1234. Let r = s + q. Does 58 divide r?
True
Let h be (1232/24)/(-22)*(1 + 68). Let i be 1/(-4)*-14*2. Is h/(-14)*(i + -1) a multiple of 12?
False
Suppose 2*s - 4*s + 8 = 0. Suppose 2*m + 2*m + s*g - 60 = 0, -3*g - 5 = -2*m. Does 9 divide ((-12)/m)/(4/(-140))?
False
Let y be (2394/45)/((-8)/(-20)). Suppose 3 = -10*l + y. Is 3 a factor of l?
False
Let h = 1056 + -1774. Let k = -587 - h. Does 4 divide k?
False
Suppose 0 = 5*a + 4 + 6, 0 = 2*z - a - 4. Let c(x) = 10*x**2 + 9*x + 2. Let r(p) = p**2 - p + 1. Let j(u) = z*c(u) + 4*r(u). Is j(-2) a multiple of 16?
False
Let l(w) = 82*w - 1777. Is 10 a factor of l(29)?
False
Suppose -390*g + 391*g = 3*r - 33636, -r = 4*g - 11173. Is r a multiple of 29?
False
Suppose 176762 = 148547*y - 148520*y - 343582. Is y a multiple of 17?
False
Let w = 8739 + -4291. Is w a multiple of 139?
True
Let k(v) = 3*v**2 + v - 10. Let r(d) = -3*d. Let c be r(-2). Let l = c + -9. Is 13 a factor of k(l)?
False
Let c = 2957 + -17. Is c a multiple of 20?
True
Let w be (-19)/(-95) - (-9)/(-5)*9. Let k = -34 - w. Is 16 a factor of 48/10*(-240)/k?
True
Let o(k) = -841*k - 1412. Is 54 a factor of o(-5)?
False
Let h be (-2)/(-4) + (-60)/(-8). Suppose -h*p - p = 54. Is 40 a factor of (102/(-85))/(p/580)?
False
Let t be ((-12)/(-16))/((-4)/(-32)). Suppose k - 1933 = -3*p, 4*k - 648 = -t*p + 5*p. Is p a multiple of 28?
True
Suppose 2*c + 5*b = 5775, 42*c - 11556 = 38*c - 4*b. Is c a multiple of 85?
True
Suppose 0 = 5*r - 5*l - 15, 4*r + l = 11 + 26. Suppose 15*u = 22*u - 21. Suppose r*n - u*n - 330 = 0. Is 17 a factor of n?
False
Suppose 2*s + 4 = 3*s, d - 5377 = 3*s. Suppose 27*p + 556 = d. Does 6 divide p?
False
Does 27 divide 1*(-217134)/(-21) + 42/147?
False
Does 36 divide -6 + (-52)/(-13) - (1 + (-7788)/2)?
False
Let p(d) = -31*d - d**2 - 22*d + 75*d - 27. Let c be 14 + -3*(-1)/3. Does 45 divide p(c)?
False
Suppose 0 = -14*g + 11 + 17. Is (-195)/(-6) - 1*(-1)/g a multiple of 3?
True
Let s be (-5 - -5)*2/6. Let y be (1/1 + s)*(27 + -27). Let p(g) = 2*g + 32. Is 5 a factor of p(y)?
False
Let z = -7405 - -11378. Is z a multiple of 3?
False
Let b = -436 - -495. Suppose 0 = 63*q - b*q - 4744. Is q a multiple of 12?
False
Let w = 86 - 52. Suppose p + 0*p + 3*c + w = 0, -3*p + 5*c = 60. Let t = 68 + p. Does 13 divide t?
False
Suppose 1105192 - 1271749 = -289*p + 2002388. Does 19 divide p?
True
Let k = 36347 + -21285. Suppose 31*o = -3*o + k. Is 26 a factor of o?
False
Let j = -157 - -157. Suppose 2*x + x - 720 = j. Does 9 divide x?
False
Suppose 0 = -308*a - 62*a + 384800. Does 16 divide a?
True
Suppose 225*u = 2479583 - 362783. Does 143 divide u?
False
Suppose -3*p + 3*b - 44 = -b, 4*b = -16. Let s be 39/15 + (-8)/p. Suppose -s*w + 166 = -32. Does 6 divide w?
True
Suppose -58*y - 156 = -64*y. Let h = y - -202. Is h a multiple of 12?
True
Suppose -9 = 7*w - 10*w. Suppose 4*o - 7*o + 2860 = 2*i, w*o - 3*i = 2850. Does 17 divide o?
True
Let r(g) = -43*g**3 + 11*g**2 - g + 5. Let h be r(-3). Suppose -h - 1252 = -7*f. Does 20 divide f?
True
Let r(q) = -81*q - 504. Is r(-22) a multiple of 9?
True
Let p(u) = 13*u + 1001. Is p(-75) a multiple of 26?
True
Let n(s) = -s**3 + 14*s**2 - 23*s - 20. Let f be n(12). Does 10 divide (-6)/2*(736/6)/f?
False
Let u(m) = 6*m**2 - 198*m - 426. Is 261 a factor of u(102)?
False
Suppose -3*r = -15, -2*j + r = 1 - 112. Suppose -6*d = -20 - j. Let v(t) = 2*t**2 - 18*t + 13. Is v(d) a multiple of 13?
True
Let a(f) = -f**2 + 3*f + 8. Let t be a(6). Let c be 6/(t/(-4) - 2). Suppose -9*n - 72 = -c*n. Is n a multiple of 4?
True
Let v = 291 + -284. Suppose v*j = 848 + 2330. Is j a multiple of 28?
False
Let a(i) = -23*i**2 - 4*i + 33. Let v be a(4). Let f = 182 - v. Does 14 divide f?
False
Let x(f) = 5917*f**3 + 6*f**2 - 26*f + 21. Is 11 a factor of x(1)?
True
Suppose 4*a + 51 = 6*a + 5*d, 5*d - 135 = -5*a. Let u = -19 + a. Suppose -u*z + 100 = -4*z. Is z a multiple of 5?
True
Let i(v) = -1342*v + 1765. Is 13 a factor of i(-48)?
False
Let y be (623 - 4) + -1 + 2. Let f = y - 308. Is 3 a factor of f?
True
Suppose 0 = 19*w + 18*w - 58*w + 86709. Does 9 divide w?
False
Let i(f) = 25*f - 27. Let g(p) = -p**2 + 16*p - 20. Let s be g(15). Let z(n) = 50*n - 53. Let d(b) = s*i(b) + 3*z(b). Is d(2) a multiple of 5?
False
Let r(g) = g**3 + 33*g**2 - 34*g - 8. Let s be r(-34). Does 21 divide 769 + 4 + s/(1*-2)?
True
Let y(a) = -4*a - 1. Let b(u) = u**3 - u + 6. Let m be b(0). Let c be y(m). Does 40 divide 13/(325/(-240))*c/2?
True
Let f(h) = -3*h + 12. Let k be f(4). Suppose k = -11*s + 2305 + 1083. Is s a multiple of 22?
True
Let k(g) = 3161*g**2 + 108*g - 1. Is k(-1) a multiple of 14?
True
Let z = -308 + 6707. Does 60 divide z?
False
Let t(p) = 6*p + 4. Let m be t(-17). Let x = 112 + m. Let d(q) = q**3 - 14*q**2 + 12*q - 36. Is 11 a factor of d(x)?
True
Suppose -32904 = -3*q - 3*o - 5*o, 0 = -2*o - 6. Is q a multiple of 49?
True
Suppose 8 - 190 = -7*a. Suppose 70 = a*g - 8. Is g even?
False
Suppose 11*c = 25*c - 70. Suppose -c*x + 49 = -241. Does 4 divide x?
False
Does 36 divide 0 + ((-48)/28)/4 + 161295/35?
True
Let z(o) = 45*o - 986. Is 37 a factor of z(43)?
False
Let a(d) = -7*d + 136. Let w be a(0). Let v = w + -24. Is 14 a factor of v?
Tru