
Let j be 6/((-1)/((-3)/2)). Is -2 + (5840/36 - 2/j) a multiple of 20?
True
Let h(u) = 20*u - 26. Let r = -11 + 11. Let v(g) = -5*g + 13. Let t be v(r). Does 14 divide h(t)?
False
Suppose -33*o - 583606 = 54*o - 1651531. Does 4 divide o?
False
Let u(o) = -137*o + 1. Let l(z) = 296*z - 3. Let a(r) = -3*l(r) - 7*u(r). Let m be (-1)/(-4) + 3/4. Is 17 a factor of a(m)?
False
Is 91 a factor of -156 + 12070 + 2 + 5?
True
Let y(k) = 2158*k - 226. Is y(2) a multiple of 21?
False
Let k = -216 + 223. Is 19 a factor of 350*(77/(-14) + k)?
False
Does 69 divide -1986*8/(-24) - -9?
False
Let k(y) = -52*y + 155. Suppose 155 = -18*i - 25. Does 27 divide k(i)?
True
Suppose 6*x = 1302 - 1230. Let q(d) = d**2 - 3*d - 4. Let m be q(4). Suppose m = 9*r - x - 42. Is 6 a factor of r?
True
Let t(p) = 5*p + 32. Suppose -1 = k - 2*l + 3, 5*l = -5. Let b be t(k). Suppose 168 + 164 = b*w. Is 35 a factor of w?
False
Let h(b) = 138*b - 28. Suppose 1 - 4 = -x - c, 5*x + 3*c - 17 = 0. Is 21 a factor of h(x)?
False
Let d be (-2 - 4 - -2) + 49. Suppose a - 455 - d = -4*v, -3*a + 1435 = -v. Does 39 divide a?
False
Suppose 19*x - 530604 = 12*x + 5*p, 0 = 5*p - 45. Is 30 a factor of x?
False
Suppose -4*w = 5*c + 37 + 29, 3*w = 2*c + 8. Let u(v) = v**3 + 11*v**2 - 4*v + 17. Is u(c) a multiple of 16?
False
Let b(n) = -n**2 - 6*n + 36. Let s be b(-5). Suppose s*r - 40*r - 24 = 0. Does 4 divide r?
True
Is 955/(-191) + 686 + -1 a multiple of 85?
True
Let u(c) = -c**2 - 8*c. Let l be u(3). Is 4 - ((l - 4) + -3) a multiple of 29?
False
Let j(w) = -w**2 + 8*w - 10. Let z be j(4). Suppose -31 + 7 = -z*d. Suppose 4*g - f = 483, -d*g + 4*f = -f - 479. Is 29 a factor of g?
False
Suppose c + 3*c = -16. Let u be (-10)/c - 12/8 - 1. Suppose u = 2*x + 2*x - 8. Does 2 divide x?
True
Let d = 38186 - 28426. Is d a multiple of 80?
True
Suppose 1718 = 2*p - 5*k, -2*p - 2*p - 2*k + 3460 = 0. Is p a multiple of 13?
False
Let a = -11352 + 11356. Let c = -389 - -546. Suppose 0 = a*u - 737 + c. Is 29 a factor of u?
True
Let t = 65397 + -26821. Does 8 divide t?
True
Suppose 2*y + 20 = 7*y. Let u(c) = -c**3 + 3*c**2 + 4*c + 6. Let h be u(y). Let n(r) = 11*r + 7. Is n(h) a multiple of 23?
False
Let a(j) = j**3 + j**2 - 2*j - 8. Let n be a(0). Let x be 1/(-1) + (3*n)/4. Let c = 32 + x. Does 5 divide c?
True
Let p be 598/((-8)/224*(2 - 1)). Is (p/230)/((-2)/10) a multiple of 14?
True
Let w(s) = 2*s**3 - 17*s**2 + 7*s - 74. Let i be w(13). Let j = i - 1096. Is 8 a factor of j?
False
Let t(l) = 1156*l**3 + l**2 - 4*l + 2. Let g be t(1). Suppose 16*q - 4603 = -4*r + 13*q, 0 = r + 5*q - g. Is r a multiple of 115?
True
Let y(s) = -s**3 + 22*s**2 - 5*s + 16. Is 14 a factor of y(15)?
False
Let o be (-12)/54 + (-632)/(-54)*6. Let d = o + -51. Suppose -z = -4*m - d, -3*z - z + 2*m = -118. Is 10 a factor of z?
False
Let b = 86 + -88. Is 12/20*(b + 3 + 604) a multiple of 33?
True
Let d(l) = -54*l**2 + 6*l + 7. Let c be d(-1). Suppose 0 = b + 2*q - 92, 4*q - 4 = 2*b - 220. Let t = c + b. Is 9 a factor of t?
False
Suppose -22*a + 49*a - 81 = 0. Suppose a*f - 4*w - 336 = 6, -5*w + 228 = 2*f. Is 57 a factor of f?
True
Suppose 722 + 60161 + 5467 = 10*z. Does 71 divide z?
False
Suppose 4*x + 174 = -2*x. Let t = x + 31. Does 12 divide ((-32)/(-4))/4*48/t?
True
Let l(s) = -s**3 + 11*s**2 + 10*s + 12. Let y be l(12). Let j be 32/y*(-126)/8. Suppose -4*i + c + 168 = -0*c, i - j = 5*c. Is i a multiple of 14?
True
Suppose 2*a + 2*a + 19 = h, 2*h = -5*a - 27. Let p(q) = -18 + 2*q**2 - 4*q + 0*q + 2*q. Is 14 a factor of p(a)?
True
Let f = -23 - -19. Let t(a) be the third derivative of -11*a**4/24 + 14*a**3/3 + 2*a**2 + 3*a. Is 9 a factor of t(f)?
True
Let a = 8098 - 8001. Does 41 divide a?
False
Suppose -166*c - 15 = 3*r - 163*c, -2*r - 4*c - 16 = 0. Suppose -3 = k, 5*k = 3*l - 0*k. Is 226 - (r - l/(-5)) a multiple of 9?
False
Let j be 37 + -2 + 3 + -2. Let a = j - 36. Suppose a*w + 4*l - 181 = -5*w, 4 = l. Is 11 a factor of w?
True
Let j = -44 + 76. Suppose q = 9*q + j. Let f(c) = 8*c**2 + 4*c - 7. Is f(q) a multiple of 21?
True
Let w(m) = -48*m - 193. Let k be w(-4). Let d(z) = -2*z**2 - 3*z - 1. Let u be d(-3). Is -1*k/5 + (-498)/u a multiple of 6?
False
Let i = -187 - -187. Suppose -5*u - 5 = i, 2*u + 90 = -z + 417. Is 47 a factor of z?
True
Suppose 4*o - 12 = b, -3*o + 3*b - 3 = -21. Suppose o*n = 6*n. Suppose -q + 0*q + 168 = n. Is q a multiple of 21?
True
Let t be (-16)/200 - (-223)/(-25). Is (9/3 - -100) + (-15 - t) a multiple of 79?
False
Let d(m) = -4*m**2 - 18*m + 4. Let g be d(-3). Is 16 a factor of -4 - (g/55 - (-9754)/(-10))?
False
Is (-11304)/(-42) + (-12)/(-14) even?
True
Suppose 0 = 14*w + 6*w - 500. Suppose -18*m - 630 = -w*m. Is m a multiple of 10?
True
Suppose -26*u - 13641 = -54279. Does 14 divide u?
False
Suppose 3*w + 54 - 42 = 0. Is 15 a factor of (5*w)/((-20)/100)?
False
Let v(o) = -8*o**3 - 8*o**2 - o + 374. Let g(i) = -7*i**3 - 7*i**2 - i + 375. Let m(x) = -7*g(x) + 6*v(x). Let h be m(0). Let c = 617 + h. Does 34 divide c?
False
Suppose 3*w = -3*p + 18, 5*w - 58 + 20 = 3*p. Let c(j) = j**3 - 8*j**2 + 5*j + 21. Let d be c(w). Is 10 a factor of -3 - ((-542)/d - 15/(-35))?
False
Suppose 2*j - 39715 = -5*n + 17704, -28732 = -j + 5*n. Is 47 a factor of j?
True
Suppose -19*y = -14*y. Suppose -3*l = y, 0 = 2*m + m - 2*l - 12. Does 4 divide m?
True
Let c = 6 - 4. Suppose 0 = -w + 4 - c. Does 17 divide (-2 - 0) + w - -68?
True
Let n(k) = 13*k**2 + 2*k - 44. Suppose a = -4*y - 29, 2*y - 4*a + 10 = -0. Is n(y) a multiple of 29?
False
Suppose -2*l + 3*q + 3853 = 0, -34*l - 3874 = -36*l - 4*q. Is 19 a factor of l?
False
Let v = 5458 + -4037. Is 4 a factor of v?
False
Let t(z) = 9*z + 64. Let m be t(5). Let c = m - 47. Does 13 divide c?
False
Let b(k) be the third derivative of -13*k**4/12 + 7*k**3 - 35*k**2. Let v be b(-9). Let o = 31 + v. Is o a multiple of 12?
False
Is 56 a factor of (-12)/(-126) + 722062*9/189?
True
Suppose -23 - 68 = -7*o. Suppose -15 + o = 2*g. Does 17 divide g + 16/(-4)*-13?
True
Suppose -3*q = 2*q - 3*n - 30, 0 = n - 5. Let c(k) = -5*k + 18. Let z(g) = g. Let d(p) = -c(p) - 2*z(p). Is d(q) a multiple of 5?
False
Let h(l) = 2*l**2 + 2*l - 7. Let a be -10 + 11 - 6/(-1). Let i = a + -12. Does 11 divide h(i)?
True
Let f(t) = 26 - 7*t + 13*t - t**2 - 17. Let p be f(-9). Let u = p - -258. Is 15 a factor of u?
False
Is (-20)/4 + (1927 - (7 + -2)) a multiple of 3?
True
Let x = -37 - -39. Let h(i) = -3*i**3 - 30*i**2 - 43*i + 35. Let s(u) = -u**3 - 15*u**2 - 22*u + 18. Let v(z) = x*h(z) - 5*s(z). Is v(16) a multiple of 21?
False
Let i(j) = -j**2 - 4*j - 51. Let z(s) = 4*s**2 + 17*s + 205. Let x(f) = -9*i(f) - 2*z(f). Suppose 0 = -3*k - 0*k. Is 10 a factor of x(k)?
False
Let j(n) = 47*n**2 + 7*n + 46*n**2 + 42*n**2 + 3*n**3 - 133*n**2 - 19. Is j(4) a multiple of 11?
False
Let v be 2*2 + 308/(-7). Let i = v + 37. Let x = i - -183. Does 30 divide x?
True
Suppose 18*o = -23*o + 48*o - 5803. Does 45 divide o?
False
Let h be 4/30 - 61780/(-150). Let p = -140 + h. Is 16 a factor of p?
True
Is (5/((-75)/(-1008)))/(2 - (-377)/(-195)) a multiple of 28?
True
Let y = -19514 - -35858. Is 165 a factor of y?
False
Let v(f) = 3 - 17 - 11 + 0*f + 12*f + f. Does 5 divide v(5)?
True
Let s(i) = -164*i - 1141. Is s(-22) a multiple of 4?
False
Let g(p) = 61*p + 17. Let y(w) = 305*w + 86. Let r(j) = -11*g(j) + 2*y(j). Let l(z) = -z**2 - 11*z + 149. Let s be l(-19). Does 9 divide r(s)?
False
Suppose 4*v - 21 = -3*v. Let w(r) = 4*r + v + 2*r**2 - 8 + 5. Does 8 divide w(4)?
True
Let z(q) = q**3 + 15*q**2 - 17*q - 34. Let i be z(-16). Let p = -14 - i. Suppose 111 + 141 = p*j. Is j a multiple of 7?
True
Let z(j) = -j**2 + 16*j - 22. Let b be z(12). Let d = b + -22. Suppose 396 = d*l - 228. Is l a multiple of 27?
False
Let m(j) = j**3 + 10*j**2 + 3*j - 6. Let i be 5 - -1*(-9)/1. Is m(i) a multiple of 2?
True
Suppose -141*r + 20416 = -128*r - 228157. Is r a multiple of 9?
False
Suppose -4*v = -2*v - 168. Let q = -3349 + 3361. Does 14 divide v/(-18)*q/(-4)?
True
Let b = 920 - 416. Suppose -r + 1184 = b. Is r a multiple of 77?
False
Let v(i) = -10*i**3 + 5*i**2 + 2*i - 4. Let f be v(-3). Suppose 0 = -o - 16 + f. Is 17 a factor of o?
True
Let y be 126/10 + 3*4/30. Let a(g) = 8 - 5 - 8*g + 34*g**2 + y - 30*g**2. Does 39 divide a(7)?
T