
Suppose y - 3*l = 35 + 157, 5*y - 3*l - 912 = 0. Is 20 a factor of y?
True
Suppose 38*k - 33*k = 200. Is 20 a factor of k?
True
Let n = 13 + -7. Does 22 divide n/27 + 682/9?
False
Let k(r) = r**3 + 8*r**2 - 12*r - 1. Let p be k(-9). Let b = -12 + p. Is 6 a factor of b?
False
Suppose -q - 44 = -3*q. Is q a multiple of 4?
False
Suppose -6*j - 610 = -8*j. Is j a multiple of 24?
False
Suppose z = 31 - 12. Is z a multiple of 19?
True
Suppose 0 = r - 5*r + 16. Suppose r*m = 3 + 69. Is 6 a factor of m?
True
Suppose 3*r + 140 = -r. Let v = r - -52. Suppose 0 = -d + v + 1. Does 9 divide d?
True
Let b(g) = -8*g**2 - g**2 - 3*g + 3*g**3 + 4 - 2*g**3. Let m(l) = -4*l**2 - l + 2. Let h(j) = -2*b(j) + 5*m(j). Is 3 a factor of h(-2)?
False
Suppose -7*u = 5*w - 3*u - 116, 4*w + 4*u = 96. Is w a multiple of 10?
True
Let k(h) = h**3 + 4*h**2 - 2*h - 3. Let c be k(-5). Let a be (-195)/27 - 4/c. Let t(j) = -3*j + 7. Does 11 divide t(a)?
False
Is 988/16 - 2/(-8) a multiple of 8?
False
Let w = 65 + -40. Suppose -2*i - 3*i = -w. Is i a multiple of 2?
False
Let c = 4 - 3. Suppose 3 = 2*j + c. Does 4 divide (-4)/2 - (j - 13)?
False
Suppose 0 = 5*s, 0*q = -5*q - 2*s - 185. Let t = 61 + q. Is t a multiple of 11?
False
Let l(w) = 4*w**3 - 2*w**2 - w + 4. Is l(2) a multiple of 2?
True
Suppose -5*w - 210 = -g, 3*g - 3*w + 236 = 818. Suppose -4*h + g = h. Does 13 divide h?
False
Let l = 55 + -35. Is l a multiple of 20?
True
Let s = -3 + 4. Suppose -s = 4*j - g, -2*j = -j + 3*g - 3. Suppose j*h + 46 = 2*h. Is h a multiple of 8?
False
Let s = -2 - -4. Let k = 0 + s. Is k even?
True
Suppose 2*v - 12 = -v - 3*k, 20 = 5*v + k. Suppose 3*y = j - 16, 1 = y + v. Does 2 divide j?
False
Let z(o) = -o**2 - 10*o + 5. Let c be (-5)/(1*(-1)/(-1)). Let i(n) = n**3 + 5*n**2 + n - 5. Let g be i(c). Is 4 a factor of z(g)?
False
Let y be (5/4)/(4/16). Let k(g) = 5*g**2 + 2*g + 4 - 10*g**2 + g**3 + 0*g**2. Does 14 divide k(y)?
True
Let j(i) = -i**3 + i. Let m(w) = -3*w**3 + w**2 + 2*w + 1. Let z(v) = -17*j(v) + 6*m(v). Let q be z(5). Is 18 a factor of 104/q - (-6)/9?
True
Let l(q) = 3*q. Let m be l(1). Let a = m - -5. Is 5 a factor of a?
False
Let f be 3/12 + 7/4. Suppose 7*h - 107 = u + f*h, 0 = -h - 5. Is 2*1*u/(-8) a multiple of 10?
False
Let r(y) = -3*y + 15. Suppose 3 = -4*w - 25. Does 18 divide r(w)?
True
Let p(i) = -i + 4. Let a be p(6). Is (-4 - a)/1 - -7 a multiple of 5?
True
Let x = -178 + 358. Does 36 divide x?
True
Suppose -5*n = 5, 2*k = -4*n + 144 - 28. Is 14 a factor of k?
False
Let p be 26/(-117) - (-281)/9. Suppose 2*o + 4 = -4*j - 16, 4*o + 4*j + 20 = 0. Suppose m - 13 - p = o. Is m a multiple of 14?
False
Suppose -4*j + 4*s + 20 = 0, -s = -5*j + 21 - 4. Suppose -4*p - 74 = -j*h, -h - p - p + 28 = 0. Does 7 divide h?
False
Suppose -567 + 87 = -4*g. Suppose 0 = 6*u - 2*u - g. Does 14 divide u?
False
Suppose 0 = s + 20 - 128. Is s a multiple of 27?
True
Let z = -3 - -11. Suppose 3*j - z = 2*j. Is 3/(-12) - (-306)/j a multiple of 14?
False
Let l = 60 - -5. Is l a multiple of 13?
True
Suppose 6*j = j - 4*h, 2*h - 14 = j. Let a(v) = 6*v**3 + 7*v**2 + 9*v - 5. Let x(k) = k**3 + k**2 + k - 1. Let n(w) = -a(w) + 5*x(w). Is n(j) a multiple of 24?
True
Let g = 16 - 14. Suppose -g*t = -2*p + 6*p - 118, -2*p + 3*t = -47. Does 16 divide p?
False
Let i = 18 - 0. Is 6 a factor of i?
True
Let y(t) = -t**3 - 19*t**2 + 17*t + 6. Is 33 a factor of y(-20)?
True
Let d = -6 + 6. Suppose -105 = -2*m + 3*z, -5*z = -d*m + 3*m - 167. Is 19 a factor of m?
False
Let a = -34 - -58. Does 12 divide a?
True
Suppose -d - h = -4*h - 206, 4*d = 4*h + 808. Is 48 a factor of d?
False
Let h = -54 - -23. Let c = 11 - h. Is c a multiple of 14?
True
Let k(x) = -11*x + 9. Does 16 divide k(-5)?
True
Suppose 0*j = 3*j + 3, -4*j = 2*m + 16. Suppose -10 - 54 = 2*s - 3*u, -5*s + 2*u - 149 = 0. Let o = m - s. Is o a multiple of 23?
True
Does 9 divide ((-72)/(-10))/((-5)/(-25))?
True
Suppose 0 = -3*l + 6*l - 6. Suppose 2*r = -l, -3*r - r + 5 = 3*b. Suppose q = -b*q + 64. Is q a multiple of 9?
False
Let o(n) = n + 8. Let u be o(-4). Suppose 0 = -m - u*p + 23, 0 = -2*m - 0*p + 5*p + 33. Is m a multiple of 15?
False
Does 43 divide (-249 - 0)*((-112)/(-21) - 6)?
False
Does 25 divide (3 + -6)/(((-12)/200)/1)?
True
Let l(f) = f**2 - 2. Let s be (3 + 0 - 2)*2. Let o be l(s). Suppose 5*c = -3*v + 113, -c - 5*v + 29 - o = 0. Is 11 a factor of c?
True
Does 9 divide (10/25)/((-2)/(-865))?
False
Let b be (0 + 0 + -1)*-40. Suppose -76 = -4*l + b. Suppose -3*g = -67 - l. Is 13 a factor of g?
False
Let s be (-2)/(-6) + 68/12. Let u = -6 + s. Suppose 3*x - 3*j + 3 = u, -x - 2*j = -4*x + 1. Is x even?
False
Suppose 5*k + 64 = -2*s - s, -3*k - 5*s = 48. Let z = k - -8. Does 12 divide 194/8 - z/(-12)?
True
Suppose -103 = -9*z + 1274. Is 6 a factor of z?
False
Let n(d) = -4*d + 3. Let s be n(-6). Let w = s + 1. Is w a multiple of 10?
False
Let b = 10 - -5. Suppose 0 = -r - r + 10, -b = -5*a + r. Suppose 4*p - 5*f + 2 = 2*p, 32 = a*p - f. Does 5 divide p?
False
Suppose 4*r + 1 + 9 = q, 2*q + 3*r = -24. Let c(n) = -20*n + 4. Let j be c(q). Suppose -4*o + 3*k + 102 = -o, -k = -4*o + j. Does 10 divide o?
True
Suppose -6*m + 403 = 145. Does 6 divide m?
False
Let m(w) be the first derivative of -w**4/4 + 2*w**3 - 7*w**2/2 + 4*w + 4. Suppose -4*a = -4*p - 24, a + 6*p = p - 6. Is 8 a factor of m(a)?
True
Let o(m) = -6*m + 1. Let p be o(-1). Let r(g) = -g + 1. Let b be r(1). Let t = b + p. Is 3 a factor of t?
False
Let o = -26 + 44. Is 4 a factor of o?
False
Suppose 288 = 5*c - 492. Is 25 a factor of c?
False
Let y(v) = -3*v - 1. Let f be y(-5). Let g = 20 - f. Is g a multiple of 4?
False
Let n = 8 - -54. Does 14 divide n?
False
Suppose 8*f - 4*f = 128. Let t = f - 11. Is 10 a factor of t?
False
Let a be (6 - 3)*(-4)/(-6). Let b be (2/4*0)/(-1). Suppose -a*t - 8 = b, 3*n - 4*t = -0*n + 88. Is n a multiple of 12?
True
Suppose 21*i = 143 + 2503. Is 5 a factor of i?
False
Let h be ((-30)/(-25))/((-3)/(-10)). Suppose -36 - h = -4*s. Is 4 a factor of s?
False
Let y be (-3 - -3) + -1 - 1. Does 22 divide (y + 1)*(-41 - 3)?
True
Let i = 15 - 18. Does 2 divide 8 - (4 + 9/i)?
False
Suppose 3*x + 4*w - 2 = 2*x, 0 = -2*x - w + 25. Does 7 divide x?
True
Let d be (-6)/(-15)*(-170)/(-2). Suppose 0 = -4*r - 2 + d. Is r a multiple of 8?
True
Let l(m) = 5*m - 3. Let p be l(6). Let k be (4/3)/(2/p). Suppose x = -2*x + k. Does 3 divide x?
True
Suppose 75 = 2*i - 21. Is i a multiple of 2?
True
Does 25 divide (-5)/((-20)/124) - -2?
False
Let l(h) = -h**3 + 6*h**2 + h - 3. Let n be l(5). Let o = n - -49. Is 19 a factor of o?
True
Suppose 2*v = 2*q - 0*q - 86, q + 3*v - 63 = 0. Is q a multiple of 14?
False
Let p = 15 - 10. Suppose 3*c = 4*c - p*r - 9, -4*r = c. Suppose -2*m = -c*m - y + 95, -5*m = -y - 220. Is 14 a factor of m?
False
Suppose g = 2 + 1. Suppose -3*x + 47 = g*h - 22, -h = 5*x - 131. Does 9 divide x?
True
Suppose -m = 2 + 2, 0 = 5*h - 3*m - 17. Suppose -3*r + 2*a = 7*a - 8, 0 = a - h. Suppose 3 = u + r. Does 2 divide u?
True
Let a(t) = 3*t**2 + 2*t - 1. Let n be a(1). Suppose n*o + 13 = -5*q + 46, 2*q - 18 = -4*o. Is 6 a factor of 4/3*21/o?
False
Let t(o) = o**3 - 5*o**2 + o + 5. Let i be t(4). Let b(k) = k**2 + 3*k - 7. Is b(i) a multiple of 11?
False
Is ((-2)/(-3))/((-2)/(-21)) a multiple of 5?
False
Let a(d) = d**3 + 8*d**2 + 7*d + 10. Is 10 a factor of a(-7)?
True
Suppose 4*l + 5*w - 3*w + 50 = 0, 2*w - 16 = 2*l. Let p(t) = t**3 + 12*t**2 + 6*t - 14. Is 13 a factor of p(l)?
False
Suppose -4*k + 16 = m, 3*m - 8*m = 4*k - 32. Does 15 divide 1/(3*k/135)?
True
Suppose 37 = 2*a + f + 2, -3*a - 5*f + 70 = 0. Suppose 3*l - 146 = c, 0 = 2*l + 5*c - 71 - a. Is 16 a factor of l?
True
Suppose 4*i - 16 = 2*i. Suppose i = 4*f - 12. Does 2 divide f?
False
Suppose 0*j - j + 38 = 0. Is j a multiple of 19?
True
Suppose -3*l = 4*i + 10, 3*l + 3*i + 15 = 3. Let q be ((-3)/l)/(1/34). Suppose 2*m + 3*o - 30 - 4 = 0, -q = -m + o. Is 16 a factor of m?
False
Let w(b) = -4*b**3 + 2*b**2 - b. Let p be w(1). Let k be ((-4)/p)/((-4)/(-6)). Suppose 6 = k*j - a, 0 = 4*j + a - 13 - 11. Is j even?
False
Let c(h) = 4*h + 12. Let f be c(-10). Let t = -9 - f. Does 19 divide t?
True
Suppose -6*c + 120 = -4*c. Suppose 0 = x + 4*x - c. Is x a multiple of 12?
True
Does 7 divide 24*4/(-30)*-