5 - 10 = 5*k, 0 = -4*k - n - 11. Let q be k*(1 - 3/2). Is (q/3)/(6/117) a multiple of 13?
True
Let m = -15 + 23. Let r(f) = f**2 - 5*f - 10. Is 7 a factor of r(m)?
True
Let r = -27 - -71. Suppose r = x + x. Is 11 a factor of x?
True
Let w be ((-9)/4)/((-21)/448). Let q(f) = f**2 - 4*f + 5. Let y be q(4). Suppose 4*o - 5*v - 49 - w = 0, -y*v - 25 = 0. Is o a multiple of 9?
True
Suppose 0 = -4*t + 57 + 99. Is t a multiple of 21?
False
Let j(c) = -c**2 + 7*c + 6. Let u be j(6). Does 5 divide 2 + (-6 - -2) + u?
True
Does 7 divide (-114)/(-3)*1 + 1?
False
Let r be 2/4 - 8/16. Suppose -14 - 4 = -2*y + 4*q, r = 4*y + 4*q - 96. Does 11 divide y?
False
Let d(b) = -b**2 - 12*b - 3. Is d(-10) a multiple of 4?
False
Let n = -53 + 62. Is n a multiple of 9?
True
Is 4 a factor of -1 + -2 + 7/1?
True
Suppose h + 6 = -6*v + 2*v, -h - 5*v = 8. Suppose 132 = -0*u + h*u. Does 22 divide u?
True
Let h(g) = -2*g + 2. Let k be h(5). Let b = k + 12. Does 3 divide b?
False
Let j(u) = -39*u**3 - 7*u**2 - 6. Let w(q) = -q**3 - q**2 - 1. Let x(r) = j(r) - 6*w(r). Does 16 divide x(-1)?
True
Let h(s) = 2*s**2 + 12*s - 4. Let y be h(-9). Let k = y + -18. Is k a multiple of 16?
True
Let w(h) = -h**2 + 8*h - 10. Let g be w(7). Let n(u) = -3*u + 3. Is n(g) a multiple of 7?
False
Let b(z) = -1 - 12*z - 2 + 2 + 5. Is b(-3) a multiple of 13?
False
Let b = -35 - -81. Suppose 0*k = -k + b. Is k a multiple of 22?
False
Let f be 2/(-8) - (-74)/8. Does 9 divide f/(-2)*(-16)/6?
False
Let a = 12 + -8. Is 2 a factor of 14/(-28) - (-30)/a?
False
Suppose -2*v = o - 5*v - 5, 5*o - 25 = 4*v. Does 5 divide o?
True
Let c(x) = x**2 - 5*x - 7. Let z be c(6). Is 8 + (6 - 2) + z a multiple of 11?
True
Suppose s - 100 = -4*s. Does 20 divide s?
True
Is 12 a factor of (-126)/18*120/(-14)?
True
Suppose -z - 3*h + 47 = -6*h, -2*z + 95 = -5*h. Does 10 divide z?
True
Let k(o) = -10*o**3 + 2*o**2 - o + 1. Let f be k(-2). Let n = f + -47. Does 13 divide n?
False
Let h(z) be the third derivative of z**5/20 - z**4/8 + z**3/3 - z**2. Let w = 4 + -2. Does 6 divide h(w)?
False
Suppose -2*u = -t + 4*t + 82, -3*u = 5*t + 138. Let x = t + 42. Is x even?
True
Suppose 2*o + 3*f - 13 = 0, 0 = -3*o - o - 2*f + 38. Suppose o = i - 4*m - 0*m, 8 = 4*m. Is 10 a factor of i?
False
Suppose 1121 = 18*s - 1219. Does 31 divide s?
False
Let x be (-1)/(-4) + (-28)/(-16). Suppose x*k - 33 = 13. Suppose -m + k = f, f + 4*f - m = 109. Does 11 divide f?
True
Let q = -4 - -6. Suppose 0 = 4*v - 4*i + 24, -q*v + 2*i = -v + 4. Let b = -4 - v. Does 4 divide b?
True
Let k(d) be the second derivative of -3*d + 0 + 3/4*d**4 + 2/3*d**3 + 3/2*d**2. Is 12 a factor of k(-2)?
False
Suppose -4*g + 9*g - 50 = 0. Let d be (-2)/g - 2/(-10). Suppose -q - 2*q + 36 = d. Is 6 a factor of q?
True
Suppose 2*w = -w + 12. Is 12/((-7)/((-42)/w)) a multiple of 5?
False
Suppose 5*v + n + 62 = 0, -4*v - 25 - 19 = -2*n. Let g = v - -33. Is g a multiple of 15?
False
Let p(b) be the second derivative of b**4/12 - b**3/2 - 7*b**2/2 - 2*b. Is p(6) a multiple of 4?
False
Suppose 2*x = -x. Suppose -2*k + 0*k + 88 = x. Let m = k - 24. Is m a multiple of 7?
False
Let u(i) = i**2 - 3*i - 9. Is u(8) a multiple of 12?
False
Does 4 divide (8 - (2 - 6))*9/4?
False
Let x(o) = 4*o + 6. Let h be x(-5). Let p = h + 28. Is p a multiple of 14?
True
Suppose 4*s - 429 = -81. Is 29 a factor of s?
True
Let w = 0 + 2. Let h(n) = n + 5. Let z be h(-5). Suppose 2*s - 2 = 0, z = -4*c - w*s - 3*s + 97. Does 11 divide c?
False
Suppose 0 = -7*a + 61 + 219. Does 10 divide a?
True
Let d(q) = 16*q**2 + 1. Is 8 a factor of d(1)?
False
Suppose 8*b - 440 = -0*b. Is b a multiple of 11?
True
Suppose 2*d = o - 199, -d = -3*o - 0*d + 617. Is o a multiple of 23?
True
Does 6 divide (-675)/(-36) + 1/4?
False
Suppose 0 = -4*n - 3*f - 8, n - 3*f = -3*n - 8. Let j(w) = 2*w**2 - 2. Let c be j(n). Suppose 40 = 2*k - 5*q, -k = -4*q - c - 20. Is k a multiple of 5?
True
Suppose -5*h - 24 + 4 = 0. Let c = -2 - h. Suppose 17 + 11 = b - 4*n, b = c*n + 24. Does 6 divide b?
False
Suppose -5*o - 18 = 2. Is o - (-42 - 4) - -3 a multiple of 9?
True
Suppose -5*v + 5*z - 110 = -510, -2*v + 4*z = -170. Is 10 a factor of v?
False
Let f be 52/10 + (-3)/15. Suppose r = 4*x + 34, 2*r + f*x = -2*r + 31. Does 8 divide r?
False
Does 27 divide 3/(-12) + 763/28?
True
Let a be 4/(-22) - (-766)/(-22). Does 3 divide 108/14 - 10/a?
False
Let k be ((-5)/(-15))/(1/27). Let x be k/(-1)*3/(-9). Let u(q) = -q**3 + 2*q**2 + 3*q + 3. Is 3 a factor of u(x)?
True
Does 38 divide ((2 - 39) + -1)/((-2)/11)?
False
Suppose -4*n - 4 - 4 = 0. Does 10 divide n + 1 + 2 + 31?
False
Is 39 a factor of 62997/231 - (-2)/7?
True
Suppose 207 = 3*v + 5*g, -2*g = -3*v - g + 225. Is 39 a factor of v?
False
Suppose 5*u = 3*k + 105, 3*u - 4*k - 15 = 48. Suppose l - 4*j = -0*j + u, -5*j = -20. Is 17 a factor of l?
False
Let u = 435 + -297. Suppose 10*c - 245 = 5*c. Suppose 5*r - u = -h + 55, r - 5*h - c = 0. Is r a multiple of 13?
True
Let g be 1 - (2 + -1 + -3). Suppose -g*f - p + 62 = 0, -2*p = f - 0*p - 29. Let m = -11 + f. Is m a multiple of 5?
False
Let k(i) = i**3 - 4*i**2 + 5*i - 4. Let c be k(3). Let s(z) = 8*z**3 - 4*z**2 + 2*z. Is s(c) a multiple of 19?
False
Let q = 7 - 3. Suppose 3 = -v - 2*l, 15 - q = -2*v - 3*l. Let r = -5 - v. Is 7 a factor of r?
False
Let r be (-6)/9 - (-14)/3. Suppose -r*p + 25 + 47 = 0. Is 9 a factor of p?
True
Let h = -191 + 111. Let q = 135 + h. Is 21 a factor of q?
False
Let c be (-9)/6 + 2/4. Does 11 divide (11 + c - -2)*1?
False
Suppose -u + 12 = -3*w, 3*w = -0*u + 2*u - 12. Does 14 divide w/14 + (-904)/(-28)?
False
Suppose -3*d = -7*d + 8. Suppose -4*g - 49 = -3*w, 3*w + 3*g - 94 = -d*g. Is w a multiple of 11?
False
Suppose 0 = -r - 4*z + 4, 2*z = 4*r - 2*z - 36. Is r even?
True
Let c(f) = 2*f - 22. Is 4 a factor of c(13)?
True
Let x = -16 - -40. Is 9 a factor of x?
False
Let u = 11 - -16. Does 6 divide u?
False
Suppose 100 = 4*t - 2*c, 0*c - c - 119 = -5*t. Suppose -5*x = 15, 5*g = x + 30 + 18. Let s = t - g. Does 7 divide s?
True
Let y(v) = -7*v + 1 - 8 - 2 - 3. Is y(-8) a multiple of 10?
False
Let c be -1*(1/(-1) + -374). Suppose 0 = -3*d - 0*d + c. Is d a multiple of 36?
False
Suppose -3*d - q + 306 = d, 3*d - 4*q = 220. Let u = 23 - d. Let r = 88 + u. Is r a multiple of 14?
False
Let c(o) be the second derivative of o**5/20 - 2*o**4/3 + o**3/2 + 3*o**2 - o. Is c(8) a multiple of 10?
True
Let x(j) = -11*j**3 + 2*j**2 - j. Let z be x(1). Is 16 a factor of 57/2 - 5/z?
False
Let v = -105 - -134. Does 4 divide v?
False
Suppose 4*f - 3*o = -0*o + 903, 2*o = f - 222. Suppose -4*a + 4*k = -f, a + 7 = -k + 70. Suppose j - a = -j. Is 9 a factor of j?
False
Let b(v) = -13*v**3 - 2*v**2 - v. Is b(-1) a multiple of 3?
True
Let b(f) = -3*f**2 - 4*f - 2. Let a be b(-2). Let q be 1 + (-4)/(12/(-27)). Is 11 a factor of ((-44)/a)/(q/15)?
True
Suppose 90 = 5*h - 5*v, -5*v + 6 = h - 0*v. Let w = h + 5. Is 19 a factor of w?
False
Suppose 0 = -c + 2*c + 3*g - 159, 0 = -5*c - 2*g + 834. Suppose -c = -5*m + m. Does 14 divide m?
True
Suppose -3*x + 12 = x. Let t = x - -15. Does 9 divide t?
True
Let w(k) = -1. Let d(b) = b - 2. Let c(f) = 2*d(f) - 5*w(f). Let o be c(2). Suppose -4*v + 8 = 5*a - 77, -o*v = -4*a + 27. Is 7 a factor of a?
False
Let v be (1 - 1) + (-1 - -5). Suppose -4*u - 4*k = 64, 3*u - 2*u + 4*k + v = 0. Let j = -11 - u. Is 5 a factor of j?
False
Suppose 13 + 11 = 2*m. Is 6 a factor of m?
True
Let h(r) = 14*r - 31. Is h(13) a multiple of 20?
False
Let b = -6 - -4. Let v(n) = n**2 - 1. Let p be v(b). Suppose p*m - 4*j - 109 = j, 5*m - 2*j = 207. Does 16 divide m?
False
Let s be 1 + 0 + 0 + 6. Let u be 2/(-2)*0/s. Suppose -5*j + j + 132 = u. Is j a multiple of 9?
False
Let w = 3 + 1. Is w a multiple of 3?
False
Suppose 0 = -2*r + r + 14. Suppose r = 2*q + 4*u, 2*q - q - 10 = u. Does 2 divide q?
False
Let g(f) = f**2 - 3*f + 3. Let h(u) = u**2 + 1. Let q(d) = -g(d) + 2*h(d). Let b be q(-3). Does 13 divide 3 + b/((-3)/30)?
True
Let j be 3/9 + 42/9. Suppose -j*n + 55 = -0*n. Is n a multiple of 8?
False
Let c be (4*1)/((-4)/(-110)). Suppose 0*a + 5*a - c = 0. Is 9 a factor of a?
False
Let u(o) = 4*o - 5. Let v = -4 + 6. Suppose -v + 6 = c. Is 11 a factor of u(c)?
True
Suppose 25*l - 34*l = -864. Does 5 divide l?
False
Let o(n) = 0 +