 second derivative of x**3/6 - 3*x**2/2 + 3*x. Let j be l(7). Suppose -a - 14 = -2*s, -j*a - 11 + 3 = 0. Does 2 divide s?
True
Let b = -1509 - -1449. Let l be -103 + (1 - (0 + 1)). Let d = b - l. Does 13 divide d?
False
Suppose 16 - 5 = 4*h + 5*i, 0 = 2*h - 4*i - 12. Suppose 3*l = h*l - 160. Does 32 divide l?
True
Let b be -1*579/1 - -3. Is 2/10 + b/(-20) a multiple of 5?
False
Let b(l) = -l**2 - 9*l - 10. Let j be b(-8). Is 12 a factor of (2 + -1)/(j/(-178))?
False
Let h be (-4)/14 + 20/70. Suppose h = g + 3*n + n - 113, -n = -1. Is 26 a factor of g?
False
Suppose -4*j = b - 114, -3*b + 2*j + 372 = 4*j. Is 14 a factor of b?
True
Let u(y) = 2*y**2 - 2*y - 15. Let h be u(-7). Let f = h + -27. Suppose -5*m + 195 = -f. Is m a multiple of 15?
False
Is (-16 - (0 + -3))*-16 a multiple of 52?
True
Let h(d) be the first derivative of -131*d**4/4 + 2*d**3/3 + d**2/2 - 9. Is h(-1) a multiple of 12?
True
Let h(t) = -13*t - 184. Is h(-22) a multiple of 20?
False
Suppose -21*v - 23*v + 14652 = 0. Is 2 a factor of v?
False
Suppose 3*q = 593 + 223. Is q a multiple of 10?
False
Let y(w) be the second derivative of 5*w**4/12 - w**3 + 2*w**2 - 220*w. Let b be 4/18 + (-50)/(-18). Is y(b) a multiple of 26?
False
Let a(g) = -3*g**3 + 9*g**2 - 2*g - 12. Let s(p) = 2*p**3 + 4*p**2 + 0 - 14*p**2 + 2*p + 13. Let c(j) = -3*a(j) - 4*s(j). Is 5 a factor of c(-13)?
True
Let v(h) = h**3 + 5*h**2 - 7*h - 4. Let u be v(-6). Suppose u*o - w = w - 10, -10 = -o - 2*w. Let f = o - -5. Does 4 divide f?
False
Let q(r) = 2*r + 29. Let c be q(-12). Suppose l - 1 = 2*l - 5*m, c*m = -4*l + 71. Does 8 divide l?
False
Suppose 2 = -9*m + 56. Does 15 divide 2 + (0 - 0) - (-19 - m)?
False
Let b be (-13)/(-39)*(-1299)/(-1). Suppose -j = 5*o - b + 173, o + 3*j = 66. Is 17 a factor of o?
True
Does 23 divide 19/(456/16) - (-412)/3?
True
Let y(j) = -j**3 - 2*j**2 - 4*j - 5. Let b be y(-2). Suppose -i + 2*m = -19 - 17, 0 = -b*i - m + 122. Is 7 a factor of i?
False
Suppose -2860 = -5*s - 4*p, 4*s = -2*p + p + 2288. Is s/6 - 4/(-6) a multiple of 12?
True
Let y be 3/6 - -7*(-1)/(-2). Suppose -4*x - 193 = -3*z, 320 = 4*z + y*x + 72. Does 17 divide z?
False
Suppose 0*w + 3*w = -3*d + 15, 0 = 4*w + 12. Suppose 4*n + d = 0, 0*k - k + 24 = 3*n. Does 30 divide k?
True
Let f = 96 - 48. Let z = f - 25. Let y = z + -10. Is y a multiple of 13?
True
Let b = 225 + -170. Is 4 a factor of b?
False
Let u = 362 + -330. Is u a multiple of 8?
True
Is 4 a factor of (10 + 2)/((-5)/(-30))?
True
Let w(x) = x**2 + 4*x + 1. Let t be w(-3). Is 43 + t + -1 - 1/1 a multiple of 13?
True
Let i = 16 - 15. Is 11 a factor of (14/(-3))/(((-4)/132)/i)?
True
Let i be (-2 + 3)*(-5)/(-5). Suppose 4*q + 223 = -i. Is (3/4)/((-6)/q) a multiple of 2?
False
Let q = -246 + 389. Does 11 divide q?
True
Suppose -4*s = -7*s - 33. Let f be s/(-66) + 2/(-12). Suppose i = r + 55, f = -4*r + 15 + 5. Is 15 a factor of i?
True
Let v(y) = -y**3 - 6*y**2 - y + 2. Let g(b) = -6*b**2 + b + 1. Let q be 2*(14/4)/(-7). Let m be g(q). Is 6 a factor of v(m)?
False
Let w be ((-42)/9)/(12/(-162)). Suppose b + 2*b + w = 0. Is 2 a factor of (-3)/b - (-27)/7?
True
Is 3 a factor of 1 + (-4 - 0) - -37?
False
Does 8 divide 214 - (1 - 5) - 2?
True
Let y = -1114 - -1289. Does 35 divide y?
True
Let t be (54/(-15))/(3/(-15)). Is 47 a factor of (-5)/((-315)/17752) - (-4)/t?
True
Suppose 0 = -2*f - 10 + 54. Suppose -f = -o + 6. Suppose l - o = -l. Is 7 a factor of l?
True
Does 2 divide (37 - 20/5)/1?
False
Let u(y) = -y**3 + 11*y**2 - 7*y - 26. Let o be u(10). Suppose -7 + 33 = 2*q. Suppose -3*m + v = -180 - q, -79 = -m + o*v. Does 25 divide m?
False
Suppose 304*o - 9315 = 299*o. Is 27 a factor of o?
True
Let n be ((-1)/(-2))/((-1)/(-4)). Suppose -135 = -n*v - 27. Is 9 a factor of v?
True
Let h(s) = 3*s**3 - s**2 - 3*s + 1. Is 16 a factor of h(3)?
True
Suppose 0 = -2*g + g. Suppose g = -4*l - 3*l + 63. Is l a multiple of 9?
True
Let y(m) = m**3 - 4*m**2 + 5*m - 4. Suppose 2*n = 2 + 4. Let x be y(n). Suppose 2*b = x*l + 52, 4*b - 130 + 22 = 3*l. Is b a multiple of 10?
True
Let y = 29 + 10. Let n = -27 + y. Is 12 a factor of n?
True
Let h(l) = l**2 - 2*l - 9. Let c be h(5). Is 26 a factor of 267/c + (-5)/10?
False
Let c(z) = 4*z**2 + 122*z - 8. Does 14 divide c(6)?
True
Let n(a) = a**3 + 4*a**2 - 4*a + 3. Let t be -5*2/(-20)*8. Suppose t*g + u = -18, g - 2 = 2*g - u. Is 8 a factor of n(g)?
False
Suppose 2*c + 54 = 3*c. Is c even?
True
Let b(t) = 4*t + 38. Let x be b(12). Let v = x + -51. Is v a multiple of 7?
True
Suppose -4*a + 1276 = 2*h, 14 - 1290 = -4*a + h. Is a a multiple of 29?
True
Suppose -2*h + 3*z + 1440 = 0, 6*h - h = -3*z + 3558. Is 14 a factor of h?
True
Suppose -2*s + 15 = 3*s. Suppose -x + 57 = -5*p, s = -3*p - 0. Is x a multiple of 12?
False
Let d be (60/(-25))/(2/(-25)). Let n be -1 - (36/(-15) + (-6)/10). Suppose n*r - d = -r. Is r a multiple of 5?
True
Let s(k) = k**2 + 17*k - 106. Does 2 divide s(5)?
True
Suppose 0*u = -3*u. Suppose 4*m + 5*p - 32 = u, -5*p + 8 = -4*m - 0. Suppose 0*v + x + 139 = 2*v, -m*v = -2*x - 210. Is v a multiple of 11?
False
Let l be 222/36 + (-4)/24. Suppose 3*y = l*y - 93. Is 29 a factor of y?
False
Let q(z) = -40*z + 2. Suppose -3*j = -2*j. Let f = j - 1. Is q(f) a multiple of 14?
True
Suppose -45*x + 53482 + 27788 = 0. Is x a multiple of 129?
True
Let n(x) = x + 11. Let d = -4 - 1. Let p(m) = -m**3 - 4*m**2 + 5*m - 5. Let l be p(d). Does 3 divide n(l)?
True
Let p = 285 - 172. Does 6 divide p?
False
Suppose z + 18 = 2*r, -r + 2*z = -11 + 5. Is r even?
True
Let h be (122 - (1 - 3)) + 3/(-1). Suppose v + 31 = h. Does 9 divide v?
True
Let z(t) = 8*t**2 - t. Suppose -4*i = -3*g + 3, 4*g - 10 = 4*i - 2. Let f = g - 4. Is z(f) even?
False
Is -6*(1 - -1)*(23 - 139) a multiple of 6?
True
Suppose 3*k = -z - 50, 3*k + 0*z + 58 = z. Let v = -102 - k. Is 36/2*v/(-24) a multiple of 11?
False
Let i = -11 + 4. Let x = -5 - i. Let q = x - -38. Is 10 a factor of q?
True
Let g be (18/15)/(15/50). Let w be g*-1 + 276/3. Let m = w + -40. Does 10 divide m?
False
Suppose -2*f + 355 = i, 9*f + 1065 = 3*i + 7*f. Is 14 a factor of i?
False
Let a(b) = -b. Let l(u) = u**3 - 9*u**2 + 5*u - 11. Let v(p) = -3*a(p) - l(p). Let d = -12 + 20. Does 15 divide v(d)?
False
Let r(j) = 21 + 18 + 5*j - 32 + 36*j**2 - 3*j. Does 15 divide r(-3)?
False
Let g(v) = -3*v**2 - 7*v + 5. Let h(o) = 2*o**2 + 7*o - 4. Let q(c) = 3*g(c) + 4*h(c). Let r be q(7). Does 11 divide (4 - 1)/(r/(-11))?
True
Is 11 a factor of 25992/42 + (-9)/(-63)?
False
Let w(r) = r - 5. Let o be w(-12). Let b be o/(-2)*28/2. Suppose -4*d - b = -5*p, 5*p - 3*d - 67 - 56 = 0. Does 10 divide p?
False
Let o = 538 + -362. Is o a multiple of 11?
True
Let m(h) = h**2 - 3*h + 1. Let x be m(2). Suppose 3*b - 3*o + 78 = 0, 4*o + 124 + 33 = -5*b. Is 6 a factor of (b/((-4)/(-4)))/x?
False
Let p(i) be the second derivative of -i**5/20 + 3*i**4/4 - 4*i**3/3 + 3*i**2/2 + 8*i. Let g be p(8). Suppose -18 = -g*b + 81. Is b a multiple of 11?
True
Let s(u) = -u**2 + 12*u - 3. Let q(d) = -d - 2. Let y be q(-3). Let x be 7 - -1 - (0 - y). Is 5 a factor of s(x)?
False
Let y(p) = p**2 + p - 3. Let w be y(-12). Let m = -65 + w. Is 16 a factor of m?
True
Let p = 126 + 217. Is p a multiple of 49?
True
Let i = -471 + 761. Suppose -14 = n + i. Does 14 divide (-5)/2*n/10?
False
Suppose 4*f + 1796 = 5*x, -4*x + 0*f + 1442 = 2*f. Suppose 4*y = -y + x. Is 6 a factor of y?
True
Does 61 divide (-5)/25 - 26648/(-40)?
False
Let x be 9 + -6 + (1 - 1). Let k = 1 - x. Is 19 a factor of (36 - 4) + 2 - k?
False
Suppose 707 = -7*d + 161. Let y = -48 - d. Is (y/(-8))/((-1)/8) a multiple of 6?
True
Suppose -28*i + 192 = 3*q - 24*i, -4*q + 3*i = -281. Is q a multiple of 3?
False
Is 39 a factor of (271 + 3)/(-2 - (1 + -5))?
False
Suppose 2 + 0 = -2*f. Let z(h) = -h**2 + 2*h + 1. Let c be z(f). Is 16 a factor of c + 1 - -17*1?
True
Suppose h + 2 = 0, 3*r + 9*h - 1126 = 11*h. Is 34 a factor of r?
True
Suppose 0*z - z + 2 = 0. Let q = 209 + -155. Suppose -4*s = j + j - q, 36 = 2*s - z*j. Is s a multiple of 3?
True
Let d(i) = -159*i + 66. Does 10 divide d(-6)?
True
Suppose 4*h + 10 = 2*s, h - 15 = s + 3*s. Let u(t) = -21*t + 11. Is 29 a factor of u(h)?
True
Is (-36)/2*(-1 + -1) a multiple of 9?
True
Let c(d) = 25*d + 20. Is 11 a factor of c(8)?
Tr