Is 3 a factor of z?
True
Is 9/15 - (-24)/10 a multiple of 2?
False
Let y = 91 - 21. Is y a multiple of 14?
True
Let w = -173 + 254. Let a be (33/(-9))/(3/w). Is a/((-3)/1) + 2 a multiple of 10?
False
Suppose -2*l = 3*l - 100. Does 4 divide l?
True
Let v = -7 - -34. Let d = -15 + v. Does 5 divide d?
False
Suppose -m + 0*m = 4*l - 845, -5*m = 5*l - 1075. Is 10 a factor of l?
True
Let z(v) be the third derivative of v**4/24 + 5*v**3/3 - 3*v**2. Let a be z(-5). Is 13 a factor of (-2)/5 + 242/a?
False
Let h(w) be the first derivative of -1 + 20*w - 1/2*w**2. Does 9 divide h(0)?
False
Let a(f) = -f**2 - 8*f + 10. Is 10 a factor of a(-8)?
True
Let r(j) = j**3 - 2*j**2 - j + 3. Suppose -y + 6*y - 15 = 0. Does 4 divide r(y)?
False
Let s = 288 + -18. Does 45 divide s?
True
Is (-1)/(-2*(-2)/(-124)) a multiple of 10?
False
Let m(x) = x**3 + 4*x**2 + 2*x. Let w be m(-2). Is 6 a factor of (-20 + w)*-2 + -4?
False
Let m be ((-13)/(-1))/(3/6). Suppose -y - 3*r + 6*r = -m, 78 = 3*y + 3*r. Does 13 divide y?
True
Suppose -k + 0*h = -2*h - 13, 3*k + 3*h = 30. Is 11 a factor of k?
True
Let a be (0 - -5)*3/(-5). Does 19 divide (21/6 + a)*62?
False
Let o(s) = 3*s + 8. Is 10 a factor of o(11)?
False
Let h = 5 - 11. Is ((-8)/h)/((-4)/(-30)) a multiple of 4?
False
Suppose 0 = -3*z + 1 + 11. Let s = z + -4. Does 6 divide 1*(s/1 + 12)?
True
Suppose -f + 2*o + 144 + 0 = 0, 0 = 2*f - o - 276. Does 34 divide f?
True
Let f = -4 + 10. Suppose -4*x + 2*u - 4 = f*u, -2*x - 9 = -5*u. Is 19 a factor of (-16)/(-1) - (x - 1)?
True
Is 17 a factor of 16*(-2 + (-75)/(-12))?
True
Suppose -4*q + 590 = q. Is q a multiple of 24?
False
Let d = -10 - -14. Suppose y = -0*q - d*q, 0 = 4*y + 5*q - 44. Does 4 divide y?
True
Let z be 4/((-4)/(-89)) + 3. Suppose -4*n + n = 2*j - z, -5*j = -n + 8. Is n a multiple of 6?
False
Let o(a) = 2*a**2 + 4*a - 5. Does 3 divide o(2)?
False
Let a(i) = i**3 - 8*i**2 + 6*i - 11. Let h(j) = j**3 - 7*j**2 + 5*j - 10. Let w(b) = -5*a(b) + 6*h(b). Is w(4) a multiple of 15?
False
Suppose -2*x - 84 = -3*x. Suppose 3*u = x + 102. Is 16 a factor of u?
False
Let x = 184 - 109. Does 6 divide x?
False
Is 5 a factor of 2*1*(14 + 9)?
False
Let z = 116 - 62. Suppose 0*n - 2*n - 5*q + z = 0, -4*q = 5*n - 169. Suppose -n + 13 = -t. Is 12 a factor of t?
True
Let h(o) = -o**2 + 2. Let c be h(0). Let w be (-5)/(-10) + c/(-4). Let f = w + 4. Is f a multiple of 3?
False
Suppose 0 = 2*n + 4*n - 72. Is n a multiple of 4?
True
Let l(d) = 6*d**2 - d - 2. Let j be (-6)/(-15) - (-17)/(-5). Is l(j) a multiple of 12?
False
Let t be 5 + (-2)/(0 - -1). Suppose 3*h - 14 - 7 = -t*n, 5*h - 2*n = 14. Is 13 a factor of h*(3 - 21/(-6))?
True
Let j(l) = -l**2 + l. Let v be j(-3). Let z = 20 + v. Suppose -2*m + 0*a = -5*a + z, m - a - 2 = 0. Is m a multiple of 6?
True
Is 2822/12 - (5/6)/5 a multiple of 41?
False
Suppose 4*a + i = 125, i = 5*a - i - 153. Does 8 divide a?
False
Let u(z) = z**3 + 16*z**2 - z - 10. Is u(-16) a multiple of 2?
True
Let q(a) = 4*a**3 + 2*a**2 - 2. Let d be q(2). Let g = d + -65. Let b = g - -51. Is b a multiple of 12?
True
Suppose -5*o = -8*o + 171. Is o a multiple of 24?
False
Let t(c) = c**3 - c**2 - 2*c. Let o be t(3). Let y be (-2)/8 + (-177)/o. Let d = -3 - y. Is 5 a factor of d?
False
Let d(k) = k + 8. Let y be d(-6). Let v be (-1 + -1)*(3 - y). Is 12 + -2*v/(-2) a multiple of 5?
True
Suppose 2*o + 170 = 4*h, -h - 3*o + 29 = 4. Suppose -h = -5*q + q. Is 10 a factor of q?
True
Let n(w) = -w**3 - w**2 - w + 3. Let m be n(0). Suppose q - m*q = 2. Is q*(-1 + 3) + 7 a multiple of 4?
False
Let n(i) = -i**2 - 4 + 2 + 5*i + 10. Is n(5) a multiple of 8?
True
Suppose 3*t + 2*t = 2*l - 13, -2 = -3*l + 4*t. Let q = -2 - l. Suppose 3*s + 152 = 5*m, -q*m - 2*s = 2*s - 96. Is 14 a factor of m?
True
Let i(q) = 2*q**2 - 3. Let z be i(-4). Suppose 2*l = 9*h - 4*h + z, l + 5*h = 52. Let o = 9 + l. Is 12 a factor of o?
True
Does 7 divide (-2)/9 - 1016/(-36)?
True
Suppose l = -5*c + 11, 2*c + 2*l = c - 5. Suppose h + 34 = -4*h + 3*q, c*h + 12 = -q. Let k(g) = -g**3 - 5*g**2 - 2*g - 6. Does 3 divide k(h)?
False
Let v = 9 - 13. Is ((-74)/v)/(1/2) a multiple of 11?
False
Suppose 2*f - 93 = 303. Does 18 divide f?
True
Suppose c = 4 - 0. Suppose p - 1 = -2*d + 5, -c*p + 17 = d. Is 4 a factor of p?
True
Suppose -2*o + 70 = 3*o. Does 14 divide o?
True
Let n(v) = -14*v**3 + 2*v**2 - 3*v - 3. Let g be n(-2). Suppose -3*k = -9*k + 408. Let f = g - k. Is 23 a factor of f?
False
Suppose -4*m + i = 137, 3*m + 38 = -5*i - 36. Let d be 8*((-700)/(-16))/7. Let x = d + m. Does 17 divide x?
True
Is 7 a factor of (-8)/(-6)*-9*-3?
False
Let a be (-1)/(-2)*16/2. Suppose -3*v - 169 - 176 = -a*z, -v + 249 = 3*z. Suppose -26 = -0*t - 2*t - 3*p, 4*t = 2*p + z. Is t a multiple of 8?
False
Let k(a) = a**3 - 9*a**2 + 9*a + 4. Let g be k(7). Let h = -10 - g. Is h a multiple of 6?
False
Let u(m) = -2*m - 4. Let t be u(-3). Suppose t*w = -1 + 9. Is 2 a factor of w?
True
Let j(y) = -4*y + 1. Let c be j(-1). Suppose c*l = 94 - 34. Is 12 a factor of l?
True
Let p = 13 + -10. Does 2 divide (1 - 5)/((-2)/p)?
True
Let t(p) = 2*p**3 - 4*p**2 + 4*p - 3. Let i(c) = c**2 + 9*c + 10. Let j be i(-8). Let g be t(j). Suppose 2*w + 4*l = -8, -g*l + 5 = 5*w - 0*l. Does 6 divide w?
True
Let l = -395 - -705. Does 31 divide l?
True
Suppose -4*z = -2*d + z + 11, 2*d - z = -1. Let s be 1/((-75)/(-39) + d). Is -1 + 0 + (-2 - s) a multiple of 5?
True
Let x(j) be the first derivative of -j**4/12 + 2*j**3/3 - j**2 - 2. Let l(n) be the second derivative of x(n). Is 6 a factor of l(-4)?
True
Let x(k) = -k**3 + 9*k**2 - 2*k + 2. Let f be x(10). Let n = 170 + f. Does 18 divide n?
False
Let q(c) be the first derivative of c**2/2 + 4*c - 2. Let o be q(0). Let a(h) = -h**3 + 8*h**2 - 7*h + 4. Is a(o) a multiple of 20?
True
Let c(h) = -h**2 + 3*h - 2. Let i be c(4). Is 19 a factor of -95*(i/5)/3?
True
Let r(m) = m - 18. Let w(n) = -4*n**2 + 2*n + 3. Let x be w(-2). Let h(q) = 6. Let a(t) = x*h(t) - 6*r(t). Does 16 divide a(-6)?
False
Let h = 42 - -59. Suppose 3*i = -0*i + 4*y + h, -i + 59 = 5*y. Suppose 3*t - 54 = i. Is t a multiple of 24?
False
Is 5 a factor of (-6)/8*-4 + 10?
False
Let t = 1278 - 814. Is 68 a factor of t?
False
Let p be 10/(-40) - 843/4. Let l = -105 - p. Is l a multiple of 28?
False
Let z be (-258)/(-36) - 1/6. Suppose -i + 5 = -z. Does 12 divide i?
True
Suppose 3*y = 8*y. Suppose 2*k - 8 = y, -2*k = 2*v - 18 - 36. Is v a multiple of 9?
False
Suppose -2*q + 166 + 20 = 0. Is 31 a factor of q?
True
Suppose 5 = 3*s - 1. Suppose s*x - 10 = -0. Is 5 a factor of x?
True
Suppose -z = -9*o + 4*o - 69, -4*z + 310 = -3*o. Suppose 3*g - 2*g = -z. Let p = 115 + g. Does 13 divide p?
False
Let l(j) = -8*j - 1. Is l(-7) a multiple of 11?
True
Is 13 a factor of (8/12)/(8/156)?
True
Suppose 4*d - 2*d = 3*n - 71, -5*d = -n + 15. Is n a multiple of 5?
True
Suppose p - 1 = 1. Suppose n = -p*n + 21. Is n a multiple of 4?
False
Let c be -2 + 6/(4/(-2)). Let x(n) = 4*n**3 + n**2 + 3*n - 1. Let t(z) = -5*z**3 - 4*z + 1. Let l(w) = c*t(w) - 6*x(w). Does 5 divide l(6)?
False
Let j = 1 + -2. Let w(c) = -10*c - 1. Is w(j) a multiple of 7?
False
Let h(w) = w**2 + 1. Let o be h(2). Suppose o*f = 8*f - 9. Is 3 a factor of f?
True
Suppose t - 20 = -h, 3*h + 15 = 4*t + 40. Let n = 19 + h. Is n a multiple of 9?
False
Let n(t) = -t**3 - 9*t**2 + 22*t - 12. Does 52 divide n(-12)?
True
Suppose -3*q = 70 + 143. Let z = q + 131. Does 20 divide z?
True
Let y = 0 - 20. Let j be 1/(-5) - (-36)/y. Is (3 + j)*(-98)/(-2) a multiple of 18?
False
Suppose -m + 10 = -0*m. Does 4 divide m?
False
Let m = -2 + 3. Let d = m - 0. Let t = d - -1. Is t a multiple of 2?
True
Let b = -54 - -79. Is 25 a factor of b?
True
Let g = 17 + -10. Suppose u + 7 = l - u, l = u + g. Does 7 divide l?
True
Let k = -4 - -8. Suppose -s = s - k. Is (-44)/(-12) - s/3 a multiple of 3?
True
Suppose 2*k = 1 + 51. Let o = -2 + k. Does 12 divide o?
True
Suppose 2*g = 3*l - 6*l + 14, 2*l - 12 = -2*g. Suppose -g*p = -0*p + 5*q - 126, 0 = -3*p - 5*q + 97. Suppose -5*o = -p - 121. Is o a multiple of 15?
True
Let x(l) = -2*l**3 - 4*l**2 + 2. Let v = -1 + 3. Let m be v*(2 + 14/(-4)). Is 10 a factor of x(m)?
True
Suppose 5*a - 2*a - i - 149 = 0, 67 = a + 4*i. Does 7 divide a?
False
Suppose -4*r = -2*a + 56, -6*a