12 a factor of u(4)?
False
Does 14 divide -4 + (416/96)/(1/39)?
False
Let i(a) = -19*a - 122. Is 26 a factor of i(-12)?
False
Let r be 1 - -2 - 8/8. Suppose -3*l - r*l + 360 = 0. Does 22 divide l?
False
Suppose -14*o + 1260 = 6*o. Is 5 a factor of o?
False
Let r(y) = 3*y + 7 - 1 - 11. Let z be r(-9). Is 29 a factor of (2 + 0)*(-1392)/z?
True
Let i = 499 - 193. Is 34 a factor of i?
True
Let g be (-1535)/4 + 2/(-8). Let h = g + 552. Is h a multiple of 9?
False
Suppose 5*d = -4*a + 1542 + 1782, 0 = d - a - 663. Is d a multiple of 8?
True
Let r(l) = l**3 - 14*l**2 + 12*l + 18. Let q be r(13). Suppose 3*h - 2*h = -3*o + 58, 88 = 3*o - q*h. Is 7 a factor of o?
True
Is (96/80)/(2/740) a multiple of 18?
False
Suppose -2*u + 40 - 12 = 3*d, -2*d - 8 = -4*u. Suppose -2*g + 2 + d = 0. Suppose -g*z + 39 + 349 = 0. Does 11 divide z?
False
Let w(i) = -2*i + 16. Let q = 134 - 69. Suppose 5*z + q = -0*z. Does 14 divide w(z)?
True
Suppose 0 = 5*a + 5*f - 3*f - 294, f - 297 = -5*a. Let g = a - 32. Does 4 divide g?
True
Suppose 0*q - 840 = -q. Suppose 35*v = 42*v - q. Is 24 a factor of v?
True
Does 4 divide (-321 + -1)*(-48 + 46)?
True
Let w be (2/(-4))/((5/2520)/(-1)). Suppose 3*h = 4*y + 132, -6*h - 4*y = -h - w. Is h a multiple of 16?
True
Let f = -118 + 58. Is 5 a factor of 1/((-2)/f*3)?
True
Suppose 0 = 5*w - 4*w + 7. Let n be 2/w + (-234)/63. Does 10 divide (-15)/n*(-16)/(-3)?
True
Let h be (-5)/(-5)*3*(-2905)/3. Is (-1)/(-4) + h/(-28) a multiple of 13?
True
Let t(f) = -37*f - 29. Let d be t(-5). Suppose -l - d = -5*l. Does 6 divide l?
False
Let y(h) = -2*h**2 + 7*h - 5. Let i be y(3). Let r be (861/(-7))/(i + 1). Suppose 3*c - r = 165. Does 16 divide c?
True
Let i be 15*(2 + (-324)/(-15)). Suppose -7*r = -4*r - i. Does 12 divide r?
False
Let x = 13 - 92. Let y = 25 - x. Is y a multiple of 26?
True
Let d(o) = -2*o**3 + 3*o**2 + 2*o - 1. Let c be d(-2). Let l = -12 + c. Suppose -l = -2*h + 19. Is h a multiple of 15?
True
Let b(o) = 54*o - 49. Is b(4) a multiple of 7?
False
Let c = 5259 - 186. Is c a multiple of 113?
False
Let t be 1/((-4)/36*-1). Suppose -45 = -5*n + u, 0*u = -n + 4*u + t. Suppose 3*k = 36 - n. Does 3 divide k?
True
Let m(o) be the second derivative of o**4 + 19*o**3/6 - 5*o**2/2 + 23*o. Is 49 a factor of m(-5)?
False
Suppose 747 = 3*x - 4*y + 104, x = 3*y + 211. Does 13 divide x?
False
Suppose 29*h - 14499 = 8266. Is h a multiple of 18?
False
Let l be 15/(-75) + 18*6/(-10). Let d = l - -161. Is d a multiple of 30?
True
Let g(n) = 154*n**3. Let d be g(-1). Let s = 269 + d. Suppose -2*c = -7*c + s. Is c a multiple of 8?
False
Let p be 1 + -1*0/1. Suppose p - 19 = -x. Is 5 a factor of x?
False
Let v = 19 + -17. Let u(d) = 3*d**3 + 3*d**2 - d + 1. Let q be u(v). Suppose -6*b = b - q. Is 2 a factor of b?
False
Let n(y) = -y**3 + 2*y**2 - y + 2. Let k be n(2). Suppose m + k*m - 50 = 0. Does 10 divide m?
True
Let z = 168 - -30. Suppose s + 131 - z = 0. Does 11 divide s?
False
Suppose -2*q + 7 = u, 5*u - 2*q + 7 = 54. Suppose -11 = -u*g + 61. Is 8 a factor of g?
True
Let t(k) = 4*k**3 + 4*k**2 + 6*k - 14. Is 10 a factor of t(4)?
True
Suppose 0*u - 1 = -u. Let c(k) = 7*k - 1. Let l be c(u). Does 19 divide (138/10)/(l/30)?
False
Let y = 58 - 61. Is 19 a factor of 3 - y*(-222)/(-9)?
False
Let v(g) = -2*g + 259. Is v(37) even?
False
Let n = -24 + 38. Suppose 6*y - 7 = -l + 9*y, 0 = -2*l - 4*y + n. Is l even?
False
Let n be (15/(-30))/((-2)/16). Suppose 0 = -s - n*s + 165. Does 11 divide s?
True
Suppose 9*j = 6*j + 63. Suppose 3 = -6*z - j. Is 13 a factor of (z - -2)*-15 + -3?
False
Let v = 3407 - 2396. Is v a multiple of 15?
False
Suppose -3*l = 3*v - 84, -v - 3*l + 53 = 15. Let b = 6 + v. Does 8 divide b?
False
Let h = -59 - -62. Suppose -246 = h*g - 690. Is 44 a factor of g?
False
Let r(v) = -4*v**3 + 6*v**2 + 9*v + 6. Does 86 divide r(-6)?
True
Suppose 4*a + 150 = -2*s, 0 = 3*s - 8*a + 4*a + 175. Let g = s - -76. Is 2 a factor of g?
False
Suppose 0 = 56*q + 39*q - 115330. Is 27 a factor of q?
False
Suppose -2*t + h - 82 = 0, 2*t + 3*h + 13 = -53. Let l = t - -80. Is l a multiple of 9?
False
Let t(a) = 2*a**3 + 11*a**2 - 7. Is t(3) a multiple of 102?
False
Let w(q) = -20*q**3 - q**2 - q. Let h = -6 - -12. Suppose h*g + 5 = g. Is w(g) a multiple of 5?
True
Let j = 425 - -4. Is j a multiple of 34?
False
Let s(x) = -x**2 - 9*x + 1. Let h be s(-9). Let n = h - -2. Let l(v) = -v + 7. Is l(n) a multiple of 2?
True
Suppose 4*x = 3*x + 81. Suppose 0 = -2*a + 73 + x. Is 11 a factor of a?
True
Suppose 4*c + 3*f + 19 = 0, -11 = 4*f + 9. Let r = 65 - c. Is r a multiple of 11?
True
Let d(m) = 4*m**2 - 5*m + 18. Is 12 a factor of d(-6)?
True
Let u = 89 + 117. Does 33 divide (-1)/(1*(-2)/u)?
False
Let n be 4 + -8 + (-10 - -4). Let k = n - -15. Suppose -a - m = -37, 0*a + k*a - 4*m - 230 = 0. Is a a multiple of 14?
True
Let n(v) be the third derivative of v**4/24 + 11*v**3/6 + 3*v**2. Let w be n(-6). Suppose -4*u = -3*u + 1, 5*u = w*l - 65. Is l a multiple of 8?
False
Let z be 0/(3 + -2) + 12. Let y(q) = -q**3 + 13*q**2 - 5*q. Let x be y(z). Suppose 4*v + 3*t - t = 118, 3*t = 3*v - x. Does 6 divide v?
False
Let p be ((40/15)/(2/6))/2. Suppose -p*g = -21 - 107. Is 8 a factor of g?
True
Let j(y) = -2*y**2 + y + 15. Let f be 9/(0 + 4/4). Let h be j(f). Does 23 divide (-36)/8*h/9?
True
Let v be (-2*(-3)/12)/((-2)/60). Is 24 a factor of (-3 - 35/v)*729/(-6)?
False
Let s(i) be the third derivative of 0 - 7/6*i**3 - 1/120*i**6 + 1/12*i**4 + 8*i**2 - 1/20*i**5 + 0*i. Does 4 divide s(-5)?
False
Let a(o) = -o**3 - 5*o**2 - 4*o + 1. Let h be a(-4). Let m be h/2 - (-623)/(-14). Let l = 74 + m. Does 10 divide l?
True
Let v be (2/3)/(14/147). Let o(q) be the third derivative of q**5/60 - q**4/4 + 7*q**3/3 + 2*q**2. Is o(v) a multiple of 12?
False
Let g(l) = -15*l + 124. Is 19 a factor of g(7)?
True
Let b be 36/(-4 - -7) - 4. Suppose -b*n + 97 = -503. Is n a multiple of 15?
True
Let m be (-1)/5 - (-16)/5. Suppose k + m = 85. Suppose t - 2*q - 20 = 0, k = 5*t + q - 40. Does 6 divide t?
True
Suppose -2*d + 234 - 18 = 0. Is d a multiple of 54?
True
Does 6 divide (236/(-10))/((19/60)/(-19))?
True
Suppose 5*t - 571 - 29 = 0. Is 6 a factor of t?
True
Let p(z) = -z**3 + 3*z**2 + 8*z + 6. Let l be p(5). Is (-67 - 11)*l/3 a multiple of 26?
True
Let d = 7 - 22. Let f = -6 - d. Suppose f*z = 4*z + 180. Is z a multiple of 16?
False
Suppose -702 = -m + 4*b, 2*m - 2*b = -b + 1425. Is 61 a factor of m?
False
Let j(b) = -47*b + 38. Is j(-5) a multiple of 21?
True
Let r = 672 + -472. Is 5 a factor of r?
True
Let l = 248 + -24. Suppose -9*c + 91 + l = 0. Is c a multiple of 7?
True
Suppose -4 = 4*v, -8*v = n - 10*v - 900. Does 24 divide n?
False
Let o(m) = m**3 + 8*m**2 - 6*m - 11. Let n be 69/(-9) - (-2)/(-6). Is 14 a factor of o(n)?
False
Suppose 15 = 4*c - w - 0, 2*w = -5*c + 9. Let i(p) = -p. Let f be i(-3). Suppose -102 = -c*x + f*l + 27, -x - 2*l + 40 = 0. Does 24 divide x?
False
Suppose 2*g - 3*g + 2432 = 10*w, -4*g - 4*w + 9584 = 0. Is 52 a factor of g?
True
Let i = -222 - -54. Let b = -55 - i. Is 46 a factor of b?
False
Let z(y) = 3*y + 64. Does 8 divide z(13)?
False
Is 2 - 39750/(-42) - (-12)/(-28) a multiple of 19?
False
Let m = -59 - -493. Is m a multiple of 7?
True
Let u(g) = -3*g**3 - 3*g**2 - 2. Let t be u(-3). Suppose 0 = -5*w - t + 492. Suppose -47 = -5*x + w. Does 12 divide x?
False
Let j = 9 + 13. Suppose 5*h - j = 68. Is 3 a factor of h?
True
Let h(g) = -g + 3. Let n be h(11). Let v = n + 10. Suppose 0 = 2*w + v - 8. Does 3 divide w?
True
Let v be 36/8 + (-5)/10. Let m be 0 - 2/(4/(-70)). Suppose 0 = -5*s + v*s + m. Is s a multiple of 7?
True
Let x = 344 + 2039. Does 25 divide x?
False
Suppose -6651 = -l - 3*g - 2250, -3*l + 13203 = -2*g. Does 30 divide l?
False
Let q(a) = -2*a**2 - a + 441. Is q(0) a multiple of 103?
False
Let b(v) = -7*v**2 + 7*v + 4. Let d be b(5). Is ((-6)/(-4))/(1/d*-6) a multiple of 14?
False
Suppose -124 = -5*n + 56. Let c be n/(-24)*16/(-3). Suppose -c*f + 4*f + 148 = 0. Does 5 divide f?
False
Let j(u) = -7*u + 2. Let l(d) = 6*d - 1. Let g(b) = 4*j(b) + 3*l(b). Is 14 a factor of g(-6)?
False
Let u(l) be the second derivative of -l**5/5 + l**4/12 + l**3/2 + 3*l**2 - 32*l. Does 13 divide u(-3)?
False
Let w = -1563 + 2496. Is w a multiple of 59?
False
S