alse
Let j = 99 - 39. Is 15 a factor of j?
True
Let g = -197 - -307. Let f be g/3 - 2/3. Suppose -f = -t - 3*t. Does 8 divide t?
False
Suppose -5*z = -5*a + 570, -a = -11*z + 13*z - 117. Does 23 divide a?
True
Is 0 + (-5)/(10/(-48)) a multiple of 12?
True
Suppose -q + 5*h = -47, 4*h = 4*q - 3*q - 48. Is 11 a factor of q?
False
Suppose -a - 3*c = -3 + 41, -4*c - 136 = 4*a. Let s = 71 + a. Is s a multiple of 13?
True
Does 23 divide ((-20)/18)/(-5) + 615/27?
True
Let p = -19 - -13. Does 13 divide 2/(-6) - 158/p?
True
Suppose -3*p - 31 = 5. Let r = -6 - p. Suppose 2*l = -0*l + r. Does 3 divide l?
True
Let p(z) = z**2 - z - 6. Let r be p(6). Let t = r - 49. Does 20 divide ((-48)/15)/(2/t)?
True
Let a = 544 - 300. Does 10 divide a?
False
Let r(x) = x + 1. Let k be r(-5). Is 2/(-8) - 193/k a multiple of 13?
False
Let a(h) = 5*h - 6. Let j be a(6). Suppose 0 = s + s - j. Does 12 divide s?
True
Let y = -4 + 7. Suppose 12 = -y*d, -v + d + 11 + 1 = 0. Does 4 divide v?
True
Is (10/(-8))/((-8)/64) a multiple of 3?
False
Suppose -4*x - m = -2*x - 283, -3*m + 426 = 3*x. Is x a multiple of 11?
False
Let k(q) = -q. Let d(j) = -12*j - 8. Let s(m) = m + 1. Let r(u) = -d(u) - 5*s(u). Let v(z) = 22*k(z) + 2*r(z). Is v(-6) a multiple of 23?
False
Let f be (-3)/(-2)*(-2 - -4). Suppose 4 = -f*s + 28. Does 18 divide 2/s*6*12?
True
Let b(a) = 3*a - 7. Let w be b(3). Suppose -4*g + 3*c = -60, -w*c = 2*g - 3*c - 32. Is 13 a factor of g?
False
Let u(h) = -h**2 - 3*h + 4. Let d be u(-3). Suppose 36 = -0*j + d*j. Does 3 divide j?
True
Suppose 0*y + 204 = 2*y. Does 11 divide y?
False
Let v(x) = -15*x + 12. Is 9 a factor of v(-4)?
True
Suppose 0 = 4*c - o - 223, -3*o = -o - 2. Suppose 0*w + 4*w - c = 0. Does 4 divide w?
False
Let s(m) = -12*m - 10. Let h be 1/3 + (-16)/3. Is 25 a factor of s(h)?
True
Suppose 5*w = 10, -3*d = -4*w - w - 485. Is 13 a factor of d?
False
Let j(k) = k**3 - 7*k**2 - k + 10. Let h be j(7). Suppose h*r + 2*r = -5. Let p = r - -9. Is p a multiple of 3?
False
Suppose 4*u - 184 = 2*u. Is 23 a factor of u?
True
Suppose -4*n + w = -164, 3*n - 2*w = 2*w + 123. Is n a multiple of 7?
False
Let a(s) = 2*s**2 - 2*s - 1. Let x be (4 - (-2 - -5)) + 1. Let i be a(x). Let g(m) = 4*m + 3. Is 10 a factor of g(i)?
False
Suppose 0 = 2*m - 0*m. Suppose m*v - 39 = 3*v. Let a = v - -26. Does 13 divide a?
True
Let u = 341 - 159. Is 26 a factor of u?
True
Suppose -4*o + 69 - 21 = 0. Suppose -q = 2*s - 3*q + o, -3*s = 2*q - 2. Is s/(-2) - (-2)/1 a multiple of 2?
False
Suppose 0 = -3*d - 26 - 178. Let i = d + 110. Is i a multiple of 14?
True
Suppose -83 = -2*g - 19. Let o = g + -49. Let v = 28 + o. Does 7 divide v?
False
Let i be ((-12)/(-15))/(2/5). Suppose -5*d = -s - 20, -5*s - 73 = -0*s + i*d. Is (-6)/s - 86/(-10) a multiple of 7?
False
Let a(h) = 13*h + 2. Suppose -2*i - 12 = 2*i. Let g = 6 + i. Does 16 divide a(g)?
False
Suppose -3*h - 5*a = -331, -2*a - 11 = -2*h + 183. Is h a multiple of 12?
False
Let q(t) = 2*t + 8. Let x(j) = 5*j + 16. Let y(g) = 5*q(g) - 3*x(g). Let c(k) = -k**2 + 4*k - 1. Let d be c(5). Does 11 divide y(d)?
True
Suppose 0 = -4*l + l - 2*q + 136, 5*l + q - 222 = 0. Is 11 a factor of l?
True
Let q(z) = 4*z - 6. Does 3 divide q(5)?
False
Suppose 6*k - 7*k - 1 = 0. Does 24 divide (-405)/10*k*2?
False
Let f(q) = -10*q - 8. Is f(-8) a multiple of 17?
False
Suppose -4*b + 0*b = -12. Suppose -4*z = 2*o - 30, b*z - 4 = o + 11. Let t = 13 - z. Is t a multiple of 2?
False
Is 95/7 - (-1 + (-8)/(-14)) a multiple of 7?
True
Let r be ((-6)/(-8))/(1/(-4)). Let f be -6 + (1 - (-4 - 0)). Is 10 a factor of (r/1)/(f/10)?
True
Let i(w) = 5*w + 27 - 27. Is i(2) a multiple of 3?
False
Suppose -3*t + s = -102, 115 - 25 = 3*t - 5*s. Is 7 a factor of t?
True
Let m(l) = -2*l + 19. Is 15 a factor of m(-20)?
False
Let g(k) = k**2 - k - 2. Let p be g(3). Suppose 21 = p*s + 3*i, i + 1 = -4*s + 16. Suppose s*u = u + 56. Does 14 divide u?
True
Suppose 4*h = 2*h, -5*b + 25 = 3*h. Suppose -19 + b = -l. Does 14 divide l?
True
Suppose -2*w + 4*w - 6 = 0. Suppose -2*p + 1 + w = 0. Suppose 50 = p*z + 20. Does 7 divide z?
False
Let b(w) = -w + 8. Suppose 7*i + 35 = 2*i. Is 6 a factor of b(i)?
False
Let o = -88 + 227. Is 26 a factor of o?
False
Let k(d) = d**3 + 9*d**2 + d + 11. Let u be k(-9). Let j be (1/u)/(2/(-12)). Let f = j - -11. Is 3 a factor of f?
False
Let b(m) = 17*m + 17. Is b(5) a multiple of 6?
True
Let k(m) = 7*m**3 + 4*m - 1. Let y(t) = -6*t**3 + t**2 - 4*t. Let h(b) = 5*k(b) + 6*y(b). Let u = -5 - -9. Is h(u) a multiple of 11?
True
Let s = 182 - 66. Does 18 divide s?
False
Let v = 1 - -2. Let s be v/(-6) + 1/2. Suppose 3*o - 33 = -s*o. Is o a multiple of 4?
False
Let r(g) be the second derivative of -g**4/12 + g**3/6 + g**2/2 - 2*g. Let m be r(-1). Is (-4 + 21)*(-1)/m a multiple of 10?
False
Let f be (-5)/(10/4) - -4. Let x(j) = -3*j + f*j + j**2 + 2*j. Does 6 divide x(-4)?
True
Let a = -74 - -106. Is a a multiple of 8?
True
Let m(r) = r**3 - r**2 + r + 4. Let g = 1 + -1. Let x be m(g). Is 183/x + 1/4 a multiple of 23?
True
Let f be ((-6)/8)/(2/16). Is (22/f + -1)*-24 a multiple of 28?
True
Let u = 118 - 93. Is u a multiple of 8?
False
Suppose 3*q - 2*h = 4 + 138, -4*q + 2*h + 186 = 0. Is 22 a factor of q?
True
Suppose 45 + 17 = 2*t. Let a(z) = 12*z. Let s be a(4). Let d = s - t. Does 10 divide d?
False
Let b = -8 + 10. Suppose -b*t + 4 = -2. Suppose -t*v + 56 = 8. Does 7 divide v?
False
Let a(d) = d**3 - 6*d**2 + 5*d - 4. Suppose -r + 19 = 3*r + n, 16 = 3*r - n. Let q be a(r). Is 39 - q*1/(-2) a multiple of 15?
False
Let j = 197 + 32. Is j a multiple of 27?
False
Suppose -2*c + 86 - 32 = -3*g, -5*g + 110 = 5*c. Let l = -11 + c. Does 4 divide l?
False
Suppose -3*c - 2*v + 25 = -0*v, 0 = 3*c - 4*v - 13. Suppose -40 = c*z - 3*z. Is 4 a factor of ((-8)/5)/(2/z)?
True
Is 3 - ((-43 - 0) + 4) a multiple of 21?
True
Let l = 2 + -2. Suppose a = 5 - l. Suppose a*j - 69 = -19. Is j a multiple of 10?
True
Suppose 0*o - o - 31 = 4*a, -5*a + o - 50 = 0. Let s = -5 - a. Let h(b) = b**3 - 3*b**2 - 4*b + 2. Is h(s) even?
True
Let y = -12 - -27. Let j be 2/(-8) + 61/4. Let l = y + j. Is l a multiple of 15?
True
Let i(u) = u**2 + 4*u + 1. Does 13 divide i(-7)?
False
Is (0 + -4 + -34)/(-2 + 1) a multiple of 19?
True
Let h(y) be the third derivative of 0*y + 1/8*y**4 + 0 + 2*y**2 + 1/6*y**3. Is 12 a factor of h(6)?
False
Let x be 4/(-8) - 61/(-2). Suppose -5*q - x = -5*o, 0*q = -o - 3*q + 22. Is o a multiple of 7?
False
Let k(l) = l**3 + 5*l**2 - 4*l. Let u be k(-5). Let w = u + -14. Is 3 a factor of w?
True
Let b(z) = 2*z**2 - 3*z - 3. Let t(c) = c**3 - 5*c**2 + 7*c + 7. Let r(v) = -7*b(v) - 3*t(v). Let m be r(-1). Suppose -5*x + m = -26. Does 5 divide x?
False
Suppose 5*t - q - 21 = 0, t - 2*t - 3*q + 17 = 0. Let m be (-2)/(-4) + (-15)/(-2). Let y = m + t. Does 13 divide y?
True
Let v = 40 + -14. Is 13 a factor of v?
True
Suppose 2 = -f + 5. Suppose 5*c = -z + f, 3 = 5*c - 2*z - 6. Is c - (1 + 11*-3) a multiple of 20?
False
Let q(j) = 29*j - 6. Is q(2) a multiple of 4?
True
Does 29 divide 57 - (-2 + 1)*1?
True
Suppose 0 = -3*s - 5*a + 140, -5*s = -a - 271 + 75. Is (-9)/(-2)*s/15 a multiple of 12?
True
Let t be (-9)/(3 - 0) + -1. Let l(m) = m**2 + 2*m - 1. Does 5 divide l(t)?
False
Suppose 0*p = 3*p + 3*q - 45, -72 = -5*p - 2*q. Suppose -94 = -2*f - p. Is f a multiple of 20?
True
Let w be (3/(-3) - 2)*-1. Suppose z - 7 = -w. Suppose -z*o = -0*d - d - 55, 18 = o + 4*d. Does 10 divide o?
False
Let u = 50 + 31. Is u a multiple of 19?
False
Let i = -7 - -25. Suppose -12 = -3*x + i. Is 10 a factor of x?
True
Let b be 0/2 + (5 - 1). Let d = 4 + b. Is d a multiple of 4?
True
Let l(m) be the second derivative of -2*m**3/3 + 2*m**2 + 4*m. Let w = -6 - -3. Does 9 divide l(w)?
False
Let r(i) = i + 1. Let w be r(3). Let o be (-2)/(0 + 6/(-45)). Suppose f - w = o. Is f a multiple of 6?
False
Let a(o) = -o**3 - o**2 + 10. Let i be a(0). Let l(c) = c**2 - 9*c. Let v be l(i). Suppose -s = -3*z + 73, 2*z - 28 - v = -2*s. Is 9 a factor of z?
False
Let m = 108 + -53. Let r = m - -21. Is r a multiple of 19?
True
Let d be (-2)/(-1 - (-9)/11). Let s = d + 15. Is 13 a factor of s?
True
Is 8 a factor of (-2 - (-36)/(-4))*-1?
False
Let q(n) = 9*n**2 + n + 2. Let m = -8 + 4. Let c be q(m). Suppose 20 + c = 3*