. Suppose -z = -4*t + o, 2*t + 2*z = -0*t - 8. Suppose b - 98 = 2*y, y + 4*y + 15 = t. Does 5 divide b?
False
Let o be 4 + (-2)/(-5)*5. Let c(f) = o*f - 5 + f + 15*f. Does 21 divide c(5)?
True
Let d(t) = -t - 6. Let n be d(-12). Does 44 divide ((-2)/n)/((-3162)/(-792) + -4)?
True
Let y = 20 + -47. Let o be 77/693 + (-602)/(-9). Let g = o + y. Is g a multiple of 6?
False
Let m be (-2 - 3/(-9))/(30/(-108)). Suppose l - 48 = 22. Is l/(m/9 - (-4)/(-24)) a multiple of 10?
True
Let s(w) = 10*w**2 - 62*w + 48. Does 24 divide s(-24)?
True
Suppose -7*t = -42 + 7. Suppose -y - y = -5*c - 15, 4*y = -t*c - 15. Suppose y = -3*z - 60 + 87. Does 9 divide z?
True
Let j = -950 + 2592. Is 6 a factor of j?
False
Let h = 4015 + -2447. Does 49 divide h?
True
Let q(s) = 363*s**2 - 2*s + 4. Let r be q(-2). Suppose 7*w = 8*w + r. Is 26 a factor of 14/(-91) - w/26?
False
Suppose 41*i - 68055 = 5*i + 21*i. Is i a multiple of 4?
False
Suppose -4*k = -z + 1875, 2*z - 6*z + 7443 = 3*k. Let u = -1131 + z. Does 7 divide u?
False
Suppose 0 = -363*s + 371*s - 27264. Is 8 a factor of s?
True
Let n(m) = m**2 - 9*m - 34. Let c be n(8). Let q(j) = 2*j**2 + 79*j + 15. Does 19 divide q(c)?
False
Suppose 34*d - 2*d - 33152 = 0. Is 37 a factor of d?
True
Does 21 divide 4/(-30) + (-39)/45 - (-2 + -33000)?
False
Let h(o) = -o**3 + 21*o**2 - 24*o + 8. Let l be (1 - -5)*1 - (-2 + 0). Is 18 a factor of h(l)?
True
Suppose -40 = -167*f + 162*f. Let a(d) = 3*d**2 + 5*d - 37. Does 9 divide a(f)?
False
Is (-40)/(-60) - (-25000)/12 a multiple of 3?
False
Let v = 33 - 33. Let z(a) = -2*a**2 + 263. Does 72 divide z(v)?
False
Suppose -2*l + 5*p - 1217 = 0, -4*l - p - 2410 = -3*p. Let w = l - -1521. Does 23 divide w?
True
Suppose 65 - 71 = -6*m. Does 13 divide (-4 - (-241 - 2)) + (m - 6)?
True
Suppose -7 = 9*g + 2. Is 17 a factor of -3 - -44 - (2 - g)?
False
Let w(h) = -155*h**3 + 45*h**2 + 140*h + 1. Is w(-3) a multiple of 6?
False
Suppose -12 = -10*p + 6*p. Suppose -b = -p*m + 121, 4*m + b - 173 = -0*b. Suppose 0 = q + 3*g - 38 - m, -4*q = 5*g - 306. Is q a multiple of 48?
False
Suppose 0 = 2*r - 2*i - 64320, 46094 + 50314 = 3*r + 5*i. Does 13 divide r?
False
Suppose z = 5*u + 2313, -2289 = -z + 19*u - 20*u. Is 23 a factor of z?
False
Suppose 5*r = -5*j - 19185, -2*r + j = 4297 + 3377. Let h = -2586 - r. Is h a multiple of 9?
True
Let x(v) = -2*v**3 + 2*v**2 - 13*v - 11. Is x(-7) a multiple of 6?
True
Let w(v) = v**3 - 10*v**2 + 15*v. Let t = -54 - -56. Suppose 0 = g - 7 - t. Is 21 a factor of w(g)?
False
Let p(w) be the second derivative of -14*w**3/3 - 7*w**2/2 + 3*w. Let q be p(-6). Suppose -x = 5*u - q, 2*x + u + u = 298. Is x a multiple of 18?
False
Let y = 57 + 160. Let o(k) = k**2 + 6*k + 6. Let a be o(-1). Is 12 a factor of -1 + y + 0/a?
True
Suppose 12070 = -0*s + 10*s. Let x = s + -472. Does 28 divide x?
False
Let a(b) be the first derivative of -29*b - 10 + 9/2*b**2. Is a(13) a multiple of 44?
True
Suppose -10 = f - 3*j, 8*f - 3*f = 4*j + 5. Let t(q) = 140*q + 2*q**2 + 4 - 145*q - 1 + 2*q**2. Is t(f) a multiple of 38?
False
Suppose 0 = -2*t + 110 - 454. Let f be (-6)/16 - t/32. Suppose f*v - 16 - 9 = 0, 3*v - 150 = -3*r. Does 26 divide r?
False
Let k be 432/(-44) + 0 - 8/44. Let y(x) = -x**3 - 6*x**2 + 16*x + 14. Is 7 a factor of y(k)?
False
Is (-972)/270*(-150)/1 a multiple of 3?
True
Does 30 divide (-83552)/(-5) + 182/(-455)?
True
Suppose -5*p + 2*z = -53, z = -p - 4*z + 16. Suppose -p = -3*u - 5. Suppose -4*i + 17 + 233 = u*g, 0 = -5*i - 3*g + 311. Is i a multiple of 8?
True
Suppose 126*i - 3306592 - 1518144 = -266*i. Is i a multiple of 223?
False
Suppose 3*l - 2*v - 3 = 0, -4*v + v = -9. Suppose -237 = -l*z + 75. Suppose -4*u = -t - z, -2*t = -6*t. Does 26 divide u?
True
Let d(v) be the second derivative of 89*v**3/6 - 121*v**2/2 - v - 36. Does 5 divide d(9)?
True
Let y = 784 - 780. Suppose 5*d - 5649 = b, -d - d + y*b = -2256. Is d a multiple of 7?
False
Let b(u) = 21*u**2 - 11*u + 20. Let v(y) = y + 13. Let a be v(-9). Is 39 a factor of b(a)?
True
Let z(c) = -18*c**3 - 4*c**2 - 37*c + 6. Is 140 a factor of z(-10)?
False
Let w(v) = 14*v - 41*v + 24*v - 83. Is 3 a factor of w(-43)?
False
Suppose 0 = 5*l - l - 12. Let q(y) be the second derivative of y**5/10 - y**4/6 + 3*y**2 - 108*y. Is q(l) a multiple of 7?
True
Let c = -40 + 35. Let i(a) = -a**2 + a + 32. Let r be i(c). Let h(g) = 50*g**2 - 3*g + 6. Is h(r) a multiple of 20?
True
Let k be (-1)/(1/(-103)) + 2/(-1). Suppose 3*w + 0*w - 12 = 0. Is 28 a factor of w - (-2)/(2/k)?
False
Let z(a) = -7*a**2 + 128*a - 32. Does 8 divide z(14)?
False
Suppose 2324 = 4*o + 2*r, r + 590 = o + 6*r. Let q = -174 + o. Is q a multiple of 58?
True
Let d(y) = -133*y - 315. Is d(-17) a multiple of 37?
False
Does 191 divide (-2)/23 - 5854900/(-230)?
False
Let t(h) = -h - 1. Let d be t(-2). Let u be ((-4)/3)/(((-4)/d)/(-12)). Does 9 divide 542/15 - u/(-30)?
True
Suppose 1 - 187 = -6*t. Suppose -t = -3*c - 10. Suppose -c*y = -5*y - 12. Is y a multiple of 2?
True
Suppose 5*u = 3*m - 309, u + 5*m = -29 - 44. Does 6 divide -1608*4/u - (-8)/(-84)?
True
Suppose -40020 = -26*j - 9336 + 18768. Is 244 a factor of j?
False
Let r(y) = -y**3 + 23*y**2 + 49*y + 10. Let o be r(25). Is ((-3)/(-6))/(o/(-23610)) - -5 a multiple of 11?
True
Let p be (-4)/(-18) + 102/27. Let o(j) = -3 + 12*j + p - 7 + 4. Does 12 divide o(4)?
False
Let o(n) = 9*n**2 - n**3 + 32*n - 2067 + 2054 + 3*n**2. Is 22 a factor of o(14)?
False
Let g = -241 + -170. Let h = -195 - g. Does 18 divide h?
True
Suppose h + 6*t - 1351 = t, -5*h - 5*t = -6655. Does 13 divide h?
True
Let g(n) be the first derivative of -16*n**2 + 7*n - 141. Is g(-2) a multiple of 45?
False
Let v(b) = 38*b + 59 + 92*b - 47. Is v(2) a multiple of 16?
True
Let n(f) = -4*f - 9. Let k be n(-4). Suppose 2564 = k*g - 271. Suppose 12*j = 7*j + g. Does 27 divide j?
True
Let f(r) be the third derivative of -5*r**4/8 + 70*r**3/3 + 188*r**2. Is f(-15) a multiple of 12?
False
Does 9 divide 2/((-56)/(-819))*(-9 - -421)?
True
Let z = -9 - -2. Let v be (-6*(-1)/4)/(z/(-14)). Let s(w) = 66*w - 6. Does 32 divide s(v)?
True
Let k = -3804 + 9012. Is 217 a factor of k?
True
Let b = -186 - -283. Let c = b - 63. Let l = 62 - c. Is 14 a factor of l?
True
Suppose 2*g + g = 6*g. Suppose g = 2*o + 15*k - 10*k - 464, 0 = 3*k. Is o a multiple of 5?
False
Let m = -688 - -694. Is (-49)/14*-206 - -1*m a multiple of 16?
False
Let j(h) = 2*h**2 + h - 1. Let q be j(-2). Let x(n) = 29*n - 17. Is x(q) a multiple of 14?
False
Suppose 0 = 3*x + x - 5*a - 588, 5*x - 3*a = 722. Let z = x - 168. Let q(o) = o**3 + 27*o**2 + 25*o - 8. Does 18 divide q(z)?
True
Suppose 16*y - 62953 = -19465. Is y a multiple of 53?
False
Let c(d) be the third derivative of -13*d**4/6 - 68*d**3/3 + 128*d**2. Is 80 a factor of c(-16)?
False
Suppose 22*p - 102691 + 10533 = 0. Is 10 a factor of p?
False
Suppose 2*x + k - 1018 = -113, k = -4*x + 1807. Suppose 120 - x = -w. Does 17 divide w?
False
Suppose 0 = -4*v + 4*r + 36, -27 = 5*v - 9*v - 5*r. Let f(y) = y**2 - 13*y - 26. Let u be f(v). Let j = u + 113. Is j a multiple of 41?
False
Suppose 0 = -8*n + 21 + 19. Let h = -2 + n. Suppose -8*u + h*u = -20. Is u a multiple of 4?
True
Suppose 12308 = 4*j - 2*l, -l - 7652 = -5*j + 7730. Does 55 divide j?
False
Let r = -632 + 658. Suppose r*g + 7620 = 32*g. Does 10 divide g?
True
Suppose -4*w + 0*w + u + 85707 = 0, 64285 = 3*w + 4*u. Suppose 3*j - 2*l - 16072 = -0*l, 5*l = 4*j - w. Does 10 divide j/76 - 2*(-2)/(-8)?
True
Let b be (-2)/7 + (-1600)/(-14). Let v = -1182 - -1215. Suppose -4*j = -2*a - b - 48, -j - a + v = 0. Does 19 divide j?
True
Suppose -b + d = -3*b + 11, -4*d + 28 = 4*b. Let m be (b - (-30)/(-9))*3. Suppose 42 = -m*o + 50. Is o a multiple of 3?
False
Let v(k) = 10*k - 176. Let s be v(-21). Let g = s - -575. Is g a multiple of 27?
True
Let l(z) be the second derivative of z**5/20 - z**4 - 13*z**3/3 + 17*z**2/2 - 17*z + 2. Is 21 a factor of l(14)?
False
Suppose -46 = -5*q - t, 7*q = 3*q - 2*t + 38. Suppose q*k - 3*r - 846 = 6*k, -4*k + 1132 = -3*r. Is k a multiple of 11?
True
Suppose 16 = 2*j, -26*j + 10633 = 5*h - 25*j. Is 25 a factor of h?
True
Let t = 1441 + -1499. Let h(j) = -j**3 + 6*j**2 + j - 6. Let x be h(6). Does 21 divide (15 + x)*t/(-6)?
False
Let y = -107 - -107. Su