 2*s - 3 = 0. Suppose -3 = 3*z + w - 25, -4*z + k*w + 42 = 0. Does 13 divide z/(-6)*1989/(-34)?
True
Let z(i) = 2*i**2 - 3*i + 1. Let l be z(2). Suppose -5*d = 5*j - 900, 189 + 503 = 4*j - l*d. Does 22 divide j?
True
Let h = -5802 + 9521. Suppose 11*b - h = 2573. Is 52 a factor of b?
True
Let k = -263 + 564. Suppose -i = -8*i + k. Let u = 49 - i. Is u a multiple of 4?
False
Let w be 5/(-2)*-14*(-4 + 5). Does 7 divide 302/14 + (5 - 195/w)?
True
Let p = 8669 - 7263. Is p a multiple of 37?
True
Let y = -15997 + 25901. Is 18 a factor of y?
False
Let p(u) = -8*u**3 + 10*u**2 - 84*u - 647. Does 9 divide p(-8)?
True
Let u(o) = -o**3 + 10*o**2 - o + 16. Let l be u(10). Is 12 a factor of (-7*8/20)/(l/(-75))?
False
Suppose -265734 = -134*y + 1299654. Does 59 divide y?
True
Let m = -152 + 155. Let t be 1*(-15 - 0/3). Does 2 divide 1*-6*(t/5)/m?
True
Suppose f - 4795 = -3*g, 4*f - 1068 = -g + 18024. Is f a multiple of 7?
False
Let x = 110 - 111. Is (0 + -58 + -2)/(-1 + x) a multiple of 10?
True
Let r(h) = 7*h**2 + 15*h + h**3 - 5*h + 0*h**3 - 3 - 2*h. Is r(-5) a multiple of 2?
False
Let g = -5 + 8. Let c be ((-38)/g)/(3/9). Let f = -31 - c. Is f a multiple of 7?
True
Suppose 0 = -9*j + 155 - 47. Does 7 divide (-674)/(-3) - (44/j - 3)?
True
Let a(z) = z**2 + z. Let b(r) = -8*r**2 + 4*r - 2. Let j(d) = -6*a(d) - b(d). Does 3 divide j(6)?
False
Suppose 57 = -j + 3*g, 3*g + 2*g = -j - 25. Let w = 49 + j. Suppose -120 = -2*f + w*l, -5*l + 215 + 55 = 5*f. Is 32 a factor of f?
False
Let z(f) = f + 0*f + 118 + 0*f. Let r be 0/(-3)*1*1/(-2). Does 22 divide z(r)?
False
Let f(t) = t**3 + t**2 + 2*t - 6. Let b be f(2). Suppose b*u = 8*u + 2*h + 204, 0 = -3*u + 2*h + 310. Does 8 divide u?
False
Does 25 divide (925/(-10))/((-9)/486)?
False
Suppose 4*m - 120204 = -2240*n + 2237*n, 3*n = -3*m + 120204. Is n a multiple of 63?
True
Let q = -17 - -21. Suppose 14 = q*h + 2. Suppose j + j = h*o + 14, 3*j = -2*o + 34. Is 10 a factor of j?
True
Let v(q) = -15*q - 66. Let p(h) = -h**2 + 2*h + 5. Let x be p(-3). Does 28 divide v(x)?
True
Suppose 0 = -x + 2*v + 3*v + 945, 3726 = 4*x - 2*v. Does 15 divide x?
True
Suppose 30 = 3*w + 21. Let p = -42 + 50. Suppose 175 = -w*k + p*k. Is 12 a factor of k?
False
Suppose 4 + 20 = 6*h. Let f be (h - 0)*(-257)/(-2). Suppose -4*i - 5*v + f = -4*v, -4*i + 520 = -2*v. Is i a multiple of 40?
False
Let m(b) = -151*b**2 + b - 14. Let a(s) = -s**2 - s. Let y(z) = 4*a(z) - m(z). Is y(-2) a multiple of 11?
False
Does 84 divide (-81478726)/(-1729) + 10/(-13)?
True
Let p = 114 - 124. Let b be (-2)/4*(265 + (p - -7)). Let g = 243 + b. Is 17 a factor of g?
False
Suppose -8 = -4*k + 8. Let p = -424 + 971. Suppose a = k*t - 439, -t - p = -6*t + 3*a. Does 11 divide t?
True
Is (1458 - -127)/(5/24) a multiple of 142?
False
Let w be (-6)/(12/15 - 1). Does 4 divide 10/15 - w/(-9)?
True
Let r = -211 - -150. Let d = r + 73. Suppose -3*q + 4*s + d = 0, 5*s + 2 = q + 9. Is 7 a factor of q?
False
Is 11/(-2)*(-11 + -237) a multiple of 31?
True
Let a(h) = -6*h - 19. Suppose -x - n = 16, 5*x - 4*x = 2*n - 19. Let z(s) = s + 11. Let l be z(x). Is a(l) a multiple of 4?
False
Suppose 4*b + b - 40 = 3*i, 3*b = -4*i + 24. Does 3 divide 3 - (-4)/(b/30)?
True
Let f(j) = 8*j**3 - 2*j**2 + j - 12. Let l(t) = t**3 + 44*t**2 + t + 47. Let v be l(-44). Is 3 a factor of f(v)?
True
Let i(m) = 16*m + 34. Let w be i(-2). Suppose -h + 85 = w*h - 5*y, 4*h - 119 = y. Is h a multiple of 6?
True
Is 96 a factor of 160/1*((-6)/(-10) - (-21300)/125)?
True
Let t(x) = -3*x**2 - 15*x - 29. Let h be t(-6). Let u = 84 + h. Suppose 229 = 4*g + u. Is g a multiple of 12?
True
Suppose -4*i + 4*j = -10604, 24*i - 27*i + 5*j = -7953. Is 26 a factor of i?
False
Suppose -3*m + 6824 - 2229 = 2*x, -11495 = -5*x - 5*m. Does 11 divide x?
False
Let r = 638 + -634. Suppose -2*d = -r*m - 2126, 14*m + 20 = 19*m. Is 18 a factor of d?
False
Let f = -195 + 483. Suppose -f = -16*w + 8*w. Is 4 a factor of w?
True
Let m(k) = -4*k + 41. Let u be (1 + 2 - (-2 - 0)) + 0. Suppose 2*g = c + u + 10, 3*c = 4*g - 53. Does 16 divide m(c)?
False
Let l be 1 + (88/56 - (-3)/7). Let g be (l - (-164)/(-52)) + 28/13. Suppose -g*t + 28 = -t - r, -5*t = 4*r - 176. Does 32 divide t?
True
Let q = -344 + 342. Is 31 a factor of 310/((-40)/(-15) + q)?
True
Let u(a) = 11*a - 129. Suppose 178 = 16*x - 30. Does 8 divide u(x)?
False
Let z = 24552 - 10708. Is 30 a factor of z?
False
Let o(s) be the second derivative of s**5/20 - 23*s**4/12 + 13*s**3/3 + 19*s**2 + 35*s. Is 7 a factor of o(22)?
True
Suppose 177*p + 2733933 - 9585603 = 0. Does 245 divide p?
True
Suppose -19*z + 22*z = 25608. Is 15 a factor of z?
False
Suppose 28037 = 138*c - 293676 - 148591. Is c a multiple of 16?
True
Let b = -155 - -174. Let i(n) = 2*n**2 - 24*n + 27. Is i(b) a multiple of 23?
False
Suppose 5*j - 5*d = 50, 3*d + d = -16. Suppose -j*z + 3 = -5*z. Suppose -o + r + 13 = o, -z*o + 2*r = -22. Does 3 divide o?
False
Let h(y) = 182*y**2 - 11*y + 195. Is h(-20) a multiple of 15?
True
Let z = -8 - -10. Suppose z - 14 = -2*m. Is (-411)/(-9) + 2/m a multiple of 10?
False
Suppose 6*g + 32*f = 35*f + 59997, 3*g + 4*f = 30004. Does 25 divide g?
True
Let w(l) = l**2 + 18*l + 32. Let n be w(-16). Suppose n = -4*p + 6*p - 4*c + 12, 5*p + 46 = 2*c. Is p/(-45) - 1618/(-9) a multiple of 12?
True
Let r = -117 - -120. Suppose 0 = -r*n + n + 4864. Suppose 0*j + 16*j - n = 0. Is j a multiple of 11?
False
Let h be -4*((-75)/20)/3. Suppose -h*w + 57 = 4*x, 0*w - 3*x + 36 = 3*w. Suppose 11 = a - w. Is 20 a factor of a?
True
Let m(i) = -7 - 2*i - 6 - 27 - 11 + 80. Let v = 7 + -24. Is m(v) a multiple of 16?
False
Is ((-20268)/(-15))/(9/75) a multiple of 13?
False
Let h(q) = 142*q**3 + 3*q - 3. Let t be h(1). Suppose 0*b - 4*n + t = 5*b, -4*b + 110 = 2*n. Let f = b - -144. Is f a multiple of 23?
False
Suppose -12*n + 412 = -8. Is 9 a factor of (2*(-36)/21)/((-1)/n)?
False
Let t = -341 + 246. Let l = t + 635. Is 54 a factor of l?
True
Let y = -6312 - -8184. Is 18 a factor of y?
True
Let y = 2161 + 4701. Is 47 a factor of y?
True
Suppose 2*y - 3*j - 1633 = -4*j, 5*j + 1627 = 2*y. Does 3 divide y?
True
Let s be 2*(-4)/(-16)*4. Suppose -6*v + 5*v + s = 0. Suppose -4*j - 2*r = -866, v*r = -j - 0*j + 215. Is 35 a factor of j?
False
Let h(d) = 79*d**3 - 10*d**2 + 9*d - 78*d**3 + 7*d + 4. Let a be h(8). Suppose 409 = a*z + i, 5*i - 400 = -4*z + i. Does 41 divide z?
False
Let f = 237 - 102. Is f/(-6)*13/(195/(-80)) a multiple of 2?
True
Suppose -9510 = 20*o + 10430. Let r = o + 1726. Is 81 a factor of r?
True
Suppose 1080 = -s - 3*p, 3*s - 3*p + 1798 = -1418. Let t = 73 - s. Does 31 divide t?
True
Let x(m) = 163*m + 2350. Is 14 a factor of x(-7)?
False
Let k(i) = 16*i**2 - 96*i + 2. Let m be k(6). Is 2 a factor of (-2)/10*m + (-132)/(-5)?
True
Suppose 3*d - 31585 = -2*r, -5*r + 33988 = -2*d - 44908. Is r a multiple of 26?
True
Suppose -14 = -11*a + 12*a + 4*f, -4*a + 29 = -f. Suppose -a*z = -35*z + 12180. Is 14 a factor of z?
True
Suppose 4*j = 4*g - 956 - 332, g + 4*j = 327. Suppose 0 = -c - 5*z + g + 249, -3*c = z - 1702. Is c a multiple of 27?
True
Suppose 0 = -2*d + 4*r + 2576 + 528, -6206 = -4*d + 7*r. Is 194 a factor of d?
False
Suppose 31*p - 34*p - 1116 = 0. Let m = -229 - p. Does 9 divide (-3)/(-8 + 5) + m?
True
Let c(m) = 40*m**3 + 5*m**2 - 220*m + 1070. Does 169 divide c(5)?
False
Suppose -7*t = -50228 - 41965 + 28185. Does 25 divide t?
False
Let j = 1111 - 238. Is j a multiple of 7?
False
Does 11 divide (-1 + 67)/(834/348056)?
True
Let b(w) = 2*w**2 - 16*w - 20. Let h be b(-2). Let z(c) be the second derivative of 5*c**3/6 - 23*c**2/2 + c. Does 8 divide z(h)?
False
Let u be (-2)/2 - (-23 + -2). Let l be ((-7920)/(-576))/((-5)/(-8)). Suppose u*a - 100 = l*a. Does 10 divide a?
True
Let v(k) = 169*k - 769. Does 120 divide v(10)?
False
Let t(x) = 10*x**2 + 13*x + 8. Let p be t(-8). Let o = 962 - p. Is 38 a factor of o?
True
Suppose -7*z + 12 = -11*z. Let x be 1*(z/3 - 1)*-43. Suppose -x = -3*a - 2*i, 2*a + 3*i + 6 - 55 = 0. Does 10 divide a?
False
Does 60 divide 22473178/3822 - 2/(-42)?
True
Let o = 11 + -7. Let a(x) = 2*x - 4. Let w be a(3). Suppose -y - 3*f - o = w*f, 4*y - 16 = -4*f. Is y even?
True
Let q = -60 - -18. Is 12/q - (-7952)/49 a multiple of 81?
True
Let b(l) = l**3 + 78*l**