et t be j(d). Let z = 2 - t. Is 11 a factor of z?
True
Let t(i) be the third derivative of i**5/15 + i**4/6 - 21*i**2. Suppose -3*g = -2 + 14. Is t(g) a multiple of 24?
True
Let q(i) be the second derivative of -i**7/280 + i**6/360 - i**4/24 - 7*i**3/6 + 3*i. Let w(r) be the second derivative of q(r). Is 10 a factor of w(-2)?
False
Let n be (-8 - -8)/(0 + 1). Suppose -k - 3 = n, -38 = -5*x + 2*k + 88. Is x*1 + (4 - 6) a multiple of 22?
True
Let h(u) = -4 + 6*u - u**2 - 3 + 2 - 1. Let t be h(8). Let o = t - -31. Does 7 divide o?
False
Let v = -178 + -613. Let z = v + 1147. Is z a multiple of 17?
False
Let h(b) be the third derivative of -b**4/8 + 70*b**3/3 - 14*b**2. Is h(0) a multiple of 35?
True
Let h(t) = -16*t - 5 + 2 - t**2 + 8. Is h(-15) a multiple of 4?
True
Let y(u) = 3*u - 6. Let x be y(-8). Let i = -68 - x. Let h = i - -73. Is h a multiple of 13?
False
Let p = -62 + 103. Let g = 29 - p. Does 15 divide ((-1416)/g)/(4/2)?
False
Suppose 0 = -2*a + 2*u + 54, u + u - 90 = -4*a. Does 17 divide a?
False
Let t(b) = 2*b**3 + 10*b**2 - 15*b + 112. Is t(7) a multiple of 35?
False
Let o(k) = 36*k - 81. Does 28 divide o(5)?
False
Let b = 1576 - 1199. Is b a multiple of 12?
False
Suppose -4*j - 7*s + 219 = -2*s, -3*j - 4*s + 163 = 0. Suppose -503 = -6*i + j. Is 20 a factor of i?
False
Suppose -17*y - 1645 = -47494. Is 21 a factor of y?
False
Suppose -p + 4*s = -2*p + 10, 2*s = 2. Let o = -6 + p. Suppose 0 = 2*t - z - 25, o*t - 4*z + 32 = 3*t. Is t a multiple of 3?
True
Is 124/((-13 - -10)/(-27)) a multiple of 36?
True
Let z(h) = -2*h**3 - 6*h. Let g be z(4). Let x = g - -241. Does 23 divide x?
False
Let u be (-2 - 4)/(3/(15/(-2))). Suppose -1416 = -u*b + 3*b. Is 12 a factor of b?
False
Suppose 0 = 4*t - 2*g - 272, -55 = -5*t + 3*g + 283. Is t a multiple of 2?
True
Let i(w) = -w**3 - 4*w**2 + 6*w - 1. Let m be i(-5). Does 4 divide (232/(-12))/(2/m)?
False
Let m(t) = 4*t**3 - t + 1. Let g be m(1). Let y(d) = d**3 - 3*d**2 + 3*d - 1. Let f be y(g). Suppose a + 0*a - f = 0. Does 9 divide a?
True
Let u be (-2 - (-156)/(-2))*(-84)/24. Let x = u + -192. Does 11 divide x?
True
Let x be (-930)/16*(-20)/(-15)*-2. Suppose 3*f - x = -2*f. Is 27 a factor of f?
False
Let r = 109 + -107. Is 4840/72 - r/9 a multiple of 7?
False
Let o(g) = -8*g + 6. Let l be o(-1). Suppose l*a - a = 1313. Does 6 divide a?
False
Suppose -7*z + 55 = 4*z. Suppose z*w = 2*w + 141. Does 8 divide w?
False
Let m be (-588)/(-10) + 5/25. Is m/((-4)/(8/(-2))) a multiple of 7?
False
Let s(o) = 3*o**2 - 6*o + 6. Suppose 5*a = 7*a + 28. Let v = a + 18. Does 15 divide s(v)?
True
Let l be (-4 + 2)/(8/(-52)). Let t(n) = -n**2 + 11*n + 56. Is 17 a factor of t(l)?
False
Let l(n) = n**2 - n - 10. Let p be 5/15*-25*3. Let v = 20 + p. Does 5 divide l(v)?
True
Let k(i) = i**3 - 13*i**2 + 11*i + 15. Let j be k(12). Suppose 276 = j*g - g. Is g a multiple of 37?
False
Let o(y) = -3*y**3 - 19*y**2 - 7*y + 14. Is o(-13) a multiple of 9?
False
Let x(y) = 10*y**2 - 14*y + 23. Does 35 divide x(12)?
True
Let k(o) = -69*o - 1. Let p be (-1 + 2)/(4/(-4)). Let r be k(p). Suppose -5*q + r = -87. Is 27 a factor of q?
False
Suppose -2*p + u - 5*u = -3772, 4*p = u + 7499. Is 28 a factor of p?
True
Let w = 378 + -293. Is w a multiple of 28?
False
Suppose -2*h + 8 = -0*h. Suppose n = -n + 2*z + 14, 10 = n - h*z. Is n a multiple of 5?
False
Let k(j) = -j**3 + 13*j**2 + 14*j + 5. Let q be k(14). Suppose -s = 3*l - 0*s + 100, -3*l + 5*s - 130 = 0. Is q + -3 - l/1 a multiple of 17?
False
Suppose 0 = -7*g + 4*g + 4*l, 0 = 4*g - 3*l. Suppose g = 4*d - 0*d - 32. Does 8 divide d?
True
Suppose 0 = -4*p + y + 6, -15 = -6*p + p + 5*y. Suppose 3*x = 34 - p. Suppose 9 = 5*z - x, -88 = -4*b - z. Is 21 a factor of b?
True
Let f = -83 - -87. Suppose 0*v = 5*v - 10. Suppose 84 - 20 = 3*r - v*s, -r + 5*s + f = 0. Is r a multiple of 10?
False
Let p be -2 - (3 - 3 - -34). Let q = 58 + p. Is 13 a factor of q?
False
Suppose 2*m = -4*v + 276, -v = -5*v + 2*m + 268. Let x = 43 + v. Is 17 a factor of x?
False
Let b(y) = y**3 - 12*y**2 + 16*y + 45. Let j be b(10). Let i(m) = -16*m + 1. Let u be i(-1). Let s = u + j. Does 22 divide s?
True
Let a(h) = 2*h + 1. Let s be a(1). Let q be (-18)/(-4)*(-396)/(-9). Suppose t - 4*t = 4*m - 113, -s*m = -5*t + q. Is 15 a factor of t?
False
Suppose -4*f - 5*i = -0*f - 13, 3*f = 2*i + 4. Suppose 0 = -4*s + 4 - 0, 2*n = f*s + 200. Does 29 divide n?
False
Let v = 2 + 4. Suppose 3*y - v = y. Suppose y*l = 4*l + w - 52, -5*w = -4*l + 244. Is 28 a factor of l?
True
Let a = -848 - -1198. Is a a multiple of 50?
True
Suppose c - 3*c + 90 = 0. Suppose -y + 4*b = -0*b - 28, -3*y - b = -c. Let z = -10 + y. Is z a multiple of 3?
True
Suppose 0 = 4*h + 5*a - 41, 0*a + 2*a = 5*h - 10. Suppose 0 = 4*z - 3*x - 361, -h*z + x + 3*x + 360 = 0. Is z a multiple of 16?
False
Suppose -2*r = 2*r - 12. Suppose r*d = -127 + 499. Is 12 a factor of d?
False
Suppose 2*n + n = 6. Suppose 0 = -n*a + 4*a - 2. Is (0 + a)/(10/110) a multiple of 4?
False
Let t be (-7)/(1*2/(-2)). Suppose t*h = 8*h - 19. Let k = h - 5. Is 7 a factor of k?
True
Suppose -2*l + 10 = -26. Is 20 a factor of 1*l - (-19 + 15)?
False
Let t(b) = -b + 7. Let i be (-3 + 4)*3 + 2. Let y be t(i). Suppose -3*l - y = -41. Is 13 a factor of l?
True
Is 3*46 - ((-16 - -4) + 6) a multiple of 6?
True
Let z = 99 + -31. Is z a multiple of 6?
False
Suppose n - 61 = -2*n + 4*l, -l = n - 18. Suppose 3 = -r + n. Is 8 a factor of r?
True
Let q = 1718 + -1120. Does 46 divide q?
True
Let x(s) = -15 + 3*s**2 - 2*s**2 + 15*s + 7*s - 4*s. Let y be x(-19). Suppose 3*r + 3*k = y*k + 48, -r = -k - 14. Is 10 a factor of r?
False
Suppose -36*b + 2891 = -19789. Is 90 a factor of b?
True
Let l = 19 + 0. Suppose -2*b + 101 = 5*f, 2*b - 3*f = 42 + l. Does 16 divide b?
False
Suppose -2*k = 4*x - 220, 4*k - 401 = 4*x + 39. Does 22 divide (1 + 2/10)/(2/k)?
True
Let u be 22*1 - 80/20. Suppose 3*x = l - x - 18, -l + u = -3*x. Is l a multiple of 6?
True
Let l be (-6)/(-15) - (-383)/5. Let r be l/11 - (1 + 0). Is r + (-10)/5 - -89 a multiple of 24?
False
Let y(o) = -6*o + 4. Let t(r) = -5*r + 4. Let z(w) = -7*t(w) + 6*y(w). Let n be z(-8). Suppose 4*l = n*c + 92, -4*l + 3*c + 121 = l. Does 21 divide l?
False
Suppose -5 = 4*g - 21. Is (g - 3 - 98)*-1 a multiple of 15?
False
Suppose 114 = 4*b - b. Let n = 18 - b. Is 14 a factor of 3*5/(n/(-68))?
False
Let o = -6 - -9. Suppose -4*w = o*l + 218, 2*w + 0*l + 120 = 4*l. Does 19 divide 2/16 - 3689/w?
False
Suppose -2*y - 3*h = -2 - 1, -y + 5*h + 8 = 0. Suppose 55 - 362 = -y*p + 5*b, -4*p + 394 = b. Is p a multiple of 33?
True
Let w be 200/8 + (1 - 1). Is (-2)/5 - (-1935)/w a multiple of 17?
False
Suppose 6*m - 60 = -0*m. Suppose -m*t = -265 - 215. Does 8 divide t?
True
Let i(a) = a**3 - 5*a**2 + 2*a - 5. Let m be i(5). Suppose -m = 5*j + 3*p - 24, -2*j = -p - 1. Suppose -2*s + y = j*s - 8, -4*s + 3*y = 0. Is 3 a factor of s?
True
Does 16 divide (-11)/77 + ((-186489)/(-21))/3?
True
Let o be (5625/(-20))/(-5) + 3/4. Let r = 85 - o. Is r a multiple of 11?
False
Suppose 5*u = u - 40. Let l(k) = 2*k**2 + 10*k - 1. Is l(u) a multiple of 33?
True
Suppose -4*y - 3*u = -u, -4*y + 2*u = 0. Suppose 0 = -y*a - a + 21. Suppose -11*k - a = -12*k. Does 7 divide k?
True
Let w = 355 - -245. Does 50 divide w?
True
Let n(f) = -f**3 + 11*f**2 - 6*f + 14. Let v(z) = z**3 + 7*z**2 + 3*z - 8. Let m be v(-6). Is n(m) a multiple of 18?
True
Suppose g - 4*g = -4*r - 3, -4*r = 0. Let i = g + 51. Is i a multiple of 7?
False
Suppose 1756*t - 1751*t = 4250. Does 17 divide t?
True
Suppose 5 = -4*x + 21. Suppose x*z - 3*q - 315 = 0, q + 154 + 237 = 5*z. Suppose -z = -5*h + 2*h. Is h a multiple of 9?
False
Let k = 59 - 37. Suppose 0 = 17*n - k*n + 465. Is n a multiple of 4?
False
Let k(n) be the third derivative of -n**4/6 + 3*n**2. Let s be k(-1). Suppose -s*w - 3*l + 102 = 0, 5*l = -3*w + 10 + 61. Is 20 a factor of w?
False
Suppose 0 = -f - k + 341, -8*f + 356 = -7*f + 4*k. Is 8 a factor of f?
True
Let l = 2016 - 1100. Is l a multiple of 30?
False
Let o be 29 - (18/(-14) + 4/14). Suppose -3*v + 3*a + 431 = a, 2*v - 3*a = 294. Suppose -5*p = 2*w - o - 101, -5*p = -2*w + v. Does 15 divide w?
False
Suppose 5*d - 79 = -39. Does 5 divide 27 + 1 + (-2)/(d/12)?
True
Let s be 2 - ((-8)/4 - 142). Supp