= -25 - -7. Let i be y*(18/(-4) - -1). Let m = 137 - i. Is m a multiple of 12?
False
Let i be 0 + 458/2 + 1. Let r(s) = 9*s**2 + 928*s + 108. Let f be r(-103). Suppose 4*g - 2*b = 110, i = f*g + 2*b + 70. Is 15 a factor of g?
True
Let h be 468/7*(-84)/(-18). Suppose -m = -4*c - h, c + 2*m + 83 = m. Let t = 143 + c. Is t a multiple of 16?
True
Let x(l) = 1011*l**3 + 4*l**2 - 22*l + 59. Is 19 a factor of x(4)?
False
Suppose -o - 4*c + 14 = 0, 2*o - 2 = o + 2*c. Suppose -4*r - 5*g = -42, -3*g = r - o*r + 34. Let m(n) = 7*n + 13. Is 23 a factor of m(r)?
True
Let m = 95524 - 48846. Is 70 a factor of m?
False
Suppose -3*u + 6208 = 4*i + u, -2*u = -3*i + 4676. Suppose -3*x = -i + 209. Suppose z - 34 = 4*y + 71, y = 5*z - x. Is z a multiple of 15?
False
Suppose 8*w = -13 - 11. Let m(c) = -40*c - 35. Does 15 divide m(w)?
False
Let l = 129 - -4227. Does 12 divide l?
True
Let g = 306 - 136. Suppose 5*i - 4*j + 255 = 2*i, -264 = 3*i - j. Let y = i + g. Does 17 divide y?
False
Let w(z) = 5*z**2 + 25*z - 3490. Is w(50) a multiple of 6?
True
Suppose -s - 3*s - 20 = 0, 0 = -n + 3*s - 118. Let d be (26*3)/((-38)/n). Let p = d + -157. Is p a multiple of 29?
True
Suppose -5 + 1 = 2*i + 2*v, 5*v = -2*i - 10. Suppose -7*c + 2*c - 20 = i, -3*w - 2*c = -184. Is w a multiple of 8?
True
Let v = -6994 + 9609. Is 2 a factor of v?
False
Let d = -57 - -171. Let w = -50 + d. Is 4 a factor of w?
True
Let y(b) be the first derivative of -45*b**4/2 + b**3/3 - 3*b**2/2 + 2*b - 40. Let x be y(1). Let v = -27 - x. Is v a multiple of 16?
False
Suppose 0 = -x - 2*f + 26368, -107*f + 110*f = 18. Is 15 a factor of x?
False
Is 12 a factor of -2 + (-68430)/(-7) - 6/(-21)?
False
Suppose 6*l = 5*l + 2. Suppose l*i - 3*s - 1348 = -s, 2028 = 3*i + 3*s. Does 25 divide i?
True
Suppose -4*z = 3*l - 7168 - 808, -l + z = -2661. Does 14 divide l?
True
Let i be (469/(-21))/(8/6 - 1). Let c = 229 + i. Is 18 a factor of c?
True
Suppose 3 = -9*j + 10*j + o, -3*j - 2*o + 4 = 0. Let c = 13 + j. Suppose -t + c*t - 1130 = 0. Is t a multiple of 47?
False
Suppose -16*h = 5*h - 9009. Let l = h - -408. Is l a multiple of 31?
True
Let x(n) be the second derivative of n**5/20 + n**4/2 + n**3/6 + n**2/2 - 5*n. Let r be x(-6). Does 9 divide 6/(-15) - 227/r?
True
Suppose -4*x = -a + 6*a + 895, 2*x = 5*a + 865. Suppose 4*r - 8 = 0, -3*v - r + 1218 = v. Let h = a + v. Is 27 a factor of h?
False
Let y(g) = -g**2 - 13*g - 36. Let f be y(-8). Suppose -f*k - 342 = -5*p, 4*p = -3*k + 163 + 92. Is 22 a factor of p?
True
Let u = 9421 + -9301. Is 6 a factor of u?
True
Let p(c) = 20*c**2 - 162*c + 26. Is 8 a factor of p(-9)?
True
Suppose 7*h - 2*h + 12 = 4*g, 0 = 2*g + h - 6. Suppose d - g - 11 = -3*m, -3*d = m - 66. Let w = d + 52. Is 15 a factor of w?
True
Let x = 218 - 232. Is 51 a factor of 790/9 - x/(-63)*-1?
False
Does 86 divide (0 - (-4)/6)*(22 - 11 - -15115)?
False
Let r = -23465 - -28805. Is r a multiple of 13?
False
Let d = -1074 - -2110. Suppose -57*h = -43*h - d. Does 3 divide h?
False
Let k = -2769 - -4203. Is 25 a factor of k?
False
Let h(r) = -33*r - 132. Let a be h(-8). Suppose a + 156 = 6*x. Does 16 divide x?
True
Let m(n) be the second derivative of -n**3/3 + 60*n**2 - 36*n. Is m(-31) a multiple of 30?
False
Suppose -3*p - 5*k + 557 = 0, 4*p - 4*k - k - 696 = 0. Suppose -h + 171 + p = 0. Is h/2*80/100 a multiple of 20?
True
Suppose 0 = 3*h - 3*p - 3822, 2*p - 5096 = 17*h - 21*h. Is h/(-1)*(-3 + 10/4) a multiple of 52?
False
Suppose 19 - 25 = -6*v. Let u be (-1 + v)/((-3)/(-9)*-3). Suppose u = -29*l + 34*l - 1540. Is l a multiple of 51?
False
Suppose 5*a - c = 5423, 0 = -4*a + 9*c - 12*c + 4346. Does 35 divide a?
True
Is (480/(-200))/(((-4)/(-48))/((-290)/4)) a multiple of 24?
True
Let c(s) = -s**2 + 10*s - 18. Let m be c(3). Suppose 0*p - 2*p = -3*a + 116, m*a = -2*p + 124. Is 4 a factor of a?
True
Let m(b) = b**3 + 14*b**2 - 3*b - 40. Let j be m(-14). Suppose 3*h + j*t = -3*t + 301, 2*h - 2*t = 206. Is h a multiple of 4?
False
Let b be (91/14 + -6)/((-1)/(-2)). Let s(a) = 115*a**2 - 2*a + 1. Is s(b) a multiple of 14?
False
Suppose -2*g + 2221 = 5*n, 4*n = g + 3*g + 1788. Suppose 0 = -4*r - 5*f + 1531, -4*r - 2*f + 1967 - n = 0. Does 33 divide r?
False
Let j(a) = -a**3 - a**2 + 5*a + 4. Let b be j(0). Suppose 171 = -b*n + 855. Is n a multiple of 9?
True
Suppose 2368015 - 26557 - 343858 = 40*f. Is 227 a factor of f?
True
Let l = -85092 + 127192. Does 195 divide l?
False
Let c = 13 + -30. Let n = c - -21. Suppose -4*o + 104 = n*o. Is o a multiple of 13?
True
Let n = -5317 - -5434. Is n a multiple of 8?
False
Is (10 - 0/(-2))*1168 a multiple of 47?
False
Suppose 5*n = -s + 2 - 1, 0 = 3*n + 2*s - 2. Suppose 842 = 5*f + h - 2*h, 2*f - 5*h - 346 = n. Let l = -97 + f. Is 9 a factor of l?
False
Let i = 53440 - 35463. Does 42 divide i?
False
Suppose -3*b = -b + 3*k - 76, 5*k - 76 = -2*b. Let v = 34 + b. Suppose -v = -5*c + 48. Does 8 divide c?
True
Suppose p = -5*h + 24, 2*h - 8*p + 6*p - 12 = 0. Let r(t) be the second derivative of -t**5/20 + 5*t**4/12 + 6*t**2 + t. Is r(h) even?
True
Suppose u = 2*p + 11 - 0, -3*u + 2*p = -25. Suppose -7 = w - u. Suppose 3*k + k - 60 = w. Does 8 divide k?
False
Let d be (71 + (-6)/(-3))*-1. Let w = 13 - d. Let i = w + -64. Does 4 divide i?
False
Suppose 14*y + 59 = -431. Does 8 divide ((-638)/5)/(-2) + (-7)/y?
True
Suppose n + 29 = 4*j, -n + 33 = 3*j + 2*n. Suppose 0 = 7*u - j*u + 1383. Is (-2)/8 + u/12 a multiple of 23?
True
Let y(o) = -231*o**3 + 3*o**2 + 8. Let m be y(-3). Suppose 534*h - 542*h = -m. Is 28 a factor of h?
True
Suppose 0 = -u - 4*m + 2, u - 3*m + 7 = -5. Let n(p) = -2*p + 4*p**2 - 5*p**2 - p - p**3 - 5*p**2 - 8. Is n(u) a multiple of 2?
True
Let t = 10471 + -8748. Does 14 divide t?
False
Let t = 11738 + -6810. Is t a multiple of 154?
True
Let h be (-3)/1*(0 - 8/3). Suppose -46 = 3*s - c - 129, -3*c + 157 = 5*s. Is (7 + s)*14/h a multiple of 22?
False
Is 1677864/504 - (0 + (-2)/(-21)) a multiple of 9?
False
Let d = -20041 + 23785. Is d a multiple of 8?
True
Let t(f) = -32*f + 142. Let j be t(4). Suppose -3*s - 80 + 920 = 0. Suppose j*i = 10*i + s. Is i a multiple of 14?
True
Let g(a) = 210*a - 65. Let m = -119 - -121. Is g(m) a multiple of 5?
True
Let f = 165 + -203. Let y = -30 - f. Does 5 divide y?
False
Is 15 a factor of 68/(-680) + (-181301)/(-10)?
False
Suppose 9*u = -s - 71, -3*s = -6*u + 7*u + 343. Suppose -393 = -3*p + 291. Let b = s + p. Is 8 a factor of b?
True
Let j(o) = 15*o + 680 - 973 + 625. Is j(10) a multiple of 11?
False
Let y(b) = 30*b**3 - 2*b**2 - 6*b - 8. Let h be y(4). Suppose t - h = -5*g, -3*g - 457 + 1577 = -t. Is 12 a factor of g?
True
Let v be ((-456)/(-9) + 6)*(-12)/(-10). Suppose -v*l - 380 = -73*l. Suppose -140 = -2*k + l. Does 42 divide k?
False
Suppose 710*c + 85560 = 756*c. Is 93 a factor of c?
True
Suppose 2*r - 52 + 24 = 0. Suppose -5*t - l + 930 = 0, 4*l + r - 181 = -t. Is t a multiple of 17?
True
Let k(t) = -18*t**2 + 0*t**3 + 14*t + 45 + t**3 - 56*t. Let u(s) = 43*s**2 + 299*s + 6. Let q be u(-7). Does 5 divide k(q)?
True
Let g = 0 + 237. Let x = g + -105. Is x a multiple of 20?
False
Let l(b) = -2*b**3 - 13*b**2 - 9*b + 16. Let y(r) = 5*r**3 + 27*r**2 + 18*r - 34. Let w(d) = 9*l(d) + 4*y(d). Is 19 a factor of w(7)?
True
Let u = 428 - 438. Is u/(-55) + (-7520)/(-22) a multiple of 38?
True
Suppose -11*b + 191 + 183 = 0. Suppose b*l - 11844 = -13*l. Is 42 a factor of l?
True
Let z(l) = -l**3 - 14*l**2 + 29*l - 4. Let r be z(-16). Suppose -2*t + 3*t + g - 17 = 0, -4*t + r = -4*g. Is 2 a factor of t?
True
Suppose 0 = -30*o + 54*o - 542737 + 63721. Is o a multiple of 57?
False
Let w(g) = -g**2 + 79*g + 215. Is w(21) a multiple of 70?
False
Let u(i) = 335*i + 2. Is 106 a factor of u(6)?
False
Let y(j) = 2*j**2 + 12. Let v(s) = -s - 11. Let t be 2/(-6) + 0 + (-800)/48. Let u be v(t). Does 7 divide y(u)?
True
Let l(x) = -x**3 - 5*x**2 + 6*x + 5. Suppose -3*d + 8*d + 30 = 0. Let f be l(d). Suppose -4*q + 33 = 3*i - 7*q, i - f*q - 19 = 0. Does 5 divide i?
False
Let l be (3 - 26/8) + 114/8. Let p be (-5)/(-2)*(l/(-10) + 3). Is 30*(3 + (-8)/p) a multiple of 15?
True
Is 76 a factor of 6926 + (-1680)/(-56)*(-1)/3?
True
Let y(r) be the first derivative of -10*r**2 - 7*r + 14. Let p be y(-4). Let o = 129 - p. Is 28 a factor of o?
True