*d = -r + 57 - 18, 280 = 5*r + m*d. Suppose r = -4*n + 5*n. Does 20 divide n?
False
Let i(q) = 2*q**3 + 2*q**2 + 6*q - 8. Let u(o) = o**3 - o**2 + o - 1. Let f(r) = -i(r) + 3*u(r). Let l be f(5). Is (l/5)/((-4)/14) even?
False
Suppose 8 = 2*u - 4*b, 4*b - 12 = -5*u + 8. Let x(f) = 2*f + 2. Is x(u) a multiple of 10?
True
Suppose -2*y - 4 = q + 1, 8 = -5*y - q. Let s = y - -3. Suppose 0 = -s*d - 2*d + 24. Is d a multiple of 3?
True
Let j = -5 + 3. Let l = -40 - -57. Let o = l + j. Does 5 divide o?
True
Suppose 33 = b - 3*c, 4*b = 2*c + 81 + 1. Suppose 0 = 2*k + 2*t, k + 0*k = 5*t + b. Suppose k*s - 48 = -s. Does 3 divide s?
True
Suppose 2*s + 129 = -s - 5*x, 3*x + 47 = -s. Let b = 10 - s. Is b a multiple of 14?
False
Is (16/(-10))/(7/(-630)) a multiple of 18?
True
Let r = 23 - 17. Does 2 divide r?
True
Suppose -3*o + o - 4 = 0. Let r = o + 5. Suppose 22 = r*i - i. Does 11 divide i?
True
Let n = -12 + 15. Suppose a = n*h + 66, 2*a + 3*a + 4*h - 273 = 0. Does 19 divide a?
True
Suppose 4*q = -4, -w - 45 = -4*q - 179. Does 26 divide w?
True
Suppose 4*s - 141 + 9 = 0. Is 5 a factor of s?
False
Let g be (-1)/2 + (-216)/(-16). Suppose 0*l + 148 = 4*l. Let w = l - g. Is w a multiple of 12?
True
Is 82/4 + (-15)/(-10) a multiple of 22?
True
Suppose -u = -5*c + 3, 8 = -2*c + 4*u + u. Let w be -3 - c/((-3)/(-9)). Is 21/w*(-12)/7 a multiple of 6?
True
Let z(d) = -3*d - 17. Is 2 a factor of z(-7)?
True
Let c = -10 - -12. Suppose -y = 4*g - 20 - 88, -2*g + 210 = c*y. Is 30 a factor of y?
False
Suppose 5*j - j + 4*u - 8 = 0, 0 = 5*u - 10. Let m be (1 + -7)/(-3) - j. Suppose 5*r + 55 = 5*v, -m*v + 55 = 3*v + 4*r. Is v a multiple of 3?
False
Suppose -3*l + 4*l + 19 = 4*f, -2*l + 2*f = 8. Let p = 0 - l. Does 5 divide p/(-3) + 17/3?
False
Let l(j) be the third derivative of -1/120*j**6 - 1/3*j**3 + 0 + 4*j**2 - 1/8*j**4 - 1/15*j**5 + 0*j. Is l(-4) a multiple of 10?
True
Let t be (-6)/24 - (-50)/8. Is 15 a factor of t/(-2) - -26*1?
False
Let o(l) = -5*l - 1. Let j be o(-1). Suppose j*t - n - 2*n = 11, -2*t + 3*n = -1. Does 5 divide t?
True
Let x = 0 + 4. Suppose x*a - 5*a = -9. Suppose 4*g - a = 51. Does 14 divide g?
False
Let b(s) = 3*s + 7 - 5*s - s**3 - 7*s**2 - s. Let a be b(-6). Let i = 19 + a. Does 8 divide i?
True
Let x(z) = -z - z**2 - 5*z + 11 - 2*z - 4. Suppose -4*s = w + 25, -4*w + 38 + 2 = -4*s. Does 8 divide x(s)?
False
Suppose -f - 9 = -4*l, 0*l - 30 = -5*l + 5*f. Is 8 a factor of (l/2)/((-7)/(-126))?
False
Let t = -31 + 58. Is (8/(-3))/((-3)/t) a multiple of 8?
True
Suppose 3*h = 6*h - 78. Is 9 a factor of h?
False
Suppose -y - 1 = p - 9, 0 = -4*y + 12. Does 2 divide p?
False
Let c be (1/2)/(2/(-4)). Let t(r) = -36*r - 5. Let n(d) = -12*d - 2. Let s(f) = -8*n(f) + 3*t(f). Does 5 divide s(c)?
False
Let q = 21 - -51. Does 24 divide q?
True
Suppose 4 = -n + 100. Is n a multiple of 24?
True
Suppose -j - j + 100 = 0. Is j a multiple of 31?
False
Suppose -2*w = -g + 50, -3*g = 4*w - 39 - 81. Is 22 a factor of g?
True
Suppose -i - 160 = -6*i. Is i a multiple of 7?
False
Let c(w) = w**3 - 4*w**2 + 7*w. Let r be c(5). Suppose 4*j + r = 9*j. Does 3 divide j?
True
Suppose 0 = -3*b + 5*o + 763, 0 = -0*b + 3*b - 4*o - 761. Is b a multiple of 10?
False
Let b be 8/(-12) - (-20)/3. Does 15 divide 52/3*b/4?
False
Suppose -40 = -2*f - 3*f. Is 2 a factor of f?
True
Suppose -596 = -4*k + 2*c + 486, 550 = 2*k + 2*c. Is 34 a factor of k?
True
Let t(p) = -p + 105. Let g be t(0). Suppose q + 0 = g. Suppose -k - q = -4*k + 3*z, -5*z = -4*k + 135. Is 17 a factor of k?
False
Let j(z) = -2*z + 17. Is 12 a factor of j(-7)?
False
Suppose 10 = -0*h + h. Suppose o - 1 = h. Suppose -g + 0*g = -o. Does 4 divide g?
False
Suppose -3*s + 2 = -4. Suppose 1 = -s*i - 1. Let c(p) = 17*p**2 + 2*p + 1. Does 13 divide c(i)?
False
Suppose 1 = 5*z - 3*r + 33, -5*r = 2*z - 12. Let v(c) = c + 9. Let a be v(z). Suppose -a*w = -4*w - 12. Is w a multiple of 12?
True
Let h = 3 + -6. Let o be -2 + (0 - -1 - 0). Is 11 a factor of (-6)/h*o + 21?
False
Let k(w) = 12*w**3 + w**2 + w + 2. Let g be k(2). Let v = -1 - -4. Suppose -1 = -v*u + g. Does 15 divide u?
False
Let i be ((-15)/(-6))/(4/96*4). Let s be 15/2*(-8)/6. Is 4 a factor of 6/i - 136/s?
False
Suppose 0*m = 3*m - 192. Does 16 divide m?
True
Suppose 3*v + b - 277 = 0, 5*b + 1 = 21. Is 20 a factor of v?
False
Let w be -3 + 7 + 12/(-3). Let y(f) = f**2 + 2*f - 3. Let a be y(-3). Suppose a = 4*n - w*n - 88. Is 11 a factor of n?
True
Suppose -3*s + 21 = -12. Is 5 a factor of s?
False
Suppose -4*l + 63 = -25. Suppose 2*y - 26 = l. Is 12 a factor of y?
True
Suppose -2*o + 16 = 2*o + 2*b, 4*o - 5*b = 44. Suppose 8*q - o*q = 102. Does 11 divide (q/9)/(3/9)?
False
Let m be (-24)/(0 + -3)*1. Suppose -s + 10 = -m. Suppose o + 4*i = s, -2*i + 7*i - 30 = -2*o. Is o a multiple of 5?
True
Let p be (1 - (4 + -3))/(-2). Let o(y) = y**2 + 61. Is 22 a factor of o(p)?
False
Suppose -3*z + 120 = 5*n - 41, -2*n = -3*z + 196. Suppose z = -2*v + 4*v. Does 13 divide v?
False
Suppose 3*l - 13 = 119. Suppose -76 = -5*i + l. Is (-2 + 2)/(-2) + i a multiple of 15?
False
Let t be (28/10)/((-1)/(-5)). Suppose 0 = c - 8 - t. Does 6 divide c?
False
Let s(n) = n**3 - 8*n**2. Let f be s(8). Is ((-3 - f) + -1)*-2 a multiple of 4?
True
Suppose w - 38 + 99 = 0. Let l = -34 - w. Is l a multiple of 9?
True
Let b(n) = n**3 - 6*n**2 - 9*n - 17. Let r(y) = 4*y. Let d be r(2). Is b(d) a multiple of 32?
False
Suppose 4*f + 10 = -14. Let t be (f - -1)*(-12)/30. Suppose -q + 31 = 3*h, -26 - 6 = -t*q + 4*h. Is 8 a factor of q?
False
Suppose -2*l = 2*l + 5*p - 21, -5*l + 23 = 3*p. Let x = -1 + l. Does 15 divide x/6*(42 - -2)?
False
Is 20 a factor of (-6)/(6/(-65)) - 4?
False
Let z(v) = -6*v + 11. Let t be z(9). Let n = t + 104. Does 23 divide n?
False
Suppose 2*j - 121 = 43. Is 41 a factor of j?
True
Suppose x + 2*n + 16 = -7, 5*x = n - 137. Let w = x - -56. Is 10 a factor of w?
False
Let l = 6 - -5. Does 3 divide l?
False
Let h(s) = s + 8. Let y be h(-8). Suppose y = 5*q - 0*q - 365. Is q a multiple of 20?
False
Is (-9)/(-45) - 109/(-5) a multiple of 11?
True
Let c be (-12)/18*27/(-6). Suppose -4*k = -c*k - 14. Is k a multiple of 3?
False
Let q(d) = 73*d - 1. Let p be q(-9). Let n be -1 - -2 - p/7. Suppose -4*o = -0*w + 3*w - n, 0 = -2*w + 10. Is o a multiple of 10?
True
Let b(q) = -q - 1. Let m = 10 + -5. Let z be b(m). Is 19 a factor of (-57)/(-2)*(-8)/z?
True
Let a = -15 - -17. Suppose 0*l = a*l - 96. Is l a multiple of 16?
True
Let a(k) = -k**3 + 7*k**2 + 3*k + 5. Let g be a(6). Let r = g - 20. Is r a multiple of 13?
True
Suppose -c + 16 = 3*c. Let r be (-15)/(-6) + (-2)/c. Suppose -2*q = r*q - 20, -50 = -5*x + 3*q. Is 6 a factor of x?
False
Suppose 2*k - 7 + 3 = 0. Let w be (-1 - (1 - k)) + -20. Does 3 divide w*(6/(-5))/3?
False
Suppose 0 = 3*m - 8*m. Suppose -6*w + 5*w - 4 = m. Is 9 a factor of 20 - 1 - (w - -2)?
False
Suppose -4*i - 41 = 103. Let x = i - -76. Is 10 a factor of x?
True
Suppose -124 = -u - u. Is u a multiple of 11?
False
Suppose 5*g = 3*z + 185, 6*g = g - 2*z + 210. Does 11 divide g?
False
Let b = 35 - -77. Does 16 divide b?
True
Let z = -142 - -247. Suppose 4*n - 6 = 3*s + 55, -5*n = 2*s - z. Is 6 a factor of n?
False
Let j = -3 + 2. Let z be ((-3)/(-4))/(j/4). Let f(k) = -2*k**3 - 3*k**2 - k - 4. Is f(z) a multiple of 13?
True
Let i(n) = -n**2 - 12*n - 5. Let f be i(-11). Let b = f - 0. Suppose b*a = 2*a + 4*x, -x = -5*a + 8. Is a a multiple of 2?
True
Let s = 6 - 3. Suppose 0 = 4*m - 5*q + 9, -7*m + 31 = -3*m + s*q. Is (-59)/(-2) + (-2)/m a multiple of 19?
False
Let b be ((-20)/2 - -2)*-11. Let d = b + -9. Is d a multiple of 20?
False
Suppose -4*r - 3*b = -12, r + 4*b - 4 = -1. Suppose -9 = -r*y + 18. Is y a multiple of 4?
False
Let p = -14 - -30. Is p a multiple of 8?
True
Suppose -q - 3*m = -3, -23 = -3*q - q - m. Suppose -c = c + 136. Does 12 divide (c/(-6))/(q/9)?
False
Suppose 0 = 4*s, -4*h - 112 = -3*s - s. Let f = h - -58. Suppose 80 = 5*b - f. Does 11 divide b?
True
Is (-3 + (-27)/(-6))*10 a multiple of 3?
True
Is 5 a factor of (-562)/(-8) + 20/(-16)?
False
Suppose -8*d + 10*d - 24 = 0. Is d a multiple of 3?
True
Suppose -1 = 4*a - 3*a, 0 = -2*h + 2*a + 12. Is 5 a factor of h?
True
Suppose -22 = o - 134. Is o a multiple of 7?
True
Let i(c) = c**2 + 5*c - 12.