 s be (802 + 0)*(-46)/46. Let o = -542 - s. Is 4 a factor of o?
True
Let s(x) = -93*x - 18. Let i be s(2). Let p = -50 - i. Is 22 a factor of p?
True
Let r = 65 + 1466. Let o = -892 + r. Does 71 divide o?
True
Let n(w) = -13*w + 2725. Is 49 a factor of n(-9)?
True
Let a(t) = t**3 - 56*t**2 + 641*t - 37. Is 3 a factor of a(15)?
False
Let q(j) = -24*j + 28. Let f be q(0). Suppose -n - f*x + 23*x + 260 = 0, 263 = n + 2*x. Does 10 divide n?
False
Let m(w) = w**2 - 4*w + 4. Let j(a) = a**2 - 11*a - 24. Let z be j(13). Let f be m(z). Is 16/(-32)*(-22 - f) a multiple of 2?
False
Let z(i) = 4*i**2 - 11*i + 15. Let u(w) = -8*w - 11. Let r be u(-2). Is z(r) a multiple of 6?
True
Suppose 0 = -2*s + 4*f + 4, 3*s - 9 = -0*s + 3*f. Let b(x) = -19*x - 54. Let t be b(-6). Suppose -4*i + 4*o + t = 0, s*o + 0*o - 12 = 0. Is 9 a factor of i?
True
Let z be 8/(2/4 - 0). Let v(f) = -7 + 5 + z - 2*f + f**2. Does 19 divide v(9)?
False
Let s = 195 + -171. Suppose -76 - s = -5*t. Does 2 divide t?
True
Let n(r) = -2*r**2 - 15*r - 16. Let m be n(-6). Suppose k - 377 = t - 0*t, -k = -m*t - 380. Does 17 divide k?
True
Let v(y) be the first derivative of 25*y**3/3 + 17*y**2/2 + 6*y + 101. Is 30 a factor of v(-3)?
True
Suppose -10*c = -655 - 805. Let w = c - -76. Is w a multiple of 19?
False
Let z be (-4638)/(-10) - (-2)/10. Suppose -1903*b + 1910*b = 14. Suppose b*t = -5*d + 260, -4*t - 2*d + z = -6*d. Is t a multiple of 15?
True
Suppose 5*p - 20745 = 5*r, 0 = -2*p - 23*r + 20*r + 8303. Is p a multiple of 4?
False
Let x(u) = -u**2 - 3*u + 1. Let n(k) = -k + 17. Let z be n(18). Let s be x(z). Suppose -5*i - 8*b + 400 = -3*b, 5*b = s*i - 200. Does 15 divide i?
True
Suppose -34 = 5*m - 59. Suppose -g - 4*q = -177, 2*g - m*q + 177 = 3*g. Let d = g + -105. Does 18 divide d?
True
Suppose 385*s + 946715 = 7210665. Is 111 a factor of s?
False
Suppose 4*o - i = 6692, -117*o - 5*i + 8340 = -112*o. Is o a multiple of 3?
False
Suppose -3*s + 34*v - 38*v + 11 = 0, 22 = -4*s + 2*v. Is ((-102)/8)/(s/88) a multiple of 24?
False
Suppose 10*g - 21280 = 22510. Does 46 divide g?
False
Let f(c) be the first derivative of 4*c**2 + 9*c - 90. Is 3 a factor of f(5)?
False
Let n be 11/(60/24*(-2)/(-5)). Suppose n*h = 474 - 155. Is h a multiple of 29?
True
Suppose 7 = 2*t + 5*t. Suppose 4*s + 39 = -t. Is 2 a factor of (-96)/s - 6/10?
False
Suppose -4*v + 572 = 2*s, 5*v - 16 = v. Suppose 2*k = 4*w + s, w = k + 4*w - 139. Is 4 a factor of k?
False
Let j(w) = -11 + 13 - w**3 - 13*w**2 + 2*w + 23 + 5. Let c be j(-13). Suppose 60 = 2*f - 2*z - 0*z, 0 = -2*z - c. Is f a multiple of 14?
True
Let u(l) = -l**2 + 22*l + 83. Let y(t) = -2*t - 9. Let i be y(-14). Does 20 divide u(i)?
True
Let q = 56707 + -31123. Is 12 a factor of q?
True
Let r = 33584 - 18182. Does 17 divide r?
True
Let b(c) = c**3 + 13*c**2 - 3*c - 19. Let r(v) = -3*v + 15. Let s be r(9). Let o be b(s). Let i = -1 + o. Does 16 divide i?
True
Let o(b) = b**3 + 5*b**2 - 3*b + 30. Is 6 a factor of o(6)?
True
Let f(i) = 36*i + 152. Let c be f(-4). Is 7 a factor of -843*((-70)/(-10) - c)?
False
Suppose -55*t = -50*t - 3*k - 62034, 5*k = 10. Does 44 divide t?
True
Let a(f) = f**2 - 6. Suppose 0 = m - 4*h + 18, -5*h = -5*m - 40 - 80. Let v = m - -20. Is a(v) a multiple of 3?
True
Suppose -75*c = -82*c. Suppose c = 2*p + 7*p - 1494. Is p a multiple of 22?
False
Is 16 a factor of (1248/(-28))/(84/(-4116))?
False
Let g be 273/49 - (-3)/7. Suppose -g = -4*y + 618. Does 13 divide y?
True
Is (15873/1)/(((-2)/22)/((-13)/143)) a multiple of 125?
False
Let y be 189 - (7 + 14/(-7)). Suppose -50 - y = -2*s. Does 24 divide s?
False
Let u(r) = r**3 - r**2 - 12*r + 13. Let x be u(4). Let g = x - -2. Does 3 divide 66/2 + 4*g/(-20)?
True
Let j be 1 + -2 + (7 - 1). Suppose -j*h = -15, 0 = g + 2*h + 6 - 16. Suppose 7*b - 144 = g*b. Is b a multiple of 24?
True
Let t(c) = -3*c**3 - 5*c**3 + 15 + 25*c - 14*c**2 + 11*c**3 - 21*c**2. Is 3 a factor of t(11)?
True
Let r be 1*-1 + (0 - 2). Let m(x) = x**3 + x**2 + 5*x + 2. Let n(w) = -w**2 - 9*w - 4. Let y(l) = -5*m(l) - 3*n(l). Is y(r) a multiple of 19?
False
Suppose 36 = -9*o + 18*o. Does 10 divide (-11)/o*2*216/(-18)?
False
Let q be 4/(-58) + (-10)/(-145). Suppose q = 3*u - 6*s + 4*s - 929, 5*u - s - 1553 = 0. Is 26 a factor of u?
False
Does 47 divide (9/6 + 0)/((-8)/(-15376))?
False
Suppose 17*w = 35936 + 44134. Does 102 divide w?
False
Let o(w) = -15 + 11*w - 5*w + 4*w. Does 9 divide o(5)?
False
Let o(s) = -5*s + 2. Let i be o(1). Let l be (-10)/(-4)*(-12)/(-3 + i). Suppose 2*d - h = -0*h + 234, -5*h = -l*d + 585. Is 21 a factor of d?
False
Suppose -2*j + 13314 = 4*w, -3*w - 4*j + j + 9987 = 0. Suppose 9*r = 22*r - w. Is r a multiple of 18?
False
Let z = -998 - -371. Is 34 - 35 - (2 + z) a multiple of 48?
True
Let g(m) = 24633*m**2 - 11*m - 11. Does 21 divide g(-1)?
True
Let i = -82 - -24. Suppose -5*n + s + 3*s - 134 = 0, 0 = 2*n - 2*s + 52. Let t = n - i. Does 28 divide t?
True
Let u(g) = -53*g - 12. Let h be u(-3). Let n(b) = -3*b - 39. Let x be n(10). Let y = h - x. Is y a multiple of 12?
True
Suppose -7*v + 9140 = -10474. Is v a multiple of 8?
False
Let b = 1069 - -916. Suppose 3*n - 5*u = b, 3303 = 5*n - 6*u + 3*u. Is 11 a factor of n?
True
Is 3 a factor of (429/(-22) + 15)/((-2)/480)?
True
Suppose -3*n + g = -107, 4*g - 146 - 4 = -5*n. Let a(f) = 7*f - 32. Is a(n) a multiple of 11?
False
Let f(n) = -26*n**3 - 6*n**2 + 7*n + 1. Let t be f(7). Does 56 divide -3 - (t/24 + 6/(-24))?
False
Let a = 343 - 342. Is 10 a factor of (5424/(-56))/(a/(-7))?
False
Suppose 74*v - 130846 = 251216. Is 51 a factor of v?
False
Let h(b) = 222*b - 88. Let l be h(4). Let a = l + 379. Does 46 divide a?
False
Let x = -91 - -108. Suppose 6*o + 10780 = x*o. Suppose -16*m + 9*m = -o. Is 31 a factor of m?
False
Suppose -4*b + 22 + 10 = 3*j, 2*b + 2*j = 18. Suppose -3*x = -0*t - 4*t + 380, t - 78 = 5*x. Let w = t + b. Is 16 a factor of w?
False
Let z = 54 - 26. Let h = 11 - 23. Let w = z + h. Is w a multiple of 16?
True
Let i(d) = -4*d. Let q = 5 - 6. Let m be i(q). Is 10/20 - (-42)/m a multiple of 11?
True
Suppose -9*m + 912 = 2*p - 7*m, 3*m = 4*p - 1817. Suppose 3*f + 1022 + p = 5*y, 289 = y + f. Is y a multiple of 21?
False
Is (-1 + 0)/5 + (-44863)/(-65) even?
True
Let y(u) = 2711*u + 997. Is 49 a factor of y(2)?
True
Suppose 2*g - 74778 = -5*j + 6010, 0 = -j - 4*g + 16172. Is 14 a factor of j?
True
Let t = -105 + 43. Let j = t + 160. Is 14 a factor of j?
True
Let t = -514 - -1066. Suppose -216 - t = -16*q. Is q a multiple of 8?
True
Let x = 41 + -14. Suppose -3*b = -7*b + 4*a + 92, 4*b + 2*a = 80. Let c = x + b. Does 21 divide c?
False
Let l(q) = 15*q**2 + 25*q - 21. Let f(a) = -7*a**2 - 12*a + 10. Let r(d) = -13*f(d) - 6*l(d). Let v be r(4). Suppose 0 = 4*p + v - 276. Is p a multiple of 5?
True
Let t(p) = -p**2 - 7*p - 3. Let a be t(-6). Suppose -a*u + 0*u + 4*z + 34 = 0, 5*z + 60 = 5*u. Suppose -5*l + 31 + u = 0. Is 9 a factor of l?
True
Suppose -1477*r = -1424*r - 211470. Is 10 a factor of r?
True
Let z be 10/(-3)*(-231)/14. Let q = 68 - 87. Does 11 divide (z + 0)/(q - -20)?
True
Let m(n) = -11*n**3 - 25*n**2 + 6*n - 4. Let s be m(-9). Does 36 divide s/20 + (-6)/(-30)*1?
False
Let n(l) = -3*l**3 + 129*l**2 + 30*l - 38. Does 27 divide n(-19)?
False
Let f(o) = 4 + 28*o**2 + 31*o - 29*o - 26*o**2. Let u be (-9)/3 - 0/2. Is 6 a factor of f(u)?
False
Let c(b) = b**3 - 41 - 39 - 4*b**2 + 14*b**2 + 15*b + 76. Let q be c(-8). Suppose 3*w - q*w + 2*v = -10, 5*w - 78 = -4*v. Is 7 a factor of w?
True
Let t(s) = s**2 + s - 23. Let d be t(8). Suppose -1080 = 43*w - d*w. Is w a multiple of 10?
True
Let f(o) be the third derivative of -o**4/8 - 37*o**3/6 + 26*o**2. Suppose 2*j - 8*j - 90 = 0. Is 8 a factor of f(j)?
True
Suppose -2*z + 1620 = p, -12*p + 8*p - 2*z = -6456. Is p a multiple of 26?
True
Suppose 105762 + 77918 = 20*z. Does 144 divide z?
False
Let r = 760 + -757. Suppose -24*x = -20*x - 4, -t + 839 = -r*x. Is t a multiple of 19?
False
Let q(v) be the third derivative of v**4/12 + 5*v**3/2 + 6*v**2. Let w be q(-7). Is w/1 + (-80)/(-4) a multiple of 7?
True
Suppose -19*z - 12350 = -5*o + z, -4*o + 5*z + 9880 = 0. Is 13 a factor of o?
True
Let q(s) = 2 + 10 - s - 1 + 4. Does 6 divide q(-9)?
True
Suppose 40*p - 45*p = -165*p + 99360. Is p a 