+ -3 + (-5935)/(-10)?
True
Does 9 divide 30/6 + (-5 - -3) + 2074?
False
Let i(z) = -133*z**2 + 46 + 403*z**2 - 137*z**2 + 24*z - 134*z**2 + 31*z. Is 55 a factor of i(33)?
False
Suppose -3*s + 3 = 6, 5*j = 4*s + 11254. Does 44 divide j?
False
Suppose 4*s - 370 = -o + 61, 18*s = 4*o + 1948. Is s a multiple of 3?
True
Let a(f) = -18*f + 0*f + 3*f + 3*f - 164. Is a(-37) a multiple of 14?
True
Let y(g) = -g**3 + 2*g**2 + 2*g - 1. Let i be y(2). Suppose -a - 54 = -i*a. Suppose 0 = -a*b + 20*b + 315. Is b a multiple of 8?
False
Let u = 97 + -93. Suppose 5*k - 2*r + 231 = 0, 82 = -u*k - 5*r - 83. Let d = k - -72. Is d a multiple of 9?
True
Suppose 7*o - 80 = 2*o. Suppose -j + o*j = 465. Does 2 divide j?
False
Is 122 a factor of (-8 - (-6 + -3)) + 14395?
True
Suppose -8*g - 8 = -112. Let l(r) = 17*r - 1. Let q be l(g). Suppose -5*y + q = -0*y. Is 7 a factor of y?
False
Let j(n) = -3*n - n**2 + 0*n - 2*n - 2 - 5. Let z be j(-5). Is 19 a factor of (-12)/28 + (-661)/z?
False
Suppose 0 = -6*r - 255 - 33. Let t = -16 + r. Let p = -24 - t. Does 20 divide p?
True
Suppose 0 = -35*l + 31*l + 691 + 1245. Is l a multiple of 11?
True
Suppose 4*j + 5*i = 3*i - 1796, 1334 = -3*j + 5*i. Is j/(-48)*(-3)/(-2) + 1 a multiple of 5?
True
Let u(t) = 6*t**2 + 23*t + 4. Let q be u(-4). Suppose 1100 = 2*p + q*p. Is p a multiple of 8?
False
Let a(r) = -312*r + 12. Is a(-22) a multiple of 82?
False
Suppose -3*y - 2*i - 1142 - 6831 = 0, -5311 = 2*y - 3*i. Is 77 a factor of (-2)/4*(y + 43)?
False
Let m = 32139 - 13155. Is m a multiple of 24?
True
Suppose 0 = -6*k + 5*k + 103. Let i be (-35)/(-21)*(11/5 - 1). Suppose q = -2*j + k, j = -q + i*q + 59. Does 11 divide j?
False
Suppose -509*y + 17424 = -487*y. Is y a multiple of 9?
True
Let z(k) = -20 + 3*k**2 + 20 - 17 - k + 14*k. Does 59 divide z(10)?
True
Let g(k) = -7515*k + 329. Does 18 divide g(-1)?
False
Let p = -12905 - -15192. Is p a multiple of 8?
False
Suppose 127*z - 408884 = 110*z. Is 22 a factor of z?
False
Let g = -5366 - -14062. Is 26 a factor of g?
False
Let n(l) be the first derivative of 11*l**3/3 - 5*l**2/2 + 12*l + 52. Is 36 a factor of n(-4)?
False
Suppose 10*a - 140 = -120. Suppose -2*i + 1806 = 5*s, -4*i + 1452 = 2*s + a*s. Is 10 a factor of s?
True
Let o(i) = 2*i**2 + 5*i + 40. Let n be o(-6). Let y = -16 + 55. Let s = n - y. Does 19 divide s?
False
Suppose 3*n - d - 26405 = 46680, 0 = -3*n - 2*d + 73070. Is 15 a factor of n?
True
Suppose 4866*q = 4842*q + 56880. Is q a multiple of 21?
False
Let r(i) = 120*i**2 - 6*i + 8. Is 34 a factor of r(4)?
True
Suppose -4*l + 9 - 13 = -4*t, 5 = -l + 2*t. Suppose 4380 = 5*a + 4*p, 4*a - 2545 = -l*p + 960. Is 60 a factor of a?
False
Let d(w) = 11*w**2 + 4*w + 4. Let b be d(-1). Suppose l = -8 + b. Suppose -l*i = -2*c - 297, -3*c = -3*i + 185 + 115. Is 30 a factor of i?
False
Is ((-5)/6 - 1/(12/(-16)))*58838 a multiple of 143?
False
Let k be (-1 - -1) + -19 + 2. Let h(b) = 20*b**2 - 5*b - 24. Let y(n) = 7*n**2 - 2*n - 8. Let g(c) = k*y(c) + 6*h(c). Is 4 a factor of g(6)?
True
Suppose -1630*c = -1618*c - 70452. Is c a multiple of 37?
False
Let v(h) = -6*h**3 - 3*h**2 + 14*h + 13. Let s(d) = -6*d**3 - 4*d**2 + 16*d + 14. Let z(i) = -2*s(i) + 3*v(i). Is z(-6) a multiple of 60?
False
Let c(r) = 2*r**2 + 52*r + 52. Let u be c(-14). Suppose -k = q - 48 + 476, 0 = -3*q + 4*k - 1319. Let x = u - q. Is x a multiple of 23?
False
Suppose 281*m + 5*i - 2978 = 280*m, 5*i + 14830 = 5*m. Is 14 a factor of m?
True
Let p be (1 - 0)/(10/80). Let h(b) = -b - 6. Let i be h(p). Does 18 divide 542/4 + (-7)/i?
False
Let k(q) = -14*q - 82. Let i be k(22). Is ((-1902)/(-10))/((-78)/i) a multiple of 32?
False
Let t = -5839 - -8194. Is 109 a factor of t?
False
Let m(y) = -2*y**2 + 15*y + 9. Let p be m(11). Let g = 63 + p. Is -3 - g/(15/153) a multiple of 8?
True
Let l = 239 + -234. Suppose 0 = -l*x - 2*c + 1342, -4*c + c - 1069 = -4*x. Is 12 a factor of x?
False
Let p(o) = -o**3 - 41*o**2 - 26*o - 181. Is p(-48) a multiple of 181?
True
Let u = 385 + -377. Suppose u*t + 267 = 6243. Does 11 divide t?
False
Suppose 43038 = 14*f - 155678. Is f a multiple of 107?
False
Let a(j) = -27*j - 4. Let m be a(2). Let k = m + 126. Suppose -k = -5*z + 2. Is z a multiple of 14?
True
Let o = -1297 - -4317. Suppose -3*w + 15 = 0, -2*w + o = 2*t - 4*w. Is t a multiple of 68?
False
Let n = 371 - 370. Does 70 divide (29 + n)*-632*2/(-40)?
False
Suppose -5*j + 0*h = 3*h + 43, -j = -5*h + 31. Let c be 6/(-33) + (-2)/j. Suppose 3*o - 2*l - 151 - 64 = 0, c = -o - 5*l + 100. Does 10 divide o?
False
Suppose 32 = 4*a + f + 11, 22 = 3*a + 2*f. Suppose -6 = a*m - 2. Is 3*m*8/12*-6 a multiple of 9?
False
Let i(h) = 512*h - 8879. Does 5 divide i(20)?
False
Suppose 34184 - 13028 = 4*h + 2*o, -5*h - 4*o = -26442. Is 5/30 + h/12 + -1 a multiple of 16?
False
Let b = 14978 + -9254. Is b a multiple of 26?
False
Let w(m) = -2*m**3 + 6*m**2 - 6. Let v be w(3). Is 13 a factor of (-15)/4*(-26 - v)?
False
Suppose 0 = -11*h + 8*h - 5*j + 9332, 5*h - 5*j - 15580 = 0. Is h a multiple of 87?
False
Let o be (1*-1 - 9)*(-39)/78. Let d(b) = 55*b - 107. Does 24 divide d(o)?
True
Suppose 4*x - 7*x - 15 = 0, 0 = -j + 4*x + 45. Suppose j*z - 20*z = 10. Suppose z*w + 3*m = -w + 612, w - 4*m = 184. Does 40 divide w?
True
Let a(k) = -6*k - 12. Let h be 1/(-10)*2*-15. Suppose -h*b + 96 = -9*b. Does 42 divide a(b)?
True
Suppose -37 = 10*n + 13. Is (-4)/((-76)/12 - n) a multiple of 2?
False
Suppose 0 = -12*a + 32 + 4. Let j be 1*(-7)/(28/(-16)). Suppose 3*z - w = -a*w + 397, 0 = -j*z - 3*w + 528. Is z a multiple of 27?
True
Let c = -492 - -484. Does 6 divide (c - 0 - -2) + 299?
False
Let g(v) = 16*v + 56. Let i(j) be the first derivative of j**3/3 + 5*j**2 - 19*j + 50. Let p be i(2). Is 17 a factor of g(p)?
True
Let v(b) = 8*b**2 - 2*b + 6. Suppose -14*q - 7*q = -147. Does 48 divide v(q)?
True
Suppose -11*w - 64 + 31 = 0. Is 29 a factor of 28/49 - 3198/(-14) - w?
True
Let o = -234 - -584. Suppose 4*v - 41 = 3*h + 284, 4*v + 2*h = o. Is 17 a factor of v?
True
Suppose 28*d = -7*d - 10*d + 286200. Is d a multiple of 20?
True
Let n(v) = 11*v**2 - 75*v + 9. Let u(h) = 5*h**2 - 37*h + 4. Let p(z) = -6*n(z) + 13*u(z). Let i be p(-24). Suppose -5*q + 264 = -i. Is q a multiple of 11?
False
Let n = 502 + -499. Suppose 2*k - 5*o + 255 = n*k, 2*o = -3*k + 765. Is 7 a factor of k?
False
Suppose -97*b + 1059674 - 145386 + 68225 = 0. Is 63 a factor of b?
False
Suppose 58112 = -178*u + 242*u. Does 135 divide u?
False
Let p(v) = 8*v - 9 + 55*v**2 + 3*v - 40*v**2 + 9*v + v**3. Does 27 divide p(-9)?
True
Let z = 88 + -43. Suppose -u - 187 + z = 0. Does 20 divide (3621/u)/(1*2/(-12))?
False
Suppose -3*r + 5*r - 2*n - 6 = 0, 0 = 2*n. Suppose -4*u + 104 = 4*p, -r*p + 16*u - 12*u = -99. Is 12 a factor of p?
False
Let u = -166 - -107. Let d = u + 61. Suppose d*i = 6, 4*a - 5*i - 100 = 105. Does 11 divide a?
True
Let l = -7 + 395. Suppose 3*p - 5*b = l, -2*b + 514 = 4*p - 7*b. Is 18 a factor of p?
True
Suppose -3168124 = -204*i - 874756. Is 162 a factor of i?
False
Is -3453*(22/(-3) - (8/(-1) + 4)) a multiple of 17?
False
Let o(w) = 2*w - 41. Let l be o(21). Let g(y) = 15 - 9*y + 36 + 22 - l. Is 15 a factor of g(-7)?
True
Let t be (-5)/25 + (-238)/35. Let c(q) = -58*q - 37. Is 9 a factor of c(t)?
True
Let q = -41 + 53. Let j(b) = -9*b + 18*b - q - 17*b. Does 52 divide j(-8)?
True
Let z = -308 + 171. Let u = z + 62. Let h = u - -162. Does 29 divide h?
True
Let b = 8246 - -2049. Is b a multiple of 32?
False
Suppose -12844 = -19*l - 0*l. Let d = 1017 - l. Is d a multiple of 24?
False
Let l = 20109 - 13844. Is l a multiple of 35?
True
Let f = -48 + 31. Let l = 19 + f. Does 27 divide 63 + -5 + 4 + l?
False
Let a(o) = 2*o + 82. Let q(z) = -z**2 - 17*z - 30. Let c be q(-16). Is a(c) a multiple of 18?
True
Let s(p) = -p**2 - 12*p + 2. Let f be s(0). Is 3/(f - 210/106) a multiple of 14?
False
Does 35 divide 3/((9/(-15))/(8356/(-20)))?
False
Let r(y) = -5*y**2 + 260*y - 23. Let w(o) = -o**3 - 3*o**2 - 8*o + 3. Let t be w(-4). Does 7 divide r(t)?
False
Suppose -4*a + 27 = -3*a - 3*k, -2*k - 66 = -2*a. Suppose m + a = -0*m. Let w = m + 63. Is w a multiple of 10?
False
Suppose 3*y - 11 = 2*s, 4*s + 2 + 25 = 5*y. Let i(p) = -24*p - 74. Let j be i(s). Let q = j - 152. Is q a multiple of 8?
Fals