be p(1). Suppose -12*l + 465 = -y. Does 5 divide l?
False
Is (-905 - 1*(1 - 0))*98454/(-3228) a multiple of 61?
True
Let v(s) = -s**2 - 51*s + 78. Let m = 206 + -232. Is v(m) a multiple of 14?
True
Let l(j) = -37*j + 118*j - 57*j + 2. Let n be l(1). Suppose v - 16 = n. Is v a multiple of 7?
True
Is (-124)/558 - (-43908)/27 a multiple of 37?
False
Suppose 0 = 94*c - 106*c + 60. Suppose -u = 2*h - 1241, 0 = -5*u + c*h + 4645 + 1515. Is 19 a factor of u?
True
Let s(v) = -2*v - 375 - 9*v + 355 - v**2. Let t be s(-8). Is 65 - (-1 - t/4) a multiple of 29?
False
Suppose -1931*n + 1933*n = 12862. Is n a multiple of 73?
False
Suppose 7*c = 18*c - 22. Does 43 divide (c/(-1) - -1)/((-70)/4900)?
False
Is 13 a factor of ((-237)/395)/((-3)/34740)?
False
Is 173 a factor of (694/(-8) + (-175)/(-700))/((-1)/430)?
True
Let l = 1023 + -110. Suppose 0 = 4*d + 2*h - 1214, 0 = 3*d - 0*d + h - l. Is 9 a factor of d?
True
Let b = -514 + 2493. Suppose -b = -20*l + 1341. Does 89 divide l?
False
Does 54 divide (-13)/(-52)*(92177 - 13)?
False
Let m(y) = -4*y**3 - 70*y**2 - 40*y + 78. Is m(-26) a multiple of 26?
True
Let a(c) = 10*c - 154. Let f be a(15). Let h(o) = -92*o - 113. Does 5 divide h(f)?
True
Let p = 112 - 82. Suppose 4*h + p = 9*h. Suppose c = 2*a + h*c - 40, 4*a + 2*c - 64 = 0. Is 3 a factor of a?
True
Let h(y) = y**2 + 81*y + 1135. Is 15 a factor of h(-72)?
False
Let s(z) = z**2 + 34*z - 70. Let g be s(-36). Is -201*(-3 + g) - 3 a multiple of 33?
True
Let h(c) = 5*c**2 - 3*c + 22. Let j be h(-9). Let o = j + 646. Does 22 divide ((-6)/(-15))/(1105/o - 1)?
True
Suppose -4*s - 3*d = 64, 4*s + 77 = d - 3. Let v = -38 - s. Let p(z) = 2*z**2 + 25*z - 2. Does 31 divide p(v)?
False
Is 71 a factor of 105207/6 - (-4 + (-15)/(-50)*5)?
True
Let v be (-1)/(-1) - (0 - -3). Let j be (-621)/(-9) - (-8)/v. Let x = 73 + j. Is 46 a factor of x?
True
Suppose -5*d - 780 = -180. Let k = 120 + d. Suppose k = -18*n + 2831 - 41. Is 19 a factor of n?
False
Let d(o) = 692*o**2 - 195*o - 2. Is d(2) a multiple of 11?
True
Let n(i) = -i**3 + 4*i**2 - 9*i + 11. Let a be n(5). Let x = a + 62. Suppose v - 2*g = -v + 6, -x*v + 2*g = -11. Is v a multiple of 2?
False
Let v(u) = -5*u + 40. Let i be v(8). Suppose i = 9*q - 152 - 415. Is q a multiple of 9?
True
Let c = -78 - -96. Let z(u) = -10*u**2 + 13*u**2 + 20 - c*u - 6. Is 29 a factor of z(8)?
False
Let o = -22407 - -26567. Is o a multiple of 13?
True
Let f(c) = c**2 - 8*c - 22. Let k be f(-10). Suppose 3*v + 260 = 5*s - 2*v, k = 3*s - v. Does 20 divide s?
False
Let r = 1506 - 678. Suppose 13*n - 11*n = r. Is 18 a factor of n?
True
Let a = 201 - 198. Suppose c + 4*m - 151 = 0, a*c + 5*m = m + 493. Does 23 divide c?
False
Let u = 829 - -3036. Is u a multiple of 156?
False
Let i(n) = 1640*n**2 - 2*n + 28. Does 20 divide i(-3)?
False
Let u be (-3092)/(-5) - (16/(-10) + 2). Suppose -6*n - u = -1518. Suppose -n = -95*t + 94*t. Is 13 a factor of t?
False
Suppose 3*g + 3*g = 2*g. Let m(d) = 7*d - 13. Let l be m(3). Suppose g = -l*o + 142 + 10. Does 2 divide o?
False
Suppose -2*b = -3*l + 5 - 0, -4*l + 10 = -b. Let g(m) = -54 + b + 5 + 6*m. Does 6 divide g(19)?
False
Let q = 529 + -704. Is 25 a factor of (-3 + 1)*5*q?
True
Suppose -175*a + 90246 = -340*a + 171*a. Is a a multiple of 7?
False
Suppose -3*o = -2*f + 756, -23*f + 1959 = -18*f + 4*o. Is f even?
False
Let z(c) = -c**2 + 12*c + 6. Suppose 0 = -3*d + 4*d - 6. Let s = 13 - d. Is z(s) a multiple of 7?
False
Suppose -m - 9 = 2*m. Let d be 10/8*24/(-18)*m. Let b = 29 - d. Does 20 divide b?
False
Let w = -55 + 55. Suppose w = 2*o - 130 - 118. Suppose 81 = 5*s - o. Is s a multiple of 4?
False
Suppose 0 = -4*w, 7*k - w - 1665 = 4*k + 8*w. Is k a multiple of 14?
False
Let u(d) = -3*d + 29. Let o be u(-18). Let c = -116 + o. Let j = -8 - c. Is 2 a factor of j?
False
Let l(r) = -r**2 + 6. Let p be l(3). Let i(u) = 4*u**2 - u + 9. Let d be i(p). Is 13 a factor of ((d/9)/8)/((-4)/(-78))?
True
Let j(a) = a**2 - 22*a + 11. Let k be j(-11). Suppose 2*i = -f + 374, -i - k = -3*i - 3*f. Is 12 a factor of i?
False
Let k = 88090 - 48868. Is 29 a factor of k?
False
Let b = -408 + 736. Let r = 645 - 451. Let o = b - r. Is 38 a factor of o?
False
Let f = -787 + 1793. Suppose 4*w - f = -y, 4*y - 2*w = w + 4024. Is 56 a factor of y?
False
Let o = 35944 + -7200. Does 9 divide o?
False
Let w(g) = 2*g + 5. Let m be w(5). Let d = -283 - -238. Is 11 a factor of (-2)/m - 5451/d?
True
Let b(f) = 37*f**2 - 21*f + 74. Does 10 divide b(11)?
True
Let y(h) = h**2 - 55*h - 125. Is 11 a factor of y(76)?
False
Let f = -8 - -24. Let m = f + -49. Let c = m + 52. Is c a multiple of 3?
False
Let l(z) = -6*z**3 - 2*z**2 - 3*z. Let p be l(-1). Let c(r) = r**3 + r**2 + 59*r - 8. Is c(p) a multiple of 23?
False
Let r = 395 + -371. Suppose -6112 - 2288 = -r*x. Is x a multiple of 10?
True
Suppose -17*r + 15*r = 0. Suppose -2*o + 7 - 7 = r. Suppose o = 69*d - 66*d - 63. Does 9 divide d?
False
Does 3 divide 1160/(-84)*-7*144/10?
True
Let r(u) = -150*u**3 - 14*u**2 - 2*u - 6. Is r(-2) even?
True
Suppose 3*y = 5*q + 9482, 3172 = -124*y + 125*y + 4*q. Does 6 divide y?
False
Suppose 4*k - 20179 = -5*i + 26717, 3*k + 18 = 0. Does 24 divide i?
True
Is 17 a factor of 676 - ((2/(-4))/((-7)/14) + -5)?
True
Let x = 12 - 7. Suppose x*m - 180 - 313 = 4*t, 190 = 2*m + 2*t. Is m a multiple of 31?
False
Does 5 divide 4/(17110/8545 + -2)?
False
Let z(j) = -93 + 86 - 3*j + 17*j. Let q be z(6). Let i = -32 + q. Is i a multiple of 4?
False
Let u(i) = i**3 + 21*i**2 + 19*i - 26. Let p be u(-20). Is 63 a factor of (p*1)/((-5)/95)?
False
Suppose -5*n + 21 = -2*v - 37, -4*n - 2*v = -32. Suppose 15*m + 50 = -n. Is 24 a factor of (m/6 - 596/(-12)) + -1?
True
Let x = 2546 + 9214. Is x a multiple of 14?
True
Let c = 72 + -69. Suppose 4*u - 1648 = -u - o, -c*u + o = -992. Does 11 divide u?
True
Let j be -1*5*23 - -2. Suppose 16 = -d + 2*l, -l - 3 = -0. Let n = d - j. Is 13 a factor of n?
True
Suppose -2*l = -2*a + 63090, 7*l + 31509 = -33*a + 34*a. Is 15 a factor of a?
False
Suppose 2*j + 3*j - 70 = -5*d, -j - 82 = -5*d. Suppose 3*i - 22 = -d. Is (-2)/(i/(-4) - 729/(-1482)) a multiple of 27?
False
Suppose 3*w - 4*w + 11 = 3*x, -3*w = -2*x - 11. Suppose 2*j = x*g + 3*j - 179, -3 = -j. Does 11 divide g?
True
Let i = -28013 - -30499. Does 22 divide i?
True
Let f be (-6)/(-7) + (990/42)/(-3). Let t(s) = 10*s**2 - s + 59. Is 9 a factor of t(f)?
False
Let n(i) = 9*i**3 + i**2 + 8*i + 42. Let j be n(7). Suppose j = -20*k + 42*k. Is 13 a factor of k?
False
Let y(d) = -d**3 - 32*d**2 + 117*d + 87. Let o be y(-35). Let q = o - -861. Is q a multiple of 66?
True
Let l(v) = -v**3 - 5*v**2 + v - 4. Let i be 66/(-8) - (-1)/4. Let y be l(i). Let j = y + -69. Is j a multiple of 32?
False
Let n(z) = 19*z - 110. Let v be n(11). Suppose 5*j + 159 = 4*w - 264, j - v = -w. Is w a multiple of 9?
False
Let n be (1/(10/4))/(2/20). Suppose -y + 3*d + 230 = 0, n*y + 4*d = 5*y - 235. Is y a multiple of 16?
False
Suppose -69*g = -71*g + 1958. Let d = g - 898. Does 2 divide d?
False
Let k = -14516 - -29364. Suppose 170 = 4*n - 2*u, 486*n + 5*u = 481*n + 205. Does 2 divide (-4)/n + k/672?
True
Let p = 9 - 27. Let q = p + 20. Suppose -5*j = -0*r - 3*r - 394, q*r + 316 = 4*j. Is j a multiple of 17?
False
Let d(b) = -6*b**2 + b + 1. Let p be d(-1). Let z = -52 - p. Let y = z - -133. Does 12 divide y?
False
Let s = -2734 - -10734. Is 5 a factor of s?
True
Let c be (-2)/14 - -2*(-224)/(-49). Let n(u) = -9 + 2*u**2 - 3*u - 2*u + 0*u + 13. Is n(c) a multiple of 24?
False
Let t(p) = 3*p**3 + 7*p**2 + 11*p - 17. Let o be t(-6). Let q = -13 - o. Is 26 a factor of q?
False
Let o(g) = -g**3 + 2*g**2 + 10*g - 1. Let l be o(4). Suppose 8*w - 420 = -l*w. Is w a multiple of 14?
True
Is -6*((-189794)/44 - -1) a multiple of 241?
False
Let o(z) = z**3 - 2*z + 7. Let u be o(5). Suppose -32*s + 31*s = -u. Is s a multiple of 7?
False
Let b(o) = -197*o**3 - 5*o**2 - 26*o - 47. Is b(-2) a multiple of 40?
False
Let i(t) = t**3 + 23*t**2 - 81*t - 221. Is i(-20) a multiple of 113?
True
Let f(d) = -3*d**3 + 17*d**2 - 5*d - 24. Let j be f(7). Let m = j + 520. Is m a multiple of 53?
True
Let r be 6/9*18/4. Suppose -7283 = -3*i + d, -i = r*d - 1455 - 966. Suppose -i + 472 = -17*u. Is 23 a factor of u?
True
Let c(x) = -x**2 -