e
Suppose 3 = 3*i - 6. Suppose 6*n - 102 = i*n. Suppose 0 = 3*x - 5*x + n. Is x a multiple of 9?
False
Suppose 3*t + 69 = -5*m + 4*t, -5*t - 47 = 3*m. Let g = m + 52. Does 23 divide g?
False
Let r = 99 - 93. Is 3 a factor of r?
True
Let v = -2 + 7. Suppose -5 = 3*x - 2*i - 73, -v*x - 3*i + 126 = 0. Does 12 divide x?
True
Suppose 102 = 4*g - g. Is g a multiple of 17?
True
Suppose 4*x - 5*i = 298, -3*x - 2*i + 192 = -20. Is x a multiple of 23?
False
Suppose 5*s - 2*z - 31 = -3*z, 0 = -2*z + 2. Is 6 a factor of s?
True
Suppose 5*b - 579 - 33 = -4*u, 0 = -4*u - b + 628. Let q = -125 + 129. Suppose -q*v + 98 = -u. Does 24 divide v?
False
Suppose u + 3*u - 764 = 0. Let n = -123 + u. Is n a multiple of 24?
False
Let v = -3 - -53. Suppose -5*k + 13 = -12, 4*g - v = -2*k. Does 9 divide g?
False
Suppose -5*k = k - 24. Does 4 divide k?
True
Let g = -2 - -14. Is 4 a factor of g?
True
Suppose 0 = 3*c + 7 - 31. Suppose 29*w - 126 = 26*w. Suppose 4*i + 7*x - w = 2*x, -c = 4*x. Does 5 divide i?
False
Let a = 125 + -60. Suppose -5 = 4*j - a. Does 15 divide j?
True
Let l = 24 + 6. Is 10 a factor of l?
True
Suppose 5*z = 5*q - 270, -2*q - z + 19 = -83. Is q a multiple of 13?
True
Let y be (-1 + 1 - -1)*3. Suppose 0*u + 327 = y*u. Suppose 0 = 5*q - u + 19. Is q a multiple of 7?
False
Let s be (-1)/(-3) - 526/(-6). Let q be (-2303)/(-28) + (-1)/4. Suppose -5*m + s + q = 0. Does 17 divide m?
True
Let o = 6 - 7. Does 17 divide -34*(15/(-6) - o)?
True
Suppose -5*g + m + 19 = 0, 0*m + 3*m = 3. Suppose d = 3*d + l - 153, 5*d + g*l = 387. Is d a multiple of 25?
True
Let r(s) = 2*s + 1. Let i be r(1). Suppose -i*c - 57 = -6*q + q, 3*q + 5*c = 41. Is 6 a factor of q?
True
Let b = -7 + 19. Is b a multiple of 3?
True
Let j be (-1)/(-1)*-1*-4. Let l(b) = -b - 2. Let c(t) = -t**2 + 1. Let m(o) = -c(o) - l(o). Is 7 a factor of m(j)?
True
Let w(f) = f - 2. Let v be w(6). Let r = v + -7. Does 15 divide -2 - (-33 - (2 + r))?
True
Suppose 0 = -4*i + 3*o + 10, 1 = -5*i - 7*o + 4*o. Suppose -q = -i - 0. Suppose -j - q = -15. Is j a multiple of 7?
True
Suppose -a + 52 = 6. Suppose 2*t + a = 3*x, -2*x + 29 = -3*t - 10. Is 12 a factor of x?
True
Is 8/6*396/(-96)*-2 a multiple of 11?
True
Suppose -j - 10 = -6*j. Suppose x - 15 = j*l, -x = x + 3*l - 58. Is 23 a factor of x?
True
Let o = 39 + -13. Suppose 0 = -2*x - o + 4. Let f = -7 - x. Is f even?
True
Is (20*3/24)/(2/132) a multiple of 33?
True
Is 7 a factor of (3 - 2)/((-3)/(-27))?
False
Suppose 3 = n - 1, 5*d - n = 531. Let w = d + -63. Is w a multiple of 15?
False
Let x(t) = -t + 1. Let p be x(-1). Let c(a) = 11*a**2 + 3*a - 2. Is 12 a factor of c(p)?
True
Let b(d) = 7*d - 9. Does 10 divide b(9)?
False
Suppose b - 29 = 4*b + v, 2*b - 4*v + 38 = 0. Let m(r) = -r**3 - 10*r**2 + 8*r - 7. Is 11 a factor of m(b)?
False
Let z(b) = b**3 + 5*b**2 + 4. Let p be z(-4). Suppose -p = 3*o - 4*o. Is (-4)/(-6) + o/6 a multiple of 3?
False
Suppose 5*z = 2*z - 15. Let x(l) = 7*l**2 + 6*l - 5. Let s be x(z). Suppose 5*j - s = -4*w + j, 2*j = 2*w - 50. Does 15 divide w?
True
Let w be 0*(5/2 + -2). Suppose w*y - 132 = -4*y. Is 18 a factor of y?
False
Suppose -4 = -s - 2. Let c(x) = -3*x**2 - 6*x + 7. Let n be c(-5). Is 2/(-3)*(s + n) a multiple of 15?
False
Suppose -20 = -2*u - 8. Let t = -13 + u. Let g(w) = -2*w + 4. Is 11 a factor of g(t)?
False
Let p(w) = 3*w + 9. Let u(j) = -j**2 + 6*j + 7. Let t be u(6). Does 10 divide p(t)?
True
Let i(d) be the first derivative of -2*d + 1/3*d**3 + d**2 - 1. Is 4 a factor of i(2)?
False
Let i(b) be the first derivative of b**3/6 + 3*b**2/2 - b + 1. Let r(p) be the first derivative of i(p). Is 3 a factor of r(3)?
True
Let x = -72 + 96. Is x a multiple of 12?
True
Let l be 6/9*(0 - 9). Let s = -1 - l. Suppose -f + s = -1. Is f a multiple of 6?
True
Suppose -162 = -2*y - 4*p, -3*p = -0*y - y + 66. Is 18 a factor of y?
False
Suppose -5*u + 2*c = -450, -2*c + 18 = u - 72. Is u a multiple of 9?
True
Let s(k) = 6*k + 55. Is s(-8) even?
False
Suppose 0 = -2*t, 3*o - 3*t = -4*t + 384. Does 32 divide o?
True
Suppose w - 144 = -3*w. Let a = -12 + w. Is 8 a factor of a?
True
Let c(x) = 4*x**2 - 4. Let r(g) = -8*g**2 + g + 9. Let f(t) = 5*c(t) + 2*r(t). Let s be f(-2). Suppose u - s = -u. Is 5 a factor of u?
True
Suppose 3*s - 38 - 52 = 2*p, -76 = -2*s - 4*p. Does 8 divide s?
True
Let m(d) = -d**3 - 6*d**2 + 8*d + 1. Let l be m(-7). Does 10 divide l/2 - -20 - -3?
True
Suppose -2*w + 2 - 12 = 0, -2*t = 2*w. Suppose -5*i + 110 = 5*z, 3*i = -t*z + 51 + 17. Let v = -7 + i. Is 14 a factor of v?
True
Suppose -9*v + 16 = -5*v. Suppose 0*d + 4*d = 3*k + 168, -v*k = 5*d - 241. Is d a multiple of 10?
False
Let u be (-1)/((-42)/10 - -4). Let n = u - -67. Does 24 divide n?
True
Let t be ((-5)/1)/(5 - 6). Let o = 69 + -45. Suppose t*y - o = y. Is y a multiple of 3?
True
Suppose f = 4*f - 9. Suppose -5*m - j - 123 = 0, -3*m - f*j = 2*j + 87. Is 10 a factor of (-3 - m) + -2 + 1?
True
Let t(u) = u**2 + u + 1. Let q be t(8). Suppose -3*f + q = -35. Is f a multiple of 12?
True
Let w(d) = -d**2 - d + 6. Let f = 2 + -2. Let n be w(f). Is 16 a factor of (2 - 3*n)*-2?
True
Let t(o) = 5*o**2 - 2*o + 5. Let z be t(-4). Suppose -2*h = -z + 31. Is 9 a factor of h?
False
Let p = -31 - -45. Suppose -x = x - p. Is x a multiple of 3?
False
Let z(y) = 3*y**3 - 4*y**2 - 3*y - 3. Let i(u) = -2*u**3 + 3*u**2 + 2*u + 3. Let b(x) = -4*i(x) - 3*z(x). Let v be b(0). Is 10 a factor of 10*(v - -1 - -3)?
True
Let g(c) be the third derivative of -c**5/60 - c**4/24 + 5*c**3/3 - 3*c**2. Does 5 divide g(0)?
True
Let s(m) = m - 20. Let i(f) = -2*f + 40. Let h(v) = -3*i(v) - 7*s(v). Let b = -1 - -1. Is 10 a factor of h(b)?
True
Let i = 22 + 22. Is 19 a factor of i?
False
Let z(j) = -j**3 - 8*j**2 + 9*j + 6. Let x be (5 - 4)/(1/(-9)). Let n be z(x). Suppose -14 = -o + n. Is o a multiple of 13?
False
Let n(h) = 2*h**2 - 12*h - 13. Let l be n(9). Let y = 60 - l. Is (-3)/(-3) + (y - -2) a multiple of 11?
True
Let p be 16/7 - 2/7. Suppose 4*z + 6*o + 64 = p*o, z = -4*o - 28. Is 4/z - 40/(-3) a multiple of 13?
True
Is -1 + -3 + 6 - 4 - -181 a multiple of 15?
False
Suppose -70 = -2*k + 20. Is 13 a factor of k?
False
Suppose 2*c - 5*w = 429, -c + 2*c + 4*w = 247. Is 33 a factor of c?
False
Let d(s) = 5*s**2 - 1. Let v be d(-1). Suppose u = v*y - 6, 0 = -5*u + y - 4*y + 62. Does 10 divide u?
True
Suppose -3*w = 3*w - 636. Does 7 divide w?
False
Let g(s) = -s**3 - 4*s**2 - 4*s - 7. Is 19 a factor of g(-6)?
False
Let s be (-5)/(-2) - (-9)/18. Is (-16)/10*(-2 - s) a multiple of 4?
True
Suppose -5*t = 46 + 24. Let q = -11 - t. Does 2 divide q?
False
Let w(k) = 3*k**2 - 3*k**3 - 4*k + 4*k**3 + 4*k**2 - 3*k**2. Is w(-4) a multiple of 4?
True
Let y(a) = a**2 + 3*a - 5. Let w be y(-4). Suppose 2*p - p = 0, 3*s - p - 72 = 0. Let d = s - w. Is d a multiple of 9?
False
Let u(b) = 2*b**3 + b**2 - 4*b - 3. Let c be u(-2). Let r = 12 + c. Suppose 8*p = r*p + 45. Does 6 divide p?
False
Let i(n) = n**2 - 8*n - 7. Let g be i(-7). Suppose -2*x + x = -2*m - 70, -x = 5*m - g. Is x a multiple of 21?
False
Let h = 52 + -32. Is ((-168)/h)/(1/(-5)) a multiple of 14?
True
Suppose 9*h - 8*h - 55 = 0. Is 6 a factor of h?
False
Does 14 divide (916/12 - -1)*6/4?
False
Is 7 a factor of 9/6*52/3?
False
Does 15 divide (-422)/(-10) + (-5)/25?
False
Let o = 219 + -113. Let b = o - 76. Suppose -5*z = -10 - b. Does 8 divide z?
True
Let f be (-3)/(-12) - 19/(-4). Suppose -2*k - f*l = 2*k - 99, 0 = 4*k + 3*l - 101. Is 10 a factor of k?
False
Let n be 1*9*4/(-12). Is -3 + (46 - -1 - n) a multiple of 21?
False
Let o = 11 - 6. Let s(v) = -v**3 + 5*v**2 + 4*v - 4. Does 16 divide s(o)?
True
Let x = -13 - -17. Is 3 a factor of x?
False
Suppose -4*l - 3*y + 236 + 39 = 0, 190 = 3*l - y. Does 12 divide l?
False
Let h(f) be the second derivative of 7*f**3/6 - 3*f**2 - f. Is h(6) a multiple of 18?
True
Let l(r) = 7*r + 14. Is l(10) a multiple of 7?
True
Let f = 4 + 46. Is 11 a factor of f?
False
Let c(f) = -1 + f + 0 + f + 4*f. Is 7 a factor of c(4)?
False
Let h(i) = i**2 - 3*i + 6. Let z(m) = m - 16. Let q be z(11). Does 13 divide h(q)?
False
Let h(c) = 45*c + 5. Is 20 a factor of h(3)?
True
Is 11 a factor of (36/10 - 4)*-35?
False
Suppose 7*j + 5*g = 4*j + 374, 5*j = -2*g + 617. Does 15 divide j?
False
Suppose 17 = p - 2*