rue
Is 26 a factor of 12/(-6) - 4*-7?
True
Let o(f) = -f**3 - 9*f**2 + 3. Let w be o(-9). Suppose -c - 3*c - 106 = -w*v, 3*v - 78 = -3*c. Does 29 divide v?
False
Let r = 1090 - 5134. Let v be r/(-28) + (-9)/21. Suppose -2*s - v = -5*s. Is s a multiple of 16?
True
Suppose -4*n + 5*n = 0. Suppose i - 2*m - 20 = n, 5*m + 11 = i - 6. Is 7 a factor of i?
False
Suppose -19*z = -14*z. Is 0 - (2 - (z + 31)) a multiple of 7?
False
Let v(w) = -3 + 0*w + w + 0. Is 3 a factor of v(6)?
True
Let g(s) be the first derivative of s**3/3 - 9*s**2/2 - 10*s - 2. Is 12 a factor of g(11)?
True
Let n(r) = r**2 + 5*r - 6. Let x = 21 - 5. Let q = 8 - x. Is 9 a factor of n(q)?
True
Suppose 5*v + 30 = b - 137, 4*b - 593 = 5*v. Is 37 a factor of b?
False
Suppose 3*b - 205 - 86 = 0. Does 12 divide b?
False
Let w(i) = 7*i**2 - 2*i - 2. Is w(-2) a multiple of 15?
True
Let i = -18 - -11. Let g = i - -6. Is (2 + 3 + -47)/g a multiple of 14?
True
Let o(p) be the third derivative of p**6/120 - p**5/60 + p**4/12 + p**2. Suppose 2 = -v + 4. Does 8 divide o(v)?
True
Suppose 5*q - 3*q = 0. Let x(o) = -o**2 + o + 16. Let d be x(q). Suppose -2 - d = -r. Is r a multiple of 9?
True
Let v(i) = 2*i + 1. Let f be v(1). Suppose 3*h = -l, -h = 2 + f. Suppose -2*t = 5*b - 56, -l = -3*b - 3. Does 9 divide t?
True
Suppose -2*c + 12 = -42. Let v = 39 - c. Is v a multiple of 12?
True
Let m = 8 + -13. Let b(v) = v**3 + 6*v**2 - 2*v - 5. Does 15 divide b(m)?
True
Suppose 3*r = 3*a + 7*r - 157, -4*a + 216 = 4*r. Is a a multiple of 14?
False
Let a = 2 + -11. Is (-2*6)/(a/6) a multiple of 4?
True
Let s(x) = -23*x - 1. Is s(-5) a multiple of 42?
False
Let i be 6/(-4)*6/(-3). Suppose 0 = 5*d - 114 - 71. Suppose d + i = 4*z. Is 5 a factor of z?
True
Let j = 130 - 82. Is 16 a factor of j?
True
Let j = -13 + 15. Suppose -j*k - 5 = -5*k + 5*a, 4*k = 3*a + 25. Is 3 a factor of k?
False
Let y be 1/(-5) - 27/15. Does 5 divide 17 - ((-6)/y + 0)?
False
Let v(l) = l**3 + 9*l**2 + 14*l - 11. Is 2 a factor of v(-5)?
False
Let o = -6 - -4. Let l be o + 5 - (2 + -3). Does 5 divide (-1)/l + 164/16?
True
Let n(t) be the third derivative of -t**4/24 + t**3/6 + 2*t**2. Let l be n(-1). Does 20 divide 60/(-1*(-3)/l)?
True
Suppose -47 = -3*o + 55. Does 17 divide o?
True
Suppose n = 2*n + 1, m - 5 = -4*n. Let c = -4 + m. Suppose -8*d + 39 = -c*d. Is d a multiple of 7?
False
Let s(x) = -x**2 - 13*x - 13. Let p be s(-10). Let d = -7 + p. Is d a multiple of 5?
True
Let j(k) be the third derivative of k**5/6 - k**4/12 + k**3/6 - 3*k**2. Let r(b) be the first derivative of j(b). Is 19 a factor of r(2)?
True
Let h(s) = 5*s + 3. Let j be h(-2). Let i = j + 15. Does 4 divide i?
True
Suppose 0 = -0*z - 3*z + 18. Let w = -6 + z. Suppose 4*u + 0*u - 152 = w. Is 11 a factor of u?
False
Let f = -13 - -7. Is (f/(-4))/(27/468) a multiple of 26?
True
Let d = -13 + 13. Suppose d = 2*n - 50 - 8. Is 21 a factor of n?
False
Suppose -k = k - r - 17, 5*k - 35 = -5*r. Suppose -3*q + k = -4. Is 2 a factor of q?
True
Let p(v) = v**2 + 19. Does 19 divide p(0)?
True
Suppose -32 - 76 = -3*w. Is 9 a factor of w?
True
Let o(w) = w**2 - 2*w + 9. Suppose 3*j - 6 = -j + 5*k, 2*k - 20 = -4*j. Suppose a - j*a = -18. Is o(a) a multiple of 11?
True
Let g(i) = i**2 + 8*i - 16. Is g(-13) even?
False
Let o(a) = 8*a**3 - 4*a**2 + 3*a - 1. Let s be o(2). Let c = s - 28. Is 16 a factor of c?
False
Let r = 19 - 12. Let n(w) = w**3 - 7*w**2 - w - 1. Let y be n(r). Let q(l) = -4*l + 2. Is q(y) a multiple of 18?
False
Let o = -26 + 41. Is o a multiple of 5?
True
Let q = 26 - 26. Suppose q = -s + 6*s + 10, l = -s + 4. Is 6 a factor of l?
True
Suppose -5*r + 195 + 155 = 0. Suppose -r = 3*x - 5*x. Is 7 a factor of x?
True
Suppose 3*w - 3*i - 139 = i, -3*i + 132 = 3*w. Is w a multiple of 14?
False
Let c(v) = 5 + 0 - 3*v + 2*v. Let u be c(0). Suppose 5*o + t = 317, 4*o - 305 = -o + u*t. Is o a multiple of 18?
False
Suppose 50 = 3*n - 346. Does 44 divide n?
True
Let l(v) = -v**3 - 17*v**2 - 17*v - 20. Let r be l(-16). Does 13 divide (-24)/r*26/3?
True
Let j(h) = -h**3 + 9*h**2 - 9*h + 6. Let f be j(8). Let x(w) = 24*w + 1. Let d be x(f). Let k = d - -83. Is k a multiple of 15?
False
Let w(i) = i**2 - 4*i. Let l be w(-6). Let f be ((-5)/(-15))/((-1)/(-6)). Is l/14 + f/(-7) a multiple of 4?
True
Suppose -3*p - 4*x - 4 = 0, -p = -5*p - 2*x + 8. Suppose u - p*b - 41 = 0, -3*u + 2*b + 66 = -37. Is u a multiple of 11?
True
Let i(d) = -d**3 + 3*d**2 + 11*d - 3. Let c = -6 + 11. Is 2 a factor of i(c)?
True
Is (-8)/(-5 + 1) - -404 a multiple of 29?
True
Let x(h) = 11*h + 2. Let u(d) = d + 1. Suppose 0*j + j = 6. Let i(w) = j*u(w) - 2*x(w). Is i(-2) a multiple of 17?
True
Let h(k) = -13*k - 28. Is 22 a factor of h(-14)?
True
Let d be 238/(-7)*2/(-4). Suppose r - 21 = -5*m, -3*r = -7*m + 2*m + d. Let j(y) = 4*y + 5. Is 8 a factor of j(m)?
False
Let v(z) = 2*z**2 + 6*z + 7. Let p(q) = -q**2 - q - 1. Let u(y) = -3*p(y) - v(y). Does 18 divide u(8)?
True
Let a(g) = 2*g**2 + 4*g + 5. Is a(-3) even?
False
Let z be (-1 + 5)/(-4 + 6). Does 16 divide 101/z - (-21)/14?
False
Let r(a) = -7*a**2 + a + 7*a**2 + 15*a**2. Is 10 a factor of r(1)?
False
Suppose 4*j + 4 = -2*k - 0, j - 6 = 3*k. Suppose j = -4*i + 4*s + 20, 5*i = 3*s + 15 - 0. Suppose -v + i = -6. Is 4 a factor of v?
False
Is 22 a factor of ((-99)/(-3)*-1)/(-1)?
False
Let t = -6 + 4. Let i be 1 + t - (-4)/(-2). Is 25 a factor of (-3 + 159/i)/(-1)?
False
Suppose -14*n + 13*n - 1 = 0. Is 45/n*(-56)/42 a multiple of 12?
True
Suppose 0 = -3*z - 5*x + 182, -2*z = 5*x - 0 - 113. Is z a multiple of 21?
False
Suppose -17 = -3*n + 46. Does 21 divide n?
True
Let z be (-47)/(-9) + (-4)/18. Suppose 4 = z*o + 54. Is (o/3)/(1/(-12)) a multiple of 20?
True
Let s(y) = -y**2 + 18*y - 19. Is 10 a factor of s(13)?
False
Suppose 0 = -5*x + 141 - 51. Does 11 divide x?
False
Let c = 118 + -310. Let m = -449 - c. Is 3/5 - m/5 a multiple of 15?
False
Let j = 1044 - 612. Is 12 a factor of j?
True
Let j(p) = p + 1. Let a be j(1). Suppose -3*b = 2*n - 22, b + a*n - 14 = -0*n. Does 4 divide b?
True
Let r be (-5 + 4)/((-1)/2). Suppose 76 = -0*d + r*d. Does 19 divide d?
True
Suppose -3*l + 3 = -0. Is 21 a factor of (37 - l) + 0 + 1?
False
Let j = 12 + -9. Let m(l) = 2*l + 1. Is 7 a factor of m(j)?
True
Let j(b) = -6 - 3*b - 2 + 5. Is 2 a factor of j(-3)?
True
Suppose 2*u = 3*u + 16. Let d = u - -25. Is d a multiple of 3?
True
Let k(h) = h**2 + 5*h + 1. Is k(5) a multiple of 17?
True
Suppose -2 = -2*s - 0, 2*u + 3*s = 43. Suppose u = 4*r - 12. Does 4 divide r?
True
Let w(m) = 5*m**2 - m - 1. Let c be w(2). Let z = c - 9. Is z a multiple of 8?
True
Let s(o) = -o**2 - o + 2. Let m be s(0). Let v(q) = 5*q**2 + q + 2. Is 12 a factor of v(m)?
True
Let u = -11 - -9. Let p be u/2*(0 + 0). Suppose 3*l - 48 - 33 = p. Is 13 a factor of l?
False
Let h = 66 - 41. Let b = h + 1. Is b a multiple of 13?
True
Suppose -s = -12 - 12. Is 8 a factor of s?
True
Suppose 5 = -u - 7. Let g be u/6 - (-1 - 4). Suppose -2*k + 125 = g*k. Does 17 divide k?
False
Suppose 152 + 4 = 2*p. Is p a multiple of 10?
False
Let z be 0/(-3*(-2)/(-3)). Suppose 5*n + 4*k = 22, k - 11 = -4*n - z*k. Does 13 divide (-165)/(-6) - n/(-4)?
False
Let u(h) = -2*h**3 - 6*h**2 + 12*h - 2. Let s be u(-5). Suppose -6*r + r + 10 = 0, 3*r = 3*v - 192. Let g = v - s. Does 10 divide g?
False
Let w(y) = y**2 + 3*y + 5. Let m(p) be the second derivative of p**4/4 + 5*p**3/3 + 7*p**2 - 3*p. Let l(o) = -4*m(o) + 11*w(o). Does 6 divide l(-4)?
False
Suppose -7*r + 3*r + 43 = -3*m, 3*r - 41 = 4*m. Is 3 a factor of r?
False
Let v be -1 + (1 - (-1 - 3)). Let o be -2 - (1 - v)/(-3). Let l = 0 - o. Is 2 a factor of l?
False
Suppose 0 = o - 22. Suppose 0 = -4*f + 6 - o. Let z(p) = 2*p**2 + 3*p - 1. Does 9 divide z(f)?
False
Let b = 259 - 11. Is b a multiple of 62?
True
Suppose 0 = 3*i + 3*b - 165, -5*i + 3*b = -2*i - 171. Let o = 82 - i. Is o a multiple of 13?
True
Let y(l) = l**2 - 2*l - 3. Let h(q) = q**2 + 7*q + 9. Let r be h(-6). Let x be (-2)/r - (-21)/(-9). Is 8 a factor of y(x)?
False
Let j = 14 - 9. Suppose 0 = 2*i - j*a - 16, 3 = -3*i - 3*a + 6. Suppose 3*c - 4*t = 27, 7*t - 51 = -i*c + 3*t. Does 13 divide c?
True
Suppose -4*w = -2*w - 30. Is w a multiple of 15?
True
Suppose 0 = -3*w + 8*w - 155. Is 31 a factor of w?
True
Le