l = 2*l - i. Does 37 divide l?
False
Does 14 divide (3724/(-19))/(1 + -2)?
True
Let s = 169 + 128. Is 27 a factor of s?
True
Let r be (((-18)/(-1))/(-2))/((-9)/(-6)). Does 27 divide (-1114)/r + (-68)/(-51)?
False
Let k = 597 - 197. Does 16 divide k?
True
Let t(g) = -447*g - 44. Is t(-3) a multiple of 25?
False
Let s(c) = -2*c**2 + 60*c + 21. Is s(20) a multiple of 12?
False
Let p be (-1)/(-4) + (-70)/(-8). Let c(k) be the second derivative of k**3/3 + k**2 - 2*k - 35. Does 11 divide c(p)?
False
Suppose -27 = -2*g - 2*g + 5*q, 2*g = -3*q - 3. Suppose a + 5*m = -a + 272, g*a - m = 408. Is 25 a factor of a?
False
Let y(n) = 36*n - 82. Is 5 a factor of y(12)?
True
Let o(l) = -6*l - 7. Let w be o(-2). Suppose 3*i = 2*a - 15, -w*a + 17 = 5*i - 8. Is 3 a factor of a?
True
Let y(z) = z - 3. Let w be y(12). Suppose w*l + 844 - 2239 = 0. Does 8 divide l?
False
Let o(f) = 3*f**3 - 4*f**2 + 11. Is o(5) a multiple of 13?
True
Let u(l) = 60*l - 177. Does 7 divide u(8)?
False
Let h = -223 + 960. Is 35 a factor of h?
False
Suppose -4478 = -20*m + 4622. Is 35 a factor of m?
True
Suppose 0 = -3*l + 4*o + 2616, -872 = -l - 6*o + 8*o. Is 40 a factor of l?
False
Let i(z) = -z**3 - 4*z**2 + 6*z - 1. Let m be i(-5). Let j be (2 - -6)/4 - m. Suppose -7*r = -j*r + 39. Is 14 a factor of r?
False
Suppose 1619 = 15*w - 496. Is w a multiple of 13?
False
Suppose 5*k - 111 = 2*m + 434, 520 = 5*k + 3*m. Suppose 53 = 5*s - k. Does 8 divide s?
True
Let h = 26 + -29. Is (249/(-2))/h - (-1)/2 a multiple of 14?
True
Let r be 148/(-16)*10*-2. Let z = r + -83. Is z a multiple of 18?
False
Suppose -16*t + 20*t = 308. Let r = t - 11. Is r a multiple of 16?
False
Let w(f) = 3*f - 3. Let l be w(-4). Let u = l - -24. Is ((-12)/8)/(u/(-96)) a multiple of 6?
False
Let r(z) = 4*z**2 - 5*z - 12. Is r(-9) a multiple of 38?
False
Suppose 2*k + 10 = 4*k. Suppose k*m - 9*m + 264 = 0. Is 11 a factor of m?
True
Suppose -27*g + 23212 = -13*g. Is g a multiple of 9?
False
Suppose -45*v - 280 = -49*v. Suppose v = t + 4*t. Is t a multiple of 7?
True
Let n(f) = -f**3 + 2*f**2 + 1. Let q(z) = -z**3 - 5*z**2 + 2*z + 7. Suppose 3*c + 0*c + 15 = 0. Let r be q(c). Is n(r) a multiple of 19?
False
Suppose 2*z = 5*m - 201, 3*z - 4*m - 111 = -395. Let k = -13 - z. Does 25 divide k?
True
Let m be ((-14)/6)/((-1)/75). Let q = m - 87. Is q a multiple of 22?
True
Let a = -30 + 34. Suppose -a*d - 25 = -89. Is 16 a factor of d?
True
Suppose -6 = -0*b - b. Let q(k) = -9*k**2 - 17*k - 6. Let o(g) = 4*g**2 + 8*g + 3. Let i(m) = b*q(m) + 13*o(m). Does 3 divide i(0)?
True
Suppose -5*n + 3*h = 1988, -n - 4*h - 416 = -0*n. Does 16 divide n/15*-3*1?
True
Suppose 32*f - 26776 - 13736 = 0. Is 64 a factor of f?
False
Let b(s) = 107*s**2 - 13*s + 18. Does 84 divide b(2)?
True
Let d(p) be the first derivative of 4*p**3 + 5*p**2/2 - p + 13. Does 13 divide d(2)?
False
Suppose 5*h - 10 = -z + h, -z - 3*h = -8. Suppose 167 = 5*p + 3*c, z*p + 2*c - 38 - 32 = 0. Is 9 a factor of p?
False
Let m(u) be the second derivative of 9*u**3 - 4*u**2 - 15*u. Does 20 divide m(2)?
True
Let f(o) = 4*o - 38. Let x(s) = 6*s - 57. Let u(w) = 8*f(w) - 5*x(w). Let v be u(12). Suppose 3*c = 3*q - 135, 0 = -v*q + q + c + 180. Is q a multiple of 12?
False
Let z = 1059 - 667. Is 19 a factor of z?
False
Let a = -21 - -36. Suppose 4*f - a = -f, 5*i = 3*f + 91. Is 10 a factor of i?
True
Suppose b - 23 = -5*l, -19 = -5*b - 0*b - l. Suppose 0 = -m + b*m + 32. Does 13 divide (-2665)/(-104) - 6/m?
True
Let s(c) = 2*c**2 - 2*c - c**2 - 162 - c**3 + 167. Let o be s(4). Let x = 93 + o. Does 11 divide x?
False
Let o(l) = 2*l + 13. Let n be o(0). Let g = n - -6. Does 20 divide 1 + 1 - (-8 - g)?
False
Let q = 188 - 118. Let d = 257 - q. Is d a multiple of 36?
False
Let f(z) = z**2 - 4*z - 11. Let l be f(6). Suppose 5*u - 3*b = l + 14, 3*u = -3*b + 9. Is 16 a factor of 4 + (29 - (u - 2))?
True
Let q be (-5*6/(-5))/1. Does 13 divide -3 + (q - 4 - -22)?
False
Suppose -2*r = 2*m, -m + 4*m = -6. Let f be (-53)/r - 6/(-4). Let v = 32 - f. Does 13 divide v?
False
Let m = 379 + -376. Let l be ((-10)/(-1))/2*23. Suppose 2*r - m*o - 58 = 1, 4*r - 5*o = l. Is r a multiple of 25?
True
Let n = 8 - 4. Suppose 3*y - 3*o - 108 = 0, 141 = n*y + 2*o - 5*o. Suppose -y - 95 = -4*h. Is h a multiple of 32?
True
Suppose 34*x = -10*x + 7084. Is 18 a factor of x?
False
Suppose 0 = 13*q - 750 - 2266. Suppose 2*v = -m + q, -4*m - v = -2*m - 464. Is m a multiple of 37?
False
Suppose -9*y + 554 = 2*a - 5*y, -2*y = -2*a + 542. Does 21 divide a?
True
Let s be (11 - 37)*(-2)/4. Suppose -11*u - 6 = -s*u. Does 2 divide u?
False
Let o(l) = 52*l**2 - 14*l - 19. Is o(-2) a multiple of 39?
False
Let j = -16 + 11. Let y(m) = -2*m + 18. Is y(j) a multiple of 7?
True
Suppose -5*y = -247 - 168. Let d = 153 - y. Let p = -40 + d. Does 23 divide p?
False
Suppose -4*g + 130 - 403 = -5*k, 0 = -3*k - 2*g + 155. Does 9 divide k?
False
Let c(i) = 0*i + 22 + 2*i - i. Let v(t) = 2*t**2 + 43*t + 10. Let z be v(-21). Does 5 divide c(z)?
False
Suppose 0 = 4*w + 19 - 3. Let g(s) = s**2 + 4*s + 5. Let t be g(w). Suppose -t*u + 21 + 49 = 0. Is u a multiple of 4?
False
Let w(a) = 97*a + 50. Does 26 divide w(5)?
False
Suppose -343 = -3*i - 85. Let n = i + -35. Is 17 a factor of n?
True
Suppose -6*a = -1586 - 1546. Does 29 divide a?
True
Suppose 5*j - 5*t + 1260 = 0, 0 = 5*j + 3*t - 534 + 1802. Let w = -159 - j. Does 32 divide w?
False
Suppose -902 = i - 3*i. Let x = 245 - i. Let m = -136 - x. Does 10 divide m?
True
Let k(j) be the second derivative of 47*j**3/6 + j**2 - 14*j. Let h be k(2). Suppose -4*u = -4*w - h, u + 2*u + 3*w - 60 = 0. Does 5 divide u?
False
Suppose 2*f = 3*a - f - 123, 3*a - 141 = -3*f. Let n = 0 + a. Does 11 divide n?
True
Let p = -62 + 65. Suppose 366 = -5*l + 3*m, 0 = 5*l + m + m + 381. Is (1 + -2)/(p/l) a multiple of 10?
False
Suppose 1216 = 5*t - 384. Is t a multiple of 8?
True
Let r be (608/(-40))/(1/(-5)). Let o = r + -1. Is 11 a factor of o?
False
Suppose -k - 7 = -g + k, 3*g - 15 = 4*k. Suppose 6*h - 379 = -g. Is h a multiple of 11?
False
Let o(s) = 43*s**2 - 13*s + 8. Is 15 a factor of o(-5)?
False
Let h be ((-18)/8)/((-3)/(-8)). Let r = h + 26. Is r a multiple of 5?
True
Suppose 5*r = -2*p + 8884, 3*p = 4*r + 3176 - 10274. Is r a multiple of 48?
True
Suppose 4*b + 5*q - 11 = 0, b + 3*b - 3*q = 51. Let s(c) = -c**3 + 11*c**2 - 9*c + 7. Is 22 a factor of s(b)?
True
Suppose -7*p + 29963 = 2705. Does 33 divide p?
True
Let b = -41 + 53. Suppose b*u + 40 = 16*u. Is 10 a factor of u?
True
Let a(v) = v**2 + 8*v + 13. Let y = -29 + 20. Let g be a(y). Suppose -20 = -3*p - m + g, p - 16 = -m. Is p a multiple of 13?
True
Let l(n) = -30*n - 1. Let h be l(-2). Suppose y + 9 = b + 4*b, 4*y = -4*b + 12. Let x = h - b. Is x a multiple of 18?
False
Suppose 0 = x - 5*g - 93, 0*g + 2*g + 253 = 3*x. Is 12 a factor of x?
False
Let y = 144 - -28. Is y a multiple of 4?
True
Let r(d) = -405*d - 6. Let c be r(-1). Suppose 0 = 27*s - 24*s - c. Is s a multiple of 19?
True
Let y(b) = b + 153. Let q be y(0). Let d = q + -108. Let i = d + -17. Is i a multiple of 10?
False
Let a(j) = 2*j**2 - j + 1. Let r be a(4). Suppose -30 = -27*k + r*k. Does 27 divide (126/(-35))/(2/k)?
True
Let r(d) = -2*d**2 - 72*d - 4. Is r(-25) a multiple of 26?
True
Let v(i) = 19*i + 10. Let m be v(5). Let h = m + -33. Is h a multiple of 18?
True
Suppose -3*v + 14 = -0*v + k, -3*v - 5*k + 34 = 0. Let l be v/(-3 - (-1692)/560). Suppose 180 = 5*u - l. Does 15 divide u?
False
Let p = -648 + 1219. Suppose u + 569 = 2*z, -3*u - p = -4*z + 2*z. Is z a multiple of 24?
False
Suppose 5*t - 2*z = 11925, -26*z + 23*z + 4789 = 2*t. Does 11 divide t?
True
Let y(n) = 1105*n**2 - 9*n - 14. Is y(-1) a multiple of 20?
True
Suppose 1237 = 5*i - 3*i + t, 3*i + 2*t = 1854. Suppose 4*c + 2*r - i = -2*r, -2*c = 3*r - 306. Does 53 divide c?
True
Let i = 124 - 108. Let b(k) = -k**2 + 20*k - 26. Is 19 a factor of b(i)?
True
Suppose 2*f = 4*f + 6. Let z(j) be the second derivative of -j**5/10 - j**4/4 + j**3/2 - j**2 + 5*j. Does 4 divide z(f)?
True
Suppose 5*i + 2*d - 12145 - 6758 = 0, -d = 1. Does 19 divide i?
True
Let c be -1 + 4 + -2 - -1. Let d be c/13 - 714/78. Does 4 divide 30/9 - 6/d?
True
Suppose -5*m = 5*d + 15, 0 = -2*m + 5*d - 6*d - 10. Let j(s) = -s**3 - 10*s**2 