 = 0. Suppose a = y - 4*f - 9, -4*f + 87 = y. Does 11 divide y?
False
Let c(m) = 3*m**2 + 5*m - 5. Let b be c(1). Let j(x) = 146*x + 7. Let p be j(b). Suppose 8*u = p + 835. Is u a multiple of 20?
True
Suppose -f - 8512 = 3*v - 1130, -2*v + 3*f - 4914 = 0. Let z = v + 4059. Is z a multiple of 96?
False
Let r(w) = 4*w**2 + 2*w - 8. Let p(y) = -3*y**2 - y + 8. Let x(g) = 6*g - 13. Let h be x(3). Let d(v) = h*p(v) + 4*r(v). Does 4 divide d(0)?
True
Let v(k) = -k**2 - 5*k + 4. Let f be v(-5). Suppose 42 = 4*r + 10*c - 8*c, 0 = -r - 2*c + 9. Let n = r - f. Is 3 a factor of n?
False
Let t(q) = 3*q**2 - 14*q - 83. Is t(-12) a multiple of 53?
False
Let p be (-1 - 25/15)*3/(-4). Suppose -5*u = p*j - 16, -u - 5*j = -2*j + 2. Suppose -233 = u*g - 901. Does 21 divide g?
False
Suppose 462*c - 52296 - 69210 = 0. Is 50 a factor of c?
False
Let n = -166 + 437. Suppose 2*z - n + 161 = 0. Does 8 divide z?
False
Let x be -6 + (-4 - -9) + -11. Is (18 - x) + -1 + 6 a multiple of 3?
False
Let y = 156 + -98. Let j = 42 - y. Let k(u) = -u**3 - 14*u**2 + 23*u + 17. Does 13 divide k(j)?
False
Suppose -3*r + 34 = 28. Suppose -3*m - 17 - 11 = -4*g, 2*m = -r*g. Suppose -g*w - 5*q = -180, 42 = w - 3*q + 5*q. Is 5 a factor of w?
True
Let s = 14 + -9. Let z(a) = 6*a**2 + a - 2. Is 5 a factor of z(s)?
False
Suppose 29103 = 65*y - 60*y - j, 0 = -2*y + 2*j + 11646. Is y a multiple of 101?
False
Let h = 1042 - 732. Let s = h - 150. Is s a multiple of 10?
True
Suppose -2*c + 84 = 2*w, c + 4*w + 10 = 55. Suppose s + 2*l = 20, 0 = -4*s + l + 30 + c. Suppose -s = -3*p - 5*z + 16, 4*z - 23 = -p. Does 3 divide p?
True
Let p = 14 - 11. Suppose 0 = 6*d + 3 + p. Does 13 divide (10/20)/(d/(-58) + 0)?
False
Let i be 9*-4*8/(-16). Let o be -1 - 2*(1 - 3). Let r = i + o. Is 7 a factor of r?
True
Suppose -22*b = -30*b - 32. Is 813 - (18 + 6)/b a multiple of 13?
True
Is 7 a factor of ((-55620)/80)/(12/(-16))?
False
Suppose 3 = 2*r - r. Suppose -u + 17 = -3*i, -16 + 5 = -r*u - i. Suppose -3*x + 343 = 6*l - l, u*l + 101 = x. Does 23 divide x?
False
Let q be (10 - 0)*6/15. Let n be ((29/58)/(5/(-6)))/((-2)/10). Suppose 0 = q*o - 93 - n. Is 10 a factor of o?
False
Let k(j) = 31*j + 57. Let y be k(21). Let z = 76 + y. Is z a multiple of 59?
False
Let s = -27667 - -28822. Is s a multiple of 6?
False
Let a = 59 + -55. Suppose -a*g = 3*c + 7, -2*g - 2 = -4*c + 6*c. Suppose -3*w = 2*v - 36, -c*w - v = -23 - 16. Is 3 a factor of w?
False
Let c be (-2)/(-30) + 43/(-645). Suppose 2*u - 280 + 60 = g, 2*u - 3*g - 228 = c. Does 9 divide u?
True
Let o = 102 - 87. Suppose -3*f = -o*f + 1896. Is 16 a factor of f?
False
Suppose -1349*h = -1380*h + 307272. Is h a multiple of 12?
True
Let u be 1*-3 - (-3 - -8). Suppose 2*q + 170 = 4*h, 3*h + 3*q = 5*q + 129. Let c = h + u. Is c a multiple of 33?
True
Is 12 a factor of 2419 + (5 - (-96)/(-8))?
True
Let p(q) = 5*q**2 + 7*q - 12. Let x(y) = 26*y**2 + 35*y - 60. Let u(t) = 11*p(t) - 2*x(t). Let b be (-8 - -18) + -4 - 2. Is 8 a factor of u(b)?
True
Let i(z) = -5*z + 4. Let c be i(3). Let p = 16 + c. Suppose x = -4*f + 83 + 38, -p*f + 167 = -4*x. Is 16 a factor of f?
False
Let p = -23384 + 49616. Is p a multiple of 255?
False
Let y = -625 + 520. Does 4 divide (y/(-42))/((-99)/(-48) + -2)?
True
Let b = -4366 - -9688. Does 6 divide b?
True
Suppose -3*s + 7518 = 3*s. Suppose 2*y - 743 - s = 0. Let w = -637 + y. Does 19 divide w?
True
Let v(h) = -136*h - 2730. Is 35 a factor of v(-33)?
False
Let t(b) = -b**3 + 2*b**2 + 174. Let i = -286 + 286. Does 58 divide t(i)?
True
Let w(m) be the third derivative of m**6/40 - 5*m**4/24 + 2*m**3/3 - 2*m**2. Let d be w(3). Is 28 a factor of 9770/d + (-3)/(-7)?
True
Suppose -3102 = 13*d - 18676. Is 12 a factor of d?
False
Suppose 5*r = 451 - 481. Let f = -4 + 9. Let u = f - r. Does 6 divide u?
False
Suppose -1942 = 4*s + 3*l - 15089, 0 = s + 4*l - 3303. Is 9 a factor of s?
False
Let s be (1 - (2 + -1)) + 5 + 37. Suppose -4*w + 42 = -s. Does 7 divide w?
True
Let p be 2/8*0/(-3). Suppose -2*s - 2*s = -3*g - 192, p = 3*s + g - 144. Is s a multiple of 48?
True
Suppose 0 = -5*x + 2*k + 14, -4 = 4*x - x + 5*k. Suppose -5*w + 1048 = g, -x*w - 122 = -g - 544. Suppose 0 = f - 3*f + w. Does 15 divide f?
True
Is 35 a factor of (60/16)/(120/117440)?
False
Let b(q) = q**3 + 8*q**2 + 9*q + 10. Let d be b(-7). Does 17 divide (27 - 44)/(2/d)?
True
Let a = -40 + 38. Let y be a/6 - (2 - (-1839)/(-9)). Suppose 0 = 2*o - 78 - y. Is o a multiple of 15?
False
Let o(b) be the first derivative of -b**2 - 12*b - 16. Let t be o(-7). Suppose d - 8 = -4*v + 168, -5*d + 952 = t*v. Does 32 divide d?
True
Suppose 4*w = 14*w. Suppose -p - 3 = 4*m - 0*m, w = -4*m - 2*p - 6. Suppose b - 5*n = 9 + 22, m = 4*b + 5*n - 49. Is 11 a factor of b?
False
Let z(y) = 2831*y + 8. Is z(2) a multiple of 15?
True
Is (-72)/(-9*17/1224) a multiple of 45?
False
Let r(y) = -y + 12*y - y. Let v be -14*(-230)/(-322)*(-4)/10. Is 20 a factor of r(v)?
True
Let z(d) = -d**3 + 63*d**2 + 24*d - 495. Is z(51) a multiple of 169?
True
Let l(f) = 3*f - 4. Let z be l(3). Let c(u) = 118*u**2 - 2*u + 2. Let a be c(1). Suppose z*y + 2*v = 202, -y - a = -4*y + 2*v. Is y a multiple of 25?
False
Suppose 0 = 12*o - 286586 - 212650. Is o a multiple of 51?
False
Let p = 7762 - -38. Does 25 divide p?
True
Let l(c) = -2*c**3 - 5*c**2 + 5*c + 25. Let u be l(-9). Let q = u - 664. Is 3 a factor of q?
True
Let q = 758 - 347. Let f = q - 155. Does 32 divide f?
True
Let j be 0*(315/30)/21. Let l(h) be the second derivative of h**3/2 + 89*h**2/2 + h. Is 12 a factor of l(j)?
False
Let u(y) = -159*y - 1505. Is 38 a factor of u(-50)?
False
Suppose 4*b = -5*t + 15012 + 9692, 0 = 4*t - 3*b - 19757. Is 38 a factor of t?
True
Suppose -2*b + 5*s + 9044 = 9*s, 13560 = 3*b + 3*s. Is b a multiple of 18?
True
Let c(b) be the first derivative of -b**4/24 + 35*b**3/6 - 8*b**2 - 3. Let j(o) be the second derivative of c(o). Does 6 divide j(15)?
False
Let w = 36 + 459. Is 15 a factor of w?
True
Suppose c - 20 = 4*l - 42, -3*l + 3*c = -21. Suppose -3*a - 1130 = -t + a, -l*t + 2*a + 5596 = 0. Does 13 divide t?
True
Let o(l) = -l**3 + 19*l**2 - 37*l + 3. Is o(16) a multiple of 3?
False
Let u = 279 + -275. Suppose x + u*q = 132, 2*q - 31 - 215 = -2*x. Is 30 a factor of x?
True
Let t(v) = v**3 - 7*v**2 + 11*v + 1. Suppose -2 = -l - 0. Suppose -3*b = -3, l*m - m = -3*b + 11. Does 9 divide t(m)?
True
Let f(y) = 14*y**2 - 47*y - 315. Is 13 a factor of f(-13)?
False
Does 9 divide 138/92 - (-3295)/2*1?
False
Suppose -23241 = -136*f + 24631. Does 22 divide f?
True
Let a(h) = 26*h**2 + 78*h + 626. Is 16 a factor of a(-22)?
False
Let b = -52 - -11. Let j = b + 38. Is 258/(-22)*j - (-24)/(-132) even?
False
Let k = 148 - 122. Suppose k*o - 1190 = 19*o. Is 5 a factor of o?
True
Let g = 103710 - 60807. Does 21 divide g?
True
Suppose -5*w = 2*l - 13109, -4*w - 4*l = -6083 - 4397. Is 3 a factor of w?
False
Suppose 13*q - 4*q = -15039. Let l = q + 2413. Suppose 5*n - 118 = l. Is n a multiple of 38?
False
Suppose t + 486*w - 482*w = 7990, t - 3*w - 7990 = 0. Is 28 a factor of t?
False
Let c(z) be the third derivative of 8 - 5/12*z**4 + 65/6*z**3 + 0*z - 3*z**2. Is c(-13) a multiple of 39?
True
Let l(j) = 8499*j**2 - 7*j + 20. Does 21 divide l(1)?
False
Suppose 60*o - g = 64*o - 162621, -2*g + 203274 = 5*o. Is 112 a factor of o?
True
Suppose 11 - 8 = -3*h, 0 = n - 3*h - 962. Let k = n - 282. Does 19 divide k?
False
Let n = -18172 - -32520. Does 34 divide n?
True
Let x = -525 + 531. Does 7 divide x + 310 - (-2 + -3)?
False
Suppose 5*i - 5*g - 34225 = 0, -16*i + 21*i - 34265 = -3*g. Is 25 a factor of i?
True
Suppose -48354 - 23624 = -40*w + 54222. Is w a multiple of 5?
True
Let z(y) = -244*y + 29. Does 11 divide z(-4)?
False
Let j(d) = d - 7. Let z be j(5). Let i be z/(-2) - (-5 + 3). Suppose -i*t - 9 = 0, -v + t = -4*v + 573. Does 48 divide v?
True
Suppose -4*a = -5*v - 632, -3*a + 4*v + 119 = -354. Let q(j) = -a*j + 181 - 162*j - j**2 + 323*j. Does 16 divide q(0)?
False
Let z(h) = -67*h - 30. Let u be z(11). Let w = u + 1217. Suppose -d + w = 8*d. Is 13 a factor of d?
False
Suppose 5*q + 25 = 0, 0 = -3*m + 3*q + 34961 + 7306. Suppose -8*z + m = -z. Does 28 divide (-12)/(-54) + z/18?
True
Let f(c) = 5*c + 2. Let h(y) = y + 1. Let i = -46 - -47. Let p be