oes 12 divide ((-212)/16 + 2)*(-19 + 3)?
True
Suppose 5*x = x + 8. Suppose -x*q - 37 = -5*c + 88, -c = -4*q - 25. Let k = -10 + c. Is 15 a factor of k?
True
Suppose 0 = 3*v - 4*w - 62 - 543, 3*v = 5*w + 604. Suppose 4*d - 2 = -b + 77, v = 2*b - d. Is b a multiple of 33?
True
Let v = -86 + 400. Suppose -4*l - 22 = -v. Does 6 divide 14/35 - l/(-5)?
False
Let u(g) be the third derivative of -7*g**6/360 + g**5/120 - g**4/12 + 2*g**2. Let o(s) be the second derivative of u(s). Is 15 a factor of o(-1)?
True
Let x = -12 - -20. Let k(b) = b - 5. Let l be k(x). Let i(v) = v**3 - 2*v**2 + 3. Does 4 divide i(l)?
True
Suppose 2*k + p = 16 + 8, 0 = 5*k - 2*p - 78. Suppose 82 = 2*z - l - k, 0 = -4*z + 3*l + 192. Is z a multiple of 18?
False
Let s(t) = -t**3 + 4*t**2 + 8*t - 7. Let n be (2/(-3))/(4/(-6)). Let w(k) = 4*k**3 + 2*k**2 - k. Let b be w(n). Is s(b) a multiple of 3?
False
Is 12 a factor of 2/11 + (-1578)/(-33)?
True
Let t = 6 + -4. Let b(k) = 2*k**2 + 2. Does 10 divide b(t)?
True
Let b(j) = -2*j + 2. Let h be b(-4). Suppose -32 = -3*v - 5*k + k, 2*v = k + 3. Let r = h - v. Does 6 divide r?
True
Let c(d) = d**2 - 2*d - 4. Is 27 a factor of c(10)?
False
Let a(s) = 67*s**2 + s - 6. Is 10 a factor of a(-2)?
True
Let v(u) = u**2 + 2*u. Let i be v(-2). Suppose 0 = x + 3*x - 120. Suppose i*h = -2*h + x. Is h a multiple of 15?
True
Let z = 35 + -18. Let w = z + 5. Does 11 divide w?
True
Let c(v) = -v. Let j(b) = 3*b**2 + 4. Let q(r) = -3*c(r) + j(r). Let m be q(4). Suppose 0*a = 4*a - m. Does 8 divide a?
True
Let k = 80 - 53. Suppose 2*u - 17 = -3*f + 4*f, f + 2*u + 13 = 0. Let a = k + f. Does 6 divide a?
True
Suppose 0 = -5*c - z + 270, c + 3*c - z - 216 = 0. Does 9 divide c?
True
Let d(n) = -11*n**2 - 5*n - 19. Let b(x) = -5*x**2 - 3*x - 9. Let o(q) = -9*b(q) + 4*d(q). Let v be o(-7). Is 106/v + 2/(-10) a multiple of 8?
False
Suppose -2*o - j + 22 = -0*o, 2*j = 5*o - 37. Does 4 divide o?
False
Let s(y) = -y**3 + y**2 + 3*y - 2. Let x be s(2). Suppose x*a = -a + 9. Does 3 divide a?
True
Let s be (-1)/(-1 + 16/18). Is -1 + 2 - (2 - s) a multiple of 6?
False
Suppose -3*k + 28 = -4*o - 0*k, -3*o = 3*k. Let r be (2*2/o)/(-1). Let c = 11 - r. Is 8 a factor of c?
False
Suppose f = -3*f - 3*s + 12, -4*s + 6 = 2*f. Suppose -f*j = -76 - 254. Is 18 a factor of j*(24/(-15))/(-4)?
False
Suppose -3*t + 61 - 19 = 0. Let g = t + 15. Is g a multiple of 10?
False
Let g(h) = 11*h**2 - 10 - h**3 + 3*h + 3*h + 0*h**3. Is g(11) a multiple of 20?
False
Suppose 0*r = r - 2. Suppose 2*g - r*f - 66 = 0, 4*f + 166 = 5*g - 0*g. Is 17 a factor of g?
True
Suppose 4*w - 10 = -w, 4*h - 4*w - 212 = 0. Is 14 a factor of h?
False
Let s = 8 + -4. Suppose i - 570 = -s*i + 5*a, 342 = 3*i + a. Suppose 3*d - i = -0*d. Does 14 divide d?
False
Suppose -18*n + 13*n + 360 = 0. Does 24 divide n?
True
Is (1 + -54)/(7/(35/(-5))) a multiple of 10?
False
Suppose -17 = -41*l + 40*l. Is l a multiple of 17?
True
Let l(f) = -5*f**3 + 4*f**2 + 7*f + 8. Does 27 divide l(-3)?
False
Let f(c) = -c**2 - 13*c - 8. Let m = 9 - 2. Let w = -15 + m. Does 12 divide f(w)?
False
Suppose 4*j = -4*y + 84, -j + 61 = 2*y + y. Does 7 divide y?
False
Let w(k) = -13*k + 6. Is 19 a factor of w(-7)?
False
Let w(k) = 5*k + 15. Is w(9) a multiple of 20?
True
Let l(g) be the first derivative of g**3/3 - g**2 + 5*g - 1. Suppose -t = 3, 5*x - 2*t + 6*t = 8. Is l(x) a multiple of 10?
False
Suppose 0 = -3*t + 5*o + 236, 5*t - 380 = 8*o - 3*o. Is t a multiple of 9?
True
Suppose -2*f = -0*f - 6. Suppose f = 5*j - 12. Is j a multiple of 2?
False
Suppose 5*y - 2*y - 111 = 0. Suppose 0 = -5*p - 2*d + 209, -3*d = -p - d + y. Suppose p + 1 = 3*b. Does 14 divide b?
True
Suppose -5*f = -216 + 71. Let t = f + -21. Is t a multiple of 3?
False
Suppose -124 = -3*p - x, 0 = -3*x - 3 - 3. Let m be -1*(-2)/4*24. Suppose p + m = 2*s. Is 13 a factor of s?
False
Let b = 152 + -136. Is b a multiple of 5?
False
Let p = 0 + 27. Is 3 a factor of (72/p)/(4/18)?
True
Let l(u) = -4*u + 1. Is l(-10) a multiple of 13?
False
Let c be ((-3)/(-2))/(3/176). Let s = c + -44. Is 15 a factor of s?
False
Suppose -5*l = -z - 28 - 193, 5*z = -4*l + 200. Is 13 a factor of l?
False
Let k(n) = 5 + 7 - 5*n**2 - 3*n**2 + n**3 + 7*n**2. Does 6 divide k(0)?
True
Suppose -q = -m + 4*m - 82, -2*q + 2*m = -148. Suppose -4*o + q = -24. Suppose 5*h = o, 5*x = h + 23 - 8. Is 4 a factor of x?
True
Suppose -5*q + 0*q + 30 = v, 0 = -3*v + q + 10. Suppose v = -3*n + 161. Does 17 divide n?
False
Suppose -h + 24 = 4*p - 3*h, 0 = -5*p + 2*h + 29. Suppose -p*u = -57 - 8. Let q = -9 + u. Is 2 a factor of q?
True
Let s be (-1)/(-3) - (-76)/(-12). Let o be 68 + 1 + s + 6. Suppose z = 3*a - 55, 4*z = -4*a + z + o. Is a a multiple of 18?
True
Let n be -1 - (-5 + (-2)/(-2)). Let q be (14/5)/(2 + 32/(-20)). Suppose -n*j + q*j = 320. Is j a multiple of 22?
False
Let y(g) = g**2 - 10*g + 5. Let z be y(10). Suppose -16 + z = -n. Is n a multiple of 6?
False
Suppose -5*z = 2 + 8. Is 3 a factor of (-2 - 4)/z - -2?
False
Let x = 189 + 99. Is x a multiple of 48?
True
Is (-4760)/(-60) + (-1)/3 a multiple of 5?
False
Let i = 9 - 5. Is 23 - (-3 + i + -3) a multiple of 25?
True
Let g = -116 + 130. Is g a multiple of 13?
False
Suppose -6 - 153 = -3*j. Does 7 divide j?
False
Let i = -9 - -22. Suppose 0 = 3*p - 5*p + 3*h - 11, 5*p + 5 = 3*h. Is 11 a factor of p/i - (-1396)/52?
False
Let c(q) be the third derivative of -q**6/40 + 5*q**4/24 + q**3/2 - 5*q**2. Is c(-2) a multiple of 17?
True
Suppose -6 - 14 = -4*z, 4*s + 63 = 3*z. Let t = 44 - s. Does 28 divide t?
True
Suppose -5*l = -u - 26 - 77, -3*u - 99 = -5*l. Does 7 divide l?
True
Let m be -6*(-2 + (-7)/(-3)). Let n be ((-2)/m)/(1/4). Suppose 0 = -9*i + n*i + 235. Is i a multiple of 12?
False
Let c(u) = 36*u**2. Does 4 divide c(1)?
True
Suppose -4*a + 5*w = -125, a + 10 = 2*a + 3*w. Suppose -a = -y - 4*p, 0 = -0*y - 4*y - p + 40. Is y a multiple of 9?
True
Let c = -87 - -131. Is c a multiple of 22?
True
Suppose -224 = -3*c - c. Let a(j) = 2*j - 12. Let d be a(6). Suppose d = -0*k + 4*k - c. Does 8 divide k?
False
Let s(v) = 2*v**2 - 3*v + 2. Let f be s(2). Suppose 3*m + 5*x = 3*x + 21, 0 = 2*m - 2*x - f. Let i = 9 - m. Is i a multiple of 2?
True
Let t(h) = 10*h - 2. Is 28 a factor of t(3)?
True
Let g(o) = o**2 - 2*o - 1. Suppose 2*y = -5*h + 40, 0*y = -2*y - 2*h + 46. Suppose -3*t + y = 2*t. Does 12 divide g(t)?
False
Let g(a) = a**3 + 9*a**2 - 5*a - 10. Does 22 divide g(-8)?
False
Let x(q) = -q**2 - 10*q - 2. Let n be x(-9). Suppose -52 + n = -5*v. Is 2 a factor of v?
False
Let y be (-2)/(-11) - 229/(-11). Suppose -39 = w - 2*c, -132 - y = 3*w + 3*c. Let g = 73 + w. Does 9 divide g?
False
Suppose -112 = -2*h + 104. Does 13 divide h?
False
Let j(b) = b**2 + 5*b + 3. Let n(h) = h**2 + 4*h + 3. Suppose -2*q + 4 = -3*q. Let o(u) = q*j(u) + 5*n(u). Is 13 a factor of o(-6)?
True
Suppose 100*c + 1210 = 105*c. Is 22 a factor of c?
True
Suppose -3*v + 0*v + 96 = -3*g, -2*v + 5*g + 64 = 0. Is 16 a factor of v?
True
Let g(l) = -9*l + 7. Is 12 a factor of g(-5)?
False
Let n = 85 + 112. Does 17 divide n?
False
Let q(g) = -g**3 - 4*g**2 - 2*g - 1. Let d = -7 - -3. Let i be q(d). Suppose -2*j - 110 = -i*j. Is j a multiple of 11?
True
Let l(y) = -y**2 - 7*y + 7. Let p(x) = -2*x + 4. Let f be p(6). Let o be l(f). Does 4 divide 2*o/2*-7?
False
Let i = 2 - 0. Let t = i - 2. Suppose 0 = -5*l - 25, 7*g - 4*g + l - 1 = t. Is g even?
True
Let g = 15 - -1. Suppose g = s - 0. Is s a multiple of 16?
True
Let z(x) = -x + 14. Let p be z(7). Suppose -4*a + p*a = -v + 10, -4*v - 30 = -2*a. Is a a multiple of 2?
False
Let a = 20 - -1. Let c = 56 - a. Is 23 a factor of c?
False
Suppose -64 = -12*u + 10*u. Is 12 a factor of u?
False
Is 33/44 - 117/(-4) a multiple of 3?
True
Does 31 divide (-24)/6*-1 + 213?
True
Let m = 18 + -8. Let o = -5 + m. Does 2 divide o?
False
Let t = -1 + -4. Let p(j) = j + 4. Let i be p(6). Let f = i + t. Does 5 divide f?
True
Suppose 3*q - 8 - 1 = 0. Suppose -3*u - 5*n + 318 = 0, -2*n + 5*n - 312 = -3*u. Suppose -w = q*r + w - 67, 4*r - u = -5*w. Is 7 a factor of r?
False
Let y(j) = -12*j - 8. Let s be (3/(-6) - -1)*-12. Is 22 a factor of y(s)?
False
Suppose 44*m = 45*m - 58. Does 29 divide m?
True
Is 50 a factor of -4 + (-78)/(9/(-24)*2)?
True
Let p = -58 - -10.