 of 20?
True
Let o be -132*-1*(-4)/(-8). Let f = o + -39. Is 8 a factor of f?
False
Let n(j) = j**2 - 5. Let c be n(5). Is 10 a factor of (-2)/10 + 204/c?
True
Let y be (-137)/(-9) - 8/36. Let i = y + -10. Let c(b) = 9*b - 5. Is 20 a factor of c(i)?
True
Let v be 1/(1/(-2)) - -30. Let s be (-2 + -1)/((-6)/v). Let c = -9 + s. Is c a multiple of 5?
True
Let c be (17 + -1)/(2/2). Let i = -8 + c. Does 8 divide i?
True
Let a(c) = -5*c**3 + c**2 - c - 2. Is a(-1) a multiple of 2?
False
Is 9 a factor of (-86)/(-8) - (5 - 147/28)?
False
Suppose c - 2 - 2 = -y, 5*c = 4*y - 7. Let d = -16 - -16. Let q = y - d. Is q a multiple of 2?
False
Let a be (-1)/4 - 2/(-8). Suppose 2*s + 5*i - 47 = a, 0 = -3*i + 5*i - 6. Does 8 divide s?
True
Let b(c) = c + 20. Let q(t) = t**3 + 4*t**2 - 4*t + 5. Let d be q(-5). Is 20 a factor of b(d)?
True
Let z be 0*(1 + 0) + 1. Let w(q) = 4*q - z + 0 + 5*q**2 - 2*q. Is 19 a factor of w(-3)?
True
Suppose 4*m = -3*q - 203, 3*q + 264 = -q - 2*m. Let t = 98 + q. Is 11 a factor of t?
True
Let w be 3 + (1/(-1))/(-1). Suppose 4*n = 2*v - 18, -3*v - 21 = -2*n + w*n. Is (-2)/4 + (-111)/n a multiple of 9?
True
Does 4 divide (-1)/(-8) - 62/(-16)?
True
Let y be (-2)/(-6) + (-8)/24. Let o = 1 - -1. Suppose y*c = o*c - 26. Does 6 divide c?
False
Let l(f) = f - 6. Let i be l(0). Let x = 24 - i. Let j = x + -12. Is j a multiple of 9?
True
Suppose 0*m - 3*m + 12 = 0. Suppose -2*y - 5*g + 86 = 20, -y + m*g = -33. Is 26 a factor of y?
False
Let l(n) be the second derivative of n**7/2520 + n**6/80 - n**5/120 - n**4/4 + n. Let f(h) be the third derivative of l(h). Is 9 a factor of f(-10)?
True
Let c(x) = 3*x - 8. Does 7 divide c(6)?
False
Let p = -24 + 99. Is p a multiple of 6?
False
Let w be 0*4/(-8) + 118. Let m = 169 - w. Does 18 divide m?
False
Suppose -3*s + 33 = 3*m, -11 = -4*m - 5*s + 33. Let v = m + 12. Is v a multiple of 12?
False
Let v(p) = 4*p**2 - 21*p + 25. Is v(10) a multiple of 25?
False
Is 4/(-22) + 3852/132 a multiple of 16?
False
Suppose -43 = -v + 9. Is v a multiple of 21?
False
Let b = 5 + 14. Is b a multiple of 9?
False
Let j = 50 - 26. Is 8 a factor of j?
True
Is 4 a factor of (-1*8)/(-2 - (-36)/19)?
True
Let k = -5 - -8. Suppose 5*s - 4*c = 12, 4*s = k*c - 5*c - 6. Does 15 divide (-1)/((-3)/90) + s?
True
Let x(y) = 3*y + 33. Does 3 divide x(10)?
True
Let p = -21 - -39. Is 18 a factor of p?
True
Let u(m) = m**3 - 7*m**2 + 2*m - 7. Suppose 2*d = 8 + 6. Does 4 divide u(d)?
False
Suppose -5*v = 25, 2*a = 3*v + 41 - 2. Is 4 a factor of a?
True
Suppose -121 + 49 = -3*y. Let h = y - 13. Is h a multiple of 2?
False
Let m(n) = n. Let z be m(-2). Does 17 divide 65 + (-3 - z)/(-1)?
False
Suppose -364 = 3*p - 10*p. Does 3 divide p?
False
Let c = -19 - -17. Is -41*(-3 + 4 + c) a multiple of 20?
False
Let j(u) = u**3 + 11*u**2 - u - 5. Suppose 2*o = 3*i - o + 27, 0 = -4*i + o - 42. Does 3 divide j(i)?
True
Suppose -15 = 5*a - 120. Let z = a + 0. Is 12 a factor of z?
False
Suppose -3*v - 3*j + 44 = -7, 0 = 3*v - j - 39. Is 5 a factor of v?
False
Suppose w - 2*x - 3*x - 223 = 0, -4*w = 4*x - 1012. Is 39 a factor of w?
False
Let o = 61 + -19. Does 21 divide o?
True
Let f = 161 - 86. Is f a multiple of 15?
True
Suppose 2 = z - 1. Let o be 257/3 - (-1)/z. Suppose -o = -5*d - 2*j, 2*j + 94 = 5*d - 0*d. Is d a multiple of 13?
False
Let o(x) = -x**3 + 11*x**2 + 12*x - 5. Is 21 a factor of o(10)?
False
Let a be 1/(0 + 3/9). Suppose 64 = a*s + 5*r - 54, -145 = -5*s + 2*r. Does 14 divide s?
False
Let p = -6 - -9. Let l(n) = n + 2*n - n**2 + 5 + n**3 + 0*n**p - 5*n. Is l(4) a multiple of 15?
True
Let d(r) = -9*r**2. Let q be d(-6). Is 15 a factor of 1/(q/164 - -2)?
False
Let k = 27 - 48. Let i = k - -35. Is 7 a factor of i?
True
Suppose 19 = u + 7. Suppose -3*j + 36 = u. Is 8 a factor of j?
True
Let n be 32 + -2 + 1/1. Let c = n + 14. Does 19 divide c?
False
Let v(y) = y**2 - y - 3. Let l be v(4). Let j(s) = s**3 - 9*s**2 + 3*s - 13. Is j(l) a multiple of 7?
True
Suppose y - 8 = -0*y + h, h = 2*y - 13. Is y a multiple of 2?
False
Suppose -s + 7*r - 12 = 2*r, -54 = -3*s - 3*r. Suppose -3*p - 4*a + s = 0, -p + 3*a - 2 = -2*a. Suppose p*z = -v - 4*v + 56, -z + 24 = -v. Is 9 a factor of z?
False
Let x(j) = 27*j**2 + 3*j + 2. Is 22 a factor of x(-1)?
False
Let o(x) = -x**3 + 6*x**2 + 4*x - 8. Let t(k) be the third derivative of k**6/120 + k**5/12 + 5*k**4/24 + k**3/2 + 2*k**2. Let b be t(-3). Does 11 divide o(b)?
False
Let c = -116 + 205. Suppose 2*r - c = -0*o - 5*o, 8 = 4*r. Is o a multiple of 3?
False
Let q = -10 + 15. Let t = 17 - q. Is 3 a factor of t?
True
Let c(p) = p**3 + 8*p**2 - 9*p + 11. Let f be 5*3/30*8. Let g = -5 - f. Does 6 divide c(g)?
False
Suppose -7*i + 3*r + 315 = -2*i, -r = -3*i + 189. Suppose 3*v + d - i = 40, -5*d + 175 = 5*v. Is 17 a factor of v?
True
Let z(i) = i**3 + 4*i**2 - 6*i - 5. Let a be z(-5). Does 12 divide (-4)/(6/(-21) + a)?
False
Let y be (-16)/(-9) + 2/9. Suppose 92 = 3*z + z - y*j, -z + 18 = -3*j. Is z a multiple of 12?
True
Let n(m) = 6*m - 8. Let d(f) = 3*f - 6. Let h be d(4). Is n(h) a multiple of 7?
True
Let x(j) = j**2 - j - 1. Let i(o) = 3*o**2 + 2*o - 5. Let d(m) = i(m) - 4*x(m). Is 2 a factor of d(5)?
True
Suppose -3*q = 0, -6*q = -5*t - 5*q + 10. Does 22 divide (-33)/(t*(-1)/2)?
False
Let a be (-18)/(-4) - 2/(-4). Let t = a + 7. Is t a multiple of 6?
True
Let c(l) = -l**3 + 4*l**2 - 4*l + 2. Let v be c(2). Let d(u) = 6*u**3 + 3*u**2 - 3*u + 2. Is d(v) a multiple of 21?
False
Suppose 4*s + 3*q = 0, -4*s - 5*q + 0*q = 0. Suppose s = 5*r - 20 - 55. Suppose -r = 5*w, -5*w - 47 - 4 = -3*t. Is t a multiple of 6?
True
Suppose 37 = 4*l + 5. Suppose 2*p + l - 110 = 0. Is 13 a factor of p?
False
Let t(y) = -3*y**2 - 2 + 3*y**2 + 5*y**2 - y - 4*y**2. Let g be t(3). Let w = g - -1. Does 2 divide w?
False
Suppose -2*p = 4*l + 20, 2*p - 5*l - 24 = 4*p. Let d be ((-93)/6 - 2)*p. Let a = d - 9. Does 11 divide a?
False
Suppose 3*g - 928 - 368 = 0. Is 48 a factor of g?
True
Suppose 10 = 3*p - 5. Suppose p*b + 48 = 6*b. Does 12 divide b?
True
Let s(x) be the second derivative of 13*x**4/12 - x**2/2 + 2*x. Does 12 divide s(-1)?
True
Is (57/(-5) - 1)/(24/(-60)) a multiple of 13?
False
Does 25 divide 7/14 + (-125)/(-2)?
False
Let a(p) = -8*p**2 + 2*p + 1. Let n be a(-1). Let q(t) = t**3 + 8*t**2 - 10*t - 2. Let o be q(n). Let d(s) = 4*s - 1. Is d(o) a multiple of 13?
False
Let a be (1032/3 - 4)/1. Suppose 5*w = a + 160. Is 25 a factor of w?
True
Suppose 0 = 2*w + 77 - 11. Let r = 53 + w. Is r a multiple of 11?
False
Let w = 9 + -6. Let t(x) = 1. Let c(p) = p + 1. Let j(i) = w*c(i) - 2*t(i). Is 16 a factor of j(5)?
True
Let f = 141 + -101. Does 10 divide f + (2 - 4) - 3?
False
Let b = -233 + 442. Is 14 a factor of b?
False
Suppose -3*n - 10 = -5*n. Suppose -35 = -2*a + n*f, 2*a - 2*f - 25 = -a. Suppose a*c + 4 = 64. Is 6 a factor of c?
True
Suppose 26 = -3*r + 4*j, 5*j - 24 = -4*r - 7. Let s be r + (148 + 2 - 2). Suppose 5*t + 2*p - s = 3*p, 2*t - 76 = -4*p. Is 11 a factor of t?
False
Is (-2 + (1 - 189))/(2 + -3) a multiple of 38?
True
Suppose 0*m - m + 6 = 0. Suppose 5*b + 24 = m*b. Is 7 a factor of b?
False
Suppose 0 = -4*q + 2*u + 90 + 30, -q + 31 = -u. Is 29 a factor of q?
True
Let w(c) be the third derivative of c**8/6720 - c**6/720 + 19*c**5/120 + c**4/24 + 3*c**2. Let b(r) be the second derivative of w(r). Is b(0) a multiple of 13?
False
Let x be (5 - 1)/(7/14). Let c(y) = 2*y + 2*y - 3*y. Does 3 divide c(x)?
False
Let d = -34 + 96. Is d a multiple of 12?
False
Suppose 0 = 5*t - 25, 71 = 3*x + 4*t - 39. Does 18 divide x?
False
Let i = -4 - -5. Let a = i - -12. Is 3 a factor of a?
False
Let i = -15 + 51. Does 12 divide i?
True
Let b = -13 + 10. Does 20 divide ((-2)/b)/(2/60)?
True
Let q(x) = x**2 + x - 6. Is q(-5) a multiple of 7?
True
Let r be 4 - ((1 - -2) + -2). Suppose -r*q + l = -1, 0*l - 3 = -q + 3*l. Suppose 3*p - p - 40 = q. Does 10 divide p?
True
Let d = 35 + 99. Is d a multiple of 23?
False
Let i be 1*-2*(-85)/2. Let d = -55 + i. Is 10 a factor of d?
True
Let x(p) = 4*p + 3 + 3 - 3*p**3 + 3*p**2 - 4. Let o be x(-2). Suppose 0 = -3*q - 0*q + o. Does 5 divide q?
True
Let n(w) = -12*w. Is 18 a factor of n(-4)?
False
Suppose -5*w - r = -42, 4*w = 3*r - 6 + 32. Suppose -3*y = -w*y + 190. Does 19 divide y?
True
Let 