*z - 4*z - 1890 = y. Is z a multiple of 15?
True
Does 12 divide (-80)/(54/(-340) - 131/(-2227))?
False
Suppose -4*f - 3*u = -11874, -5*u = -1 - 29. Is f a multiple of 26?
True
Let u(h) = h**3 - 28*h**2 + 54*h - 48. Let n be u(26). Suppose n*l = -o + 19, 6*l = 4*o + 4*l - 76. Is o a multiple of 4?
False
Let n = 12521 - -315. Is n a multiple of 55?
False
Let r = -14 + -5. Let n(u) = 2*u + 62. Is n(r) a multiple of 3?
True
Let v(z) be the second derivative of z**4/4 + 7*z**3/6 - 9*z**2/2 + 93*z + 1. Suppose -4*r - 1 = -25. Is v(r) a multiple of 24?
False
Suppose -14 = 69*l - 70*l. Suppose 0 = -l*z - 1908 + 6150. Let y = z - 165. Is 8 a factor of y?
False
Suppose 28 = -0*b + 2*b. Is (0 + (-24)/b)*(-10150)/100 a multiple of 9?
False
Let i be (4/(-10))/((-23290)/(-5825) - 4). Let a = -199 + i. Does 4 divide a?
False
Let n(v) = -1088*v + 4497. Is n(-20) a multiple of 217?
True
Suppose -5*x = 259 + 181. Is (x/(-10))/(-2 - (-48)/20) a multiple of 2?
True
Let g(b) = -b**3 - 19*b**2 + 13*b - 57. Let q(r) = -r**3 - 17*r**2 + 12*r - 56. Let c(d) = 3*g(d) - 2*q(d). Is 13 a factor of c(-24)?
False
Let h(z) = z**3 - 7*z**2 + 10*z - 6. Let r = 34 + -30. Suppose 13 = r*l - 0*l + 5*b, 5*l - 2*b - 41 = 0. Does 16 divide h(l)?
True
Let u(m) = m**3 + 16*m**2 - 17*m - 3. Let d be u(-17). Let o(z) = -5*z**3 - 3*z**2 + 7*z + 9. Let b be o(d). Suppose 5*j - 64 = b. Is j a multiple of 32?
True
Let g = -4361 + 8166. Is g a multiple of 18?
False
Let c(x) = -672*x + 102. Is 62 a factor of c(-4)?
True
Let f(b) = b**2 + 9 + 11 - 5*b - 2. Let t(q) = -5*q + 18. Let r(z) = 2*f(z) - 3*t(z). Is 21 a factor of r(8)?
False
Let s = 94 + -85. Suppose 3*g = 9 + s. Suppose g*i - 271 = 137. Is i a multiple of 17?
True
Suppose 44*j + 14984 = 115084. Let b = 4286 - j. Does 96 divide b?
False
Let v(i) = -3*i**2 + 6*i + 20. Let n(p) = 4*p**2 - 7*p - 19. Let y(h) = -2*n(h) - 3*v(h). Does 12 divide y(-10)?
False
Let s(t) = 2*t**2 + 75*t + 38. Let p be s(-37). Is 30/(-40) + (-791)/(-4) + p a multiple of 11?
True
Let c = 11 + 4. Suppose -2*u + 0*u = -2*h + 1580, -u - 5 = 0. Suppose c*w = h - 305. Does 16 divide w?
True
Let s(z) = 116*z**3 + 2*z**2 + 12*z - 37. Does 43 divide s(3)?
False
Is 93408/42 + (-7)/((-14)/24) even?
True
Suppose 98*d = 14034 + 91806. Is d a multiple of 22?
False
Let o = 8638 - 4102. Does 14 divide o?
True
Let v(t) = 631*t**2 + 6*t + 102. Is 142 a factor of v(-5)?
False
Suppose -7*p = -3*p - 16. Suppose f + 196 = 6*g - p*g, -f = 2*g - 200. Does 7 divide g?
False
Suppose 18 = -4*h + 6. Let a be (-882)/(-4) + h/6. Suppose 236 = 4*m - a. Is 22 a factor of m?
False
Suppose -16*g - 6086 = -362870. Is g a multiple of 43?
False
Suppose -420*g = -428*g + 397296. Is 13 a factor of g?
False
Suppose -5*g + 5*y + 305 = 0, -g - 9 = -3*y - 66. Let n be ((-21)/g)/(1/(-153)). Is 11 a factor of (-4)/(-12)*n + 2?
False
Suppose 5*y - 319 - 166 = 0. Suppose 5*r - 303 = y. Is r a multiple of 10?
True
Suppose -432 = -8*o + 26*o. Let u(q) = 12*q + 30 + 8 + 12*q + q**2. Does 5 divide u(o)?
False
Let i be (30/(-4))/(3/(-6)*1). Let l(x) = 4*x**2 - 39*x. Is l(i) a multiple of 15?
True
Let r(o) = 2338*o - 4164. Does 154 divide r(17)?
False
Let j(p) = -2*p**2 + p. Let o(d) = 11*d**2 - 8*d - 32. Let i(q) = 4*j(q) + o(q). Is i(9) a multiple of 7?
True
Let y(g) = g**2 - 30*g + 396. Is y(28) a multiple of 4?
True
Let z = -1093 + 1777. Is z a multiple of 3?
True
Let q(w) = 8*w + 792. Does 16 divide q(-11)?
True
Suppose 5*h = -2*i + 25, -4*h + 26 = 4*i + 6. Suppose 991 + 339 = h*z. Is 19 a factor of z?
True
Let x = 187 + 60. Suppose 4*j = x + 53. Does 4 divide j?
False
Suppose -4*b + 10 = -2*g, b - g + 15 = 3*g. Suppose -17 = -3*w - b*x, 2*w - x - 11 = w. Let d(k) = -k**3 + 9*k**2 + 9*k - 21. Is 11 a factor of d(w)?
False
Suppose 0 = 5*c + 2*d - 87871, -47*d - 17565 = -c - 52*d. Is 37 a factor of c?
True
Let c be 49*(1 - (-791)/49). Suppose -c = -d - 2*d. Does 70 divide d?
True
Let n(k) = -14*k + 1253. Does 35 divide n(7)?
True
Suppose -y = -h + 6, 2*h - 5*y = -2*y + 9. Is -339*h/(-36)*(-60)/(-9) a multiple of 45?
False
Let q be (-24)/14*-33*(-14)/12. Let r = -68 - q. Is 10 a factor of (1/(12/33))/(r/(-72))?
False
Suppose -2*q = -q + 2*p - 4, -p - 5 = -3*q. Let z(d) = d - 29. Let l be z(16). Let h = q - l. Does 5 divide h?
True
Let j(p) = 16*p + 60. Let z(v) = -38*v - 150. Let n(g) = -12*j(g) - 5*z(g). Suppose 4*r = -r - 75. Does 30 divide n(r)?
True
Let a(g) = 11*g**3 - 3*g**2 - 2*g + 7. Let v be a(6). Let c = v + -1603. Does 66 divide c?
True
Let h be (-1 - 10) + (45/(-5) - -5). Is 14 a factor of -5*(-21)/(3 + h/10)?
True
Let m be (44/(-6))/((-10)/30). Suppose 0 = -m*j + 28*j + 390. Does 13 divide 15/(((-30)/j)/2)?
True
Let m(f) = 2*f**2 + f - 6. Let d = -131 + 128. Is m(d) a multiple of 3?
True
Suppose 5 = t, 0 = -5*c - 2*t - 3*t + 20. Does 45 divide 45*((-50)/(-30) - c/3)?
True
Suppose 24 = -3*m + 9*m. Suppose 4*y + 7*a - 3*a - 24 = 0, -m*y - 2*a + 16 = 0. Suppose -y*u + 5*g = -81, -4*u + 0*g + 117 = 5*g. Is u a multiple of 10?
False
Let o(g) = -59*g - 47. Suppose -16*u + 11*u - 40 = 0. Is o(u) a multiple of 17?
True
Let p = 94 - 71. Suppose 3*d + g = -g + p, -g = -3*d + 11. Suppose 0*h + 344 = 2*u - 4*h, -d*h - 20 = 0. Is 41 a factor of u?
True
Suppose 6*h = 243 - 39. Let s = h - -8. Let o = s - -31. Is 13 a factor of o?
False
Suppose 18*u + 3*o = 22*u - 12402, 4*u - o = 12414. Is u a multiple of 13?
False
Is 1 - (-1424)/(720/(-81) - -9) a multiple of 86?
False
Let i(o) be the first derivative of 271*o**4/4 + 2*o**3/3 - o + 43. Does 65 divide i(1)?
False
Suppose -3*v + 7*g = 9*g - 51, -v - g + 18 = 0. Suppose v*j - 4143 = 4692. Is j a multiple of 12?
False
Suppose -c - 1 = -4*w, 4*w + 12 = -4*c - 12. Let r(y) be the second derivative of y**4/12 + y**3/3 + 5*y**2/2 - 2*y + 753. Is 10 a factor of r(c)?
True
Suppose 0 = 10*v - 7*v. Let c be 1 + (v/1)/2 - -70. Is 5 a factor of (c/(-5))/(-2*(-8)/(-80))?
False
Let k(i) = -i**3 + 67*i**2 - 7*i - 799. Does 36 divide k(66)?
False
Suppose 0 = 12*x + 25443 - 81471. Suppose -x = -144*w + 137*w. Is 69 a factor of w?
False
Suppose -28956 = -2*m + 4*t + 15244, 3*m = 2*t + 66272. Does 80 divide m?
False
Suppose -5*d = 3*r - 13013 - 18178, 4*d - 24944 = 2*r. Is d a multiple of 99?
True
Let a(l) = l**2 + 99*l - 31. Let d(n) = -n**2 - 197*n + 62. Let o(s) = 5*a(s) + 2*d(s). Is o(-35) a multiple of 13?
False
Suppose 109*a - 10353843 + 1079249 = -90*a. Does 300 divide a?
False
Suppose 0 = -2*y - 4*x + 11432, -4*y + 28219 = -2*x + 5415. Is 6 a factor of y?
False
Let p = 37 + 18. Let k = 79 - p. Does 6 divide ((-9)/k)/(-3) - (-188)/32?
True
Let d(z) = -5*z**3 - 4*z**2 + 2*z + 10. Let g be d(-7). Suppose -4*p - 211 = -g. Is p a multiple of 7?
False
Suppose -18487 = -9*t + 51353. Suppose 6*m = -2*m + t. Does 26 divide m?
False
Let y(f) be the first derivative of -3*f**2/2 + 164*f - 118. Is y(26) a multiple of 4?
False
Suppose 27*g - 91*g + 25308 = -26*g. Is g a multiple of 81?
False
Let f(t) = -22*t**3 - 4*t**2 + 4*t + 2. Let z be f(-5). Suppose -4*i - 226 - z = 5*m, 0 = 2*m - 2*i + 1136. Is 3/(-9) + m/(-9) a multiple of 33?
False
Let n = 83 + -60. Suppose 18*q = n*q - 3780. Suppose -3*o = 3*o - q. Is o a multiple of 18?
True
Suppose s = 1, -6*f + 9*f - 700 = 2*s. Is f - (-1 - -2)*-6 a multiple of 12?
True
Let o(w) = -w + 11. Let b be o(7). Suppose -5*f + 55 = -2*x - 295, 0 = b*f + x - 293. Is f a multiple of 18?
True
Let f be ((-394)/(-4))/(24/144). Is (-2)/((-4)/(f + 1)) a multiple of 37?
True
Let x be (-109224)/814 - (-4)/22. Does 23 divide (-70819)/x - (-1)/2?
True
Let k(c) = -c + 3. Let g be k(9). Let a be (-2 + 4)*g/(-4). Suppose t - 2*b + 28 = a*t, -4*b = -2*t + 16. Does 4 divide t?
True
Is -4 + (-484)/66*(-7146)/2 a multiple of 12?
False
Let x(n) = -n**3 + n**2 + n - 1. Let a(d) = 6*d**3 + 22*d**2 + 36*d + 101. Let h(r) = a(r) + 5*x(r). Is h(-25) a multiple of 107?
True
Let j = 2877 + -1701. Is j a multiple of 7?
True
Let x(a) = -3*a - 184. Let p(h) = -h - 62. Let s(u) = 11*p(u) - 4*x(u). Is 2 a factor of s(-15)?
False
Does 85 divide (-49)/(1078/(-399608)) - 16?
False
Does 12 divide 334202/132 + (-10)/(-12) + (-4)/6?
True
Let t be -1 + 1 - (0 - 3 - 0). Suppose -t*p + 297 = 75. Suppose 2*f = 4*s - 48, 0*s - p = -5*s - f. Is s a multiple of 7?
True
Suppose 22 = -5*u