Let g(l) be the first derivative of -l**3/3 - 4*l**2 - 8*l + 1. Suppose 0 = -u + 3*t + t - 2, 0 = -5*u - 5*t - 35. Is g(u) even?
True
Suppose -7*q + 620 = -514. Does 51 divide (1*-2 - 9)/((-6)/q)?
False
Suppose -4*w + 2 = 4*l - 6*w, 0 = 5*w + 5. Suppose -2*j - 4*p + 76 = l, -2*j = 2*p - 0*p - 78. Does 20 divide j?
True
Let b = 447 + 180. Does 23 divide b?
False
Does 4 divide (5 - (-15240)/35) + 3/(-7)?
True
Suppose -i - 375 = -2007. Does 51 divide i?
True
Let q(t) = t**3 + 18*t**2 - 19*t + 3. Let h be q(-19). Suppose b - 6*b = -g - 477, 3*b - 297 = -h*g. Is b a multiple of 24?
True
Let w = -21 - -20. Let c be (w + -3 + -12)*3. Let o = 79 + c. Is 12 a factor of o?
False
Is ((-1356)/5)/(219/(-730)) a multiple of 12?
False
Let x(b) = 31*b**2 - 4*b. Is 15 a factor of x(4)?
True
Suppose 0 = -4*j - 4*n + 12, 3*n = 4*j + 4*n - 15. Suppose -m + 4*t + 100 = 0, -m + 5*t = -3*m + 265. Suppose -k - j*k = -m. Is k a multiple of 6?
True
Let t(s) = 36*s + 145. Is 27 a factor of t(5)?
False
Let w(l) = l**3 + 6*l**2 + 6*l + 7. Let j be w(-5). Suppose -4*p - j*b + b + 66 = 0, 4*b = 8. Suppose 3*u = 4*u - p. Is u a multiple of 4?
True
Let q = -96 - -161. Suppose -4*u - 76 = -4*z, q = 6*z - 3*z - u. Is z a multiple of 7?
False
Suppose 7*m - 1254 = 10695. Is m a multiple of 6?
False
Let r = -430 - -1042. Is 24 a factor of r?
False
Suppose 6*g - 9 = -3. Is 12 a factor of 198*g/2 + -3?
True
Let g = 0 + 2. Suppose -3 = -g*h + 7. Suppose 107 = h*m - 53. Is 32 a factor of m?
True
Let h = -151 + 331. Does 20 divide h?
True
Suppose 137*a = 129*a + 5336. Does 26 divide a?
False
Suppose 2*h - 61 = -11. Suppose h*t = 28*t - 57. Does 19 divide t?
True
Let v(p) = 4*p**2 - 4*p + 5. Let s be v(-5). Suppose -2*k - 240 = k. Let f = s + k. Is f a multiple of 14?
False
Let k(w) = -12*w + 74. Is k(-14) a multiple of 11?
True
Let p = 136 + -6. Suppose -3*g + 5*g - p = 0. Does 6 divide g?
False
Suppose -2*o - 3*o = 220. Let x = 131 + o. Suppose -x - 189 = -2*j. Is j a multiple of 33?
False
Suppose 0*o = 6*o - 2*o. Suppose 2*l - 79 = b - o*b, 2*l - 81 = -b. Is 6 a factor of l?
False
Let p(n) = -n**3 - 3*n**2 + 11*n + 5. Let m = -9 + 9. Suppose -5*x - 2*z - 33 = 0, 0 = -x + z - m*z - 8. Is 31 a factor of p(x)?
True
Let c be 880/15 + (-1)/(-3). Suppose 0*l + 21 = 3*l. Let g = l + c. Is g a multiple of 22?
True
Let a(c) = -c**3 + 10*c**2 - c + 2. Let y be a(11). Let r = y + 278. Suppose -7*m = -11*m + r. Is 10 a factor of m?
False
Let c be -7 - -3 - -6 - 271*-1. Suppose -135 - c = -3*t. Does 34 divide t?
True
Let a = 10 + -14. Let y(o) = -o - 2. Let p be y(a). Suppose -n - 4*r = -2*n + 25, 4*n = p*r + 170. Does 9 divide n?
True
Let i = 11 + 38. Is 11 a factor of i?
False
Let u be (-5 + 6)/((-1)/(-3)). Suppose -2 = f + u, 235 = 2*n - 5*f. Is 21 a factor of n?
True
Suppose -7*f = -1339 - 5234. Is 41 a factor of f?
False
Is 58 a factor of -87*3*19/((-798)/56)?
True
Suppose -18 = 4*k - 10. Let b(s) be the third derivative of -s**6/40 + s**5/20 + s**4/24 - s**3/6 + s**2. Does 8 divide b(k)?
False
Let q(s) = -2*s**3 - 11*s**2 + 15*s - 14. Is q(-9) a multiple of 38?
True
Let c(q) = 45*q - 405. Is 105 a factor of c(37)?
True
Let t(c) = 23*c**3 + 3*c**2 + 2*c - 4. Does 8 divide t(1)?
True
Let q be 4 - (4 + -1)*-6. Suppose 0 = 5*r + 2 - q. Is 2 a factor of r?
True
Does 50 divide (12 + -39)/((-15)/1750)?
True
Let r = 77 + -66. Let s(l) = -l**3 + l - 3. Let o be s(0). Does 14 divide 19/(r/o - -4)?
False
Suppose -t = 5*z - 2542, 4*t + 0*t - 5*z - 10043 = 0. Does 12 divide t?
False
Let i(j) = -j. Let s(q) = -11*q - 25. Let k(o) = -3*i(o) + s(o). Is k(-16) a multiple of 13?
False
Let f be (-270)/6*(-6)/9. Suppose 49 = 3*q + a, 3*q - a - 11 = f. Is 15 a factor of q?
True
Let l(a) = -4*a**3 - a**2 + 10*a + 9. Let g = 55 + -59. Does 18 divide l(g)?
False
Suppose p = 3*p - 76. Let w = p - 27. Is 3 a factor of w?
False
Suppose 5*u + 9 = 4*o - 23, 0 = -4*u - 16. Suppose -19 = -r + o*b, 3*b + 87 = -0*r + 3*r. Is 34 a factor of r?
True
Let x = 119 + -115. Suppose -x*p = l - 7*p - 16, 0 = -p + 3. Is 3 a factor of l?
False
Suppose 26 = -2*g + 3*g. Suppose 24 + g = 5*t. Let q = 42 - t. Does 13 divide q?
False
Let s = 259 - 154. Suppose 6*t - 9 = s. Does 3 divide t?
False
Suppose 0 = 3*m - 0*m - 120. Let k = 58 - m. Does 6 divide k?
True
Let x = 2049 + -1445. Suppose -2*t = 2*t + w - x, -452 = -3*t - w. Does 35 divide t?
False
Let h(c) be the third derivative of 11*c**5/60 + c**4/8 - 5*c**3/3 + 3*c**2. Let w(r) be the first derivative of h(r). Is 25 a factor of w(1)?
True
Let z(j) = -5*j**2 - 4. Let t be z(-6). Let b = -67 - t. Is b a multiple of 13?
True
Let s(w) = 4*w**2 - w - 48. Is 4 a factor of s(-10)?
False
Let q = 1749 + -828. Is 26 a factor of q?
False
Suppose 9 = -3*f, g - 2*f - 15 = -5. Let d = g + -3. Let r = d - -9. Is 5 a factor of r?
True
Let q(o) = -2*o**2 - 17*o - 26. Let f be q(-7). Let g(a) = -3 + 3*a + 7 + 1 + a**2. Is g(f) a multiple of 4?
False
Let o(c) = -c. Let k(i) = -2*i + 9*i - 2*i - 2*i. Let r(m) = 2*k(m) + 9*o(m). Is r(-5) a multiple of 5?
True
Let k = 79 - 79. Suppose 46 = 4*r - k*r + 5*c, -c + 2 = 0. Is 7 a factor of r?
False
Let x(a) = a**2 + 3*a - 3. Let n be x(-6). Suppose n = -3*w - 9. Is 26 a factor of (-214)/w + 33/(-44)?
True
Let n be -4*(0 - 6/8). Suppose -5*o = -3*p - 831, -n*p = -2*o + 133 + 203. Let r = 243 - o. Is 22 a factor of r?
False
Let c = -99 - -101. Is (c/4)/((-2)/(-528)) a multiple of 12?
True
Let i(j) = -31 - 9*j + 31 - 12*j. Is 41 a factor of i(-2)?
False
Let k(s) be the third derivative of s**5/30 - 5*s**4/6 + s**3/3 - 10*s**2. Does 33 divide k(14)?
False
Let g = -20 - -18. Let r = -11 - g. Let b = r + 29. Is b a multiple of 6?
False
Let j be 19 + -1 + 4 + -4. Let w be 4/j - 4944/(-108). Let g = 86 - w. Does 20 divide g?
True
Suppose -3*h + 3*v + 72 - 27 = 0, 24 = 2*h + v. Suppose 10*z - h*z = -51. Is 17 a factor of z?
True
Suppose 10*s = 9*s + 32. Is s a multiple of 8?
True
Suppose 6*q - 420 - 1446 = 0. Does 10 divide q?
False
Let y = 980 - 644. Is 7 a factor of y?
True
Let h = 9 - -3. Suppose 4*n - h = 4*f, -3*f - 6 - 3 = -5*n. Is 11 a factor of (-9)/6*44/f?
True
Let o = 603 + -127. Is o a multiple of 14?
True
Suppose 0 = 3*j + 1 + 2. Is (13 + -7)/6*(-181)/j a multiple of 29?
False
Let a = 9550 - 6794. Is 129 a factor of a?
False
Let b(y) = 22*y**3 + 0*y**2 - 1 + y**2 + y + 13*y**3. Let k = -13 + 14. Is 11 a factor of b(k)?
False
Let j(f) = -15*f - 3. Suppose 3*i = p + 10, -2*i - 4 = -4*p - i. Let q be ((-18)/12)/(p/4). Is 14 a factor of j(q)?
True
Let k(x) be the first derivative of x**6/360 - x**5/8 + 5*x**4/12 - x**3 - 3. Let i(g) be the third derivative of k(g). Does 7 divide i(15)?
False
Suppose -37 + 9 = -5*g - l, -g - 2*l + 11 = 0. Suppose 6 = 5*a - 4, 0 = -k - g*a + 17. Is k a multiple of 2?
False
Suppose 17*g - 12*g - 530 = 0. Is 17 a factor of g?
False
Suppose -15*p + 20*p = 5*y + 4000, -p - 5*y = -812. Does 70 divide p?
False
Let f be ((-22)/(-6) + -3)*21. Let u be ((-21)/f)/(1/(-4)). Suppose -u*w + 93 = -3*w. Is w a multiple of 12?
False
Suppose 3*x + 2*s - 6*s - 776 = 0, 0 = x + s - 268. Is 24 a factor of x?
True
Let b = -82 + 85. Suppose 257 = b*h - 2*y + y, 3*h + y - 247 = 0. Is 21 a factor of h?
True
Suppose -1002 = -0*n - 2*n - 2*s, 2487 = 5*n - s. Let p = n + -298. Is 50 a factor of p?
True
Does 16 divide (-216)/80*-62 + (-6)/(-10)?
False
Let d(h) = h**3 + 10*h**2 - 7*h - 5. Suppose 0 = -2*q + 2*a - 10, -4*q + a = 2*a + 45. Is d(q) a multiple of 17?
False
Suppose 5*j = 9*j - 24. Is 70/4 - (-3)/j a multiple of 15?
False
Suppose 2*b - 7 = 5. Let o(l) = -11 - b*l + 5*l + 22 + 29. Is 14 a factor of o(0)?
False
Suppose -51*w = -83*w + 9856. Is 3 a factor of w?
False
Suppose -5*o + 5*l = -80, o - 6*o + 56 = 3*l. Suppose 2*k - 45 = -n, 2*n - 3*k - o - 42 = 0. Is n a multiple of 21?
False
Suppose 30 = 5*l + 5. Suppose 3*x - 9 = -6*d + 2*d, 0 = l*d. Is 3 a factor of 8/x + (-10)/(-30)?
True
Let c(f) = 100*f - 16. Does 14 divide c(6)?
False
Let i = 2727 + -905. Is i a multiple of 21?
False
Suppose -3*q + 384 = -3*r + 7*r, -r - 3*q + 105 = 0. Let j = -38 + r. Is 10 a factor of j?
False
Suppose 0 = -l + 4*l + 468. Let z = l + 245. Is 27 a factor of z?
False
Let k(z) be the first derivative of -z**4/4 - 7*z**3/3 - 6*z**2 - 12*z - 16. Is 18 a factor of