+ 16 = 2*g, -3*g - t + 4 = -12. Is 3 a factor of g?
True
Let f = 41 + -21. Suppose 3*j + 11 - 2 = 0. Does 4 divide 15*(f/6 + j)?
False
Suppose m = -5*b + 4*m + 12, 4*m = -16. Suppose 4*g - 7 = -b*g + 5*w, 3*g - 2*w = 0. Let s(f) = -6*f**3 - 3*f**2 + f + 2. Does 18 divide s(g)?
True
Suppose -3*t + 2*t = 3*y - 13, 3*t = -2*y + 18. Does 11 divide -5*((-36)/t + 1)?
False
Let w = 143 + -43. Is w a multiple of 31?
False
Let a(k) = -101*k - 1. Let x be a(-1). Suppose -5*o = -100 - x. Is 11 a factor of o?
False
Suppose -k = -3*k + 148. Does 17 divide k?
False
Let t = -15 + 3. Is -12*(t/16 - 2) a multiple of 10?
False
Let o(f) be the second derivative of -f**5/20 - 7*f**4/12 + 2*f**3/3 - 4*f**2 + f. Let g be o(-8). Suppose 0 = 2*i - 10 - g. Is 9 a factor of i?
False
Let d be (1*(1 - -1))/1. Suppose 0 = 4*t - 2*z - d, 2*t - 22 = -3*t - 4*z. Does 3 divide 20/t - (-14)/(-7)?
False
Suppose 4*u - 36 = 116. Suppose -u - 22 = -5*y. Is y a multiple of 7?
False
Let z(o) = 24*o + 3. Let s be z(2). Is 7 a factor of s/7 - (-4)/(-14)?
True
Let x = 1 + -1. Let j = 9 + x. Suppose j = 5*q - 6. Is q a multiple of 3?
True
Suppose -3*h - 2 = 5*s, -3*s + 5*h + 4 = -22. Suppose -1 = -s*f + 9. Suppose 0 = -2*a - f*b + 58, 111 = 5*a - 0*a + 4*b. Is 19 a factor of a?
True
Let j(v) = -13*v**3 + 5*v**2 + v + 3. Let r(i) = -3*i**3 + i**2 + 1. Let a(u) = -2*j(u) + 9*r(u). Is a(-3) a multiple of 13?
False
Let r be (7 - 1)/3 + 0. Let d(u) = 1 + 4*u**2 + 1 - r + 2*u. Is 16 a factor of d(3)?
False
Suppose -3*w + 57 = l, 0 = -3*w - 2*w + 2*l + 106. Suppose h - 3*u = 2*u + 5, 0 = -4*h - 4*u + w. Is h a multiple of 5?
True
Suppose -2*d = 3*d - 20. Is (d - -7) + 0/(-2) a multiple of 11?
True
Let t be 3/(-9)*0 - 0. Suppose t = -4*f - 3*h + 20, -f + 15 = 2*f - h. Suppose -4*o + f*b = -36, 6*o - o - 90 = -5*b. Does 7 divide o?
True
Let p(z) = 2*z**2 - 3*z - 8. Is 2 a factor of p(5)?
False
Suppose 3*f = -2*f + 35. Suppose 5*p = -3*a + 19, 5*a - f = 4*p - 0. Suppose -67 - 3 = -5*g + 2*n, 0 = -a*n. Is g a multiple of 7?
True
Let d(x) be the second derivative of -14*x**3/3 - x. Let k be -4 - 9/(-6)*2. Is 14 a factor of d(k)?
True
Let k(m) = 31*m - 1. Let j(n) = -3*n + 9. Let c(w) = -4*w + 10. Let t(r) = -2*c(r) + 3*j(r). Let s be t(6). Does 12 divide k(s)?
False
Suppose q + 573 = 5*u + 2*q, 0 = -2*u - 4*q + 222. Suppose 2*y - u = 51. Is 31 a factor of y?
False
Suppose -4*h + 31 + 175 = -3*w, -4*w - 268 = -2*h. Let o = w + 106. Is 14 a factor of o?
False
Is 18 a factor of 2/(-5) - 544/(-10)?
True
Does 8 divide 2 + 1 - 42/(-2)?
True
Let m be 13*1*(11 + 3). Suppose -2*z + x = -81, 2*x = -5*z + z + m. Suppose 5*l - z - 27 = 0. Does 5 divide l?
False
Let f be (-6)/((-186)/(-45) - 4). Does 37 divide 3/((f/(-246))/5)?
False
Let u(x) = -16*x - 3. Let q be u(-3). Does 12 divide 3 + q + -2 + 2?
True
Suppose -3*g = -2*x + 62, 0*x - x = -5*g - 45. Does 15 divide x?
False
Suppose -5*l + 5 = 0, -l - 20 = -3*v - 0*l. Is v a multiple of 5?
False
Suppose -3*t + 0*j + 392 = 2*j, 4*t = -2*j + 520. Let p = 34 - 30. Suppose -4 = p*v, t = 4*i + v + 1. Is i a multiple of 16?
True
Suppose 2*j = 5*g + 78, 2*j - 2*g + 7*g = 78. Is j a multiple of 24?
False
Let j(a) be the first derivative of 11*a**3/3 - 4. Does 2 divide j(-1)?
False
Let n = -32 - -72. Suppose 0 = -3*g + 9, g + 3 + 6 = 4*m. Suppose -n = j - m*j. Does 8 divide j?
False
Suppose -h = -6*h - 30. Is 13 a factor of 24 - h/(1 + -3)?
False
Let b(q) = 4*q**2 - 11*q + 16. Let w be b(7). Suppose -4*v + 18 = -6. Suppose t = v*t - w. Does 11 divide t?
False
Let d be ((-1)/(-3))/((-1)/(-39)). Suppose c = -2*c + 57. Suppose -d = -2*n + c. Is n a multiple of 11?
False
Does 5 divide (-1)/((-13)/(-7) + -2)?
False
Is 7 a factor of 672/(16/2)*(-12)/(-14)?
False
Suppose 0 = 7*y - 2*y - 2*o - 44, -4*o + 22 = y. Let t(i) = -i**3 - 13*i + 2*i**2 - y + 2*i**3 + 6*i**2. Does 12 divide t(-9)?
False
Let g(r) be the second derivative of -r**4/12 - 2*r**3/3 + r**2/2 + r. Let f be g(-3). Suppose 0*q - 5*q + 152 = -f*m, -3*m - 121 = -4*q. Is q a multiple of 14?
True
Let x(m) = 13*m**2 - 2*m + 4. Let k be x(4). Does 10 divide 2/(-3)*k/(-8)?
False
Suppose -5 - 2 = -3*s - 2*q, 0 = 2*q + 8. Does 13 divide (2/s)/((-7)/(-455))?
True
Let d = 86 + -48. Does 5 divide d?
False
Let k be (-2)/5 - 118/5. Let v = -9 - k. Let i = 25 - v. Is 5 a factor of i?
True
Let k be (-2335)/(-35) + (-2)/(-7). Let n = k + -39. Is n a multiple of 25?
False
Let r(b) = -b**3 + 6*b**2 + 3*b + 1. Is 12 a factor of r(6)?
False
Suppose -4*o + 358 = 2*s, 2*s = -2*o - o + 271. Is o a multiple of 29?
True
Suppose -8 = -2*y, 2*c - 5*y + 4*y - 12 = 0. Does 4 divide c?
True
Let h = -62 + 106. Is 11 a factor of h?
True
Let y(m) be the first derivative of -m**4/4 + 10*m**3/3 + 5*m**2 + 13*m - 1. Is y(11) a multiple of 2?
True
Suppose a + 3*l = 51, l = -3*a - 4*l + 141. Is a a multiple of 14?
True
Let g = 40 - 68. Is 21 a factor of g/6*-3*3?
True
Suppose 12*i = i + 1155. Is i a multiple of 15?
True
Suppose 0*s + 2*s - 40 = 0. Does 5 divide s?
True
Does 13 divide 1 - (-4)/(-4)*-25?
True
Suppose 0 = v + 3*v + 3*h - 15, 0 = v - 3*h. Suppose -2*d = -2*z - v*d + 31, -d = -5. Is z a multiple of 8?
False
Let k(n) = 3*n**2 - 3*n + 1. Let i = 9 - 7. Is k(i) a multiple of 2?
False
Suppose 0 = -0*f - 2*f - 10. Let i(w) = w**3 + 15*w**2 - w + 20. Let v be i(-15). Let y = v + f. Is y a multiple of 15?
True
Let p(x) = -x**2 + 6*x + 7. Let s be p(7). Let k(u) = -u + 144. Let r be k(s). Suppose l = -3*l + r. Is l a multiple of 18?
True
Let i(v) = v**3 + 6*v**2 - 9*v - 2. Let b be i(-7). Does 30 divide (-23)/(-2)*(b + -4)?
False
Is 3 a factor of 494/57 + (2/(-3) - -1)?
True
Suppose 0*a - 55 = -5*w - a, 39 = 2*w - 3*a. Is w a multiple of 2?
True
Let v be 40/3*(-45)/(-12). Let a = v - 22. Is a a multiple of 16?
False
Let a(x) = -x**3 - 5*x**2 - 6*x. Let h = -15 + 11. Is 4 a factor of a(h)?
True
Let x = -2 + -4. Let s(b) = -b**3 - 7*b**2 - 6*b. Let m be s(x). Suppose m = 3*p + p - 104. Is p a multiple of 13?
True
Let v(d) = d**2 - 8*d + 17. Is 24 a factor of v(15)?
False
Let b be 3/(-1) - (-4 + -1). Suppose 0*l = -b*l - 16. Is 14 a factor of 872/32 + 2/l?
False
Let l(m) be the first derivative of m**5/60 - m**4/8 - m**3 + m**2/2 - 3. Let g(s) be the second derivative of l(s). Does 12 divide g(6)?
True
Let a(q) = 1 + 0 - 2 - 16*q - 3. Does 12 divide a(-4)?
True
Let m = -12 + 26. Is 7 a factor of m?
True
Let c be 6/(-8) + 945/12. Suppose -4*n - 30 = -c. Is 12 a factor of n?
True
Suppose s + 12 = -2*s - 5*r, 0 = 3*s + 4*r + 9. Let n = s + 3. Is 4 a factor of n?
True
Let i be (-2)/(-3) + 12/9. Suppose -i*z = -0*z - 54. Is z a multiple of 9?
True
Let u = -74 - -134. Is u a multiple of 15?
True
Suppose 0 = -0*q + q. Suppose -4*k = -0*k + 5*a - 105, q = 5*k + 5*a - 125. Is k a multiple of 10?
True
Suppose -317 + 1912 = 11*x. Is 29 a factor of x?
True
Suppose 7*b = 3*b + v + 3, -14 = 3*b - 4*v. Suppose g + 3*g - 120 = -2*x, 5*g - 122 = -b*x. Does 20 divide x?
False
Suppose 0 = 2*h + 4*l - 178, 2*h + 5*l + 460 = 7*h. Suppose -4*v = -2*b - 0*v + 14, 0 = 5*b + 4*v - h. Does 15 divide b?
True
Suppose 17 - 1 = -4*x. Let o(h) = -3*h + 3. Is 15 a factor of o(x)?
True
Let x = -162 - -271. Suppose -5*n + 106 = -x. Does 16 divide n?
False
Let a = 94 + -46. Is a a multiple of 31?
False
Let s(f) = -1 - 2*f + 36*f**3 + 15*f**3 - 3*f**2 + 3*f**2. Let a be s(-1). Let q = -30 - a. Is 9 a factor of q?
False
Let r = 267 - 85. Does 12 divide r?
False
Let x = -25 + 42. Is 17 a factor of x?
True
Suppose 86 = 4*v - 74. Does 10 divide v?
True
Is 25 a factor of 1056/21 - 2/7?
True
Suppose 2*w - 1 = -0*w - 3*g, -w + 1 = g. Suppose -w*v + 0 = 2. Does 3 divide 1*((-4)/v + 0)?
False
Suppose 10*n - 1380 = 1190. Is n a multiple of 20?
False
Let s(r) = r**2 - r + 1. Suppose 5 = 4*w + 3*f, -f = -w - 3*f. Let a(p) = -p**2 - 5*p - 13. Let v(t) = w*s(t) + a(t). Does 17 divide v(10)?
False
Let u = -138 + 205. Does 17 divide u?
False
Let t = 45 - 14. Is 11 a factor of t?
False
Let x(m) = 2*m. Let c(h) = -h**3 + 14*h**2 - 13*h + 14. Let p be c(13). Does 17 divide x(p)?
False
Let m(f) = -9*f - 15. Is 31 a factor of m(-6)?
False
Suppose -4*m + z = -0*z - 451, -3*z = 2*m - 215. Is 28 a factor of m?
True
Let d = -6 + 8. Suppose -q = 3*t - 26, d*q - 12 = 2*t + 24. Is q a multiple of 10?
True
L