ultiple of 5?
True
Does 31 divide (0 + (-20)/(-15))*-1*-186?
True
Suppose -4*f = -26 + 14. Does 25 divide (-831)/(-6) - f/(-6)?
False
Is 8/2*((-492)/(-8) - 3) a multiple of 26?
True
Let l(o) be the first derivative of 17*o**3/3 + 3*o**2 + 9*o + 2. Is l(-3) a multiple of 12?
True
Let v = 16 + -14. Suppose 3*d + 78 = 2*z, -2*d = -v*z + 2*d + 74. Is 13 a factor of z?
False
Let k(j) = -j**2 + j + 25. Is 5 a factor of k(-4)?
True
Suppose 3*r = -3*r - 114. Let h be (1 + 0/(-1))*r. Let m = h + 31. Is m a multiple of 4?
True
Let w(t) = -27*t + 37. Is 15 a factor of w(-8)?
False
Suppose v = -2*l + 675, 11*l - 6*v - 1713 = 6*l. Is 36 a factor of l?
False
Suppose -7 - 28 = 3*x + 2*w, 3*w + 30 = -2*x. Let g = 10 - x. Is g a multiple of 19?
True
Suppose 17 = 5*x - 8. Suppose u = 2*o + 2, -x*o + 6 = -2*u + 5*u. Suppose y = -o*y + 3*q + 9, q + 2 = 0. Is y a multiple of 2?
False
Is 13 + 0 + -3*(-40)/24 a multiple of 2?
True
Let v(q) = -5*q - 3. Let t(c) = -c + 1. Let l(s) = 2*t(s) + v(s). Let p be l(-2). Suppose 4*i = -z - p, -11 = -3*z + 2*i + 6. Is z a multiple of 3?
True
Let k(n) be the second derivative of n**5/20 - 5*n**4/6 + n**3/6 - 4*n**2 + 9*n. Let a be k(10). Suppose -16 = -a*t + 90. Does 24 divide t?
False
Let z(g) be the second derivative of -2*g**3/3 - 2*g**2 - g. Let r be z(2). Let d(h) = -4*h - 29. Does 16 divide d(r)?
False
Let g(p) = -p**3 + 7*p**2 - 5*p + 5. Let h be g(5). Let v(b) = 7*b + 343. Let u be v(-48). Suppose 0 = -4*t + u*t - h. Is 10 a factor of t?
True
Suppose -2*m - 968 = -5*k, m - 772 = -4*k + 2*m. Let g = 300 - k. Does 6 divide g?
True
Let j = 10 + -7. Suppose -u + 14 = j. Suppose -8*f + u*f = 45. Is 5 a factor of f?
True
Suppose 0 = 20*k + 3649 - 13649. Is 65 a factor of k?
False
Let c = 137 + -129. Suppose 10*h - 722 = c*h. Is h a multiple of 19?
True
Suppose 4*a = -z - 20, 4*z - a = -3*a - 10. Suppose -f + 2*f = z, 3*t + 4*f = 24. Does 2 divide t?
True
Let s be 29/2 + 5/(-10). Let o(z) = 10*z**2 - s*z - 3*z**2 + z**3 + 5*z**2 + 0*z**2 + 9. Is 10 a factor of o(-13)?
False
Let x(j) = 30*j + 12. Is x(44) a multiple of 33?
False
Let l(x) = 5*x - 2. Suppose -63*j + 24 = -59*j. Does 14 divide l(j)?
True
Suppose -3*s + 5*h + 1 + 3 = 0, 3*s + 3*h + 36 = 0. Let m = s - -5. Is ((-24)/(-16))/(m/(-40)) a multiple of 15?
True
Suppose 4*y = i + 7 + 9, -y + 3*i = 7. Suppose 2*r + 100 = j, y*j + r - 500 = -0*r. Is j a multiple of 25?
True
Let r(x) = 11*x**2 + 4*x - 11. Is r(-5) a multiple of 61?
True
Let u(o) = -3*o**3 + 5*o**2 + 6*o + 3. Let g be u(-2). Is 4 a factor of (-7 - (-2 + -1)) + g?
False
Does 33 divide 42 - 3 - (4 - -2)?
True
Suppose 5*v + 1954 = 3*l, -4*l + 2*v + 538 + 2058 = 0. Suppose 0 = -4*t + l + 684. Does 19 divide t?
False
Let o(p) = 5*p - 18. Let c be o(6). Suppose 0 = l + b, 3*l = l + 2*b + c. Suppose -y + 6*y + 19 = 4*x, x - 9 = -l*y. Is x even?
True
Suppose -7*s + 43 + 13 = 0. Let a(b) = -b + 30. Does 15 divide a(s)?
False
Suppose -q + 0 + 2 = 0. Suppose 2*k + 12 = 18. Suppose 93 = q*t - c + 2*c, k*c = t - 57. Is t a multiple of 17?
False
Suppose 3395*o - 3386*o - 720 = 0. Is o a multiple of 4?
True
Let u be -74 + (-2 + 1 - -4). Let f = -50 - u. Is 21 a factor of f?
True
Is 10 a factor of (-2964)/(-9) - (6/(-9))/1?
True
Suppose -18*m + 41911 + 7841 = 0. Does 14 divide m?
False
Let y(v) = v**2 - 1. Let h be y(2). Let p(b) = -b**3 + 2*b**2 + 10*b - 4. Let u be p(4). Suppose -146 = -5*i - 3*x + 6*x, 0 = u*i + h*x - 133. Does 12 divide i?
False
Suppose 4*c + 5*p = -1, -c - 3*c + p + 29 = 0. Let o(i) = 49*i + 1. Let s be o(c). Suppose s = 7*b - 272. Is b a multiple of 18?
False
Let i = 401 + -733. Is 6 a factor of 7 - 282/42 - i/14?
True
Let m = 320 - 216. Is 26 a factor of m?
True
Let l = 0 + 4. Let h be -2 - -2 - (-6 - 6/3). Suppose -5*o - l*f + 62 = 0, -h = -5*f - 18. Is 6 a factor of o?
False
Suppose 0 = 2*m - z - 16, 24 = 5*m - 2*z - 18. Is m a multiple of 2?
True
Does 17 divide (-645)/(-2) - (189/(-18) - -10)?
True
Let n(u) = 2*u**2 + 4*u + 1. Let v(t) = -2*t + 8. Let i = 1 - -5. Let x be v(i). Does 12 divide n(x)?
False
Let f(r) = -14*r - 4. Let a be f(5). Let i = a + 109. Is ((-42)/i)/(6/(-80)) a multiple of 13?
False
Let w(b) = -b**2 + 5*b - 5. Let g(n) = -n**2 + 3*n - 3. Let t(f) = -11*g(f) + 6*w(f). Is t(2) a multiple of 16?
False
Suppose -233*m + 228*m + 4320 = 0. Does 12 divide m?
True
Let k = 198 - 111. Does 3 divide k?
True
Let a = 23 + -65. Let y = 4 + a. Let c = y - -105. Is c a multiple of 29?
False
Suppose 2*g + 2*g - 3*l - 16 = 0, 3*l = -g + 19. Suppose 2*a + 0*p = -4*p + 46, -3*p - 24 = -3*a. Suppose -6*r + g*r = a. Is r a multiple of 2?
False
Suppose -2*b + 8 = 3*r, 0 = -0*b - 4*b - 2*r + 16. Suppose b*k = 5*l - 1331, 6*k - 4*k = -5*l + 1337. Does 4 divide 4/14 + l/21?
False
Let o = -5 - -7. Suppose -o*x - 4 + 2 = 0. Is 3 a factor of x/(-4) + (-118)/(-8)?
True
Suppose a = -3*d + 1567, d = -a + 540 - 17. Is d a multiple of 9?
True
Let j = -61 + 278. Is j a multiple of 23?
False
Suppose -2*b = -5*b + 5*n + 8, -4*n - 8 = -2*b. Let z(a) = a**3 + 4*a**2 - 2*a + 1. Let r be z(b). Suppose 0 = -3*x + r + 36. Is 5 a factor of x?
True
Let c = 400 - 396. Suppose -3*j + 3*u + 24 = 0, 3*j + 0*j = -2*u - 1. Suppose s - 3*s = c*k - 112, 48 = 2*k - j*s. Is 9 a factor of k?
True
Suppose 2*k - 2*i - i - 4508 = 0, -5*k = i - 11304. Is 50 a factor of k?
False
Does 17 divide (-18)/(-27) + (-385)/(-3) - 3?
False
Let d = 2642 - 1500. Is d a multiple of 10?
False
Let d(t) = -t**2 - 15*t + 9. Suppose -i - 3 = 9. Does 3 divide d(i)?
True
Let t be -191*6/(-15)*(-30)/(-12). Let v = t - 72. Is 8 a factor of v?
False
Suppose -h + 269 = -4*x, 3*x + 264 = h - 2*x. Let o be 1*(-3)/((-6)/8). Suppose -o*a = -h + 105. Does 11 divide a?
False
Suppose -d + b - 117 = -2*d, -2*d - 4*b = -228. Suppose 8*r - 3*r - d = 0. Does 12 divide r?
True
Suppose 2*y - 6336 = -4*a, -a + 88*y + 1574 = 86*y. Is 14 a factor of a?
True
Suppose 5*m - 2*c = -14512, 2896 = -0*m - m + 2*c. Is 10 a factor of (3/(-9))/(8/m)?
False
Let a be (-16)/(-6) + (-3)/(-9). Suppose 403 = 5*u - a*j, 2*u + 0*u - 3*j - 163 = 0. Does 24 divide u?
False
Is 13 a factor of -3 + (0 - (-1 - 288))?
True
Let r = 13 + 50. Is 12 a factor of r?
False
Suppose 0 = -2*c + 3*u + 129, -313 = -4*c - 26*u + 21*u. Does 6 divide c?
True
Let u = -28 - -64. Suppose q + u + 4 = 0. Is (q/(-12))/((-2)/(-3)) a multiple of 3?
False
Suppose -5*k = -79 - 261. Suppose 66*r - k*r + 62 = 0. Does 2 divide r?
False
Let i = 826 + -406. Does 65 divide i?
False
Let a = -220 - -234. Does 13 divide a?
False
Let c = 250 - 91. Is 8 a factor of c?
False
Let q(k) = -121*k - 11. Let c be q(-2). Suppose -4*x + c = -189. Does 20 divide x?
False
Suppose 75*j - 65*j = 9010. Is j a multiple of 61?
False
Suppose 2*c - 3*c = -16. Let d = 10 - c. Is 17 a factor of (-178)/d - (-10)/(-15)?
False
Let u(g) = g**2 - 3*g + 4. Let z be u(3). Let n = z - -10. Suppose 41 = 2*v + 5*l, 2*v - 2*l - 20 - n = 0. Is v a multiple of 18?
True
Let a(s) = s**2 + 5*s - 2. Let x be a(-6). Suppose 3*d + 18 = 3*u, -u - 3*u = x*d. Suppose u*w = -15 + 78. Does 6 divide w?
False
Let z(s) = -s**3 + 17*s**2 - 9*s + 40. Is 25 a factor of z(10)?
True
Let x(q) = -2*q**3 - 34*q**2 - 5*q + 29. Is x(-17) a multiple of 3?
True
Suppose -16 = 5*x - 1, 2*q - 5135 = -3*x. Is q a multiple of 34?
False
Suppose 0 = z - 2. Is 21 a factor of (363/3 - z) + 4?
False
Suppose 3*x - 31 = -5*b, -2*x = 3*b + 13 - 32. Suppose -x*q + a + 176 = 9, 3*q = a + 251. Is q a multiple of 6?
True
Let q(m) = 6*m - 1. Let t be q(1). Suppose t*s - 508 = 122. Does 9 divide s?
True
Let k = -358 - 890. Does 23 divide k/(-30) - (-2)/5?
False
Suppose q - 2*q = -a + 1, 2*q - 14 = -2*a. Let v(g) = -2*g + 11. Let n be v(a). Suppose i - n*i = -90. Is 9 a factor of i?
True
Suppose 0 = 7*j - 11*j + 48. Let g(n) = -9 + j*n - 5*n - 3 - 13. Does 15 divide g(10)?
True
Let g = -18 - 8. Let p = 49 - g. Is 15 a factor of p?
True
Suppose 3*j - 3*m - 792 = 0, 3*m - 250 - 14 = -j. Does 6 divide j?
True
Suppose -31 = -5*i - 3*c, 3*i - 6*c - 7 = -2*c. Suppose -g + i*g - 12 = 0. Suppose -g*d + 2*d + 22 = 0. Is d a multiple of 6?
False
Is 51 a factor of (-4)/20 + 41256/30 + 5?
False
Let t be 1/(-3*2/(-324)). Suppose 5*h - t = 3*h. Is 20 a factor of h?
False
Is 24 a factor of 0 + (20/(-130) - (-1250)/13)?
True
L