e 37*-4*4/l?
False
Suppose -5*x + 64 + 11 = t, -175 = -3*t - 5*x. Is 10 a factor of t?
True
Suppose 5*u - 27 = 143. Suppose -c - c + 108 = 0. Let m = c - u. Does 8 divide m?
False
Suppose 0 = -4*b + 3*v + 11, -b - 2*v + 7 = -7*v. Suppose 0 = -2*i + i + b. Is 11 a factor of (-44)/(-10)*10/i?
True
Let z(d) = -d**2 + 5*d + 7. Let r be z(5). Let i = r - -9. Let a = i + -8. Is a a multiple of 4?
True
Suppose -4*s = 5*m - 124, -m = -0*s - s + 22. Is s a multiple of 13?
True
Let c(x) = 17*x**2 + 1. Is 9 a factor of c(-1)?
True
Is 19 a factor of -3 + (-15)/((-9)/3) + 51?
False
Is 28 a factor of (-702)/(-7) + 28/(-98)?
False
Let g be (-2)/4*(-5 + -133). Suppose -180 = -3*a - g. Does 10 divide a?
False
Is (-3)/2*(-2 + -122)/1 a multiple of 31?
True
Is 1372/35 + (-1)/5 a multiple of 13?
True
Does 21 divide 3/(-2) - 2376/(-16)?
True
Suppose -p - 2*g - 92 = 2*g, 3*p + 5*g = -311. Let i = 202 + p. Is i a multiple of 30?
True
Let l be (2/(-5))/((-3)/15). Suppose l*t + t = 4*j - 83, 0 = 5*j + 4*t - 96. Is j a multiple of 17?
False
Suppose 4*k - 7 = 13. Let l(j) = j**2 + 17*j + 5. Let w(h) = 2*h**2 + 33*h + 11. Let d(g) = k*l(g) - 3*w(g). Is d(-7) a multiple of 18?
False
Let h(s) = 3. Let z(l) = 2. Let q(m) = -3*h(m) + 5*z(m). Let a(u) = -4*u - 6. Let d(c) = a(c) + 4*q(c). Does 10 divide d(-3)?
True
Let o(b) = -2*b**3 - b**2 - b + 27. Is 23 a factor of o(0)?
False
Suppose 0 = -5*h + 5, -h - 4*h + 10 = 5*y. Does 7 divide -3 + 6 + y + 14?
False
Let r be (-22)/(-8)*(1 + 11). Let j be ((-5)/(-4))/((-1)/4). Is 14 a factor of 1 + -1 + r + j?
True
Let l(y) = -y**2 + 7*y - 7. Let v be l(5). Let d(c) = 6*c**2 + c**2 - c**v - 6 - 3 + 10*c + 0*c**2. Is 4 a factor of d(8)?
False
Suppose 5*i = -2*d, 0*d = -3*d - 5*i - 10. Does 8 divide -48*(d/(-4))/(-5)?
True
Let p = 65 + -21. Does 16 divide p?
False
Suppose 7*m - 65 = 2*m. Is 5 a factor of m?
False
Let m = -38 - -67. Let p = 52 - m. Suppose -w + 0*w = -p. Does 7 divide w?
False
Let o = -18 - -45. Does 9 divide o?
True
Suppose 0 = 3*w - w. Suppose w*u = -u + 7. Let j = 10 - u. Does 3 divide j?
True
Let s(o) = o**3 + 10*o**2 + 9*o + 5. Suppose -29 = 5*d + 16. Let z be s(d). Suppose 3*i = -p - 2*p + 30, -z*p = -5*i - 10. Does 4 divide p?
False
Let d = -12 + 14. Suppose -d*t = -t - 25. Is t a multiple of 5?
True
Let l(u) = 29*u**2 - 4*u + 1. Is 30 a factor of l(-2)?
False
Let b(m) = 4*m - 15. Does 5 divide b(8)?
False
Let f(u) = u**2 + 3*u + 8. Is f(5) a multiple of 12?
True
Let z(w) = 3*w + 7. Is 4 a factor of z(5)?
False
Suppose 0*g = 2*g - 66. Is 8 a factor of g?
False
Let h be 180/(-22) - 10/(-55). Does 20 divide 2*-1*220/h?
False
Let z = 38 + -21. Suppose 2*n + z = 53. Does 6 divide n?
True
Is 10 a factor of -3 - ((-6)/(-2) - (4 - -64))?
False
Suppose 0 - 45 = -3*f. Suppose -f = -4*i - i. Is i a multiple of 2?
False
Let k(m) = 2*m**3 - 6*m**2 - 3*m + 5. Is k(5) a multiple of 5?
True
Suppose 0 = -2*q - 0*q - 16. Let r be q*(3 + 21/(-6)). Is 4 a factor of 13*(r - (0 - -3))?
False
Suppose -115 = 3*q + 4*o, -2*o - 119 = 3*q + 3*o. Let f = q + 48. Suppose -5*d - 2*b = -90, -2*b = -5*b - f. Is 7 a factor of d?
False
Let y be 3 - (6/(-2) - -1). Suppose -s + z + 1 = -0*s, -2*z + 26 = y*s. Is -35*2*s/(-10) a multiple of 14?
True
Let u(x) = -2*x - 23. Let c be u(-14). Suppose 0 = -4*t - 2*r + c*r + 198, -4*t - 2*r = -188. Is 24 a factor of t?
True
Let v(i) = 117*i**2 + i - 2. Is 31 a factor of v(1)?
False
Let x(t) be the first derivative of 3*t**2/2 - 7*t - 4. Is 14 a factor of x(7)?
True
Let u(j) = -2*j**2 + j. Let l be u(-1). Let i be (3 + 12)*-4 - 4. Does 16 divide i/l + 3/(-9)?
False
Let t be 1 + 2 + (2 - 1). Suppose 0 = -t*h - h - 20. Does 18 divide (-57)/(-2) + h/(-8)?
False
Is 8 a factor of ((-4)/(-10))/(5/100)?
True
Is 3 a factor of 12/(-28) - (-150)/7?
True
Let u = 7 - 11. Let d = 80 - u. Is 21 a factor of d?
True
Let k(t) = -t**2 - 13*t - 6. Suppose -6 = z + 4. Is k(z) a multiple of 14?
False
Let a(b) = -4 + 4 - 12*b. Let m be a(-7). Suppose 0 = -7*z + 3*z + m. Does 8 divide z?
False
Suppose 0 = -4*o - 16, -5*t + 3*o = -0*o - 357. Is 10 a factor of t?
False
Let y(d) = d**2 + 11*d - 7. Let r be y(-10). Let p = r + 49. Is 9 a factor of p?
False
Suppose -2*s + 3*z + 100 = -215, -z + 489 = 3*s. Suppose 4*a + 38 = s. Suppose 0 = -3*n - 4*c + a, n + 4*c = 2*c + 7. Is 14 a factor of n?
False
Let f(o) = 8*o. Let k be f(1). Suppose -q + 0*g = -5*g + k, 2*q = -3*g + 23. Is 5 a factor of q?
False
Let x(m) = -m**2 - 4*m - 3. Let q be x(-2). Let g be -1 + 1 - -40*q. Suppose -i + 2*s + 23 = 6*s, 5*i = 5*s + g. Is 7 a factor of i?
False
Let q = -13 + 21. Let k(w) be the third derivative of -w**6/120 + 2*w**5/15 + w**4/6 - 2*w**3 + 2*w**2. Is k(q) a multiple of 10?
True
Let l be (-27)/(-18)*10/3. Suppose 3*g = -l*n - 11 + 126, 2*g - 2*n - 66 = 0. Does 12 divide g?
False
Suppose 140 = 7*s - 112. Is s a multiple of 27?
False
Let r(n) = -4*n + 33. Is r(-3) a multiple of 15?
True
Suppose 0 = 5*d - 2*d + v - 26, 4*d = 2*v + 48. Let l = -6 + d. Suppose -3*r - l = -31. Does 6 divide r?
False
Let z(g) = -5*g - 2. Is 15 a factor of z(-7)?
False
Let w(r) = -9*r - 20. Does 8 divide w(-10)?
False
Suppose 4*h - 1320 = 3*k, -3*k + 0*k + 678 = 2*h. Is h a multiple of 22?
False
Let c = 433 - 297. Does 34 divide c?
True
Suppose 3*c = -2*q + 89, 2*q + 0*q - 94 = -4*c. Is 3 a factor of q?
False
Suppose 3*s - 8*s = -55. Suppose -s*c + 183 = -8*c. Is 16 a factor of c?
False
Let y be (-145)/(-45) + 4/(-18). Suppose -5*w + 21 = g + y*g, 28 = 5*w - 3*g. Does 3 divide w?
False
Suppose -25 = 4*g - 9, 0 = -f - g. Suppose -93 = -f*o - 2*x + 7*x, 3*o + 3*x = 90. Is 9 a factor of o?
True
Suppose 3*r - 5*o - 27 = 0, -o = -r - 2 + 9. Is 5 a factor of r/(-4) + 0 + 16?
True
Suppose 0 = -2*r - 3*y + 4, -4*y + 7 = -1. Is 11 a factor of (-3 - 0)/r + 19?
True
Suppose 10 = 2*c - 0*c. Suppose -c*y - 17 - 3 = 0. Let h(a) = a**3 + 4*a**2 - 4*a - 3. Is h(y) a multiple of 5?
False
Let x(u) = -14*u - 10. Does 8 divide x(-10)?
False
Let v(a) = a**2 - 8*a + 15. Let b be v(7). Let o(g) = -g**2 + 4*g - 1. Let h be o(3). Suppose -h*y + 2 + b = 0. Does 5 divide y?
True
Let n be 6/6 - (1 - 1). Let m(r) = 19*r - 1. Is 18 a factor of m(n)?
True
Let q = 116 - 56. Let a = q - 40. Does 20 divide a?
True
Let q be ((-2)/(-1))/(0 - -2). Is 19 a factor of (-19 - -5)*q*-2?
False
Let o = 7 - -3. Suppose 0*w - o = -5*w, -2*y - 4*w + 56 = 0. Is y a multiple of 15?
False
Let y(u) = u**3 + 6*u**2 - 3*u - 9. Let r = -20 - -14. Does 9 divide y(r)?
True
Suppose 2*m = -g + 4*g + 43, m + 16 = -g. Let n = -41 + 62. Let a = n + g. Is a a multiple of 2?
True
Let y(x) = 11*x. Suppose 2*d = -d - 4*p - 2, d - p = 4. Is y(d) a multiple of 9?
False
Suppose 5*t - 67 = 2*a + 3, -3*t + 2*a = -46. Let l be t/(-20) + 44/(-10). Let v = 0 - l. Is v a multiple of 4?
False
Let l(g) = 10*g - 2. Let b be l(3). Suppose -31 + 5 = n + 5*k, 4*n + k = -b. Is 9 a factor of (2 + n)*(-27)/4?
True
Let n(d) = d**3 - 2*d**2 + d - 3. Let j be n(3). Let t = j - 4. Is t a multiple of 5?
True
Let u = -76 - -113. Does 11 divide u?
False
Suppose 4*n - 52 = -3*a - a, 22 = 4*n - 2*a. Let q = 13 - n. Is q a multiple of 2?
False
Let b = 13 - 13. Let i(n) = 9*n**2 + n. Let t be i(-1). Suppose 2*m + t - 52 = b. Is 11 a factor of m?
True
Suppose u = -0 - 5. Let h = u - -9. Does 4 divide h?
True
Suppose -78 = -4*r - 3*t, -4*r + 6*t = t - 94. Does 2 divide r?
False
Suppose 7*p = -225 + 1289. Is 19 a factor of p?
True
Let m be (-4)/6 - 250/(-6). Does 14 divide (2 + -1)*(m + -2)?
False
Let k be -26 + 2 + 3 + -2. Let g = k + 44. Is 9 a factor of g?
False
Suppose -39 = -c - b + 6, 3*c - b = 143. Does 13 divide c?
False
Suppose -5*p + 45 = -4*s - 0*p, -3*p = -3. Suppose -5*i - 23 = 2*l, -3*l = -3*i - 5 - 13. Let d = i - s. Is d a multiple of 2?
False
Let a(n) = 4*n**2 - 2*n + 9. Let y be a(7). Suppose 0 = -4*o - q + y, -3*o + 3*q + 135 = q. Is o a multiple of 13?
False
Let l = 10 + -6. Is 20 a factor of 59 + 2/l*-2?
False
Let j be (-4)/(-6)*-3 - -6. Let h(n) = n - 1. Let c be h(j). Is (4/c + -2)*-6 a multiple of 4?
True
Does 19 divide 2*95*4/8?
True
Let l(a) = 4 + 6*a**2 + 2*a**2 + a - 3*a - 6. Does 16 divide l(3)?
True
Let q be ((-16)/20)/((-4)/(-10)). Let t = 5 + q. Is 2 a factor of t?
False
Suppose -8*y = -3*y - 50. Let w = y + -5. Is w even?
False