?
False
Let l(a) = 34*a + 1. Let n be l(1). Suppose 0 = 3*k - 2*z - 61, 68 = k + 3*k + 4*z. Let y = n - k. Is y a multiple of 7?
False
Let x be 46*2/(-16)*-4. Suppose -102 = -5*o + x. Let s = o - 3. Does 5 divide s?
False
Let w = 3 + 18. Let l be (-2)/(-7) + 435/w. Let c = l - 13. Is c a multiple of 5?
False
Let r(z) be the first derivative of -3*z**2/2 - 4. Let w be r(6). Let o = w - -36. Is o a multiple of 5?
False
Let i be 1/(1*(-3)/18). Let z = i + 9. Is 2 a factor of z?
False
Let w(q) be the third derivative of -1/24*q**4 + 6*q**2 + 3/2*q**3 + 0 + 1/60*q**5 + 0*q. Does 13 divide w(7)?
False
Suppose 22 = 6*q - 14. Suppose -263 = -q*n + 361. Does 10 divide n?
False
Suppose 2*b + 8 = -8. Let f = 5 - b. Is 4 a factor of f?
False
Let i = -210 + 256. Does 23 divide i?
True
Suppose 76*w - 166175 = 129237. Is 23 a factor of w?
True
Let p = -19 - -23. Suppose -4*c = p*v - 272, 2*c + 0*c - v - 136 = 0. Is 40 a factor of c?
False
Let b(g) = g**2 + 10. Let t be b(0). Let r = t + -6. Suppose 0 = -r*s + 18 - 6. Is s a multiple of 2?
False
Let j = -56 + 61. Suppose 0 = j*a - 250 - 205. Is a a multiple of 13?
True
Let m = 30 + -25. Let t(w) = -7*w + m - 5 - 3. Is 4 a factor of t(-5)?
True
Suppose 0 = -5*z - 5*n + 120, -2*z + 24 = -3*n - n. Suppose -u + z = -3. Does 7 divide u?
False
Let u be (1 + -7)*-1 + 14 + -16. Let t(m) = 5*m**2 - 8*m + 2. Is 25 a factor of t(u)?
True
Suppose 8 = 3*m - 1. Suppose -3*n = h + 8, 0 = 2*n + m*h - h + 8. Let c(p) = -2*p - 1. Is 3 a factor of c(n)?
True
Suppose -2252 - 58 = -7*o. Does 33 divide o?
True
Suppose 8*r + a = 4*r + 1836, -4*r + 5*a = -1860. Does 10 divide r?
True
Let y be (5/6 - (-5)/(-15))*4. Is -2*(-48)/y*(-6 + 7) a multiple of 12?
True
Suppose 2*t + 132 = 6*t. Suppose 4*d - 5 = 2*s + t, -3*d - 5*s + 22 = 0. Does 2 divide (-6)/(-9) + 21/d?
False
Let r(w) = 15*w**2 + w + 17. Let y be r(-4). Let m = y + -148. Is 27 a factor of m?
False
Suppose q - 64 = -5*l, -5*l = -5*q + 232 + 28. Suppose -q - 60 = -2*d. Is 19 a factor of d?
True
Let t = 98 - 98. Suppose t = 2*k - 161 + 3. Does 29 divide k?
False
Suppose 4*y - 6*y = 2. Let n = 6 + y. Suppose 0*t - 2*t - 190 = -n*p, p + 4*t = 16. Is p a multiple of 18?
True
Let q(v) be the first derivative of -13*v**2/2 + 4*v + 17. Does 32 divide q(-12)?
True
Let z be 2 - (-2 - -2) - 12. Let d be 60 + -32 - (1 + 1). Let r = d + z. Does 8 divide r?
True
Let v be -1 + (-5 + 76 - 2). Suppose -730 = -3*l + v. Does 38 divide l?
True
Suppose -2 = 4*d - 2. Suppose 10*u - 8*u - 26 = d. Does 13 divide u?
True
Let u be 27/4 - 9/(-36). Suppose -170 = -u*y + 2*y. Is y a multiple of 22?
False
Suppose 0 = -n - 41 + 25. Let l = 44 + n. Does 7 divide l?
True
Let x be 1/(-2)*4*1. Let d be x/1 + 0 + 6. Suppose -d*k = -k - 33. Is 11 a factor of k?
True
Suppose -455 = 11*s - 16*s. Let i = s - 32. Does 10 divide i?
False
Suppose 0 = -3*y + 4*z + 31, -3*y - 2*z - z = -24. Let n(r) = -r**3 + 10*r**2 - 8*r + 4. Let t be n(y). Let d(b) = 2*b**2 - 25*b + 4. Is d(t) a multiple of 2?
False
Suppose -2*j = -6*j + 48. Let g(f) = -f**3 - 23*f**2 - 43*f. Let s be g(-21). Let h = s - j. Is 2 a factor of h?
False
Suppose 13*o - 9*o = 0. Let n(w) = -w - 3. Let a be n(-6). Suppose -9 + o = -a*k. Is k a multiple of 2?
False
Let q be (-44)/(((-1)/(-9))/(-1)). Suppose 5*k + 404 = 3*c, -c + q = 2*c - 3*k. Is 22 a factor of c?
False
Suppose 0 = 18*j - 8823 - 2103. Is j a multiple of 19?
False
Suppose -p - 11 = -3*a, 5*p + 21 = 2*p + 5*a. Let j be (2 + p)/(-2 - -5). Suppose -3*g = -7*g + 2*r + 192, j = -5*r + 10. Does 13 divide g?
False
Suppose -14*z = -5*z - 2439. Let c = z - 116. Is 31 a factor of c?
True
Let c = 36 - 31. Suppose -5*h = 2*l - 891, h + c*l - 110 = 59. Is 44 a factor of h?
False
Let l = -10 - -10. Suppose 2*p + 4 = -2*x + 7*x, -5*p - x + 17 = l. Suppose 0*f = -4*h + f + 51, -p*f + 3 = 0. Is h a multiple of 6?
False
Let k be 6/15 - (-1690)/25. Let b = k - 19. Is b a multiple of 7?
True
Suppose 33*t - 746 = 32*t. Suppose -4*f + t = 5*w + 21, -3*w = -3. Is 20 a factor of f?
True
Let w(y) = y + 16. Let x be w(16). Suppose x = 8*q - 64. Is 3 a factor of q?
True
Suppose 6*j - 3*j = 339. Suppose 7 + j = -5*y. Is 14 a factor of (6/4)/((-2)/y)?
False
Let f(q) be the first derivative of -7*q**2/2 - 7*q - 10. Is 7 a factor of f(-3)?
True
Suppose -14 = -3*b - 5. Suppose -3*n - t = -5*t - 106, -2*n + b*t + 72 = 0. Is n a multiple of 15?
True
Suppose -2*j + 5*j = 18. Suppose -2*u = -4*u + j, -5*u + 135 = 4*m. Let n = m - 12. Does 17 divide n?
False
Let d(o) = -3*o - 8. Let m be d(-4). Suppose 3 = j + b - 5, -m = j + 5*b. Does 8 divide j?
False
Let m(y) = -20*y + 20. Let o be m(11). Let w = o - -425. Does 25 divide w?
True
Let k(c) = 17*c**3 + 3*c**2 - 5*c + 7. Let p be k(2). Let h(g) = -g**3 - 3*g**2 + 4*g + 4. Let j be h(-6). Let y = p - j. Is 19 a factor of y?
True
Let b(g) be the first derivative of -g**2 - 8*g - 3. Does 3 divide b(-6)?
False
Let z(p) = -6*p + 591. Is 24 a factor of z(0)?
False
Suppose -4*j + 158 = -314. Let c be (-3)/(-8) - j/16. Is 9 a factor of (c + 3)*36/(-8)?
True
Let r(h) = 105*h - 32. Let y be r(4). Let d = 583 - y. Does 23 divide d?
False
Let s = -48 - -52. Does 32 divide (s + -3 + -3)*-64?
True
Suppose 0 = 3*g - 9, -2*p + 3*g + 321 = 2*g. Is p a multiple of 27?
True
Let s be 4*(-3 + 6 + -2). Suppose p = 4*z + s + 22, p + 4 = -z. Let g(o) = -o**2 - 10*o. Is g(z) a multiple of 12?
True
Let g be (3/(-2))/((-12)/3568). Suppose -3*d = 4*i - d - g, 5*i - 554 = d. Let r = -59 + i. Is r a multiple of 13?
True
Let x = 34 + -116. Is -5*(3 - x/(-5)) a multiple of 26?
False
Let m(t) = t**3 - 3*t**2 + 2*t + 2. Let b be m(2). Suppose h - b = 3. Suppose -2*f = -h*f + 36. Is f a multiple of 4?
True
Let p(c) = 25*c + 66. Does 7 divide p(8)?
True
Let o(c) = -19*c + 7. Let x = 2 + -4. Does 9 divide o(x)?
True
Let g = 5 + 0. Suppose 2*u = -3*p + 144, 6*u - g*p = u + 385. Is u a multiple of 8?
False
Let b(u) = 46*u + 432. Is b(0) a multiple of 8?
True
Let s be 3 - 41*(3 - 2). Let d be (7 + -5)/((-4)/s). Suppose -d = -4*k + 13. Is 6 a factor of k?
False
Suppose -7*q - 7 - 21 = 0. Let o be 2730/56 + (-1)/q. Suppose 3*s = -o + 223. Is 23 a factor of s?
False
Let z(m) = 8*m - 1. Let w be z(-3). Let g = -272 + 269. Does 14 divide (g + (-2 - w))*1?
False
Let m = -119 + 911. Does 24 divide m?
True
Suppose 3*k + 5*y - 99 = 0, 0*k - 3*y - 66 = -2*k. Is k a multiple of 33?
True
Let j(x) = -6*x + 2 - 6 + 2 - 6. Let y be j(4). Let f = -19 - y. Is f a multiple of 13?
True
Suppose 0*j - 112 = -j. Suppose -j = s - 5*s. Does 7 divide s?
True
Let n(y) = -y**3 - 6*y - 1. Does 22 divide n(-5)?
True
Is 27 a factor of (-8248)/(-32) + 2/8?
False
Suppose 9*y - 23 - 58 = 0. Suppose -y*x = -472 + 13. Is x a multiple of 17?
True
Let u = -3127 + 7893. Does 64 divide u?
False
Suppose 0 = -h - 3*p + 457, 5*h - 2*p - 1601 - 735 = 0. Is 5 a factor of h?
False
Suppose 3*t = -0*t - 2*o + 7, 0 = 4*t - 2*o - 28. Let l(f) = 9*f + 9. Is l(t) a multiple of 10?
False
Let h(a) = -30*a + 124. Is h(-2) a multiple of 7?
False
Is 9 a factor of 690 + ((-10)/8)/(21/84)?
False
Let q(v) = 3*v**3 + 9*v**2 + 7*v + 8. Let h(s) = 7*s**3 + 18*s**2 + 14*s + 17. Let l(i) = 2*h(i) - 5*q(i). Is 19 a factor of l(-9)?
True
Is 91 a factor of (-11)/((-66)/9)*(-1820)/(-2)?
True
Suppose -7*g + 4*g + 15 = 0. Suppose -4*n - 3*w = -63, -4*w - 35 = -g*n + w. Suppose 3*q + 2*q - 230 = 5*j, -4*j = -n. Does 14 divide q?
False
Let z = 904 - 389. Let h be z/(-11) - (-14)/(-77). Let m = -21 - h. Is 9 a factor of m?
False
Let n = 140 + -56. Suppose 15*x = 12*x + n. Is 14 a factor of x?
True
Let g(b) = 10 - 3*b**2 + 1663*b - 1654*b + 2*b**2. Is g(9) a multiple of 5?
True
Let w(j) = 28*j**2 + 7*j + 101. Does 45 divide w(11)?
False
Let h = -58 + 73. Let t = -13 - -8. Let f = h - t. Is f a multiple of 7?
False
Suppose -31*l = -42*l + 8294. Is 13 a factor of l?
True
Suppose -3*m = 5*k - 726 - 158, -3 = -m. Is k a multiple of 25?
True
Let l(m) = m**3 - 10*m**2 - 10*m - 8. Let j be l(11). Let c = j + 1. Is 8 a factor of (c/(-6))/(2/(-24))?
True
Suppose 0 = 5*b + 2*v - 9959, -5*b + 2*v + 11615 - 1644 = 0. Does 7 divide b?
False
Let s be 18/(-24) + (-1330)/8. Let i be 15 + -11 - (s - 1). Let t = i - 64. Is t a multiple of 27?
True
Suppose -12 = -44*h + 41*h, -h = -5*b + 921. Is b a mult