 152 = -s. Is a a multiple of 15?
True
Let o(b) = 2*b**2 + b + 13. Let q be 0/(-2 + -1 + 4). Does 4 divide o(q)?
False
Is -1 - 5/(-10)*18 a multiple of 8?
True
Suppose t - 35 = -4*t - 5*x, 0 = t - x - 17. Suppose -3*b + t = -3*u, 3*u - 9 + 25 = 4*b. Suppose -4*j + 1 + 8 = 3*q, -b*j - 47 = -5*q. Is 6 a factor of q?
False
Let n(d) = 11*d**2 - d + 1. Let c be n(1). Let x = c + -7. Is x even?
True
Suppose 31 = -2*x - 3*d, -4*x - 4*d = -d + 77. Let n = 4 - x. Is 14 a factor of n?
False
Suppose 78 = 4*k - 2*k. Does 22 divide k?
False
Suppose -5*b = -b - 20. Suppose -5*u + 8 = -2. Suppose 3*d = -u*r - d + 56, 3*d + 127 = b*r. Is 12 a factor of r?
False
Let o(x) be the first derivative of -x**4/4 + 5*x**3 - 11*x**2/2 - 18*x - 2. Does 12 divide o(14)?
True
Let b be 2*28*1/2. Suppose 2*d = 3*d - b. Is 6 a factor of d?
False
Let f(s) = s + 19. Let t be f(0). Let m = t - -3. Is 12 a factor of m?
False
Let z be -2 - -3*1 - -1. Suppose a + 9 = z*a - s, -51 = -4*a + s. Let y = a + -2. Does 12 divide y?
True
Suppose 5*i - 6*d + 3*d - 168 = 0, -5*d - 5 = 0. Let o = -9 + i. Suppose -10 - o = -2*k. Is 12 a factor of k?
False
Let z(d) = d**2 - 5*d + 8. Let r be z(6). Suppose -38 = -r*a + 13*a. Is 8 a factor of a?
False
Suppose 12*b = 11*b - 7. Let q(x) = -x**2 - 10*x - 6. Does 5 divide q(b)?
True
Let u be 21/(-12)*4/1. Let v(z) = -z**2 - 9*z + 9. Does 13 divide v(u)?
False
Let f = 95 + -51. Let a = 108 - f. Is a a multiple of 32?
True
Suppose 0*b = -2*b - 10. Let f(d) = d**2. Let i(c) = -4*c**2 - c + 5. Let g(n) = -3*f(n) - i(n). Does 11 divide g(b)?
False
Suppose -3*f = -5*t - 15, 6*f - 2*f + 2*t + 6 = 0. Suppose 2*k - 216 = -f*k. Suppose -k = 5*i - 303. Is 13 a factor of i?
True
Suppose 3*l - 2*l = 2*v - 9, 0 = -3*v + 2*l + 16. Suppose v*j = -5*x + 15, -5*j - 32 = -7. Is (9 + x)*(-24)/(-14) a multiple of 12?
True
Suppose 5*t + 49 = -311. Let c = -7 - t. Is c a multiple of 19?
False
Suppose 0 = -4*t + 2*j - 26, j + 5 = -t + 2*j. Let q = 20 + t. Is 12 a factor of q?
True
Let y(m) be the third derivative of -m**6/120 - 4*m**5/15 - m**4/6 - 23*m**3/6 + 3*m**2. Is 18 a factor of y(-16)?
False
Suppose -34 = 3*a + 11. Is (9/a)/(2/(-20)) a multiple of 6?
True
Let i be (-3)/2 - 66/4. Is 4 a factor of ((-6)/(-4))/((-3)/i)?
False
Suppose -5*s + s = -32. Suppose 0 = 3*k - s*k + 220. Is 12 a factor of k?
False
Let u be -9 + 1*(2 - 2). Let i = -5 - u. Is i a multiple of 2?
True
Let f(x) be the first derivative of 15*x**3 + x**2/2 + x - 1. Let s be f(-1). Suppose -3*l - 5 = 2*j - 30, -4*j + s = 5*l. Is l even?
False
Is 3 a factor of 12 - 10 - (-7)/1?
True
Let x(n) = n**2 - n + 6. Let w be x(5). Suppose -5*s = -7*s + w. Is s a multiple of 6?
False
Let o(j) = j**3 + j**2 + 2. Let u be o(5). Suppose 0 = 2*x - 2*z - u, 3*x - 4*z - 222 = -7*z. Does 25 divide x?
True
Let c = -19 - -54. Is c a multiple of 10?
False
Let v = 227 + -58. Let p = v - 83. Does 22 divide p?
False
Let f(z) be the first derivative of z**4/4 - 8*z**3/3 + 9*z**2/2 + 7*z - 4. Is 21 a factor of f(7)?
True
Let z = -14 + 39. Is z a multiple of 12?
False
Let d(g) = g**3 - 2*g**2 + 2*g + 3. Is 9 a factor of d(3)?
True
Suppose -2*s = 3*n - 7, -3*n = -3*s - 5 - 7. Let l(q) = -12*q**3 + 3*q + 2. Does 11 divide l(s)?
True
Suppose -4*y = 7*f - 2*f - 4, -4*y + 4 = 0. Let k = f + 4. Suppose -138 = -k*i + 38. Does 17 divide i?
False
Let j(s) = s**3 - 8*s**2 - 3*s + 9. Does 9 divide j(9)?
True
Let f = -2 - -7. Suppose -3*r + 80 = 2*w, r - f*r - 40 = -w. Is w a multiple of 20?
True
Suppose -57 = 5*i - 12. Let y be 3/(-2)*12/i. Is y/8 - 110/(-8) a multiple of 14?
True
Let z(o) = -o**2 + 5*o + 8. Let b be z(6). Suppose -4*q = 3*c - 11, -38 = -4*q + b*c - 12. Does 4 divide q?
False
Let l(r) = 13*r + 1. Let x be l(2). Let t be (-4)/(-18) + 480/x. Let i = -7 + t. Is i a multiple of 11?
True
Let y(k) = -3*k + 4 - 4 - 3*k**2 - 2*k**3 - 3. Is y(-3) a multiple of 11?
True
Suppose a + 3 = 10. Suppose x = a + 29. Is 18 a factor of x?
True
Is 26/65 - 556/(-10) a multiple of 27?
False
Let f = -4 + 7. Suppose 0 = -f*k - 2*a + 2 + 32, 15 = k - 3*a. Let x = 23 + k. Is 10 a factor of x?
False
Suppose 0 = -w - 2*w - 27. Let u = w - -25. Is 8 a factor of u?
True
Let d(v) = v**2 - 7*v + 6. Let l be d(5). Let s = -1 - l. Is 2 a factor of s?
False
Let t = -2 + 5. Suppose 0 = -t*o - 5*d - 2, 5*o = -2*d + d + 26. Is 2 a factor of o?
True
Suppose 100 = -2*i - 2*i. Let b(u) = 73*u**3 - u**2 - u - 1. Let m be b(-1). Let z = i - m. Does 18 divide z?
False
Suppose -r - 2 = -182. Does 9 divide r?
True
Does 6 divide 36/(-27)*27/(-2)?
True
Suppose 0 = -0*t + 4*t + 5*m + 24, 0 = -3*t + m - 18. Let z(r) be the first derivative of r**3/3 + 5*r**2/2 + 1. Is z(t) a multiple of 4?
False
Suppose -3*d - 2 = -5*d. Let l be (-70)/(-4) + 6/(-12). Let s = d + l. Does 9 divide s?
True
Let l(o) = -23*o - 16. Is l(-5) a multiple of 9?
True
Let s(g) = g + 3. Let o(v) = -v - 2. Let x(u) = 3*o(u) + 4*s(u). Let z = -9 - -16. Does 13 divide x(z)?
True
Let f(d) be the first derivative of -d**3/3 - d**2/2 + 8*d - 1. Does 8 divide f(0)?
True
Suppose 3*a = 4*a + 2*b - 21, -4*b - 103 = -3*a. Does 10 divide a?
False
Suppose -7*f - 2 = -8*f. Suppose 85 = 5*o - 3*l, -f*l + 87 = 3*o + 17. Is 10 a factor of o?
True
Suppose 0 = -i - 2*t - t + 21, t + 19 = 4*i. Let y be i/(-21) - (-141)/(-21). Let o(a) = -a + 3. Is 10 a factor of o(y)?
True
Let y(x) = 6*x**2 - 1. Let j be -2*(-2 - (-3)/2). Let l be y(j). Suppose -2*p = -l*p + 72. Is p a multiple of 12?
True
Suppose -2*n + 5 = -27. Let i be (4/6)/((-10)/45). Let x = n - i. Is x a multiple of 19?
True
Let h be 6/8 - 91/(-28). Let x = h - -5. Is 3 a factor of x?
True
Let v = 137 + -61. Is 19 a factor of v?
True
Does 10 divide (-1876)/(-63) + (-4)/(-18)?
True
Let n = -36 - -60. Let r = n - 4. Is 7 a factor of r?
False
Is (-15)/(-2 + (10/4 - 2)) a multiple of 5?
True
Let v = -10 - -10. Suppose 30 = 2*f - v*f. Does 15 divide f?
True
Suppose -2*m + 0 + 3 = -u, -4*m = -5*u - 15. Suppose m = 3*g - s - 32, 0*g - 4*g + 61 = -5*s. Is 7 a factor of g?
False
Let p = -19 + 138. Is p a multiple of 11?
False
Let t be (-1)/4 + 25/4. Let j = t - -7. Does 13 divide j?
True
Let j = 125 - 9. Is j a multiple of 15?
False
Suppose -p + r = p - 5, r - 23 = -5*p. Suppose 0 = q - p*q - 6. Is (-11 + 7)/(q/4) a multiple of 4?
True
Let m(q) = 3*q - 10. Let g be m(-9). Let r = -26 - g. Is 11 a factor of r?
True
Let n be (1 + 0)/(4/4). Let y(p) = 5*p - n + 3 + 4*p. Is y(2) a multiple of 9?
False
Suppose -5 = 5*v - 15. Suppose -t + v*t - 42 = 0. Does 13 divide t?
False
Let u(j) = 8*j + 13. Does 4 divide u(15)?
False
Suppose 0*q = 3*q - a - 106, 0 = 5*q - 5*a - 160. Is 9 a factor of q?
False
Suppose p + 140 = g + 2*p, -5*p = -3*g + 452. Is 36 a factor of g?
True
Suppose p = -3*x - 6, -4*x - 5*p = -3*x + 16. Let g(a) be the first derivative of -17*a**4/4 + a**2/2 - 1. Does 8 divide g(x)?
True
Suppose 4*f - 2*f + 2*m = 426, 5*m = 5*f - 1025. Is 11 a factor of f?
True
Let j(g) = 2*g**2 - 5*g - 7. Let k be j(5). Let c = 38 - k. Is 10 a factor of c?
True
Let f(g) = 2*g + 1. Let h be f(-3). Let c(s) = -2*s + 4. Let u be c(h). Let j = u - -24. Does 17 divide j?
False
Suppose 2*o = o + 11. Does 4 divide o?
False
Let q(g) = -g**3 - 6*g**2 - g + 4. Does 4 divide q(-6)?
False
Suppose 53 = 4*j + j - 4*d, -3*d = -4*j + 42. Suppose 12 = c - j. Is 21 a factor of c?
True
Suppose -3*p + 20 = p. Let q be (3/6)/(2/20). Suppose c + q*w = 25 + 2, 0 = p*c - 2*w - 108. Is 14 a factor of c?
False
Suppose 0 = k + 2*k, -171 = 3*m - 5*k. Is (4/(-2) - m) + -1 a multiple of 14?
False
Let t = 839 + -541. Suppose -5*z + 497 = -t. Suppose z = 5*r + 34. Is r a multiple of 18?
False
Let s = 8 + -21. Let c = s - -24. Does 9 divide c?
False
Let a(u) = u**3 + 7*u**2 - 10*u - 6. Suppose 3*b + 3*x + 24 - 120 = 0, 4*b - 131 = -x. Suppose 5*s + b = -7. Does 10 divide a(s)?
True
Suppose n = -10 - 28. Let j = 53 + n. Does 15 divide j?
True
Let x be ((-78)/24)/(1/44). Let a = x + 230. Is a a multiple of 18?
False
Is 11 a factor of (69/(-21)*2)/(1/(-7))?
False
Let y = 24 + -28. Is 9 a factor of 992/56 + y/(-14)?
True
Suppose -i + 2*i - 8 = 0. Does 4 divide i?
True
Let d = -36 + 94. Does 5 divide d?
False
Let j(w) = 2*w - 6. Let x(d) = -4*d + 13. Let g(t) = -7*j(t) - 3*x(t). Is g(-5) a multiple of 13?
True
Let q 