nd derivative of 0 - 7/2*u**2 + 5/6*u**3 + 3*u. Does 4 divide h(7)?
True
Suppose 2*o = -30 + 102. Suppose -31*t - 75 = -o*t. Does 5 divide t?
True
Let q = 16 - 21. Is (-21)/(-35) + (-457)/q a multiple of 6?
False
Let n be (-6)/(-8) + (-12)/16. Let q = n + 51. Let d = q + -36. Does 4 divide d?
False
Let v(p) = 257*p - 2. Let y be v(1). Suppose 65 = 4*a - y. Does 14 divide a?
False
Let n(k) be the first derivative of -k**2 + 44*k - 15. Does 11 divide n(0)?
True
Suppose -4*c - 682 = -44*s + 39*s, -4*s = -4*c - 544. Is 36 a factor of s?
False
Let g(z) = -z**3 + 5*z**2 + z + 2. Let i be g(4). Is 268/i + (-14)/77 even?
True
Let k = -16 + 26. Suppose 0 = 4*y - 16, 2*y = 5*l + k - 332. Let q = l + -26. Is 10 a factor of q?
True
Let i(t) = -t**2 - 7*t - 6. Let l be i(-4). Suppose -135 = w - l*w. Does 9 divide w?
True
Suppose -3*m = g - 129, 2*g - 231 = -4*m + 29. Suppose 4*q + 4*y = g, 4*y = -2*q + 7*y + 81. Does 9 divide q?
True
Does 34 divide 8 - 7 - (-1049 - (2 - -2))?
True
Suppose -9*l + 24 = 6. Suppose k - b - 296 = 3*b, -l*b + 1546 = 5*k. Is 44 a factor of k?
True
Is (-20356)/(-16) - 1 - (-6)/8 a multiple of 19?
False
Let x = 37 - -203. Is x a multiple of 12?
True
Let q be 2/(-3)*(-2 - 10). Suppose -2*c + 0*c + q = 0. Suppose c*m = 60 - 24. Does 9 divide m?
True
Let m(i) = -54*i + 408. Is m(-6) a multiple of 12?
True
Suppose 3096 = 32*q - 26*q. Is 4 a factor of q?
True
Let d = 48 - 52. Let t(u) = -u**2 - 6*u + 2. Does 2 divide t(d)?
True
Suppose -2*c - 15 = 3*c. Let z(k) be the third derivative of -k**6/30 - k**5/10 - 7*k**4/24 - 17*k**2 - 2*k. Is z(c) a multiple of 14?
False
Let b = 638 - 274. Suppose 0 = 2*h - b - 8. Is 34 a factor of h?
False
Let v(y) = -y**3 - 9*y**2 - 15*y. Let a be v(-7). Suppose 4*n + 2*m - 100 = 0, -4*m = -3*n - a*m + 75. Is n a multiple of 3?
False
Let p(d) = d**3 - 11*d**2 + 5*d - 20. Let a be p(8). Let y be (a/5)/(2/(-5)). Let b = y - 59. Is 25 a factor of b?
False
Let b = 30 - 22. Let d be (-10)/(-3) + b/(-24). Suppose i - 25 = -4*r, d*i = 2*r + 135 + 10. Is i a multiple of 13?
False
Let c(a) = 30*a + 80. Does 22 divide c(10)?
False
Suppose 0 = 4*n - 12, -16 - 677 = -d + 3*n. Is d a multiple of 13?
True
Is 8 a factor of (-2)/7 + 2636/14?
False
Suppose -3*b - k + 390 = k, 0 = -2*b - 5*k + 260. Does 3 divide b?
False
Let c(m) = -m**2 + 9*m - 6. Let k be c(8). Suppose 0 = k*l - 11 + 17. Is 49 + (-12)/(-4) + l a multiple of 16?
False
Let z(m) = -m**3 + 8*m**2 - 4*m - 5. Suppose -5*h - 17 = 4*i + 25, -4*h - 30 = 2*i. Let n be ((-14)/(-4))/((-3)/h). Does 16 divide z(n)?
True
Let h = 37 + -11. Let r be (12/(-15))/(2/(-30)). Suppose h = 2*m - r. Does 11 divide m?
False
Suppose -60 = -2*u - 8*u. Let n(b) = -4 - u + 3 + 5*b - 30*b. Is n(-5) a multiple of 29?
False
Let f(b) = b**3 - 5*b**2 - b + 7. Let t be f(5). Let p be 268/3 - (-3)/9*2. Suppose 4*g = -t*k + 70, 2*k = -7*g + 2*g + p. Is 10 a factor of g?
True
Suppose -2 - 10 = -4*u + 2*a, 0 = -u + 3*a - 2. Suppose -s + 1 = -u. Is 4 a factor of s?
False
Suppose -g - 2*k + 87 = -7*k, 2*g - 156 = 4*k. Is 9 a factor of g?
True
Let t(n) = -n**2 - n + 6. Let v be t(0). Let g = v - 13. Let o = g + 26. Is 7 a factor of o?
False
Let t = 60 + -57. Suppose t*v + 65 = 551. Is 30 a factor of v?
False
Suppose 78*w + 3*z - 10663 = 73*w, -z + 4265 = 2*w. Is 118 a factor of w?
False
Suppose 3*n + 2*f - 5*f = -9, -5*n - 11 = -f. Let m be (627/95)/(n/(-10)). Let v = 69 - m. Does 12 divide v?
True
Suppose 3*u - 5 - 4 = 0. Suppose -12 = -3*c - u*f, 3*c - 8*c + 2*f + 6 = 0. Suppose c*v - 30 = -v. Does 5 divide v?
True
Suppose 4*k = 2*y + 8 + 4, 0 = 4*y - 2*k - 6. Suppose -348 = -2*j - y*d, 3*j + 3*d = -2*j + 905. Is j a multiple of 23?
True
Suppose 2*z - 8 - 6 = 0. Suppose -z*t - 468 = -13*t. Is t a multiple of 3?
True
Let z(q) = 5*q - 4. Let l be z(4). Suppose l = 2*p - 8. Is p even?
True
Let k = -140 + 1870. Does 55 divide k?
False
Suppose 2*d + 5*q - 162 = 851, -3*q - 3 = 0. Let f = d - 337. Is f a multiple of 26?
False
Let g(j) be the first derivative of j**3/3 + 2*j**2 - 3*j + 4. Let s be g(2). Let d(h) = 4*h + 6. Does 12 divide d(s)?
False
Let v(u) = 4*u**2 - 15*u + 5. Suppose -5*d - 34 = -4*h, -4*h - 2*d + 18 = d. Does 3 divide v(h)?
False
Let v(c) = 6*c + 6. Let z be 14*(4/(-8))/(-1 + 0). Is 8 a factor of v(z)?
True
Let x(w) = -16*w - 4. Let z(a) = 0*a + a - 3 + 4. Let u(b) = x(b) + 3*z(b). Is 8 a factor of u(-2)?
False
Let d = 132 - -172. Is 38 a factor of d?
True
Suppose 0 = -3*t - 87. Let o(c) = 13*c**2 - 3*c - 4. Let f be o(2). Let i = t + f. Is 5 a factor of i?
False
Suppose -7*c + 70 = -1043. Is c even?
False
Let g(o) = -30*o**3 - o**2 - 13*o - 6. Does 16 divide g(-3)?
False
Let o(x) = 25*x**2 - 5 + 3*x + 2 + 4 + 1. Let f be o(-2). Suppose -5*j = -f - 34. Is 10 a factor of j?
False
Let o(m) = m**3 - 7*m**2 - 7*m - 8. Let i be o(8). Suppose i = -v + 3*k + 13, 5*k + 10 = v - 11. Is 9 a factor of (3 - (v + -25))*1?
True
Suppose -4*m = 0, -5*m = -5*p - 2*m - 5. Let r(b) = -12*b - 4. Let l(g) = g - 1. Let o(q) = p*r(q) + 3*l(q). Is o(1) a multiple of 13?
False
Let j(x) be the third derivative of -x**4/6 + 14*x**3/3 + 5*x**2. Is 11 a factor of j(-15)?
True
Suppose -r = 4*r + 4*c + 4, 4*r - c = 1. Let n(m) = m**3 + 101. Is 19 a factor of n(r)?
False
Let a = -5 - 11. Let c be (4/(-8))/((-1)/54). Let g = c + a. Is g a multiple of 9?
False
Let y(n) = 2*n**3 - 4*n**2 - 2. Let h be y(4). Suppose 5*c = h + 18. Is 5 a factor of c?
False
Suppose 10*b = 6*b. Suppose 0 = -b*q - 2*q + 5*a + 176, 0 = q + 2*a - 88. Is q a multiple of 10?
False
Let i(g) = -6*g**2 + 3*g**3 - 4*g**3 + 0*g**2 + 1 - g**2. Let o be i(-7). Suppose -b - o = -5. Is b a multiple of 4?
True
Suppose -3*w - w + 68 = 0. Let d = w + -3. Let t = d + 40. Is 9 a factor of t?
True
Suppose -3*m = -3*s - 4 + 16, -4*m - 20 = -5*s. Suppose m = 6*v - 3*v. Does 3 divide -1 - -2 - v - -5?
True
Suppose -4*h + 181 = -3*h - 3*l, -2*l - 578 = -3*h. Let m = -128 + h. Does 17 divide m?
True
Let m = 458 - 18. Is 5 a factor of m?
True
Let f(o) = -o**2 + 11*o - 8. Let k be f(10). Let p(j) = -j**k - 3 - 5*j + 4*j**2 + 0*j**2 - 5. Is p(-5) a multiple of 29?
False
Let w = -59 - -58. Does 12 divide -1*(w + (-55 - 3))?
False
Let i = 2255 - 2039. Is 10 a factor of i?
False
Suppose -1877 + 133 = 8*u. Let y = -143 - u. Is y a multiple of 13?
False
Let v(l) = -l + 13. Let i be 0*(2 - 1)/(-3). Is v(i) a multiple of 5?
False
Let w(z) = 3*z - 39. Let a be w(-11). Let s(u) = 14*u**3 + 11*u**2 + 9*u - 10. Let j be s(-7). Is 12 a factor of 2/(-9) + j/a?
True
Let g = 1659 + -1041. Does 43 divide g?
False
Let n = 870 + 319. Is 41 a factor of n?
True
Let r = -94 + 547. Is 22 a factor of r?
False
Let c(f) = 3*f**3 + 5*f**2 - 40*f + 2. Does 2 divide c(4)?
True
Suppose 3*m - 7*v - 2280 = -3*v, -2*m + 4*v = -1524. Does 42 divide m?
True
Suppose 2*k - 3*o = 20, 5*k + 4*o - 9 - 41 = 0. Let m be k/(2/4 + 0). Suppose b = m + 20. Does 17 divide b?
False
Let v be ((-200)/(-75))/(1/3). Let k(o) = -o**3 + 7*o**2 + 10*o - 4. Is k(v) a multiple of 2?
True
Let k = 319 - -17. Does 28 divide k?
True
Let r(k) = -k**3 + 3*k**2 + 5*k + 1. Let f be r(4). Suppose f*m = 18 - 3. Suppose 0 = -m*a - 6, -3*i + 7 = 5*a - 40. Does 7 divide i?
False
Suppose 5*n = 3*y + 516, -5*y = -3*n + 4*n - 92. Suppose -f - n = -154. Is 6 a factor of f?
False
Suppose 83*g - 60*g - 16238 = 0. Is g a multiple of 44?
False
Let o = -35 - -40. Suppose 2*a - 59 = o*d, -3*a = a + 4*d - 48. Does 8 divide a?
False
Let b = -7130 + 3536. Does 10 divide (-22)/143 + b/(-39)?
False
Suppose -35*i = -47*i + 5880. Is i a multiple of 10?
True
Suppose 129*h = 145*h - 9824. Is h a multiple of 36?
False
Let c = 444 + -61. Is c a multiple of 38?
False
Let v = -1035 - -1063. Is v even?
True
Suppose w - 118 = -0*w. Let i = -96 + w. Is 10 a factor of i?
False
Let t = 18 + -16. Suppose 5*a = -t*a + 238. Is 24 a factor of a?
False
Suppose 0 = -11*o + 6*o + 3*y + 1629, o - 4*y - 336 = 0. Does 4 divide o?
True
Suppose -13*t + 7164 = -9*t. Suppose 6*o + 189 - t = 0. Suppose 7*w - 48 = o. Is 13 a factor of w?
False
Suppose -9 - 13 = -2*q. Let d = q + -8. Suppose d*p - 3*k = 48, -2*k = 2*p - 6*p + 56. Does 6 divide p?
True
Suppose 0 = -5*f + 3*f + 10. Suppose h - 5 - 1 = 0. Suppose f*a - 101 = -h. Is 10 a factor of a?
False
Let t(i) = -6*i**2