of j**6/40 + j**5/15 - j**4/4 + j**3 - j**2. Does 7 divide z(c)?
False
Let h(w) = -w**2 + 27*w - 29. Let z be h(23). Let b be (z + -4 - -3) + -1 + 1. Suppose -f + 5*g = b - 280, 5*g = -20. Does 23 divide f?
False
Let c(g) be the third derivative of -g**4/6 + 83*g**3/3 - 3*g**2 + 45. Does 6 divide c(5)?
False
Suppose -81 - 261 = -19*h. Does 7 divide 1/3 + 2766/h?
True
Let b = -150 + 135. Is 29 a factor of -1554*(-6 + 11)/b?
False
Let s be 22/8*(2 - (-6 - -4)). Is (4 + s)/(14/490) a multiple of 105?
True
Is 1166437/1337 - (-6)/(-14) a multiple of 8?
True
Suppose 5082209 - 2080810 + 2523287 = 201*l. Does 15 divide l?
False
Suppose h + 30*m - 26*m + 6 = 0, -3*m - 6 = 0. Let l(k) = 5*k**3 + 2*k**2 + 3*k - 6. Is l(h) a multiple of 8?
True
Let t = 5525 - -9129. Does 34 divide t?
True
Let w(m) = 249*m**3 + 2*m - 4. Let q(j) = 498*j**3 + 4*j - 9. Let y(g) = -6*q(g) + 13*w(g). Let c be y(-1). Let s = c - -361. Does 31 divide s?
False
Suppose 208*x = 170*x + 32224. Is 8 a factor of x?
True
Does 8 divide 1200/(4 - 3)*18/36?
True
Let q(n) = n + 50. Let p be q(-16). Suppose -38*d + 24 = -p*d. Suppose d*g = 2*g + 96. Does 19 divide g?
False
Suppose -18*o + 39763 = 15*o - 65573. Is o a multiple of 24?
True
Let p(x) = -x**3 - 13*x**2 + 14*x + 4. Let s be p(-14). Suppose -4 + 12 = -s*m. Is 2 a factor of 1420/55 + -5 - m/11?
False
Let h = -2619 - -1660. Let z = h + 1048. Is 3 a factor of z?
False
Suppose -3*h = -3*f, 6*h - 24 = 2*h - 2*f. Suppose -1 = -3*a + 2*g + 19, -h*a = -g - 20. Suppose 6*n - t - 401 = n, a*n - 336 = -3*t. Does 14 divide n?
False
Let c = 2389 + -309. Suppose -43*y - c + 7842 = 0. Is y a multiple of 27?
False
Let l = 62 - 56. Suppose l*t + 18 = -6. Is 29 a factor of (t/6)/((-10)/2610)?
True
Suppose 0 = -5*d + 4*u - 54, -3*d - u = 19 + 10. Does 16 divide 1165/d*-4 - 7?
False
Is 6241 + ((-143)/13 - -9) a multiple of 23?
False
Let c(h) = 2*h**2 + 5*h - 47. Let a be c(4). Suppose 3*t - 10 = t. Suppose a = -t*g + 35. Is g a multiple of 3?
True
Let g(m) = 24*m**2 - 36*m + 12. Let j be g(5). Suppose 35*t = 38*t - j. Is 6 a factor of t?
True
Let l = 1684 - 1647. Let w be -129*2*(-1)/6. Let i = w + l. Is i a multiple of 20?
True
Let d = -6 - -12. Suppose 17*n - 19*n = -d. Suppose 0*l = n*l - 24. Is 3 a factor of l?
False
Suppose 3*q + 2*w - 572 = w, 0 = -5*q - w + 956. Let k be 195/(-3) + (-4 - 7/(-1)). Let u = k + q. Does 13 divide u?
True
Let o = -6907 - -14459. Is o a multiple of 13?
False
Is 1918/2 - ((-42)/112 + (-180)/32) even?
False
Suppose 3*h + 4*y - 80 = 217, 3*y + 181 = 2*h. Let p = 162 + h. Is p a multiple of 5?
False
Let r(v) be the third derivative of 3*v**5/20 + 19*v**4/24 - v**3/6 - 4*v**2. Is r(5) a multiple of 13?
False
Suppose -j - c = -2*j + 4, c = -2. Suppose -j*i + 468 = -200. Is 5 a factor of i?
False
Suppose 0 = 7*f - 2*f + 3*i - 9, 0 = i + 2. Suppose 0 = -18*z + f*z + 900. Does 5 divide z?
True
Let l = 1271 + -860. Suppose 2*d - 69 = -3*i + l, -d = 3*i - 477. Let b = 39 + i. Is b a multiple of 36?
False
Let q(n) = -14*n**3 + 25*n**2 - 4*n - 79. Is 23 a factor of q(-9)?
False
Let o = -68 - -74. Let j be 0/(3*(-2 - (-14)/o)). Suppose -f + j*f = -52. Does 6 divide f?
False
Suppose -2*y = -5 + 1. Suppose y*d + 0 = -0. Is 7/3*((-1 - d) + 4) a multiple of 4?
False
Let c = -23838 - -27010. Is c a multiple of 61?
True
Let p = 12290 - 11481. Does 5 divide p?
False
Let t = 6669 - 5820. Does 29 divide t?
False
Let r(k) = -128*k - 8. Let m be r(-13). Suppose 4*a - m = -t, 0 = 2*a - 0*t + 2*t - 822. Suppose o = -4*o + a. Is o a multiple of 8?
False
Let j = 10 + -13. Let w be (57/9)/((-1)/j). Suppose 0 = -h + w - 1. Is 4 a factor of h?
False
Let d = 226 + -893. Let b = d - -1088. Is b a multiple of 23?
False
Let p = 6570 + -3123. Is 16 a factor of p?
False
Let w(x) = -53*x**3 + 2*x**2 + 4*x + 5. Let s be w(-2). Let c = s - 241. Does 4 divide c?
True
Let t = 4204 - 1324. Suppose -10*b + 14*b - t = 0. Is b a multiple of 36?
True
Suppose -3*z + 2 = v, -4*z - 2*v + 5*v - 6 = 0. Suppose z = 63*f - 65*f + 204. Is 4 a factor of f?
False
Suppose 1 + 59 = -15*n. Does 81 divide (-10 - (10 - 198)) + (-2 - n)?
False
Let d(m) = 1782*m - 407. Does 16 divide d(1)?
False
Let k be 3 - (-4 - -45) - -4. Let w = k + 39. Suppose 0 = 2*r + w*z - 29, -4*z = -1 - 3. Is r a multiple of 2?
True
Suppose -49*l - 62424 = -53*l. Is 51 a factor of l?
True
Let j(c) = c**3 + 53*c**2 + 52*c - 237. Is j(-42) a multiple of 12?
False
Is (-15)/(45/24) - (1 + -2215) a multiple of 13?
False
Suppose 0 = 7171*v - 7172*v + 29613. Is v a multiple of 25?
False
Does 10 divide (11 + -7)*694/4?
False
Is (43/(1720/144))/(6/15) + 6724 a multiple of 9?
False
Let k(g) be the first derivative of g**2/2 + 25*g - 2. Let c(l) = -2*l**2 - 26*l + 56. Let r be c(-15). Is k(r) a multiple of 7?
True
Let x(s) = 343*s - 381. Does 17 divide x(7)?
False
Let i be 56/(-56)*(-88 - 1). Let c = 129 + -92. Let g = i - c. Is 24 a factor of g?
False
Let c = -3756 - -4471. Is 69 a factor of c?
False
Let f = -37455 + 81891. Does 92 divide f?
True
Let q(i) = i**3 - 4*i**2 + 224. Let w = -144 + 144. Does 3 divide q(w)?
False
Let d be ((-4)/(-10))/((-7)/(-35)) + 48. Suppose 3*w + d = 812. Let v = -97 + w. Is v a multiple of 19?
False
Let u be (22/4 - 5)/((-3)/1422). Let k = 204 - u. Is k a multiple of 7?
True
Suppose -3*m + 15*m - 36 = 0. Suppose 3 = -2*i + 9. Does 46 divide -7*m*((-23)/3 + i)?
False
Is 14 a factor of -13 - (-120402)/16 - (-1)/(-8)?
False
Suppose 0 = 3*c - 5*n + 6, -15*c + 5*n - 10 = -10*c. Is 35 a factor of (-70)/c*(41 + -4)?
True
Let y(o) = -4*o + 12. Let q = -49 + 52. Let c be y(q). Does 18 divide 1 - -1 - (-88 + c)?
True
Let r be 75/(-12)*4/(-2 + 1). Suppose 0 = -54*k + 49*k + r. Suppose 172 = k*w - 98. Does 9 divide w?
True
Let z be 6/((3/51)/1). Let l = z - 25. Suppose 0 = 2*p, -5*p + 187 = 2*n + l. Is 4 a factor of n?
False
Suppose 4*t + 135 - 155 = 0. Let r be (-3)/t - (-6)/(-15). Is (r/(-2))/(6*(-2)/(-1008)) a multiple of 7?
True
Let b(s) = -s**3 - s**2 - 5*s + 51. Let m be b(0). Let i = m + -47. Suppose -5*z - 2*w = -w - 203, -5*z = -i*w - 213. Is 18 a factor of z?
False
Let s be (15/10)/(0 + 3/6). Suppose 0 = -2*y - s + 7. Suppose y*u = -3*u + 650. Is u a multiple of 25?
False
Suppose 0*v + 2*v - 1148 = -4*b, -4*b + v = -1136. Suppose -489 = -9*c + b. Does 33 divide c?
False
Suppose 3*l = 5*l - 4. Suppose -8 = l*k, -3*w + 3*k + 252 = -24. Let b = -23 + w. Does 13 divide b?
True
Suppose 6*q = -44 - 10. Let x(t) = 2*t**2 + 11*t - 9. Let u be x(q). Let i = 44 + u. Is i a multiple of 14?
True
Let c = -1649 + 5916. Is c a multiple of 44?
False
Suppose 0 = -2*u - 3*i - 7, -15 - 13 = 2*u - 4*i. Let b = 108 - u. Is b a multiple of 5?
False
Let f(i) = 56198*i**2 + 44*i - 40. Is f(1) a multiple of 102?
True
Suppose 14*y - 560 = -6*y. Suppose -y*l + 161 = -847. Is l a multiple of 9?
True
Let g(d) = -d**2 - 15*d - 25. Let n be g(-10). Suppose 5*h - 10*h = -n. Suppose -3*f + 2*f - h*t = -52, 2*t - 64 = -f. Is f a multiple of 12?
True
Suppose 14*v - 5 = 19*v. Let g be 0/(v*2) - (-7 + -48). Let s = 51 + g. Is s a multiple of 19?
False
Does 29 divide (-10 - -25 - 44)*-250?
True
Suppose 17*f - 403 = 4*f. Let j(r) = -r**2 + 41*r - 148. Is 81 a factor of j(f)?
True
Let u(x) be the third derivative of 227*x**5/60 - x**4/12 - 131*x**2. Is 15 a factor of u(1)?
True
Let z(f) = 4*f**3 - 3*f**2 - 34*f - 20. Let n(u) = u**3 + u**2 - 2*u. Let k(v) = -5*n(v) + z(v). Does 7 divide k(-9)?
False
Suppose -3*r + 49434 = 14*y, 4*r + 2*y + 21382 = 87294. Does 104 divide r?
False
Suppose 2*w - 2*g = 2072 + 1056, -3116 = -2*w - g. Suppose 3*r = 5*a - w, -5*a + 718 = 2*r - 867. Let u = a + -88. Is u a multiple of 13?
False
Let o be (-13)/65 + (-5038)/(-20)*-2. Is 4 a factor of ((-240)/(-144))/((-10)/o)?
True
Let f = 5853 - 3347. Does 14 divide f?
True
Suppose 8*s = 4*s - 64. Let j be 938/8 - (4 - (-60)/s). Suppose 260 - 683 = -4*x - 5*v, -x - 5*v = -j. Does 34 divide x?
True
Let p = 4214 + 1155. Does 80 divide p?
False
Does 11 divide (304/(-10))/((-8 - -4)/620)?
False
Suppose x - 16900 = -11*m + 6*m, 9*x - m - 152468 = 0. Does 154 divide x?
True
Let x be 558/90 - (1/5)/1. Suppose -5*y + 2*j + 2137 = x*j, 3 = j. Is 11 a factor of y?
False
Let i be -1*6 + (-17 - -10). Is 25 a factor of 199 - 1 - 26/i?
True
Suppose -3*n + 0