+ 36. Let a be p(-17). Let o(i) = i**3 - 17*i**2 - 40*i + 43. Let h be o(a). Suppose -h*t + 521 = 26. Does 36 divide t?
False
Let o be 9 + -11 + (10 - 2). Suppose 18*b = o*b + 3204. Is b a multiple of 10?
False
Let f = -78 + 81. Let v(q) = q**3 - 5*q**2 + 2*q + 10. Let b be v(f). Is 54 - (-8 + 5 + b) a multiple of 28?
False
Suppose -7 - 8 = 5*m + t, 0 = -2*t. Let k be (0 + -2 - m)/(3/(-30)). Does 3 divide (0 - 0) + 5 - k?
True
Let n = -5 - -10. Suppose 115 = 10*y - n*y. Suppose k - 5*k = -2*h + 4, 4*h - 5*k = y. Is 4 a factor of h?
True
Suppose -8*b = -4*b + 20. Let i = b - -30. Suppose -z + 33 = -4*p, -60 = -3*z - 2*p + i. Does 5 divide z?
False
Let v be 1/(-4) - 9256/(-96)*3. Let c = -135 + v. Is c a multiple of 14?
True
Let q = 8 + -7. Let j be q/(-3 - 964/(-320)). Let n = j - 52. Is n a multiple of 7?
True
Suppose 12*n - 5*b - 30109 = 9*n, -2*n = -2*b - 20066. Is n a multiple of 137?
False
Is 75 a factor of 232509/41 - 4/(-82)?
False
Does 61 divide ((1178640/25)/(-18))/(4/(-10))?
False
Suppose 58 = -5*y + 358. Let b = -52 + y. Suppose b*x - 275 = 3*x. Is 11 a factor of x?
True
Suppose 0 = -q + 6*q. Suppose -o + c + 70 = q, 4*o + c = 284 + 6. Is o a multiple of 12?
True
Suppose -54*g + 55*g - 20 = 0. Suppose 149 - g = -3*m. Let u = -23 - m. Is u a multiple of 8?
False
Suppose -5*i = 2*g - 7510, -i + 610 + 870 = -4*g. Is i a multiple of 3?
True
Let a be ((-24)/(-7))/((-14)/49). Let k = 39 - 23. Let f = k + a. Is f even?
True
Suppose 2*f + 50*b = 53*b + 5233, 5*f + b - 13125 = 0. Is f a multiple of 41?
True
Let j = 117 + -117. Suppose j = -m + 4*m - 3, -u + m - 7 = 0. Does 8 divide ((27/6)/3)/(u/(-224))?
True
Suppose 3*z = -2*z + 3*b - 2190, 887 = -2*z - b. Let i = 1008 + z. Does 17 divide i?
False
Suppose 547*q - 540*q = -2366. Let b be 1/((-3)/858)*2. Let m = q - b. Is m a multiple of 18?
True
Let t(y) = 7*y**3 - 4*y**2 - y + 14. Let v(g) = -g**3 + g**2 - 1. Let p(f) = -t(f) - 5*v(f). Suppose -j = 281 - 277. Is p(j) a multiple of 11?
True
Suppose 2671166 = 341*y - 2031906. Is y a multiple of 32?
True
Let i(l) = -102*l - 74. Suppose -2*d + 5*y + 15 = 0, 5*d + 23 = -3*y - 17. Is i(d) a multiple of 40?
False
Let f(j) be the third derivative of j**5/20 - 5*j**4/24 + 4*j**3/3 + 2*j**2 + 11. Let p = -5 - -8. Is 20 a factor of f(p)?
True
Is 30 a factor of (-2157600)/(-31)*(-12)/(-30)?
True
Let b(g) = 194*g + 42. Let x be b(-5). Is x/(-12) + (-4)/(-6) a multiple of 6?
True
Let d(h) = 151*h**2 - 23*h + 226. Does 66 divide d(7)?
False
Let p = 26 - 9. Let t(g) be the first derivative of g**4/4 - 17*g**3/3 + 3*g**2/2 + 10*g - 53. Is t(p) a multiple of 24?
False
Let o(q) = q + 15*q**2 - 2*q + 22 - 139*q**3 - 24*q + 140*q**3. Is 54 a factor of o(-16)?
False
Let d(i) = -25*i**3 + 14*i**2 + 45*i + 228. Is d(-6) a multiple of 6?
True
Suppose 3*i - 5*q = i + 23, -3*q - 11 = -4*i. Let g be i*3 - ((-60)/6 - 0). Suppose g*r + 74 = 578. Does 9 divide r?
True
Let f = 98928 + -70557. Is f a multiple of 49?
True
Suppose -8*c + 5*c = -9. Suppose z = -z - c*z. Suppose 0 = -w - 3*w - 4*d + 232, -2*w - 5*d + 119 = z. Is w a multiple of 19?
True
Suppose -46 = 4*z - 62. Suppose -82 = z*n - 86. Does 10 divide n - 1 - (-251 + 2)?
False
Let n = 17853 - 12517. Is 92 a factor of n?
True
Is 134 a factor of 2 + 24930 - ((-2)/5 - (-12)/5)?
False
Let t(x) = -x**3 + 18*x**2 - 30*x - 120. Is t(9) a multiple of 7?
False
Is (42563/93)/(3/117) a multiple of 93?
False
Let o be -5*16/(-20) + 303. Suppose 5*s - j - o = 196, j = 2. Suppose 0 = 4*y + v - 255, 3*y - 85 - s = v. Is y a multiple of 8?
False
Let g = 7735 + 23322. Is 163 a factor of g?
False
Does 5 divide (-3)/(-2)*-4 + 32087/11?
False
Is 18118 - -3 - (4*(-1)/4 - 4) a multiple of 18?
True
Let o(c) = 3*c + 8716 - 8742 + c. Let v be o(8). Suppose 5 - 185 = -v*y. Is 7 a factor of y?
False
Let x = 67 - 73. Let c be -83*(-2)/(x + 4). Let i = -36 - c. Is i a multiple of 5?
False
Suppose -12 = -2*b - 2*b, -2*b = -3*h - 51. Let a = 295 + h. Is a a multiple of 40?
True
Is (4 + 1 + -5 + 375)*3710/159 a multiple of 14?
True
Suppose 5*i + 0 = 5*v + 15, 0 = v - 1. Let a be (i - 35/5)*2/(-3). Does 9 divide (-6)/15 - a*(-432)/10?
False
Does 114 divide 1105/((-14)/308*-11)?
False
Suppose -5*w + 0*o = 4*o - 8, -2*o - 22 = -4*w. Suppose 10 = -5*p, 2*y - w*p - 47 = -y. Is y a multiple of 13?
True
Let n = -326 + 334. Suppose -207 - 7001 = -n*h. Does 17 divide h?
True
Let z = 3726 - 2072. Let y be z/16 - 6/16. Suppose 2*b + 2*p = 10 + 28, -4*b = -5*p - y. Is b even?
True
Let n = 624 + -445. Let j = n - 142. Is 37 a factor of j?
True
Let s = 160 - 88. Let r = 227 - s. Does 5 divide r?
True
Let r = -353 + 345. Is (r/(-8 - 0))/(2/444) a multiple of 6?
True
Suppose 30*f - 26*f - 39 = -3*a, a - 5 = 0. Suppose -7 = -5*n + 3. Suppose f = n*s - 0*s, -4*s = 3*t - 408. Is 26 a factor of t?
False
Let b(j) = -j**3 - 5*j**2 - 2*j + 2. Let d be b(-7). Let q = d - 114. Is 40 + q*(-3)/12 a multiple of 8?
True
Suppose 4*s - 1 = 5*k - 5, 2*k - 20 = -3*s. Suppose 4*m + 20 = -4*h, -22 = 4*h - k*m + 38. Let j = h - -41. Does 23 divide j?
False
Suppose -164*f + 100*f - 101898 = -81*f. Is 41 a factor of f?
False
Let m(q) = -6*q - 7. Let a be m(-2). Suppose a*x + 991 = 3*f, -5*f - x = -3*f - 652. Let v = f - 207. Is v a multiple of 21?
False
Let o be (2 + (-25)/10)*0/2. Suppose -5*i + 9 - 24 = o. Let p = i - -83. Does 16 divide p?
True
Suppose 212541 + 138108 = 81*y. Is 117 a factor of y?
True
Suppose -7*d + 8 = 50. Let p(k) = 3*k + 20. Let j be p(d). Suppose 0 = -4*b + q - 3 + 99, 4*b - j*q = 96. Is 24 a factor of b?
True
Let q(h) be the second derivative of -4*h**3/3 + 7*h**2/2 + 26*h. Let z be q(1). Is 3 + (-35 - (1 - -3))/z a multiple of 7?
True
Let f(j) = -14*j**3 - 2*j**2 - j - 7. Is f(-2) a multiple of 3?
True
Let w be 4 - 0/((-9)/3). Suppose w*p = -g + 41, -g - 3*g = 2*p - 108. Does 11 divide ((-885)/g)/((-2)/10)?
False
Let c be 36/((-80)/(-60)*(-60)/27 + 3). Let n be (-66)/(-9) - (-1)/(-3). Suppose -11*b = -n*b - c. Is 17 a factor of b?
False
Suppose j = -3*h + 8373, -4*j - 404*h + 405*h = -33609. Is 3 a factor of j?
True
Suppose -90*h + 98*h = 1136. Let n = h - 76. Is n a multiple of 13?
False
Let x be (7 + -3 - 1) + (-1680)/(-8). Is x/4 + 20/(-80) a multiple of 10?
False
Suppose r = -4*m + 128, -85 = -4*m - 2*r + 47. Suppose m*h = -3 + 685. Is 2 a factor of h?
True
Let g(v) = -v**3 + 21*v**2 + 20*v + 47. Let j be g(22). Let p be 2612/14 - 3*j/(-21). Let y = 272 - p. Does 13 divide y?
False
Let i = 4097 + 1225. Is i a multiple of 23?
False
Suppose 5*t - 7 = -5*a - 177, -75 = 2*a - 5*t. Let x = -36 - -21. Is 6 a factor of (12/x)/(2/a)?
False
Let t = 77 - 46. Let x = 37 - t. Suppose 0 = -0*a - x*a + 276. Is 10 a factor of a?
False
Is 113 a factor of (-1805740)/(-188)*(0 + 4)?
True
Let q be (1 - 5 - (-8)/1) + -9. Let c(k) = -29*k - 89. Does 26 divide c(q)?
False
Suppose 1313148 = 55*a - 9*a + 77*a. Does 34 divide a?
True
Suppose -5*h - 2*j + 15 = -0*j, -5*h + 45 = -4*j. Suppose -2 = -2*w + 2, 5*w = h*z - 1985. Does 13 divide (24/9)/(14/z)?
False
Let h be ((-45)/10)/((-27)/36). Suppose -4*v = -5*o + 2467, h*o - 5*o - v - 493 = 0. Is o a multiple of 30?
False
Let i(t) = 38*t**2 + 75*t - 149. Does 24 divide i(-8)?
False
Let b(i) = 2*i**2 - 15*i + 23. Let h be b(4). Does 9 divide (144 - 0 - h) + -5?
True
Let i(x) be the third derivative of 37*x**4/6 + 83*x**3/3 + 207*x**2. Is i(8) a multiple of 45?
True
Let g(x) = x**3 + 20*x**2 + 12*x + 9. Let t(v) = -v**3 - 21*v**2 - 11*v - 10. Let i(d) = 6*g(d) + 5*t(d). Let b be i(-14). Let m = 44 + b. Is 3 a factor of m?
True
Let y(h) = -10*h**3 + 5*h**2 - 53*h - 178. Is 8 a factor of y(-7)?
False
Let i be 36/8*6 - 1. Suppose -3*r - u + 77 = 0, 18 + i = r + 4*u. Suppose 0 = r*z - 27*z + 141. Is z a multiple of 47?
True
Let a be 1 + (16/6 - 16/24). Suppose -p = a*q - 628, 2*p - p = -q + 206. Is q a multiple of 25?
False
Let m(n) = -9*n + 86. Let z be m(9). Suppose -7*b = -r - 6*b + 420, 3*r - 1220 = -z*b. Is r a multiple of 10?
False
Let c = 831 - 823. Suppose -4*j = 2*z + 18, -5*j = -3*z + 4*z + 3. Is c/(-2) + z/((-39)/48) a multiple of 6?
True
Let l(t) = -1927*t**3 - 4*t**2 - 14*t - 8. Does 10 divide l(-2)?
True
Let g(u) = 12 - 68*u - 9 + 57*u. Is g(-17) a multiple of 10?
True
Let v(h) = 1728*h + 1202. Does 10 divide v(7)?
F