
False
Suppose 2*y + 12 = 6. Suppose -3*f + f = -26. Let d = f + y. Does 5 divide d?
True
Is 2*((-3)/(-4) + 2385/60) a multiple of 12?
False
Is 8 a factor of ((-36)/(-42))/(2/28)?
False
Suppose g + 3*c - 178 = 0, 0*g - 181 = -g - 2*c. Is 17 a factor of g?
True
Let j(s) = -s - 5. Let g be j(-7). Does 11 divide (-22)/g*(2 - 3)?
True
Let o(l) = -l**2 - 3*l + l**3 + 2*l**2 - 3*l**2. Let a be o(3). Is a/(-1 - 1) - -3 a multiple of 2?
False
Suppose -3*f = 5*h - 153, 2*f - 58 = 3*h - 5*h. Does 9 divide h?
False
Let b(w) = 14*w**2 - 13*w + 12. Is b(4) a multiple of 29?
False
Let a = -249 - -416. Is 11 a factor of a?
False
Let g = -1 + 7. Let s = g - -24. Is 9 a factor of s?
False
Suppose 5*q = -2*s + 69, s + 30 + 3 = 2*q. Does 7 divide q?
False
Let c be 4/(-14) + (-45)/(-35). Let n(p) = 3*p**2 - p + 1. Let j be n(c). Suppose -5*h = -5*m + 70, 3*m = -j*h - 4 + 58. Is 14 a factor of m?
False
Let m(h) = -h**2 + 6*h - 6. Let w be m(3). Suppose 0 = f - 2*v, w*f - 45 = -v - 2*v. Is f a multiple of 8?
False
Suppose 5*t - 8*t + 45 = 0. Does 3 divide t?
True
Let a(y) = -24*y. Suppose 2 = j + 3*j + 3*l, -3 = -5*j - 4*l. Is a(j) a multiple of 16?
False
Is 10 a factor of 0 - ((5 - 4) + -48)?
False
Let n = 24 + -2. Suppose -s - 4 = -n. Is 9 a factor of s?
True
Let q = 4 - 2. Suppose -4*o + q*i + 24 = -0*i, o + 4*i + 3 = 0. Is o a multiple of 5?
True
Let b = 174 + -62. Does 14 divide b?
True
Let l(n) = -3*n - 10. Does 10 divide l(-10)?
True
Let p = 12 - 20. Let g = p - -11. Suppose x + 3 = g*k - 16, -4*x + 36 = 2*k. Is k a multiple of 3?
False
Let c = 3 + 8. Suppose -4*t + 56 + 8 = 0. Suppose 3*y - t - c = 0. Does 9 divide y?
True
Suppose -2*j + 63 = 3*o + j, 2*o - 4*j = 42. Is 7 a factor of 597/o - (-9)/(-21)?
True
Let z = 7 - 4. Suppose z*p - 218 = -17. Does 23 divide p?
False
Is 12 a factor of ((-8)/(-10))/((-2)/(-405))?
False
Let k = 253 + -170. Let p = k - 47. Does 18 divide p?
True
Let y be 60/(-24)*8/(-5). Let p(s) = -2*s**2 - 4*s + 3*s**2 + 2*s + 4. Is 12 a factor of p(y)?
True
Let i(s) = -15*s + 4. Let g be i(-3). Does 3 divide g/(-14)*2/(-1)?
False
Let i be -2*1/4*-6. Let f(n) = -2*n**2 - 4 + 2 - 29*n**i + 3. Does 14 divide f(-1)?
True
Let p(w) = 2*w**2 + 9*w - 3. Let a = 20 + -28. Is 9 a factor of p(a)?
False
Suppose -2*b + 29 + 17 = 0. Is b a multiple of 6?
False
Let r be 5*1*2/1. Suppose t - 3*t = 0. Let b = r - t. Does 9 divide b?
False
Let t(v) = 3*v - 3. Let c be t(7). Is (-25)/10*c/(-5) a multiple of 3?
True
Is 22 a factor of (336/4)/4 + (-3)/(-3)?
True
Let s(i) = i. Let k(o) = -o**3 - 7*o**2 + 7*o + 3. Let p(f) = -k(f) - 2*s(f). Is p(-6) a multiple of 29?
True
Let w = -3 - -9. Suppose 300 = w*v - v. Suppose -4*b = f - v + 18, 0 = f - 2*b - 24. Does 15 divide f?
True
Suppose 0 = -0*m + 12*m - 3024. Does 42 divide m?
True
Is (-4*4*-15)/((-1)/(-1)) a multiple of 15?
True
Suppose -2*m - 14 - 14 = 0. Is 9 a factor of (-122)/m - (-6)/21?
True
Let c(g) = -8*g - 3. Suppose -9 + 4 = -m. Let u = m + -8. Is 17 a factor of c(u)?
False
Let f(k) = k + 2. Let r be f(2). Suppose -z - 288 = -r*z. Suppose -w + 4*w = -3*a + 63, 0 = 5*w - 4*a - z. Is w a multiple of 20?
True
Suppose 826 = 6*j + j. Is j a multiple of 7?
False
Suppose 0 = 12*z - 7*z - 1505. Is 46 a factor of z?
False
Suppose 5*b - 85 = 245. Does 22 divide b?
True
Let h be (-3)/(-2) - (-1375)/10. Suppose 2*x + 5*u - h = 0, 2*u + 81 + 281 = 5*x. Is 18 a factor of x?
True
Let a = -5 - -7. Suppose -2*c = -4*h + h - 12, 5*c - 11 = -a*h. Suppose 4*u - 7 = c*p + 2*p, u - 2*p = -2. Does 8 divide u?
True
Let g(j) = j**3 + 8*j**2 + 2. Let n be g(-8). Let m(h) = 4*h**2 + h - 2. Does 16 divide m(n)?
True
Is (-9 - -6)/(3/(-14)) a multiple of 3?
False
Suppose -10 = -3*c + 2. Suppose -c*h + 2*h + 42 = 0. Does 12 divide h?
False
Let w(a) = -107*a**3 - 3*a - 2. Does 18 divide w(-1)?
True
Let g(s) = s**3 + 6*s**2 - s - 3. Let u be g(-6). Let o(k) = -k + 4 - u*k - 5. Is o(-6) a multiple of 23?
True
Suppose -q - 5*l - 1 = 0, -3*q - 2*q - 3*l + 83 = 0. Is q a multiple of 5?
False
Let a(b) = b**2 - 6*b + 7. Let v be a(5). Is 4 a factor of -8*3/(-6)*v?
True
Let b = -24 + 66. Suppose -3*l - b = -5*a - 1, 4*a - 44 = 4*l. Let w = l - -25. Is w a multiple of 7?
False
Let f(j) = j**2 + 3*j - 3. Let a be f(2). Let b = 73 + a. Is b a multiple of 20?
True
Let k(n) = -n - 5. Let p be k(-7). Suppose -4 + 0 = 4*g + 2*z, p*g - 2 = z. Suppose 5*y - 3*b + 4*b - 37 = g, 0 = -2*y - 2*b + 18. Is y a multiple of 2?
False
Let a(i) be the first derivative of -i**4/4 + 5*i**3/3 + i**2/2 + i - 1. Let s be a(5). Suppose -s*z + 84 = -2*z. Is 21 a factor of z?
True
Suppose -2*d + 1 = 7. Is (42 - 1) + d/(-3) a multiple of 15?
False
Let g(d) = -2*d**3 - 9*d**2 - 5*d + 9. Let y be g(-6). Suppose -y = -7*b + 4*b. Does 17 divide b?
False
Does 11 divide (3/(-6))/((-2)/88)?
True
Let m(a) be the third derivative of a**5/30 - a**4/12 - a**3/3 + 11*a**2. Is m(6) a multiple of 11?
False
Suppose -2*g - g = -9, 4*q + 5*g = 255. Does 15 divide q?
True
Let z(o) = 2*o**2 + 4*o - 2. Let g be z(-4). Let h = g + 22. Is h a multiple of 12?
True
Let j be 6/8*(-2 + -2). Let v(c) = c**2 + 4*c + 2. Let a be v(j). Let i(n) = -21*n + 1. Is 9 a factor of i(a)?
False
Is 6/(18/15) + 269 a multiple of 43?
False
Suppose 2*t - 2 = 2. Let i be (0 - t) + 3 + 1. Suppose -n = 2*q - 21, -q + i*q + 5*n = 15. Is q a multiple of 10?
True
Let f = 11 + 6. Is 8 a factor of f?
False
Let g(v) = 9*v**3 + v**2 - 2*v + 1. Let t be g(1). Suppose -3*c + t - 3 = 0. Is 20 a factor of (3 + 7)*c*2?
True
Let b(g) = 2*g**3 - 3*g + 1. Let f be b(2). Suppose -4*d - d = 2*k - f, -2*k + 7 = d. Is d + 3 - (6 - 5) a multiple of 3?
True
Suppose -4*d = -a - 17, -2*d + 13 = -3*a - 8. Let j be (-9)/6*(-14)/d. Is 9 a factor of 2/(-7) + 149/j?
False
Suppose 2*w = -5*y + 14, -2*w - 3*y - 3 = -13. Is 2 a factor of w?
True
Let x = 101 - 55. Is x a multiple of 23?
True
Let t = -587 - -832. Does 35 divide t?
True
Let z(r) = -r**3 - 7*r**2 + 4*r + 4. Is z(-8) a multiple of 12?
True
Suppose -3*c - 25 = 2*c. Let o(m) = -m - 9. Let p be o(c). Is 9 a factor of (1 - p)/((-1)/(-4))?
False
Let o = 49 + 22. Is o a multiple of 11?
False
Suppose 6*o - 40 = 10*o. Is 6 a factor of (-8)/20 - 214/o?
False
Let k(n) = n + 66. Let a be k(0). Suppose -5*r + 59 = -a. Does 25 divide r?
True
Let r(i) = -7*i**2 + 6*i + 4. Let z(k) = -4*k**2 + 3*k + 2. Let c(q) = 3*r(q) - 5*z(q). Let y be c(5). Let l = -3 - y. Is l even?
False
Let p(t) = t. Let g be p(1). Let y be 38*g + 2 + -1. Suppose -y = 2*o - 5*o. Does 12 divide o?
False
Suppose -n + 2*n - 2 = 0. Is 11 a factor of (132/10)/(n/5)?
True
Let v(c) = 12*c - 72. Is v(12) a multiple of 8?
True
Let h(k) = k**2 + k - 3. Suppose 5*r = -2*m - 4, -5*m + 4*r - 35 = 8. Does 20 divide h(m)?
False
Let i(c) = c**3 + 5*c**2 - 3*c - 4. Let w(h) = -2*h**3 - 6*h**2 + 4*h + 5. Let x(b) = -4*i(b) - 3*w(b). Let l be x(-2). Let y = l - -43. Is y a multiple of 11?
False
Let p(f) = -9*f - 17. Is 23 a factor of p(-7)?
True
Let i = -8 - -14. Let d = i + -2. Let y(g) = g**2 - 2*g + 6. Is y(d) a multiple of 5?
False
Suppose -5*h - r = -663, 3*h - 6*r = -2*r + 384. Is h a multiple of 14?
False
Suppose 11 + 249 = 13*q. Is q a multiple of 10?
True
Let y(i) = 4*i**2 - 2*i - 1. Is y(-4) a multiple of 15?
False
Let s be ((-8)/6)/(1/(-3)). Let o(h) = s + h - 3 - 7*h. Is 18 a factor of o(-5)?
False
Is (-3 + 1)/(16/(-840)) a multiple of 21?
True
Let m = -8 - -8. Suppose 3*k - i + 6*i = 55, m = -2*k + i + 15. Is 2 a factor of k?
True
Suppose -90 = -12*l + 9*l. Does 3 divide l?
True
Let l(f) = -5*f - 4. Let d be l(-3). Is (-53)/(-2) + d/22 a multiple of 9?
True
Let a = 133 - 42. Is 9 a factor of a?
False
Let l = -9 + 12. Does 13 divide l/(-4) - (-495)/36?
True
Let n = -60 - -127. Does 14 divide n?
False
Suppose 4*k - 3 + 0 = -a, -3*a = -k - 74. Let v = a + 9. Is 10 a factor of v?
False
Let y(b) = b**2 + b - 1. Let x be y(-2). Is 24 a factor of 32/6*9/x?
True
Let r(k) = -2*k**3 + k**2 - 6*k**2 + 2 - k**2 - 5*k. Is r(-4) a multiple of 18?
True
Let b = 54 + -17. Is b a multiple of 11?
False
Let p be (-60)/8*4/(-5). Suppose -c = 3*v - 12, -2*v + p*c - 2*c + 22 = 0. Suppose -v*f + 12 + 13 = 0. Is 2 a factor of f?
False
Suppose -o + 0*n + 18 = 5*n, -3*n - 6 = 0. Does 4 divide o?
True
Let x = -22 + 22. Suppose 6*p - 59 + 23 = x. Doe