ppose -8*t + 1730 = 274. Is 16 a factor of t?
False
Let x(b) = 224*b + 13. Does 27 divide x(1)?
False
Let k(n) = n**2 - 9*n + 9. Let m = 4 - 6. Let u be (-12)/m + (3 - 0). Is k(u) a multiple of 9?
True
Suppose 3*g - 28 = -5*f, -3*g + 5*f + 4 = -4. Let b(v) = -v**3 + 6*v**2 + 4. Let k be b(g). Suppose i - k*i = -96. Is i a multiple of 23?
False
Let s(q) be the first derivative of -31*q**2/2 - q - 1. Let y be 2*5/(60/(-6)). Is s(y) a multiple of 10?
True
Suppose 0 = 7*q + 3*q - 280. Let w = q + 12. Is 4 a factor of w?
True
Let v = -1193 - -1697. Is (6/4)/(6/v) a multiple of 18?
True
Suppose 10*i - 14*i + 20 = 0. Suppose -5*h = -v + 18, -i*h - 6 = -4*h - v. Does 5 divide 36/6*(-10)/h?
True
Let z = -151 + 277. Suppose 24*l = 22*l + z. Is l a multiple of 5?
False
Suppose 0 = 5*h - 6*h - 30. Let g = 67 + h. Does 14 divide g?
False
Let p = -238 + 378. Is p a multiple of 10?
True
Suppose -11*p - 708 = 4*s - 7*p, -10 = -2*p. Does 4 divide (-9958)/s - 2/(-7)?
False
Suppose 0 = -y + 4, -5*d + y - 16 = -d. Does 22 divide (-2)/(d/(-106)*(-1)/3)?
False
Let a(g) = -2*g**2 - 30*g - 4. Does 7 divide a(-11)?
True
Let b = 768 + -503. Is 38 a factor of b?
False
Let o = 700 - 133. Is 20 a factor of o?
False
Let a(w) = w**2 + 6*w - 263. Is 24 a factor of a(35)?
False
Suppose d - 10 = -d. Suppose n - 40 = w + 43, -d*n + 445 = w. Suppose 11*z - n = 9*z. Is 22 a factor of z?
True
Let y(w) = w**3 + 12*w - 14. Is 10 a factor of y(6)?
False
Let q = 157 - 26. Let y = q + -3. Let s = y - 73. Is s a multiple of 11?
True
Suppose 0 = 3*a - 2*x - 2190, -4*a - x + 2909 = -0*a. Is 56 a factor of a?
True
Suppose -2 + 1 = -n. Let o(x) = x**3 + x**2 + x. Let c(m) = -6*m**3 - 12*m**2 - 11*m + 7. Let l(s) = n*c(s) + 5*o(s). Is l(-6) a multiple of 3?
False
Suppose 0 = a - t - 909, -5*t = 2*a + 2*a - 3600. Let d = -1333 + a. Is (-6)/15 - d/20 a multiple of 17?
False
Let h(t) = 14*t - 4. Let y(p) = p**3 + 4*p**2 + 4*p - 1. Let d be y(-3). Let b be 18/3 + (-8 - d). Does 6 divide h(b)?
True
Suppose -4*y = -348 - 128. Is y a multiple of 3?
False
Let c(h) = 84*h - 84. Let i(b) = -56*b + 56. Let n(y) = 5*c(y) + 7*i(y). Is n(6) a multiple of 35?
True
Let h(y) = -14*y + 30. Suppose 40 = -11*t - 48. Is h(t) a multiple of 57?
False
Suppose -6*m = -9*m + 15. Suppose -u + 1 = -3*g - 31, -m*u - 5*g + 60 = 0. Suppose 4 - u = -p. Does 9 divide p?
False
Suppose -346 - 753 = -4*k + 5*t, 4*t = 3*k - 825. Is k a multiple of 21?
False
Suppose -9*a - 326 + 3179 = 0. Is a a multiple of 37?
False
Suppose 0 = c + 3*f - f - 152, -5*f - 25 = 0. Does 6 divide c?
True
Is 6 a factor of ((-133)/(-35))/(8/40) - -6?
False
Let u be (-4)/3*(-18)/12. Suppose -2*n + 3*t = -40, 1 + 7 = u*t. Is 13 a factor of n?
True
Let j(s) = -s**3 + 2*s**2 + s. Let x be j(-1). Let t = -2 + x. Is (t + 55)/(0 + 1) a multiple of 19?
False
Suppose 4*r + 102 - 1218 = 0. Is 9 a factor of r?
True
Let a(n) = 14*n**2 + 20*n + 105. Does 20 divide a(-5)?
False
Suppose -2694 - 1196 = -10*b. Does 13 divide b?
False
Is (504/(-8))/((-3)/9) a multiple of 45?
False
Let q(x) = -4*x**2 - 28*x + 4. Let b be q(-7). Let j(o) = 11*o + 1. Let n be j(5). Suppose -n = -b*r - 0*r. Does 14 divide r?
True
Let n be (6 - 5)*(2 - 0). Suppose n*c + j - 68 = -3*j, 2*j - 10 = 0. Is c a multiple of 12?
True
Suppose -o + 6 - 34 = -3*u, 2*o = -5*u + 54. Suppose -12*r + u*r = -8. Suppose 95 = 4*t - 5*p, 5*t + 0*t - 130 = r*p. Is 19 a factor of t?
False
Suppose 2*n - 4*g - 20 = 4*n, 3*n = 3*g + 15. Suppose n*r - 5*r + 180 = 0. Does 12 divide (16/12)/(2/r)?
True
Suppose -c + 11 - 9 = 0. Suppose 0 = -0*o - c*o + 72. Suppose 4*k - o - 24 = 0. Is 12 a factor of k?
False
Let j = -38 + 22. Let k = 54 + j. Let r = 4 + k. Is r a multiple of 12?
False
Let n(t) = -t**3 + 5*t**2 - 7*t + 5. Let c(d) = -d + 5. Let b be c(0). Let j be n(b). Let s = j + 99. Does 23 divide s?
True
Let y(t) = 27*t**2 - 32*t + 240. Is y(6) a multiple of 48?
False
Let k = -31 + 125. Is 5 a factor of k?
False
Let d(w) = -w**2 + w. Let i be d(0). Let l be ((-2)/4 - i)*-74. Does 16 divide (4 - l)/((-9)/21)?
False
Is 10/(-20) + (-345)/(-2) a multiple of 57?
False
Suppose 607 + 867 = n - w, 3*n + w = 4434. Is 20 a factor of n?
False
Let w(k) be the third derivative of k**6/120 - k**5/6 + k**4/3 - k**3/6 + 14*k**2. Let t be w(9). Does 7 divide ((-11)/(-4))/(t/(-120))?
False
Let d = 2808 - 1576. Does 56 divide d?
True
Suppose -4*o + 16 - 44 = -3*r, -4*o + r = 36. Let m = 19 + o. Does 9 divide m?
True
Let i = 24 + -28. Let k(n) = 9*n**2 - n + 4. Does 38 divide k(i)?
True
Let k(l) = l**2 + 2*l - 20. Suppose 4*r - b = -45, -5*r + 2*b + 0*b = 60. Is k(r) a multiple of 12?
True
Suppose 2*j - 3*j = 4*n - 269, 3*n - 208 = -2*j. Is n a multiple of 3?
True
Let s = -23 + 303. Does 28 divide s?
True
Suppose -18826 = 22*x - 76026. Is 20 a factor of x?
True
Suppose 0*q - 456 = -4*r - 2*q, 0 = -5*r - q + 570. Let i = 198 - r. Does 28 divide i?
True
Suppose 273 = 2*w - 351. Is w a multiple of 26?
True
Does 27 divide ((-11993)/(-201))/(2/12)?
False
Let p = -256 + 451. Let u = p + -117. Let x = u + -20. Does 22 divide x?
False
Suppose v + o - 1252 = 0, -3*v = -4*v - 4*o + 1249. Does 21 divide v?
False
Suppose 0 = -p + 5*r + 2825, 26*r = -3*p + 29*r + 8535. Is p a multiple of 57?
True
Let p(l) = l**2 - 7*l + 9. Let c be p(4). Does 5 divide (-9)/(c + -3 + 5)?
False
Let o be (-20)/3*(-36)/30. Suppose 3*k - o = n - 79, n - 66 = 2*k. Is n a multiple of 28?
True
Let r(m) = 2 + 0 - 4*m + m**2 + 5*m**2 + 8*m. Let l be (-4 + 2)/(-1 + 2). Is r(l) a multiple of 12?
False
Let o = 2504 - 1474. Is o a multiple of 10?
True
Suppose 0*p - 39 = l - p, 3*p + 129 = -3*l. Suppose -3*q + 8 + 196 = -3*n, -n - 4*q = 83. Let u = l - n. Is 6 a factor of u?
True
Let p = 2 - -2. Suppose -p*f = f - 1125. Suppose -3*m = 2*m - f. Does 23 divide m?
False
Suppose -2*d + 6 = 2*o - 5*o, -3*d - o + 20 = 0. Suppose d*v + 345 = 11*v. Is v a multiple of 17?
False
Let k = 1132 - 792. Suppose -2*n = -5*n + 5*i + k, 0 = 2*n + 3*i - 195. Is n a multiple of 21?
True
Suppose -3*b - 3*t + 652 = -8*t, 2*t + 846 = 4*b. Let n(s) = -29*s - 289. Let x be n(-22). Let k = x - b. Is k a multiple of 35?
True
Let n(d) = 14*d - 60. Let w be n(-9). Let y = 414 + w. Does 38 divide y?
True
Let m(i) = 19*i**2 + 3*i + 5. Let q be 69/15 + 12/(-20). Let f be m(q). Suppose -2*u = 2*u - 5*t - 435, f = 3*u - 2*t. Does 20 divide u?
False
Suppose 0 = 5*j - 4*f + 101, -2*f = -4*j - 11 - 65. Let r = j - -38. Is 3 a factor of r?
True
Let u(r) = -r**3 - 3*r**2 - 2*r - 3. Let n be u(-3). Suppose -3*o - n*j + 0*j - 12 = 0, 0 = -4*o - 2*j - 6. Does 30 divide (o + 59)/(-5 + 6)?
True
Suppose -4 + 40 = 3*d. Let z = d - -42. Suppose -z - 126 = -4*o. Is 15 a factor of o?
True
Let k(g) = 11*g**2 - 30*g - 13. Is 16 a factor of k(13)?
True
Suppose -12 + 4 = -2*w, -d = -2*w - 165. Is 14 a factor of d?
False
Let f(a) = -a**3 + 4*a**2 + 2*a - 4. Let d be f(4). Does 4 divide (-8)/(d/(-30)*3)?
True
Let d(n) = 28*n**2 + 32*n + 115. Is 15 a factor of d(-4)?
True
Let k = -53 - -343. Does 4 divide k?
False
Let b = 27 + -19. Suppose -b*q + 180 = -260. Is q a multiple of 24?
False
Let j(k) = -2*k**2 + 2*k + 11. Let q be j(-5). Let g = 91 + q. Is 14 a factor of g?
True
Let o = 354 + 437. Is 22 a factor of o?
False
Does 44 divide 3 - (0 - -917)*(-10)/10?
False
Does 6 divide ((-22)/3 + 2)*72/(-16)?
True
Let l(v) = v**2 + 347. Is l(0) a multiple of 14?
False
Suppose 20 = -4*w + 4*y, 3 + 2 = -w - 4*y. Let s = w - -7. Suppose 4*z = s*z + 128. Does 11 divide z?
False
Suppose -5*g + 3200 = -4*k, -1920 = -3*g - 0*k - 4*k. Is g a multiple of 4?
True
Let x = 17 - 21. Let h be x - 4/(-4) - -1. Is 9 a factor of (-2068)/(-77) + h/(-14)?
True
Suppose -2*v = 2*v - 16. Suppose 0*g + v*g = 160. Is 11 a factor of g?
False
Let q = 35 - 20. Suppose -23*v = -q*v - 600. Does 25 divide v?
True
Let z = -480 + 701. Is 13 a factor of z?
True
Let o = -212 - -241. Is 25 a factor of o?
False
Let y be -2 + 10/25*(31 - 1). Suppose -y*o + 135 = -7*o. Is 15 a factor of o?
True
Let p = 0 - -3. Suppose -j + p*j - 90 = 0. Does 9 divide j?
True
Suppose 143*l + 8 = 142*l. Is 15 a factor of (0 - 2) + (-1 - (l + -151))?
False
Let j = 11 - 9. Suppose -4*w + 2*u = -298, 0*u = 3*w + j*u - 227. Does 15 divide w/2 + (-4)/(-8)?
False
Let o be (-2)/11 + 2/11. Suppose o 