
True
Let z(h) = 22*h**3 - h**2 + h - 4. Does 12 divide z(2)?
False
Let j(b) = 23*b + 561. Is j(0) a multiple of 33?
True
Suppose -2*u - 3*k + 7 = 3, -2*u - 5*k = 4. Suppose -u = d - 30. Is 11 a factor of d?
True
Suppose -2*o = -4*o + 72. Let b be ((-2)/(-4))/(3/o). Does 10 divide (b*-1 + 1)*-8?
True
Let o be 4/(-6)*(-15)/(-2). Let y = -2 - o. Suppose 153 = y*m - 36. Does 21 divide m?
True
Let n be -1 + 0 + -2 - -92. Let y be (1 - n/(-1)) + 0. Suppose -7*u + y = -u. Does 6 divide u?
False
Let r(g) = 4*g + 154. Does 10 divide r(44)?
True
Let f be (-3238)/(-10) - 6/(-30). Suppose -16*a = -10*a - f. Is a a multiple of 6?
True
Let l = -10 - -13. Let v be (-16)/(-2)*l/(-6). Is 2 a factor of 12/(-7)*14/v?
True
Suppose 5*n - 3*z + 2 = 3*n, -2*n = 2*z - 8. Suppose h - 73 = -n*q, q + 3*h - 29 = 4*h. Is q a multiple of 17?
True
Suppose 6*s + 2*i = s - 20, -30 = 5*s + 4*i. Let x be (-4 - -71) + 6/s. Suppose 3*c + x = 163. Is c a multiple of 7?
False
Let c = 27 - 45. Let l = c + 21. Is 12 a factor of (0 - l)*1 - -18?
False
Let b(p) = -p**2 + 26*p + 111. Does 4 divide b(29)?
True
Suppose 682 = 3*b - 1571. Does 27 divide b?
False
Suppose 0 = -4*j - 2*q - 29 - 175, -5*q = -3*j - 127. Is 6 a factor of (3 + j/(-14))/(2/8)?
False
Let w = 570 + -510. Is w a multiple of 15?
True
Let a(u) = 16*u + 22. Is 10 a factor of a(3)?
True
Suppose -d = -19 + 85. Let w be 0/((-12)/(0 + -4) + -5). Is 21 a factor of (-9)/3 - w - d?
True
Let a = 230 + 165. Is 24 a factor of a?
False
Suppose -5*o - 1098 = -10*o + 3*n, -3*n + 900 = 4*o. Is o a multiple of 36?
False
Let x = -252 - -531. Is 31 a factor of x?
True
Let l(z) be the first derivative of 7*z**4/4 - z**3/3 + z**2/2 + 2*z + 12. Is l(2) a multiple of 14?
True
Let y(q) = -94*q - 8. Let g be y(-1). Suppose 0 = -v + g + 3. Does 20 divide v?
False
Let h(v) = v**2 - 3*v - 41 + 2*v + 116 + v**3. Is h(0) a multiple of 15?
True
Suppose 7630 = 24*i + 310. Is 61 a factor of i?
True
Let s be (-3)/2*5304/18. Let g be (-1)/(-3) - s/6. Suppose 2*v + 101 = 7*v - 3*x, 4*v + x = g. Is v a multiple of 8?
False
Let h(t) = -2*t**2 - 16*t + 16. Let j be h(-8). Is 4/(j/18)*136/6 a multiple of 41?
False
Let y(u) = -2*u**3 - 23*u**2 - 57*u + 76. Is 88 a factor of y(-17)?
True
Let l = -7 + 10. Suppose 0 = -l*p + 6. Suppose -3 - 17 = -p*z. Is z even?
True
Let w be 5*(2 + -2 - 1). Is 23 a factor of -1 - ((-930)/w)/(-2)?
True
Let m(c) = 3*c**2 + 20*c - 1. Let u(v) = -v**2 - 7*v. Let t(n) = 3*m(n) + 8*u(n). Let h be t(-4). Does 5 divide 3 - -19 - (h - -5)?
True
Let p be (2/(-3))/((-1)/3). Let s = 5 - p. Does 6 divide s + 15/3 + -2?
True
Let w(z) = -25*z - 302. Is w(-40) a multiple of 18?
False
Let u(v) = 33*v**2 + 9*v - 11. Is u(1) even?
False
Let h(x) = 11*x - 9. Let s be h(5). Let d = s - -23. Is 39 a factor of d?
False
Let p(l) = 4*l - 14. Let m(t) = t + 1. Let q(s) = -2*m(s) - p(s). Suppose -4*j + 4*g - 28 = 0, j + 10 = -g + 3*g. Is q(j) a multiple of 12?
True
Suppose -4*o = -o - 567. Let h = o - 109. Is h a multiple of 22?
False
Let t(g) = 375*g**2 - 15*g - 1. Is t(-2) a multiple of 11?
True
Let k be (-8)/(-2 + 1) - 2. Is 4 a factor of (-7)/(14/k)*15*-1?
False
Let o(t) = 4*t**2 - 48*t - 10. Let j be o(10). Let d = j + 280. Is d a multiple of 10?
True
Suppose -5*g + 10 = 0, -3*c - g = -6*c + 4. Suppose -w + 84 = c*w. Is 7 a factor of w?
True
Let t(h) = 39*h - 186. Does 15 divide t(9)?
True
Let k be 1 + 24 - 4*1. Suppose 3*c + 4*s - k = 0, 3*s - 12 - 16 = -4*c. Suppose -53 = -2*r + c. Is r a multiple of 7?
False
Suppose 28*h - 5715 = 19*h. Is 38 a factor of h?
False
Let z be 2*1*21/(-14). Let u(v) = -21*v - 3. Is u(z) a multiple of 12?
True
Let f = -7 - -18. Let p(t) = -t**3 + 12*t**2 - 9*t - 13. Is p(f) even?
False
Let w(v) = v + 0*v - 4*v. Let x be (6/(-4))/(2/8). Is 6 a factor of w(x)?
True
Let q(l) = 2*l**3 + 7*l**2 - l + 38. Is q(5) a multiple of 12?
False
Suppose -16*x + 98 = -15*x. Let p = -73 + x. Does 5 divide p?
True
Suppose 311 = 2*c - 5*d, 2*c - 410 + 123 = -3*d. Let i = -1827 + 1736. Let a = c + i. Does 13 divide a?
False
Let b = -8 - -8. Let n(p) = 0*p + 3*p + b*p - 5. Is 11 a factor of n(9)?
True
Let m(a) be the third derivative of -1/8*a**4 + 0*a - 7*a**2 + 1/30*a**5 + 0 + 1/2*a**3. Is 3 a factor of m(4)?
False
Let l = -41 - -187. Does 3 divide l?
False
Let d = -12 - -18. Let i(q) = -2*q + 7 - d - 2*q + 1. Is 5 a factor of i(-3)?
False
Suppose -3*k = 2*p - 1013, 503 = -3*k + 2*p + 1536. Does 31 divide k?
True
Suppose 9*o = 13*o + 8. Is (-6344)/(-91) + 32/14 + o a multiple of 4?
False
Let h(q) = 91*q - 1. Let u be h(2). Suppose -2*i = -3*y - u, 88 = i - y - 3*y. Does 29 divide i?
False
Suppose q = 3*l + 9, 15 = 3*q - 4*l + l. Let b be 3/((-3)/2) + 11. Suppose q*g - 12 = b. Is g even?
False
Suppose 39*r = 41*r - 10. Suppose 2*a - 128 = 2*l, r*l = 5*a + 3*l - 314. Does 19 divide a?
False
Suppose 0 - 10 = -5*g - y, 0 = -g - 4*y - 17. Suppose 0 = g*n + c - 121, n - 5*c = 3*n - 59. Is n a multiple of 7?
True
Let r(c) = -c**3 - 5*c**2 + 4. Let w(u) = -7*u**2 + 3*u + 3. Let v be w(-1). Does 36 divide r(v)?
False
Suppose 6*n = 3*n. Suppose -24 = -n*m - 3*m. Is 11 a factor of (26/4 - 0)*m?
False
Let w = -72 - -124. Let k = 67 - w. Is k a multiple of 14?
False
Suppose h = 172 + 635. Suppose -3*y - 3*x + h = 0, 5*x = -9 + 4. Does 29 divide y?
False
Let m be (-49)/(-21) - (-2)/3. Let a be m/(-2)*(-38)/(-3). Does 5 divide 2 + 0/(-1) - a?
False
Let v be (-2)/((-28)/8 - -3). Let p be (-1545)/(-10)*v/3. Suppose 3*y - 121 = p. Is y a multiple of 23?
False
Suppose 3*v = -0 + 9. Suppose -q + 0*r + 6 = 2*r, -4*q + 5*r - 2 = 0. Suppose -102 = -2*h - q*l, -115 = -2*h - v*l - 15. Is 15 a factor of h?
False
Let z(p) = 454*p + 2 - 449*p + 0. Is z(6) a multiple of 5?
False
Suppose -4*g + 3*x = -12, x - 4 + 19 = 5*g. Suppose 512 - 11 = g*k. Is 26 a factor of k?
False
Suppose -4*u = -c - 122, c - 3*u + 436 = -3*c. Let l = 165 + c. Does 11 divide l?
False
Let d = -204 - -436. Suppose -5*k - 8*a + 4*a + 514 = 0, -2*k + d = -5*a. Does 19 divide k?
False
Let h(f) = 7*f - 216. Does 16 divide h(42)?
False
Let n(u) be the third derivative of u**6/360 + u**5/30 + u**4/4 - 2*u**3/3 - 4*u**2. Let d(s) be the first derivative of n(s). Does 6 divide d(-5)?
False
Suppose j = 3*j + 3*l, -2*l = -j - 14. Is 12 a factor of ((-442)/5)/(-1) - j/10?
False
Let k(v) = -53*v - 33. Let f(d) = -35*d - 22. Let r(l) = -7*f(l) + 5*k(l). Let x(p) = p**2 - p - 16. Let j be x(-3). Is r(j) a multiple of 10?
False
Suppose 17 = 3*f - 2*m, -3*f - 4*m - 4 = 3. Suppose -f*k + 6 = -2*k. Suppose 0 = -k*c + 7*c - 15. Does 15 divide c?
True
Let s(g) = -4*g - 9. Let f = -13 + 10. Let t be f/(-6) + (-76)/8. Is s(t) a multiple of 9?
True
Let m be 20/(-6) - (-1 + 4/6). Does 12 divide (18/(-5))/(((-27)/(-60))/m)?
True
Suppose 9*f = 5*c + 8*f + 3, c - 2*f + 6 = 0. Suppose 4*s = -c*s + 80. Does 12 divide s?
False
Suppose -34 = y + 70. Let t be y/(-6)*(-6)/(-4). Suppose 16 + t = 3*x. Is x a multiple of 14?
True
Let y be (30/(-25))/((-2)/10). Let f(u) = -2*u + 13. Let s be f(y). Does 9 divide s + (0 - 4) + 72?
False
Let b be ((-19)/3 - -6)/(1/141). Let n = 77 + b. Is 8 a factor of n?
False
Let z(f) = 9 - 3 - 3 + 9*f. Let x be z(-11). Is 2 a factor of (-6)/10 - x/10?
False
Suppose 3 = -2*x + 5. Let o(f) = -f + 1. Let z be o(2). Is z + 91/(x - 0) a multiple of 27?
False
Let q(y) = -73*y - 5. Is 18 a factor of q(-5)?
True
Let o = -1150 - -1256. Is 29 a factor of o?
False
Suppose -22*a + 17*a = -30. Suppose -a*s + 1 = -29. Is s even?
False
Suppose 0 = 138*p - 175*p + 84212. Is 94 a factor of p?
False
Let g(x) = 606*x**2 + 7*x. Is 30 a factor of g(1)?
False
Suppose -5*q = j + 15, 20 = 3*j - 4*q + 8. Suppose -6*r - 7*r + 247 = j. Is 19 a factor of r?
True
Is (648/28)/((-12)/(-56)) a multiple of 12?
True
Let g(q) = q**3 - 14*q**2 - 2*q - 50. Does 29 divide g(15)?
True
Let d = -227 - 112. Let j = d - -651. Is 20 a factor of j?
False
Let r be 2*2 + 0/(-12). Suppose 5*i + 125 = 3*h, 5*h - r*i - 205 = i. Is 8 a factor of h?
True
Suppose -5*s + 3*z - 4*z = -17, -s - z + 5 = 0. Suppose 0 = 2*v + s*v - 85. Is 17 a factor of v?
True
Let q(a) = 3*a - 11. Let s be q(5). Suppose s*d - 6*d + 372 = 0. Is 42 a factor of d?
False
Suppose -2*m - 2*m = -3*l + 49, l - 11 = 4*m. Suppose -l*j + 12*j = -833. Does 7 divide j?
True
Let