 - 5*h. Is 16 a factor of v?
True
Suppose 4*y - 9*y + 10 = 0. Suppose -7*i + 5*o + 342 = -3*i, y*o = -3*i + 268. Is i a multiple of 6?
False
Does 25 divide (-300)/12*423/(-9)?
True
Let c(b) = 36*b - 20. Let v be (-4)/1 - (3 - 9). Does 8 divide c(v)?
False
Let a = 3 + 2. Let m(h) = h**3 - 7*h**2 + 6*h + 3. Let q be m(a). Let l = q - -49. Is 10 a factor of l?
False
Let g = -2294 + 3347. Is 57 a factor of g?
False
Let o = -27 - -30. Suppose -o*k + 306 = 3*c - 2*c, 4*k - 5*c = 408. Is 29 a factor of k?
False
Let l(m) = -m**2 + 8*m - 1. Let c be l(7). Is 13 a factor of (63/6)/(3/c)?
False
Let g(d) = -2*d. Let r be g(-1). Let m be 367 - (r + 0/3). Suppose 0 = -3*c + 8*c - m. Does 21 divide c?
False
Suppose 250*v = 205*v + 5580. Is v a multiple of 31?
True
Let t(x) = -x**3 + 20*x**2 - 23*x + 24. Is 6 a factor of t(18)?
True
Suppose 10*g - 40 = -0*g. Suppose -g*u - 41 = -105. Is u a multiple of 4?
True
Let y(h) = 2*h + 22. Let u be y(6). Suppose -3*a = 5*v - 186, -3*a = -5*v + 4*v - 186. Let s = a - u. Is s a multiple of 14?
True
Let t(w) = -12*w - 59. Let f be (-3 + 114/4)*6/(-9). Is 29 a factor of t(f)?
True
Does 16 divide (-2)/(-4)*-5 - (-4323)/66?
False
Suppose -3*g - n + 1252 = 0, -11*n = g - 10*n - 418. Does 24 divide g?
False
Suppose k + 4*l + 101 = 3*l, -5*k + 5*l = 495. Let w be k*-3*(-4)/(-24). Is ((-8)/10)/((-4)/w) a multiple of 2?
True
Let k(r) = -r. Let o(p) = -2. Let g(v) = -5*k(v) + o(v). Does 9 divide g(4)?
True
Suppose 2*h = 5*z - 2*h - 52, 15 = -5*h. Suppose -2*j + 3*g + 20 = -0*j, j = -3*g - z. Suppose -n - 3*p - 7 = -2*n, 3*n - j*p = 46. Does 22 divide n?
True
Let c = 2873 + -1047. Does 22 divide c?
True
Let y be 1*0/((-6)/(-2)). Suppose 18*t - 4*t - 812 = y. Is t a multiple of 31?
False
Let c(g) = -2*g**3 - 7*g**2 - 5*g + 4. Let k be c(-4). Let a be (2/(-5))/(26/(-65))*5. Let b = a + k. Is 9 a factor of b?
True
Let b(k) = -3*k**2 - 2*k - 1. Let o be 12/(-16) - (-3)/(-12). Let j be b(o). Is (-310)/(-10) - (1 + j) a multiple of 16?
True
Let k = -13 - -38. Let r(j) = 14*j + 24 + 2*j**2 - k - 3*j**2. Does 9 divide r(12)?
False
Is (1 - (2302 - (-6 - -3)))/(-1) a multiple of 16?
True
Suppose 0 = 4*c - 4*k - 72, 0 = 5*c - 2*k + 29 - 113. Suppose 12*n - c*n + 544 = 0. Is n a multiple of 24?
False
Suppose 6*x - 15 = 3*x, -3*d + 25 = 2*x. Let w(u) = u**3 - 5*u**2 + 3*u + 6. Is w(d) a multiple of 5?
False
Let z = -24 + 27. Suppose 4*i = -z + 55. Suppose 0 = -9*a + i*a - 16. Is 3 a factor of a?
False
Let c = 5962 + -3586. Does 18 divide c?
True
Suppose 6*k - 593 - 1243 = 0. Suppose -6*g = k - 936. Is 21 a factor of g?
True
Let j(p) = -p**2 + 19*p + 40. Does 20 divide j(19)?
True
Suppose -3*u = -7*u. Suppose 5*w - o - o - 154 = u, 56 = 2*w + 2*o. Is 10 a factor of w?
True
Suppose -3 - 39 = -7*x. Let o(m) = -m + 13. Let g be o(x). Let n = g + 79. Is n a multiple of 16?
False
Let y(b) = -b**3 - 19*b**2 + 42. Is 17 a factor of y(-20)?
True
Let z(w) = 5*w**2 - 9*w + 29. Is 14 a factor of z(9)?
False
Let j be 3 - (6/3 - -1). Let b be (-44)/((-12)/3)*-1. Is 15 a factor of (j + 5)/(b/(-99))?
True
Let r = 7 + -4. Suppose 11 = 4*a - r*a. Suppose -3*n + y + a = 0, 3*y = 6*y - 3. Does 2 divide n?
True
Let f(p) = 1486*p**2 - p - 3. Is 14 a factor of f(-1)?
True
Is 1*7*14/6*3 a multiple of 7?
True
Let d(l) = -l**3 + 21*l**2 - 32*l - 46. Is 34 a factor of d(19)?
True
Does 13 divide ((-1287)/(-6))/(-10*(-2)/80)?
True
Let m(u) = 1319*u**3 + 2*u - 1. Is m(1) a multiple of 88?
True
Suppose -75*h = -81*h + 4014. Is h a multiple of 27?
False
Let x(n) = 5*n**3 - n**2 + 3*n + 4. Let a be x(4). Suppose 0 = b, 5*f - 4*b - b - a = 0. Does 16 divide f?
True
Let l(o) = -o**3 - 18*o**2 + 10*o - 25. Is 5 a factor of l(-19)?
False
Let h = 111 + 157. Is 11 a factor of h?
False
Let h = 223 + -99. Is h a multiple of 7?
False
Let g = -52 - -64. Let n(b) = -b**3 + 13*b**2 - 9*b + 8. Is 22 a factor of n(g)?
True
Suppose -6 = -2*o + 2. Suppose 2*h = -o*m + 194, -2*h - 3*h + 135 = 3*m. Is m a multiple of 22?
False
Let o = 4 - -1. Let q(h) be the second derivative of h**5/20 - h**4/4 + 2*h**3/3 - 2*h**2 + 4*h. Does 22 divide q(o)?
True
Suppose 0 = 2*y - 3*c - 404, -202*y + 197*y + c = -1036. Is 16 a factor of y?
True
Suppose -y - 22 = -4*q, 2*q = 5*y - y + 18. Suppose 1 = -2*x + q. Suppose x*f - 26 + 2 = 0. Does 6 divide f?
True
Suppose 6*w = 8*w - 98. Let s(t) = -w + 49 + 28*t**2. Does 14 divide s(-1)?
True
Let m(x) be the first derivative of x**4/4 - x**3/3 + 93*x + 157. Suppose 5*j + h + 4 = -3*h, -2*h = -2*j + 2. Is m(j) a multiple of 24?
False
Does 16 divide 2/12 + 3142/12?
False
Let f(h) = 3*h**3 + 23*h**2 - 23*h - 9. Let u(v) = 4*v**3 + 34*v**2 - 34*v - 13. Let n(m) = -7*f(m) + 5*u(m). Does 20 divide n(7)?
False
Suppose -p = 1 - 5. Suppose -4*f - k + 592 = 0, 2*f + f = -3*k + 435. Suppose -p*n + 11 = -f. Is 10 a factor of n?
True
Suppose -p + 21 = 4*t, -3*p = t - 9 - 10. Suppose -3*k + 22 = -4*r, -k - r = 1 + 1. Suppose -k*f + j + 25 = -0, 0 = f + 2*j - p. Does 5 divide f?
False
Let n(y) = 5*y**2 - 2*y - 2. Let u be n(6). Suppose 0*r = 3*w + r - u, -w - r = -52. Let k = 81 + w. Does 26 divide k?
False
Suppose -f + 2 = -a + 1, 10 = -2*f + 5*a. Let n = f + 0. Suppose -18 = -n*w + 2. Does 4 divide w?
True
Suppose 3*m = -18*m + 23352. Is m a multiple of 6?
False
Suppose 45 = 5*z + 4*j, -4 = z + 2*j - 19. Let q = 15 + -12. Suppose q*l - z*t - 65 = 0, -2*l = -l - 4*t - 17. Is 13 a factor of l?
False
Is 34 a factor of (-17575)/(-57)*(-1 - 8/(-2))?
False
Suppose -514 = 3*s - 100. Let k be s/(-15) + 3/(-15). Suppose k*l = 8*l + 33. Is 16 a factor of l?
False
Let b = -9 - -12. Let x be b/(1 - (-2)/4). Is x + 1 - (-6)/1 a multiple of 3?
True
Let u(a) = -a**3 + 5*a**2 + a + 5. Let h be u(5). Suppose -12 = -3*w - 4*p, -w - 3*w = 3*p - 16. Let d = h - w. Does 3 divide d?
True
Let r(k) = k**3 + 10*k**2 - 11*k + 20. Is r(-11) even?
True
Suppose 0 = -5*r + 3*q + 25, -3*r - 10 = -3*q - 31. Suppose 4*t - r = 5*x, -4*t - x + 4 = -5*x. Suppose t*m - 29 = 4. Does 11 divide m?
True
Let p be 11 + -11 + (-4)/(-2). Suppose -x = x + 4*u + p, 0 = -4*x + 4*u + 44. Suppose 131 = 2*z + x. Does 18 divide z?
False
Let y = 79 - 107. Is 9 a factor of (-956)/(-28) - (-4)/y?
False
Let u(r) = 25*r + 192. Is u(22) a multiple of 53?
True
Suppose -17*w = -8255 - 6705. Is 8 a factor of w?
True
Let t be (3 - 1)*26/13. Suppose -3*g + d - t*d - 24 = 0, 0 = 3*g + 2*d + 19. Does 13 divide 1 + 31 + g - 2?
False
Let b = 12 + -7. Suppose -b*c - 2 = d + 18, -5*d = 4*c + 16. Is 34 - c/8*6 a multiple of 12?
False
Does 92 divide (-24)/(-6) + -2 + -3 - -644?
False
Does 3 divide (4 + -3)/((-2)/(-124))?
False
Does 6 divide (-13 + (-142)/(-10))/((-6)/(-890))?
False
Let x be (212 - (-3)/1)*(-3 + 2). Let s = x + 355. Is 21 a factor of s?
False
Let x(d) = -d**3 - 14*d**2 - 6*d - 9. Let k be x(-11). Let o be (-10)/(-55) + k/(-11). Suppose 6*h - o = 20. Is 3 a factor of h?
False
Suppose -407*n + 3420 = -406*n. Is n a multiple of 47?
False
Let g be (-48)/2 - 1/1. Is 4 a factor of (16/(-10))/(10/g)?
True
Let r(m) = -m - 5. Let l(g) = g**2 - g - 8. Let z be l(0). Let v be r(z). Suppose -2*t - v*h = -60, 0 = 4*t - 0*t + 2*h - 120. Is 7 a factor of t?
False
Does 5 divide (-2)/14 + (-67150)/(-238)?
False
Let i = -776 - -2251. Is 4 a factor of i?
False
Suppose -y - 20 = -2*y. Let o = 88 + -68. Suppose -5*l = 5*a - y, -o = -2*a - a - l. Is 2 a factor of a?
True
Let g = -74 + 104. Let x be (74/6)/(10/g). Suppose -x = 2*v + 4*k - 167, 4*k = 2*v - 146. Does 18 divide v?
False
Is 17 a factor of (4 + 344/12)/((-2)/(-42))?
False
Let z(r) = -r**2 - 10*r + 16. Let n be z(-11). Suppose n*q = -3*w + 21, 3*q - 4*w = -w + 3. Suppose 7*c - q*c = 44. Does 7 divide c?
False
Let t(l) = -l + 8. Let q be t(8). Suppose q*z - 14 = 2*z - 4*x, 7 = z + 5*x. Is 7 a factor of 4/((0 - z)/12)?
False
Let l be (-1)/(-3)*0 - 0. Is 40 a factor of 124 - (l + 8/2)?
True
Suppose 21*i - 58 = 20*i. Let f = i + -8. Is 10 a factor of f?
True
Suppose p + 4*p + 10 = 5*u, -p = -3*u + 10. Let j(s) = -s**2 + 69. Let t be j(0). Suppose -7*k + t = -u*k. Is 4 a factor of k?
False
Suppose 5*t = -4*d + 77, -d - 49 = -2*t - 2*t. Let a = 63 - t. Is 50 a factor of a?
True
Is 19 a factor of (4180/6)/((-126)/(-54) - 2)?
True
Does 31 divide 390/(-650)*(-465 + 0/2)?
True
Let o be (-15)/20 + 19