 973. Does 61 divide x?
True
Let a(c) = c**2 - c - 14. Let w be a(-7). Let d = w + -15. Is d a multiple of 8?
False
Suppose 4*p - 1999 = -o, -1997 = -4*p + 3*o - 6*o. Is p a multiple of 100?
True
Let u(y) = 3*y**2 + 58*y - 109. Does 3 divide u(-22)?
False
Suppose 143 = 5*g + 43. Is 2 a factor of g?
True
Suppose 0*n + 4*n = -344. Let k = 114 + n. Does 4 divide k?
True
Let l be (-4)/10 - (-48)/20. Suppose 0 = 3*g + 3*h - 33, 2*g + 2*h + l*h - 20 = 0. Does 5 divide g + (0/4 - 2)?
True
Let v(s) be the second derivative of s**5/20 - 5*s**4/6 - s**3/2 - 5*s**2/2 + s. Let r be v(7). Let h = -106 - r. Is h a multiple of 18?
False
Let a = -15 + 18. Suppose 14 = a*v - 1. Suppose 0 = c - 5*t + 2*t - 18, 0 = v*c + 5*t - 50. Is c a multiple of 4?
True
Let p = 1732 - 1423. Does 103 divide p?
True
Suppose 5*p - 2 - 18 = 0. Is 27 a factor of p/(-10) - (-2056)/40?
False
Let g(z) = 8*z + 14. Let t be 316/12 - (-8)/12. Suppose -3*k = -j + 4*j - t, 5*j - 9 = k. Is g(k) a multiple of 9?
False
Let p = 67 - 172. Let a = -12 - p. Is a a multiple of 22?
False
Let b = -41 + 41. Suppose f + 202 = 2*u + u, -f + 2 = b. Does 12 divide u?
False
Let s(h) = -h + 4. Let c be s(5). Suppose -4*o - 109 = -r + 4, -5*o = 4*r - 389. Let w = r - c. Is 34 a factor of w?
True
Is 20 a factor of (-5)/((-25)/4655) - -9?
True
Let n = 3 - -4. Suppose -b - n = -f + 126, -f = b - 133. Suppose 5 = y, 0 = -4*v - 4*y - 9 + f. Is v a multiple of 13?
True
Does 5 divide ((-310)/(-40))/(6/72 - 0)?
False
Suppose a - 2*a + 512 = o, 4*a - 2046 = -5*o. Does 14 divide a?
False
Let n = -973 - -2241. Is n a multiple of 10?
False
Let c = -12 + 8. Is 8 a factor of (-166)/c + (-5)/(-10)?
False
Let i = 939 + -2541. Is 20 a factor of 48/(-9)*(3 - i/(-24))?
True
Suppose -37*d - 128 = -41*d. Is 6 a factor of d?
False
Let o be (0 - -1)/((-11)/(-22)). Suppose -o*s - 5*f + 0*f = -140, 0 = 4*s + 5*f - 270. Is 13 a factor of s?
True
Suppose -3*m = -0*m - 864. Let j be (m/30)/(1/(-5)). Let s = j - -72. Is s a multiple of 8?
True
Let w(v) = -11*v**2 + 25*v - 6. Let d(m) = -5*m**2 + 13*m - 4. Let n(h) = -13*d(h) + 6*w(h). Is n(-7) a multiple of 20?
True
Suppose -3*l = -2*n + 29 - 1786, 0 = -2*l + 5*n + 1153. Is l a multiple of 19?
True
Let c(i) = 9*i**2 + 2*i + 12. Is c(6) a multiple of 29?
True
Suppose 42 = -7*v + v. Let r(z) = -3*z**3 + 14*z**2 - 4*z - 10. Let p(l) = -l**3 + 7*l**2 - 2*l - 5. Let i(m) = 5*p(m) - 2*r(m). Is i(v) a multiple of 3?
True
Suppose q + 3*q - 32 = 0. Is 12 a factor of (q/20)/(4/1920)?
True
Suppose -5*h - 2*s - 775 = -2, 0 = -4*h + 2*s - 604. Let a = 225 + h. Does 12 divide a?
True
Suppose -x = -3, -2*v - 3*x = -0*x - 47. Let m = v + -13. Suppose 141 = 3*h - 3*s + m*s, 0 = 3*h + 4*s - 145. Does 19 divide h?
False
Suppose -2*p + 4*h = -176, -3*p + 337 = -4*h + 73. Is 11 a factor of p?
True
Suppose 4*x + 4*y = -4, -3*x - 13 = -y - 2. Let l = 15 + x. Suppose 2*d = -l + 134. Is d a multiple of 11?
False
Suppose x + 3*r = 4 - 12, -3*x + 2*r = -20. Suppose l - x*w = 0, 1 = 2*l - 5*w - 2. Does 4 divide l?
True
Let q = -962 - -1364. Is q a multiple of 5?
False
Let o = 53 + -47. Is 12/16*o*20 a multiple of 18?
True
Suppose -2*p + 7 = -5*w, -2*p - p - 17 = -2*w. Let t(q) = q**3 + 11*q**2 + 6*q - 6. Does 13 divide t(p)?
False
Suppose 3*a = -5*n + 17643 - 3610, -4*n = 20. Is 11 a factor of (-3)/18 - a/(-36)?
False
Let h be 4/(-18) + (-11)/(-9). Suppose 136 = 21*u + 52. Suppose u*r - 36 = -2*c, 3*c - h - 59 = -3*r. Is 11 a factor of c?
True
Suppose y + 7 = 10. Suppose y = -4*m + 43. Does 8 divide (44/m)/((-2)/(-10))?
False
Let w(n) = 2 + 1 + 2*n + 0 - 12*n. Let y be w(-3). Suppose 243 = 5*t + y. Is 6 a factor of t?
True
Suppose -31140 - 14948 = -56*f. Is 36 a factor of f?
False
Let v be -15*6/(-54)*3*1. Suppose a + 56 = v*a. Is 7 a factor of a?
True
Suppose 10*w - 15*w = 5. Is ((3/(-2))/(-3))/(w/(-242)) a multiple of 11?
True
Let w be ((-5)/10)/((-2)/(-4)). Let j be ((-10)/((-6)/(-3)))/w. Suppose 3*x = 4*i - 84, -4*i + j*x + 38 + 38 = 0. Is 12 a factor of i?
True
Let u(s) = s**2 - 4*s + 15. Let q = 98 + -93. Is u(q) a multiple of 16?
False
Suppose -2*s + 27 + 43 = 0. Let i = s - 33. Suppose i*u + 56 = n - u, -u = 3*n - 148. Is 15 a factor of n?
False
Suppose 2*v + 3*g - 747 = -2*v, -v + g + 192 = 0. Does 13 divide v?
False
Suppose s + 4*k - 447 = 423, 4*k = 0. Is s a multiple of 79?
False
Let p be 14 + 3 - (8 + -3). Does 26 divide ((-12)/(-8))/(p/416)?
True
Let k be (-2)/(-8)*16/2. Suppose k*q - 15 = -q. Is 4 a factor of q?
False
Suppose -l - 2*o = 28, l - 4*o - 3 = -1. Let v be l/(-24) - 693/(-4). Suppose -2*h - v - 8 = -3*k, 5*h - 115 = -2*k. Is 21 a factor of k?
False
Suppose 0*n + 3*c = -4*n + 115, -5*n = 2*c - 135. Let r(m) = 2*m**2 + 10*m - 13. Let u be r(-11). Suppose -4*y + n = -u. Is y a multiple of 9?
True
Let i(d) = 3*d + 3. Let h be i(9). Suppose -4*z = -6*z + h. Is z a multiple of 3?
True
Let i(d) = d**3 + 2*d**2 - d + 8. Let n be i(0). Suppose -5*j - n = -68. Is j a multiple of 12?
True
Let u = -743 + 1035. Does 12 divide u?
False
Suppose 22*r + 6429 = 23369. Is 22 a factor of r?
True
Suppose -10*y + 1064 = 46*y. Is 19 a factor of y?
True
Suppose -5*g = 5*f + 5, -2 = -3*g + 3*f + 1. Is (-5 - g)*((-158)/5 + -2) a multiple of 24?
True
Let b(t) = 67*t**2 - 26*t - 13. Is 45 a factor of b(5)?
False
Is (6/33 - (-302)/(-88))*-364 a multiple of 91?
True
Suppose -2*i + 66 = a, 3*i + 2*i + 143 = 3*a. Suppose 5*h - a - 4 = 0. Suppose -3*x + 96 + h = 0. Is x a multiple of 18?
True
Suppose -2*i = 745 - 113. Is 20 a factor of ((-12)/24)/(2/i)?
False
Suppose 3*s = 2*p - 616, -573 = -4*p - 2*s + 659. Is p a multiple of 22?
True
Let n = 389 - -1438. Is n a multiple of 29?
True
Suppose 0 = 3*o - 48 - 168. Let g = o + -26. Does 4 divide g?
False
Let x be (0 - (-1)/3*-1)*6. Let n(w) = -3*w**3 - 3*w**2 + 3*w + 5. Is 11 a factor of n(x)?
True
Let m be 2 - ((1 - 2) + -15). Suppose 133 = m*k - 17*k. Is 6 a factor of k?
False
Let k = 9 + 11. Suppose -x - a + 31 = 0, -4*a = 5*x - k - 130. Is 26 a factor of x?
True
Suppose 0 = 3*o + 3, -t + 4*o + 648 = t. Does 7 divide t?
True
Suppose -3*g + 0*g = 4*z - 269, -5*z - 3*g + 334 = 0. Suppose 0 = -f + 1, 214 = 2*q - 5*f + z. Is q a multiple of 18?
False
Let i(r) = -18*r - 4. Let d be i(-6). Let t = -2 + d. Does 27 divide t?
False
Suppose 0 = -3*a + a. Let u be 75/5*(a - -1). Suppose 2*m - u = m. Is 15 a factor of m?
True
Let b = 2 - 0. Suppose w + 4 = -3*o + 28, -b*o = -10. Does 3 divide w?
True
Let o(a) = -32*a + 4 + 1 - 4. Let t be (-40)/480 + (-11)/12. Is 17 a factor of o(t)?
False
Let t = 247 - -468. Is t a multiple of 65?
True
Let o(t) be the second derivative of -t**4/12 - 2*t**3 - 3*t**2/2 - 5*t. Is 12 a factor of o(-9)?
True
Let y = 17 - -21. Let s = 22 + y. Does 30 divide s?
True
Let z = -19 - -24. Suppose 0 = -4*s + d - 59 + 252, -4*s + z*d + 197 = 0. Is s a multiple of 4?
True
Let y(r) = 18*r**2 + r - 50. Is y(-7) a multiple of 15?
True
Suppose 0 = 2*k + k + 24. Suppose 3*t - 5*d = -19, 2*d - 16 = -4*t + t. Is t/4 - 252/k a multiple of 18?
False
Suppose l = -v + 1073, -3*l - 5*v = 1257 - 4474. Is 60 a factor of l?
False
Suppose -3*q = -7*q + 392. Let d = 231 - q. Is 10 a factor of d?
False
Let w(i) = -39*i - 198. Is w(-22) a multiple of 20?
True
Let u(t) = -25*t**3 - 4*t**2. Does 3 divide u(-2)?
False
Let t be ((-146)/65 + 2/(-13))*5. Let x = t + 89. Does 11 divide x?
True
Let u(h) be the second derivative of 4*h**4/3 - h**3/6 - 8*h. Is u(-2) a multiple of 33?
True
Let h(j) = j - 1. Let d be h(5). Suppose -12 - 4 = -s + 4*g, -4*g = 12. Suppose s*f = d*v - 60, v - 2*f + 1 = 12. Is 5 a factor of v?
False
Let o = 20 + -22. Let f be (-2)/4 + (-155)/o. Does 24 divide f + -2 + (-3)/1?
True
Let s(n) = -4*n - 4. Let k be s(-3). Let u = -99 + 85. Is 15 a factor of u/(-56) - (-342)/k?
False
Suppose 3*p - 23 = -z, 4*z - 57 = 2*p - 7*p. Let q(c) = c + 1. Let s(h) = -h**2 + 8*h + 3. Let f(y) = 2*q(y) + s(y). Is 7 a factor of f(z)?
True
Let j(h) be the third derivative of 4*h**5/15 + h**4/4 - 4*h**3/3 - 13*h**2. Is 15 a factor of j(2)?
False
Let v(m) = m. Let h(l) = 12*l + 3. Let f(w) = 2*h(w) - 6*v(w). Does 14 divide f(2)?
True
Let v = -745 + 3932. Is v a multiple of 23?
False
Let f be 4 - ((-10)/(-2) + -4). Is -360*(f + 7/(-2)) a multiple of 12?
True
Let a(i) = -7*i**2 - 