 + r = -12*u. Does 20 divide u?
False
Let u = 188 + -97. Suppose -d = -u - 75. Is 8 a factor of d?
False
Let q(l) = 2*l**3 + 151*l**2 - 334*l - 176. Does 29 divide q(-77)?
False
Let b(s) = -58*s + 1. Let g be b(-8). Suppose 9*f - 4*f - g = 0. Let x = f - 44. Is x a multiple of 12?
False
Let d = -270 - -465. Let b = 0 + d. Does 16 divide b?
False
Let l(u) = -2*u + 10. Let v be l(4). Let q be 4/v - (2 + (-6 - 1)). Suppose -523 = -3*m - 4*z, -q*m + 2*m + 861 = -4*z. Is 17 a factor of m?
False
Let j be (-165)/(-385)*(5 - -2). Let n = 16 - -8. Suppose -j*t + 9*t = n. Is t a multiple of 3?
False
Let s(k) = 12*k**2 + 4*k + 3. Let t be s(-1). Let b = t + -20. Does 4 divide (2 - (-80)/(-45)) + (-304)/b?
False
Let z(i) = 17 + 6*i + 7*i + 0*i + i**2. Let k be z(-12). Suppose -y = n - 192, 5*n + y - k*y = 1005. Is 44 a factor of n?
False
Suppose 4*w - 303 = -g + 404, -g = 5*w - 713. Is g a multiple of 3?
False
Let a be (-56)/16*8/(-7). Suppose 11 = -0*z - 3*z - 5*q, 0 = a*q + 16. Suppose -z*t = -64 - 14. Does 13 divide t?
True
Let x be (2 - 2) + -19 + -4 + 5. Let b = x - -26. Is 8 a factor of (-1 + b)/(28/(-32) - -1)?
True
Suppose -3*d - 846 = -9*y + 7*y, 4*y - 1692 = -d. Suppose -5*k = 4*w - y, -2*w + 342 = k + 3*k. Let o = k - 15. Is 6 a factor of o?
True
Suppose 22*y - 22662 = 4*y. Let a = -377 + y. Is a a multiple of 18?
True
Suppose 369*i = 376*i - 41958. Is 26 a factor of i?
False
Let z be 2 + 0 + 26*(1 + 2). Let a = z + -70. Is 16 a factor of 2 - (-776)/a - 2/(-5)?
True
Let h = -37 + 107. Let c = h - -1216. Suppose 11*o - c = 562. Is o a multiple of 12?
True
Let o = 16141 - -5176. Is 17 a factor of o?
False
Let h(o) = -o - 2. Let i be h(-12). Suppose 8*r - i*r = -308. Let y = r - 55. Is 21 a factor of y?
False
Let c(y) = -y**3 + y**2 + y + 1. Let a(o) = 384*o**3 + 3*o**2 - 8*o - 9. Let q(t) = -a(t) + 2*c(t). Is q(-1) a multiple of 26?
False
Let q(p) = -p**2 + 25*p - 34. Let n(h) = -h**3 + 7*h**2 + 21. Let m be n(7). Let o be q(m). Suppose -46*y - 200 = -o*y. Is 3 a factor of y?
False
Suppose 0 = -4*s + 66 + 198. Let q = s - -5. Let u = q + -50. Is u a multiple of 3?
True
Suppose -k = x - 1816, 596 + 3032 = 2*k + 3*x. Suppose n + 458 = a, 0*a = 4*a + 2*n - k. Is a a multiple of 11?
False
Let u(c) = -2*c**3 - 46*c**2 + 135*c - 176. Is u(-26) a multiple of 2?
True
Suppose 0 = 3*z - 356 + 1331. Is 19 a factor of 14820/z*40/(-6)?
True
Does 2 divide (-25 - (-4282 - 12)) + 5?
True
Suppose b + 244 = 4*b - 5*m, 3*b = 2*m + 256. Let v = 933 + -676. Suppose -b = -5*z + v. Is 23 a factor of z?
True
Suppose p = -4*b + 4*p - 45, -3*b = -5*p + 42. Let v = b - -9. Suppose 4*j - 40 = 4*h + 76, 4*j + 2*h - 146 = v. Does 17 divide j?
True
Let a be (-8)/(-76) - 558/(-114). Suppose 0 = -a*q + 3*q, -4*m - 2*q + 3048 = 0. Is 72 a factor of m?
False
Let x(y) = 84*y**2 - 8*y - 44. Suppose 6*g - 3*g + 3*k + 3 = 0, g = -2*k + 1. Is x(g) a multiple of 11?
False
Let x = 2090 - -3543. Does 43 divide x?
True
Let a = -138 + 284. Suppose -3*m - a = -521. Let u = -38 + m. Does 19 divide u?
False
Suppose -b = 4*g - 11922, -34*b + 32*b + 3*g = -23822. Does 161 divide b?
True
Suppose -5097 = -r + 5*w, 5*w = 59 - 34. Is 36 a factor of r?
False
Let a = -3 - -6. Suppose -4*d + 912 = 3*y, -1241 = -5*y + 5*d + 244. Suppose a*c + 5*w = y, -2*c - 38 + 236 = 4*w. Is 31 a factor of c?
False
Let k(m) = -m**2 - 16*m + 9. Let n be k(-14). Let u = 41 - n. Suppose 0 = u*j - 29 - 15. Is j a multiple of 3?
False
Let o(r) = 6*r**3 + 55*r**2 - 137*r + 137. Let u(w) = w**3 + 11*w**2 - 27*w + 27. Let p(b) = 2*o(b) - 11*u(b). Is p(12) a multiple of 7?
False
Let x(b) = 54*b**2 + 26. Let l(t) = t**2 + 18*t - 323. Let p be l(11). Is x(p) a multiple of 12?
False
Suppose -9*z = -12*z + 6. Suppose -2*o - z*o = -44. Suppose 8*p = o*p - 258. Is 13 a factor of p?
False
Let l(p) = -61*p**3 - 80*p - 231. Is l(-3) a multiple of 72?
True
Let d(q) = 2*q**3 - 7*q**2 - 4*q - 3. Suppose 4*j - s = 3*s - 136, 2*j + 65 = s. Let t = -25 - j. Is d(t) a multiple of 15?
False
Suppose -4*a = 5*i - 126853, 3*i - 113129 = -4*a + 13722. Is 7 a factor of a?
False
Let b be (8 + (-4)/4 - 3)*1. Let c be (149 + (0 - -4))*b/12. Let d = 112 - c. Is d a multiple of 4?
False
Let x(q) = -q**3 + q**2 - 6*q + 230. Let a(p) = p**3 + p**2 + 3*p + 3. Let w be a(-1). Is x(w) a multiple of 20?
False
Let i be (392/126)/(2/9). Is i/(-1*2 - 4340/(-2139)) a multiple of 35?
False
Let r be (94/4)/((-13)/(-26)). Let k = -45 + r. Is (-126)/14*(-2)/k a multiple of 9?
True
Let w(f) = 10*f - 32. Let m(c) = -11*c + 33. Let q(r) = -6*m(r) - 7*w(r). Let k be q(6). Suppose -525 = -4*a + 3*y, -a - k*y + 136 = 2*y. Does 33 divide a?
True
Suppose -439 = -5*x + 3*v, -3*x + v + 99 + 162 = 0. Let r = -57 - x. Let u = r - -271. Is u a multiple of 32?
True
Does 31 divide ((-44359)/42)/(28/(-168))?
False
Let b = 138 + 2. Let h = -86 + b. Is 9 a factor of h?
True
Let q = -181 + 180. Let j be (-5)/15 - 17390/(-6). Is (-10)/(-8) + q - j/(-24) a multiple of 11?
True
Let u be 204/9 - 5/3. Suppose -2024 = -u*n + 8497. Is 4 a factor of n?
False
Let y(z) = -27*z + 3. Let m(h) = 53*h - 6. Let a(r) = -6*r - 30. Let d be a(-6). Let x(n) = d*m(n) + 11*y(n). Does 11 divide x(4)?
False
Let a = 7075 + -3671. Suppose 8*v - a - 2580 = 0. Does 22 divide v?
True
Let p be 2/(-8) + (-74)/(-8). Suppose -p*v = -6*v + 15. Does 32 divide -1 + v/(10/(-66))?
True
Let c(x) = x**3 + 12*x**2 + 20*x + 14. Suppose 104 + 13 = -13*k. Is c(k) a multiple of 18?
False
Let g(s) = 6*s**2 - 3*s - 2. Let p be g(-1). Suppose 5*w - 528 = -p*w. Does 22 divide w?
True
Let t = 945 + -746. Let h = 649 - t. Does 15 divide h?
True
Suppose 0 = 40*a - 37*a + 16*a - 205466. Is a a multiple of 12?
False
Let x(j) = -35*j**3 - 15*j**2 + 15*j + 90. Does 130 divide x(-6)?
True
Let d(q) = 476*q**2 + 23*q - 205. Is 46 a factor of d(4)?
False
Let w = 123245 + -77367. Is w a multiple of 203?
True
Let n = 6100 + -4699. Is n a multiple of 23?
False
Let j = -259 + 393. Let k = -21 + j. Does 5 divide k?
False
Suppose -5*m + 15 = -3*h, 3*h = -m - 5 - 10. Suppose m = 5*t + 6*t - 1452. Suppose 137*b = t*b + 165. Does 10 divide b?
False
Suppose 0 = -2*x + 4*y - 1138 - 3776, x + 5*y + 2436 = 0. Let r = -1648 - x. Does 11 divide r?
True
Let h(z) = 2*z + 6. Let n be h(4). Let d be 2446/n - (-16)/56. Suppose 3*t = -4*v + d, 0*v + 4*v - 5*t = 135. Does 8 divide v?
True
Let c(w) = 239*w - 36. Let v be c(5). Let x = v - 166. Does 23 divide x?
False
Let w = 64 + 1414. Let z = w + -787. Is 16 a factor of z?
False
Let n be 111*((-100)/(-15))/5. Suppose 664 = 3*x + n. Does 10 divide x?
False
Let z be (6/(-4))/(3/(-18)). Let p(k) = k**3 - 8*k**2 - 19. Let v be p(z). Is (68 + 0)*31/v even?
True
Is 13 + (-793)/52 - 289138/(-8) a multiple of 10?
True
Suppose 2*r = -4 + 10. Suppose -r*x - 16 = -7*x, -4*a - x = 16. Does 4 divide (-1)/a + (-756)/(-20) + 0?
False
Let y be 669/(-21)*-2 + (-2)/(-7). Is 8 a factor of y/(-4)*(-6 - 5)?
True
Let a(z) = 5*z - 22 - 4*z + 7*z. Let n(p) = 3*p**2 - 17*p - 9. Let s be n(7). Is a(s) a multiple of 13?
True
Does 250 divide (-5)/(-3)*778980/50?
False
Let h(a) = 67 - 31 + 6*a - a**2 - a**3 - 48. Let r be h(-7). Suppose -r = -5*i - 90. Does 5 divide i?
True
Suppose -10*q = -3*q - 2142. Suppose -6*z = -q + 54. Suppose -z = -f + 48. Is 9 a factor of f?
True
Let q = -497 + 504. Suppose -q*r - 5760 = -27*r. Is 8 a factor of r?
True
Suppose 78 = 4*d + 10. Suppose d*m - 3080 = 7*m. Is m a multiple of 11?
True
Let p be (-15)/27*3*-9. Let h(f) = -24*f + p*f + 17*f - 12. Does 20 divide h(9)?
True
Let u(k) = 59*k - 19. Let o(i) = -176*i + 56. Let n(x) = 3*o(x) + 8*u(x). Is n(-4) a multiple of 16?
True
Let m = 18366 - 2536. Is 10 a factor of m?
True
Let j(x) be the third derivative of -7/12*x**4 + 2/3*x**3 + 14*x**2 + 0 + 0*x. Does 14 divide j(-4)?
False
Let t(y) = 3*y - 3. Let j be t(3). Suppose 21 = -j*n + 21. Suppose n = 5*d - 48 - 162. Does 2 divide d?
True
Let p = 2929 - -4771. Is 70 a factor of p?
True
Suppose 465*v - 234 = 439*v. Let b be -48*(-1 - (-1)/2). Let k = b + v. Does 33 divide k?
True
Let a(k) = -k**2 + 4*k + 5. Let q be a(4). Suppose -4*f = -6*f - 2*y + 1048, q*f - 2656 = 4*y. Suppose -73 = 5*g - f. Does 13 divide g?
True
Let m = 141 - 130. Suppose -m*a + 51 + 2325 = 0. Is 24 a factor of a?
True
Suppose -3*t = 2*v 