f 13?
True
Let b(d) be the first derivative of -9*d**2/2 + 138*d - 37. Is 24 a factor of b(0)?
False
Let c = 25 + -22. Let p be ((-6)/(-9))/(c/(-9)). Let i = p - -17. Is i a multiple of 3?
True
Let z(a) = -171*a - 40. Is 14 a factor of z(-4)?
True
Let b(d) = 3*d - 6. Suppose -31*h - 3 = -32*h. Let v be b(h). Suppose -f + 183 = v*s - 2*f, -s = 4*f - 48. Is s a multiple of 15?
True
Suppose -50 = 3*s + 7*l - 3*l, 30 = -2*s - l. Let u = s + 40. Is u a multiple of 19?
False
Let u(h) = -61*h + 104. Does 42 divide u(-10)?
True
Let c be (3 - (1 + 3))*-5. Suppose -c*w = 19 - 4. Let l(b) = 6*b**2 + 3*b. Is 12 a factor of l(w)?
False
Suppose 6 - 4 = -4*z + m, 4*m = 8. Suppose -y + 18 + 103 = z. Is y a multiple of 17?
False
Is ((-2)/(-4))/((-53)/106)*-1933 a multiple of 27?
False
Let z(s) be the first derivative of s**4/4 + 4*s**3 - 7*s**2/2 + 6*s + 2. Let g = -66 - -54. Is 19 a factor of z(g)?
False
Let j(z) = -z**3 - 3*z**2 + z - 12. Suppose 2*a = 4*a + 10. Does 8 divide j(a)?
False
Suppose -5*j - a + 752 = -4*j, -2242 = -3*j + 4*a. Is j a multiple of 75?
True
Let t(g) = 4*g**2 - 30*g + 8. Let o be t(12). Let b = -116 + o. Is b a multiple of 18?
True
Suppose 0*n = 3*n - 2*j - 1820, 3050 = 5*n + 5*j. Is (n/6 - 0)*3 a multiple of 38?
True
Let b = -822 + 1202. Is 20 a factor of b?
True
Let l(u) = 11 + 7*u - 7 + 13*u**2 - 12*u**2 - 35. Is l(9) a multiple of 9?
False
Suppose 0 = 5*m + 3*k - k - 19, 19 = 3*m + 5*k. Let b(u) = 3*u**2 + 4 + 2 - 4 - 2*u - 3. Does 20 divide b(m)?
True
Let v(r) = -r**3 - 4*r**2 + 5*r + 5. Let k be v(-5). Suppose k*p + 0*w - 192 = -4*w, -126 = -3*p + 3*w. Is 10 a factor of p?
True
Let a(l) be the first derivative of l**4 - 5*l**3/3 + l**2 - 7. Let w be a(5). Suppose -6*s = -w - 329. Is 17 a factor of s?
True
Suppose -u - 25 = u - 5*b, -25 = -5*b. Suppose 0*c - c + 68 = a, u = -a + 5*c + 86. Is 23 a factor of a?
False
Let c(t) = 6*t + 25. Suppose u + 4 + 9 = 0. Let d be c(u). Let m = -29 - d. Does 24 divide m?
True
Let q = -9 - -13. Let h(z) = z**2 - 6*z - 18. Let r be h(8). Does 2 divide -5*r/q*2?
False
Let n be (-12)/2*8/12. Is 15 - (-5 - (-6 - n)) a multiple of 18?
True
Does 10 divide (-5)/(-2) - (6 - 3899/14)?
False
Let j = -27 - -27. Suppose 207 = 4*h + 3*i - 23, -2*h - 4*i + 120 = j. Is 15 a factor of h?
False
Let o(s) = -14*s. Suppose -8*v = -9*v + 7. Let y(d) = 21*d. Let r(j) = v*o(j) + 5*y(j). Is 2 a factor of r(1)?
False
Suppose 29*w - 31*w = -390. Does 22 divide w?
False
Let l(j) = -j**3 - 8*j**2 + 5*j - 4. Let g be l(3). Let w = 125 + g. Is w a multiple of 14?
False
Suppose r = 5*f, 3*r - 7 + 19 = 3*f. Let w(g) = -10*g. Let a be w(f). Does 5 divide a/(2/6*3)?
True
Let j = 11631 + -7886. Does 61 divide j?
False
Let o(m) = 18*m - 5. Let a(l) = -19*l + 4. Let w(v) = -4*a(v) - 5*o(v). Is w(-6) a multiple of 31?
True
Let b be ((-2)/1 - -4) + 0. Does 3 divide b/17 + (-2220)/(-204)?
False
Let l(z) = -10*z - 1. Let r be 1/((-1)/(-9) + 0). Let f(x) = -41*x - 5. Let h(g) = r*l(g) - 2*f(g). Is 3 a factor of h(-1)?
True
Let h(w) be the second derivative of w**4/12 + w**3/6 - 3*w. Suppose z - 2*m = -0 + 3, -5*z = -m - 15. Is h(z) a multiple of 11?
False
Suppose 0 = 3*u + 2*p + p - 30, 5*u = 2*p + 50. Let c(y) be the second derivative of y**3/3 + 8*y**2 + 24*y. Is c(u) a multiple of 22?
False
Suppose -5*y = -769 - 776. Let n = -160 + y. Is n a multiple of 31?
False
Suppose -3*r + 237 = 3*f, 4*r - 45 = 5*f - 449. Suppose 34 = -q + 3*q - 2*j, f = 5*q - 4*j. Is 11 a factor of q + 23 - 2*-1?
False
Let w(o) = -75*o + 16. Let i be w(-2). Let x = i + -91. Does 36 divide x?
False
Suppose 5*i - 7*i = 2*q - 158, -5*q - 158 = -2*i. Is 3 a factor of i?
False
Suppose g = -i - 33, 0 = 4*g - g + i + 95. Let w = g - -33. Is 315/65 + w/13 a multiple of 5?
True
Let d = 1349 + -1403. Let w = -379 - -260. Let k = d - w. Does 10 divide k?
False
Suppose -3*r + 8*r = -3*j + 1038, -411 = -2*r + 3*j. Let x = 350 - r. Does 11 divide x?
True
Let a be 18/10 - (-13)/65. Suppose -a*m - 2*m = 3*c - 128, 5*c + 2*m = 232. Does 12 divide c?
True
Let m = 73 + -69. Suppose -6*f + 242 = -m. Does 3 divide f?
False
Let j(g) = -130*g + 4. Is 35 a factor of j(-2)?
False
Suppose 4*c - 3*r - 27 = 0, 3*c - r = -c + 17. Let f be -2*(-4)/(12/c). Suppose 8*s = f*s + 102. Is 17 a factor of s?
True
Suppose 740 = -c - 292. Suppose -9*u = -14*u + 30. Is 20 a factor of u/33 - c/11?
False
Let v(n) = -n**3 - 8*n**2 + 3. Let l be v(-8). Suppose l*x = 4*r + 316, -322 = -3*x + 2*r - r. Is 17 a factor of x?
False
Let u be ((-126)/(-4))/(-9)*-194. Suppose 2*c - u = -109. Does 57 divide c?
True
Let o = 102 + 197. Suppose -4*u = -o - 165. Does 28 divide u?
False
Let d = 4 - -3. Let b be 0/2 + 126/d. Suppose -3*m = -m - b. Is m a multiple of 3?
True
Suppose 38*j = 43*j - 60. Is 6 a factor of j?
True
Suppose 3*u = 2*u - 4*b + 750, 4*b - 1480 = -2*u. Does 9 divide u?
False
Let w = -8 + 15. Let j be -3 + w - 1/(-1). Suppose -42 = -4*p + p + 3*g, 0 = -j*p - 3*g + 54. Is p a multiple of 6?
True
Suppose 28*x = 37*x - 9657. Does 37 divide x?
True
Let q(g) = -63*g - 188. Is q(-5) a multiple of 22?
False
Let p = 60 + 27. Let c = 127 - p. Does 8 divide c?
True
Let z = -197 + 313. Is 2 a factor of z?
True
Suppose -2*o = -5*o + 15. Suppose o*c = -3*m - m + 32, c = -2*m + 16. Suppose 0*x + 4*x - 36 = -2*j, -m = 4*j. Does 5 divide x?
True
Let q(z) = 4*z - 9. Let t(y) = 2*y - 5. Let k(x) = -3*q(x) + 5*t(x). Let p be k(3). Is (88/(-6))/p*15 a multiple of 16?
False
Let u be (6 - 148)*(-3)/(-6). Let v = u + 98. Is v a multiple of 9?
True
Let x(h) = -10*h - 2. Let w be x(-1). Is 5 a factor of (20/w)/(12/8)*15?
True
Let t be ((-52)/(-6))/((-6)/9). Let g(z) = z**3 + 13*z**2 - z. Let x be g(t). Suppose -x = -3*d + 2*d. Is 3 a factor of d?
False
Is 34 a factor of -6 + (-822)/(-2) + 3?
True
Is ((-24)/(-20))/(6/720) + -3 a multiple of 11?
False
Let x = -42 + 45. Is (-2 + x + 5)*8 a multiple of 12?
True
Let h = -25 + 19. Does 9 divide 1308/54 - h/(-27)?
False
Let o be (1/3)/(4/240). Let h = 6 + o. Does 13 divide h?
True
Let z = 0 - -3. Suppose -p - z*o + 150 + 89 = 0, -4*p = 5*o - 942. Is p a multiple of 30?
False
Suppose -2*c + 1212 = 2*c. Let v = c - 160. Does 29 divide v?
False
Suppose -3*k = -0*k - 3*l + 7905, -3*k - l = 7925. Is 14 a factor of k/(-63) + (-22)/(-231)?
True
Let t(x) = 5*x**2 - 8*x + 2. Does 3 divide t(4)?
False
Let t = 9 - 14. Let v be (-4)/10*t*2. Suppose -v*h + 48 = -0*h + 4*p, p + 36 = 2*h. Is h a multiple of 8?
True
Suppose -5*l = 4*v - 1762, 0 = 77*l - 78*l + 2. Is 13 a factor of v?
False
Let s = 41 - 0. Is 4 a factor of s?
False
Let t = 77 - -102. Does 23 divide t?
False
Let o = 2384 + -1153. Does 9 divide o?
False
Suppose 0 = 5*t + 5*c - 1775, -c = 2*t + 2*t - 1420. Suppose -m - 677 = 4*o, 5*m = 2*o - 0*m + t. Does 21 divide (-20)/o + (-710)/(-34)?
True
Let c(x) = -435*x - 286. Is 83 a factor of c(-6)?
True
Let p(n) = -n + 6. Let g be p(9). Does 42 divide (-604)/g*9/12?
False
Suppose 5*a = -s - 0*s + 9, 4 = -2*s + a. Is 14 a factor of ((-48)/(-15))/(s/(-35))?
True
Suppose 22 = -12*i + i. Is (-23 - 104)/(i/(4 - 2)) a multiple of 17?
False
Suppose -5991 = -4*r - j, -6*r + 10*r - 5971 = -5*j. Is 8 a factor of r?
False
Let p(d) = 5*d - 4. Let l be p(3). Suppose l + 109 = 4*n. Is 27 a factor of n?
False
Let h = 4 - -63. Let o = 152 - h. Is 7 a factor of o?
False
Suppose -l + 2 = 1. Let w be (-1 - (-142)/4)/((-21)/(-28)). Let r = w - l. Is r a multiple of 15?
True
Let w(q) = -q**2 + 5*q - 3. Let b be w(3). Let l be (b/6)/(1/40). Suppose l = 3*a - 1. Is 2 a factor of a?
False
Suppose 4*m - 4524 = -8*m. Is m a multiple of 10?
False
Suppose -3*c + 7*c = -5*n + 230, n - 5*c - 75 = 0. Let l = n + -39. Is l a multiple of 11?
True
Let t = 1313 + -557. Does 21 divide t?
True
Let b(h) = h + 7. Let l be b(-3). Suppose -2*c = -3*c + t + 6, t = -4*c + l. Suppose -c*r - 3 + 19 = 0. Does 4 divide r?
True
Let y = 8 + -2. Let g = 11 - y. Suppose -g*k + 335 - 115 = 0. Does 15 divide k?
False
Suppose -87 = h + 2*s - 360, -4*h + 3*s + 1037 = 0. Does 15 divide h?
False
Let i = 91 + -86. Suppose 3*r + j = 9 + 22, 0 = i*r - 3*j - 75. Is 6 a factor of r?
True
Let q = -849 + 1230. Is 64 a factor of q?
False
Let o(n) be the second derivative of n**3/6 - 15*n**2/2 + 5*n. Let d be o(7). Let a = 1 - d. Is a even?
False
Sup