t**2 + 3*t - 4. Let o be h(-4). Let a = -17 - o. Let n = a + 19. Does 12 divide n?
False
Let s = -18 + 28. Is s a multiple of 4?
False
Let n = -7 - -133. Is n a multiple of 42?
True
Let t = 43 + -25. Does 6 divide t?
True
Suppose -u + 0*m + 2*m + 31 = 0, -5*m = -2*u + 60. Is u a multiple of 13?
False
Let o = -48 + 97. Is o a multiple of 21?
False
Suppose 2*n - 191 = -0*n + i, -n + 118 = -5*i. Does 31 divide n?
True
Suppose 8 = m - 5. Suppose -a = 4*j - m, 2*a + 2*j = 7*a + 1. Is 7 a factor of -2 + 17 + a + 0?
False
Let o(k) = -k**2 + 12*k - 3. Does 8 divide o(7)?
True
Suppose -3*g + 183 + 345 = 3*v, 3*v + 5*g - 520 = 0. Is v a multiple of 9?
True
Suppose 3*x = x + 162. Does 11 divide x?
False
Suppose 2*b = 4*n - 346, 4*b = -5 + 1. Let w(v) = v**2 + 9*v - 5. Let a be w(-10). Suppose a*d + 16 = n. Does 14 divide d?
True
Suppose -j + 20 = 3*j. Suppose -j*l + 39 = -2*l. Does 13 divide l?
True
Let k(h) = 2*h + 3. Let q be k(3). Let v(m) = -m**2 + 10*m - 9. Let i be v(q). Suppose 3*p - x - 8 = 0, 5*p + i*x - 28 = -2*x. Is p a multiple of 2?
True
Suppose 552 = -j + 5*j - 5*s, -5*j = -2*s - 673. Is 14 a factor of j?
False
Let n(m) = -7*m - 1. Let b be n(-1). Suppose -h = -b*h + g + 43, 2*g = 4*h - 38. Is 3/(-12) + 122/h a multiple of 15?
True
Suppose 0 = -2*c + 6, -4*c + 10 + 32 = 3*g. Does 6 divide g + 4 + 0 + 4?
True
Suppose -2*v = -5*v + 12, 5*v - 50 = -3*u. Does 7 divide u?
False
Let c = 103 - 76. Is c a multiple of 6?
False
Suppose -4*o - 49 + 325 = 0. Does 3 divide o?
True
Suppose 0 = -3*h + 2 + 4. Suppose -2*j + 2*f = -4, -j + f = -h*f. Is 19 a factor of (-21)/(-1)*(4 - j)?
False
Let q be -6*(1/2 + -2). Suppose q*p = 4*p + 25. Suppose -p*l + 3*r + 134 = 0, l + r + 3*r = 13. Does 9 divide l?
False
Suppose 5*r + 53 = 2*j - 5*j, j + 13 = 3*r. Let w = 108 + j. Suppose -h = 4*p - 70, -2*p - w = -2*h + 2*p. Is 20 a factor of h?
False
Suppose 5*g + 0 + 118 = -4*j, 5*j = 2*g - 131. Let c be j/(-12)*(20 - 0). Suppose 3*f + c = 8*f. Does 7 divide f?
False
Let i(z) be the second derivative of z**4/12 - z**3/6 - 2*z**2 + 2*z. Let n be i(4). Let b(m) = -m**2 + 10*m - 10. Does 3 divide b(n)?
True
Let q(b) = -b + 8. Let y be q(5). Does 18 divide (-3 + y)/(-1) + 26?
False
Let q(b) = -b + 9. Let o be q(7). Suppose -2*u + o*a + 27 = -u, -5*a - 21 = -u. Is 18 a factor of u?
False
Let r(h) = -h - 6. Let x(y) = 2*y + 13. Let p(f) = -13*r(f) - 6*x(f). Is 5 a factor of p(5)?
True
Let y(c) = -c**3 + 7*c**2 - 5*c + 6. Let v be y(6). Suppose -4*b - 1 + 6 = 3*i, 4*b - v = -4*i. Is 7 a factor of i?
True
Let n(x) = 2*x**2 + 7*x + 7. Is 28 a factor of n(-10)?
False
Let z(l) = 53*l**3 - l. Suppose -f + 2 = 4*t, -2*t = -4*t + f + 4. Is 29 a factor of z(t)?
False
Suppose 4*b - 2*x - 8 = 0, -b - 24 = 4*x - 8. Suppose 3*w + 2*k - 4*k - 77 = b, -4*w + 104 = -4*k. Let c = -16 + w. Does 6 divide c?
False
Does 9 divide -4*(-3)/(-3)*99/(-4)?
True
Let q = -10 - -2. Let o = 2 - q. Is o a multiple of 5?
True
Let m(b) = 3*b - 9. Let g be (15/25)/(1/10). Let n = 0 + g. Does 4 divide m(n)?
False
Let n(o) = o**2 - o - 3. Let p be n(0). Is 8 a factor of (p - -13)/((-6)/(-15))?
False
Let f = -2 + 10. Suppose -23 = -5*b - f. Is 14 a factor of 134/10 - b/(-5)?
True
Suppose 64 + 101 = 3*a. Let j be (35 + 0)/(-1 - -2). Let s = a - j. Does 16 divide s?
False
Let m = 112 - 41. Is 30 a factor of m?
False
Let k = -133 - -239. Suppose i - 4 - k = 0. Is ((-4)/(-10))/(2/i) a multiple of 11?
True
Let b(x) = 28*x - 1. Does 9 divide b(1)?
True
Let p(r) = r**2 + 8*r - 15. Is p(-12) a multiple of 11?
True
Suppose 5*n + 49 = w, -5*w + 197 = -n - 0*n. Is 13 a factor of w?
True
Let n be (-18)/2 - (6 - 6). Let b be 39/n + (-1)/(-3). Is 7 a factor of 4*(-2)/(b/9)?
False
Suppose 5 = b + 1. Let h be 3/(-1) - (-69 + -1). Suppose 0 = -3*t - b*k + h, 60 = 4*t + k - 3*k. Does 7 divide t?
False
Is 32 a factor of ((-16)/(-10))/(9/1260)?
True
Let c(d) = -51*d - 3. Let k be c(2). Let l = k + 149. Is 22 a factor of l?
True
Let r be 0/(-14) + (60 - 1). Let o(f) = -6*f + 1. Let q be o(-4). Let u = r - q. Is u a multiple of 17?
True
Suppose 20*u = 17*u + 243. Does 27 divide u?
True
Let r(n) = -n**3 - n**2 - 13. Let v be r(0). Let u = v + 27. Does 14 divide u?
True
Suppose -7 = r - 1. Let a(k) = -k**2 - 7*k + 2. Let i be a(r). Let f(t) = -t**2 + 10*t - 3. Does 13 divide f(i)?
True
Let y be ((-6)/(-3) + 5)*1. Let f be y + -1 + 1/(-1). Let j(k) = -k**3 + 4*k**2 + 6*k. Does 5 divide j(f)?
True
Let w be ((-3 - -11)/(-1))/1. Let f = w - -12. Suppose 35 = f*r - 21. Is r a multiple of 7?
True
Let k = 16 + -1. Suppose 2 = d - k. Is d a multiple of 17?
True
Suppose -8*w = -6*w - 48. Is 6 a factor of w?
True
Let h(c) = c**3 - 9*c**2 + 5*c - 5. Is 8 a factor of h(9)?
True
Let k(j) = j**2 - 3*j - 6. Let n be k(5). Suppose -5*w - n*l = -26 - 303, -w = 5*l - 70. Suppose 0 = -4*z - 5*y + w, 3*z + 3*y - 42 = 6. Is z a multiple of 14?
False
Suppose -s + 4*s = 6, 5*h + 3*s - 756 = 0. Is h a multiple of 14?
False
Let t(g) = 3*g**3 - 4*g**2 + 2*g + 2. Suppose -2*f + 3*f - 2 = 0. Does 4 divide t(f)?
False
Let o(w) = -w**3 + 9*w**2 + 25*w - 15. Is 5 a factor of o(11)?
False
Let w(d) = -21*d**3 + 2*d**2 + d. Suppose 0*j = j + 1. Does 12 divide w(j)?
False
Suppose -q + 6*m = 2*m + 12, -12 = -3*m. Suppose -f + 5 + 12 = 5*o, 0 = -2*f - 4*o + q. Let a = 25 - f. Does 16 divide a?
False
Let t = 15 + -11. Suppose -5*m - t*i = -i - 18, -3*i + 6 = m. Suppose -9 = -h - m. Is h a multiple of 3?
True
Let o(j) = 62 + j - 9 + 2. Is 13 a factor of o(0)?
False
Let s = -157 + 350. Is 16 a factor of (-1)/6 - s/(-6)?
True
Let h be 31 - 5/((-10)/(-6)). Let n = h - -4. Does 24 divide n?
False
Is 31 a factor of (-7378)/(-42) + (-2)/3?
False
Let q be 333/(-12) - 3/(-4). Let b = q + 56. Suppose b = 4*v - 11. Does 5 divide v?
True
Let d be (-2)/(-2) + 4 + -3. Suppose -5*p + c + 195 = 0, d*p - 65 = -0*p + 3*c. Let v = 69 - p. Does 13 divide v?
False
Let y = 44 - 1. Let c = 60 - y. Is 10 a factor of c?
False
Let i = 22 + -7. Suppose 3*z + i = b - 16, -3*b - 2*z = -137. Is b a multiple of 21?
False
Suppose 514 = 13*i + 46. Is i a multiple of 36?
True
Let g(h) = -4*h**3 - 3*h**2 + 7*h - 7. Does 32 divide g(-4)?
False
Does 37 divide (2956/18)/1 - (-2)/(-9)?
False
Let h(d) = -5*d - 5. Let q(t) = 2*t + 12. Let k be q(-9). Let x be h(k). Suppose -3*z - 2*z + x = 0. Does 4 divide z?
False
Let s(v) = v**3 - 3*v**2 - 7*v + 6. Let m be s(5). Let q = -23 + 86. Let g = q - m. Is 21 a factor of g?
True
Let f(i) = 30*i - 1. Is f(5) a multiple of 20?
False
Suppose 2*u - 283 = 5*c, -4*c = -4*u + 111 + 437. Suppose 2*o + 3*v = 6*o - u, 3*o = v + 98. Does 18 divide o?
False
Let l = -7 - -10. Suppose 5*m + 3*o - 114 = 0, -2*o - 54 = -l*m + o. Does 20 divide m?
False
Let m(r) = 4*r + 3. Let h = 3 + 1. Is m(h) a multiple of 19?
True
Let n = -4 + 4. Does 9 divide -3 - n - (-22 - 12)?
False
Suppose -3*v - 288 = v. Let f = v - -132. Is 11 a factor of -3*(0 + f/(-9))?
False
Let t = 80 - -28. Does 27 divide t?
True
Suppose -15*q = -13*q. Suppose q*p - 5*p = v - 90, 2*p - 36 = v. Does 5 divide p?
False
Let q = 22 + -14. Is 3 a factor of 4/16 - (-46)/q?
True
Suppose 48 = 2*y + y. Let s be 0 - (1 - y)/(-3). Let g(u) = u**3 + 5*u**2 - 5*u + 3. Is 18 a factor of g(s)?
False
Suppose 2*t - 318 + 52 = 3*i, 4*t = -2*i + 532. Suppose 0*q - t = -3*q - 2*y, 3*q - 123 = 3*y. Is q a multiple of 12?
False
Let s(f) = -f**3 - 2*f**2 + f + 1. Let j be s(-3). Let l(x) = 9*x - 3. Is l(j) a multiple of 13?
False
Let c(m) be the third derivative of m**6/120 + m**5/10 + m**4/8 - m**3/2 + m**2. Let w be c(-5). Suppose 0 = -g + 23 - w. Is 13 a factor of g?
False
Let i(y) = y**3 - 8*y**2 + 15*y + 10. Is i(8) a multiple of 17?
False
Let t(s) = -s**3 + s**2 - s - 7. Let y be t(0). Suppose 2*h + d = 4*d + 45, 124 = 5*h + 4*d. Let c = h + y. Does 13 divide c?
False
Let n = 6 + -2. Let z be 28 + (4 - (n + -2)). Suppose -4*x - 4 + 18 = b, 0 = -b + 4*x + z. Is 11 a factor of b?
True
Suppose 5*q + 4*g = 152, -7 + 38 = q + g. Suppose -2*f + 2 - q = 0. Let v = -7 - f. Is v a multiple of 3?
True
Does 5 divide 9*1 - (0 + -1)?
True
Let l be 2/(-1) + 1 - 2. Let y(m) = -8*m + 4. Does 14 divide y(l)?
True
Let k be (-93)/(-6) + (-2)/4. Let f = k + -8. Is f a multiple of 3?
False
Suppose 0 = 4*w - 2*q - 42, -4*w + 24 = 3*q - 43. Is w a mult