m = -8 - -36. Suppose 5*t = 3*c + 34, t + 5*c + 22 = 5*t. Suppose -4*y + m = t. Is y a multiple of 3?
False
Let o(z) = -4*z - 3. Let k be o(-3). Does 4 divide 150/8 + k/36?
False
Let b = -42 + 42. Suppose b - 12 = -o. Does 3 divide o?
True
Let k be 24/(-6) - -9*1. Suppose k*b + f - 4*f - 20 = 0, b - 2 = f. Is b a multiple of 6?
False
Suppose 5*k - 11359 = 111*u - 115*u, 0 = -5*u - 20. Is k a multiple of 7?
True
Let p = 377 - 195. Let w be 6/9 + (-26)/(-6). Suppose -p = -w*l + 4*i, -l + 2 = -i - 35. Is l a multiple of 12?
False
Let j(d) = -3*d - 19. Let n be j(-8). Suppose 85 = -0*s + n*s. Does 3 divide s?
False
Let c = -64 - -100. Let a = c + -8. Is 14 a factor of a?
True
Suppose -4 = o, 38 = -a - 2*o + 6*o. Let k = a - -78. Does 4 divide k?
True
Let b be (8 - 3) + 0/(-2). Let l be b/15 + (-4)/(-6). Is 11 a factor of 2 - (3 + -34)/l?
True
Does 59 divide (-783)/(-2)*-2*-1?
False
Let s(l) = 2*l + 38. Let h be s(-21). Is (252/45)/(h/(-70)) a multiple of 7?
True
Suppose 66*y - 4727 = 39559. Does 34 divide y?
False
Let z(h) = -h + 5 - 2 - 4 + 13. Let i be z(9). Suppose 0 = i*d - 24 + 3. Is d a multiple of 5?
False
Let s(t) = -17 + 0*t - t - t + t**2. Does 9 divide s(7)?
True
Let h(y) = 29*y**2 - 7*y - 9. Is 14 a factor of h(6)?
False
Suppose 1180 = -4*u - 5*n + 5054, 5*u - 4834 = -2*n. Is 17 a factor of u?
False
Let o be 16/(-24) - 4/(-6). Suppose -22 + 50 = 4*j + 3*z, o = -3*z + 12. Suppose 137 = j*g + 21. Is g a multiple of 8?
False
Suppose 550 = 3*i - 170. Is 12 a factor of i?
True
Let r = -20 - -22. Suppose -2*u + w = 31, -2*u - 3*w - 37 = r*w. Let p(z) = -z**3 - 16*z**2 + z + 18. Is p(u) a multiple of 2?
True
Suppose 3*j = 45 + 12. Suppose -5*r + 61 = -j. Is 13 a factor of r?
False
Let j = -58 - -65. Suppose 0 = j*c + 18 - 102. Is c a multiple of 3?
True
Let b(m) be the second derivative of -3*m**5/4 - m**4/4 + m**3/6 + 2*m**2 + 48*m. Suppose u - 18 = -0*u + 4*d, 0 = 2*u - 4*d - 16. Does 12 divide b(u)?
False
Let l be ((-12)/(-8))/(12/16). Does 16 divide (12/15)/l - (-1380)/50?
False
Let x = -23 + 21. Let b be (-10)/(x + 4 + 0). Is b/(-10) - 65/(-2) a multiple of 6?
False
Suppose o = 8*o - 28. Let j(l) = 3*l + o + l**3 - 5*l - 2*l**3 + 0 - 9*l**2. Is j(-9) a multiple of 8?
False
Let o be 1*(2 + -3)*(-39)/(-3). Does 35 divide (73 + o)/((-1)/(-4))?
False
Let j = -27 + 30. Suppose -r = 5*m - 96, -96 = -j*m + 3*r - 24. Does 7 divide m/6*(-126)/(-15)?
True
Suppose 0 = 3*x + 2*c - 1 - 8, -3*x - 4*c = -3. Suppose -t + x*t - 40 = -3*j, 4*j + 2*t = 60. Let r = j + -8. Does 4 divide r?
True
Let t(s) = -2*s**2 + 4*s - 3. Let f be t(-4). Let g = 3 - f. Is 13 a factor of g?
False
Suppose -2*t - 8 = -k + 5, 0 = -4*k - t + 16. Does 19 divide 57*2/20*2*k?
True
Let v be ((-9)/6)/((-6)/2524). Let p = 1021 - v. Is (-30)/25*p/(-9) a multiple of 13?
True
Let w = 136 - -171. Let j = -158 + w. Does 41 divide j?
False
Let w = -598 + 653. Is w a multiple of 12?
False
Let i be (4 + -2)*(-5)/2. Let g = 6 - i. Let l = g - -10. Is l a multiple of 8?
False
Let n(b) = -35*b - 2. Suppose 0 = -9*a - 60 + 24. Is n(a) a multiple of 23?
True
Let x(n) = -n**3 + 27*n**2 - 26*n - 24. Does 36 divide x(24)?
True
Let t be 4/(-3 - (-356)/120). Let k be ((-108)/15)/(18/t). Suppose k = 3*c - 5*j, -3*c - 4*j = j - 18. Is c a multiple of 11?
True
Let d(g) = g**2 + 18 - 7 - g**2 + 8*g - g**2. Suppose 26 = 4*t - 10. Is d(t) even?
True
Let n be 3 + (3 - 0) + -2. Suppose n*y + 12 - 388 = 0. Suppose -4*g = d - y, 4 = -d - d. Is g a multiple of 6?
True
Suppose 0 = -8*f + 3*f - 140. Let d be 24/(-2)*f/6. Let s = d - 17. Is s a multiple of 14?
False
Let q(h) = 3*h**3 + 3*h**2 - 3*h + 4. Let f(r) = r**3 + r + 1. Let w(x) = -2*f(x) + q(x). Does 3 divide w(2)?
True
Suppose 3*o + o = 12, -3*o = -3*z + 1113. Is z a multiple of 34?
True
Let g(c) = -6*c - 4. Let i = 7 - -9. Let b = 9 - i. Does 19 divide g(b)?
True
Let i(k) = 9*k**2 + 7*k + 102. Is 38 a factor of i(12)?
True
Suppose -x = 5*u - 24, -x + 3*u = 6 + 2. Suppose 0 = x*q - 8*q + 80. Does 10 divide q?
True
Let y(q) = 29*q**2 + 59*q - 287. Does 76 divide y(6)?
False
Let u(c) = c**3 - 5*c**2 + 11*c - 5. Is u(7) a multiple of 37?
False
Suppose -878 = -4*s - 518. Does 15 divide s?
True
Let j(l) = l**2 + 12*l - 2. Let f be j(-4). Let g = 59 + f. Is 3 a factor of g?
False
Suppose -5*g + 5*y + 1021 = -1749, -2*g + 4*y = -1110. Does 79 divide g?
True
Let p = 145 - 85. Is p a multiple of 4?
True
Let z be (-12)/(-30) - (-1278)/5. Suppose 4*g - 12*g = -z. Is g a multiple of 32?
True
Let u(q) = -q - 3. Let v be u(-6). Suppose -3*o = v*o - 462. Is 21 a factor of o?
False
Suppose 5*a + 74 = 4*v + 1102, 3*a - v - 621 = 0. Is 8 a factor of a?
True
Let w(v) = -v + 2. Suppose -4*b + 2 = -6. Let t(d) = 1. Let k(q) = b*t(q) - w(q). Does 7 divide k(8)?
False
Let z be 130/2 - 15/3. Suppose 4*j - z = -2*o, 5*o - 60 = -4*j + 2*o. Is j a multiple of 4?
False
Suppose 2*z = -2*q - 52, 0 = 5*q - 0*z - z + 124. Let a = q + 27. Suppose 0 = a*y - y - 4. Is 2 a factor of y?
True
Let u = -37 + 45. Suppose -4*l - 96 = -u*l. Does 3 divide l?
True
Suppose 0 = -3*l - 9*l + 408. Suppose -9*t - l = -241. Is 5 a factor of t?
False
Let b(t) = -2*t**3 + 2*t**2. Does 16 divide b(-4)?
True
Let v(i) = -5*i**2 - 5*i - 6. Let g be v(-5). Let j = g - -171. Is j a multiple of 15?
False
Let z(l) = -19*l + 540. Is z(0) a multiple of 18?
True
Let r = 658 - 534. Is r a multiple of 14?
False
Suppose -19*x = -6*x - 5746. Does 4 divide x?
False
Let y = 32 + -28. Is 2 a factor of y*(-15)/(-40)*2?
False
Let c(b) be the first derivative of b**3/3 + 11*b**2 - 39*b - 9. Does 16 divide c(-27)?
True
Suppose 0 = -211*k + 205*k + 936. Does 10 divide k?
False
Suppose 0 = 5*o - 0*o - 5, -y = 3*o + 149. Let p = 264 + y. Does 12 divide p?
False
Let f = -240 - -437. Is 65 a factor of f?
False
Suppose 5*r - 2*g + 11 = 2*g, 0 = -4*r + 4*g - 8. Is 6 a factor of 360/32 + r/(-4)?
True
Is 12/(-24)*134*-3 a multiple of 18?
False
Let y(d) = 8*d + 4. Let q be y(2). Suppose 2*z - 4*z = -92. Suppose q = f - z. Does 11 divide f?
True
Suppose 4 - 9 = p. Let w(i) = -i**2 - 8. Let z(h) = h**2 + h + 15. Let b(j) = p*w(j) - 2*z(j). Is 19 a factor of b(-5)?
True
Let w = 2 + 6. Let u be w/3 - (-6)/(-9). Is (-234)/(-9) + (u - 0) a multiple of 14?
True
Suppose 4*q + 164 = 5*m - m, 2*m + q = 76. Let k = m - 14. Is k a multiple of 9?
False
Let t = 73 - 67. Does 8 divide 3/t + ((-3724)/8)/(-7)?
False
Suppose 0 = 4*c + 4*b - 5764, 4*c + 4*b + 1436 = 5*c. Is 26 a factor of c?
False
Suppose 2*g - 3 + 2 = m, -4*g = 2*m - 14. Suppose 5*l + 5*h = 40, 4*h = -m*l + 2*h + 19. Suppose -87 = -l*f - 0*f. Is 29 a factor of f?
True
Let m be 2/6 - 1379/(-21). Let w = 119 - m. Is w a multiple of 13?
False
Suppose 5*v + 62 = 17. Let y be (2/(-3))/(1/v). Suppose 0 = 5*w - 2*g - 228, g + y = 2. Is w a multiple of 11?
True
Let d(v) be the third derivative of v**6/120 - 2*v**5/15 + v**4/4 + 3*v**3/2 + 4*v**2. Let i be d(7). Does 13 divide (1 - (-37)/2)*i?
True
Let h(l) = -l**3 - 8*l**2 + 7*l + 9. Let u be h(-7). Let q = -50 - u. Does 37 divide q?
False
Let f = -52 + 97. Let y = -26 + f. Is 2 a factor of y?
False
Let n = 16 + -14. Suppose t + n*i + 14 = 5*t, i = -t + 5. Let h = t - -7. Is h a multiple of 11?
True
Let o(c) = 2*c + 17. Let a(s) = -1. Let y(v) = 4*a(v) + o(v). Let d = 4 + -4. Is y(d) a multiple of 9?
False
Let x = -163 - -265. Suppose 4*d - x = -2*d. Is 14 a factor of d?
False
Let u be -4*21/(-12) - 2. Suppose u*l + 304 = 3*t, 0 = -6*t + t + 4*l + 485. Is 12 a factor of t?
False
Suppose k - 754 = 3*t - 3778, 997 = t - 4*k. Suppose t + 839 = 11*q. Is q a multiple of 33?
False
Let m = -12 + 13. Let c be 10/(-3)*(m - -2). Is (-714)/c + (-6)/15 a multiple of 18?
False
Suppose 0 = -6*n + 305 + 1375. Is n a multiple of 8?
True
Suppose 233*l - 229*l - 28 = 0. Let u(f) = -f + 2. Let a be u(0). Does 11 divide 68*(l/a - 3)?
False
Let o(x) = 17*x**2 - x. Let f be o(2). Suppose 2*l - 204 = 4*c - 40, 3*l - 162 = 4*c. Let w = c + f. Is w a multiple of 24?
True
Let s = -8 + 13. Suppose 0*u - s*u = 2*w + 3, 3*w - 8 = 5*u. Let x = w - -18. Does 19 divide x?
True
Let r(h) = -84*h - 90. Is 9 a factor of r(-9)?
True
Let v(b) = b**2 + 18*b + 10. Let x be v(-17). Is 25 a factor of 8/(-28) - (1276/x - -2)?
False
Suppose -12 = 3*i, -w + 2*i = -3*w - 8. Suppose -d =