 = -188. Is u a multiple of 22?
True
Let w(g) = -17*g + 8. Does 19 divide w(-4)?
True
Suppose -o - 74 = -30. Is 6 a factor of (-3)/((-6)/o)*-1?
False
Let z = 7 + -5. Let x be (z/(-4))/(2/(-12)). Suppose -103 = -x*f + 5. Does 18 divide f?
True
Suppose 0 = 3*t + 7 - 1. Does 17 divide (-17)/(-3)*(-6)/t?
True
Let a(c) = -10*c - 1. Is 18 a factor of a(-4)?
False
Let o = 39 + -15. Does 6 divide o?
True
Suppose -3*v - 34 = 11. Is 13 a factor of ((-78)/v)/((-1)/(-5))?
True
Let f = 1 + -7. Let w = 1 - 1. Let j = w - f. Is j a multiple of 3?
True
Let d be (-6)/(-8) - 243/(-12). Let x = d - 3. Is 15 a factor of x?
False
Suppose z - 31 - 7 = 0. Is 3 a factor of z?
False
Suppose b - 4*b + 429 = 3*f, b - f = 135. Is 15 a factor of b?
False
Does 11 divide ((-3)/9)/((-2)/726)?
True
Let r = -13 - -13. Is 2 a factor of 5/(-15)*(-30 + r)?
True
Let h(v) = -v**2 - 8*v - 7. Let m be h(-7). Let l(k) = k + k**3 + 0*k + 4 + m*k - 3*k**2. Does 10 divide l(4)?
False
Does 4 divide (-15 + -5)*(-1)/2?
False
Let r = 178 + -296. Let o = -74 - r. Is o a multiple of 22?
True
Suppose 2*i + 42 = 2*s, s - 80 = -3*s + 3*i. Does 12 divide s?
False
Suppose 0*y + 2*y = -3*i + 106, y = 2. Does 17 divide i?
True
Suppose 5*w - 70 = -2*s, 5*w - 5*s - 14 = 21. Let n be w*5/12*3. Suppose 4*y - 42 = 3*v, -5*y + v = -43 - n. Is y a multiple of 8?
False
Let n(s) = -s**2 + 4*s + 5. Let u be n(5). Let v = 21 - u. Suppose -o - 2*o + v = 0. Does 6 divide o?
False
Let c(i) = -15*i + 7. Does 33 divide c(-4)?
False
Let n(y) = -y + 2 + 2 - 6. Let d = -43 - -38. Is n(d) even?
False
Let k = -1 + -3. Is 6 a factor of (14/(-8))/(1/k)?
False
Let q(s) = -5*s**2 - 2*s - 1. Let f be q(-1). Let n(o) = -o**3 - 4*o**2 - o - 1. Let x be n(f). Suppose -x*k + 116 = k. Is k a multiple of 12?
False
Suppose f - 106 = -2*x, 5*f + 5*x + 19 = 554. Does 12 divide f?
True
Suppose 3*o - 88 = 4*t + 68, -2*o = 2*t - 90. Is 10 a factor of o?
False
Let x(i) = -i**2 + 7*i - 3. Let l be x(5). Suppose l - 19 = -j. Is j a multiple of 12?
True
Suppose 0*q = -5*q + 20. Let h = q + 0. Is 2 a factor of h?
True
Suppose 1 = k + 8. Let t(r) = -r**2 - 9*r - 6. Let i be t(k). Suppose j - i = -j. Is j even?
True
Let x(s) be the third derivative of 0*s**3 + 0*s - s**2 + 1/12*s**4 + 0. Is 6 a factor of x(3)?
True
Suppose 3*h - 1 = -4*q - 4, h + 3*q + 6 = 0. Suppose 4*m = w + 80, -5*m + 4*w + 93 = w. Suppose r + i = h, -2*r + m = 2*r + i. Does 3 divide r?
True
Let d(y) = 29*y**2 - 2*y + 1. Let f be d(1). Suppose -2*c - 10 - f = 3*g, -2*c + 2*g = 58. Let q = -13 - c. Is q a multiple of 7?
False
Suppose -3*p = -204 - 3. Is 23 a factor of p?
True
Suppose -10 = d + 2*h - 30, -h - 88 = -3*d. Is 7 a factor of d?
True
Suppose 5*l - 217 - 38 = -5*p, 305 = 5*p - 5*l. Is p a multiple of 14?
True
Let n be 3 + -2 + -1 + -1. Is 13 a factor of -6 + 4 + n + 39?
False
Let y = -27 - -62. Is y a multiple of 9?
False
Suppose -3*r = 2*p - 7, -12 - 6 = -3*p + 3*r. Is 18 a factor of p/(-10) + 115/2?
False
Suppose 0 = 2*j - 7*j + 145. Let k = -16 + j. Does 2 divide k?
False
Let u(m) = 3*m**2 - m. Let n = -5 - -8. Is u(n) a multiple of 12?
True
Suppose -4*g - 3 = 3*k, -4*g - 5*k = 2 + 3. Suppose 4*s + 0*q + 4*q + 28 = g, 4*s + 3 = q. Let a = 16 + s. Is a a multiple of 14?
True
Suppose 4 = -3*b + 40. Suppose -4*a - b - 12 = 0. Is 2*((-435)/a)/5 a multiple of 11?
False
Suppose 0 = -2*x - y + 171, -14 = -4*y + 6. Is 20 a factor of x?
False
Suppose -12*q + 508 = -536. Does 21 divide q?
False
Suppose -32 = -4*h + 20. Does 13 divide h?
True
Suppose d + 3*d = 276. Is 19 a factor of d?
False
Suppose -10 - 10 = -4*o. Suppose o*z + 20 = 0, 0 = -3*s + 2*s + 3*z + 24. Is 6 a factor of s?
True
Suppose 2*c + 48 = -4*q, 0 = -q - 2*q - 12. Let o(p) = p**3 - 3*p**2 - 4*p + 6. Let b be o(5). Let u = c + b. Is 20 a factor of u?
True
Let c be (-2770)/60 + (-2)/(-12). Let j = -20 - c. Does 12 divide j?
False
Let l = 12 - 8. Suppose 31 = l*g - 29. Does 5 divide g?
True
Let w(u) be the first derivative of u**3/3 - 3*u**2 + u - 1. Let a = 28 - 21. Does 4 divide w(a)?
True
Let k be (57/12)/((-2)/(-24)). Let w = k - 41. Does 12 divide w?
False
Let g = 384 - 167. Is 10 a factor of g?
False
Suppose -30 = -2*z - 5*v, -2*z - 3*z + 17 = -2*v. Suppose -b = -z*b + 16. Suppose -34 - 6 = -b*p. Is 5 a factor of p?
True
Suppose 0 = -0*f - 5*f + 405. Suppose 3*m = -0*m + f. Does 6 divide m?
False
Let j(v) = 144*v**2 - 1. Is 28 a factor of j(-1)?
False
Let p(g) = -g + 10. Let q be p(7). Suppose -q*c + 0*c + 117 = 0. Suppose -9 = -4*l + c. Is l a multiple of 8?
False
Suppose 7*m - 324 = -2*m. Is m a multiple of 9?
True
Let i be -2 + ((-20)/(-2) - 3). Is (i - 3) + -1 + 5 a multiple of 2?
True
Let x(o) = o**2 - 3*o + 1. Let h be x(4). Suppose 3*m - 106 + 37 = -h*j, 0 = j + m - 13. Is 7 a factor of j?
False
Let b = -11 + 48. Is 24 a factor of b?
False
Let g be -5*(72/(-10))/3. Let y(j) = j**2 - 10*j + 12. Let z be y(8). Let x = z + g. Is x a multiple of 8?
True
Let b be 3*3*3/9. Suppose b*a - 4*r + 226 = r, 0 = -2*a + 2*r - 148. Let z = a - -102. Is z a multiple of 15?
True
Let i(u) = u**3 + 7*u**2 + 4*u + 1. Is i(-6) a multiple of 6?
False
Is 12 a factor of -4 - ((-10)/5 - 63)?
False
Let r(n) be the second derivative of 2*n - 1/3*n**3 + 0 + 1/2*n**5 + 1/6*n**4 + 1/2*n**2. Does 9 divide r(1)?
False
Let c(y) = 8*y**3 + 2*y**2 - y + 2. Does 10 divide c(2)?
False
Let x = -3 - 2. Let i = x - -7. Does 2 divide i?
True
Let g = -2 - -2. Suppose -2*j - j + 33 = g. Is j a multiple of 6?
False
Suppose -q = -4*l + 55, 2*l - 58 = -4*q - 8. Suppose 6*o - l = o. Suppose o*b + c = -b + 11, -5*b - 5*c + 10 = 0. Is 3 a factor of b?
True
Let i = -310 + 440. Is i a multiple of 26?
True
Suppose -8 + 109 = 5*d + p, 41 = 2*d + p. Let h = d - -16. Does 12 divide h?
True
Suppose m - 9 = 2*m + 4*j, 3*m = j - 79. Let q be (-10)/m - 18/(-5). Suppose -70 = -5*v - 5*f, -v - 19 = -2*v + q*f. Is 15 a factor of v?
True
Suppose -4*h + 53 + 191 = -5*l, -4*h - 2*l + 272 = 0. Is 8 a factor of h?
False
Let q(c) = -4 + 4*c**2 - 2*c**2 - 1 - 8*c + 0*c**2. Is q(6) a multiple of 12?
False
Suppose -2*w = -s - 63, 4*s + 23 + 49 = 2*w. Suppose 0 = -3*o + 4*z + 60, -3*o = 3*z - w - 51. Does 12 divide o?
True
Let i be 14/8 - (-1)/4. Let g(q) = 4*q**3 - 2*q**2 + 2*q - 2. Is 7 a factor of g(i)?
False
Suppose o - 5*d = 339 - 39, 0 = 5*o + d - 1370. Does 25 divide o?
True
Let m be (-28)/20*(1 + -6). Let p = m - -5. Is 6 a factor of p?
True
Let q = 27 - -1. Let r = q - 15. Is 12 a factor of r?
False
Let j be (-5)/(-25) - (-198)/10. Suppose -2*a = -5*t - 1 - j, 0 = -a + 4*t + 12. Does 8 divide a?
True
Suppose -4*a = 5*f - 437 - 337, -5*f = -4*a + 794. Is a a multiple of 49?
True
Let s be 4/20 - 162/(-15). Let i = s + 19. Is i a multiple of 10?
True
Let z be (-4)/6*(349 + -1). Let b = z + 362. Suppose -5*r + b = -0*r. Does 16 divide r?
False
Let y = 1 - -3. Suppose j - 2*j = y*d + 10, -4*d - 18 = -3*j. Suppose -3*k - j*k = -90. Does 8 divide k?
False
Let m = -253 - -429. Is 11 a factor of m?
True
Suppose 69 = 5*g + 4. Does 13 divide g?
True
Let i(y) = -y**3 + 11*y**2 + 2*y - 14. Is i(11) a multiple of 8?
True
Let m(i) = 34*i**2 - 28*i - 6. Does 48 divide m(-3)?
True
Let r = -26 - -30. Does 4 divide r?
True
Let j(h) = -2 + 7*h - 2*h - 1 + 11*h. Is j(2) a multiple of 29?
True
Let i be (18/(-10) - -1)*5. Does 4 divide (2 - -11) + (i - -1)?
False
Let u(m) = 2*m**2 - 9*m + 12. Is u(8) a multiple of 19?
False
Let x(a) = 2*a**2 - 2*a + 6. Is x(-5) a multiple of 22?
True
Let b(o) = 2*o**2 + 7*o - 4. Let r(x) = 3*x**2 + 13*x - 8. Let l(a) = 7*b(a) - 4*r(a). Is l(5) a multiple of 20?
False
Let l = 21 - -2. Does 13 divide l?
False
Let p(k) = k**3 + 4*k**2 + 4. Let a be p(-3). Does 10 divide (-3)/(1 + a/(-10))?
True
Suppose 0 = -7*a + 193 + 521. Is a a multiple of 18?
False
Suppose -3*m + 148 = 5*k - 72, 0 = 4*m + k - 299. Is m a multiple of 23?
False
Suppose -4*m - 5*q = 8, 2*m - 6*q = -q + 26. Does 3 divide m?
True
Let n be 2 + (1 - (2 - 1)). Let h = -131 + 321. Suppose 0 = -n*q - 3*q + h. Is 19 a factor of q?
True
Let p = -15 + 23. Does 8 divide p?
True
Suppose k = -1, 4*g - k - 8 = 25. Is g a multiple of 7?
False
Let k(q) = 4*q**3 + 3*q - 3. Is 15 a factor of k(2)?
False
Is 704/112 + (-4)/14 a multiple of 6?
True
Let u(z) = 3*z - 4. Suppose 13 = -5*i + 53. Let v =