 multiple of 29?
True
Let y(n) = n**3 + 7*n**2 - 2*n + 5. Let o be y(-7). Suppose 0 = -11*d - 82 + 203. Let l = d + o. Is l even?
True
Let t = -635 - -636. Let g(r) = 354*r + 51. Is 9 a factor of g(t)?
True
Let q(m) = 17*m**2 - 158*m + 2478. Is 18 a factor of q(42)?
True
Let l(w) = -17*w. Let y be l(-2). Suppose 8*a - 133 - 59 = 0. Let g = y - a. Is g a multiple of 3?
False
Suppose -2*w + 3760 = z + 3*w, -3*w - 3760 = -z. Is 12 a factor of z?
False
Let j = -588 - -583. Does 72 divide 1103*2/((-10)/j)?
False
Let w be (5 - 5)/(-3*(2 - 1)). Suppose w = k + 5*o - 3, 2 = k - 3*o - 9. Suppose 2*f + 5*q - 60 = k, 2*q = -f + 36. Is 22 a factor of f?
True
Suppose -y + 23676 + 2988 = 7*y. Is 8 a factor of y?
False
Let d(g) = 19*g**2 - 1. Let q be d(-1). Let z be (0/234)/(-3 - 1). Suppose 6*n + q - 66 = z. Does 6 divide n?
False
Let r(w) = w**2 + 4*w + 9. Let h be r(-3). Suppose 25*j = h*j + 4503. Does 16 divide j?
False
Let q = -67 + 126. Suppose 57*n = -15*n + 3168. Let j = n + q. Is 8 a factor of j?
False
Let p = 7875 - 3734. Is p a multiple of 18?
False
Let s(h) = -8*h**2 - 499*h - 224. Is s(-54) a multiple of 93?
False
Let h(l) = -259*l**3 + 3*l**2 + 19*l + 12. Is h(-3) a multiple of 15?
True
Is 8 a factor of ((-182)/10 - -19)/((-1)/(-1900))?
True
Suppose 5*l + 0*w + 2*w - 18 = 0, -l = 4*w. Suppose -6*b - 4*n + 16 = -4*b, 0 = -2*n + l. Suppose -v - 20 = b*v, 4*s - 592 = -2*v. Is s a multiple of 6?
True
Let d(t) = -t**3 - 3*t**2 - 3*t + 778. Let w be d(0). Suppose 4*v - 6*b + b = w, 3*v + 5*b - 566 = 0. Is 8 a factor of v?
True
Suppose -14*r + 9*r = -6475. Suppose r + 13642 = -13*b. Is 14 a factor of 2 - (-22)/(-12) - b/18?
False
Let d(y) = -7*y + 45. Let c = -45 - -51. Let a be d(c). Suppose -a*l - 132 = -4*l. Is 32 a factor of l?
False
Let d = 2823 - 2542. Is 3 a factor of d?
False
Let r(b) be the second derivative of 2*b**3/3 + 40*b**2 + 2*b - 31. Is 20 a factor of r(10)?
True
Let b = 24156 - 21779. Is b a multiple of 13?
False
Let r(g) = -619*g**3 - 207*g**2 - 406*g + 4. Is 20 a factor of r(-2)?
True
Suppose 22*o - 4 = 21*o + 3*a, 4*o - 16 = -4*a. Suppose -55*w + 60*w = 3*b + 295, 214 = o*w + 2*b. Is w a multiple of 14?
True
Let r = 748 + 1530. Does 14 divide r?
False
Let b = -5752 - -10283. Is 5 a factor of b?
False
Suppose -3*c - 4*y = -179, c - y = -32 + 101. Suppose 67*q - 830 = c*q. Is 32 a factor of q?
False
Is (((-34320)/7)/(-4))/(5/(0 - -35)) a multiple of 39?
True
Let k(v) = -7*v + 17 + 34 + 19 + 18. Does 41 divide k(-32)?
False
Suppose -2*q + 3 = -7. Let j(t) = -t**3 - 30*t**2 + 33*t + 65. Let v be j(-31). Suppose 0 = 4*f + f - q*d - 280, 136 = v*f + 5*d. Is f a multiple of 13?
True
Let l = -6490 - -26158. Does 55 divide l?
False
Let i be (-2)/(-4) + 1071/14. Suppose 0 = -y - 4*a + i, -3*a - 2*a = -3*y + 163. Let x = 150 - y. Is 16 a factor of x?
False
Let w(a) = 0*a - a**2 + 3 + 3*a + 3*a - a. Let k be w(5). Suppose 3*q - 54 = 3*f, -k*f - 18 = -q + 2*f. Is q a multiple of 6?
True
Let m(o) = -17*o - 26 + 95*o + 0*o**2 + 2*o**2 - 1. Does 15 divide m(-42)?
True
Suppose 4*i - 862 = 3*n, 5*n = -5*i - 402 + 1532. Does 5 divide i?
True
Let p(z) = 2*z**2 + 22*z - 21. Let s be p(-12). Suppose -i + 1236 = 2*i - s*o, 5*i + o - 2084 = 0. Is i a multiple of 32?
True
Suppose 0 = -7*m + 6*m + 60. Let l = -55 + m. Suppose -5*x = -i, -x + 74 = l*i - 56. Is i a multiple of 5?
True
Let d(q) = -4*q + 26. Suppose 4*s = -s - 5*o + 55, -25 = -5*s + 5*o. Let j be d(s). Is ((-68)/j)/(4*5/690) a multiple of 44?
False
Let m = 31 + -27. Suppose 117 = m*k + 469. Let y = -40 - k. Is y a multiple of 25?
False
Let l(j) = -2*j**2 - 9*j - 17. Let o(d) = -d**2. Let r = -49 + 51. Let f(i) = r*o(i) - 2*l(i). Is f(-14) a multiple of 29?
True
Suppose -i + 8*o + 6538 = 11*o, -4*o = 3*i - 19579. Is 5 a factor of i?
False
Let f(b) = b**2 - b + 4. Let k be f(4). Let y(a) = 446*a - 3480. Let m be y(8). Suppose -k*t + m = -12*t. Does 11 divide t?
True
Is 17 a factor of (4878848/130)/16 + -1*(-2)/5?
True
Let z = -14954 + 33518. Does 91 divide z?
True
Let v(k) = k**3 + k**2 - 10*k + 2. Let w(g) = -6*g + 38. Let t be w(11). Let n be (t/42)/(1/(-6)). Is v(n) a multiple of 6?
True
Let q be 2*(-2)/(-4) + 0. Let t be (-2 - -1)/((-16)/(-64)). Is 8 a factor of 4/q + (t - -24)?
True
Let p(r) = 30*r**2 - 3*r + 7. Let b be p(2). Let u = 297 + b. Does 19 divide u?
True
Let t(u) = -u**2 - 11*u + 23. Suppose -2*g + 3*g - 419 = 3*r, -2*r = -3*g + 277. Let b = 130 + r. Is 3 a factor of t(b)?
True
Let m(b) be the second derivative of b**5/5 - b**4/12 - b**3/6 + 2*b**2 - 2*b - 10. Is m(4) a multiple of 12?
True
Suppose 2*h + 7854 - 108690 = -4*q, 0 = 4*h + 2*q - 201630. Does 350 divide h?
False
Let r(n) = -1523*n - 89. Is r(-1) a multiple of 6?
True
Let b(o) = 13*o**2 - 238*o - 223. Is b(-28) a multiple of 42?
False
Let s(h) = -h**3 - 9*h**2 + h + 12. Let f be s(-9). Suppose -f*q + 111 = 2*o, 3*q + q + 2*o - 148 = 0. Does 2 divide q?
False
Suppose -3560 + 12526 = 61*w - 22144. Is w a multiple of 17?
True
Let q be 684/60 + (-2)/5. Suppose -696 - 448 = -q*z. Let u = z + -74. Is 11 a factor of u?
False
Let p be 2 + -1 + -2 + (5 - 0). Suppose 4*j = 11*o - 10*o + 1374, 336 = j - p*o. Let c = -140 + j. Is 52 a factor of c?
False
Suppose -7*d - 12160 = -16227. Is d a multiple of 7?
True
Let w = 75 + -70. Suppose -17 = 2*l - 11, 5*n - w*l = 830. Let y = n + -67. Is 8 a factor of y?
True
Let t = 4159 + -1537. Suppose 618 = 9*s - t. Does 12 divide s?
True
Let b = -548 - -501. Let s = b - -574. Does 41 divide s?
False
Suppose l + 2 = 0, 3*q - 4*l - 17 = -0*l. Suppose -3*m - 4*i + 115 = -235, 5*m + q*i - 565 = 0. Is 10 a factor of m?
True
Is 26 a factor of 4864/(-256) + (0 - -5094)?
False
Suppose 18 = 5*c + 283. Suppose 2*p = 5*a - 221, -2*a = -5*p + a - 543. Let o = c - p. Is 5 a factor of o?
True
Let h = 112 + -429. Let m = h - -347. Does 15 divide m?
True
Suppose 18234 + 12126 = 33*s. Is 40 a factor of s?
True
Let i be 74/19 - (-2)/19. Suppose 3*b + 1184 = i*s - 0*b, 0 = 2*b. Is s a multiple of 28?
False
Suppose 4*z = -o + 58, o = 4*o + 5*z - 167. Is 18/o + 545/3 a multiple of 13?
True
Suppose 3*i + 2394 = 4*b, 39*i - 1794 = -3*b + 41*i. Is 11 a factor of b?
True
Let b = 285 - 285. Suppose v - 5*j - 640 = b, v = -j + 662 - 22. Does 16 divide v?
True
Does 7 divide 155 + 9 - 11 - -14?
False
Let p(z) = 704*z**2 + 30*z + 4. Is p(-1) a multiple of 18?
False
Let t(b) = 16*b**3 - b**2 - 5*b + 7. Let u be t(2). Suppose 3436 - u = 15*j. Does 13 divide j?
True
Suppose -10*v = -3*v - 168. Let l be (v/20)/(-3)*-5. Suppose -4*u - 4*i = -124, 7*u - l*u = 3*i + 115. Does 8 divide u?
False
Suppose -l = -0*g + 4*g - 1534, 0 = 2*g - 4*l - 758. Let x = g - 79. Is x a multiple of 19?
True
Suppose -k + 2746 = -5*g - 5*k, -4*g + 3*k = 2172. Let t = g + 1066. Is 17 a factor of t?
False
Let o(c) = 4*c**3 + 3*c**2 + 17*c - 106. Is 73 a factor of o(20)?
True
Let l(m) = -m**2 - 8*m - 2. Let a be l(-7). Let g(b) = 3*b + 81. Let j be g(-10). Suppose -j = -2*p - a*x, -2*p - 5*x = -5*p + 64. Is 4 a factor of p?
False
Let f(m) = 65*m + 94. Let y(n) = -1106*n - 1596. Let j(a) = -35*f(a) - 2*y(a). Does 61 divide j(-6)?
False
Let f(y) = 151*y**2 + y. Let l be f(-1). Suppose 2*p - 5*d = -l, 5*p + d + 352 = 2*d. Let t = 145 + p. Does 15 divide t?
True
Let s(n) = -9460*n + 18. Is s(-4) a multiple of 22?
False
Is 15 a factor of 23/(3220/76540) + 4/14?
False
Let s(t) = t**3 + 62*t**2 - 16*t + 16. Is s(-62) a multiple of 56?
True
Suppose -120 = -4*g + 2*a, 5*a - 70 - 46 = -3*g. Suppose -5*u - 124*t = -129*t - 45, 2*u - 39 = 5*t. Suppose g = u*v - 0*v. Is v a multiple of 4?
True
Let y = 16330 + -14912. Does 34 divide y?
False
Let f = 13530 - 9267. Is f a multiple of 49?
True
Suppose 0 = 12*x - 2*x - 220. Let d(l) = 2*l + 7. Let n be d(x). Suppose 52*g - n*g - 3 = 0. Is 2 a factor of g?
False
Let t(j) = 300*j + 14475. Is 25 a factor of t(30)?
True
Let g = 2 - 3. Is 3 - 0 - (g + -21) a multiple of 5?
True
Suppose -m - 2*m + 3*i + 24 = 0, 4*m + 4*i = 64. Suppose -24 = -m*w - 0. Suppose 3*d + 0*a - 96 = -w*a, 0 = 2*a + 6. Does 5 divide d?
False
Suppose -4 = 2*r + 6, 5*j = r - 5. Let z(o) = -5*o - 2. Let v be z(j). Suppose v*a = 315 + 165. Does 30 divide a?
True
Suppose 144*w + 204 = 146*w. Is w a multiple of 4?
False
Suppose 0 = 4*a - 2*d - 63172,