r = 5*i. Is 90 a factor of i?
True
Let x(w) = -163*w + 60. Let t be x(-7). Suppose -3119 - t = -8*h. Is 45 a factor of h?
True
Let a be 14/(-63) - 2/18*-20. Suppose 5*n - 540 = -5*c, 0 = a*c - 4*c + 3*n + 241. Is 5 a factor of c?
False
Let j(t) be the third derivative of t**6/120 + 23*t**5/60 + 19*t**4/24 - 16*t**3/3 + 2*t**2. Let s be (6/27)/((-48)/4752). Does 4 divide j(s)?
False
Let o = 46026 - 30276. Is o a multiple of 18?
True
Suppose 48*k - 201051 = -85656 + 473373. Is k a multiple of 13?
False
Suppose -4*p + 6*p = 4*x + 6, 0 = 5*x - 5*p + 15. Suppose x = 10*b - 577 - 373. Is b a multiple of 9?
False
Let g = -3476 + 4145. Is 2 a factor of g?
False
Let b(q) = 49*q**2 - 74*q + 29. Is b(-6) a multiple of 5?
False
Let c(t) be the first derivative of 67*t**2 + 6*t + 97. Is c(1) a multiple of 35?
True
Let t(w) = -78*w - 252. Does 9 divide t(-84)?
True
Let d(l) = -l**3 - 3*l**2 + 2*l. Suppose -12 = 4*h, -2*h + h = -5*m - 22. Let z be d(m). Suppose 3*i - z = 2*a, 4*a - 29 + 1 = -3*i. Is i a multiple of 6?
True
Suppose 2*c - 4*t = -2*c + 52, -23 = -c + 3*t. Suppose 18*w - 386 = -c. Is w a multiple of 7?
True
Let b be (-552)/(-44) + (-12)/22. Suppose 1462 + 2138 = b*t. Is 10 a factor of t?
True
Let l = -1248 - -2755. Does 43 divide l?
False
Suppose 548*p - 42 = 546*p. Let a(z) = -4*z - 2. Let f be a(3). Let k = p - f. Does 35 divide k?
True
Suppose -4*z + 26 = 6. Let y(h) = 7*h + 31. Let k(v) = -2*v - 10. Let m(q) = 11*k(q) + 4*y(q). Is 11 a factor of m(z)?
True
Let x = -18 + 21. Suppose -324 = -5*u + i - 45, -3*u + x*i = -177. Suppose 5*j = u + 5. Is 12 a factor of j?
True
Let w(d) = 404*d + 2637. Does 19 divide w(20)?
False
Suppose -5*x - 2617 = -4*z, z = x + 606 + 47. Suppose -63*o = -54*o - z. Is o a multiple of 4?
True
Let q be 72/33 + (-4)/22 + 3. Suppose -121 = -s - 3*r + 8*r, 4*r + 710 = q*s. Is s a multiple of 5?
False
Let t = -22 - -79. Let k = 399 - t. Suppose k = 3*p + 102. Is 8 a factor of p?
True
Let v(m) = 623*m**2 + 38*m - 33. Is 2 a factor of v(1)?
True
Let a = 757 - 470. Is 14 a factor of (410/(-287))/((-1)/a)?
False
Suppose -3*d + 7117 = 2*k, 0 = 3*k + 3*d - 5451 - 5232. Is k a multiple of 65?
False
Suppose -25 = -10*a + 6*a + 1039. Is a a multiple of 7?
True
Suppose 159*d = -95*d + 17*d + 1294494. Is 2 a factor of d?
True
Let x = 36639 + -21415. Does 119 divide x?
False
Suppose -8*b - 6194 = -2*h, 253*h + 3092 = 254*h + b. Is 19 a factor of h?
False
Let y(b) = -b**2 - 9*b - 3. Let w be y(-8). Let p(x) = 54 - w*x + 36 - 43. Does 46 divide p(-9)?
True
Let s(g) = -2*g**2 + 12*g - 4. Let v be s(5). Let i = v + 9. Suppose 0 = -2*d - p + 25 + 42, 3*p = -i. Is 6 a factor of d?
True
Let l = -2247 - -2195. Let g(r) = r**3 - r**2 + r - 55. Let h be g(0). Let a = l - h. Is 2 a factor of a?
False
Suppose 154 - 518 = -4*z. Let s = 323 - z. Does 29 divide s?
True
Let z(b) = 3*b + 14. Let y be z(-2). Suppose 2*o - 3*d - 875 = -y*d, -3*o - d = -1306. Is o a multiple of 29?
True
Suppose 2*b = -h - 61 + 20, 2*h = -2*b - 38. Does 17 divide 1309/b*132/(-21)?
True
Suppose -5*n - v - 10 = -3*v, 0 = 2*v - 10. Suppose n = 27*r - 32*r + 4455. Is 8 a factor of r?
False
Let v be -2*((-4)/1 + (-51 - -18)). Is 31 a factor of (-37)/v - (1 + (-561)/2)?
True
Suppose -75*f + 21*f - 171*f + 159750 = 0. Is f a multiple of 10?
True
Let p be (-1 - -2)/(11/(-11)). Let q be 7 + p - (-33)/(-11). Is 14 a factor of 79/q + (-2)/6?
False
Does 17 divide 1/(-1*(-66045)/(-16513) + 2*2)?
False
Suppose -12*f - 5628 = -24*f. Let r = f + -79. Is r a multiple of 12?
False
Suppose 65 = 64*z - 51*z. Suppose -2*g = 3*g - 1385. Suppose -4*q - 4*c + 215 = -c, -z*q - c = -g. Does 28 divide q?
True
Suppose 2*b + 3 = b. Let o(g) be the second derivative of 11*g**4/12 + g**3/2 + 3*g**2 - 4*g. Is 24 a factor of o(b)?
True
Let t = 33 - 30. Suppose -6 = t*b - 21. Suppose b*k - 26 - 29 = 0. Is k a multiple of 4?
False
Let l = 10736 - 4136. Is 75 a factor of l?
True
Suppose 1023*s + 7532 = 1028*s - 6548. Is 44 a factor of s?
True
Let q be 2 - -1 - (12 + -4). Let l = q + 19. Does 9 divide (-2964)/(-84) - 4/l?
False
Suppose -13*m = -8*m - 25, 4*b - 182 = -2*m. Suppose 45*a = b*a + 2062. Is 16 a factor of a?
False
Suppose 4*m + 6*b - b - 12616 = 0, -5*b + 3139 = m. Is m a multiple of 13?
True
Suppose -3*n + 9*n = 132. Suppose 0 = -5*s + 2*i + 2, i = s + 3*s - 4. Suppose -n - s = -p. Does 9 divide p?
False
Does 16 divide ((-252384)/(-36))/(-22)*-9?
False
Let o(i) = 19*i + 3. Let f be o(-10). Let d = -172 - f. Is d even?
False
Let g(c) = c**3 - 10*c**2 + 23*c - 6. Let a(u) = -16*u - 24. Let i be a(-2). Does 5 divide g(i)?
True
Suppose 18*r - 20*r = -116. Let i = -64 + r. Let o(n) = -n**3 - 4*n**2 - 7*n - 23. Is o(i) a multiple of 15?
False
Suppose 161422 + 101330 = 14*f. Is f a multiple of 6?
True
Suppose 3*h + 6 = -4*b + 5, -4*b - 5 = -h. Let t(v) = 12*v**3 - 4*v**2 - 7*v**3 + 3*v + 7 - 6*v**3 + h. Does 11 divide t(-5)?
False
Let b(x) = -134*x + 1. Let v be b(-1). Suppose 5 - v = -t. Suppose -8*z = -t - 94. Is z a multiple of 16?
False
Let h(w) = 67*w + 1034. Is 26 a factor of h(-10)?
True
Is 76 a factor of (-253080)/(-100)*((-106)/(-24) - 4)*8?
True
Suppose 0 = b - 49 + 50. Is b*(-48)/18*(-141)/(-4) a multiple of 47?
True
Let h(f) be the first derivative of f**4/4 - 13*f**3/3 + 15*f**2/2 - 29*f + 22. Let p be h(12). Let i(w) = 2*w**2 + 5*w - 24. Is 10 a factor of i(p)?
False
Let a(y) = -y**3 - 15 - 11*y**2 + 10*y**2 - 12*y**2 - 27*y. Is 48 a factor of a(-13)?
True
Does 212 divide 21 + -57 + 21 + 37974?
False
Let i(d) = 9*d**2 - 2*d - 6. Let n(c) = -9*c**2 + 3*c + 6. Let j(l) = 6*i(l) + 5*n(l). Suppose 0 = 4*v + 12 + 4. Is 14 a factor of j(v)?
True
Let g(m) = 5 - 15*m + 3 - 7 - m**2 + 8. Let l be g(-7). Is 3/(-6)*(-3 - l) a multiple of 20?
False
Let z = 28565 - 11548. Does 14 divide z?
False
Suppose -40 = -10*t + 2*t. Let r(l) = 11*l + t*l - 24 + 4*l - 4*l - l**2. Is r(9) a multiple of 20?
False
Suppose -5*v + 413 = -4*p, 322 = 4*v - p + 2*p. Let t = 81 - v. Suppose t = -y + 2*k + 74, 0*k - 4*k + 242 = 3*y. Is y a multiple of 26?
True
Suppose -3*q + 72*u = 68*u - 3132, -u + 3132 = 3*q. Is 116 a factor of q?
True
Is (188/329 + (-2 - (-19200)/14))*1 a multiple of 76?
False
Suppose 4*v = -x + 17, -4*x + 48 = 5*v + 13. Let q be (2 - 7)/x*(2 + -71). Let h = 141 - q. Is h a multiple of 25?
False
Let c(a) = -3*a - 109. Let i be c(-24). Let p(u) = -30*u - 135. Does 10 divide p(i)?
False
Is 38 a factor of (1077381/18)/9 - 3*3/18?
True
Suppose -w = 4*r + 5 + 12, -4 = -4*w + 2*r. Let q(v) = 21*v + 3. Let f be q(w). Let n(i) = i**3 + 17*i**2 - 23*i + 18. Does 18 divide n(f)?
True
Let h(w) be the second derivative of w**5/20 + 19*w**4/12 + 8*w**3/3 - 8*w**2 - 19*w. Let q be h(-18). Is 35 a factor of (-15)/((q/(-28))/5)?
True
Let i = 198 - 385. Let d = i - -241. Is d a multiple of 3?
True
Suppose -3*b + 3*f + 54 = 0, -b - 2*f + 8 = -13. Suppose 3*r - 14*c - 1612 = -b*c, 5*r - 2740 = 5*c. Is r a multiple of 32?
True
Let t = -5578 + 10384. Is t a multiple of 49?
False
Suppose -37*w = -10*w + 83*w - 648670. Is w a multiple of 159?
False
Let p(j) = 3*j**2 + 9*j - 5. Let z be p(3). Let g = z + -40. Let q = 69 - g. Is 5 a factor of q?
True
Let j(q) be the first derivative of 2*q**3/3 - 5*q**2 + 15*q + 8. Let o be j(6). Suppose o + 10 = b. Is b a multiple of 7?
False
Let c be ((-480)/(-6))/5 - (-1 - -1). Suppose -8*x + c*x = 384. Is 8 a factor of x?
True
Let k(l) be the third derivative of 0 - 2/3*l**4 + 1/120*l**6 - 19/6*l**3 + 25*l**2 + 1/6*l**5 + 0*l. Is k(-10) a multiple of 47?
True
Let c = 201 + -202. Is 0 - c - (-516 + 7 + 0) a multiple of 8?
False
Let s be (-7 - -4)*(5 - 154). Suppose -f - 5*p + s = -2*p, f - 452 = 2*p. Is 18 a factor of f?
True
Let l be 538/4 + (-17)/(-34). Let w = l + 376. Does 45 divide w?
False
Let d = -20 - -17. Let y(w) = -101*w - 24. Is y(d) a multiple of 12?
False
Let g(t) = -t**2 - 3*t - 2. Let u be g(-3). Let i be ((-8)/(-6))/(u/(-39)). Suppose -5*r = c - i, 4*c - 49 = -c + 2*r. Does 3 divide c?
False
Let h be (35/(-175))/(6/15)*16. Let m be (-52)/(-5) + (-4)/10. Is 32 a factor of 1152/10 + (h/m)/4?
False
Suppose 0 = 32*i - 36*i - 8, -2*x + 5*i + 33890 = 0. Is 70 a factor of x?
True
Let w(g) = g**3 + 18*g**2 + 32*g + 1. Let q be w(-8). Let y be -18*(q/10)/7. Let i = -93 - y. Is 