)?
True
Suppose 4*l = -2*a + 5*a + 216, -2*l = -3*a - 114. Is 17 a factor of l?
True
Let m = 296 + 754. Does 12 divide m?
False
Let g(o) be the third derivative of 1/6*o**3 + 0*o - 1/12*o**4 + 0 + 3/10*o**5 - 3*o**2. Does 10 divide g(1)?
False
Does 32 divide 2 + 1 - -1255 - (53 - 46)?
False
Let j(c) = 9*c**2 + 40. Is 14 a factor of j(-6)?
True
Let v = 247 - -155. Does 67 divide v?
True
Let u(n) = 126*n**2 - 2*n + 3. Let p(z) = -253*z**2 + 5*z - 7. Let y(o) = 2*p(o) + 5*u(o). Is 43 a factor of y(1)?
False
Suppose -1287 = 2*j - 15*j. Suppose x + x - j = -3*h, 210 = 5*x - 5*h. Is 10 a factor of x?
False
Let y(r) = r**2 - r - 17. Let o be y(-4). Suppose a = -u - 3*a + 20, 0 = 5*u + o*a - 100. Is u a multiple of 4?
True
Let o be -9 + (-4 - -2 - 0). Let f(q) be the first derivative of -q**4/4 - 10*q**3/3 + 2*q**2 - 3*q - 140. Is 37 a factor of f(o)?
True
Let w(d) = 8*d**2 + d + 5. Let x = -16 - -22. Let s(f) = -7*f**2 - 2*f - 5. Let t(r) = x*w(r) + 7*s(r). Is t(-6) a multiple of 2?
False
Suppose 80*o + 43863 - 428583 = 0. Is o a multiple of 18?
False
Let y be (3 - 56*1) + 3. Let f = y - -191. Let d = f - 93. Is 12 a factor of d?
True
Suppose d - 66 = -3*u - 2*d, -3*u - 2*d + 63 = 0. Let y = u - 16. Suppose 5*w + 39 = 2*i - 17, y*i - 4*w = 91. Does 9 divide i?
False
Suppose -2*r - 5*r = -6636. Is r a multiple of 79?
True
Suppose -61 = -2*i + i. Suppose -i = -3*n + 41. Does 17 divide n?
True
Suppose 4*q = -12, -4*q - 6 = r - 4*r. Is (r/(-5))/((-16)/(-2400)) a multiple of 30?
True
Suppose -3*b + 4*k = 39, -3*b + 5*k + 5 = 44. Let z = b + 39. Does 13 divide z?
True
Suppose 344 = 6*c - 112. Let m = c - 33. Does 5 divide m?
False
Suppose -1339 = -4*q - y, -3*q - 4*y + 1023 = -7*y. Suppose -d + q = 3*d. Suppose 2*t - d = -t. Is 4 a factor of t?
True
Let l = -71 - -142. Let m = 37 + l. Is m a multiple of 54?
True
Let o(q) = -q + 2. Let p be o(-7). Let n be 4/6 + (-24)/p. Does 5 divide (n + 0)*40/(-16)?
True
Let q = 45 + -20. Suppose f - 5*f = o - 1029, -5*o + q = 0. Suppose -i - i - w + 124 = 0, -4*w + f = 4*i. Does 12 divide i?
True
Suppose -3*z + 7 = -0*k + k, 10 = -5*k. Suppose -7*c + z*c + 192 = 0. Does 16 divide c?
True
Let d = 550 - 235. Is 3 a factor of d?
True
Suppose -m - 5 = -13. Let k = m - 13. Is ((-32)/k)/(11/55) a multiple of 15?
False
Suppose 14*u - u = 39. Let n = -16 - -29. Let a = u + n. Is a a multiple of 4?
True
Let r(y) = 3*y**3 + 31*y**2 + y + 10. Is r(-9) a multiple of 22?
False
Let m be (-2)/7 + ((-24)/(-21))/4. Let k(o) = -4*o**3 - 3*o**2 - 1. Let j be k(5). Does 31 divide (1 - m)*j/(-9)?
False
Suppose 4*u - 263 = 3*w, -2*w - 101 = 5*u - 424. Does 9 divide u?
False
Let k(m) be the third derivative of -m**7/1260 + m**6/144 + 7*m**5/60 - 6*m**2. Let w(l) be the third derivative of k(l). Is w(-6) a multiple of 6?
False
Let t(b) = b**2 + 3*b + 1. Let y be t(-4). Let x(u) = u + 1 + 2*u**2 - 6*u + 1. Is x(y) a multiple of 9?
True
Suppose -4*f = -d + 17, -2*d - 2*f = 2*f + 14. Let w = 6 - d. Suppose -76 = -3*v + w. Is 7 a factor of v?
False
Suppose -5*h + 2*k + 8 = -14, 0 = -5*h + k + 21. Suppose -h*p = -b - 2*b + 103, 5*p + 57 = 2*b. Does 6 divide b?
False
Suppose 5*r + 2*d - 1 = -27, 5*r + 5 = 5*d. Let x be 23/(-2)*8/r. Let a = 60 - x. Does 8 divide a?
False
Suppose -1954 = -4*a + 398. Is 51 a factor of a?
False
Let o(h) = -h - 2. Let x be o(-4). Suppose -228 = -2*c + 2*y - 0*y, 3*c = x*y + 347. Is c a multiple of 26?
False
Suppose -2*f = 4*m - 1408, -2*m + 1414 = 57*f - 55*f. Does 40 divide f?
False
Let t be (14/(-1) - 0) + 0. Let q = t + 31. Suppose q = -3*r + 68. Is 6 a factor of r?
False
Let t(x) = -2138*x - 45. Is t(-1) a multiple of 80?
False
Suppose 0 = 54*m - 2469 - 2121. Does 2 divide m?
False
Let x(p) = -3*p + 310. Is x(-30) a multiple of 40?
True
Suppose -3*b - 23 = -5*n - 4*b, -27 = -5*n + b. Suppose n*c - c - 372 = 0. Is c a multiple of 31?
True
Suppose 0 = 4*w + 169 - 5229. Is 55 a factor of w?
True
Let t(f) = f + 4. Let h be t(9). Suppose -h*c - 51 = -14*c. Is c a multiple of 26?
False
Suppose i = -5*d + 5052 + 5237, 0 = -4*d + 4*i + 8236. Does 98 divide d?
True
Let k(g) = g**3 - 6*g**2 + 6*g. Let z be k(5). Let s be (-10)/(-25) - (-158)/5. Suppose 0 = -z*v + 102 - s. Is 13 a factor of v?
False
Let q(x) = -22 - 35 - 26 + 36 - 27*x. Is 10 a factor of q(-6)?
False
Let g be 1 - -1*(-3 + 4). Let k = 8 + g. Does 2 divide k?
True
Let d be (-2)/5 - 1056/(-15). Let w be -3*(2 - (-3 + 6)). Suppose 2*v - d = -4*x, 0 = w*v - 4*x - 52 - 63. Is 10 a factor of v?
False
Let s(j) = 13*j**2 - 12*j + 35. Is s(-9) a multiple of 6?
False
Let o(y) = y**2 + 8*y - 3. Let i be o(-7). Let x(b) = -21*b - 27. Let f(u) = -11*u - 14. Let h(d) = -5*f(d) + 3*x(d). Does 23 divide h(i)?
True
Let v(n) = 2*n - n - 2*n. Let c be v(-1). Does 8 divide (c - (-1 + -10)) + 1?
False
Let o(n) = -n - 3. Let v(b) = b + 3. Let y(m) = -4*o(m) - 3*v(m). Let p be y(4). Let d(c) = c**3 - 6*c**2 + 2*c - 2. Is 19 a factor of d(p)?
False
Suppose -10 = -4*r - 2*t, -4*t + 5 = 2*r + r. Let u(v) = 12*v**2 - 4*v + 2. Let g be u(r). Suppose -2*j - 43 = -z, -2*z + g = -2*j + j. Does 17 divide z?
True
Suppose 4 = 4*h, -2*t + 2*h - 5 = -1. Let b be (t/1)/((-7)/1645). Suppose b = 4*m - s - 0*s, 0 = 4*m + 3*s - 239. Does 25 divide m?
False
Suppose 4*v - 12 = v. Let r(p) = -6*p**2 + 2*p + 5. Let c be r(v). Let u = 5 - c. Does 24 divide u?
False
Suppose 745 = 5*q - 4615. Does 16 divide q?
True
Suppose 8*u - 22*u = -39690. Is u a multiple of 27?
True
Suppose -5*m = 2*u - 70, u - 2*m - 20 = -3. Let s = 5 + u. Is s a multiple of 10?
True
Let f = -28 + 48. Let x(w) = -w**3 - 16*w**2 + 18*w + 8. Let h be x(-17). Let c = f + h. Is c a multiple of 9?
False
Suppose -25*r + 24*r = -27. Is 15 a factor of r/(-72) - (-246)/16?
True
Suppose -2*j - 5*q - 3 = -2*q, -j - q - 1 = 0. Let t = j + 5. Suppose -t*z + 31 = 2*c, -3*c + 36 = -0*c - 3*z. Is c a multiple of 12?
False
Let z(y) = 15*y + 2. Suppose 4*n = -4*l + 16, 3*l - 3*n + 19 = -l. Let h be 3 + (-2 - -2) + l. Is 22 a factor of z(h)?
False
Suppose -4*x = -o + 15, 2*o - 3*o - 3*x - 20 = 0. Let d(j) = 3*j**2 + 6*j + 9. Does 9 divide d(o)?
True
Let f = -1738 - -2734. Is 12 a factor of f?
True
Suppose 4*o - 15 = r, o + 3*o + r = 9. Suppose w - 2*w + 4*u - 50 = 0, o*w + 3*u + 150 = 0. Let g = 74 + w. Is 16 a factor of g?
False
Let u = 1003 - 867. Is u a multiple of 11?
False
Let f = 730 - 418. Does 26 divide f?
True
Suppose 89*k + 192 = 92*k. Does 7 divide k?
False
Let v(q) = -4*q + q**2 - 7*q**2 - 6 + 3*q**2 + q**3 + 0*q**2. Let l be v(5). Is ((-52)/16)/((-3)/l) a multiple of 11?
False
Is (-1)/2 - 806/(-4) a multiple of 44?
False
Let q(t) = -4*t - 13 + 5 - t. Let n be q(14). Is 13 a factor of (n/(-15))/(2/20)?
True
Suppose -w - 3 = -22. Let q = 8 + w. Is 1*q/12*8 a multiple of 9?
True
Let x(s) = -s + 21. Let w(p) = 1. Let z(f) = 4*w(f) + x(f). Is z(9) a multiple of 4?
True
Let r be (-6 - 0)*(1 + 12/(-9)). Suppose 5*t = -b - 15, -10 = -4*b - 2*t + 2. Suppose 0 = -n - n - r, -180 = -5*x - b*n. Does 8 divide x?
False
Let j(s) = s**3 + 34*s**2 - 46*s + 90. Does 25 divide j(-35)?
True
Let w be ((-6)/(-9))/(22/(-12) + 2). Suppose -2*k + 0*q - q = -86, 0 = -2*q - w. Is 12 a factor of k?
False
Let z(r) be the first derivative of r**3 + 2*r**2 - 19*r - 31. Is z(-7) a multiple of 19?
False
Suppose -3*j + 620 = 4*r, -212 = -3*r + 5*j + 253. Does 31 divide r?
True
Let f(d) = -4*d - 10. Let t be f(-3). Suppose t*r - r = 6. Is 6 a factor of r?
True
Suppose 0 = -3*f + 4*f. Suppose -4*z + 56 = -f*z. Does 19 divide z/(-112) - (-273)/8?
False
Let n = 4 + -4. Suppose n = -4*o + p + 17, 3*o + 3*p - p - 10 = 0. Suppose o*z = -s - 3*s + 32, 0 = 2*s - 6. Is 5 a factor of z?
True
Let u = -593 + 1726. Does 9 divide u?
False
Let l = 49 + -47. Suppose -l*m - m + 84 = 0. Is m a multiple of 13?
False
Let z(c) = c**3 + 7*c**2 - 6*c - 7. Suppose -2*i - 6 - 8 = 0. Let f be z(i). Suppose -f = -2*r + 61. Is r a multiple of 18?
False
Does 2 divide (42 - 44)/((-3)/543)?
True
Let c be (4/8)/(4/96). Suppose c = -4*d - 4. Is 11 a factor of (-8 + d)*22/(-8)?
True
Let l(x) = -392*x + 932. Does 23 divide l(-7)?
False
Suppose 88*d - 34364 = 35420. Is d even?
False
Let w(g) = 22*g**2 - 44*g - 39. Does 9 divide w(-10)?
True
Suppose 7*r - 480 = r. Is r a multiple of 7?
False
Let d(v) = 3*v**