= m*l + 1862, 4*f - l - 2821 + 310 = 0. Is 17 a factor of f?
True
Let w(u) = 90*u. Let g be w(-4). Let n = g - -1439. Does 83 divide n?
True
Let s be 1*11*(-8 - -100). Let f be (1/4)/(11/s). Suppose -p + f = -27. Is p a multiple of 9?
False
Let v(n) = 8*n**2 - 5. Let j be v(-3). Suppose 0 = 3*r + 5*c - j, 93 = 5*r + c - 2*c. Is 19 a factor of (0 - 38)*(r + -20)?
True
Is 3549107/522 + -14 - 3/54 a multiple of 79?
False
Suppose 5*w - 60414 = -11*w + 30882. Is w a multiple of 49?
False
Let l(q) = 9*q + 542. Let o be l(-57). Let i(t) = t**2 - 18*t - 37. Is 94 a factor of i(o)?
True
Let z(s) = 18*s - 30. Let k be z(9). Suppose -3*v + k = -7*v. Let p = v + 48. Is 5 a factor of p?
True
Let r(f) = -3*f**3 + 60*f**2 + 14*f - 84. Is r(19) a multiple of 12?
False
Let x = 46 + -109. Let c = x + 43. Let g = 53 + c. Does 11 divide g?
True
Let s(p) = -2*p**3 - 60*p**2 + 42*p + 93. Suppose 203 - 265 = 2*l. Is 31 a factor of s(l)?
True
Let x = 43102 + -10662. Is 40 a factor of x?
True
Suppose -5*a + 2*k + 20 = -3*k, -a + 7 = 2*k. Suppose -4*d + 6 = -2*d, -14 = i - a*d. Does 33 divide 2*((-364)/(-8) - i)?
False
Let q(k) = -8*k**3 - k - 1. Let j be q(-1). Let n be (-6)/j*(-24)/9. Suppose 0 = n*z + 1 + 3, -3*z - 262 = -4*h. Does 16 divide h?
True
Let s(c) = 2*c**3 - 2*c**2 - 12*c + 33. Let f be s(-7). Let j = -630 - f. Does 21 divide j?
False
Suppose 0 = -7*k + k + 48. Let l be k - (-2)/((-3 + 5)/1). Suppose 0 = 4*j - l*j + 90. Is 5 a factor of j?
False
Let v = 24392 + -10765. Is 46 a factor of v?
False
Let k be ((-98)/3 + 5)/(7/(-42)). Let v = k + 471. Is v a multiple of 13?
True
Suppose 34*n = -33*n + 2454612. Is n a multiple of 86?
True
Let y(a) = -1784*a + 1468. Is y(-3) a multiple of 22?
True
Let b be (-1)/((84/76 - 1) + (-1470)/12882). Let p(n) = n**3 - 2*n**2 + 4. Let t be p(-3). Let o = b + t. Is o a multiple of 36?
True
Let a = 1503 - 639. Is a a multiple of 12?
True
Let f(k) = 3*k**2 - 50*k + 651. Does 3 divide f(26)?
False
Let j = -64921 + 102307. Is j a multiple of 18?
True
Let u be (0 - 5)/(43/21715). Let k = 4297 + u. Does 11 divide k?
False
Let v = -7379 + 15542. Is 29 a factor of v?
False
Let c(w) = w**2 + 30*w + 148. Suppose -2*q - 43*q - 1170 = 0. Does 2 divide c(q)?
True
Let m(k) = 13*k + k - 16 + k - 35*k**2 + k + 63*k**2. Is m(1) a multiple of 11?
False
Let c = 95 + -95. Let k = 5 - 3. Suppose k*o - 3*b - 136 = c, 3*b + 2*b - 94 = -o. Is o a multiple of 6?
False
Let t be (25/5 + -7)/(10/895). Let j = 8 - t. Is 11 a factor of j?
True
Let b = 4836 + -2468. Does 19 divide b?
False
Let j(m) = -5*m**2 - 31*m + 10. Let g(l) = 2*l**2 - 9*l - 11. Let w = 64 + -59. Let z be g(w). Is 3 a factor of j(z)?
False
Let n(o) be the second derivative of 23*o**4/4 + 7*o**3/6 - 2*o**2 - 252*o. Is n(-2) a multiple of 13?
False
Let d(w) = 5*w**2 + 4*w - 4. Let s be d(4). Suppose -h + s = -8. Suppose 3*g - g - 50 = -3*v, 0 = -4*g + v + h. Is g a multiple of 5?
True
Suppose 8 = 5*u - 3*q, u = -u + 4*q - 8. Suppose 2*m - 12 = u*x, 3*x - 3*m - 2 = x. Does 4 divide 50/((-4 - x)/1)?
False
Let x(b) be the first derivative of 37*b**2/2 - 72*b - 39. Is 3 a factor of x(6)?
True
Let a be (2*18/(-12))/(-1). Suppose -5*l = 3*d - 1039, 0 = 5*d - 4*l + a*l - 1685. Is 13 a factor of d?
True
Suppose -196*k + 1138368 = -119*k. Does 66 divide k?
True
Let b = -81 - -85. Suppose b*d = -d. Suppose -x + 35 + 89 = -2*p, -2*p + 2 = d. Is x a multiple of 14?
True
Let g be (-3)/(-12)*2 + (-2157)/(-6). Suppose -612 = -12*b + g. Let d = 135 - b. Does 18 divide d?
True
Suppose 7*h - 1829 - 621 = 0. Suppose 5*i - h = 1855. Does 39 divide i?
False
Suppose 0 = 3*h + 3*r - 5 - 4, 3 = 4*h - 5*r. Suppose 0 = 2*x - h*z - 3 - 3, 0 = z + 4. Does 47 divide 16*6 + x/(5/10)?
True
Let z(k) be the second derivative of 5*k**4/4 - 4*k**3/3 + 5*k**2 + 4*k. Let p(g) be the first derivative of z(g). Is p(4) a multiple of 16?
True
Suppose -1144*j = -1152*j + 12184. Is 20 a factor of j?
False
Let v(a) = 1148*a - 1890. Is v(3) a multiple of 11?
False
Let u be (-325)/(-150) + (-1)/6. Suppose 322 = 2*g + 3*x, -2*g + 4*x = u*g - 604. Suppose 11*l - 16*l + g = 0. Is l a multiple of 8?
False
Suppose 0 = 2*h + 6, -5*a + 5*h + 1692 = -41928. Is 51 a factor of a?
True
Suppose -9 = -3*u, 2664 = 4*m + 3*u - 19293. Is m a multiple of 31?
True
Let f(y) = 85*y + 90. Let g be f(24). Suppose 20*a - g = -670. Is 12 a factor of a?
False
Suppose 16692 + 65855 = 5*a - 4*s, a - 4*s = 16519. Does 198 divide a?
False
Let x(s) = -88*s - 2857. Does 71 divide x(-72)?
True
Let m(u) = u**3 + 12*u**2 + 11*u + 5. Let n be m(-11). Suppose n*v = 3*v + 4*p - 12, -2*v + 18 = 2*p. Suppose -v*w + 0*w + 72 = 0. Does 2 divide w?
True
Let n be (52/(-3) - 7)*(-1 - 44). Let t = -499 + n. Does 22 divide t?
False
Let c be (-2 - -7)*(8 + -7). Suppose 3*b - 4 = -2*u, u - 2 + 0 = b. Suppose 0 = -5*j - u*k + 457, -4*j + 445 = j + c*k. Is 5 a factor of j?
False
Suppose -65983 = -5*y + 264*o - 266*o, 4*y - 52796 = -4*o. Does 65 divide y?
True
Suppose -p - 23990 = -4*l, 3*l = -4*p + 14693 + 3271. Is l a multiple of 66?
False
Suppose -3*h + 32731 = -z, 30*z = -4*h + 29*z + 43625. Is h a multiple of 202?
True
Let r(s) = 4*s**2 - 15*s - 3. Let w be 4/6 + (7 - (-192)/(-18)). Is r(w) a multiple of 16?
False
Let f(a) = -1196*a**3 - a**2 - 4*a + 15. Let i be f(3). Is i/(-210) + 6/5 even?
False
Let l be 4/22 - (-3451)/77. Suppose j = -4*s - 51 - 22, 41 = -2*s + j. Let k = s + l. Is k a multiple of 13?
True
Let b(h) = h**2 - 8*h + 90. Let f be b(21). Let y = 6 + f. Is y a multiple of 4?
False
Let d(f) be the second derivative of 20*f**3 + 285*f**2/2 - 207*f. Does 25 divide d(7)?
True
Suppose 3*o + z = -3*z, 0 = 5*z + 15. Suppose -845 = -3*r + o*h, -4*r + 207 + 929 = -3*h. Does 8 divide r?
False
Suppose 0 = 10*b + 2*b - 744. Let f = 79 - b. Suppose 12*u = f*u - 1520. Is u a multiple of 16?
True
Let c(n) = n**2 - 3*n - 3. Let o be (-9)/12 + 57/12. Suppose 5*i - 20 = 5*w, 0*i - o = 2*i. Is 7 a factor of c(w)?
False
Is ((-13360)/(-120))/((-904)/906 - -1) a multiple of 302?
True
Suppose 2*c - 14 + 10 = 3*l, -2*c + 10 = 0. Suppose 11*n + 4*y = 7*n + 4896, -l*n + y = -2442. Is n a multiple of 49?
False
Let a be (-1)/((-3)/(-30)) - (-6 - -1). Is 58 a factor of -2*5/a + 473?
False
Suppose 5*z = u + 748, -z = 2*u + 1170 + 271. Is 21 a factor of (-44)/88 + (-1 - u/2)?
False
Let u = 45454 + -25898. Does 85 divide u?
False
Suppose 391181 = -487*k + 534*k. Is k a multiple of 16?
False
Suppose -25*r = 83524 - 767324. Does 104 divide r?
True
Suppose -318*p - 114*p - 244*p + 2004340 = 0. Does 29 divide p?
False
Let m = 7 + 0. Suppose -3*y - 1 = -m. Suppose -5*v = 10, 3*v - 28 = -3*d + y*v. Does 3 divide d?
False
Let m(b) = -33*b - 39. Let x be m(-5). Suppose 5*y = -3*p + x, y - 2*p + 10 = 30. Does 4 divide y?
True
Suppose 4*y = 4*v - 49696, -2*y - 1136 = -v + 11291. Is 98 a factor of v?
False
Let b be (16 - -649) + (1 - 3). Let t = -377 + b. Does 22 divide t?
True
Let q = -3760 - -5554. Is q a multiple of 4?
False
Suppose n - 3323*y + 3324*y - 5843 = 0, n - y - 5829 = 0. Does 53 divide n?
False
Let i(w) = -33*w**2 - 13*w + 91. Let c be i(6). Is (1/(-1))/(5/c*1) a multiple of 47?
True
Let a(m) = 8*m - 17*m - 3 - 36*m**3 - 16*m**3 + 10*m - m**2 + 5. Suppose 2 = -2*d - 0. Is a(d) a multiple of 13?
True
Suppose 106*h - 2370 - 11017 = 3043. Is h a multiple of 6?
False
Suppose -358*i - 252 = -359*i. Suppose 255*b - 405 = i*b. Does 36 divide b?
False
Suppose 420 = -17*q + 11*q. Is 24 a factor of (q - 20)*(0 - 1)?
False
Let r(a) = 342 + 328 + 18*a + 328 - a**2 - 1015. Let c(q) = q**3 + 4*q**2 - 2*q - 4. Let i be c(-3). Is r(i) a multiple of 6?
True
Suppose 9*w = 36 + 9. Let s(g) = 3*g**3 - 10*g**2 - 7*g - 8. Does 3 divide s(w)?
False
Suppose 4016 = 5*a - z, -z = -a + z + 796. Is 10 a factor of a?
False
Suppose 0 = -4*l - 4*l + 96. Suppose 7*v + l*v = 2964. Is 6 a factor of v?
True
Suppose -3*c - 607 = -5*w, -456 = 31*w - 35*w - 5*c. Is 43 a factor of w?
False
Let z(u) = -u**3 + 20*u**2 + 19*u + 39. Let k be z(21). Let b be 4/(-12) - 40/k. Let h(o) = o - 9. Does 4 divide h(b)?
True
Let k = -122 - -128. Let r(h) = -4*h + 28. Let l be r(k). Suppose -434 = -5*z - 3*q, -l*z + 5*z + 3*q - 94 = 0. Is 5 a factor of z?
True
Suppose -91300 = -t - 24*t. Is t a multiple of 44?
True
Let v(j) = 379*j**2 -