= a + g, 2*a + g = 53. Does 21 divide ((-9)/a)/((-1)/249)?
False
Let w be 8/(-10)*(-150)/12. Does 4 divide (w/(-30))/(2/(-168))?
True
Suppose -2*m + 5*s - 12 = 47, 4*s - 136 = 4*m. Let f = m + 173. Does 24 divide f?
False
Suppose w = -3*b + 16, -3*w + 21 = 4*b - 52. Let x = 40 - w. Does 6 divide x?
False
Let i(j) = -j**3 - 16*j**2 + 15*j - 32. Let x be i(-17). Suppose 7*t - 54 - x = 0. Is t a multiple of 3?
False
Let b(l) = 10*l**2 + 2*l + 11. Let q(k) = 7*k**2 + k + 7. Let u(w) = 5*b(w) - 7*q(w). Does 4 divide u(-5)?
True
Suppose 23*v - 76 = 20*v - 4*s, -4*v + 4*s + 148 = 0. Let z be -1 - (-3 + 2) - 9. Let w = v + z. Does 9 divide w?
False
Let u = -10 + 37. Let y = u + -25. Suppose -5*q - n + 228 = 0, -q = y*q + 2*n - 141. Does 15 divide q?
True
Let m be (-3 + 3 + 0)/1. Let x be 5 - (m - (-3)/(-1)). Is (20/x)/((-4)/(-24)) a multiple of 6?
False
Let c = -82 + 511. Does 33 divide c?
True
Let p = 73 - 42. Suppose -3*w + 10 - p = 0. Is (3*6)/(9 + w) a multiple of 9?
True
Let h(i) = i**3 - 3*i**2 + 10. Let z be h(5). Is 9 a factor of 96/(-10)*z/(-18)?
False
Let d = -324 - -597. Is d a multiple of 39?
True
Let m(g) = -3*g**2 + g - 5*g + 5*g**2 - 6 - g**2. Is m(8) a multiple of 16?
False
Suppose 2798 = 3*n + b, -14*b + 1877 = 2*n - 11*b. Is n a multiple of 49?
True
Suppose u - 42 - 4 = 5*o, 3*u = -4*o + 138. Is 15 a factor of u?
False
Let j(z) = -2*z**2 - 12*z - 1. Let w be j(10). Let r = 23 - w. Does 43 divide r?
True
Suppose 0 = 3*t - 2*v - 22, -4*t = -t - v - 17. Does 6 divide (-27)/t*72/(-27)?
True
Let j = -63 - -90. Is 5 a factor of ((-2)/(-4))/(j/378)?
False
Let m be (-6)/(-4)*144/(-6). Let b = 14 - m. Let p = b + -29. Does 7 divide p?
True
Let p = 38 + -35. Let o(q) = 10*q - 9. Is 7 a factor of o(p)?
True
Let z(p) = -p**2 - 8*p - 4. Suppose 7*d = 2*d + 35. Let a be z(d). Let s = -61 - a. Is 24 a factor of s?
True
Let n be (-3 - 15/(-6))*0. Let w = 16 + -12. Suppose 2*v + 64 = y + w*y, 5*v - 15 = n. Is y a multiple of 9?
False
Suppose 3*j = -2*l - 12 + 1, 0 = -4*j - 4*l - 12. Let p(b) be the first derivative of b**3/3 + 3*b**2/2 - b + 1. Does 3 divide p(j)?
True
Let u(l) = 46*l**2 + 3*l - 4. Let x be u(6). Suppose -6*f + 280 = -x. Suppose -5*i + 35 = -f. Is i a multiple of 18?
True
Let y(i) = 8*i - 7. Let l(w) = -7*w + 7. Let b(n) = -7*l(n) - 6*y(n). Let s be b(9). Suppose 2*z - 2*u = -z + 101, -s*z - 3*u + 89 = 0. Does 8 divide z?
False
Let s(f) = f**3 + 7*f**2 + 2*f - 5. Let w be s(-5). Let m be (-8700)/(-180)*(-6)/(-10). Let y = w - m. Does 2 divide y?
True
Suppose -5*n - 221 = 1164. Let s = -147 - n. Is s a multiple of 26?
True
Let d(k) = 8*k**2 - 4*k - 2. Let x be d(2). Suppose 7*f = 5*f + x. Is f a multiple of 5?
False
Suppose 4*f - 8*f = -48. Suppose f = -m - 3*m, 5*t - 163 = -4*m. Suppose 2*a = 213 - t. Does 14 divide a?
False
Suppose -5*q + 4*d + 203 = -2857, 0 = -2*q - 5*d + 1257. Does 21 divide q?
False
Let h(t) = -t - 9. Let s be h(-11). Suppose s*k = 36 + 88. Is 26 a factor of k?
False
Suppose l = 5, -12*f + 10*f + 2*l + 1460 = 0. Does 15 divide f?
True
Is -6 - (-5)/(30/2034) a multiple of 23?
False
Let w(o) be the first derivative of 5*o**3/3 - 9*o**2/2 + 10*o - 7. Does 10 divide w(5)?
True
Let a = -27 + 31. Is 5 a factor of 5/((1 - 2/a)/4)?
True
Let h(b) = -3*b - 19. Let s be h(-8). Let m = 41 - s. Is 9 a factor of m?
True
Suppose 0 = 2*n + 5*f - 5 + 25, -2*f = -3*n - 30. Let d = n - -12. Suppose 0 = -4*g + d + 18. Does 5 divide g?
True
Is 39 a factor of 88641/(-294)*(-3)/((-9)/(-22))?
False
Let g = 21 - 18. Suppose -2*i + 3*i = 3*t - 46, 0 = g*t - 4*i - 40. Does 16 divide t?
True
Suppose 0 = -5*y - f + 992, -4*y + 2*f = -f - 786. Suppose -q - 3*b = -52, 5*b - 28 = 3*q - y. Is 35 a factor of q?
False
Let h(d) = 5*d - 7*d**3 - 3*d - d**2 + 5*d**3 - 9*d**3 + 5. Is 7 a factor of h(-2)?
False
Is 93 a factor of (-2 + 475/5)*(-99)/(-3)?
True
Does 12 divide -20 + 13 + -3 - -1170?
False
Suppose 4*r + 2*o - 61 = 25, 4*o = -5*r + 112. Is r a multiple of 10?
True
Suppose 0 = 3*s - 13 + 7. Suppose -28 - s = -r. Is 8 a factor of r?
False
Let j(f) = 1149*f**2 - f + 2. Does 44 divide j(1)?
False
Let t(d) = -d**3 - d**2 + 3*d - 4. Let g be t(-3). Suppose g*v = 171 + 29. Is 20 a factor of v?
True
Let d = 252 + -202. Is d a multiple of 14?
False
Let t = -297 + 771. Does 4 divide t?
False
Let l(m) = -3*m - 17. Let v be l(-7). Suppose 5*z - 4*z + 1 = 0, -5*u - v*z + 1321 = 0. Let a = u + -169. Is a a multiple of 17?
False
Let x = -72 + 66. Is (-159)/x*(8*-1)/(-1) a multiple of 53?
True
Let l(a) = a**2 + 5*a - 4. Let x be l(-6). Suppose -5*s - u + 715 = -6*u, 3*s - x*u - 430 = 0. Is 8 a factor of s?
True
Let o(m) be the second derivative of m**6/240 + m**5/24 - 7*m**4/12 - 3*m. Let a(c) be the third derivative of o(c). Is 14 a factor of a(3)?
True
Is 62/(-465) - 29837/(-15) a multiple of 9?
True
Let d(h) = 30*h**2 - 85*h + 5. Does 3 divide d(5)?
True
Suppose 4*r = 30*r - 54756. Is r a multiple of 25?
False
Let f be (2 - (-8)/(-3))*-9. Let x(v) = -2*v + 8. Let b be x(f). Let g = b + 12. Is g a multiple of 3?
False
Does 10 divide (-1 - -46 - 5)/2?
True
Let w(v) = -v**3 - 11*v**2 + 8*v + 5. Let y be w(-12). Suppose -f + n + 60 = -y, 2*n = f - 118. Is f a multiple of 18?
True
Let s(b) = -14*b - 4. Let u be s(-6). Suppose -2*d + 7*d = u. Let a = d + -13. Is 3 a factor of a?
True
Let a(p) = -p + 5*p + p**2 + 78 - 5*p. Let c(t) = -t**2 - 5*t - 4. Let q be c(-4). Does 26 divide a(q)?
True
Let h(g) = g + 38. Suppose -j = -5*p + 6 - 2, 3*j + 2*p + 46 = 0. Is h(j) a multiple of 12?
True
Let p(r) = 7*r + 1. Let f be p(8). Let o = -9 + f. Is 16 a factor of o?
True
Let h = -80 + 151. Let s be ((-4)/(-2) - 1) + h. Suppose s = 5*j - j. Does 8 divide j?
False
Does 27 divide 117 - (-5 - (4 - 9 - 1))?
False
Let h(z) = 5*z**2 - 3*z. Suppose 0 = -2*a - 0*a + 3*k + 15, 25 = -5*k. Let q = 3 + a. Does 18 divide h(q)?
True
Is 252/441 + (-1)/(14/(-8028)) a multiple of 14?
True
Let x(t) = -14*t**3 - 3*t**2 - 14*t + 108. Let a(g) = -5*g**3 - g**2 - 5*g + 36. Let j be 20/25*30/4. Let i(m) = j*x(m) - 17*a(m). Does 9 divide i(0)?
True
Suppose 0*b - 6*b + 1584 = 0. Is 11 a factor of b?
True
Let k(g) = -g**3 + 9*g**2 - 9*g + 9. Let a(x) = -3*x - 13. Let i be a(-6). Let v = 12 - i. Does 21 divide k(v)?
False
Suppose 2*n + 8*i - 38 = 3*i, -4*i - 8 = 0. Let g = 86 + -58. Is (g/(-8))/((-4)/n) a multiple of 7?
True
Let m(o) = 32*o**2 + 4*o - 6. Let h(s) = s**3 - 4*s**2 - 2*s + 10. Let i be h(4). Is 17 a factor of m(i)?
False
Let h(m) = m - 30. Let k be h(0). Let a = k + 29. Does 5 divide (3 + -2 + -11)*a?
True
Let j(m) = -m**3 + 4*m - 15 + 6 + 3 + 12*m**2. Is j(12) a multiple of 7?
True
Suppose -f - 5*i = -56, 0*i - 3*i = 4*f - 139. Suppose -s - f = 5*d, s + 15 = -3*d + 4*s. Is 7 a factor of 14*(15/d + 4)?
True
Suppose -728 = -9*f + 37. Is 17 a factor of f?
True
Is (7 + -5)*2 + 216 a multiple of 11?
True
Suppose 0 = -8*f + 3514 + 534. Does 46 divide f?
True
Let a be 9/(-6) - 14/4. Let n = a - 15. Let m = n + 57. Is 18 a factor of m?
False
Let d(s) = -2*s - 2*s - 77*s**2 + 78*s**2. Does 7 divide d(7)?
True
Let r be ((-4)/6)/((-1)/3). Suppose -2*y = r*y - 348. Let k = 129 - y. Is k a multiple of 17?
False
Let d = -10 - -34. Let t be ((-50)/(-15) + -4)/(2/(-117)). Suppose 3*l = d + t. Is l a multiple of 7?
True
Let s(n) be the second derivative of -n**4/12 + 10*n**3/3 + 3*n**2/2 + n. Suppose 3 = k - 11. Is s(k) a multiple of 21?
False
Let w(n) = -2*n + 1. Let u be w(-1). Suppose -u*k + 8 + 37 = 0. Suppose a + 2*t + 2 = 0, -5*a - 5*t = -0*t - k. Does 4 divide a?
True
Let x = 557 + -165. Is x a multiple of 16?
False
Let b(f) = -15*f + 56. Does 2 divide b(3)?
False
Let f(x) = -x**3 + 5*x - 3. Let v be f(3). Let c be v/6*24/(-20). Suppose 2*k + c*u = 20, 29 = 2*k + 4*u + 5. Is 2 a factor of k?
True
Let v(j) be the second derivative of -j**6/240 - 7*j**5/120 + j**4/3 - 4*j. Let c(i) be the third derivative of v(i). Is 6 a factor of c(-13)?
False
Suppose -h = -11 + 8. Let m(j) = -6 - j**2 - 3 - h*j + 0 + 25*j. Is 32 a factor of m(15)?
True
Let n(h) = h**2 - 10*h + 5. Let i be (2 - (-15)/9)/(3/9). Is 8 a factor of n(i)?
True
Let d(q) = -q**3 + 2*q**2 + 3. Suppose -2*t = -5*t + 21. Let a be 0 + 2 + (2 - t). Does 16 divide d(a)?
True
Let c(w) = w**3 + 7*w**2 + 2*w. Let r be c(-3). Let y = -28 