?
False
Let l be (-9)/(6*(2 + (-11)/6)). Let y be (3/(-2))/(l/18). Suppose -5*s = f - 91, 2*f + f = y*s - 69. Is s a multiple of 18?
False
Let m(c) = -250*c - 124. Does 40 divide m(-5)?
False
Suppose 33 = 21*i - 10*i. Does 23 divide ((-2)/i)/((-5)/(67620/8))?
True
Let k(m) be the second derivative of -91*m**3/2 - 63*m**2/2 + 19*m. Is k(-3) a multiple of 54?
True
Let f(z) = -4*z + 5. Let h be f(-12). Let j = h + -47. Let a(u) = 28*u - 7. Is a(j) a multiple of 23?
True
Let x(y) = -y**3 - 4*y**2 + 2*y - 21. Let j be x(-5). Does 34 divide -2*2*j/(-8) + 819?
True
Let d(y) = -y**3 + 32*y**2 + 51*y - 1042. Is d(23) a multiple of 52?
False
Let g be 210/(-3) - (13 + (10 - 22)). Let q = -84 - -270. Let m = g + q. Does 25 divide m?
False
Let f(w) = -67*w + 3665. Is 52 a factor of f(-137)?
True
Suppose -18*h = -4*h - 28. Suppose -h*c = -298 - 60. Is c a multiple of 30?
False
Let x(s) = -532*s + 1556. Is 12 a factor of x(-91)?
True
Let w = -286 - -178. Let p(z) = z**3 + 3*z**2 + 5*z - 15. Let u be p(-5). Let f = u - w. Is 18 a factor of f?
True
Suppose 6010 = 4*o - 37*r + 36*r, r + 3008 = 2*o. Is 3 a factor of o?
False
Suppose -2*q = 2*q - 8. Let t(z) = 2*z + 6 - 8*z**3 + z**q - 3*z**2 + 9*z**3. Is t(5) a multiple of 16?
False
Suppose -2*q = 3*x - 13852, -21*x + 18*x = -3*q + 20823. Is 35 a factor of q?
False
Suppose 36*i = 28*i + 16. Suppose -h = i*x - 200, -5*x + 608 = 2*h + 108. Does 3 divide x?
False
Let g(p) = -14*p**2 + 4*p - 5. Let s = -89 - -91. Let b be g(s). Let o = 73 + b. Does 10 divide o?
True
Let q(u) = 2*u**2 - 27*u + 16. Let w be q(13). Is (-6507)/(-72) - w/8 a multiple of 9?
True
Let m(x) = x**3 + 48*x**2 + 125*x - 42. Let n be m(-41). Suppose 21*h - 36*h = -n. Does 11 divide h?
True
Let z(f) = f**3 - 24*f**2 - 164*f - 29. Is 2 a factor of z(31)?
True
Let l(m) = 6870*m**2 - m + 5. Is 42 a factor of l(-1)?
False
Suppose -73*d = -26*d + 47. Let z = -2 + -2. Is ((-51)/84 - d/z)*-126 a multiple of 12?
True
Let n(p) = -51*p + 44. Let w be n(-22). Suppose -15*v + 589 = -w. Is v a multiple of 6?
False
Let g(m) = m**3 - 3*m - 24. Suppose 3*u = 12, 4*v - 3*u = 2*u + 12. Is 58 a factor of g(v)?
True
Suppose 5*v + 3*v = 2168. Let q = 389 - v. Is 6 a factor of q?
False
Let s(c) = 50*c**2 - 16*c + 9. Let l be s(-6). Suppose -3*u + 8*u + l = 0. Let f = u + 591. Is 15 a factor of f?
True
Let y = 233 - 179. Let v be (-25 - 0)/(4/(-16)). Let t = y + v. Is t a multiple of 13?
False
Let q(o) = -o**3 - 10*o**2 - 40*o + 9. Does 11 divide q(-14)?
True
Let v = -2748 + 7538. Is 10 a factor of v?
True
Let d = 52 + -56. Let c be 3/((-9)/(-18)*d/(-2)). Let g(h) = 2*h**2 - 2*h - 1. Is 4 a factor of g(c)?
False
Let d(g) = 10*g - 158. Let k be d(16). Let c(f) = 48*f**2 - 14*f + 37. Does 3 divide c(k)?
True
Let g(h) = h - 1. Let r(j) = 5*j**2 + 35*j + 9. Let z(n) = -5*g(n) + r(n). Does 8 divide z(-9)?
False
Let n be ((-3)/4)/(61/(-244)). Suppose 4*a + 2*z - 184 = 0, 0 = -3*a + n*z + 205 - 67. Is 23 a factor of a?
True
Suppose 3*c + 981 = -14*w + 19*w, -4*c - 788 = -4*w. Is 65 a factor of w?
True
Let a = 189 - 81. Suppose 0*b + 3*o = -b + a, -4*o + 20 = 0. Suppose 3*u - 4*u + b = 0. Is 13 a factor of u?
False
Suppose -n + 2*n = 18. Suppose 5*o + o = n. Suppose -h + 5 = -0, -o*h + 471 = 4*b. Is b a multiple of 17?
False
Is (9 - (-2)/(-1)) + (5068 - 4) a multiple of 11?
True
Suppose 19*c - 39547 = 10233. Is 4 a factor of c?
True
Let a(y) = -72*y - 384. Let c be a(-6). Suppose 39*w + 2637 = c*w. Does 2 divide w?
False
Let u = -207 + 414. Suppose u = -0*w + 2*w - 5*r, 0 = -w + r + 108. Is 16 a factor of w?
False
Suppose -4*z + 12374 = 3*q, 128*q - 129*q + 4*z = -4114. Does 6 divide q?
True
Suppose -5*x - 4*a - 66 = 0, -4*x - 2*a = -8*x - 32. Let y be x/6*(-3)/1. Suppose -5*v + y*i = -269 - 1066, 4*v + 2*i = 1038. Is v a multiple of 63?
False
Let l(u) = -u - 22. Let f(r) = r**3 - 7*r**2 + 7*r - 12. Let b be f(6). Let k be l(b). Let w(j) = -5*j - 19. Is w(k) a multiple of 5?
False
Let p = 81 - -24. Let m be (-4 - 1)*(-4)/5. Suppose m*h - 76 = -4*u, -4*u + 9*u = -3*h + p. Is 6 a factor of u?
True
Let v(g) = g**3 - 3*g**2 + 4*g - 1. Let h be v(2). Suppose 4*u + t + t - 578 = 0, 2*t - 436 = -h*u. Let m = 212 - u. Is 14 a factor of m?
True
Let c(b) = -224*b + 34. Let q be ((-16)/12)/(2/6). Does 12 divide c(q)?
False
Suppose -26036 = -14*r + 9804. Is r a multiple of 23?
False
Let o = 12743 - 17909. Does 7 divide (3 - (-40)/(-12))/(6/o)?
True
Let m be 60/(1 + 5)*(-2 - -3). Let l(x) = 6*x + 73. Does 16 divide l(m)?
False
Suppose -112 = -5*v + 88. Suppose 9*h + v = 19*h. Is (-48)/9*(-90)/h a multiple of 20?
True
Let d(m) = -67*m - 48. Let i be d(-3). Suppose -158*h = -i*h - 5875. Is 47 a factor of h?
True
Is (0 - (-1)/(-3)) + (-31)/((-186)/30674) a multiple of 5?
False
Let y(q) be the second derivative of -71*q**5/20 - q**4/3 + 5*q**3/6 + 9*q**2/2 - 24*q + 1. Does 62 divide y(-2)?
False
Suppose -4*l - 4 = c, -2*c - 1 - 1 = 2*l. Suppose c = -j - 11 + 14. Is j - ((2 + -2)/1 - 77) a multiple of 16?
True
Let x(z) = -z**3 + 24*z**2 - 22*z - 21. Let p be x(23). Does 6 divide (-4 - (-273)/6)/(1/p)?
False
Let a(x) = x**3 - 28*x**2 + 38*x - 122. Let p(v) = v**2 - v - 2. Let i(w) = a(w) - 5*p(w). Does 48 divide i(32)?
True
Let w(p) = -138*p - 141. Let n be w(-17). Is (-60)/7*n/(-42) a multiple of 9?
True
Let l = -9 - -13. Suppose 1253 = -9*t + 1325. Is 86 - 1/(l/t) a multiple of 28?
True
Let y(p) = 60*p**2 + 42*p - 423. Is 9 a factor of y(9)?
True
Suppose 4*a + 5 = d - 9, 4*d - 14 = -5*a. Suppose 0 = c + 4*w - 167, -d*w - 583 = -4*c - 5*w. Is 19 a factor of c?
False
Let o(i) be the second derivative of i**5/20 + i**4 + 23*i**3/6 + 7*i**2/2 - 11*i. Is 9 a factor of o(-9)?
False
Suppose 3*c + 9 = j, -3*j + c + 7 - 4 = 0. Let d be -7*((-1 - j) + 2 - 2). Suppose -438 = d*h - 10*h. Is h a multiple of 42?
False
Let f(l) = 3*l**2 - 135*l + 7. Let v be f(45). Is 47 a factor of v + -2315*(-8)/40?
True
Is 19 a factor of (-10)/(-8) + -2 - (-4131630)/360?
True
Let l = 1380 + -797. Suppose 0 = -3*v + 3*r - 172 + 787, 5*r - l = -3*v. Is v a multiple of 2?
False
Let o be ((-2112)/(-18))/(4 + 68/(-18)). Suppose 3*s - 4*g = -s + o, 2*s = g + 268. Is 23 a factor of s?
False
Let o = -29534 - -31481. Is o a multiple of 4?
False
Let q = -78 - -77. Let i be q/(-7) - (-180)/63. Suppose 0 = i*b - 15, 15*x - b = 11*x + 1339. Is x a multiple of 48?
True
Suppose 61*n - 5065997 = -40*n - 1272740. Is n a multiple of 22?
False
Suppose -496 + 1988 = -4*u. Let w = 681 + u. Does 14 divide w?
True
Let h = -447 + 2694. Suppose -15*o = -h + 657. Does 18 divide o?
False
Let a = 3 + 15. Let b = 21 - a. Is 31 + -1 + b + (-20)/4 a multiple of 9?
False
Let u(l) = 3387*l - 9896. Is u(8) a multiple of 200?
True
Suppose n + 84 = 4*n. Let w be 8/n - (92/28 - 3). Suppose w*h - 6*h = -600. Is h a multiple of 10?
True
Let g = 250 + -146. Let w be 13/(g/(-3296)) + (-2)/1. Let b = -206 - w. Is 52 a factor of b?
True
Let z(v) = 2*v**3 - 3*v**2 - 6*v + 14. Let k(s) = s**2 - s - 38. Let m be k(-6). Is z(m) a multiple of 3?
False
Suppose -14*d - 11*d = -102063 - 8812. Is d a multiple of 47?
False
Let r = 31 - 110. Let q be (1525/(-15) - 5) + (-4)/(-6). Let a = r - q. Does 9 divide a?
True
Suppose 4*f - 52 = -9*f. Suppose 3*n - 2030 = -f*i, -8*n + 10*n = 5*i + 1361. Does 37 divide n?
False
Let b = -3600 - -6580. Suppose f = -2*x - 33 + 778, 5*x + b = 4*f. Does 53 divide f?
False
Suppose -3*z + 5*p + 5 + 22 = 0, z - 8 = 2*p. Suppose 9*k - z*k + 720 = 0. Suppose 2*j - 7*j + 176 = 4*v, -k = -4*j - 4*v. Is 10 a factor of j?
False
Suppose -3*z - 65*k + 14798 = -67*k, 2*z + 3*k = 9874. Is z a multiple of 9?
False
Let l be 77/(-1)*(-3 - 0). Suppose 0 = -1343*a + 1314*a - 174. Is 4/a*(-3 - l/2) a multiple of 9?
False
Suppose -2*o - 32 = -4*z, 3*o = -4*z + 8*o + 26. Suppose y + 4*j - j = 12, 0 = 3*j + z. Let s = y + 7. Is s a multiple of 13?
False
Let r(g) = -9*g**2 + 10*g + 1. Let x(v) = 19*v**2 - 19*v - 3. Let p(f) = -13*r(f) - 6*x(f). Let s be p(5). Suppose s = y + 16 - 86. Is 10 a factor of y?
True
Suppose 11*u - 16 = 7*u. Suppose 0 = u*y + 4 - 8. Let n(d) = 55*d**2 + d. Does 7 divide n(y)?
True
Let s = 2523 - -13435. Is 30 a factor of s?
False
Suppose y + 3*d = 12 - 4, 2*y + d = 6. Let k = 385 - 241. Does 11 divide ((-21)/(-28))/(y/k)?
False
Let z