ppose -h = -r + 245, -2*r + 7*r - 1234 = -4*h. Is r a multiple of 25?
False
Suppose 0*q = 4*q. Suppose 2*l - 3*k - 11 = 0, 4*l + 4*k - 4 + 12 = q. Let r(t) = 23*t**3 + 2*t**2 - 1. Is r(l) a multiple of 8?
True
Let z = 50 + -81. Let a = 85 + z. Is 9 a factor of a?
True
Let m be ((-1)/2)/((-1)/6). Let g(r) be the second derivative of r**3 - 5*r**2/2 - r. Is g(m) a multiple of 13?
True
Let o = -1601 - -2309. Is o a multiple of 59?
True
Let b be 436/10 + (-12)/20. Suppose -3*v + 185 = 4*m, -2*m - b = -2*v + 99. Is 8 a factor of v?
False
Suppose 2*m = -5*l + 16, 4*l + 4*m = -0*l + 20. Suppose l*i = -17 - 23. Let g = -5 - i. Is 15 a factor of g?
True
Let b(w) = 141*w**2 - 57*w + 7. Does 14 divide b(-4)?
False
Let t(a) be the second derivative of -a**5/20 - 7*a**4/12 + a**3/3 + 20*a. Is 20 a factor of t(-8)?
False
Suppose 2*y + 2*y + 4*v - 20 = 0, 0 = y + 2*v - 8. Suppose 5*t = 3*k - 2*k + 5, 2*t = 4*k + 20. Suppose t = y*g + 13 - 29. Does 2 divide g?
True
Suppose -1213 = -2*j + 2*n - 149, 0 = 5*j - 3*n - 2654. Is 23 a factor of j?
True
Let k(l) = -2*l**2 + 101*l - 59. Is k(49) a multiple of 8?
True
Suppose -5*g - 21 = -12*g. Suppose g*a - 109 - 124 = -2*q, -2*q + 2*a = -218. Does 8 divide q?
True
Let g = 378 - 203. Is 25 a factor of g?
True
Suppose 14*x - 18*x + 3808 = 0. Suppose 0*y - 8*y = -x. Is 13 a factor of y?
False
Let f = -5379 - -7640. Is f a multiple of 19?
True
Does 24 divide (-8355)/(-12) - (-5)/(-20)?
True
Let l = 62 + -58. Suppose -8*r + 364 = -l*r. Is r a multiple of 6?
False
Suppose 0 = 5*f + u - 1600, -47*u - 1600 = -5*f - 46*u. Is f a multiple of 16?
True
Let l(s) = 21*s - 28*s - 45 - 23*s + 40. Suppose -4 = -5*d - 14. Does 24 divide l(d)?
False
Let g = 13 + -7. Let n(s) = -s**2 + 1. Let v(x) = 18*x**2 - 4*x - 11. Let i(j) = g*n(j) + v(j). Is i(-2) a multiple of 17?
True
Let z be (5 + 0 - 4) + 7. Suppose 0 = -4*w - 3*q + 219, -q = -3*w + z*w - 260. Is w a multiple of 2?
False
Let p be 1*4*(-35)/20. Let w(f) be the third derivative of -f**5/60 - 7*f**4/24 + 4*f**3/3 + 2*f**2. Does 6 divide w(p)?
False
Let g be 20 - 4/6*(14 - 11). Let h(z) = -209*z**3 + 2*z**2 - 1. Let d be h(-1). Is (d/9)/7*g a multiple of 15?
True
Does 36 divide (2 - 12) + 5 - -379?
False
Let q = -600 + 714. Is 38 a factor of q?
True
Let g = 510 - 188. Is g a multiple of 23?
True
Let l be 4 - -62 - (0 - 4). Suppose 0 = 3*b - 2*d - 60, 1 = -3*b - d + l. Suppose -b = -4*r + 18. Is r a multiple of 5?
True
Suppose -5*l - k = k - 74, -2*k + 10 = l. Let f be (l - 15)*(-9 + 0). Let z(g) = -7*g - 8. Is z(f) a multiple of 13?
False
Let b = -19 - -10. Let i be b*3*8/(-4). Suppose 22 + i = 2*n. Does 8 divide n?
False
Let i(f) = -11*f + 6. Is i(-6) a multiple of 6?
True
Let t(r) = 24*r + 168. Is 12 a factor of t(16)?
True
Let u = -214 - -1414. Is u a multiple of 60?
True
Suppose -5*n = 15, -6*n = 4*w - 3*n - 655. Suppose 228 = 5*p + 4*b, -5*b + 44 = -3*p + w. Is p a multiple of 22?
True
Let y = 3240 - 1839. Does 112 divide y?
False
Suppose 0 = -3*l - l + 24. Let w = l + -15. Let t = w + 16. Is t a multiple of 7?
True
Let o(w) = w**3 + 6*w**2 - 6*w. Let d be o(-6). Let m = d - 13. Suppose -2*x + m = -37. Is 15 a factor of x?
True
Let j = -90 + 120. Does 17 divide (5/j*-8)/((-6)/459)?
True
Let b(l) = -l**3 - 6*l**2 - 3*l - 15. Let f be 2/7 + (-308)/49. Let x be b(f). Suppose -60 = -d + 3*h - 0*h, -204 = -3*d + x*h. Is 36 a factor of d?
True
Let m(b) = -21*b + 3. Let d(i) = -62*i + 8. Let j(f) = 4*d(f) - 11*m(f). Let t be j(1). Let r = -10 - t. Does 6 divide r?
False
Suppose -1242 = -m - 5*p, 23*m - 2519 = 21*m - 3*p. Does 10 divide m?
False
Let d(t) = 11*t**2 + 15*t - 2. Is 11 a factor of d(6)?
True
Is 4 + 52/(-8) + (-573)/(-2) a multiple of 7?
False
Is (-213)/142 - 615/(-2) a multiple of 9?
True
Let m(g) = -g**3 + 2*g**2 + 10*g + 17. Let f be m(-5). Suppose 0 = 3*q + f - 424. Is q a multiple of 10?
False
Let x(g) = g**2 - 6*g - 3. Let d be x(7). Let q(l) = 11*l**2 - 2*l + 2. Does 40 divide q(d)?
False
Let q(s) = 90*s**2 - 4*s - 89*s**2 + 2 + 0. Let u be q(1). Is 14 a factor of (1 - -35 - 3) + u?
False
Suppose 0 = 5*x + 5, -2*l - 37*x + 4021 = -42*x. Does 66 divide l?
False
Suppose 3*o + 12 = o. Let b be (-34)/10 - 24/(-60). Is o/7*(-25 + b) a multiple of 20?
False
Suppose 65 + 6 = 2*x - 5*z, -37 = -x + z. Let m = x - 10. Is 8 a factor of m?
False
Let b(i) = -1. Suppose 6*v - 5*v = 2. Let w(h) = h - 2. Let u(y) = v*b(y) - w(y). Is 3 a factor of u(-6)?
True
Suppose -4*t - 660 = -4*v, -13*v + 2*t - 846 = -18*v. Is v a multiple of 42?
True
Let d(v) be the second derivative of v**4/12 + v**3/3 - 4*v**2 + v. Is 8 a factor of d(-6)?
True
Let x(h) = -h - 13. Let p be x(-13). Suppose s - 6*s + 110 = p. Is 5 a factor of s?
False
Let p = 591 - 332. Does 37 divide p?
True
Let y = 1828 + -9. Is 17 a factor of y?
True
Let z = -15 - -9. Does 10 divide 707/21 + 4/z?
False
Suppose -3*t = -13 - 2. Suppose 4*o - 2*o + 3*d - 102 = 0, -t*o + 305 = -5*d. Is o a multiple of 10?
False
Let n = -258 + 386. Is n a multiple of 21?
False
Let b = -12 - -14. Suppose -5*l + a = -4*a - 50, b*a + 15 = l. Is 21 a factor of (-4)/10 + 317/l?
True
Suppose 0*a = -3*a + 276. Let o = 195 - a. Let b = o + -58. Does 45 divide b?
True
Let o(q) = -115*q + 51. Is o(-3) a multiple of 12?
True
Suppose -3*q + 12 = 5*d, 5*q = 3*d - 5*d + 20. Let x(k) = 9*k**2 - 16*k - 15. Let m(f) = 5*f**2 - 8*f - 8. Let r(a) = 7*m(a) - 4*x(a). Does 10 divide r(q)?
True
Is ((-17)/(833/1092))/((-2)/7) a multiple of 32?
False
Let o(r) = -79*r**3 + 80*r**3 + 8 + 0 - 2*r**2. Let x be o(6). Suppose 4*h - 8*h = -x. Is h a multiple of 19?
True
Suppose 3*x + 180 - 2022 = 0. Is x a multiple of 24?
False
Let w = -18 + 27. Is 6 a factor of w - (-2 - -3) - 1?
False
Let q(n) = 2*n - 13. Let f be q(6). Let t(k) = -18*k**3 - k - 2. Let a be t(f). Is 10 a factor of 16/1 - (13 - a)?
True
Suppose -113*i + 121*i - 56 = 0. Let w = 6 - -2. Let y = w + i. Does 13 divide y?
False
Let o(q) = q - 3. Let x be o(3). Suppose 4*t - 298 + 74 = x. Does 8 divide t?
True
Does 42 divide (-143 + -4 + 15)/((-4)/14)?
True
Suppose 3*r = 33 - 21. Suppose r*u = -2*u + 870. Is 10 a factor of u?
False
Suppose -4*j + 40 = 4*j. Suppose 4*z - 165 = -j*p - 50, -19 = -z + 2*p. Is z a multiple of 4?
False
Let y(l) = -13*l + 94. Let h(k) = -6*k + 47. Let j(b) = 5*h(b) - 2*y(b). Is j(-16) a multiple of 34?
False
Let v(n) = 2*n + 36. Let p be v(-8). Let s = 35 + p. Is 11 a factor of s?
True
Suppose j - 28 = -5*w, 2*w - 25 = 2*j - 7*j. Suppose -7 + j = -b. Suppose 0 = -x + 4*s + b, -3*x + x - 5*s = -8. Is 2 a factor of x?
True
Suppose 3*o - 28 = 4*k, o = -4*k - 16 + 4. Suppose -2*a + o*s = -s - 7, -5*a - s = -31. Is a a multiple of 2?
True
Suppose 12 = 4*j + 3*w, -3*w + 0*w = 5*j - 12. Let v(a) be the third derivative of -a**5/60 + 8*a**3/3 - a**2. Is v(j) a multiple of 5?
False
Let k = 71 + -33. Let h(c) = c**2 + 3*c - 2. Let l be h(4). Let z = k - l. Is 8 a factor of z?
False
Let g(p) = p**3 - 7*p**2 + 7*p. Suppose -4*v - 4*j = v - 45, -5*v + 35 = 2*j. Let a be g(v). Let t = a + 29. Is t a multiple of 4?
False
Suppose 0*x = 5*d - 4*x - 3641, 4*x = -4*d + 2920. Is d a multiple of 81?
True
Let c = 11 - 6. Suppose -75 = -3*w - 3*z, -29 + 119 = c*w - 2*z. Let y = w - -6. Is 13 a factor of y?
True
Let u(d) = -d**2 + 40*d - 85. Is 4 a factor of u(15)?
False
Let x = -286 - -421. Does 9 divide x?
True
Suppose -3*c = 3*s + 39, 4*c + 69 = -5*s + 22. Let l = c - -3. Let t = -1 - l. Is t a multiple of 14?
True
Is 179 + 1 + 6/(-3) + -3 a multiple of 14?
False
Let a = -37 + 17. Let r = a + 23. Suppose 3*d - 5*d + i + 29 = 0, -5*d + 75 = -r*i. Is d a multiple of 12?
True
Let p(o) = 120*o**3 + o**2 - 1. Let t be p(1). Suppose -14 = -7*k - 0*k. Suppose k*w - t = -w. Is w a multiple of 20?
True
Let c = 725 - -23. Is c a multiple of 17?
True
Let p(a) = 2*a**2 - 2*a - 7. Let m be p(-2). Let k(o) = 15*o + 21. Is 36 a factor of k(m)?
False
Let m(f) be the third derivative of -3*f**4/8 - 5*f**3/6 - 56*f**2. Let q = 1 + -5. Does 13 divide m(q)?
False
Let n = 61 - 52. Let j = 14 - n. Is 3 a factor of j?
False
Let w(y) = 3*y + 5. Let l(f) = -3*f - 5. Let b(j) = 5*l(j) + 6*w(j). Suppose 2*q + 4*m - 6 = 0, -q + 2*q - 4*m = 9. Does 6 divide b(q)?
False
Let g = 11 - 6. Let k(h) = -4*h - h**2 + 2 - g + 0*h - 2*h. Does