3)*(-11 - 696/(-72)) a multiple of 83?
False
Let l = 1224 + 729. Does 31 divide l?
True
Let g be (-2)/((-2)/247) - 0. Let f = 53 - 225. Let j = g + f. Does 8 divide j?
False
Let s(i) = -5*i**3 + 12*i**2 - 2*i + 5. Let f(o) = -6*o**3 + 13*o**2 - 2*o + 5. Let n(x) = -4*f(x) + 5*s(x). Suppose -v = 2 - 9. Is n(v) a multiple of 8?
True
Suppose -21*i + 5 + 37 = 0. Let t(c) = 215*c - 50. Is 13 a factor of t(i)?
False
Suppose -2*g - 19057 = -6*g + 3*k, 0 = 3*g - 4*k - 14291. Does 5 divide g?
True
Let m(k) = 5*k + 4. Let l be m(2). Let x = -20 + l. Does 6 divide x*(4 + (-22)/4)?
False
Suppose -2*v + 4*c = 68, -4*v - 6*c = -8*c + 106. Is 22 a factor of 6/v - (-1058)/(-8)*-1?
True
Let w(o) = o**2. Let q(f) = -4*f**2 - 28*f - 8. Let g(n) = -q(n) - 2*w(n). Let y be g(-14). Suppose -14*u = -y*u - 1110. Is 37 a factor of u?
True
Let h = 1 - -2. Let c(g) = -9*g - 48. Let v be c(-15). Suppose 5*k = r - 13, h*r + 2*k - v + 31 = 0. Is 4 a factor of r?
False
Is 15 a factor of (-8*(33539/(-2))/(-11))/(-2 - 0)?
False
Let b(a) = -67*a - 1203. Is b(-29) a multiple of 4?
True
Does 10 divide 37170/(-28)*(8 + -12)?
True
Suppose 5*f - 3*f - 226 = -2*i, 0 = -i - 4*f + 113. Let d = i - -303. Is 8 a factor of d?
True
Suppose 0 = 11*v - 4957 - 7669 - 1069. Is 15 a factor of v?
True
Let j(f) = f**3 + 12*f**2 + 10. Let r be j(-9). Let w = 510 - r. Suppose 0 = 5*o - 338 - w. Is o a multiple of 18?
False
Let v = -46 + 58. Suppose 9*g - v = 6*g. Suppose c - 16 = -4*k, g*c - 2*k + 27 - 109 = 0. Is c a multiple of 9?
False
Suppose -57 = -2*t + 115. Let z = -131 + 143. Suppose 0 = -2*n + z + t. Does 17 divide n?
False
Let z(m) = 3125*m**2 + 20*m - 41. Is 10 a factor of z(3)?
False
Suppose g + 2*w - 5269 = -1766, -14047 = -4*g - w. Is 51 a factor of g?
False
Let g = -162 - -266. Let i = -44 + g. Is i a multiple of 12?
True
Is 12 a factor of (135 + -7)/(-16) + 9460?
False
Suppose -5*y + 3*k - 7275 = 0, -2*k - 3039 = 3*y + 1307. Is 55 a factor of y/(-99)*(0 + 30/4)?
True
Suppose -624*y - 4 = -626*y. Let v(i) = i**2 - 11*i + 4. Let h be v(13). Is (20/50)/(y/h*1) a multiple of 6?
True
Let b = 461 - 940. Let w = b - -815. Let g = -228 + w. Does 49 divide g?
False
Let l = 140 - 131. Suppose 4*y - 5*f + 13 = y, -4*f + l = -y. Does 8 divide 48 + (-2)/y*(-10)/20?
False
Suppose 2*p = -5*m + 12, -3*p - m = -36 - 8. Suppose -6*z + p*z = 3300. Does 30 divide z?
True
Let m be ((-64)/(-56))/((-2)/(-7)). Suppose 0 = 5*l + 4 + 1, 0 = m*u - 5*l - 565. Is 58 a factor of u?
False
Let v(z) = 20 + 22*z - z**2 - 2 - 24. Is 2 a factor of v(20)?
True
Let d(f) = f**3 - 49*f**2 + 105*f + 72. Let g be d(49). Suppose -4*s = 3*w - g, 118 = 2*s + 3*w - 2483. Does 109 divide s?
True
Let i = 3685 - -9923. Is i a multiple of 189?
True
Let s(a) = -a**3 - a**2 + a - 1. Let v(p) = -3*p**3 + 34*p**2 + p + 69. Let h(z) = -4*s(z) + v(z). Does 11 divide h(-38)?
True
Suppose 538*a + 2766 = 532*a. Let b = a + 792. Does 12 divide b?
False
Let r be 1*(60/(-12) - (-1 + -6)). Suppose 2*g - 720 = 3*l, r*g - 720 = l - 2*l. Is 30 a factor of g?
True
Let q(u) = -u**2 + 6*u - 8. Let n be (-1)/(-2)*(7 - (-7 + 8)). Let v be q(n). Is 5 a factor of (-9)/15 + (594/15)/v?
False
Let w(u) = u**3 + 14*u**2 - 84*u + 25. Let c be w(-20). Let s = c - -796. Is s a multiple of 6?
False
Suppose 4*c - 3105 - 11283 = 0. Is 33 a factor of c?
True
Suppose 5*l - 104 = l. Let k = l - 32. Is 38 a factor of 458/6 + k/18 + 0?
True
Let w(t) = t**2 + 71*t - 318. Is 32 a factor of w(54)?
True
Suppose 0 = -j + 31 - 44. Let l(s) = 5*s**2 + 33*s + 22. Is 6 a factor of l(j)?
True
Suppose -1425*r = -1429*r + 18400. Is r a multiple of 23?
True
Suppose 9*q = 13*q - 20. Suppose 4*j + 556 = -q*c + 10*c, -5*j = -5. Is 8 a factor of c?
True
Let v = -76695 - -150358. Is 17 a factor of v?
False
Suppose 5*i + 23 = -7, -2*j - 5*i = -6834. Is j a multiple of 58?
False
Let n(a) = -3*a + 35. Let m be n(11). Suppose -604 = -5*p + u - 3*u, -m*p + 250 = -2*u. Suppose -v - 4*x + p - 31 = 0, 3*x = 0. Does 7 divide v?
True
Suppose 17*y = 349680 - 251002 + 302777. Is 92 a factor of y?
False
Suppose 0*s - 7*s = -28. Let d be 77/(((-8)/(-26))/s). Suppose 4*h = 11*h - d. Does 21 divide h?
False
Is 11 - (-15 - 4247 - -1) a multiple of 24?
True
Let w(s) = -3*s**2 + 15*s + 5. Let o be w(5). Suppose -2374 = -4*a - o*v + 1545, 4877 = 5*a - v. Suppose -241 = 5*b - a. Is 21 a factor of b?
True
Suppose 1849*g = 1835*g + 90958. Does 281 divide g?
False
Let q = 693 + -427. Suppose -y + q = -0*y. Is y a multiple of 19?
True
Is (-259*(-28)/(-196))/(2/(-1546)) a multiple of 37?
True
Let a be (-2)/3 - (-2)/3. Suppose -2*i + 6 = 4*s, 0 = -4*s - 5*i - 7 - 2. Suppose a = s*k - 278 - 550. Is k a multiple of 33?
False
Let r(c) = 12*c - 37. Let p be r(5). Let s = p - -11. Is s a multiple of 22?
False
Let g(u) = 16*u - 20. Let v be -9*(10/(-45) - (-75)/(-27)). Suppose 5*l - v + 2 = 0. Is g(l) a multiple of 10?
True
Is 41 a factor of (120/(-140))/(6/(-11606))?
False
Suppose 70 = 29*s - 46. Let y(r) = 24*r - 43. Is y(s) a multiple of 4?
False
Suppose 5*h = 5, h + 1465 - 166 = r. Is 2 a factor of r?
True
Suppose 16*a - 15*a - 3*h = 8, 8 = 3*a - 5*h. Let k(p) = -6*p**3 - 5*p**2 - 16*p - 26. Is k(a) a multiple of 6?
True
Suppose 352133 + 1124731 = 384*i. Does 59 divide i?
False
Let r(t) = 7*t**2 - 6*t + 4. Let o(y) = -13*y**2 + 12*y - 7. Let m(h) = 6*o(h) + 11*r(h). Let u be (3/2)/((-24)/(-64)). Is 5 a factor of m(u)?
True
Is 63 a factor of (-6 - (-23715)/(-63))*(-9 + 2)?
False
Suppose m = 8*m. Suppose 5*a - 11*a + 12 = m. Suppose -4*x = -4*q + 660, q - 5*x + a*x = 167. Is 30 a factor of q?
False
Suppose u = 4*t + 34, -5*u = -3*t - 6*u - 29. Does 31 divide 68 + (t/24 - (-3)/8)?
False
Let u(r) = -736*r + 160. Is u(-5) a multiple of 6?
True
Let u be (407/77 - 5)*-42. Let c = -12 - -18. Is u/(-8)*(-1 + 358/c) a multiple of 8?
True
Let f = -113 + 110. Let p(h) = 70*h + 66. Let q(u) = 23*u + 22. Let s(g) = f*p(g) + 8*q(g). Is 13 a factor of s(-4)?
False
Does 77 divide ((-1824)/(-144))/((-6)/(-4) - 43641/29106)?
True
Suppose -1755 - 1815 = -2*x - m, -5*m = 5*x - 8940. Is x a multiple of 18?
True
Is (-324)/180 - (-44052)/15 a multiple of 33?
False
Let j(a) = 62*a**2 + 3*a + 1. Suppose -6*i + 3*i = -3. Is 6 a factor of j(i)?
True
Let h(p) = 8*p**2 + 221*p + 219*p - 444*p + p**3 - 2*p**3 - 3. Does 15 divide h(7)?
False
Let k = -5636 - -13065. Suppose 25*x - k = 6*x. Is x a multiple of 3?
False
Let h = -891 + 893. Suppose -93 = -x + h*i, -4*i + 269 = -0*x + 3*x. Is 7 a factor of x?
True
Suppose -32202 = -21*k - 5175. Is 46 a factor of k?
False
Let i(z) = -z**3 - 7*z**2 - 11*z + 3. Let n be i(-3). Suppose n = a + a - 144. Is a a multiple of 2?
True
Let c(s) = -s**3 + 41*s**2 - 7*s + 13. Does 17 divide c(11)?
False
Let p(s) = -s**2 + 8*s + 6070. Does 64 divide p(0)?
False
Suppose 0 = 5*l + 3*n - 19, 0*n - 15 = -5*l - 5*n. Suppose 5*u - l*j + 4 = 2*u, j = u. Does 6 divide u/(-11) + 8008/121?
True
Suppose -5433 - 6177 = -13*m + 22840. Is 57 a factor of m?
False
Suppose 52935 = 4*v - 4*p - 2881, -4*v + 55781 = -11*p. Does 141 divide v?
True
Let b(t) = 268*t - 1052. Does 16 divide b(41)?
True
Let z be ((-7)/(-4))/((91/(-168))/(-13)). Let u = z + -39. Suppose -3*a + 4*l + 254 = 0, u*l - 63 = -6*a + 5*a. Is 25 a factor of a?
False
Is 146626/10 - (39/15 + -3) a multiple of 92?
False
Let q = -10203 - -11077. Is 23 a factor of q?
True
Let p(s) = s**2 + 3*s + 18. Suppose 6*w - 2*w - 2*v - 62 = 0, 29 = 3*w - 5*v. Let t = 13 - w. Does 14 divide p(t)?
True
Let d(h) = 4*h**2 + 7*h + 6367. Is d(0) a multiple of 32?
False
Let p = 77667 - 46547. Does 143 divide p?
False
Let f(o) = 66*o**2 - o + 2*o - 4 + 2. Let w be 3/(-27) + 50/45. Is 17 a factor of f(w)?
False
Suppose 196*l - 13052840 = 13*l - 287*l. Does 53 divide l?
True
Suppose -5*i + 27 - 7 = 0. Suppose i*q - 26 = 2. Suppose -2*d = -q*d + 265. Is d a multiple of 8?
False
Let x be (-4)/28 - (-339)/21. Suppose -x*l + 4761 + 1799 = 0. Is l a multiple of 41?
True
Let q = 324 - 336. Is 462/((q/(-42))/((-4)/(-28))) a multiple of 11?
True
Suppose -474 = -q + 2*l, 4*q - 663 - 1225 = 4*l. Is 5 a factor of q?
True
Let j(m) = -m**3 - 16*m**2 - 8*m + 17. Suppose 0 = -4*s - 12, -9*q + 3*s - 51 = -5*q. Let w be j(q). Let h = 128 + w. Does 10 divide h?
True
Let k(x) = x + 21. Let c = -65 + 71. Le