0 - (1 - -2))?
False
Is 9 a factor of (-502)/(-8) + (-8)/(-32)?
True
Suppose 0 = -z + 1, 0*z + 3*z = -3*n + 9. Suppose 0*a + n*a = 64. Does 16 divide a?
True
Let j = 159 - 149. Is 2 a factor of j?
True
Let q = -2 + 5. Let z(n) = 0*n + 3*n - q*n - 3*n. Is 6 a factor of z(-6)?
True
Suppose -27 + 3 = -3*d. Does 3 divide d?
False
Let t(n) = n**3 + 10*n**2 + 12*n + 3. Let b be t(-8). Suppose 0*i + 5*i = b. Is 7 a factor of i?
True
Let n(w) be the first derivative of w**4/4 - 5*w**3/3 - 5*w**2/2 - 5. Is n(6) a multiple of 4?
False
Let m(u) = -7*u**2 - 20. Let g(h) = 6*h**2 + 20. Let q(o) = 6*g(o) + 5*m(o). Suppose 4*a = -0*a. Is q(a) a multiple of 10?
True
Suppose -5*f = 0, -3 = -2*c - 5*f + 1. Suppose 3*i + 3*p = -0*i + 234, c*i - 147 = p. Does 25 divide i?
True
Suppose 2*l - 717 + 241 = -2*u, 0 = 2*u - 4*l - 488. Is u a multiple of 32?
False
Let q(k) = 11*k**3 - 5*k**2 + 21*k + 14. Let x(d) = 5*d**3 - 3*d**2 + 10*d + 7. Let t(c) = 4*q(c) - 9*x(c). Let p be t(5). Suppose 2*g = 1 + p. Does 3 divide g?
False
Suppose -60 - 12 = -g. Is g a multiple of 24?
True
Is 50 a factor of ((-8)/(-12))/(1/225)?
True
Let j(n) = -6*n**2 - n - 1. Let t be j(-1). Is 1 + 1 - (-32 + t) a multiple of 20?
True
Let z(c) = 5*c**2 - 1. Is z(1) a multiple of 4?
True
Let f be (0 - 1) + 0 + 29. Is 16 a factor of -2 + -2 + f + -3?
False
Suppose 11*q + 12 = 628. Does 14 divide q?
True
Let g(x) = -8*x**2 + 6*x - 4. Let c(p) = 17*p**2 - 12*p + 9. Let k(i) = -4*c(i) - 9*g(i). Is k(4) a multiple of 20?
True
Let c(x) = -x**3 + 12*x**2 + 12*x + 18. Is 5 a factor of c(13)?
True
Suppose 0 = d + 5*r - 3, -2*r - 2*r = 0. Let j(s) = -7 - 5*s**2 - 6*s + 3*s**2 + s**d - 2*s**2. Is j(6) a multiple of 13?
False
Suppose 5*p - 31 = -11. Suppose -5*z = -10*z - w + 30, 3*w = -p*z + 24. Does 5 divide z?
False
Let f = 36 - 59. Let y = 14 - -19. Let p = y + f. Is p a multiple of 10?
True
Let k be 16/(-5) - 5/(-25). Is (k/2)/(3/(-6)) a multiple of 2?
False
Let x = 2 + 0. Suppose -m + 1 = x*z - 23, z - 18 = -2*m. Is 10 a factor of z?
True
Does 21 divide -2 + 255 - (-2 + 3)?
True
Let f(s) = 11*s**3 + s**2 - s. Let q be f(2). Suppose -n = 24 - q. Suppose -h - 2*h + 25 = x, 5*h = 4*x - n. Is x a multiple of 6?
False
Suppose -2*f = f - 99. Does 33 divide f?
True
Let g = -5 - -23. Does 14 divide g?
False
Let k = 15 + -12. Suppose 6*h - 28 = k*h + 2*b, -15 = 3*b. Is 6 a factor of h?
True
Is 24 a factor of (-2)/(-4) + (-2390)/(-20)?
True
Let b = -12 - -23. Let i = 28 - b. Is 17 a factor of i?
True
Let y be (-1)/(2 - 5/2). Suppose -i = -y - 8. Is i a multiple of 4?
False
Let p(c) = -c**2 + 36*c + 5. Is p(25) a multiple of 28?
True
Let p(h) = 2*h**2 + 3. Let j(x) = 4*x**2 + 5. Let n(v) = 4*j(v) - 7*p(v). Let r be n(-2). Suppose 0 = -b + 17 - r. Does 10 divide b?
True
Let v(k) = -3 + 1 + k**2 + 3*k**2 - 3*k**2 - 3*k. Is 26 a factor of v(7)?
True
Let v = -40 + 70. Is 30 a factor of v?
True
Let r = 80 + -49. Does 14 divide r?
False
Let x(d) = -d**3 - 7*d**2 - 3*d + 6. Let j be x(-6). Let s = 68 + -34. Let a = j + s. Is 7 a factor of a?
False
Let i = -9 - -12. Suppose i*a = a + 26. Is a a multiple of 10?
False
Suppose 80 = 4*p - 3*p. Is p a multiple of 10?
True
Let i = 70 - 36. Is 34 a factor of i?
True
Suppose -578 = -7*x + 52. Does 5 divide x?
True
Let y(j) = 2*j**3 + j - 5*j + 0 + 1 + 1 + 3*j**2. Is 8 a factor of y(2)?
False
Let s be (-4)/(-10)*(15 + -10). Suppose 5*r + 6 - 67 = -s*f, 9 = 3*f. Is 5 a factor of r?
False
Let v(j) = -j**3 + 19*j**2 + 5*j - 42. Does 7 divide v(19)?
False
Let y(s) = s**3 + s. Let v(x) = -x**3 + 4*x - 1. Let p(u) = -v(u) + 4*y(u). Let c be p(1). Suppose -j = -0*j - c. Is 6 a factor of j?
True
Let n(b) = 50*b**3 - b**2 + b - 1. Let o be (-1 + 0)*(-5 - -4). Is n(o) a multiple of 23?
False
Suppose -17*d = -15*d - 262. Is d a multiple of 27?
False
Suppose 0*s = -2*s. Suppose s*w + 3*w = 33. Is w a multiple of 10?
False
Suppose 3*k - 11 = x, 0 = -5*k + 33 - 8. Suppose 53 = x*z - 35. Let r = z + -15. Is r a multiple of 7?
True
Let p = 408 + -243. Suppose -5*s + 95 = -p. Is 13 a factor of s?
True
Let j = 2 - -1. Suppose -4*d + 134 = m + 2*m, -204 = -5*m + j*d. Suppose -3*u + 91 = 4*y - 2*y, u + 3*y = m. Is u a multiple of 13?
False
Suppose 90 = -l + 4*l. Let r = l + 4. Is 22 a factor of r?
False
Let u(o) = -o**3 + 6*o**2 - 4*o + 2. Let h be u(4). Suppose -4 = -2*l - h. Does 8 divide 220/14 + (-2)/l?
True
Let p(g) = -g - 712 - 3*g**3 - 7*g**2 + 718 + 2*g**3. Let x(j) = -2*j**2 - 2*j - 3. Let h be x(-2). Is 12 a factor of p(h)?
False
Suppose 3*w + 3*g + 24 = 0, -5*w + 2*w + 5*g = 24. Does 4 divide w/12 + 20/3?
False
Does 10 divide (4 - 7)/(3/(-40) - 0)?
True
Suppose 5*i - 5 = i + v, 0 = -5*i - 2*v - 10. Let d be 4 + i/(9/3). Suppose d*t - 8 = 3*s, 3*t + 7 - 22 = 0. Does 2 divide s?
True
Let d(u) = -u**3 - 2*u**2 + 3*u - 4. Does 4 divide d(-4)?
True
Let a be 1*4/(-4) + -21. Let q = -7 - a. Is 15 a factor of q?
True
Let x = 16 - 18. Let z(u) = -u**2 + 6*u + 4. Let n be z(6). Let y = n - x. Is y a multiple of 3?
True
Suppose 0*c + 3*c = 9. Let i = c - -22. Is 14 a factor of i?
False
Let x(c) = c**2 + 2*c - 1. Let i be x(2). Suppose -4*v + 163 = i. Is 31 a factor of v?
False
Let z = -9 - -45. Let y(j) = -59*j + 1. Let u be y(-1). Let c = u - z. Is c a multiple of 12?
True
Let c(h) = -h**2 - 5*h + 7. Let v(k) be the third derivative of -k**4/6 - k**3/6 + 2*k**2. Let w be v(1). Is c(w) a multiple of 4?
False
Suppose -75 = 4*u - 547. Does 16 divide u?
False
Let x(n) be the first derivative of n**2 - 2*n + 1. Suppose z - 12 = -3*w, -2*w - w - 5*z = -24. Does 3 divide x(w)?
False
Let w(s) = s**2 - 8*s + 7. Let a be w(7). Suppose 4*k + 2*t - 154 = a, -159 = -4*k - 5*t + 2*t. Does 23 divide k?
False
Let z(o) = -2*o**2 - 11*o - 6. Does 3 divide z(-4)?
True
Let t(x) = -x + 8. Let r(v) = -5*v. Let s = -1 + 0. Let n be r(s). Does 3 divide t(n)?
True
Let v(j) = -3*j - 2. Suppose 5*u = 1 - 16. Does 6 divide v(u)?
False
Suppose 2*a - f - 72 = 3*f, -2*a - 4*f = -80. Is 16 a factor of a?
False
Suppose -26*m - 357 = -29*m. Is m a multiple of 11?
False
Let d = 0 + 9. Let h(j) = j + 12. Is h(d) a multiple of 5?
False
Suppose -3*m = -5*s + 3, 5*m - 5*s - 2 = 3. Let w(j) = 0*j + 3*j + 0*j - j. Is 4 a factor of w(m)?
True
Let h(x) = x**2 + x. Let p be h(4). Let s = -14 + p. Suppose -4*u + 11 = -5, -v + 3*u - s = 0. Is 3 a factor of v?
True
Let v = -74 + 94. Is v even?
True
Let f(i) = 0*i - i - 5 - 1. Let t be f(-6). Is 6 a factor of (-11)/(-1*(1 + t))?
False
Suppose 2*c = 3*c - 60. Suppose -6*a + c = -2*a. Is a a multiple of 15?
True
Let r = 8 + -8. Suppose 5*f + 265 = -r*f. Let q = -25 - f. Does 14 divide q?
True
Suppose -2*b + 5*o - 7 = -46, 5*b - 2*o - 45 = 0. Does 2 divide b?
False
Let d = 84 + -41. Suppose c + 16 - d = -5*f, 0 = 4*f - c - 18. Suppose -2*j - 5*v + 32 = 0, 4*j - f*v - 109 + 45 = 0. Is j a multiple of 8?
True
Let n(c) = 27*c + 3. Let l be n(3). Suppose i - 2*i = -l. Let v = -54 + i. Is 13 a factor of v?
False
Suppose 32 = 5*a + 2. Does 24 divide 2/(-3) + 436/a?
True
Suppose -3*f + 116 + 50 = z, -3*f + 6 = 0. Suppose -8 = 4*r, -r - 4*r - z = -5*i. Is i a multiple of 15?
True
Let v be 0/(-1*(-2)/(-1)). Suppose a = f - 9, f + 0*a - 3*a - 19 = v. Is 2 a factor of f?
True
Let r = 9 - 21. Is 15 a factor of 414/r*(-4)/3?
False
Suppose 0 = -5*b + 10 + 100. Is 22 a factor of b?
True
Let t = -3 + 4. Let u = 0 + 6. Let o = t + u. Is 7 a factor of o?
True
Let o = 54 - 21. Is 4 a factor of o?
False
Suppose -5*v - 35 = -2*y, 2*y + 2*v = -0*v. Suppose y*h - 30 = 3*h. Does 5 divide h?
True
Let d(y) = 3*y - 8. Let z be d(5). Suppose 0 = -4*n - r + 29, n - 4*r = 13 + z. Is 8 a factor of n?
True
Suppose -2*l + 0*l = -48. Let h = l - -8. Is h a multiple of 12?
False
Suppose -3*g = 4 - 1. Let s be g - 2 - 48/(-3). Suppose -m - p = -s, 20 = -6*p + p. Is 8 a factor of m?
False
Let c be -3*56/(-6) + 2. Suppose c = j + 3. Suppose 0 = -3*h + j + 27. Is h a multiple of 9?
True
Let i(x) = -3*x + 20. Let g(b) = -2*b + 10. Let w(h) = -5*g(h) + 3*i(h). Does 10 divide w(0)?
True
Suppose 5*d = d + 432. Is d a multiple of 27?
True
Let n be (-4)/(-6) - 25/15. Let r be (-5)/n - 0/(-2). Suppose 0 = -z + 4*z - 3*c - 12, -r*z = -4*c - 20. Is 2 a factor of z?
True
Does 12 divide (-25)/2*(-36)/10?
False
Let t = 4 - 1. Suppose -5*w + 2*m