2*p + 5*z = 5709, 4*z - 6 = 6. Is p a multiple of 7?
False
Suppose o + 2*j = 9 + 4, 2*j - 22 = -4*o. Suppose -4*p - 18 = -o*t, -2*p + 4*p = -6. Suppose 60 = u - s, -4*u = 4*s - t*s - 210. Is u a multiple of 7?
False
Suppose -8*h = h - 4824. Suppose -2216 = -7*f - h. Suppose -7*d + f = -2*d. Is d a multiple of 11?
False
Let f(u) = -163*u - 179. Is f(-37) a multiple of 46?
False
Let b = -53 - -73. Suppose 0 = -3*z - 2*z + b, -3*z = -k + 33. Is 3 a factor of k?
True
Let l(c) = c**2 + 12*c - 55. Let q be l(-16). Suppose 3*u = -3*i + 63, q*u + 30 = 11*u - 2*i. Is u a multiple of 3?
True
Let l be (408/(-10))/((-12)/40). Suppose l*w = 141*w - 365. Is w a multiple of 7?
False
Let f(w) = -w**3 + 13 + 28*w**2 - 18*w + 27*w**2 - 60*w**2. Is 6 a factor of f(-7)?
False
Let b(r) = 67*r**3 + 12*r**2 + 7*r + 16. Is b(4) a multiple of 39?
True
Let c = -210 + 280. Suppose d - 11 = 4*j, 4*d + 0*d - c = 3*j. Does 14 divide d?
False
Suppose -126*s - 336 = -120*s. Let f(h) = -h**3 - 4*h**2 + 10*h - 3. Let z be f(-7). Let r = z + s. Is r a multiple of 4?
False
Suppose -4*u = -2*u + 2. Let b be (3 - -39) + (2 - u). Let l = b + -26. Is l even?
False
Let d(g) = 8*g - 59. Let r be ((-744)/(-40) - (-6)/15) + 1. Is 40 a factor of d(r)?
False
Suppose -35 - 5 = -4*v. Let z = 112 + -108. Does 15 divide -12*(0 + v/z)*-1?
True
Let c(o) = 23*o**2 + 283*o - 839. Is 2 a factor of c(3)?
False
Suppose -197 + 218 = 7*x. Let h(v) = 10*v**3 + 3*v**2 - v - 6. Does 12 divide h(x)?
True
Let b be ((-56)/(-35))/((-10)/(-75)). Does 24 divide (-8)/b + (-678)/(-18) + 4?
False
Is (-2045)/(-2)*1*7/((-35)/(-8)) a multiple of 28?
False
Let o = -111 + 115. Suppose -2*b - 810 = -2*d, o*b - 2*b = 3*d - 1210. Is d a multiple of 19?
False
Let v be -2 - (-5 - (-2 + 5)). Suppose 3*x - 465 = -5*q, 3*x = 2*q - v*q + 462. Does 11 divide x?
False
Let x be ((-4300)/6)/((-1)/3). Suppose -7*g + 314 = -x. Is 8 a factor of g?
True
Suppose -20 = -3*c + 1. Let k = c + -2. Suppose -4*u - 3*f + 121 = -232, -k*f = -2*u + 157. Is u a multiple of 43?
True
Let t(g) = -158*g - 36. Let s(n) = -40*n - 9. Let c(a) = 18*s(a) - 4*t(a). Is c(-1) a multiple of 10?
True
Is ((-5)/(5/(-2)) - 11836)/((-1082)/541) a multiple of 15?
False
Let m = -133 + 412. Suppose 5*k - 4*f = 277, -5*k + 2*f - 8 = -m. Does 2 divide k?
False
Let h(k) = 14*k**2 - 45*k + 383. Is h(-25) a multiple of 223?
True
Suppose -5*d - 4 = -3*i, 3*d = -4*i + 2*d - 10. Let l be i/(-6) + 0 - (-178)/6. Does 6 divide 1160/l - 2/(-6)?
False
Let j(g) = 3*g**2 - 2*g - 144. Let l(d) = -7*d**2 + 4*d + 287. Let h(q) = -9*j(q) - 4*l(q). Let s = -45 - -45. Is h(s) a multiple of 7?
False
Let s(j) = -j**3 - 13*j**2 - 10*j - 18. Let d be -18*(12/(-9) + 2). Let m be s(d). Let t = -6 - m. Is 12 a factor of t?
True
Let j be 1607/(-5) - (-9 - (-215)/25). Let n = 1434 + j. Is 53 a factor of n?
True
Let l = -64 + 12. Let m = l + -4. Let f = m - -127. Does 35 divide f?
False
Suppose 5*w + 2*c = 20407 + 29067, 5*w - 5*c = 49460. Does 51 divide w?
True
Suppose 9 = -3*o, 5*z - 5*o - 65 = -0*z. Suppose 146 = 2*d + 4*h, 2*d + z*h - 101 = 15*h. Is d a multiple of 3?
True
Let x(a) = -16*a**3 - 63*a - 106. Is 27 a factor of x(-9)?
False
Suppose 2*z + 20*z - 132 = 0. Suppose 36 = -b + 5*c + 87, -3*c = -z. Is b a multiple of 9?
False
Let s(j) = j**2 + 10*j + 54. Let v be (-2)/(-6)*3*(-9 + 0). Is s(v) a multiple of 4?
False
Is 259 a factor of (-22)/24 - (-2)/(-6) - (-60475773)/1076?
True
Suppose 0 = 4*y - i + 269, 4*y + 4 + 256 = 4*i. Let m = y + 88. Suppose 0 = 2*r + x - 14, -4*x - m = -5*r + 2. Is r a multiple of 3?
True
Let r(n) = 8*n + 171. Let m be r(-21). Suppose 53*b - 250 = m*b. Is b a multiple of 5?
True
Is 42 a factor of (124223/46)/((-1)/(-4))?
False
Suppose 36*a + 3*j = 37*a - 6901, -4 = -2*j. Is a even?
False
Let j = 93 + -93. Is 41 a factor of j + 6888/30 - 2/(-5)?
False
Let c(l) = -l**3 - 5*l**2 + 3*l + 10. Suppose -a + 1 = -3*w, -5*a + 7*a = 3*w - 1. Let s(k) = -6*k**2 - 9*k - 1. Let r be s(a). Is c(r) a multiple of 29?
True
Let l = -20783 - -27391. Does 14 divide l?
True
Let i be 63/(2*8/1472). Suppose 9*m - i = -9*m. Does 16 divide m?
False
Let q be -6 - (0 - 10) - 2. Is q*(-10 + 6 + 93) a multiple of 19?
False
Let x be 573/4 + 2 - 4/16. Is x/1 - 180/(-20) a multiple of 8?
False
Let a(m) = -100*m + 1337. Is 31 a factor of a(5)?
True
Let d(l) = l**3 - 22*l**2 + 3*l + 53. Let y = 201 + -178. Is 44 a factor of d(y)?
False
Let m = 133 + -81. Suppose 13*c + m = 15*c. Is 17 a factor of c?
False
Suppose d - 148 = 2*a, 0 = -2*d + a - 3 + 293. Suppose 141*g + d = 144*g. Is g a multiple of 48?
True
Suppose q = -4*q + 25, 54 = 4*t + 2*q. Suppose o - 3 = -t. Let c = o - -48. Is c a multiple of 8?
True
Let a(z) = z**2 + 2*z - 14. Suppose 11*u + 8 + 58 = 0. Is 2 a factor of a(u)?
True
Let p(h) = 8*h - 118. Let i be p(15). Let o(g) = 12*g**3 - g**2 + 6*g - 4. Does 20 divide o(i)?
True
Is 17 a factor of (71 - 0)*(15 - 15059/(-37))?
False
Suppose 0 = 8*a - 12*a + 388. Let h = a - 83. Suppose 2*w + 12*p - 166 = h*p, -3*w + 2*p = -252. Is w a multiple of 22?
False
Is 1332/888*(28/6 - 0) + 620 a multiple of 2?
False
Suppose -97 - 59 = 4*a + 4*j, 2*j = -4*a - 162. Let u be 2/(-6) + 1640/15. Let f = a + u. Does 3 divide f?
False
Suppose 0*n = 5*n + 20. Does 19 divide 370 + n - 5*1?
True
Let k(o) = -o + 23. Let a be k(8). Suppose -5*r - 4*i = -a, 2*r - 6 + 0 = -4*i. Suppose 0 = -5*l + 2*y + 1670, r*l = -2*l - 3*y + 1695. Does 14 divide l?
True
Let m be (-10 - 264/(-26)) + (-93)/13. Is 17 a factor of ((3 - -462) + -2)/(m - -8)?
False
Let h be (1/3 - 1144/(-24)) + -3. Suppose 3*g - 375 = h. Is 28 a factor of g?
True
Let j(l) = l**3 + 27*l**2 + 46*l + 234. Does 10 divide j(-24)?
False
Suppose 22167 = 7*b - 43298 - 17191. Is b a multiple of 8?
True
Let y = -10 + 14. Suppose 32 = -2*v - y*k, 3*k - 10 = -3*v - 43. Does 14 divide (-2132)/(-78) - 4/v?
True
Let k(c) = 87*c + 1. Suppose -4*x = -4*w - 6 + 2, 3*w + 3 = -5*x. Let i be k(w). Let l = i + 152. Is l a multiple of 10?
False
Let f(p) = -10*p**3 - p**2 - 3*p - 2. Suppose 16*l = 15*l - 8. Let k = 6 + l. Is f(k) a multiple of 8?
True
Does 55 divide (-40)/6*((-8 - (-11 - -1909)) + -8)?
True
Suppose 0 = 21*r + 26407 - 109672. Does 102 divide r?
False
Let l(t) = 46*t - 306. Let w(q) = -23*q + 152. Let h(i) = 6*l(i) + 13*w(i). Is 74 a factor of h(-10)?
True
Let c(b) be the second derivative of 3*b**4 - 3/2*b**2 + 0 - 2/3*b**3 + 12*b. Is c(-1) a multiple of 10?
False
Suppose -918 + 818 = -20*p. Suppose -4*r - 321 = -4*g - 3*r, 2*g + 5*r = 155. Suppose -p*i - 14 = -t + 32, 2*t = 4*i + g. Does 12 divide t?
True
Let c = 9631 - 9341. Is c a multiple of 9?
False
Suppose 3*t - 6 - 12 = 0. Let m be 60*t*(-6)/(-15). Suppose -m = -5*g + 2*g. Does 16 divide g?
True
Let o(q) = -5*q**3 - 3*q - 4. Let w be o(-1). Suppose -u + 3*g = -24, -w*g = -4*u - 0*u + 56. Suppose -61 = -u*k + 488. Is 11 a factor of k?
False
Does 30 divide ((-65952)/18)/(1 - 36/28)?
False
Suppose 2*v - 32*m + 30*m = 1774, 3*m + 4443 = 5*v. Is v a multiple of 9?
True
Let h(k) = -4*k + 19. Let p be h(-6). Let b = 40 - p. Is (4/(-3))/(b/207) a multiple of 23?
True
Does 19 divide (1/(-2))/((-14)/51184)?
False
Let p be 2301/27 + 10/(-45). Let c(x) = -x**3 - 11*x**2 - 10*x + 3. Let k be c(-10). Suppose -k*a = -8*a + p. Is 9 a factor of a?
False
Let a(d) be the third derivative of d**5/60 - 7*d**4/24 - 3*d**3 - 12*d**2. Let s be a(8). Does 22 divide s/(-65) - (-2850)/65?
True
Let n(y) = y**3 - 82*y**2 + 635*y + 286. Is n(76) a multiple of 30?
True
Suppose 7*r - 2*r = 10. Suppose -k + 12 = -4*p, 0 = 3*p + k + r*k - 6. Is 11 a factor of (4 - -21*1)*(4 + p)?
False
Let p = 7640 - -758. Is p a multiple of 71?
False
Let q be -2 + 2 - -7*22 - 0. Suppose -5*h = -2*b - 103 - q, -4*h - 444 = 4*b. Is 20 a factor of b/6*(-12)/2?
False
Let b(j) = 10*j + 143. Let d be b(-13). Suppose -17*r + 132 = -d*r. Does 3 divide r?
True
Suppose 5*o - 5*j = 12095, 9*j + 12 = 5*j. Is 20 a factor of o?
False
Let u(s) = -s**3 - 10*s**2 - 16*s - 10. Let o be u(-8). Does 22 divide (149 - 0) + 20/o?
False
Let y(x) = -6*x + 1. Let s(m) = 22*m - 43. Let c(g) = -s(g) - 3*y(g). Is c(-5) a multiple of 20?
True
Let q(m) = -m**2 + 4*m + 2. Let f be q(4). Let g be (-1 - (-5)/f)*60/(-18). Let y(u) = 6*u**2 + 10*u - 9. Is y(g) a multiple of 13?
T