-7)/1 - -9 - -594?
False
Let w(i) = 636*i**2 - 2*i + 1. Is w(1) a multiple of 5?
True
Let l be (-7)/((-7)/2) + 0. Suppose -v = v - 6. Suppose 2*u - 2*q + l = 54, v*u + 3*q - 78 = 0. Is u a multiple of 11?
False
Suppose 0 = -2*u - 3*u + 5. Is (2 + 34)/(u/(-10)*-3) a multiple of 15?
True
Let d(l) = l**2 - 26*l - 55. Let q be d(31). Is q + 1 + (-9)/3 a multiple of 7?
True
Let d = -1091 - -2131. Does 65 divide d?
True
Suppose -3*s + 16 + 104 = 0. Does 40 divide s?
True
Let v(x) = 20*x**2 - 3*x + 3. Let q be (2 + -5)/(-3) - -1. Is v(q) a multiple of 30?
False
Suppose -3*f + 294 + 192 = 0. Is 27 a factor of f?
True
Let l(c) = 126*c + 208. Is l(7) a multiple of 10?
True
Let s(o) = -o**3 + 30*o**2 + 48*o + 54. Does 34 divide s(26)?
False
Let f(r) = -4*r**2 - r. Let g be f(1). Let x(m) = -2*m + 6. Is x(g) a multiple of 8?
True
Suppose 8*h = 11*h - 195. Suppose -520 = -7*b - h. Does 5 divide b?
True
Suppose q + 0*j - 139 = 4*j, -5*q = 4*j - 671. Is 12 a factor of -132*(q/(-10))/9?
False
Let k(m) = -3 - 3*m**3 - 2*m**3 + 10*m + 4*m**3 + 8*m**2. Let j be k(9). Suppose -3*q - j = 3*p, p - 7 = q + 3*p. Is q a multiple of 2?
False
Let x be ((-4)/(-6))/((-5)/(-30)). Suppose -12 + 2 = -5*j. Suppose j*a + 294 = 4*s, x*a = s - 57 - 13. Is s a multiple of 21?
False
Suppose 5*m + 13805 = 5*i, -5*i + m + 5807 + 7994 = 0. Does 69 divide i?
True
Let k(x) = x**2 - 16*x + 12. Let r be k(14). Let f be (5 + -6)/(1/r). Let v(j) = -j**3 + 16*j**2 + j + 8. Is v(f) a multiple of 5?
False
Let l be (2 - 4)/1 + -265. Let f = -165 - l. Is f a multiple of 17?
True
Let i be (4/5)/((-28)/(-1190)). Let q(u) = -u**2 + 9*u + 9. Let d be q(8). Let j = i - d. Is 5 a factor of j?
False
Let m be 4/16*4 + 59. Suppose -j = -5*o + 5, -3*j + 11 = -o - 2. Suppose -5*u = -j*y + 2*y - 150, 2*u - m = -y. Is 10 a factor of u?
True
Let o be ((-30)/(-175)*5)/((-2)/(-14)). Is 5030/45 - o/(-27) a multiple of 14?
True
Let b(k) = -2*k**2 + 12*k + 12. Let u be b(11). Let d = -62 - u. Is d a multiple of 9?
True
Let j(t) = -t**2 - 12*t + 1. Suppose -3*x = 7*x + 70. Does 9 divide j(x)?
True
Let v = 11 + -13. Let p be (v - -3)/(2/34). Suppose u + 6 - p = 0. Is 3 a factor of u?
False
Let k = -2145 + 2845. Is 16 a factor of k?
False
Is 46 a factor of (-3)/7 + (-301235)/(-385)?
True
Let q(f) = 6 - 6*f - 1 + 7 - 3. Suppose 3*d + 5*y + 46 = 0, 7*d - 3*d = 4*y - 8. Is q(d) a multiple of 14?
False
Let z = 41 + -61. Let x = z - -34. Is 3 a factor of x?
False
Suppose 3*l - 46 = 17. Does 6 divide l?
False
Let a = -659 + 1638. Is a a multiple of 20?
False
Let c = -2606 + 3015. Does 12 divide c?
False
Let f be 5770/20 + (-2)/4. Suppose -8*w + 10*w = f. Is w a multiple of 12?
True
Let x(o) = 51*o + 7. Let a(b) = b**3 + 2*b**2 - 7*b + 7. Let c be a(-4). Does 16 divide x(c)?
True
Suppose -6*f = -3*f + 27. Let h = 39 + -25. Let n = f + h. Is n a multiple of 2?
False
Let q(g) = -g**2 + 10*g - 7. Let v(k) be the second derivative of -k**5/20 + k**4/12 + 7*k**2/2 + 6*k. Let b be v(0). Is 8 a factor of q(b)?
False
Let u be ((-16)/(-168)*6)/((-4)/(-14)). Suppose u*y - 8 = 72. Is y a multiple of 4?
True
Let y(n) = 39*n + 196. Is y(16) a multiple of 20?
True
Let l be (33/(-4))/((-5)/100). Suppose -135 = -5*w + l. Is 15 a factor of w?
True
Let q = -10 - -26. Suppose -15*y = -q*y + 100. Is y a multiple of 25?
True
Let b(m) = m**3 - m**2 - 34*m + 45. Does 11 divide b(6)?
False
Suppose -2*u + 3*g + 149 = 0, -3*u = -4*g - 343 + 119. Is u a multiple of 19?
True
Let b be ((-240)/(-100))/(1/30). Is 6 a factor of b/20*(-25)/(-10)?
False
Let o = -38 - -34. Does 42 divide 6/o - (-3927)/22?
False
Suppose -3*w - 5*f = -7*w + 153, -52 = -w + 4*f. Suppose 10 = -2*t - 0, u - 3*t = w. Is 3 a factor of u?
False
Let k(n) be the third derivative of n**8/20160 + n**7/1680 - n**6/720 - 3*n**5/20 + 6*n**2. Let z(w) be the third derivative of k(w). Does 8 divide z(2)?
False
Does 10 divide (-190)/(5*(-9)/90)?
True
Suppose 17 = -5*t + 4*o, 4*t = -t + 5*o - 20. Is (169/(-52))/(t/12) a multiple of 5?
False
Let c(d) = -d**2 + 6*d - 2. Suppose 2*g = g + 1. Suppose -u - g + 5 = 0. Is c(u) a multiple of 4?
False
Suppose 0 = -4*d - 2*b + 34, 4*d - d = -4*b + 18. Suppose 1 + 3 = c, d = 2*w + c. Suppose -w*g = -14 - 25. Does 4 divide g?
False
Let m = -879 + 2370. Is m a multiple of 16?
False
Let s(z) = z**2 + 2*z + 2. Let t be s(-4). Suppose -q = q - 5*k + 22, 0 = -5*k + t. Is (-99)/q + 1/2 a multiple of 3?
False
Let t(m) = -4*m + 7. Let b = -49 - -25. Let d = b - -12. Does 16 divide t(d)?
False
Is ((-19992)/14)/(27/(-18)) a multiple of 17?
True
Suppose 3771 = 14*d - 3957. Is d a multiple of 23?
True
Suppose -j = -4*r + 18, -j - 5*r = -0*r - 27. Suppose -2*x + 6 + 2 = -j*d, 2*x - 8 = 5*d. Suppose 5*p + 22 = l - d*l, 4*p = 4*l - 24. Is l a multiple of 2?
True
Let p(s) = -2 - 2 - 2 + 12*s. Does 21 divide p(4)?
True
Let z(b) be the second derivative of b**3/3 - 2*b**2 - 5*b. Does 6 divide z(8)?
True
Let k(b) = -b**2 - 22*b + 26. Let l be k(-23). Suppose d - 2*t - 149 = 0, 6*d - d = l*t + 738. Is d a multiple of 9?
False
Let x(n) = -5*n**2 - 6*n + 1. Let t be x(4). Let k = -59 - t. Is k a multiple of 11?
True
Is 5 a factor of 332 - (-3)/(-2 - (-5)/10)?
True
Let o(k) = -14*k - 21. Let z(h) = -h**2 + 14*h - 23. Let b be z(13). Does 25 divide o(b)?
False
Let z(p) = -32*p - 13. Is 11 a factor of z(-9)?
True
Let h = -18 - -50. Is 5 a factor of h?
False
Suppose y - 4*a + 7 = 25, -2*y + 8 = -a. Suppose 2*c - 8 = -y*g, 4*g - g = -4*c + 15. Does 3 divide c?
True
Let r(z) = -18*z - 76. Is r(-5) a multiple of 14?
True
Let y = 214 - 86. Is 5 a factor of y?
False
Let q(b) = -16*b + 6. Let j(h) = -h**2 - 8*h - 8. Let l be j(-6). Suppose l*c - 1 = -3*z - 15, 0 = c - 3*z + 11. Is q(c) a multiple of 17?
False
Suppose u = 3*p - 409, -u + 290 = 2*p - 6*u. Is p a multiple of 8?
False
Suppose -c + k = 85, -4*c - 3*k - 375 = -0*k. Does 6 divide (c/35)/((-1)/7)?
True
Let y be 1/(-4) + (-10718)/(-184). Suppose -q + 5*w - 23 = 0, -2*w + 6*w = -q + 22. Suppose -5*k + q*t + 104 = -164, k + 4*t = y. Is k a multiple of 13?
False
Is 45 + 0/(6 - -1) a multiple of 2?
False
Let v(g) be the second derivative of -3*g**3/2 + 13*g**2/2 + 30*g. Does 4 divide v(-5)?
False
Suppose -d + 45 = 5*b, 0 = 4*d - 2*b - 3*b - 55. Suppose -k = -6*k - h + 31, 3*k - 22 = -4*h. Let a = k + d. Is 24 a factor of a?
False
Let a = 9 + -19. Is 43 a factor of a/(((-6)/(-8))/(387/(-24)))?
True
Let i(o) = o**3 - 10*o**2 - 16*o - 15. Suppose 17 + 7 = 2*d. Does 22 divide i(d)?
False
Does 69 divide (12/(-18))/(2/(-579))?
False
Suppose -3*z + 2*z + 1 = 0. Let m be z/(-3)*(-50 + -7). Is m - -3*1/(-3) a multiple of 9?
True
Let x = 26 - 24. Let s(u) = 3*u**2 + 7*u + 4. Let d be s(-4). Let p = d + x. Does 13 divide p?
True
Suppose 0 = -4*w + 92 - 4. Let h = -16 + w. Is 19 a factor of (h/(-8))/(2/(-152))?
True
Suppose 5*f - 7*f + 27 = -3*b, 0 = b - 1. Is 19 a factor of (-1419)/(-15) + 6/f?
True
Suppose 30 = -m + 2*m - 3*r, -3*r = -3*m + 84. Suppose 104 = 29*b - m*b. Does 26 divide b?
True
Let k = -21 + 34. Suppose t = k + 44. Does 19 divide t?
True
Let h = 34 + -30. Suppose 17 = h*c + r - 143, 4*c + 4*r = 172. Does 11 divide c?
False
Let g(y) be the second derivative of y**5/60 + 3*y**4/8 - 13*y**3/6 + 2*y**2 + 4*y. Let u(p) be the first derivative of g(p). Is u(-11) a multiple of 4?
False
Let a(h) = -10*h**2 + 7*h - 15. Let r(p) = -9*p**2 + 7*p - 14. Let f(b) = 4*a(b) - 5*r(b). Is f(2) a multiple of 5?
False
Let b(a) = 111*a**2 - 3*a + 3. Let f be b(1). Suppose -f + 9 = -3*w - k, -4*w + 5*k = -155. Is w a multiple of 7?
True
Let p(y) = y**3 - 5*y**2 + 3*y - 12. Let u be p(5). Suppose 4*a + 7 = -1, -3*k = -u*a - 171. Is 20 a factor of k?
False
Suppose -3570 = -2*d + 5*g, 5*g - 5771 + 2181 = -2*d. Is d a multiple of 26?
False
Let y be 172 + 0 + 4/2. Suppose -5*d + 36 = -4*h, 1 + 35 = -5*h + 4*d. Is 22 a factor of y/4 - 2/h?
True
Is 20 a factor of ((-81)/6)/((-9)/720)?
True
Suppose -h = 3*a - 543, 0 = -2*a + 4*h - 3*h + 357. Does 20 divide a?
True
Let h = 181 - 28. Is h a multiple of 9?
True
Let n be (12/21)/(14/245). Is 26*(-2 + n/4) a multiple of 4?
False
Let c = 5 - 5. Suppose c = 3*x + 5*u - 8, -5*u + 1 = 2*x - 1. Is 18 a factor of 3/x*42 + -3?
True
Suppose 4*u + 4*j - 30 = 22, 3*j = -6. Let o = u + -45. Is 11 a factor of (-4)/(-3