?
False
Does 29 divide 185*24*(-4)/(-3)?
False
Let q(w) = 3*w**2 - 5*w - 26. Suppose -4*j + 0*j = 3*l - 20, 2*j = -8. Is 6 a factor of q(l)?
False
Let t be -2*(-1 - 0) + 12 + 57. Let z be (-2 - -44) + (-2 - -1). Suppose t + z = 4*b. Does 7 divide b?
True
Let w(y) = -576*y + 465. Let t(k) = -115*k + 93. Let x(v) = -11*t(v) + 2*w(v). Is 79 a factor of x(7)?
False
Let w = -7733 + 11216. Does 24 divide w?
False
Suppose -11*k + 13*k - 2314466 = -75*k. Is k a multiple of 266?
True
Suppose 78*a - 1082892 = 7*a. Does 52 divide a?
False
Does 31 divide (-9 + 5)*(-2)/4*(13023 - -2)?
False
Suppose -18*q + 15*q + 433504 = 35*q. Is q a multiple of 62?
True
Let y = -24190 - -40090. Is 105 a factor of y?
False
Suppose i - 163 = -l, -i - 1 = -2*i. Does 9 divide 7*(l/(-12))/((-1)/2)?
True
Let t(r) = -17*r + 121. Let q be t(7). Suppose -3*n - c + 133 = 0, 10*c + 98 = q*n + 6*c. Is 3 a factor of n?
True
Let b be 0/((68/51)/(4/6)). Suppose -n + 2*n = 0, b = 5*o - 4*n - 145. Suppose -f + 51 = -o. Is f a multiple of 6?
False
Suppose 11*f - 9 = 8*f, 2*a - 7908 = -4*f. Is 10 a factor of a?
False
Let y = 44 + -80. Let c = y + 33. Is 18 a factor of 535/30 - c/18?
True
Suppose -23*p + 153 = -24*p. Let r = 498 + p. Does 15 divide r?
True
Let a(b) = -6*b + 18. Let g(t) = -t + 1. Let h(z) = a(z) - 4*g(z). Let j be h(9). Is 24 a factor of 626/13 + j/26?
True
Suppose 15*m + 288 = 3*m. Let d = -19 - m. Suppose 136 = v - d*y, 456 = 5*v - v + 2*y. Is v a multiple of 29?
True
Let c be 4/((-8)/3)*162 + 4. Let h = 539 + c. Does 12 divide h?
True
Is (2082/(-10))/((-609)/46690) a multiple of 45?
False
Suppose -1797*p = -1712*p - 490960. Does 30 divide p?
False
Suppose -39*i = -0*i - 175753 - 534671. Does 184 divide i?
True
Let r(z) be the third derivative of z**5/30 + 11*z**4/24 + 7*z**3/3 + 45*z**2 + z. Is 9 a factor of r(-14)?
True
Let i be 1172/20 - (-9)/(-15). Suppose -d - 19 = -2*n + 48, 2*n - 4*d = i. Is 11 a factor of n?
False
Suppose 7*p + 574 - 889 = 0. Let k = 26 - 61. Let n = p - k. Is n a multiple of 20?
True
Let z(h) = 87*h + 77. Let p be z(-4). Let l = 745 + p. Is l a multiple of 12?
False
Suppose -4*c + 5*v = -9853, 7*v - 12260 = -5*c + 2*v. Is 27 a factor of c?
True
Let m(r) = -r**2 - r - 17. Let g(s) = s**2 + s + 17. Let l(j) = 7*g(j) + 6*m(j). Let o be (-16)/(-6)*(-207)/92. Is 7 a factor of l(o)?
False
Let y = 632 - -2203. Does 21 divide y?
True
Suppose 223188 = 5*n - 2*y, 21*y - 9 = 22*y. Is n a multiple of 78?
False
Suppose -243*b + 487*b = 242*b + 14006. Is b a multiple of 149?
True
Suppose 0 = -20*o + 94618 - 10418. Is o a multiple of 3?
False
Suppose 0 = t - 5*k + 425, 0 = -2*t - 0*k - k - 806. Let c = t + 816. Is c a multiple of 38?
False
Let p(z) = 58*z**2 - 12*z - 77. Let x be p(-5). Let o = 2146 - x. Is o a multiple of 31?
True
Suppose -2*q = -p + 2, p = -p - 2*q + 28. Let l(u) = u - 7. Let v be l(p). Does 7 divide ((-9)/(-6))/(v/42)?
True
Suppose -1699 = -4*f - 363. Let t(v) = -v**2 + 82*v + 2681. Let w be t(-25). Suppose f = w*s - 50. Does 8 divide s?
True
Suppose 6*w = -0*w - 96. Let x = w + 20. Suppose t + x*m - 20 = -0*t, -5*m + 46 = 2*t. Is t a multiple of 7?
True
Let t = 286 + -71. Suppose v - 2*v + s = -t, -4*v + 865 = s. Is 12 a factor of v?
True
Suppose 12*k = 76 - 124. Let i = k + 140. Is 3 a factor of i?
False
Suppose -14 = 64*q - 66*q. Does 9 divide (-6 - -8) + q/(14/248)?
True
Suppose l = 8 - 24. Let g = l - -19. Suppose -v - g*v + 496 = 0. Does 31 divide v?
True
Let o = 810 + -1230. Is 14 a factor of o/(-8)*(-16)/(-10)?
True
Let b = 425 + -595. Let a = b - -180. Is a even?
True
Does 12 divide 1*(-14 + 10593 + -19)?
True
Let v = -6985 - -13619. Is 107 a factor of v?
True
Let q(c) = -23*c + 61. Let j(b) = 113*b - 305. Let u(z) = -2*j(z) - 11*q(z). Is u(11) a multiple of 14?
False
Let o = -155 + 100. Let f = -133 - o. Let x = -73 - f. Does 3 divide x?
False
Let i = 96 - 97. Let m be (-796)/(-24) - i/(-6). Let y = 111 - m. Is 3 a factor of y?
True
Let j(k) = -24*k - 18. Let m be 148/(-24) + (-3)/(-18). Let i be j(m). Suppose -5*z + 3*z = -i. Does 21 divide z?
True
Let r = 53 + -49. Suppose -r*i = 3*w - 14, 0 = w + 2*w - 4*i + 2. Suppose 2*y - 270 = -z, 3*z - 5*y = w*z + 242. Does 30 divide z?
False
Let l = 26 + -24. Let b = -63 + 78. Does 17 divide b/10 - (-123)/l?
False
Let c(z) = 2*z**3 - 22*z**2 + 38*z + 18. Is 11 a factor of c(21)?
True
Let j = -98 + 100. Suppose j*i - 3*f - 65 = 103, -3*f = 4*i - 318. Suppose -i = -104*d + 101*d. Is d a multiple of 9?
True
Suppose 0*m = 2*m - 4. Suppose -47 = -m*z - 37. Suppose l - 4*u - 59 = -z*u, 4*l - 4*u - 268 = 0. Is l a multiple of 18?
False
Let y = 159 + -311. Let t = y + 177. Is 4 a factor of t?
False
Let t(d) = 23*d**2 + 104*d + 378. Does 15 divide t(-4)?
True
Let c(y) = 195*y + 1288. Is 31 a factor of c(4)?
False
Let s(x) = -x**2 - 46*x + 516. Is s(-52) a multiple of 51?
True
Suppose -162*a + 63*a + 268979 + 570640 = 0. Is a a multiple of 72?
False
Let x(c) = -47*c + 1. Let j be -2 + (-40)/(-25) + (-6)/10. Let d be x(j). Suppose 12 = b - d. Is 15 a factor of b?
True
Suppose 2580 + 3510 = 29*w. Does 4 divide w?
False
Let r = 216 - 395. Let w = 279 + r. Suppose i = -3*i + w. Is 6 a factor of i?
False
Let i(l) be the first derivative of 0*l + 1/2*l**4 - 16 - l**3 - 11/2*l**2. Does 9 divide i(4)?
True
Suppose 12*r - 166236 - 91146 = -53478. Does 12 divide r?
True
Suppose 4 = -5*a + 14. Suppose 0 = a*u - 84 + 18. Is 16 a factor of u?
False
Let c be ((-6)/4)/((-1)/6). Let g be ((-1)/2 - -1)*(-5 + c). Suppose 314 = 4*s + 2*n, g*s + 0*s - n - 163 = 0. Is 10 a factor of s?
True
Let f be ((-3)/(-2))/(21/56). Suppose -2*g + f*g = 8. Suppose 75 = t + 2*x, 247 = 3*t - g*x + 12. Does 11 divide t?
True
Suppose 7*c - 30 = 17*c. Is 23 a factor of (c - -2) + 1 - -2 - -391?
False
Let d(p) = 72 - 36 - 29 + 5*p - p. Let l be d(-1). Suppose 5*b - 4*b - 249 = -l*f, -b = -f + 83. Is f a multiple of 11?
False
Let t = 12 + -7. Let b be (-1)/((-2)/(-16)*-2). Suppose -3*x + 58 = b*c, -t = -c - 4. Is 10 a factor of x?
False
Let q = -26 - -24. Let u be 1 - (-4 - -6)/q. Suppose 0 = p + u*p - 396. Is p a multiple of 33?
True
Let h be -3 + (-141 - (5 + -4)). Let q = h - -239. Does 5 divide q?
False
Suppose -10*t + 446 + 44 = 0. Suppose -d + t = r, 8*d + 25 = r + 3*d. Is 9 a factor of r?
True
Let q(s) = -1 + 0 - 24*s + 1 - 5. Let w = -22 - -19. Does 33 divide q(w)?
False
Let z be (-34)/((-22)/(-6) - 4). Let a = 174 - z. Is 65 a factor of a?
False
Suppose -10*t + 7*t - 507 = 0. Let h = -94 - t. Let j = h + -53. Does 4 divide j?
False
Let h be (-4)/(-14) + 52/(-182). Suppose h*i = 2*i + 2*b - 40, 0 = -3*i + 4*b + 53. Suppose d + i = 61. Is d a multiple of 13?
False
Is 25 a factor of 1 + 6974 + 0/(-139)?
True
Let l(x) = 126*x**3 - x**2 + 2*x - x + 29*x**3. Let v be l(1). Let c = -61 + v. Is 17 a factor of c?
False
Let n = 1599 - -1553. Does 8 divide n?
True
Let i be (2960 + 7)/(1 - 0). Suppose 10*h - i = 1033. Does 87 divide h?
False
Let q(p) = p**3 - 8*p**2 + 2*p + 27. Let w be q(7). Let l(c) = -c**3 - 3*c**2 - 14*c. Does 36 divide l(w)?
True
Let l = 506 + -221. Let f = -175 + l. Suppose -5*y - 2*b + f = 0, -9*y = -8*y - b - 22. Does 5 divide y?
False
Let b be (1*2)/(14 + -5 + -8). Suppose 0 = b*p + 5*w - 145, 6*w = w + 25. Is p a multiple of 12?
True
Let a(f) = 17*f - 69. Let m be a(6). Suppose 36*r - m*r - 285 = 0. Is r a multiple of 5?
True
Suppose -2*t - 1755 = -15*t. Is t a multiple of 3?
True
Suppose -134936 - 111833 = -8*l + 157231. Does 125 divide l?
True
Suppose -2*d + 4*q + 879 = -d, 3*q - 3573 = -4*d. Let g = 1276 - d. Does 35 divide g?
True
Let u = 531 - 73. Suppose -2*v + u = 5*k, 0 = 3*k - 0*v + 5*v - 290. Does 12 divide k + (-6 - 1 - -4)?
False
Let s be (472/32 - 2)/((-3)/8). Does 100 divide (-33 - s)*(4114/1)/2?
False
Suppose -83*r + 8 = -81*r. Is 32 a factor of (11868/78 - (-8)/(-52))*r?
True
Suppose -10*o + 809 = 5*z - 7*o, 4*z = -2*o + 648. Let q = -30 + z. Is 3 a factor of q?
False
Suppose -2*m + 3*m = 136. Suppose 4*h = -3*r + 3, -r - 4 = 5*h - 5. Suppose h*i = i - m. Does 8 divide i?
True
Suppose -3*o - 82 = 35. Let r = -24 - o. Let q = 50 + r. Does 13 divide q?
True
Let w(r) = 1825*r**3 - r**2 + 55*r - 9. Is 10 a factor of w(3)?
False
Suppose 0*w - 4529 = 7*w. Let k = -625 - w. Is 11 a factor of k?
True
Su