8 = 0, 0 = -c*a + 3*t + 1230. Does 51 divide a?
True
Let o(w) = w**3 - 7*w**2 + w + 2746. Is 70 a factor of o(0)?
False
Suppose -4*f + 2146 = 2*p, 23*f = -5*p + 20*f + 5393. Does 53 divide p?
False
Does 28 divide (0 + 30165/(-10))*8/(-6)?
False
Let t(y) be the third derivative of -y**6/120 - 7*y**5/60 + y**4 - 2*y**3 + 25*y**2 + 2. Is 8 a factor of t(-11)?
True
Suppose -468*u = -471*u + 80823. Is u a multiple of 197?
False
Let z be (-11 - -8) + 1*-2 + 355. Suppose -3*k = -0*b + b - z, 3*k + 1660 = 5*b. Suppose -2*u + b = -45. Is u a multiple of 12?
False
Let o = 325 + 903. Suppose 5*b + 1220 = 3*w, -w = 2*w - b - o. Is w a multiple of 35?
False
Let d(n) = -620*n**3 + 31*n**2 + 84*n - 5. Is d(-3) a multiple of 59?
False
Suppose -50 = 4*b - 58. Let f(r) = -b - 2*r**2 + r - 2 - 3*r**3 - 3 + 4*r**3. Is f(4) a multiple of 3?
False
Let o = 14 + -11. Suppose -h + 5*g = -1, -3*h + g + 14 = -o*g. Does 13 divide h/(-21) - (-452)/14?
False
Let r(y) be the first derivative of -y**4/4 + y**2 - 2*y + 16. Is 3 a factor of r(-3)?
False
Let r(q) = 10*q + 3. Let d(p) = -11*p - 3. Let o(k) = -4*d(k) - 3*r(k). Let z be o(1). Suppose -3*y = z - 41. Is 4 a factor of y?
True
Does 4 divide (35/(-6) - (1155/(-90) - -13)) + 8984?
False
Suppose -2*t + 3*t - 4*j = 12, 5*t + 3*j = 14. Suppose 0*r + t = r. Suppose 0 = r*v + 100 - 560. Is 15 a factor of v?
False
Let a be 12*-1*(-1)/(4/4). Suppose 4*k + 2*z = -26, -3*z + 7*z - a = 0. Let s(b) = -2*b + 8. Does 5 divide s(k)?
False
Suppose 0 = 4*h - 48247 - 38333. Is 117 a factor of h?
True
Let g be ((-32)/(-40))/((-41)/20 + 2). Let n(k) = -23*k - 38. Is n(g) a multiple of 30?
True
Does 30 divide (-3)/(9/6) - -3002?
True
Let v(n) = -n + 7 + 10*n**3 - 249*n**2 + 248*n**2 - 2*n**3. Is v(2) even?
False
Let d(i) = -4*i - 12. Let n be d(-4). Suppose 5*k + n*w = 0, -4*k + 0*w = 3*w. Suppose k = f + 1 - 18. Is 5 a factor of f?
False
Let g = 7039 + -2398. Does 13 divide g?
True
Is 4 a factor of (-203)/42 - -5 - 2230/(-12)?
False
Suppose 4*q = -5*c + 52, 2*q - 43 = -5*c + q. Suppose c*d + 2*d = 1030. Is 2 a factor of d?
False
Let h be (-12)/4*(2 - -2)/(-4). Suppose -k - 3*n = -58, -5*k - h*n - n = -290. Suppose -a + 147 - k = 0. Does 13 divide a?
False
Let h = -20 - -9. Suppose 76 = 4*w + 240. Let k = h - w. Is 30 a factor of k?
True
Suppose 0 = 81*m - 150*m + 86940. Does 5 divide m?
True
Suppose 4089 = -5*f + 8*f. Suppose 0 = 11*x + 274 - f. Suppose h - x = 26. Does 16 divide h?
False
Let b = 13740 + -11639. Is b a multiple of 4?
False
Suppose b = -5*a - 2202, -1326 = 3*a - 4*b + 7*b. Let f = -300 - a. Is 10 a factor of f?
True
Let z(j) = 11*j + 11. Let y be z(-5). Let p = 56 + y. Is 8 a factor of (-48)/1*(-8)/p?
True
Let o = 426 - 415. Suppose o*f - 1663 = -145. Does 4 divide f?
False
Let a(p) = -3*p**3 + 38*p**2 + 21*p + 4. Let m be -5 - ((-14)/(-2) - 25). Is 6 a factor of a(m)?
True
Let b = -810 + 808. Is 7 a factor of 685 - (-9 - (b - 6))?
True
Does 7 divide 50/(-275) + (-627104)/(-88)?
True
Let d(y) = 282*y**2 + 311*y - 1235. Is 48 a factor of d(4)?
False
Let s be 84*1*(-1)/2. Does 14 divide s/(-1) + (24/(-4) - -10)?
False
Let t(l) = 17 + 8 + 52 + l. Does 14 divide t(24)?
False
Let k = 103 + 35. Let l be -402*(-10)/600 - 9/(-30). Suppose -38 = -s + 4*g, -3*s + l*g - 3*g = -k. Is s a multiple of 8?
False
Suppose -2*c + 3*t - 4 = 7, 5*c = t - 8. Does 11 divide (-87)/c - ((-2)/2)/1?
True
Does 43 divide (-15)/2*311820/1050*-14?
False
Suppose 10*z - 120*z + 114582 + 1152288 = 0. Does 32 divide z?
False
Let j(m) = m**2 - 21*m + 50. Let g be j(3). Let c(q) = 17*q**2 - 6*q + 8. Is 8 a factor of c(g)?
True
Suppose -4*t + y = -53397, 26*y - 13348 = -t + 25*y. Does 50 divide t?
False
Suppose -3*q + u + 9770 = -3524, 0 = -2*q - 5*u + 8891. Is 53 a factor of q?
False
Suppose -3*v - 4 = m, v - 4 + 2 = -2*m. Let s be 3/(-6)*v/(-1)*-7. Let c(x) = 11*x - 10. Is 10 a factor of c(s)?
False
Let p(d) = 96*d - 39. Let o(f) = -6*f + 41. Let a be o(6). Is 49 a factor of p(a)?
True
Let h = 36 + -26. Suppose 0*b - h = -b. Suppose 0 = -b*w + 3*w + 630. Is w a multiple of 15?
True
Suppose 5*g = -2*g + 56. Let l be (g/(-2))/((-17)/17). Suppose l*a - 24 - 20 = 0. Does 11 divide a?
True
Let l(t) = -179*t**3 + 3*t**2 + 3*t + 1. Let v = -238 - -237. Does 15 divide l(v)?
True
Suppose 5*u = -4*k + 3*k + 81643, -26*u = -k - 424525. Is 70 a factor of u?
False
Let d = 92003 - 50948. Does 105 divide d?
True
Suppose -7*l + 16 = -26. Suppose -l*r + 3*x + 6 = -r, 5*x = r - 10. Suppose r*t - 1085 = -7*t. Is t a multiple of 31?
True
Let f = -45 + 49. Suppose -f*l - 66 = 726. Let z = l + 320. Is 14 a factor of z?
False
Does 18 divide (60191/46)/(16/32)?
False
Let d = 235 - 160. Let f = 33 + d. Suppose 13*g - 48 = f. Does 5 divide g?
False
Let s(q) = 452*q + 543. Does 21 divide s(6)?
True
Suppose 21 = -11*i + 12*i. Suppose f = -21 - i. Let p = -21 - f. Is 7 a factor of p?
True
Let h = 5756 - 2441. Is h a multiple of 65?
True
Is 8 a factor of (14364/45)/((-3)/(-40))?
True
Is 23 a factor of (-15 - (-26 + 2))*3*(-20612)/(-18)?
False
Let q be (-138 - -100)*(-1 + 18/4). Does 58 divide 4/(-14) + (-53903)/q?
False
Let m(i) = 14*i + 5. Let r be m(5). Suppose 224 - 56 = -8*w. Let b = r + w. Is 6 a factor of b?
True
Suppose 5*l = 5*o + 4*l - 6, 0 = -4*o - 2*l + 16. Is 34 a factor of (-33 + -1)/(o + 39/(-18))?
True
Let d(u) = -u**2 + 11*u - 6. Let k be d(7). Let n = 339 - 202. Suppose -5*v - k + n = 0. Is v a multiple of 10?
False
Let w = 130 - 127. Suppose 0 = w*i + 4*s - 2188, -2*s + 0 = 10. Is i a multiple of 32?
True
Let h be (3 - 2) + (0 - -9). Suppose 2*v = -h*v + 1476. Does 8 divide v?
False
Let x(t) = 41*t**2 + 10*t - 24. Let n = 145 + -139. Let v be x(n). Is 10 a factor of 12/(-15) + v/15?
True
Let f(t) = 43*t**3 - 2*t**2 - 72*t + 378. Is 90 a factor of f(8)?
True
Let o be 312/(-20) + 6/10. Let z = -5 - o. Suppose 0*v = 2*v + z, 5*m + 4*v - 185 = 0. Is m a multiple of 10?
False
Suppose y - 3*x - 8 = 0, 2*y - 71 = -7*x + 2*x. Suppose -32 = -15*k + y*k. Is (k/6)/(16/(-2760)) a multiple of 23?
True
Let n = 49 + -45. Suppose -2*v = 3*a + v - 3, -a + n = -2*v. Suppose -43 - 11 = -5*z + 4*q, a*q + 48 = 4*z. Is z even?
True
Let w be (-1)/(6/(-531))*2*-1. Let z = -412 - w. Let c = -50 - z. Is 22 a factor of c?
False
Suppose 147 = c + 154, 3*j - 3226 = 4*c. Is j a multiple of 13?
True
Suppose 5*r + 3787 = 4*a + 989, 5*a - 3489 = 2*r. Let l = -188 + a. Is 71 a factor of l?
False
Let m(s) = 2*s**3 + 10*s**2 - 14. Let k be m(-7). Let o = 63 - k. Does 21 divide o?
True
Let q(z) = -5*z**2 + z - z**2 - z**3 - 4*z**2 - 3 + 5*z**2. Let w be q(-7). Is w*(30/4)/3 a multiple of 11?
True
Does 2 divide (-1)/(13/(-9660)) - (-99)/(-1287)?
False
Suppose -10 = -4*f - 3*a, -5*f + 18 = a - 0*a. Suppose -f*h = -t + 7, -3*h = t - 2*t + 4. Does 52 divide ((-4)/(-12))/((10/(-354))/t)?
False
Let t = 1753 - 1834. Let r be 169 + 1 + -1 + 0. Let c = r + t. Does 22 divide c?
True
Let g(y) = 3*y**2 + 5*y - 2. Let j(b) be the second derivative of b**4/12 - 5*b**3/6 - 5*b**2/2 - 3*b. Let m be j(5). Is g(m) a multiple of 9?
False
Let t = 7666 + 23948. Is 14 a factor of t?
False
Suppose -4*g = -4*z + 7100, 0 = -4*z - 0*z - 11*g + 7220. Is z a multiple of 12?
False
Let d = 3141 - 3087. Is d a multiple of 54?
True
Suppose 6312 = 10*y + 802. Suppose y + 1 = 2*o. Does 6 divide o?
True
Let d(u) be the first derivative of -137*u**2 - 14*u + 144. Is 10 a factor of d(-1)?
True
Let r be 2*(2 - 1) - (-406)/(-14). Let a = r + 156. Is 43 a factor of a?
True
Suppose -w + 35 = 4*l - 43, 5*l - 4*w - 87 = 0. Suppose y + 0*b + 2*b - l = 0, -3*y + 4*b + 97 = 0. Is y a multiple of 9?
True
Let d be (-1)/(-2) + 5173/14. Let o = d - 117. Suppose 3*n = -4*s + 269, 0*n - 4*s = -3*n + o. Is 21 a factor of n?
False
Suppose 0*o = o - 14. Let t(g) = -36 + 17 + 9 + 14*g - g**2 + 20. Is t(o) a multiple of 7?
False
Let d = 15298 - 8915. Is 13 a factor of d?
True
Let k = 200 - 178. Let t(m) = 2*m - 16. Is t(k) even?
True
Let b = 522 - 518. Is 32 a factor of ((-54)/b)/((-51)/476)?
False
Let a = -20 + 47. Suppose -9*z = -5*z. Suppose -5*b + 133 + a = z. Is 8 a factor of b?
True
Let f = 27991 + -14341. Does 21 divide f?
True
Let g(o) = o**2 + 28*o - 103. Let m be 4/(-38) + 66963/(-1919). Is 4 a factor of g(m)?
False
Suppose -85*f + 519644 + 331113