ue
Let o = 0 + 2. Suppose 3*x = o*x + 3. Suppose -4*r + 20 = 2*m, -5*m - 2*r + 17 = -x*r. Is m even?
True
Let u = 649 + -364. Is 19 a factor of u?
True
Let r(t) = t - 9*t - 4 + 11 + t**2. Is r(8) even?
False
Let u = 17 + -29. Let c = u + 27. Is 13 a factor of 8/6*(0 + c)?
False
Let k = -97 - -55. Suppose -4*p - 2*y = 70, -54 = 2*p + p + 3*y. Let u = p - k. Does 25 divide u?
True
Let s = -1 + 51. Let u = 6 + -2. Suppose u*p = 2*p + s. Is 9 a factor of p?
False
Suppose 3*q = -7 + 22. Let o = q - 2. Is 3 a factor of o?
True
Let d(u) = 1 - 3*u + 5*u - 3*u**2 + u**2 + 4*u**3 + 3*u**2. Let l be d(-1). Is 14 a factor of (-42)/(l + 1 + 2)?
True
Suppose -2*i - m - 8 = 0, 0*i + i - 5*m = 7. Let j be i/(2 + -5)*-7. Let p = j + 17. Is 4 a factor of p?
False
Suppose -6*u = -u - 30. Suppose -u*w + 192 = -2*w. Is w a multiple of 14?
False
Let k = 5 + 0. Suppose -k*u + 134 = -11. Is u a multiple of 14?
False
Suppose 2*z - 67 = -2*p - 3*p, 0 = 2*p + 3*z - 29. Let g = 23 - p. Is g a multiple of 10?
True
Let y(a) = -26*a + 19. Is 37 a factor of y(-7)?
False
Let m(l) = -14*l + 8. Let u be m(-11). Suppose -3*o - u = -6*o. Is o a multiple of 18?
True
Let v = 9 - 9. Suppose v*r = 3*r + 63. Is (-2 - -1) + r/(-1) a multiple of 8?
False
Suppose 0*s - 3*z = -2*s + 138, -371 = -5*s + z. Suppose -4*c + 164 = -t, 5*c + s - 281 = t. Is 21 a factor of c?
True
Let g(d) = -5*d + 2. Is 13 a factor of g(-10)?
True
Let z be -1*(-1)/1*-1. Let k be 0 + z - (-9 + -2). Let i = k + -6. Is i a multiple of 4?
True
Suppose -23 + 43 = 4*u. Is 4 a factor of u?
False
Let a(u) = -u**3 - 3*u**2 - u - 2. Let y be a(-4). Let c = y + 54. Let k = -38 + c. Does 17 divide k?
True
Suppose 4*h = -h + 120. Suppose 0 = -3*u + 5*k + 226 - h, 3*u - 4*k = 200. Is u a multiple of 24?
False
Let z(l) = 18*l**3 - l**2 + l - 1. Let o be z(1). Let k = -7 - -15. Let d = o + k. Is d a multiple of 16?
False
Let h = 42 + -22. Let x(c) = -c**3 + 2*c**2 + 4*c - 4. Let b be x(3). Let j = b + h. Is j a multiple of 19?
True
Is (-1 + -1)/((-2)/48) a multiple of 12?
True
Is 19 a factor of 3/((-3)/4 - 122/(-152))?
True
Let s(k) = k**3 - 2*k + 17. Let n be s(0). Suppose -n*j + 21 = -16*j. Is j a multiple of 7?
True
Suppose -5*x + c + 63 = 0, 4*x - c - 63 = 4*c. Suppose 0 = 4*o - x, -5*m - 4*o + 115 = o. Is m a multiple of 12?
False
Let l be (-3 - 1)*(-1)/(-1). Let g be (-6)/l + 1/(-2). Let u(q) = 16*q**3 + q**2 - 2*q + 1. Does 6 divide u(g)?
False
Does 19 divide 2409/12 - 1*(-9)/(-12)?
False
Suppose -4 = f - 30. Is 17 a factor of f?
False
Let q(b) = -26*b**3 - b**2 + b + 1. Is q(-1) a multiple of 5?
True
Let h(a) = 12*a**2 + 5*a + 15. Is h(-4) a multiple of 17?
True
Let y be 1 + -2 + 2/2. Suppose y = 3*s - 218 - 4. Does 21 divide s?
False
Does 22 divide 4*41 + ((-14)/7 - -3)?
False
Let c = -22 + 23. Let q(i) = 105*i**2 + 13*i - 3. Let x(d) = 70*d**2 + 9*d - 2. Let w(u) = 5*q(u) - 7*x(u). Is 13 a factor of w(c)?
False
Let d(u) = 3*u - 1. Suppose 0 = i - 2 + 1. Let o be (-1 + 9)*(i - 0). Is d(o) a multiple of 6?
False
Suppose -5*p = -3*j - 418, -j - 231 - 23 = -3*p. Is p a multiple of 23?
False
Suppose -3*k - 20 = -50. Suppose w - 6 = -2*r, -6*r - w + k = -2*r. Is r a multiple of 2?
True
Suppose 3*i = 187 - 49. Is 12 a factor of i?
False
Let z(y) be the first derivative of y**6/120 - y**5/12 + 5*y**4/24 - y**3/6 + y**2 + 1. Let d(c) be the second derivative of z(c). Is d(4) even?
False
Let f be (-4)/4 - -5 - 2. Is 4 + (f - 3) + 37 a multiple of 20?
True
Suppose 0 = 4*o - 5*u, -4*o = u + 3 - 27. Suppose 3*y - 1 = -o*p, 2*y + 12 = 3*p - 0*y. Is 238/6 - p/(-6) a multiple of 20?
True
Let f(q) = 2*q**2 + 13*q + 17. Let d be f(-12). Let g = d - 83. Is g a multiple of 22?
True
Let c = -52 - -73. Let f be (c/2)/((-5)/(-10)). Let o = f + -4. Is 10 a factor of o?
False
Does 8 divide (-8)/6*(-561)/22?
False
Let z(x) = x**2 + 3*x - 1. Let c(l) = -2*l**3 + l - 1. Let w be c(-2). Let s = -18 + w. Does 9 divide z(s)?
True
Suppose -o = -2*l - 2*o + 6, -5*l = 5*o - 20. Is l a multiple of 2?
True
Let q = -22 + 27. Is 4 a factor of q?
False
Is 35 a factor of (-4)/(-3)*528/8?
False
Suppose -4*q = 4*p - 748, 0*q - 2*q + p = -389. Suppose 5*n = 3*m + 306, n - m + q = 4*n. Is 21 a factor of n?
True
Let i(g) = -2*g + 10. Suppose 2*n + 5*f + 51 = 0, -4*n + 0*f + 2*f - 42 = 0. Is 18 a factor of i(n)?
True
Let p(v) = 7*v**2 + v. Let t be p(-1). Suppose -g = 2*g - t. Suppose 75 = g*k + k. Does 25 divide k?
True
Let c = 5 + 14. Suppose 3*l = 4*l - c. Is l a multiple of 9?
False
Suppose -392 = -3*y + 739. Is 13 a factor of y?
True
Suppose 0 = -5*m + 54 - 164. Let k = -4 - m. Does 6 divide k?
True
Let b = -49 - -85. Is b a multiple of 9?
True
Is -28*(2 - (-6)/(-2)) a multiple of 7?
True
Suppose -9 + 51 = 6*t. Is t a multiple of 2?
False
Let j(b) = b**3 - 6*b**2 + 15*b - 6. Is j(3) a multiple of 4?
True
Let w be (5/2)/(2/4). Suppose -w*s + 42 = 7. Does 4 divide s?
False
Is ((-152)/20)/((-1)/15) a multiple of 38?
True
Let c = -3 + 31. Is c a multiple of 16?
False
Suppose -3*u = -190 + 61. Let d = u + -20. Is d a multiple of 12?
False
Let k = 0 + -3. Let s be (-58)/(-6)*1*k. Let h = s + 48. Is h a multiple of 8?
False
Let x = -31 + 97. Suppose -3*k - 2*s = -0*s - 5, 0 = 5*s - 5. Suppose 5*t - x = -k. Does 9 divide t?
False
Let m be 2*-3*28/3. Is 12 a factor of m/35*15/(-2)?
True
Suppose -x = -2*x. Let p = 17 - 12. Suppose x*t = -p*t + 150. Does 15 divide t?
True
Let s(a) = -a**3 - 8*a**2 + 9*a + 10. Let c be s(-9). Let r be 5/1*4/c. Suppose r*g = 23 + 17. Is 10 a factor of g?
True
Let v(k) = -k**3 + 16*k**2 + 22*k - 13. Is 7 a factor of v(17)?
False
Suppose 0 = 4*y - 4 - 4. Suppose -6 = -0*z - y*z. Suppose -53 = -z*b - 5. Is b a multiple of 8?
True
Let c(r) = 3*r**2 - 6*r - 7. Let j be (-2)/2 + 3 - -2. Let h = 1 + j. Is c(h) a multiple of 19?
True
Let k be -3*(-3 - -2) + -1. Is (k/5)/(3/45) a multiple of 5?
False
Let p(r) be the first derivative of r**4/4 - 7*r**3/3 + 4*r**2 + 5*r - 1. Is 15 a factor of p(7)?
False
Suppose 150 = 3*m + 3*m. Does 5 divide m?
True
Suppose -5*m + 409 = 74. Is m a multiple of 19?
False
Let c(r) = -6*r - 5. Let f be c(-8). Let k = f + -21. Is (k/4 + -1)*2 a multiple of 7?
False
Let t(v) be the first derivative of 2*v**3 + v**2 - v + 2. Let s be t(-2). Let i = s + -10. Does 9 divide i?
True
Let y be (-2)/7 - 24/14. Let h(d) = -2*d**2 - 12*d - 12. Let m be h(-9). Is 9 a factor of y/4 - m/4?
False
Let w(x) = 6*x**2 + 4. Is w(3) a multiple of 8?
False
Let n(w) = -6 - 14*w + 3*w + w + 4*w. Does 14 divide n(-8)?
True
Suppose 0 = -0*l + 5*l. Suppose -2*q - 3*n - 7 = 0, -2*q = n - 5*n - 28. Suppose l*i + 48 = q*i. Does 12 divide i?
True
Let h = 7 - 8. Does 6 divide (-5)/h + 4 + -3?
True
Suppose 3*w = -2*p + 6, 5*p + w = -2*w + 15. Suppose g - 6*g + 127 = p*y, -g = 5*y - 43. Is g a multiple of 6?
False
Let q = 0 - -5. Suppose -4*s - 4*x = -140, 5*s - 285 + 70 = q*x. Is s a multiple of 13?
True
Let r(p) be the third derivative of -7*p**4/12 - 5*p**3/6 - p**2. Let s(m) = -m**2 + 4*m - 4. Let a be s(4). Does 17 divide r(a)?
True
Suppose 5 = -3*s - 13. Let y(v) = -v**2 - 6*v + 5. Let r be y(s). Suppose r*m = -4*t + 59 + 41, -50 = -t + 5*m. Is t a multiple of 15?
True
Let k = 322 + -179. Is k a multiple of 13?
True
Let j(i) = i + 9. Let a be j(-7). Suppose -1 = r, -4*r + 2*r = a*m - 44. Is m a multiple of 12?
False
Let m(a) be the first derivative of -1/3*a**3 + 4 - 3*a**2 - 7*a + 1/4*a**4. Is m(5) a multiple of 23?
False
Suppose 4*h - 6*h = -58. Suppose h = 2*v + 9. Suppose v = -3*g + 4*g. Is 5 a factor of g?
True
Let z be 14/(-4) + (-18)/(-12). Let w be z + (0 + -1 - 2). Let v(x) = -3*x + 3. Is 18 a factor of v(w)?
True
Suppose -2*j = 4*x - 206, 0 = -x + 5*j + 68. Is 17 a factor of x?
False
Let w be (0 - -8) + 1 + 3. Suppose 5*k = -3*x - x + 43, -w = 4*x. Is k a multiple of 7?
False
Let x(q) = -q**3 - q**2 + 4*q. Let n be x(-3). Suppose j - n*j + 72 = 2*a, 5*j + a - 71 = 0. Does 7 divide j?
True
Is (-6)/(-15) - (-7)/(35/108) a multiple of 3?
False
Let l(x) = x**2 - 6*x - 4. Let j be l(7). Suppose j - 2 = i. Let z = 13 + i. Does 14 divide z?
True
Suppose -2*o + 24 = -4*f, -f - 27 = 2*o - 6*o. Let y = o + -4. Is y/(2 + 0)*5 even?
False
Suppose 2*m - 5*p = 136, -m - 4*p - 74 = -2*m. Is m a multiple of 14?
False
Let d(m) = 8*m + 7. Let w be d