 15 + 8, -m = 3*o + 22. Let b(d) = -d**3 - 4*d**2 + 19*d - 24. Does 14 divide b(o)?
True
Let h(g) = -g**3 - g**2 + 3*g + 1. Let u be h(0). Let x be ((4 + 0)/u)/2. Suppose x*n + 20 - 326 = 0. Is n a multiple of 9?
True
Let b(i) = 3*i - 22. Let t = -9 - 19. Let s = t - -37. Is b(s) even?
False
Suppose 80 = o - 123. Suppose 82*n - 780 - 1704 = -125*n. Suppose n = 5*z - o. Is z a multiple of 14?
False
Suppose -23 - 17 = -8*i. Suppose -3*y + 6*y + 4*k + 92 = 0, i*y - k + 138 = 0. Let x = 38 - y. Is x a multiple of 8?
False
Let g(j) be the first derivative of 7*j**2/2 - 23*j + 32. Let w be g(4). Suppose -5*o = i - 74, 20 + 74 = i - w*o. Is i a multiple of 14?
True
Let a(x) = 8*x - 59. Let l be a(9). Suppose 4*w + 17*i - l*i = 152, -2*w + 4*i + 82 = 0. Is w a multiple of 13?
True
Suppose -106*h + 448436 = 36*h. Is h a multiple of 20?
False
Let n(j) = j + j**3 - 40185 + 40232 - 2*j - j**2. Let x = -3 + 3. Is n(x) a multiple of 18?
False
Suppose -134 = a - 4*g, 2*a + g + 238 = 3*g. Let l = -64 - a. Is l a multiple of 10?
True
Is (-6660)/24*(-1280)/24 a multiple of 80?
True
Let u = 112 + -100. Suppose 21*i = u*i - 450. Let j = 251 - i. Does 31 divide j?
False
Let o be (-2 - -1) + 1 - (0 - -4). Let j be (o/22 + (-456)/33)/(-1). Is (5/(25/190))/(4/j) a multiple of 14?
False
Suppose -5*l - p = -207, -l - 2*p = -25 - 11. Let n = l - -28. Is 10 a factor of n?
True
Let l(c) = -12*c - 53 + 22*c**2 + 38 + 37*c. Is l(-7) a multiple of 6?
True
Suppose 0 = -2*u - 7*c + 5*c + 20186, 4*u - 4*c - 40412 = 0. Suppose -21*i + 4*i + u = 0. Is 18 a factor of i?
True
Suppose -329*s + 239258 = -298*s. Is 17 a factor of s?
True
Suppose j - 9567 = -3*z, 47*j + 3*z = 45*j + 19149. Is j a multiple of 77?
False
Let b(t) = -18*t + 687. Let j(d) = d - 43. Let p(g) = 2*b(g) + 33*j(g). Let q be p(-17). Suppose -6*c + 840 = q*c. Is 14 a factor of c?
True
Let f(v) = v**3 + 42*v**2 + 244*v + 51. Is 13 a factor of f(-25)?
True
Let d = 271 - 268. Suppose -12*q = -f - 16*q + 252, 5*q = d*f - 722. Is f a multiple of 18?
False
Let b(n) = 5*n. Let g be b(0). Suppose g = s - 400 + 41. Let m = s + -3. Is 18 a factor of m?
False
Suppose -3*q = 3*g - 155400, -3*q = 4*g - 123895 - 83297. Is g a multiple of 12?
True
Let v = 12981 - 8283. Is 18 a factor of v?
True
Let w(v) be the second derivative of -v**3/6 + 3*v**2 - 161*v. Suppose 4*h + 9*o + 100 = 4*o, 120 = -5*h - 5*o. Does 17 divide w(h)?
False
Suppose 2*a - 1082 - 340 = 0. Let h = 1020 - a. Does 12 divide h?
False
Suppose 0 = -3*l - 2*k + 12308, 9*l = 11*l + 2*k - 8204. Is l a multiple of 36?
True
Let x = -20 + -8. Let g = 28 + x. Let o(r) = r**2 + 2*r + 170. Is o(g) a multiple of 34?
True
Suppose -25679*t + 25687*t = 8. Let s(d) be the third derivative of 57*d**4/8 - 2*d**3/3 - d**2. Is s(t) a multiple of 31?
False
Let t be 16/(-96) + (-158)/(-12). Suppose -t*n + 1190 = 20. Is 3 a factor of n?
True
Suppose -x - 5*u = -23, -u = -3*x - 4*u + 21. Suppose -4*r + 945 = x*r. Does 45 divide r?
True
Let l(o) = 63*o**2 - 113*o**2 - o - 2 + 52*o**2. Suppose -c + 1 = -2*s - 3, 0 = 3*c - 2*s + 4. Is l(c) a multiple of 12?
False
Let l be ((0 + -1)*78)/(76/114). Let r = l - -464. Does 25 divide r?
False
Suppose 10*b - 2*b = 47952. Is b a multiple of 15?
False
Let k(z) = z + 63. Let x(y) = 8*y + 91. Let u be x(-13). Is k(u) a multiple of 10?
True
Let a(y) = -6*y + 4*y**2 + 4*y**3 - 3*y**3 - 27 + 27. Let w be a(-5). Suppose -4*o - 4*z = -504, -w*z + 127 + 253 = 3*o. Is 16 a factor of o?
False
Let q = 13011 + -7530. Is 63 a factor of q?
True
Suppose 8*x + 10940 = 12*x. Suppose 0 = -17*f + 16*f + 4*q + 547, -5*f - 2*q + x = 0. Is 48 a factor of f?
False
Suppose 4*n + 2*c + 3 = 19, 3*n - 7 = -4*c. Suppose -13*g = -n*g - 24. Suppose g*q - 385 = -2*q. Is 13 a factor of q?
False
Let j(p) = -p**3 + 52*p**2 + 336*p - 69. Is 7 a factor of j(52)?
False
Let a(k) = 97*k**2 + 17*k + 28. Let j(r) = 32*r**2 + 5*r + 9. Let u(i) = -2*a(i) + 7*j(i). Suppose 0 = -3*c + 5*c + 4. Does 42 divide u(c)?
False
Suppose -17*n = -15*n - 14. Suppose 0 = 3*r - b - n - 105, -b - 40 = -r. Let p = 1 + r. Is p a multiple of 12?
False
Let j = -128 - -230. Let i = 131 - j. Suppose 0 = -3*t + 725 - i. Is 58 a factor of t?
True
Let k(z) = 19*z**2 - 3. Let v(o) = 90*o - 1. Let m be v(-1). Let p = -88 - m. Does 36 divide k(p)?
False
Is 38 a factor of -8 - (-297430)/130 - 1/(-13)?
True
Let a(z) = 1. Suppose 0 = 5*s - 0*s + y, 3*s + 18 = 3*y. Let c(b) = 4*b - 10. Let j(p) = s*c(p) - 3*a(p). Does 13 divide j(-8)?
True
Let u(q) = q**3 - 5*q**2 - 915*q + 42. Is u(33) a multiple of 19?
False
Suppose -5*w + 75 = -0. Suppose -w*o = -19*o + 700. Does 2 divide o?
False
Let p be (-66)/198 + ((-14)/(-6) - 0). Suppose -5*t = -p*g + 1508, 2*g = 4*t + 1653 - 149. Is g a multiple of 24?
True
Let o(b) = -b**3 + 8*b**2 + 3*b - 21. Let m be o(8). Is 24 a factor of (-18)/2 + m - -1661?
False
Let h = -1219 - -703. Let s(t) = -36*t**3 - t**2 + 166*t - 326. Let p be s(2). Let y = p - h. Is 46 a factor of y?
True
Suppose -16*x - 99 = 45. Let w(t) = 2*t**2 + 13*t - 10. Is 7 a factor of w(x)?
True
Suppose 0 = 4*x + 2*d + 2808, 0 = 2*x - 3*d + 525 + 887. Is 21 a factor of (-4)/38 - 118178/x?
True
Let s = 122408 + -84027. Is s a multiple of 20?
False
Let w be 196763/(-56) + 27/(-72). Let n = -2403 - w. Does 11 divide n?
True
Suppose 24 + 36 = 10*l. Suppose 0 = -3*t - 5*b - l, 0 = -3*t + b + 7 + 5. Is 19/((-38)/72)*t/(-4) a multiple of 5?
False
Let l = -31 + 464. Suppose 0 = 4*t + l + 47. Let f = -72 - t. Is f a multiple of 6?
True
Suppose -36 = -2*a - 10*a. Suppose -4*i - 138 = -2*r, -i - 144 = r - a*r. Is 2 a factor of r?
False
Suppose 7*c - 7725 = 13457. Suppose 5*q - 3032 = s, 5*q - 3*s + 5*s = c. Is q a multiple of 11?
False
Suppose 8*r = 4*r + 5*l + 703, -3*r + 2*l = -529. Suppose 5*k - r = 168. Is k a multiple of 11?
False
Let f = 81 - 74. Let a = 655 - f. Does 9 divide a?
True
Suppose 2*c + 3*i = 2401, 5*i = 3*c + 3*i - 3569. Suppose c = 42*g - 10399. Is 13 a factor of g?
False
Let q(j) = -j**2 - 130*j + 106. Is q(-56) a multiple of 10?
True
Let x = 41 - 42. Let z(v) = -50*v. Let m be z(x). Suppose 0*c - 50 = -2*c + 3*n, 2*c - 4*n = m. Does 25 divide c?
True
Let b(p) = -p - 11. Let i be b(-18). Does 4 divide (-390)/(-2)*i/(-175)*-10?
False
Let c(m) = -119*m - 8193. Does 22 divide c(-131)?
False
Let d = 52230 + -761. Is 20 a factor of d?
False
Suppose 0 = f + 5*d - 243, 6*f - 4*d = 9*f - 696. Suppose -13*k = -16*k + f. Is k a multiple of 6?
False
Let n = -7 + 16. Suppose -n - 16 = 5*t. Does 41 divide ((-82)/t)/(3/30)?
True
Let c(p) = p**3 - 14*p**2 - 30*p + 22. Let h be c(16). Let b = 168 - h. Is 36 a factor of b?
False
Suppose -3*s = 4*p - 2372, 3*p - 29*s - 1776 = -32*s. Is 26 a factor of p?
False
Suppose -k = -7*m + 6141 - 21867, 5*k - 5*m - 78390 = 0. Is 16 a factor of k?
False
Let r(d) be the second derivative of 9*d**3 + 174*d**2 + 168*d. Is r(-6) a multiple of 12?
True
Suppose 0 = -2*q + 4, -28*q + 23*q = -o + 1861. Does 3 divide o?
False
Let c(o) = o**2 + 10*o + 29. Let t be c(-6). Suppose -5*a - t*w = -1980, -134 = 2*a - 2*w - 930. Suppose 1220 = 7*y - a. Is 11 a factor of y?
True
Let r(h) be the third derivative of h**5/30 - 3*h**4/4 + 3*h**3/2 - 2*h**2. Let o be r(7). Let c = o + 27. Is 4 a factor of c?
True
Let i = -65 - -149. Suppose i*v + 240 = 89*v. Does 8 divide v?
True
Let t(o) = o**3 - o**2 + 2*o - 40. Let b be t(0). Let r = 53 + b. Does 7 divide (r + -11)*(-34)/(-4)?
False
Let m = -12582 + 16478. Is m a multiple of 2?
True
Let p be (-7777)/(-308)*(-4)/1. Let m = 481 + p. Is m a multiple of 10?
True
Suppose -4*y + 5411 = -k, 3*y - y = 3*k + 2713. Is 8 a factor of y?
True
Suppose 8*f = 16*f - 56. Let a(o) = o**3 - 9*o**2 + 12*o + 34. Does 3 divide a(f)?
False
Let a be -5 + (8 - 506)/3. Let m = a - -207. Does 12 divide m?
True
Suppose 0 = 4*r - 4 - 4. Suppose 30*o - 2411 = 27*o + d, -r*d - 812 = -o. Is o a multiple of 34?
False
Suppose 0 = 8*c - 276777 + 71433. Is c a multiple of 31?
True
Let j = 10 - 6. Suppose -j*y + 32 + 20 = 0. Suppose 280 = y*q - 9*q. Does 14 divide q?
True
Suppose 2*b = -5*a + 2564, 5*a - 2573 = b - 0*b. Suppose 0 = -4*z - a + 2214. Does 23 divide z?
False
Let h be (2/(-6))/((-13)/1092). Suppose -3*s = m - 6*m + 56, 0 = 4*s - 4*m + 72. Let x = h - s. Is 4 a factor of x?
Fal