 7*b**2/2 - 3*b + 2. Let w be f(-7). Let n = w + 12. Does 5 divide n?
False
Let y(i) = i**3 - 2*i + 4. Let v be y(6). Let o = v + -104. Is o a multiple of 26?
True
Let d = 82 + -75. Does 4 divide d?
False
Is 9 a factor of (-2)/3 + (-80)/(-3)?
False
Let a = 3 + 2. Suppose -5*s - 5*o + 60 = 0, 0*s - a*o = s. Let g = -6 + s. Is g a multiple of 9?
True
Let j be 0 + (-2 + 7 - 0). Suppose -374 = -j*g - 144. Let w = -20 + g. Does 13 divide w?
True
Let b = 5 - 5. Let m = b - -3. Suppose -4*g + 38 + 25 = -m*s, -g + 11 = 4*s. Does 7 divide g?
False
Let v be (-110)/(-6) + 1/(-3). Let d = v - -15. Does 12 divide d?
False
Suppose 4*d = -3*x - 34, 3*x + 0*x + 2*d = -38. Let y be 9/(-6)*x/3. Let j = 19 - y. Is j a multiple of 8?
False
Let t(x) = x + 4. Suppose -3*w + p = -2*w + 9, p = -4*w - 11. Let g be t(w). Let s = g + 10. Does 10 divide s?
True
Let n(u) = u - 3 - 2 + 0*u. Let o be n(5). Suppose 5*k - 50 = -5*w, w - 2*w = o. Does 4 divide k?
False
Suppose 4*l = 3*i + 17, 3*l - 19 + 1 = 4*i. Let u be 1*4 - 0/1. Suppose u*c - 58 - 86 = 5*w, -8 = l*w. Is c a multiple of 8?
False
Suppose -3*q + r + 40 = q, 2*q - 3*r = 20. Suppose 3*h - 11 = q. Is h a multiple of 7?
True
Suppose -3*y + 27 = -99. Is 6 a factor of y?
True
Let a = -18 - 9. Let h = a + 49. Is h a multiple of 11?
True
Let t(r) = r**3 - 7*r**2 - 8*r + 2. Let b be t(8). Suppose b*o - 17 = 7. Is 12 a factor of o?
True
Let p(o) = 2*o**2 - o - 14. Does 36 divide p(-7)?
False
Let m = -1 - -3. Let c be 9 - (2 - m)*1. Suppose -3*n + 159 = c. Does 25 divide n?
True
Let t(b) be the first derivative of 19*b**3/3 + b**2/2 + 2. Let z = -8 + 7. Does 9 divide t(z)?
True
Let p be (-2 + 3)/((-1)/(-5)). Suppose 0*u - 68 = -v - p*u, 2*v - 5*u - 91 = 0. Is 15 a factor of v?
False
Let r(h) = h**3 + h**2 - 5*h - 2. Let v be r(5). Let p = v + -73. Is 22 a factor of p?
False
Let a(c) = c - 1. Let f be a(5). Let d be f - 2 - 17*-1. Let k = d + -5. Is k a multiple of 5?
False
Let n = 5 - 5. Suppose 9*z + 4*o - 82 = 4*z, n = 3*z - 4*o - 30. Is 14 a factor of z?
True
Suppose -2 = -2*j - 4, -36 = -4*x - 4*j. Does 5 divide x?
True
Let u = -82 - -369. Is u a multiple of 13?
False
Suppose 2*o - 28 = -4*n, -2*n + 2*o + 2 = -n. Suppose 96 = -n*a + 10*a. Does 17 divide a?
False
Let j = 1 - 1. Suppose 3*c - 155 - 97 = j. Suppose 2*t - 2*x = -2*t + c, -68 = -3*t + 4*x. Is t a multiple of 13?
False
Let s(m) = -m + 7. Suppose -4 = b + 5. Is s(b) a multiple of 16?
True
Let l = 23 - 18. Suppose -2*s - 200 = -5*t, -2*s = -l*t + s + 200. Is t a multiple of 10?
True
Suppose 2*v + 2*c - 29 = 1, -3*v + 3*c + 57 = 0. Let s be (0 - (-2)/(-2))*-43. Let b = s - v. Does 13 divide b?
True
Let m(l) = 11*l - 3. Let c(x) = -4*x + 1. Let r(d) = 8*c(d) + 3*m(d). Let u be r(4). Suppose -18 - 6 = -u*y. Is y a multiple of 8?
True
Let n(i) = i**2 - 8. Let t be n(-6). Let p = t + -20. Suppose 3*s - p = 2*s. Does 8 divide s?
True
Suppose 4*b = 20 + 40. Is b a multiple of 5?
True
Suppose u = 10*u - 576. Does 8 divide u?
True
Let g(p) = -p**3 - 6*p**2 + p + 5. Let i be g(-5). Let y = i + 8. Let r = 28 + y. Does 5 divide r?
False
Let i be (-120)/2*(-5)/10. Let f = -8 + i. Is f a multiple of 14?
False
Suppose -2*l + 3 = l. Suppose -v - l = -0. Does 4 divide -6*2/(-4) - v?
True
Suppose -5*r + 9 = 3*m - 255, r = -2*m + 183. Let a = m + -32. Is 10 a factor of a?
False
Let i = 30 - -16. Does 4 divide i?
False
Does 9 divide 4 - (234/(-3) - -1)?
True
Let t(h) = -3*h**3 + 22*h**2 - 9*h + 17. Let g(v) = 2*v**3 - 11*v**2 + 5*v - 9. Let f(o) = 5*g(o) + 3*t(o). Does 7 divide f(-11)?
True
Let j be (100/(-15))/(2/(-9)). Suppose 41 = 2*h + f, -2*h + 4*f + j - 4 = 0. Suppose 0 = -m + h + 9. Is 12 a factor of m?
False
Suppose -3*n = 2*n - 155. Is n a multiple of 8?
False
Suppose 3*b = 3*a - 21, 0 = -0*a - 5*a - 3*b + 27. Is 20 a factor of ((-3)/a)/(4/(-208))?
False
Let k = 4 - 5. Does 12 divide (k + -29)/((-18)/12)?
False
Suppose 3*a + 3 = 4*a. Let p = 28 + -10. Suppose -5*f = a*g - 81, -g - f = -p - 11. Is g a multiple of 12?
False
Suppose 350 = 5*s + 4*r, 6*s + 5*r = s + 345. Is s a multiple of 37?
True
Let k = -20 - -32. Does 10 divide k?
False
Let z(u) = u**2 + u + 2. Let c be z(-2). Let i be ((-2)/c - 0)*-14. Is 10/(-35) - (-100)/i a multiple of 7?
True
Suppose -17 - 38 = -5*c. Is 8 a factor of c?
False
Let i = -196 - -222. Is i a multiple of 13?
True
Let j(t) = 15*t + 3. Let g be (-15)/(-9) + 4/3. Does 12 divide j(g)?
True
Is 340/(-51)*(-3 - 0) a multiple of 4?
True
Is 23 a factor of 1/(-7) + (-3564)/(-154)?
True
Suppose f = c + 15, 2 = -3*f - 1. Is 5 a factor of 21 - c/(-12)*-3?
True
Let k(q) = -2*q**3 - 4*q**2 - 5 + 3*q - 3*q**3 + 4*q**3. Let x be k(-5). Suppose -85 = -x*a - 10. Is a a multiple of 15?
True
Let m be ((-4)/(-8))/((-2)/(-24)). Suppose -5*n + m*n = -6. Does 20 divide ((-15)/n)/(3/24)?
True
Suppose 5*f = -3*g + 207, 76 = 2*f - g - 9. Does 6 divide f?
True
Let m = 155 - 92. Is m a multiple of 12?
False
Let s be (5 - 2)/((-6)/(-16)). Let q(m) = -m**3 + 7*m**2 + 9*m - 4. Let b be q(s). Does 6 divide 1/(-2) - (-38)/b?
False
Is 30 a factor of -2 + 4 - (-4 - 174)?
True
Suppose 13 = 3*y + 1. Let z(a) = 2*a - 4. Let i be z(y). Suppose -i*p = -5*c + 153, -91 = -2*c + p - 28. Does 12 divide c?
False
Let p = -98 + 155. Does 4 divide p?
False
Let y be (0 - 2)*52/(-8). Suppose n + y = 32. Does 19 divide n?
True
Suppose 2*b + a - 8 = -2*b, b - a = 2. Let p = 10 - 14. Is 5 a factor of (p/b)/(10/(-55))?
False
Suppose -4*i + 103 = 2*j - 165, -i + j = -70. Does 11 divide i?
False
Suppose 6*p = 5*p - 9. Let g(n) = -6*n - 3. Is 29 a factor of g(p)?
False
Let f(r) = -2*r**2 + 0 + 3*r + 0 + r**3 - 6*r. Is 11 a factor of f(4)?
False
Let n(r) = r - 13. Let p be n(6). Let t = p - -75. Does 16 divide t?
False
Does 3 divide 3*2/(-8)*-20?
True
Is 5/35 + 258/7 a multiple of 14?
False
Let d(k) = -16*k - 12. Suppose 7*m - 5*m = -10. Is 23 a factor of d(m)?
False
Suppose -2*u + 4 - 32 = 0. Let l = -7 - u. Is l a multiple of 7?
True
Let i be 0/(1 + (-3 - 0)). Suppose -5*k + 2 = -y, k - 2*y = -6*y - 8. Suppose 2*b + 0*b + f - 51 = k, -5*b - 4*f + 132 = i. Is 10 a factor of b?
False
Let n(d) = d**2 + 5*d. Let x be n(-4). Suppose 3*a - 3*s = -8*s + 29, 3*a - 2*s = 64. Let w = x + a. Does 7 divide w?
True
Suppose 0 = -85*d + 87*d - 272. Is d a multiple of 8?
True
Suppose 6*w - 940 = -82. Is 41 a factor of w?
False
Let m be 2/(-3) - 260/(-12). Suppose 0 = x - m. Does 9 divide x?
False
Let q be (6/(-5))/((-12)/80). Suppose -x + q = x. Let b(w) = -w**3 + 3*w**2 + 5*w - 1. Does 3 divide b(x)?
True
Let j(b) = b**3 - 4*b**2 + 2. Let u be j(4). Suppose u*l + l = 6. Is (4 + -1 - l) + 17 a multiple of 5?
False
Suppose -z + 7 = 4. Suppose 5*p - 30 + 0 = -4*c, 2*p = 4*c - 16. Let m = c + z. Is 4 a factor of m?
True
Let s(l) = l**3 + 11*l**2 + 5*l + 20. Does 10 divide s(-9)?
False
Let f = 7 - -129. Is 17 a factor of f?
True
Suppose 4*d + 3*u = d - 30, 0 = 4*d - 5*u + 4. Let h = d - -2. Is (-1 + (-3)/(-12))*h a multiple of 3?
True
Is 12 a factor of 133/7*(22/2 - -2)?
False
Let x(c) = c**2 - 12*c + 8. Let y be x(11). Does 13 divide (y/9)/((-1)/159)?
False
Let b be 626/14 + (-4)/(-14). Suppose -3*c + b + 24 = 0. Is 8 a factor of c?
False
Suppose -3*j - j = -8. Let r(p) = 0*p + p**j - 2 + 9 + 0*p**2 - 2*p. Is 15 a factor of r(7)?
False
Let w(v) = 2*v**2 - 7*v + 6. Let a be w(5). Suppose -3*b - n + 5 = 0, 2*n + a = 3*b - n. Is (-1)/(-3) - (-35)/b a multiple of 12?
True
Suppose -23 = -3*t + 13. Is 4 a factor of t?
True
Is 356*(-2 - (-5)/2) a multiple of 51?
False
Suppose 3*k = 12 + 45. Is 19 a factor of k?
True
Let l(w) = -w**2 + 5*w + 12. Is 18 a factor of l(3)?
True
Let h(w) be the first derivative of -4*w**2 + 2*w - 3. Is 21 a factor of h(-5)?
True
Suppose 0*t = 3*t - 12. Suppose 0 = -t*f + 5*z + 39, -3*f + 21 = -z - 0*z. Does 3 divide f?
True
Suppose -3*f = -2*f - 8. Suppose -g = -z - f, -z - z = 5*g - 5. Is g a multiple of 3?
True
Suppose -3*l - 4*q - 6 = 1, 4*l - 3*q = 24. Let n = l - -3. Suppose n*p - 80 = p. Does 8 divide p?
True
Does 14 divide 4/8*((-3210)/(-5) + 4)?
False
Suppose -11*j + 720 = 9*j. Is j a multiple of 4?
True
Suppose n + 150 = 2*n. Suppose 5*q - n = -0*q. Is q a multiple of 12?
False
Suppose -5*o = -3*l - 13 - 27, 20 = -o - 5*l. Suppose 0 = -o*k - 2*b + 285, 4*k - 3*k = 5*b + 57. Is 