le of 16?
True
Let c(a) be the third derivative of -1/24*a**4 + 4/3*a**3 + 0 + 0*a + 2*a**2. Does 6 divide c(-7)?
False
Suppose -t + 6 = t. Suppose -5*q + 82 = -w, -q = q - t*w - 25. Suppose -v = v - 4*l - 26, -q = -3*v - 5*l. Does 3 divide v?
True
Let j(v) = v**2 + 2*v - 17. Let l be j(7). Suppose -5*x + l - 16 = 0. Is 3 a factor of x?
True
Suppose -b - 4*b - 4*g - 12 = 0, 5*b = -2*g - 6. Suppose b = -c - 2*c + 45. Is c a multiple of 3?
True
Let d(m) = -462*m + 56. Does 24 divide d(-1)?
False
Let f(s) = 9*s**3 - 2*s**2 - 4. Suppose -7*z + 23 = 9. Does 10 divide f(z)?
True
Let x(g) = 2*g**2 - 7*g + 2. Let t be x(8). Let w = t - 9. Is 24 a factor of w?
False
Suppose -2*g = -11 - 19. Suppose -55 = 5*u - 5*r, -3*u + 2*r - g - 17 = 0. Let w = u + 26. Is 15 a factor of w?
False
Let p = 11 + -12. Does 2 divide 15*(p/3 - (-56)/42)?
False
Let s(z) be the first derivative of z**4/4 + 3*z**3 - 9*z**2/2 + 13*z + 10. Is s(-9) a multiple of 19?
False
Let m be (1/(-2))/(17/34). Let h be 4*m/8*18. Is 24/108 - 124/h a multiple of 5?
False
Let t be 20/10 + 2*11. Suppose -2*b = -j + 36, t + 27 = j + 3*b. Is 3 a factor of j?
True
Let s = -185 - -537. Does 11 divide s?
True
Let r be (3/(-6))/(6/(-36)). Let p(x) = -6*x**r - x + 7*x + 7*x**3 + 7*x**2 - 1. Is p(-5) a multiple of 5?
False
Suppose 4*i = -j - 4*j + 1113, 0 = -3*j + 5*i + 690. Suppose -2*u = -j + 9. Suppose 0*o = 3*o + 2*s - u, o - 22 = 4*s. Is o a multiple of 11?
False
Suppose 0 = -5*j, -551 + 1307 = 4*l - j. Suppose -t + 4*c = t - 204, -2*t - c = -l. Is 16 a factor of t?
True
Suppose -24*x + 3643 + 6917 = 0. Is x a multiple of 20?
True
Let s(n) = n. Let w be s(7). Let k = 12 - w. Suppose 0 = -k*j + 70 + 50. Does 24 divide j?
True
Is 6 a factor of (-2)/(-4) - ((-3078)/4)/3?
False
Suppose 77 = 9*u - 2*u. Let j = u + 61. Does 14 divide j?
False
Suppose 43*z = 41*z + 150. Let r = z - 11. Is r a multiple of 8?
True
Suppose 0 = -3*q - 2*i - i + 9, -3*i = 2*q - 5. Suppose q*m = 6*m - 144. Does 18 divide m?
True
Let v(s) = s**2 - 4*s + 4. Let a be v(2). Suppose -5*c + 159 = -2*f, 0 + 4 = -2*f. Suppose 4*k + 20 = a, 4*t - 3*k - c - 16 = 0. Is t a multiple of 5?
False
Let b be -4*2/4*(-18)/4. Let u(l) = 5*l + 2. Let v(s) = -1. Let o(n) = u(n) + 5*v(n). Is o(b) a multiple of 21?
True
Let m(i) = i**2 + 5*i + 2. Suppose 0 = -3*r - 0*r - 24. Let h = 12 + r. Does 14 divide m(h)?
False
Let r = -14 - -17. Is -8*(1 - (5 - r)) a multiple of 7?
False
Suppose -20440 = -76*f + 62*f. Is 31 a factor of f?
False
Suppose 0 = -3*z - 0*z + 270. Suppose -5*t - 3*r + 144 = 0, -3*t - r = 2*r - z. Is 4 a factor of t?
False
Let b(d) be the third derivative of 29*d**5/60 + d**4/24 + d**3 - 47*d**2. Is 27 a factor of b(-3)?
False
Let k(x) = x**3 - 8*x**2 - 7*x - 12. Let d be k(9). Suppose -17 = d*a + 1. Let l(j) = j**2 + 3*j + 7. Does 4 divide l(a)?
False
Let z be 2 + (2 - (-2 - -4)). Let x = -1 - z. Does 15 divide 2*(69/2 - x)?
True
Let u(a) = -4*a - 58. Let c be u(-14). Is (-107 + 21)*1/c even?
False
Suppose 3744 = 17*t - 16*t. Is 15 a factor of t?
False
Let o = -15 - -28. Let p(n) = -n**3 + 5*n**2 - 5*n + 4. Let d be p(4). Let l = o + d. Does 13 divide l?
True
Let f = -64 + 72. Suppose -f*s - 45 = -11*s. Is s a multiple of 3?
True
Suppose -d + 47 = -5*m + 7*m, -114 = -4*m + 2*d. Does 13 divide m?
True
Let x be (3 + -4 - 0)*2. Let z = x + 0. Is 35/z*24/(-30) a multiple of 14?
True
Suppose -3*t + a - 292 = 0, 2*a + a = 4*t + 391. Let k = -18 - t. Is 8 a factor of k?
False
Let p = -3 - -6. Suppose -p*s = 3*s - 540. Is s a multiple of 18?
True
Let l(a) = -7*a**3 - 4*a**2 + 12. Let q(i) = -i**3 - i**2 + i + 1. Let k(g) = -l(g) + 6*q(g). Is k(5) a multiple of 33?
True
Let u = -22 - -442. Is 14 a factor of u?
True
Let a(w) = -5*w**3 - w**2 - w + 1. Let i(m) be the third derivative of m**5/60 - 5*m**4/24 - 4*m**3/3 - 2*m**2. Let l be i(6). Is a(l) a multiple of 13?
True
Suppose 0*u + 88 = 4*u. Suppose 5*l - 4*o - 62 = 0, 3*l - 2*o - u = 16. Suppose 2*k - x = l, x - 21 = -3*k + 4*x. Does 2 divide k?
False
Let i(h) = -h**2 - 7*h - 7. Let r be i(-11). Is (-10)/(-6)*r/(-1) a multiple of 17?
True
Suppose 4*z - 77 = 3*z. Suppose -3*i + i + 3*o = -z, -o + 143 = 3*i. Does 23 divide i?
True
Let b = 12 + -15. Let z = b + 6. Is z + (-4)/(8/(-26)) a multiple of 3?
False
Let r(q) = 4*q - 2. Let i be r(-8). Let a = -60 - i. Is a/(-117) + 232/9 a multiple of 16?
False
Suppose -3*j = -7*j - 36. Let u(t) = 2*t + 7. Let f be u(j). Let s = 3 - f. Does 14 divide s?
True
Let o be 28/6*(-54)/(-12). Suppose 4*m - 3*a - 1 = 38, -m + 3*a = -o. Is 8*(-3)/(m/(-7)) a multiple of 27?
False
Let x(l) be the third derivative of l**6/120 + l**4/24 + l**3/2 + 3*l**2. Let f be x(0). Suppose -5 = -5*g, -2*y + f*g + 122 = g. Does 31 divide y?
True
Let x(m) = -640*m**3 - 2*m**2 + 6*m + 7. Does 7 divide x(-1)?
False
Let r be 132/18 - (-4)/6. Suppose 4*a - 4 = 4*b, -3*a = -r*b + 13*b - 43. Is 3 a factor of a?
True
Let g be 1/(-3) - 35/3. Let b = -8 - g. Suppose -4*p + 16 = 0, -2*t - b*p + 105 - 31 = 0. Does 13 divide t?
False
Let h(y) = -2*y + 44. Let c be h(20). Let l(s) = 52*s - 28. Is 36 a factor of l(c)?
True
Let f(x) = -87*x + 3. Let q be f(5). Is (-2)/7 - q/42 a multiple of 10?
True
Suppose -2*l - 75 = -7*l. Suppose 0 = 2*m + 3*m + l, -4*x + 5*m - 273 = 0. Let c = 2 - x. Is c a multiple of 14?
False
Let h = 1619 + -909. Does 18 divide h?
False
Suppose 0 = 2*o, -2*q + 0*o + 4*o = -16. Suppose 2*z = -0*z + q. Suppose -4*h + 4*i = -0*h - 20, h - 20 = -z*i. Does 4 divide h?
True
Let t(b) = 3*b + 200. Is 5 a factor of t(-25)?
True
Let k(b) = b**2 + 8*b - 8. Let a be k(16). Let d = a - 264. Is 21 a factor of d?
False
Let u = -728 - -760. Is 2 a factor of u?
True
Suppose -953 = -5*b + 1447. Is b a multiple of 80?
True
Let k(m) = 24*m**2 - 545*m - 24. Is 4 a factor of k(24)?
True
Let c(w) = 78*w**2 + 8*w - 11. Let x be c(2). Suppose 9*s - 682 - x = 0. Is s a multiple of 13?
False
Let f(i) = -3*i + 17. Suppose 39*r + 15 = 36*r. Does 16 divide f(r)?
True
Suppose -n = -5*n + 40. Let o = 7 - n. Does 24 divide (o - -32)*(6 + -3)?
False
Suppose -4*x + 3*p + 2115 = 0, -p = -2*x - 180 + 1235. Suppose -2*l + 205 - x = 0. Is (-3)/(-1)*l/(-30) a multiple of 16?
True
Suppose 0 = 2*x + 41*x - 61404. Does 84 divide x?
True
Let o(v) = -217*v - 4. Is o(-5) a multiple of 47?
True
Does 31 divide (-42 + 6 + 5)/4*-108?
True
Is 9 a factor of (-7)/2*(-19 - 3 - -4)?
True
Does 19 divide (-4)/26 + (-17)/(442/(-11808))?
False
Let r(m) = m**2 - m - 4. Let g be r(3). Suppose 4*w + 394 = 4*c + 2*w, -g*c = -2*w - 196. Is 20 a factor of c?
False
Suppose -5*b = 2*c - 7936 + 220, -b + 1533 = -3*c. Suppose -60*v = -54*v - b. Does 21 divide v?
False
Let u(q) = 2*q + 16. Suppose 0 = -c + 3*x + 4 + 1, -4*c = 5*x + 48. Let j be u(c). Suppose j*d - 43 = -3*n, -3*d = 2*n - 36 - 1. Is n a multiple of 2?
False
Let y(v) be the first derivative of 2*v - 23/2*v**2 - 2. Is 11 a factor of y(-2)?
False
Let z(y) = -y**3 + 4*y**2 + 3*y + 7. Suppose -11*q + 16 = -7*q. Does 19 divide z(q)?
True
Suppose -2*l = -s - 980, 3*l - 1469 = 6*s - 5*s. Does 11 divide l?
False
Suppose 0 = c + 3*c - w - 52, 5*c - 56 = -w. Let x be 3/(1*c/164). Let m = -17 + x. Is m a multiple of 6?
True
Let h = 123 - -317. Is 10 a factor of h?
True
Let j(x) = 58*x**2 + 6*x - 5. Let w be j(3). Suppose 5*i - 2*i + 2*o = 810, w = 2*i + 3*o. Is 31 a factor of i?
False
Suppose -35*a - 17 = -36*a. Is 7 a factor of ((a - 5)*(-2)/(-3))/1?
False
Suppose 6888 = 4*b + 700. Is 28 a factor of b?
False
Suppose -3*y = 4*k - 9*k + 15, -5*y = 5*k + 25. Let x = 117 + y. Suppose -4*l + a - 164 = -9*l, x = 4*l - 4*a. Is 6 a factor of l?
False
Let i be 1263/(-27) - 6/27. Let a = 123 + i. Suppose -2*m = -0*m - a. Is 19 a factor of m?
True
Suppose y - 5*y = 0. Let c(p) = -p + 370. Let b be c(y). Suppose -b = -5*o - 0*o. Is 32 a factor of o?
False
Let z(n) = 22*n**2 - 50*n + 256. Is 47 a factor of z(5)?
False
Suppose -4*v - 2 = 2*z, 0 = -v - 2*z + z - 1. Suppose 0*q - 3*q + 72 = v. Is 12 a factor of q?
True
Let v = 191 + -320. Let m = v + 10. Does 5 divide m/(-8) + (-2)/(-16)?
True
Let o(u) = 2*u - 14. Let p be o(9). Suppose 56 = x - 4*b, b + p*b + 355 = 5*x. Is x a multiple of 19?
True
Suppose 4*y - 8 = 0, 0 = 3*h + 2*h + 2*y - 3909. Is 6 a factor of h?
False
Suppose -59*h + 890