1?
True
Let m(d) = 2*d**3 + 2*d**2 - d. Let j(l) = -l**2 + 8*l - 6. Let p be j(7). Let a = p + 0. Does 2 divide m(a)?
False
Let y(x) = -3 - x + 2*x + 13 + 0*x. Let f be y(0). Suppose o = -0*o + f. Is 8 a factor of o?
False
Let b(y) = -y. Let g be b(-7). Let t be 0 + -1 + -3 + g. Suppose 0 = t*p - 5 - 25. Does 5 divide p?
True
Let l(u) be the second derivative of 0 + 0*u**2 + 1/20*u**5 - 7/12*u**4 - 2*u + 4/3*u**3. Does 12 divide l(6)?
True
Let t = 251 + -155. Let l = 46 + -110. Let i = l + t. Is 16 a factor of i?
True
Suppose -3*s = -10 - 11. Suppose 5*a - 73 = s. Does 8 divide a?
True
Let r(u) = -u + 4. Let g be r(6). Suppose 0*v - 8 = -4*v. Is (v - (1 - g)) + 40 a multiple of 16?
False
Let i = 294 + -149. Let z = i - 71. Let w = z - 48. Is w a multiple of 13?
True
Let s = 1 + 0. Let z be (-20)/(-2) + s + 1. Suppose 3*b = -5*d + 35, z = -2*d + 5*b - b. Is d even?
True
Let d = -8 + 16. Let p be (-2)/d + (-34)/(-8). Suppose 3*x - p - 26 = 0. Is x a multiple of 5?
True
Suppose -t + 2*g + 98 = 0, 2*t - 172 - 48 = -4*g. Is 26 a factor of t?
True
Let j be -2 + 2/(4/(-10)). Let o = 22 - j. Is o a multiple of 18?
False
Let j = 144 - 58. Is j a multiple of 10?
False
Let n(t) = t**2 - 5*t + 2. Let s be n(9). Let f = s + -27. Is 11 a factor of f?
True
Is -1 + -1 + 9/(9/98) a multiple of 6?
True
Suppose -4*b = -35 - 5. Does 2 divide b?
True
Suppose f = -54 - 19. Let d = -43 - f. Is 15 a factor of d?
True
Suppose 0*a + 11 = -a. Let l = 15 + a. Is 33 - 3/6*l a multiple of 13?
False
Suppose -7*l - 24 = -11*l. Suppose -m = -l*m + 285. Is 19 a factor of m?
True
Let y be 54/12 - (-1)/2. Suppose x - 144 = -4*z + y*x, 184 = 5*z - 4*x. Does 20 divide z?
True
Let l(v) = v**3 - 7*v**2 + 9*v - 5. Let k be l(6). Let u = k - -10. Is u a multiple of 15?
False
Suppose -1 = 5*b - 21. Let f(h) = -h - 1. Let c be f(-5). Suppose -33 = -3*q + b*g, 0*g + 19 = q - c*g. Is 5 a factor of q?
False
Let w be 2 + (3 - 6) + 4. Is (-2 - 3) + w - -26 a multiple of 12?
True
Let f = 21 + -30. Let c(b) = -b**3 - 9*b**2 + 10. Does 10 divide c(f)?
True
Suppose 2*n - 24 = 4*v, 0 = -3*v - 2*v - n - 30. Let x = 2 - v. Suppose 80 = -4*j + x*j. Does 10 divide j?
True
Suppose 200 = 5*w - 4*l, -w + 3*w - 83 = l. Is w a multiple of 22?
True
Is 26 a factor of 0 + 0 + 1*26?
True
Let g = -9 - -16. Is 7 a factor of g?
True
Let x(l) = l**2 + l - 16. Is 9 a factor of x(5)?
False
Suppose -3*m + u = -7*m - 3199, -4*m - 3204 = -4*u. Let k be (-4)/(-18) + m/(-45). Suppose 4*t - k = t. Does 6 divide t?
True
Let a be (18/(-4))/((-5)/10). Suppose f - a = -0. Is f a multiple of 7?
False
Let f(t) = 2*t**2 - 2*t - 2. Let g be (24/(-15))/(4/(-10)). Is f(g) a multiple of 11?
True
Let h be 3 + (2 - 5) + 4. Does 10 divide (140/49)/(h/14)?
True
Let w be (3 - 2)/((-2)/12). Let b(p) = p**2 + 6*p + 5. Is 2 a factor of b(w)?
False
Let k be (-1)/4 + (-18)/(-8). Suppose k*c = c + 22. Does 7 divide c?
False
Suppose 0 = -q - 3*q + 72. Suppose q = r - 86. Is 26 a factor of r?
True
Let l = 535 - 375. Does 32 divide l?
True
Let w(x) = x**3 + 14. Is 7 a factor of w(0)?
True
Let q be (-2*1*-2)/2. Suppose 22 = -q*d - 0*d. Let u = -3 - d. Does 4 divide u?
True
Let v = 68 + 177. Is 22 a factor of v?
False
Let z(n) = n**2 + 7*n - 1. Let x be z(3). Suppose -y + 4*o = -x, 5*y = 6*o - 2*o + 113. Is y a multiple of 7?
True
Let j(w) = -58*w + 2. Does 22 divide j(-2)?
False
Suppose 43 = r - 27. Does 35 divide r?
True
Suppose 2*h = 3*s - 36, -2*s = -3*s - 4*h - 2. Is 2/s + (-96)/(-20) a multiple of 3?
False
Let t = 185 + -45. Is t a multiple of 20?
True
Let g(u) = -u**2 + 22*u + 35. Is g(17) a multiple of 24?
True
Is 16 a factor of (3 + -1*4)*(-133 + 5)?
True
Let v(y) = 3*y - 14. Is v(10) a multiple of 5?
False
Let h = 0 + -6. Does 15 divide (-176)/h + 4/6?
True
Let g(y) = y**3 + y**2 - y - 1. Let l be g(-1). Let k be (l - 1)*(-375)/5. Suppose k - 19 = 2*j. Does 21 divide j?
False
Let s(i) = 23*i**2 + 1. Suppose -3*d + 5 - 2 = 0. Does 6 divide s(d)?
True
Suppose 3*l - 19 = 5*h, -4*l + 0 = 3*h - 6. Suppose -3*x - 35 = 5*v, 6*x - 2*x = -l*v - 54. Is (12/15)/((-2)/x) a multiple of 3?
True
Let v = 347 - 181. Is 16 a factor of v?
False
Let k(u) = -21*u. Let v be k(-1). Let y = -11 + v. Is 5 a factor of y?
True
Suppose 36 = -3*m + m. Is 27 a factor of (-968)/m + 4/18?
True
Let q(m) be the first derivative of m**4/4 - m**3/3 + 4*m + 2. Let u be q(0). Suppose -4*n - 87 = -9*n - 4*j, 0 = -2*n + u*j + 46. Does 9 divide n?
False
Suppose 4*l + l = 40. Let k(s) = s**2 + 7*s + 5. Let v be k(-7). Let d = v + l. Is d a multiple of 6?
False
Suppose 2*r + 9 + 1 = 0. Let j = 7 + r. Suppose j*a - 12 - 3 = -l, a + 5*l = 21. Is a a multiple of 6?
True
Is 8 a factor of (-64)/(-2) + 0/(-12)?
True
Let b = -2 - 0. Let r(u) = u**3 + 2*u**2 - u. Let d be r(b). Suppose -q + 28 = z, 0*z + 4*z - d*q = 130. Is z a multiple of 11?
False
Let h(x) = -x - 9. Let p be h(-6). Let n = 17 - 31. Let i = p - n. Does 10 divide i?
False
Suppose -4*r = -3*d + 11, -r - 3*d = -2*d + 8. Let p(q) = -q. Let i be p(r). Suppose -4*z - 29 = -i*x, -2*x - 2 = -4*x + 4*z. Is x a multiple of 8?
False
Is 24 a factor of (0 - -51*1) + -3?
True
Let y = -37 - -63. Let w = y - 6. Is w a multiple of 5?
True
Let b = -33 - -44. Is 6 a factor of b?
False
Let x(t) = 2*t - 9. Let y be x(9). Suppose -27 = -12*h + y*h. Is h a multiple of 4?
False
Suppose 0 = -24*q + 20*q + 56. Is 7 a factor of q?
True
Let u(v) = v**3 - 8*v**2 - 2*v - 3. Let f be u(9). Let h be 5 + 3/((-6)/(-4)). Suppose -3*z - f = -h*z. Does 8 divide z?
False
Let a be 0 - 3/((-6)/40). Suppose -3*s + 5*s = a. Let k = 16 - s. Is k a multiple of 6?
True
Let m = 81 + 51. Is m a multiple of 6?
True
Let p be 4/14 + 82/7. Suppose -2*k = -4*k + p. Is k a multiple of 2?
True
Let v(u) = -4*u. Let l be v(1). Let w(o) = 11*o + 2. Let q be w(l). Does 10 divide q/(-2) + -3 + 2?
True
Suppose 0 = -2*w + 4*h + 46, -w - h - 142 = -6*w. Is w a multiple of 6?
False
Suppose 3*z - 3*j = 4*z + 17, 2*j - 17 = 5*z. Let b(g) be the third derivative of -5*g**4/24 - 7*g**3/6 + g**2. Does 10 divide b(z)?
False
Let s = 66 + -38. Is s a multiple of 7?
True
Suppose -w + 2*w = 2. Suppose -y + 4 = y. Suppose y*l = -w*n + 42, 0 = -3*n + l + 49 - 6. Is 15 a factor of n?
False
Suppose -6 = -w + 36. Does 14 divide w?
True
Suppose g - 4*m + m = 10, 0 = -2*g - m + 48. Is 22 a factor of g?
True
Suppose 3*s - o + 0 = -21, -3*s - 5*o = 39. Let m = s - -13. Suppose -94 - 21 = -5*k - m*x, 0 = 4*k + 5*x - 91. Is k a multiple of 12?
True
Let r be -2 + (-3)/((-9)/24). Suppose -2*t = -3*u + 7, 5*u + t - 22 + r = 0. Suppose u*q = 48 - 9. Is q a multiple of 13?
True
Let g(h) = h**3 + 9*h**2 + 7*h - 10. Is 13 a factor of g(-7)?
True
Let i(r) = 9*r + 1. Let s(y) = -y. Let u(v) = -i(v) - s(v). Is 22 a factor of u(-3)?
False
Suppose -9 = -j + 2*o, 2*j + 3*o - 47 = -2*j. Does 2 divide j?
False
Does 15 divide ((-90)/4)/(2/(-8))?
True
Let x(g) = -75*g**2 + 2*g + 7. Let r(c) = 113*c**2 - 3*c - 10. Let y(l) = 5*r(l) + 7*x(l). Does 16 divide y(-1)?
False
Let d = -17 - -29. Let z(w) = -w**3 + 13*w**2 - 10*w - 13. Is z(d) a multiple of 5?
False
Let u(q) = -2 + 4*q**2 + q - 1 + 2. Does 7 divide u(-2)?
False
Let o(q) = 4 + 4 + q**3 - 2*q**3 + 2*q**3. Is o(0) a multiple of 8?
True
Let d(i) = -5*i**2 + 4*i + 5. Let k(w) = -w**3 + 4*w**2 - 3*w - 4. Let l(n) = 2*d(n) + 3*k(n). Suppose -5 - 5 = 5*y. Does 16 divide l(y)?
True
Is (-2 - (-5)/4)/((-16)/64) a multiple of 2?
False
Let u(c) = c**2 + 2. Does 19 divide u(-6)?
True
Let v be (-42)/((-9)/(-3)) - 1. Is (-9)/(-15) - 381/v a multiple of 13?
True
Suppose 0 = 4*o - 4 + 12, -2*a = o - 186. Is a a multiple of 12?
False
Let i(c) = c**3 - 8*c**2 + c + 8. Let o be i(8). Let k = -10 + o. Is 6 a factor of k?
True
Let d(y) = 7*y**2 - 1 + 1 + y + 5 - 5*y - y**3. Is d(6) a multiple of 8?
False
Suppose 3*x = 5*o + 258 + 54, -5*o - 203 = -2*x. Is 12 a factor of x?
False
Let u = -4 - -6. Let o = u + 9. Does 11 divide o?
True
Let b = 40 + -13. Is 9 a factor of b?
True
Let p(j) = j**2 + 12*j + 9. Let o be (24/(-14))/((-13)/(-91)). Is p(o) a multiple of 3?
True
Let w(d) = -11*d**2 - 1 - 2 + d**2 + 4*d. Let x be w(2). Let v = -18 - x. Is 17 a factor of v?
True
Let f(n) = 104*n**3 - 6*n**2 - 6*n - 4. Let i(x) = -104*x**3 + 7*x**2 + 7*x + 5. Let s(l) = -6*f(l) - 5*i(l). Is 26 a