3 - 8*o**2 + 1. Is v(q) a multiple of 11?
False
Let u = 7938 + -6629. Does 187 divide u?
True
Let w be ((-3)/(-6))/(1*5/30). Does 15 divide ((-2)/(-4))/((-2)/(-1272)) + w?
False
Let n be (-3 - 2)*(-2 - -3). Suppose -148 + 46 = -3*r. Is 8 a factor of n/40*-4*r?
False
Let n(s) = 3*s**2 + 57*s - 1188. Is n(44) a multiple of 47?
False
Let r = -19719 - -68625. Is r a multiple of 22?
True
Let m(u) = u**2 + 10*u + 11. Let p be m(-9). Suppose p*s = -4*t + 800, -4*t + 776 = -3*s - s. Does 33 divide t?
True
Is (2478/(-35))/((-24)/160) a multiple of 4?
True
Suppose 3*j = 2*l - 21, -2*l + j + 4*j + 15 = 0. Let u be (-1)/((-10)/l)*-26. Let b = u + 63. Is 12 a factor of b?
True
Is 256 a factor of 4/(-7) + (1182848/28 - 8 - -4)?
True
Let y = 6359 - -5417. Is y a multiple of 64?
True
Suppose 0 = 272*z - 270*z + 4*a - 87546, 5*z - 5*a - 218850 = 0. Does 125 divide z?
False
Let z = 19456 + -11712. Does 37 divide z?
False
Let j = -98 + 100. Let l be 2/(-20)*-12*(-7 + j). Is 2 - 2 - (-3 + 24/l) a multiple of 3?
False
Let h(b) = -b**2 + 17*b. Let w be h(17). Let l be (2 - (-12)/(-8))*(w - -134). Suppose 3*z - l = 80. Does 36 divide z?
False
Let i(v) = -3*v**3 - 10*v**2 - 2*v + 7. Let f be i(-3). Let t(g) = 1 + 4*g**2 - 5*g + 4 - 5. Is t(f) a multiple of 9?
False
Let j(z) = 6*z - 2*z - 8 - 33*z**2 + 4*z. Let k(o) = -33*o**2 + 7*o - 7. Let h(x) = 6*j(x) - 7*k(x). Is h(1) a multiple of 33?
True
Let j(g) = -g**2 + 6*g - 1. Let r be j(5). Suppose -r*x - 4*h - 38 - 14 = 0, 2*x + 5*h = -41. Let d(o) = o**3 + 11*o**2 + 16*o + 4. Is 17 a factor of d(x)?
True
Is 5 a factor of (-175554)/(-33) + 1717/187 + -9?
True
Suppose -54*h = -55*h - 3*r + 1312, 5*h + 2*r = 6482. Is 118 a factor of h?
False
Let j be (-20)/6*(-162)/45. Is 35 a factor of 2121/j + 3/(-4)?
False
Suppose 10*c - 2 - 48 = 0. Suppose 0 = 3*y - 5*o - 184, c*y - 2*o = 2*o + 311. Is y a multiple of 9?
True
Suppose 0 = 124*p - 3681447 - 5176493. Does 91 divide p?
True
Let g = -5513 - -11672. Is g a multiple of 19?
False
Let q = -930 + 1356. Is 3 a factor of q?
True
Let n(i) = 96*i - 803. Is n(80) a multiple of 131?
False
Let a = -32 + 40. Suppose a*s + 24 - 8 = 0. Is s - -5 - (-38 + -8) a multiple of 5?
False
Suppose 0 = -d + 17 + 20. Suppose -d = n - 101. Is (-5)/(252/n - 4) a multiple of 20?
True
Suppose -21*m = 15*m + 12*m - 780000. Is 13 a factor of m?
True
Suppose 87372 = 13*s + s - 5*s. Does 147 divide s?
False
Suppose 4*h + 14928 - 15236 = 0. Is h a multiple of 3?
False
Let s(n) = -n**2 - 20*n - 40. Suppose -y + 7 = 3*m + 26, 5*y - 4*m = -38. Is 10 a factor of s(y)?
True
Let s = -42 - -45. Suppose 5*y = 0, 15 = -s*j + 8*j - 4*y. Suppose -25 = -j*z + 179. Does 19 divide z?
False
Let n = -142 - -100. Let m be 3/(-6)*(1 - -4)*16/(-20). Is (-50)/(m/1)*n/10 a multiple of 13?
False
Is 8 a factor of (-2 - 7 - -8) + (-8 + 3 - -16222)?
True
Let d(i) = -i**3 - 15*i**2 + 16*i - 49. Is d(-18) a multiple of 9?
False
Let j be ((-5)/(-10))/((20/14176)/5). Suppose -6*b = 362 - j. Does 47 divide b?
True
Suppose 2 - 11 = -9*k. Let w = k + -44. Let h = w - -75. Is h a multiple of 22?
False
Let o = -30 - -227. Suppose -1958 = o*h - 208*h. Does 11 divide h?
False
Let c(t) be the second derivative of t**5/20 - 11*t**4/12 - t**3/6 + 11*t**2/2 - t. Let d be c(11). Suppose d = 4*f - 81 - 175. Does 32 divide f?
True
Let b(i) = -12 - 4*i + 3*i + 6*i - 4*i. Let j be b(-14). Let w = 4 - j. Does 8 divide w?
False
Suppose -3*h + 25951 = -2*z - 11925, 3*z + 25259 = 2*h. Does 9 divide h?
False
Let w(l) = 37*l - 365. Let i be w(10). Suppose -1243 - 3937 = -i*p. Does 8 divide p?
False
Let r(v) = -v**3 + 27*v**2 - 22*v + 20. Is 6 a factor of r(25)?
True
Let n(h) = h**3 - h**2 - h + 1. Let d(c) = 3*c**3 - 2*c**2 - 7*c + 8. Let v(p) = d(p) - 2*n(p). Let b be v(-3). Does 40 divide (-5)/((-70)/3924) - b/(-21)?
True
Let o(j) = -j**3 + 44*j**2 - 44*j + 57. Let b be o(43). Suppose l - 4*d = 102, -3*l + 16*d - b*d + 286 = 0. Is l a multiple of 4?
False
Let t(a) = -7*a**2 - 14*a - 2. Let s be t(-5). Let j = -34 - s. Is j a multiple of 5?
False
Suppose 1455*z + 106640 = 1495*z. Is 81 a factor of z?
False
Suppose -2*w - 2*w - 2*f - 120 = 0, -2*w = -3*f + 44. Does 14 divide 693/42*w/(-3)?
True
Let g be ((-119)/28 + 3)/((-1)/4). Suppose 0 = -5*u + 2*l + 950, 2*l + 950 = g*u + 5*l. Is 10 a factor of u?
True
Let y(b) = b**3 - 96*b**2 + 243*b + 80. Does 56 divide y(96)?
True
Suppose 107139 = 31*o - 23991. Does 18 divide o?
True
Let q = -17 + 17. Suppose q = -22*c + 18*c - 772. Let z = -76 - c. Does 29 divide z?
False
Let v(d) = -318*d - 2132. Does 14 divide v(-7)?
False
Does 84 divide ((-268)/10)/(-5 + 1419/285 - 0)?
False
Let u(y) = 2*y**3 - 87*y**2 + 40*y - 155. Is 11 a factor of u(45)?
False
Let z(w) = w**3 + 10*w**2 + 9*w + 8. Let y be z(-9). Let t(o) = -8*o + 58. Let a be t(y). Does 4 divide a/(-12) + 81/2 + 2?
False
Suppose 0 = -21*l - 2*l + 144*l - 1179992. Is 106 a factor of l?
True
Suppose 0 = 43*k - 51*k - 24. Does 19 divide -93*50/(-18) + 1/k?
False
Let d = 372 + 36. Suppose 7*l = 5588 - d. Is 74 a factor of l?
True
Let d(j) = -j + 10. Let s be d(5). Suppose -2*c + 2341 = 5*a, 678 = 5*a - s*c - 1642. Is 18 a factor of a?
False
Suppose 4*h + 2*j + 20699 = 120009, 3*h - 74472 = -5*j. Does 70 divide h?
False
Let v = 24060 + -16320. Is v a multiple of 30?
True
Suppose 2*w = 2, 4*w - 8 - 8 = -4*x. Suppose 0 = -r - 2, 0*g - g = -x*r - 10. Suppose -3*s + 166 = 3*o + g, 159 = 3*o + 2*s. Does 33 divide o?
False
Let o(n) = 5*n**2 - 19*n + 2. Let i be o(9). Is i - (0 + (-5 - -1 - -8)) a multiple of 8?
True
Is 26 a factor of 2 + 7 + (-5 - 0) - (-4570 + -5)?
False
Let n be 228/(-84) - 2/7. Let t be (-1)/(((-12)/44)/n). Is -1*(-4)/22 - 2176/t a multiple of 9?
True
Suppose 1 = 5*s + 21. Let c be 39/9 + s + (-28)/(-6). Suppose -2*r - 620 = -c*l, 0*l - r = l - 131. Does 14 divide l?
True
Suppose 2*o - 3*u = 32 + 5, -4*u - 76 = -4*o. Let k(i) = i**2 - 27*i + 38*i + o - 25*i. Does 5 divide k(15)?
True
Let n = 1642 - 927. Let x = 1099 - n. Is 32 a factor of x?
True
Suppose -71*z + 79*z = 50624. Suppose 2432 = 5*t - z. Does 100 divide t?
False
Let i(y) be the third derivative of 7*y**4/2 + 5*y**3/2 - 6*y**2 + 3*y. Is i(1) a multiple of 9?
True
Let y(h) = 7*h - 15. Let i be y(6). Let l = 6 - i. Is (13/7 - -1)/(l/(-147)) a multiple of 10?
True
Let i(m) = 2454*m**2 + 5*m - 34. Is i(2) a multiple of 14?
False
Let f(y) = -y**3 - 5*y**2 - 12*y - 14. Suppose -3*k = l + 18, -4*k = -0*k - 3*l + 37. Does 24 divide f(k)?
True
Let r = -81 + 83. Suppose 2*c - 5*p = -r*c - 1049, 5*c = 5*p - 1305. Let z = -136 - c. Is 30 a factor of z?
True
Let u(f) = 13*f**2 + 22*f + 15. Let v be (-1)/((-40)/16) + (-33)/(-5). Is u(v) a multiple of 31?
True
Let c be (-2)/(4/(-22) + 36/(-44)). Suppose -431 + 1281 = 5*w - 2*p, -c*w - 3*p + 340 = 0. Is 9 a factor of w?
False
Suppose 81*y - 92*y + 22 = 0. Suppose 0 = y*f - 204 - 92. Does 37 divide f?
True
Let g = 24 + -19. Suppose -p + 3*w + 16 = -w, 0 = 2*p - g*w - 23. Suppose -17 = -a + p*o + 61, 298 = 5*a + 3*o. Is a a multiple of 9?
False
Suppose -19799*l + 19807*l - 63896 = 0. Does 14 divide l?
False
Suppose -8 = -d - 2*j + 2, 0 = j - 1. Let t(a) = 5*a**2 + 10*a - 16. Is 16 a factor of t(d)?
True
Suppose 7*o = -6*o + 403. Let i(f) = 2*f**2 - 60*f + 28. Is 11 a factor of i(o)?
False
Suppose 19*j - 24174 = 144090. Is 54 a factor of j?
True
Suppose -773*z + 793*z - 7800 = 0. Is z a multiple of 15?
True
Suppose 23983 = 8*f - 11793. Is f a multiple of 52?
True
Does 38 divide (3888/189)/(3180/(-1064) + 3)?
True
Let y = 10 - -8. Suppose -4*x + 2*h - 72 = -6*x, 0 = 3*x + 4*h - 105. Let g = x - y. Does 7 divide g?
True
Let u(z) be the third derivative of -z**6/120 + z**5/12 + z**4/24 + 29*z**3/6 - 65*z**2. Does 4 divide u(5)?
False
Let h(i) = -4*i. Suppose 3*w + j = 1, 2*j = 2*w + 7*j + 8. Let t be (-5)/(-15)*(-9)/w. Is 4 a factor of h(t)?
True
Suppose o - 3*l - 3296 = l, -5*l = 4*o - 13205. Is o a multiple of 25?
True
Suppose -87 = 5*z + 48. Let o be -3 + (-50)/(-18) + (-6)/z. Suppose u = f - 80, 4*u - 16 = -o*u. Is 12 a factor of f?
True
Let h(d) = 20*d**2 - 120*d - 370. Let f(t) = -7*t**2 + 40*t + 123. Let s(v) = -17*f(v) - 6*h(v). Does 28 divide s(20)?
False
Let l(s) = 15*s**2 - 20*s + 21. Is 13 a factor of l(-15)?
False
Let x(c) = -c**3 + 13*c**2 + 