of t(o)?
True
Let p(v) = -3*v + 18. Let s be p(-11). Let t = s - 80. Let f = -27 - t. Is f a multiple of 2?
True
Let v(x) = -9*x**2 + 6*x + 5. Let c(l) = -8*l**2 + 5*l + 4. Let w(z) = 5*c(z) - 4*v(z). Let k be w(6). Let m = -89 - k. Does 11 divide m?
False
Let r = -12 - -18. Suppose 138 + 0 = r*m. Is 23 a factor of m?
True
Let f(p) = -p**3 + 10*p**2 - p + 2. Let o be f(10). Let z = o - -38. Does 5 divide z?
True
Let v(q) = q**3 - q**2. Let p(w) = -4*w**3 + 9*w**2 + w - 3. Let a(y) = p(y) + 3*v(y). Let s be a(6). Suppose -s*i + 19 + 8 = 0. Is i a multiple of 9?
True
Suppose j - 3*q + 26 = 2*j, 4*j - 2*q - 118 = 0. Let y = j + -13. Is y a multiple of 14?
False
Let y = 60 + -19. Suppose 255 + y = 2*t. Is 37 a factor of t?
True
Suppose 2341 - 6608 = -17*r. Is 7 a factor of r?
False
Let o(i) = -2*i**2 + 4*i - 1. Let q be o(2). Is q/(-2)*-27*(-32)/3 a multiple of 16?
True
Let z(n) = n**2 - 3*n + 22. Is 4 a factor of z(-7)?
True
Let t = -14 + 14. Suppose -3*r + t = -6. Suppose -r*q - 2*q = -208. Does 16 divide q?
False
Let y be (-1)/(3 + 1158/(-387)). Let v = -88 - y. Suppose 5*k + v = 241. Does 5 divide k?
True
Let k = -1882 - -1907. Is 2 a factor of k?
False
Suppose 5*g + 34 = -5*q + 449, q - 2*g - 74 = 0. Suppose 22 + 5 = 3*p. Suppose -14*o = -p*o - q. Does 16 divide o?
True
Let g be 1*231/(-22)*20/(-2). Suppose 2*l - g = -2*f - 27, 4*l - 4*f - 116 = 0. Is l a multiple of 17?
True
Suppose 31 - 11 = 5*b, -4*z + 468 = -b. Is 8 a factor of z?
False
Suppose 2*l + 12 = -l, -2*d - 4*l = 0. Let x be -3*26*d/(-12). Suppose -5*q + 20 = n, -n + 2*q = n - x. Is 19 a factor of n?
False
Let h be -34*1*14/(-4). Let w = h - 78. Let n = -19 + w. Does 11 divide n?
True
Let g = -1 + 15. Let h = -219 - -223. Suppose -h*v = -66 - g. Is v a multiple of 6?
False
Let g = 441 + -228. Is 10 a factor of g?
False
Let v = 58 - 60. Does 39 divide 1/((-1 + 420/424)*v)?
False
Is 14 a factor of 2 + 15/(-3) - (-301 + 4)?
True
Let x = -150 - -245. Let l = 31 + x. Is l a multiple of 21?
True
Let a(i) = -i**2 - 11*i - 6. Let t be (20 - -3 - 3) + -2. Suppose 4*d = -b - t, 4*b - 3*d - 8 = -23. Does 9 divide a(b)?
False
Does 14 divide 322/((-2)/((-6)/3))?
True
Does 5 divide 1 - ((-12)/8)/(9/1764)?
True
Let h = 56 + 360. Suppose h = 4*x + 2*s, s = -x - 2*s + 99. Is 21 a factor of x?
True
Let y be 64/3 - 26/(-39). Let z = 11 - y. Let q = 43 + z. Does 8 divide q?
True
Let w(c) = 21*c + 33. Is w(7) a multiple of 12?
True
Let i(j) = j - 9. Let k be i(13). Let r be 1/(0 + k/60). Suppose 5 = 4*b - r. Is b even?
False
Let v = 149 + -71. Let o be (-37)/(-13) + 12/v. Suppose l - 7 = -o*d, -d - 14 = -2*l - 5*d. Does 2 divide l?
False
Let n(t) be the third derivative of -1/60*t**5 + 5*t**2 + 4/3*t**3 + 0 - 2/3*t**4 + 0*t. Is n(-14) a multiple of 12?
True
Suppose -2*p + 3*n + 5151 = 0, -7719 = 3*p - 6*p - 3*n. Does 22 divide p?
True
Let p(h) = 72*h + 1. Let j(q) = 4*q - 13. Let o be j(4). Suppose s + 2 = o. Is p(s) a multiple of 14?
False
Let l(r) be the third derivative of r**6/120 - r**5/15 - r**4/12 + 3*r**3/2 - 8*r**2. Is 4 a factor of l(5)?
True
Does 57 divide (-1516)/(-10) - (-46)/115?
False
Does 13 divide (-25*(-30)/(-8))/((-228)/1216)?
False
Suppose 6*w - 3894 = 1020. Is w a multiple of 39?
True
Is 11 a factor of (-126)/84 + 1*1110/4?
False
Suppose 5*f - 875 = -3*g, -3*f + g = -g - 544. Is 5 a factor of f?
False
Suppose 4*q - 2*t - 1008 = 0, 0*q - 1260 = -5*q + 2*t. Is q a multiple of 12?
True
Suppose 0 = -19*t + 20*t - 1871. Does 30 divide t?
False
Suppose 3*m - m + 1266 = o, 0 = o + 5*m - 1273. Does 31 divide o?
False
Let d(r) = 0*r**2 + 2 + 1 - 2*r + r**2. Let t be 0/(-5 + 4)*(3 + -4). Is d(t) a multiple of 3?
True
Let i = -4 - -9. Suppose 57 = 4*a + 3*u, -i*a + 0*u = u - 85. Is 2 a factor of a?
True
Let d = 30 - 16. Suppose -456 = d*q - 18*q. Does 19 divide q?
True
Is 4 a factor of (-18)/27*(-786)/4?
False
Let l(g) = 2*g**2 - 15*g + 10. Let h be l(6). Does 67 divide (4/h - 1)*-117*2?
False
Let i(a) be the second derivative of 7*a**6/360 + a**5/20 + 3*a**4/4 - 9*a. Let w(r) be the third derivative of i(r). Does 8 divide w(3)?
True
Let w = -58 - -60. Suppose w*f = -8*f + 1170. Is f a multiple of 39?
True
Is 9 a factor of 10/(-55) - (-51030)/66?
False
Let h(y) = -y + 24. Let x be h(23). Suppose 4*w + 4*i = -w + 399, -x = -i. Is 20 a factor of w?
False
Suppose -3*v = -3*g - 426, 5*g + 686 + 15 = -4*v. Let x = g - -241. Does 20 divide x?
True
Suppose 0 = 5*u + 5*v - 240, 2*v = -2*v + 4. Does 47 divide u?
True
Suppose -2*d - 69*p + 73*p = -5058, 3*p - 2509 = -d. Is 13 a factor of d?
False
Suppose 3*k - 7 = 4*p, 4*p - 2*k + 4 = 2. Suppose -4*n + 1116 = -y, -p*n - 5*y + 1420 = 3*n. Does 9 divide n?
False
Let p be ((-30)/9)/((-2)/6). Is 8 a factor of p/25 - (-143)/5?
False
Let h = -17 - -18. Is 0 - (h + (-68 - -3)) a multiple of 11?
False
Is (-6)/8 - 560979/(-948) a multiple of 36?
False
Does 27 divide (740/(-60))/((-2)/162)?
True
Suppose 19*m - 10*m = 9288. Does 86 divide m?
True
Let o(x) = 2*x + 271. Does 31 divide o(-42)?
False
Suppose -3*h - c = -8*h + 118, 4*h = -c + 98. Is h a multiple of 4?
True
Suppose -g = -2*j - 283, 0 = -4*g + g + 3*j + 849. Suppose c = 3*c. Suppose 2*y = 3*i - 100 - 66, -5*i - 3*y + g = c. Is i a multiple of 10?
False
Let x be (-2 + (-16)/(-12))*-9. Let w be (-4)/x + (-48)/(-18). Suppose -26 = -4*u - w. Is 6 a factor of u?
True
Let d(z) = 18*z**3 + 2*z**2 - 2*z + 1. Let w be d(1). Let o(l) = l + 16 + 7*l**2 - 7*l - l**3 - 5*l - w*l**2. Does 15 divide o(-11)?
False
Suppose -72 = 4*c - 16*c. Suppose 7*x = 190 + c. Is x even?
True
Let n be 2*-3*5/15. Let p(s) = -20*s + 8. Is 16 a factor of p(n)?
True
Let v = 8 + 0. Suppose v*n - 13*n + 355 = 0. Is 20 a factor of n?
False
Is 19 a factor of 4/46 + (-10480)/(-92)?
True
Let h = -1032 - -1614. Does 16 divide h?
False
Is 15 a factor of 2/(-10)*1355/(-1)?
False
Suppose 4432 = 4*l - 3*q, -l - 2*q - q + 1108 = 0. Is 9 a factor of l?
False
Let q(r) = 4*r**3 + r + 1. Let c be q(-1). Is 19 a factor of (-324)/(-7) + (c/(-7))/(-2)?
False
Let o be 8/6*1*-9. Let u = -23 + 48. Let t = u + o. Is t a multiple of 6?
False
Let d = 21 + -40. Let c = 15 + d. Is (4/6)/(c/(-210)) a multiple of 15?
False
Suppose -192 - 432 = -4*g. Let y be (g/15)/((-4)/(-20)). Suppose -m - m + y = 0. Does 13 divide m?
True
Suppose d - 4*d = -69. Suppose 0 = -g - 5 + d. Does 7 divide g + -3 + 3 - 2?
False
Let q(l) = l**2 - l - 8. Let j be q(3). Does 10 divide ((-19)/((-152)/(-240)))/(j/6)?
True
Let h(k) = 31*k**3 + 2*k - 1. Let a be h(1). Suppose 2*n + 38 = 4*n. Let j = a - n. Does 6 divide j?
False
Let a be (-4 - -3)*-7*1. Suppose -t = a + 8. Is (-234)/t - 6/(-15) a multiple of 4?
True
Suppose 78 = 5*z - 2*s + 13, -2*s + 1 = z. Suppose 0 = -m + g - 2, -4*g = -6*m + 3*m - z. Is m even?
False
Let r(k) = k**3 + 10*k**2 + 9*k + 2. Let a be r(-9). Does 3 divide ((-12)/8 + 3)*a?
True
Let j(p) = 19*p**3 + 3*p**2 - 3*p. Let o be j(-6). Is (o/204)/((18/(-40))/3) a multiple of 13?
True
Let x be 2*((-4)/((-8)/(-6)))/(-2). Is 31 a factor of (x - 0)*(-544)/(-51)?
False
Suppose 20*j - 2436 = 14*j. Does 29 divide j?
True
Suppose -5*u = -14 + 4. Suppose 20 = -q + u*q - 3*n, -3*q + 2*n = -53. Let g = -6 + q. Does 3 divide g?
False
Suppose i = 2*i + 2*b, 5*i - 5*b = 30. Let m(t) be the third derivative of t**4/8 + 4*t**3/3 + 7*t**2. Does 5 divide m(i)?
True
Suppose -158*g + 174*g = 4800. Does 12 divide g?
True
Let n be 5 - (-1*4 - -1). Suppose 2*w = 2, 0 = d - 3*d + 2*w + n. Let u(f) = 9*f + 1. Does 21 divide u(d)?
False
Let k(o) be the second derivative of 3*o**5/20 - o**4/6 - 7*o**3/6 + 2*o**2 - 5*o. Is k(4) a multiple of 8?
True
Let m(v) = -2*v. Let x be m(5). Let r be (72/x)/((-3)/(-15)). Let l = -26 - r. Is l a multiple of 5?
True
Suppose 4*p - 7 = -3*q + 13, 0 = -5*q + 5*p + 10. Does 5 divide (-6 + q + 7)*2?
True
Suppose 56 = 97*u - 101*u. Let a be 11/(((-1)/(-2))/1). Let l = a + u. Is l a multiple of 4?
True
Let u be (-4)/8*(-7 - 1). Let w be (34/u)/((-10)/(-20)). Let d = 32 - w. Does 5 divide d?
True
Let v(d) = 3*d**2 - 8*d - 5. Let p be v(5). Does 4 divide p*(0/(-6) + (-3)/(-6))?
False
Suppose -24*a = -22*a. Suppose s + 3*w = -0*s + 18, 4*s + w - 28 = a. Does 3 divide s?
True
Let t(q) = 4*q**2 - 4*q + 1. Let o be t(4). Let p(h) = 24*h - 691. Let b be p(28). Let s = 