 d a multiple of 28?
True
Let m(w) = -5*w**2 - 271*w + 90. Does 34 divide m(-42)?
True
Suppose 1190 = 8*l - 322. Let d be l/45 + 2/(-10). Suppose -6 = -3*c, 2*c + 14 = -y + d*y. Does 2 divide y?
True
Let h = 269 - 269. Suppose h = g + y + y - 856, -g = -y - 868. Is g a multiple of 36?
True
Let n = 4614 + -2377. Is n a multiple of 20?
False
Suppose -2*f + 50 = s + 70, 3*f + 51 = -3*s. Let j(b) = -31*b - 146. Is j(s) a multiple of 32?
True
Suppose 2*b + 2*o + 4 = 0, 7*o = 4*b + 9*o + 12. Let l be ((-3)/(-3))/(0 + -1). Is (245/(-25) - l)/(b/70) a multiple of 22?
True
Let g = -127 - -362. Suppose 0 = 2*j - 5*m - g, -j + 4*m + m = -110. Let c = j + -73. Is 7 a factor of c?
False
Let x(v) = 6*v**3 - 7*v**2 - 2*v. Let s(w) = 17*w**3 - 20*w**2 - 5*w. Let o(m) = 4*s(m) - 11*x(m). Let y be o(3). Let c = 27 + y. Is c a multiple of 20?
True
Let d be (20/15)/(4/168 - 0). Suppose d = 2*a + 3*z, z + 20 = 4*a - 92. Is 8 a factor of a?
False
Suppose -c = 6*c - 3353. Suppose -4*f + 3833 = -c. Is f a multiple of 77?
True
Let h be 10/45 + (-1)/(-9)*-38. Let y be 1/(h/(-64)) - 2. Suppose -16*c + y*c = -276. Does 23 divide c?
True
Suppose -2*z - 80 = -10*q + 9*q, -2*z - 156 = -2*q. Suppose i - 496 = q. Does 22 divide i?
True
Let d(i) = -198*i + 26. Let o be d(-4). Suppose -12*w + 1078 + o = 0. Does 64 divide w?
False
Let c(p) = -p**3 - 19*p**2 + 4*p. Let f be c(-19). Let a = 100 + f. Is 6 a factor of a?
True
Let s = 27991 - 21841. Does 123 divide s?
True
Let z = -4258 - -6220. Suppose 94*w = 91*w + z. Is w a multiple of 35?
False
Suppose -238*w = -244*w + 4470. Let t = 1252 - w. Does 46 divide t?
False
Let o(i) = 11*i + 1. Let j(q) = -68*q - 7. Let g(f) = -6*j(f) - 34*o(f). Is 4 a factor of g(2)?
True
Let n(g) = g**2 - 3*g - 46. Let s be n(-5). Does 64 divide 14052/8*s/(-9)?
False
Suppose 133 = -17*w - 20. Let h(o) be the first derivative of 2*o**3/3 + 17*o**2/2 + 5*o + 11. Is h(w) a multiple of 8?
False
Let m(y) = 2*y**2 + 20*y**3 + 0*y**2 - 4*y - 7 - 3*y + 8*y. Let w be m(4). Suppose -6*o - w = -17*o. Is o a multiple of 17?
True
Suppose -18*f + 1 = u - 21*f, 3*u + f - 13 = 0. Suppose 4*w + u*g = 1028, -5*w = -2*g - 457 - 793. Is 28 a factor of w?
True
Let f(x) = 2*x**2 + 14. Suppose 5 + 6 = q. Is f(q) a multiple of 8?
True
Let j(c) = -5*c**2 + 19*c - 23. Let y(s) = -9*s**2 + 36*s - 46. Let x(p) = -11*j(p) + 6*y(p). Does 32 divide x(10)?
False
Let h be (-35 - -36)/((-1)/10*-2). Suppose 0 = 4*m + 20, -h*c - 5*m = -212 - 233. Does 12 divide c?
False
Does 5 divide 2/6*(-30408 - 18)/(-22)?
False
Let a(j) = 9005*j - 9. Is 13 a factor of a(1)?
True
Let u(s) = 3*s**3 - s**2 + s + 4. Let v be u(-4). Let i = v + 363. Suppose -x + 5*x + i = 3*r, 2*r + 4*x - 70 = 0. Does 15 divide r?
True
Let p = -6 - -7. Suppose 0 = -2*g + 5 - p. Suppose 0*f - g*f + 342 = 0. Is 32 a factor of f?
False
Let t(q) = -q**3 - 9*q**2 + 5*q - 18. Let o be t(-10). Is 29 a factor of o/(-40) - (-13902)/15?
False
Suppose -35793 - 12879 = -92*s + 20*s. Does 8 divide s?
False
Let z = -108 + 75. Let l = z + 53. Suppose -l = -d + 8. Does 7 divide d?
True
Let h = 383 + -377. Is 32 a factor of h + (4 - -1) + 85?
True
Let d be -28 + 29 - (0 - -1)*-2. Suppose -3*r = -d*u - 27, -u + 5 = 2*r + 2. Suppose 0 = -3*m + 4*n + 40, -74 = -r*m + 5*n - 21. Is 2 a factor of m?
True
Let h = 45 - -1134. Does 8 divide h?
False
Let i = 1487 + 4861. Is 33 a factor of i?
False
Let l(p) = -9*p + 3. Let x be l(-4). Suppose 175 = 5*q + 3*h, -x - 101 = -4*q + 2*h. Is 2 a factor of q?
False
Suppose 2*a - 4853 = 5*m, -5*m + 3*m + a - 1942 = 0. Let v = m - -1321. Is 5 a factor of v?
False
Let s(z) = -z + 14. Let d be s(-11). Suppose d*b - 11401 + 1051 = 0. Is b a multiple of 6?
True
Let c(d) = -23*d**2 - 6*d + 7. Let v be c(-4). Let n = 525 + v. Does 32 divide n?
False
Let i = -1522 - -4822. Is i a multiple of 11?
True
Suppose -31*o + 345919 + 215863 = 0. Is 41 a factor of o?
True
Let k(w) = 4*w + 2. Let y(p) be the first derivative of p**3/3 - 20*p - 33. Let o be y(5). Does 11 divide k(o)?
True
Let o(r) = -679*r + 5157. Is o(-57) a multiple of 129?
True
Suppose 0 = 4*v + 2*t - 5 + 15, t + 5 = 0. Suppose 9*c = -v + 9. Does 24 divide 38/19*(218/4 + c)?
False
Let p(o) = -126*o**3 + 2*o**2 + 16*o + 26. Is p(-4) a multiple of 12?
False
Is (-34)/238 - (-247696)/56 even?
False
Suppose 4*d - 4102 = 11*d. Let p = -270 - d. Does 27 divide p?
False
Suppose 0 = -7*q + 37 - 2. Suppose 11*n + 209 = 14*n + h, q*n = 5*h + 375. Is n a multiple of 7?
False
Let p(h) = 47*h**2 - 2*h. Let c(w) = -36*w**2 + w + 1. Let f(j) = -4*c(j) - 3*p(j). Let u = -15 + 11. Is 4 a factor of f(u)?
True
Let o = -42 + 67. Let a = -26 + o. Let x = 50 + a. Does 9 divide x?
False
Let c = 24 - 14. Let f be c/3*(-9)/(-6). Suppose -f*p - 8 = -6*p. Is 8 a factor of p?
True
Let q = 75354 - 40424. Is 35 a factor of q?
True
Suppose -1740 = 1065*w - 1068*w. Let t = w - 305. Is 6 a factor of t?
False
Let n = -19834 - -44080. Does 11 divide n?
False
Does 127 divide (14023/2)/1 - 13*9/234?
False
Let r(p) = 23*p - 46. Let j be r(16). Let c be 4*(-2)/(-6)*3. Suppose -263 = -c*k - 3*m, 0*k - 3*m = -5*k + j. Does 8 divide k?
False
Suppose 2*i - 39616 = 4*m, 0 = -12*i + 20*i - 2*m - 158422. Does 86 divide i?
False
Suppose 24 = -8*c - 4*k, 10 - 6 = c + 4*k. Let y(w) = 6*w - 4*w - 31*w. Is y(c) a multiple of 27?
False
Let v(h) = -23*h**2 - 9*h + 506. Let z(u) = -10*u**2 - 5*u + 253. Let n(y) = 3*v(y) - 7*z(y). Is n(-33) a multiple of 12?
False
Suppose -2*g - 11*g = 0. Suppose 7*i - 1218 - 2282 = g. Is 25 a factor of i?
True
Let b = -344 - -345. Let n(p) = 440*p - 6. Is n(b) a multiple of 62?
True
Let k(v) = v**3 - 19*v**2 + 119*v + 63. Is k(20) a multiple of 14?
False
Let b(i) be the first derivative of -i**2/2 - 9*i - 15. Let m be b(9). Does 5 divide (-4)/m*1*6*21?
False
Let l(m) = -186*m**2 + 16 + 5*m**3 + 60*m**2 + 63*m**2 + 58*m**2 - 6*m. Is 18 a factor of l(5)?
True
Suppose 3*q - u - 6536 = 0, 0 = 969*q - 968*q - 3*u - 2168. Is q a multiple of 6?
False
Let q = 595 - 363. Suppose -q = -2*b - 42. Is b a multiple of 19?
True
Suppose 3*c = -3*b + 3087, 2*b = 22*c - 21*c - 1020. Is 57 a factor of c?
True
Let y(f) = 2227*f - 422. Does 15 divide y(1)?
False
Let x(p) = -367*p + 818. Does 34 divide x(-11)?
False
Suppose 4*q + 16 = 4*d, 3*d - 2*d - 13 = 2*q. Let a be -1*3*(15/(-5))/q. Is (a/2 - (-5)/2)*12 a multiple of 24?
True
Let m = -96 + 99. Suppose -1 = m*t - 16. Suppose 3*q - t*c = 7*q - 433, 230 = 2*q - 2*c. Does 14 divide q?
True
Let d(n) = -8660*n**3 - 15*n**2 - 6*n - 7. Is 74 a factor of d(-1)?
False
Suppose -7 = 2*i - 3. Does 17 divide (-164 + 2)/(-3) - i?
False
Let b(y) = -y**3 - 3*y**2 + 2*y + 1. Let v be b(3). Let d = 10 - v. Let h = d - 24. Does 29 divide h?
False
Let p(h) = 45*h**2 + 2*h - 46. Is p(32) a multiple of 45?
False
Let g = -2688 - -8349. Does 51 divide g?
True
Suppose 5*r + 46 = -c, -2*r - c = 4*c. Let j(v) = -6*v - 20. Let x be j(r). Suppose -3*g + 176 = 3*s - 2*g, -x = -s - 5*g. Is 10 a factor of s?
True
Suppose 11*i = 489 + 5572. Suppose 4*d + 15*d = i. Is 2 a factor of d?
False
Let b = 9 - 5. Suppose -43*s = -44*s - w + 262, s - 256 = -3*w. Suppose 3*z = 3*v - s - 197, -b*z = v - 129. Is v a multiple of 18?
False
Let q(j) = 6*j - 44. Let p be q(10). Let s(z) = -19*z + 39*z - 18*z + 4 - 6. Is 4 a factor of s(p)?
False
Suppose -5*g + 8*i = 3*i - 220, -174 = -4*g + 2*i. Suppose 6*w = -1 + g. Suppose w*p = p + 546. Does 13 divide p?
True
Let p be (29/(-4))/(2/(-72)). Let u = p + -150. Is u a multiple of 3?
True
Suppose 3*n = 3*y + 84, 5*n - 143 = -0*y + 4*y. Let v = 185 - n. Is v a multiple of 14?
True
Let i(m) = m**3 + 16*m**2 + 23*m + 53. Let j be i(-15). Suppose k + v = -v - 89, 2*k + 2*v = -184. Let w = j - k. Does 8 divide w?
False
Suppose 0 = 22*n + 149 - 3449. Let z = n + -106. Does 22 divide z?
True
Suppose -4*n = 4*u - 41484, 48*n - 46*n - 20763 = 5*u. Is n a multiple of 13?
True
Suppose -2*i + 3*o = -77, -2*i = 3*o + 4 - 87. Suppose 4*v + 16 = 5*v - g, -2*g = 4*v - i. Suppose v*f + 66 = 14*f. Is f a multiple of 11?
True
Suppose -181*n + 172*n = -11592. Does 14 divide n?
True
Suppose 73*h - 6153 = -5*j + 71*h, -j + h = -1239. Does 2 divide j?
False
Let t = -1397 + 5477. Does 85 divide t?
True
Suppose -6 = 3*j, -135 - 297 = -3*r + 3*j. Suppose -18 = -x + r. 