 1 + (n - 0)?
True
Let a = -9 - -27. Is a a multiple of 18?
True
Suppose 0 = -s - s. Suppose s = 4*c - 118 - 98. Does 17 divide c?
False
Let x(r) = r**2 + 3. Let t be x(-3). Suppose 3*g - t = -g. Suppose 6 = g*a, 2*j + 0*j - 18 = -2*a. Does 4 divide j?
False
Let m(h) = h - 3. Let p be m(5). Suppose -5*v - 1 = -a + 19, -p*a + 12 = 4*v. Is ((-90)/25)/((-2)/a) a multiple of 5?
False
Let h = 79 - 64. Is 5 a factor of h?
True
Let y be (-1)/(-3) + 345/(-9). Let c = -12 - y. Does 13 divide c?
True
Let q(z) = -z**3 + z**2 + 2*z + 1. Let f be q(-1). Let n = 9 - f. Is 8 a factor of n?
True
Let d(r) = 0 + 2*r + 3*r**2 + 0*r**2 - 2. Is d(-2) a multiple of 4?
False
Let l(o) = 3*o**2 - 6*o + 5. Let w be l(4). Let k = w + -21. Does 8 divide k?
True
Let n(z) = 2*z - 19. Does 3 divide n(17)?
True
Let n be 0/(0 - (-2)/2). Suppose 4*c - 105 - 27 = n. Is c a multiple of 12?
False
Suppose -8*n = -n - 154. Is 12 a factor of n?
False
Let p(y) = -10*y. Let q be p(-3). Suppose -4*h - 7 = 1, -5*h - q = 5*g. Let t(n) = n**2 - 6*n - 6. Is t(g) a multiple of 17?
True
Let d = -50 + 25. Let b be d/3 + 2/6. Let g(y) = y**2 + y - 8. Does 24 divide g(b)?
True
Let i = 4 - 2. Is 36 + (-3)/(3 - i) a multiple of 11?
True
Let i(u) = u**3 - u**2 + 2*u - 3. Does 4 divide i(4)?
False
Suppose -4 = -u + 1, -2*q - 5*u + 31 = 0. Let d = 18 - q. Is 5 a factor of d?
True
Let m(f) be the first derivative of -f**3/3 - 7*f**2/2 + 2*f - 1. Suppose -x = 5*w + 27, 0 = -3*w - 5*x + 8 - 33. Is 12 a factor of m(w)?
True
Let h = -233 + 426. Is 13 a factor of h?
False
Let a(z) = -z + 6. Is 3 a factor of a(-15)?
True
Suppose y - 41 = -g - 0*g, y + 2*g = 39. Does 12 divide y?
False
Let d be (-4)/6 - (-4)/6. Let c(w) = 2*w - 17. Let u be c(10). Suppose -u*j + 46 - 19 = d. Is j a multiple of 5?
False
Is (-27)/(-2)*7/((-63)/(-24)) a multiple of 4?
True
Suppose 1767 = 8*j + 407. Is 10 a factor of j?
True
Does 20 divide 6 + 65 + 2 + -3 + 2?
False
Let v(u) = -7*u**3 + 10*u**2 - 14*u + 3. Let d(i) = -4*i**3 + 5*i**2 - 7*i + 1. Suppose 4*l = -0*l + 20. Let o(s) = l*d(s) - 3*v(s). Is 4 a factor of o(4)?
True
Suppose -2 = 3*r + l, 2 + 4 = 3*r - 3*l. Suppose r = -10*s + 11*s - 9. Is 9 a factor of s?
True
Let r(t) = 2*t**3 - 3*t**2 + t. Does 2 divide r(2)?
True
Let r(l) = -l**3 + 7*l**2. Let k be r(7). Suppose -10 = -2*v - k. Is v a multiple of 4?
False
Let h = 161 - 111. Suppose 66 = 2*b + b - 3*z, -2*b + h = z. Is b a multiple of 12?
True
Let z(y) = -y**3 - 14*y**2 + 14*y - 13. Let p be z(-15). Suppose -272 = -p*h - 2*h. Is 10 a factor of h?
False
Let a be 80/(-14) + (-4)/14. Let d be 4 + 0/(a/(-3)). Suppose -2*o - d*s = 0, -8*o + 3*o + 5*s = -30. Does 2 divide o?
True
Suppose 4*j - 4*r = 16, -7*r - 8 = -3*r. Let c = j - 2. Suppose c = 3*g - 40 + 7. Does 9 divide g?
False
Suppose -4*u + 73 = -3*v, 8*v - 3*v - 17 = -2*u. Let w = u + -5. Is w a multiple of 11?
True
Let a = 2 - 2. Suppose 96 + 75 = 3*w. Suppose a*h + w = 3*l - 2*h, 3*l - 57 = 3*h. Is l a multiple of 9?
False
Let m(a) = -a**3 + 7*a**2 + 8*a + 9. Let s(b) = b**3 + b. Let z(r) = m(r) + 2*s(r). Let d be z(-6). Is 9 a factor of 92/5 - (-6)/d?
True
Suppose -4*m = -2*h, 2*m = -4*h + 6*h. Let z = 3 + h. Is 3 a factor of z?
True
Does 15 divide ((-64)/(-10))/(-4 - 21/(-5))?
False
Let n = -1 - -2. Is (-72)/(n - 1 - 1) a multiple of 28?
False
Let y(q) = -3*q - 10. Let a be y(-9). Suppose -2*x - 2*x - 3*b + 31 = 0, -2*x - 3*b + a = 0. Is 7 a factor of x?
True
Let o(w) = -7*w**2 - 21*w - 27. Let n(d) = 4*d**2 + 10*d + 14. Let m(l) = -5*n(l) - 3*o(l). Is m(-13) a multiple of 9?
False
Suppose 3*w + 2*f - 109 = 0, -w = -3*w + 3*f + 51. Does 17 divide w?
False
Let t(y) = -y - 3. Let q be t(-7). Suppose q*x + 1 - 17 = 0. Is 2 a factor of x?
True
Let p be (-3)/3*(4 + -3). Is p + 2 - 25/(-1) a multiple of 13?
True
Suppose -v - 107 = -5*v + 5*m, 4*v - m = 95. Does 3 divide v?
False
Let k be (304/(-95))/((-1)/5). Let p = 23 - k. Does 7 divide p?
True
Suppose 10*h - 14*h = -956. Does 22 divide (-4)/5 - h/(-5)?
False
Suppose u - 3*u + 274 = 4*l, 0 = -u + 3. Let r(c) = c**3 + 5*c**2 + 2. Let q be r(-5). Suppose q*m + 27 + l = 2*p, 4*m = -p + 57. Is p a multiple of 17?
False
Let m = 6 - 1. Suppose -m = -5*i + 5. Suppose -14 = -i*g + 5*u, -g - 14 = -3*g + 3*u. Is g a multiple of 4?
False
Suppose 0 = -3*c + 14 + 16. Is c a multiple of 10?
True
Let k(z) = -z**2 - 17*z - 16. Is k(-13) a multiple of 12?
True
Suppose -3*r = -7*r + 792. Is r a multiple of 33?
True
Let k(m) = m + 3. Let y be k(-3). Let i be 603/63 + 6/14. Suppose y = 2*w - w - i. Is 4 a factor of w?
False
Let d(z) = z**2 - 1 - 5 + 3*z + 1 + 2*z**2. Does 8 divide d(3)?
False
Let r(p) = 5*p - 2. Is r(9) a multiple of 13?
False
Is 6 a factor of 14*5 + 4*(-3)/(-6)?
True
Let w(v) = 2*v**2 + 2*v - 2. Is w(3) a multiple of 5?
False
Let l = 7 - 7. Does 6 divide -2 + (17 - (3 - l))?
True
Let f(o) = 6*o + 14. Let t(n) = -n - 3. Let v(z) = 2*f(z) + 11*t(z). Suppose 5*h = -4*p + 33, -3*h + 5 = 2*h. Does 2 divide v(p)?
True
Let p = -96 - -54. Let j be (((-105)/12)/5)/((-3)/(-12)). Does 10 divide (-138)/j + (-12)/p?
True
Let v(o) = 2*o**2 - 9*o + 4. Is v(6) a multiple of 11?
True
Suppose 4*h = 42 - 6. Let j = h - -6. Is j a multiple of 5?
True
Let d be 1 - -31 - (1 + 1). Let u = -3 + 6. Suppose -u*v + d = -21. Is 11 a factor of v?
False
Suppose -4*p = 157 - 501. Let z = -59 + p. Is (-6)/z - (-137)/9 a multiple of 15?
True
Let j(o) = -5*o - 29. Is 5 a factor of j(-13)?
False
Let a = 1 - 4. Let k(i) be the third derivative of i**5/20 + i**4/6 + i**3/6 - 2*i**2. Is k(a) a multiple of 8?
True
Suppose 2*l = -11*l + 4732. Is 13 a factor of l?
True
Is (66/(-4))/(18/(-168)) a multiple of 22?
True
Let z(x) = -x**3 + 4*x**2 + 4. Let f be z(4). Suppose f*q = -t + 196, q = t - 5*t + 64. Is q a multiple of 24?
True
Let m(d) = d**2 - 2*d - 4. Let s be m(4). Suppose 2*j + s = 3*j. Is j a multiple of 4?
True
Let v(w) = 3*w - 3. Let p be v(-4). Let c be 6/10 + 249/p. Is 11 a factor of (-500)/c - 2/8?
False
Let l be -93 - 2*2/(-4). Is l/(-22) - (-2)/(-11) a multiple of 4?
True
Suppose 0 = -2*k - 3*y + 85, -2*k + 4*y + 120 = -0*k. Suppose 4*s - 3*g - 60 = 5, -2*g = 2*s - k. Does 10 divide s?
True
Suppose -2*c = 5*q - 0*q - 430, c = -q + 221. Is 22 a factor of c?
False
Let a = 2 - 0. Suppose -5*v + 360 = -5*i, 168 = a*v + i + 3*i. Is v a multiple of 13?
False
Let z be (1/(-3))/((-3)/(-9)). Let w be ((-2 + 1)*10)/z. Suppose -w - 1 = -h. Does 7 divide h?
False
Let t(c) = -c**3 - 9*c**2 + 6. Let q be 1/(30/(-27) - -1). Is t(q) a multiple of 3?
True
Let x = 0 + 2. Suppose 0 = n - 6*n + 90. Let p = n + x. Does 10 divide p?
True
Suppose -5*w - 7*h + 4*h = -33, 4*h = 3*w - 43. Is w a multiple of 3?
True
Let p(v) = 3*v - 2. Let d be p(6). Is 6 a factor of -3 + 8 + -2 + d?
False
Let c be ((-1)/(-2))/(2/688). Suppose c = 5*y + 42. Is 15 a factor of y?
False
Let s(t) = t**2 - t - 7. Let r(f) = -f - 4. Let c be r(-11). Is s(c) a multiple of 17?
False
Let a(j) = -10*j - 9. Does 10 divide a(-5)?
False
Let q = 14 + -10. Suppose h + q = 11. Is h even?
False
Let d = -4 - -3. Let i = 3 - d. Suppose -5*x + 10 - 35 = 0, -i*a = 2*x - 14. Is a a multiple of 4?
False
Let y be (-22)/6 + 2/(-6). Let z = -2 - y. Suppose -5*b - z*o + 35 = -7*o, -19 = -b - 5*o. Is 4 a factor of b?
False
Suppose 0 = 3*r - 2 - 4. Suppose -4*n - f = f - 8, 0 = -r*f. Suppose 102 = 4*k + 6*d - d, -k + 32 = -n*d. Is k a multiple of 14?
True
Let v(d) = 3*d**2 + 6*d - 7. Let s be v(-5). Let k = s + -77. Let q = k + 73. Is q a multiple of 12?
False
Let s = -3 + 3. Does 11 divide s/(0 - -1) + 26?
False
Let f(p) = 169*p**3 + 2*p**2 - 3*p + 2. Is f(1) a multiple of 9?
False
Suppose 3*c - 6*c + 6 = 0. Suppose 0 = -c*h - 4*h + 48. Is h a multiple of 8?
True
Let k = 8 - 8. Suppose 0 = 4*p - 2*r - 119 + 25, 19 = p - 5*r. Suppose k = 4*f - 0*f - p. Is f a multiple of 5?
False
Let q(s) = -s**2 + 10*s - 6. Let i be q(8). Let h(u) = 2*u - 11. Is 9 a factor of h(i)?
True
Suppose 3*v - 2*x = -0*v + 122, 5*v + x = 199. Suppose 4*m + m - v = 0. Suppose -3*c = -m*c + 30. Is c a multiple of 3?
True
Suppose 2*n - 2*w = 110, 2*n - 170 = 3*w - 65. Is 10 a factor of n?
True
Let z = -1 - -10. Suppose -z = -4*p - 41. Is (p/(-10))/((-2)/(-145)) a multiple of 16?
False
Let s be (1 + -95 + 0)*-1. Let x = -22 + s. Suppose 0 