((-1)/(-12))?
True
Let s = -27 + 34. Suppose 0 = -4*h - 5 - s, 4*h - 18 = -5*n. Suppose 5*o + 14 = -n, -312 = -4*k + 5*o. Does 31 divide k?
False
Suppose -4*n = o - 4, -n - o + 5*o + 18 = 0. Let r(x) = 0*x**3 + x**3 - n*x - 11*x - 3*x**2 + 3. Does 11 divide r(6)?
True
Let f = 91 + 12. Does 20 divide f?
False
Suppose -5*j - 38 = -3*a, a + 3*j - 12 = -3*a. Is 26 a factor of 28 - (a*(-2)/(-4) - 1)?
True
Let y be 966/(-26) - (-2)/13. Let u = 59 + y. Is u a multiple of 11?
True
Let i(f) = f + 4. Let s be i(-4). Suppose -h + 9 + 8 = s. Does 17 divide h?
True
Let q(v) = 2*v**2 - v + 3. Let a be q(3). Let g = a - 13. Suppose 4*f + g*z = -0*z + 181, 0 = -3*f + 2*z + 153. Is 6 a factor of f?
False
Let v(b) = -2*b**3 + 3*b**3 - 3*b**2 + 9*b + 17*b**2. Let a be (-4)/(-1) + -1 - 16. Is v(a) a multiple of 13?
True
Suppose 0*l + 4*l = r + 8322, -5*r = -3*l + 6250. Is l a multiple of 20?
True
Let f(u) = 6*u**2 + 48*u - 188. Is f(4) a multiple of 25?
True
Let q = 81 - -364. Is q a multiple of 18?
False
Let s(f) = 5*f - 40. Let j be s(19). Suppose -3*q = -2*n - 178, q - n = 4*n + j. Is 10 a factor of q?
True
Let o = -264 + 366. Is o a multiple of 2?
True
Let x be (-274)/6 - 4/3. Let f = -30 - x. Is f a multiple of 2?
False
Suppose 28*c = -2*c + 600. Is 3 a factor of c?
False
Let u(l) = 2*l**2 + 10*l - 4. Let j(a) = a**2 - 11*a - 32. Let h be j(13). Does 8 divide u(h)?
True
Suppose 5*o + 4*w - 4 = 1, 3*o + w = 10. Suppose 0 = o*u + 2*a - 0 - 8, -2*u - 2*a = -2. Suppose -3*l - u*z = -z - 111, -42 = -l - 2*z. Is l a multiple of 11?
False
Suppose -o + 62 = -36. Let y = o + -94. Is y even?
True
Let o = -3455 + 7565. Is 1/(-9) - o/(-54) a multiple of 15?
False
Let g(f) = f**3 + 12*f**2 - 5*f + 19. Let l be g(-12). Let s = l - 46. Does 11 divide s?
True
Let w(y) = 0 + 11*y**2 - 11*y - 9*y**2 - 18. Does 24 divide w(10)?
True
Does 5 divide (-5 + -263)/((-4)/6)?
False
Suppose -28*k + 32*k - 2548 = 0. Does 33 divide k?
False
Is 9 a factor of (189/252)/(2/576)?
True
Suppose 7*w = 3*w + 496. Suppose j - 2*r = 77 + 43, 3*r + w = j. Is 7 a factor of ((-9)/6)/((-6)/j)?
True
Let a = -1547 + 2079. Is 37 a factor of a?
False
Suppose 3*p - 25 + 16 = 0, 5*c = 4*p + 9168. Does 27 divide c?
True
Let n = -163 + 158. Let k(f) = -f**3 + 2*f**2 + 9*f + 10. Is k(n) a multiple of 20?
True
Suppose 0 = 12*l + 3108 + 420. Let k = l + 458. Is k a multiple of 12?
False
Let s be -63*3/(-11 + 2). Let c = s - 14. Does 6 divide 2*c + 2/(-1)?
True
Let s(g) = 7*g**2 - 6. Let p be s(-2). Suppose -19 - 34 = 5*z - d, 0 = -z + 4*d - p. Let f(y) = -2*y - 8. Is 11 a factor of f(z)?
False
Let l = 34 - 39. Is 4*(-93)/30*l a multiple of 31?
True
Suppose 4*n = -3*q + 27, -4*q - 25 = -5*n - 6*q. Suppose 0 = 4*w - n*j - 235, 2 = 5*j + 7. Is w a multiple of 23?
False
Suppose 0 = 14*j - 11*j - 15. Suppose -2*a + 0*a - j*p + 484 = 0, 4*p = 0. Does 11 divide a?
True
Let c(q) = -12*q - 5 - 3*q**2 + 4 + 2*q**2 + 6. Is c(-10) a multiple of 19?
False
Let z = 199 - 150. Let s = z + 11. Is s a multiple of 13?
False
Let u be (-10)/35 + (-275)/(-7). Suppose g + 0*g - u = 0. Does 3 divide g?
True
Let j(r) = 3*r**2 + 3*r - 65. Does 21 divide j(-10)?
False
Let q(j) = j**3 - 16*j**2 - 35*j + 19. Is 7 a factor of q(18)?
False
Let y(w) = w**3 - w**2 + 8. Let d be y(0). Let z(l) = 18 + 2*l - 2*l - l. Does 5 divide z(d)?
True
Let n(h) = -2*h**3 - 19*h**2 - 13*h - 9. Let r(o) = -5*o + 6. Let m be r(3). Does 9 divide n(m)?
True
Let w(k) = -5*k + 82. Is 39 a factor of w(-7)?
True
Let c be -4 + 3 + 5 + 1*19. Suppose -6*r + 73 = b - r, -5*b + 365 = -r. Let o = b + c. Is 21 a factor of o?
False
Suppose -2*t + d = -2*d, 4*d = 3*t. Suppose t = -3*r + 4*z - 2*z + 71, 2*r + z = 59. Does 4 divide r?
False
Let m(r) be the third derivative of -r**7/840 - r**6/360 - r**4/3 + 3*r**3/2 - 13*r**2. Let z(h) be the first derivative of m(h). Is 20 a factor of z(-4)?
True
Let y = -131 + 316. Does 6 divide y?
False
Let h be 3*1 + (3 + 4)/7. Let r = 59 - h. Does 11 divide r?
True
Let u be (-1)/(6/(-3) + 1). Let k = 3 - u. Suppose 0*z - 3*z = 4*d - 95, -3*d = k*z - 72. Does 13 divide d?
True
Suppose 0*l = -2*l + 314. Is l a multiple of 6?
False
Suppose -2*s + 7 = -1. Suppose u + o - 10 = 44, -4*o - 200 = -s*u. Is u a multiple of 12?
False
Let k = 4556 + -1534. Does 68 divide k?
False
Let f(z) = 14*z**3 - 17 + 4*z - 7*z**3 - 2*z**3 + 14*z**2 - 6*z**3. Let c(g) = -g**3 + 3*g**2 + 3*g. Let b be c(-2). Does 7 divide f(b)?
False
Suppose l = 2*b + 5*l - 1638, 2*l - 1644 = -2*b. Does 11 divide b?
True
Let j(d) = d**2 + 2*d + 2. Let l be j(-4). Let g(x) = -x**3 + 9*x**2 + 11*x + 3. Let c be g(l). Let p = 20 + c. Is p a multiple of 11?
True
Let u = -12 - -9. Let a(d) = d**2 - 4. Let c be a(u). Suppose 5*j - 50 = -5*o, -j + 25 = -o + c. Is j a multiple of 15?
True
Let w = 26 + -25. Let q be w + 3 + -5 - -3. Suppose 2*n - 24 = l - 3*l, 0 = 5*n - q*l - 81. Does 8 divide n?
False
Suppose -2*u - 2*u + 20 = 0. Let p = -12 + u. Does 17 divide 166/7 - 2/p?
False
Suppose -6 + 4 = -j. Suppose 0 = j*w - 8*w - 42. Is 6 a factor of 6 + w + 25/1?
True
Suppose -11*w + 15 = -8*w. Suppose -w*s - h = -680, -6*h - 110 = -s - h. Is s a multiple of 27?
True
Let f(t) = t**2 - 12*t - 12 + 14 - 15. Let n be f(13). Suppose n*w - 34 = -w. Is w a multiple of 12?
False
Let x(h) = -42 - 11*h - 6 + 24. Is x(-8) a multiple of 8?
True
Let a(x) be the second derivative of x**5/20 + 3*x**4/4 - 8*x**3/3 - 11*x**2/2 + 3*x + 7. Does 6 divide a(-10)?
False
Let s = 163 - 67. Is s a multiple of 59?
False
Suppose -3*f + 177 = -678. Let t = f + -96. Is 27 a factor of t?
True
Let a = -27 - -51. Let c be (a + 0)*6/12. Does 9 divide (18/c)/((-2)/(-52))?
False
Suppose 2*f = u - 3*u + 4, 20 = 5*u - 5*f. Suppose u = v - 7. Suppose 0 = w + 2*n - 4 - v, 4*w - 5*n - 95 = 0. Does 10 divide w?
True
Let d(p) = 3*p + 13. Let c be 6 + 5/((-15)/(-9)). Let b be d(c). Does 16 divide -3 - (-3)/(6/b)?
False
Suppose 8*v = 7*v + 3. Suppose 0*p - 3*p + 5*t + 217 = 0, 0 = 3*p + v*t - 201. Is 23 a factor of p?
True
Let w(r) = r**2 - 11*r + 8*r - 1 - 9*r**2. Let b be w(-2). Let q = b + 39. Is 6 a factor of q?
True
Suppose -2*f = 4*r - 84, 4*r + 56 = 2*f + r. Let d = 37 + f. Let k = d + -49. Does 18 divide k?
False
Let z(s) = 6*s**2 - 2*s + 2. Let q be ((2 - 7) + 2)*16/(-24). Is z(q) a multiple of 11?
True
Suppose 291 = 5*l - 689. Is 28 a factor of l?
True
Suppose -210 = -4*m - 18. Does 4 divide m?
True
Let q = 66 + 18. Is q a multiple of 21?
True
Let l(h) = h**3 + 5*h**2 + 2*h + 12. Let x be l(-5). Suppose 6*o - x*o = 64. Is 6 a factor of o?
False
Suppose q + 2*i = 0, 0 = -4*q + 3*i + 21 - 10. Suppose 0 = 2*r + 6*z - q*z - 38, 3*z = 15. Suppose 0 = c - 14 - r. Is 10 a factor of c?
False
Suppose -4*d = -16 - 4. Suppose 0 = u - d*z - 52, 4*u - 2*u + z - 126 = 0. Is 23 a factor of u?
False
Is 5/10*403 - (-3)/(-6) a multiple of 12?
False
Let k = -2908 - -4132. Is k a multiple of 19?
False
Suppose 4*d = 4*n + 3328, -4*d + 2836 = -2*n - 492. Is 32 a factor of d?
True
Let s(d) = -d**3 - 2*d**2 - 2*d + 7. Let v be s(-3). Does 11 divide 14 - 14 - -1*v?
True
Let r(p) = p**2 + 2*p + 3. Let f be r(-3). Let s be (12/(-9))/((-2)/f). Does 5 divide (-138)/(-7) - s/(-14)?
True
Let p be 1*-1*(-13)/(65/30). Is (306/24)/(p/32) a multiple of 15?
False
Let c(o) be the third derivative of -o**5/60 + 2*o**4/3 + 2*o**3/3 - o**2. Is c(14) a multiple of 16?
True
Suppose 10*c + 121 = 161. Is c a multiple of 3?
False
Let y(b) be the second derivative of b**5/20 - b**4/3 - b**3/2 + 3*b**2 + 43*b. Let s be 4 - 1/(-2 - -1). Is 8 a factor of y(s)?
True
Let o(r) = r**2 - 14*r + 133. Does 11 divide o(-28)?
True
Let g(y) = y**3 - 2*y**2 - 17*y + 8. Let d be g(5). Let n(o) = -6*o**3 + 2*o**2 + o**3 + 3*o**3. Is 12 a factor of n(d)?
True
Let x = -13 + 3. Let l(s) = s**2 + 4. Let i be l(0). Is ((-12)/x)/(i/230) a multiple of 20?
False
Suppose -5*q = -10, -4*r - 4*q = -1716 - 32. Does 7 divide r?
False
Suppose 1225*p - 1218*p - 13104 = 0. Does 48 divide p?
True
Let m = -58 + 66. Suppose m*t - 4*t = -3*u + 609, -2*u - 2 = 0. Is t a multiple of 18?
False
Let a be ((-12)/(-16))/((-1)/(-4)). Suppose -a*o + 169 = -83. Is o a multiple of 10?
False
Let y(w) = -24*w - 3 - 1 + 4. Let t be y(1). Does 16 divide 3*7*t/(-8)?
False
Suppose 0 = 5*t - 4*m - 9524, 7*m - 4*m + 3 = 