et n be p(-6). Let r = n + f. Does 14 divide r?
False
Suppose -5*t - 2*p + 25 = 0, -2*t - 5*p + 1 = 12. Suppose 0 = r - t + 1. Suppose -r*c + 3*c + 21 = 0. Is c a multiple of 5?
False
Suppose 13*y + y - 224 = 0. Is y a multiple of 3?
False
Let l be (0/(-1))/(-2) - -1. Suppose -p = w - l, 12 + 19 = 4*p - 5*w. Suppose 2*z + 5*x = -13, p*z - 5*x + 3*x - 34 = 0. Does 6 divide z?
True
Does 13 divide ((-3068)/(-6))/((-144)/(-216))?
True
Let t = -211 + 365. Let v = -110 + t. Is v a multiple of 5?
False
Let n = -1242 + 2100. Does 13 divide n?
True
Let w(q) be the first derivative of 2*q**3/3 + 9*q**2/2 + 13*q + 20. Is 12 a factor of w(-7)?
True
Let l(z) be the second derivative of -z**4/12 - 13*z**3/6 + 13*z**2 + 2*z + 3. Does 19 divide l(-12)?
True
Let x(w) = w**2 - 12*w + 67. Does 32 divide x(23)?
True
Suppose g = -3*g - 212. Let z = g - 331. Does 25 divide (-2)/(-2 + z/(-194))?
False
Let g = 121 - 66. Suppose 0 = -u - 2*k + 22, -5*u = -k - 44 - g. Is u a multiple of 20?
True
Let h(y) = y**3 + 10*y**2 - 8*y + 14. Is h(-8) a multiple of 19?
False
Is -2 + 15620/24 + (-10)/12 a multiple of 6?
True
Let c = -18 - -44. Suppose 576 = -c*v + 30*v. Is v a multiple of 18?
True
Suppose -5*z = -3*z - 3*s - 1009, -2*z + 1012 = -4*s. Does 100 divide z?
True
Let s = -61 - 41. Let p = 198 + s. Is p a multiple of 8?
True
Suppose 44 - 8 = 2*m - 4*h, -2*m = -2*h - 36. Let v = 16 - m. Does 8 divide (-3)/6 + (-69)/v?
False
Suppose 326 = 5*a + p + 117, -12 = -3*p. Suppose a = s + 8. Is s a multiple of 2?
False
Let u = 1396 - 829. Is 12 a factor of u?
False
Is 26 a factor of 54548/39 + (-56)/(-24)?
False
Let g(i) be the first derivative of -i**4/4 - i**3 - i**2/2 + 2*i + 3. Let x be g(-3). Suppose 4*r - x*r = -14. Is r a multiple of 3?
False
Let i(a) = a**3 - 15*a**2 + 14*a - 3. Let w be i(14). Let y(k) = 6*k**2 + 3*k + 3. Let c be y(w). Is 20 a factor of (60/16)/(9/c)?
True
Let h(d) = -8*d**2 - 1. Let t be h(1). Let v be -2 + t/(-1) - 3. Suppose v*s - 63 = s. Is s a multiple of 8?
False
Let f = 31 + 12. Let h = -32 + f. Is 4 a factor of h?
False
Suppose -4*h + 2*h + 11 = 3*l, -2*h - 14 = -2*l. Let u(p) = -6*p**3 - p**2 - 2*p + 2. Is 25 a factor of u(h)?
True
Suppose 51*p - 3080 = 43*p. Does 13 divide p?
False
Let q = -106 + 103. Suppose -j = p - 2, 4*p = 3*p + 3*j + 10. Is p - 6 - (-35 + q) a multiple of 9?
True
Let y(r) = -r - 3. Let k be y(-2). Let j(u) = -68*u + 2. Is 10 a factor of j(k)?
True
Let z(o) = o**3 + 4*o**2 - 2. Suppose -80 = -5*d - 3*n + 5*n, 5*d + 3*n = 55. Suppose 5*k + 1 + d = 0. Does 3 divide z(k)?
False
Suppose -x = 4*m - 12, x + 3*x + 5*m = 15. Let r be -2 + x + -1 + 3. Suppose 2*s = -s - 3, r = 2*n - 4*s - 118. Does 19 divide n?
True
Let l(n) = 9*n**2 - 3*n - 10. Let f be l(6). Suppose f - 1066 = -5*w. Is 14 a factor of w?
True
Suppose -6*k + 3049 - 1009 = 0. Is k a multiple of 12?
False
Let d(n) = 10*n - 19. Let t be d(10). Suppose -t = 6*y - 9*y. Suppose 0 = -y*u + 24*u + 189. Is u a multiple of 11?
False
Let z = 282 + -530. Let n = z - -355. Does 31 divide n?
False
Suppose -29*i + 7816 = -14659. Does 10 divide i?
False
Suppose 2*v = 3*v - 5. Suppose -5*k = v*l - 15, 2*l = 2*k + 1 + 13. Suppose 4*a - s - 4*s = 150, -5*s = l*a - 165. Is a a multiple of 22?
False
Does 10 divide 9304/6 + 12/(-18)?
True
Let q(y) = 53*y**2 + 71*y + 606. Is q(-8) a multiple of 14?
True
Let i be 22/(-110) - (-42)/10. Suppose 5*l = x - 223, -x + 4*l + 1010 = i*x. Is x a multiple of 22?
True
Let g be ((24/(-3))/(-8))/((-2)/(-842)). Let u = -151 + g. Is u a multiple of 30?
True
Suppose 7*h - 4102 = -0*h. Is 33 a factor of h?
False
Suppose -34 = 3*z + 2*f - 674, 2*f = -4*z + 850. Suppose 0 = -6*i + 3*i - z. Let h = -8 - i. Is 31 a factor of h?
True
Let r be 13922/10 - (-4)/(-20). Suppose -5*z + r = 7*z. Is 22 a factor of z?
False
Let o = 695 - 496. Suppose 4*l + 2 + 6 = 0, 2*l - o = -f. Is 16 a factor of f?
False
Suppose 6*t - t - 25 = 0. Suppose -6 = n + t*i + 8, i + 10 = -n. Let a(f) = -f**2 - 12*f + 6. Is 11 a factor of a(n)?
True
Suppose b - 3 = -3*w + 12, 4*w - 20 = 5*b. Suppose -w*k = 2*k - 1792. Is 16 a factor of k?
True
Suppose -q - 3*q + 51 = 3*i, 3*q + 2*i = 38. Suppose 4*x - 160 = g, 2*g - q = -4. Suppose -x = -4*o + 167. Does 13 divide o?
True
Let o = 110 + -106. Suppose -75 = -o*r + 245. Does 5 divide r?
True
Let s(v) = v**2 - 11*v. Let c be s(11). Suppose b = 2*b, 2*u - 3*b - 72 = c. Is u a multiple of 14?
False
Suppose 32*l - 1244 = -4*t + 33*l, 3*t - 3*l = 942. Is t a multiple of 19?
False
Let h(s) = 77*s**3 + 3*s**2 - 6*s + 5. Does 14 divide h(2)?
False
Let i be 1/6 - 322/(-84). Suppose 0 = -3*s + 3*m - i*m + 189, 0 = -s + 4*m + 50. Suppose 0*z + s = 2*z. Is z a multiple of 13?
False
Suppose -4*l - 5*o + 85 = -3*l, -4*l = 4*o - 388. Is l a multiple of 10?
True
Does 8 divide 3/9 + (2 - (-1275)/9)?
True
Let f be -2 + (1 + -30 - -1). Let b be (-1158)/f - (-2)/5. Suppose 2*m + 115 = 5*a, -b = -2*a - m + 7. Is 23 a factor of a?
True
Suppose -3*g = 0, 2244 = 3*i + 4*g - 2106. Is 80 a factor of i?
False
Let r = -14 + 18. Let s = r - 2. Does 17 divide s/(-8) - (-616)/32?
False
Let i(y) = 5 + 5*y + y**2 + 18*y**3 - 6*y - 4. Does 21 divide i(2)?
True
Does 10 divide (-46)/3*(-4455)/22 + -5?
True
Suppose -m - 403 = -3*s, 4*s = 4*m - 2*m + 536. Is 6 a factor of (s/35 + -3)*35?
True
Let h = -1537 + 3352. Is 33 a factor of h?
True
Let l(x) = x**3 + 2*x**2 - 4*x - 5. Let f be l(-2). Suppose -3*u + 38 = c, 24 = c - u - f*u. Does 10 divide c?
False
Suppose -j - 12 = 3. Let h be 154/(-1) - 6/3. Is (h/j)/((-6)/(-15)) a multiple of 23?
False
Suppose 7*m - 41 - 197 = 0. Let x = m - 32. Suppose 0 = -x*b + 16 + 20. Is b a multiple of 5?
False
Let j(i) = 602*i - 48. Is 6 a factor of j(2)?
False
Let z(r) = 10*r - 2*r**2 + 6*r**2 + 5*r**3 - 10*r**2 + 1 - 15. Does 21 divide z(4)?
False
Let o = 25 + -21. Suppose -5*g = 3*j - 112, -104 = -o*g + 4*j - 8. Does 9 divide g?
False
Let f = 35 + -36. Suppose 5 = -2*m + 1. Is 22 a factor of f/(1/88*m)?
True
Let u be 4 + -3 + 1 + -2. Is 3 a factor of 32 + u + 6/24*4?
True
Let s = -16 + 36. Suppose -2*i + s = 3*i. Let y(j) = 18*j + 8. Does 21 divide y(i)?
False
Suppose 52*s = 56*s - 6912. Does 154 divide s?
False
Is 33 a factor of 481 - (100/5)/(-10)?
False
Let z = -253 - -385. Let d be -4 + -1 + z/4. Suppose -a + d - 9 = 0. Does 19 divide a?
True
Let c be 312/(-10)*120/(-18)*22. Is 17 a factor of c/99 - (-4)/(-18)?
False
Suppose -n + 405 = 2*b - 299, -3*b = -2*n + 1394. Suppose -6*g + n = 5*h - 4*g, 2*h = -g + 281. Does 17 divide h?
False
Let n = 3 + 1. Suppose -62 - 298 = -n*f. Is f a multiple of 19?
False
Let i be -2*1*3/(-2). Let s(z) = -6*z**2 - 8 + 0*z**i + 0*z - 3*z + 5*z + z**3. Is 4 a factor of s(6)?
True
Let q be 34/6 + -1 + (-4)/6. Suppose -q*j + 368 = 2*i, 0*i + 2*i = 0. Is j a multiple of 19?
False
Let w = 129 + -63. Let j = -60 + w. Does 2 divide j?
True
Suppose 0*f + 3*f - n + 359 = 0, 6 = 3*n. Let p = -112 - f. Does 2 divide p?
False
Let p be ((-120)/((-2)/1))/1. Let b be -3 + 3 - (-49 + 1). Suppose -3*s + p = -b. Is s a multiple of 11?
False
Suppose -4*j - 8*j + 3600 = 0. Is j a multiple of 15?
True
Let q(g) = -g**3 + 17*g**2 - 4*g + 10. Does 7 divide q(16)?
False
Suppose -25 = l - 6*l. Suppose -a = -3*w + 2*a + 93, 0 = w - 5*a - 27. Suppose w = l*r - 78. Does 11 divide r?
True
Suppose -m + 8 + 172 = 2*o, -5*m + 90 = o. Does 3 divide o?
True
Let t = 22 + -12. Let r be 2/10 - (-1008)/t. Suppose 5*f = r + 29. Is f a multiple of 8?
False
Let v(b) = -2*b**3 - 7*b**2 + 7*b - 37. Does 4 divide v(-8)?
False
Let z be (0 - (2 - 5)) + 6. Suppose -630 = -12*u + z*u. Is 21 a factor of u?
True
Suppose 23 = 4*f + 3. Is 42 a factor of ((228/f)/(-2))/((-1)/5)?
False
Let o(w) = -79*w**3 + 9*w**2 - 2*w - 39. Is o(-4) a multiple of 93?
False
Let k(o) = o**2 + o - 1. Let c(b) = 5*b + 16. Let s(p) = -c(p) + 2*k(p). Is 9 a factor of s(-8)?
False
Suppose -5*c = 15, x - 4*c - 18 = -3. Let q(h) = 52*h - 18. Is 23 a factor of q(x)?
True
Let s(t) = -148*t + 1122. Does 34 divide s(-24)?
False
Let y(j) = 15*j**2 - 4*j + 2. Let w(v) = -7*v**2 + 2*v - 1. Let k(l) = 7*w(l) + 4*y(l). Does 10 divide k(-2)?
False
Let z = 35 + -17. Does 8 divide (-12 - 0)*(-60)/z?
True
Let o be (40/(-50))/(1/(-10)). Let q be o/(-52) + (-516)/26. Let f = -4 - q. Is f a multiple 