de 191/4 - (i + (-68)/16)?
True
Suppose -437 = 3*j + 1150. Let o = j - -346. Let z = -84 - o. Does 33 divide z?
True
Let f = 304 + 81. Is f a multiple of 35?
True
Suppose 5*n + 4*m = 32, m = -3*n - 2*m + 21. Suppose 2*d = n*d - 76. Let j = 3 + d. Is 12 a factor of j?
False
Suppose -50*j + 54*j = 240. Is 16 a factor of j?
False
Suppose 678 = 3*o + 3*o. Suppose 0*h + 30 = 6*h. Suppose -h*g = -o - 177. Is 16 a factor of g?
False
Suppose 2*r + 25 = 5*b, 0 = -5*r + b + b - 31. Let t = r + 7. Suppose t*k + 7 = -i + 26, 0 = k - 4. Is 11 a factor of i?
True
Let q(a) = 4*a - 35. Let t be q(10). Suppose -t*p + 165 = 3*x, 275 = -2*x + 7*x + 4*p. Is x a multiple of 9?
False
Suppose 17*f - 5*f - 25236 = 0. Is 14 a factor of f?
False
Is (-19)/((-3)/183*1) a multiple of 13?
False
Suppose 5*w = 4*w + 5. Is 4 a factor of 3/w - 6501/(-165)?
True
Let l be 0/7 - (95 - 1). Let t = l + 174. Does 20 divide t?
True
Let s = 44 - 41. Suppose -4*y + 8 + 48 = 5*l, 0 = -s*y - 4*l + 42. Is 2 a factor of y?
True
Let i be -25*((-8)/5 - -2). Is (1/2)/(i/(-540)) a multiple of 27?
True
Let g be ((-4)/10)/(3/(-45)). Suppose 6*m + 3*p = 4*m - 23, g = m - 2*p. Is (-5 + 19)*(-2)/m a multiple of 6?
False
Suppose 7 = -4*b + 19. Suppose b*w - 10 - 11 = 0. Is w/(-21) - 86/(-6) a multiple of 5?
False
Does 142 divide -13 + 1719 - (6 + -4)?
True
Let v = 1581 + -1105. Is v a multiple of 12?
False
Suppose 957 = 4*p + z, 7*p = 2*p - 2*z + 1197. Is p a multiple of 6?
False
Let x = -289 - -460. Does 8 divide x?
False
Let a(m) = 3*m**2 + 32*m + 65. Is 29 a factor of a(9)?
False
Let d(v) = v + 7. Let t be d(-7). Suppose 0 = 5*x + 2*o, x + 4*x - 4*o - 30 = t. Suppose 4*g = 2*z + 12 + x, 5 = -5*g - 5*z. Is 2 a factor of g?
True
Suppose -2*z = -c - 242, -5*z - 4*c + 518 = -61. Is z a multiple of 17?
True
Suppose -34*i - 1620 = -44*i. Is 81 a factor of i?
True
Let a(x) = 384*x + 32. Is 13 a factor of a(1)?
True
Is 10 a factor of ((-18054)/(-54))/((-7)/(-21))?
False
Let l = -123 + 215. Does 4 divide l?
True
Let m(i) = -24*i - 4. Suppose -4*d - 13 = d + h, 4*d = 4*h - 20. Is 17 a factor of m(d)?
True
Let a(b) = 2*b**2 + 9*b + 7. Suppose -6*u + 3*u - 18 = 0. Does 7 divide a(u)?
False
Suppose 4*a - 3*i - 485 = -0*a, -3*i = -15. Does 5 divide a?
True
Suppose 3*r - 3*s + 8*s = 69, 0 = -3*r - 3*s + 75. Is r a multiple of 14?
True
Let s(k) = 9*k**3 - 2*k**2 - 6*k - 6. Let g(r) = 8*r**3 - 2*r**2 - 6*r - 5. Let l(h) = -3*g(h) + 2*s(h). Is l(-2) a multiple of 6?
False
Suppose 0 = 5*y + 7 - 47. Let q be (-7)/2 + 819/126. Let p = y - q. Is p a multiple of 5?
True
Does 42 divide (-22280)/(-10)*(-1)/(-4)?
False
Suppose 19*o - 904 = -5*g + 20*o, 3*o = -g + 184. Is g a multiple of 6?
False
Let m(c) = -c**3 - c**2 - 2*c - 1. Let z be m(-2). Suppose z*f = 3*f. Is ((-315)/(-5) - -2) + f a multiple of 13?
True
Let r = 3 - 3. Suppose -5*f + 5*o + 20 = r, 11 = 3*f - 4*o - 0*o. Let n(b) = 4*b**2 - 3*b - 7. Does 13 divide n(f)?
True
Suppose -3*i = -i + 6. Let j(v) be the third derivative of -3*v**4/8 - 7*v**3/6 + 30*v**2. Does 5 divide j(i)?
True
Let h = -259 - -266. Does 7 divide h?
True
Let y(p) = p**2 - 11*p - 6. Let i be y(13). Suppose -4*x = 5*g + i, -11 = 3*g - 5*x + 1. Does 18 divide (-214)/g - (-2)/4?
True
Let k(n) = -639*n + 158. Is k(-1) a multiple of 10?
False
Let f(k) = k**2 + 7*k. Let j be f(-6). Let p be 2408/21 - 2/j. Suppose 0 = 5*a + 4*c - 150, -5*a + c + 2*c = -p. Is 13 a factor of a?
True
Let k = 3182 + -2723. Is 10 a factor of k?
False
Let o = 2 - 6. Let y = o + 11. Let s(b) = b**2 - 8*b + 11. Is 4 a factor of s(y)?
True
Let u(z) be the first derivative of 3*z**4/4 - 7*z**3/3 + 10*z - 6. Let a be u(5). Let n = a + -148. Is 17 a factor of n?
False
Let q be 26 - 0 - (-5)/((-15)/6). Suppose -79 = -5*c - 4*o, -1 - q = -2*c + 5*o. Does 3 divide c?
True
Suppose -1285 = -4*a - 5*i, 16*i = 19*i - 3. Does 8 divide a?
True
Let y(o) = -13*o + 3. Let w be y(5). Let t be (-5 + -1)*w/6. Suppose -x = -4*m - t, 4*x - 4*m - 87 - 101 = 0. Is 21 a factor of x?
True
Let v be 6/4*((-310)/(-15))/1. Suppose -28*h - 234 = -v*h. Is 39 a factor of h?
True
Let f(z) = -z + 12. Let w be f(8). Suppose 2*q - 428 = -2*q + l, 5*q - 535 = w*l. Let j = q - 76. Is j a multiple of 31?
True
Let o = -40 + 45. Suppose 5*w = -o*p + 245, 5*w - 4*p - 254 = -6*p. Is 13 a factor of w?
True
Suppose -7*m = -8*m + 38. Suppose 0 = 2*r - 108 - m. Is (-7)/((-7)/2) + r a multiple of 22?
False
Let w be -5*(1 + 1 + (-3)/1). Suppose -2*t + 166 = 4*d, 0 = -w*d + 3*d + 4. Is 18 a factor of t?
False
Does 6 divide (-3 - 190/(-70)) + 4708/14?
True
Suppose -4*d - 144 = -6*d. Is 16 a factor of d?
False
Let m be (-443)/4 + 15/(-60). Is 8 a factor of (1/(-2))/(24/32)*m?
False
Let f be 66*2 - (0/(-4))/(-1). Suppose -r + 5*z = 3*z - 33, -5*r + f = z. Does 9 divide r?
True
Let x(h) be the third derivative of -h**6/120 - h**5/15 - h**4/24 - 5*h**3/3 + 9*h**2. Is 10 a factor of x(-5)?
True
Let u(g) = -g**3 - 9*g**2 + 7*g + 20. Does 5 divide u(-10)?
True
Let f be 180 - (-1 - 4/(-8)*0). Suppose -f = -6*m + 89. Is 43 a factor of m?
False
Let x be ((-2)/5)/(7/(-35)). Suppose 0 = -3*q - x*c + 101, 4*c = q - 53 + 10. Is 8 a factor of q?
False
Suppose 5*w - 3*w = 4*m + 656, 2*w - 3*m = 655. Is 15 a factor of w?
False
Let z(r) = -3*r**3 - 1. Let v be z(1). Let n(t) = 359*t - 175*t + 5*t**2 - 4 - 175*t. Is n(v) a multiple of 10?
True
Let g(n) = n**2 - 14*n + 16. Let s be g(13). Suppose 2*p + 3 = s*p. Is 4 a factor of (0 - (1 - p)) + 10?
True
Suppose -j + 5*i + 8 = -399, 0 = 3*j - i - 1221. Is 44 a factor of j?
False
Let w = 13 - 24. Let v(d) = d + 13. Let a be v(w). Suppose a*u - 42 = -4. Does 19 divide u?
True
Is 29*32 + (25 - 33) a multiple of 20?
True
Let k be 0 + -9*4/(-6). Let w be 20/k*(-9)/(-6). Suppose -w*d = -6*d + 25. Is 10 a factor of d?
False
Let c = 11 + -9. Let a be c + 18 + 3 + -1. Let f = a - 11. Is f a multiple of 4?
False
Suppose 4 = -104*b + 106*b. Let q(o) = -3*o + 13. Is q(b) a multiple of 6?
False
Let m(s) = s**3 + 7*s**2 + 6*s - 2. Let y be (8/(-12))/(1/18). Let o = y - -7. Does 13 divide m(o)?
False
Let m(x) = -3*x**3 - x**2 + 2*x - 5. Let n be m(3). Let p = n + 167. Does 24 divide p?
False
Suppose 11 + 3 = -w. Let z = -12 - w. Is 26 a factor of 104*((-6)/4 + z)?
True
Suppose 0 = f - 5*f + 60. Let g = 29 - f. Does 3 divide g?
False
Let p = 505 - 355. Is p a multiple of 15?
True
Let g(w) = -w**3 + 6*w**2 + 3*w - 13. Let i = -20 + 26. Let s be g(i). Suppose -s*h + h = -2*d - 152, -3*d = 0. Is h a multiple of 19?
True
Suppose 60 = -b + 6*b. Let u be (-2 + b)*1/2. Suppose -8*l + 4*l - 4*s + 36 = 0, 4*s + 72 = u*l. Is l a multiple of 4?
True
Let s(o) = -o**2 - o - 4. Let x be s(3). Let d(y) = -y**2 - 17*y - 7. Let t be d(x). Is (t/6)/3*20 a multiple of 3?
False
Does 14 divide 5890/31 + 1 + 0?
False
Suppose 0 = -6*m + 4*m - 3*y + 2, -4*m + 5*y = -26. Suppose 0 = m*j + 98 + 54. Let i = -17 - j. Is 16 a factor of i?
False
Suppose -62 = -2*a - 2*c, -3*a + 2*a = -c - 29. Suppose 0 = 2*w + 3*w - a. Suppose 0 = 3*v + w, -4*h + 4*v + 553 = h. Is 33 a factor of h?
False
Let l(p) = p**3 - 8*p**2 + 7*p + 10. Let y be l(7). Let c = y - 112. Is (-2)/(-6) + c/(-18) a multiple of 5?
False
Let r(p) = -p**3 + 17*p**2 + 39*p + 1. Let q be r(19). Is 35 - (q/4 - 2) a multiple of 15?
False
Does 9 divide 603/(-42)*8*(-11 + 4)?
False
Let h(c) = 3*c + 3*c**2 + 5*c**2 + c**3 + 6*c. Let y(g) = g**3 + 9*g**2 + 4*g + 31. Let z be y(-9). Is h(z) a multiple of 6?
True
Suppose 0 = -19*o + 21*o - 200. Is 10 a factor of o?
True
Let g = -96 + 67. Let b = -18 - g. Is b even?
False
Let n(h) = -h**3 + 11*h**2 - 2*h + 9. Suppose 0 = 15*q - 17*q + 18. Does 17 divide n(q)?
True
Suppose -17*z + 44*z - 108027 = 0. Is z a multiple of 12?
False
Suppose 18*a - 51*a + 47355 = 0. Is 41 a factor of a?
True
Let u(w) = 95*w**2 - 7*w - 19. Does 18 divide u(-3)?
False
Suppose 4*k - 95 = t, 5*t - 4 - 1 = 0. Is k a multiple of 8?
True
Suppose -5*y + 5375 = 20*y. Does 6 divide y?
False
Is 8 a factor of 162/(-39) + 4 - (-18156)/52?
False
Suppose 4*m = -4*m + 112. Is 2 a factor of m?
True
Suppose 2*m - 1345 = -2*v + 3*m, -2*v + 2*m + 1340 = 0. Does 25 divide v?
True
Let u be (-2)/4*(-35 - 3). Let f = 19 - u. Suppose f = -3*p + 35 + 220. Is p a multiple of 11?
False
Let p(d) = -2*d**2 - 5*d - 2. Let o be p(-2). Su