 + (-1)/(-6). Let q = 487 - v. Does 36 divide q?
False
Suppose -a - 320 = -5*a. Suppose -20 = 3*x - a. Suppose 15*w + 195 = x*w. Is 17 a factor of w?
False
Suppose -g - 10 = -13. Is 7 a factor of 38/(-57)*g*-139?
False
Does 11 divide 22/(-4)*-219*(-1 - -3)?
True
Let c(x) be the first derivative of 5*x**3/3 - 19*x**2/2 + 9*x - 3. Suppose -4*t = 68 - 92. Is c(t) a multiple of 15?
True
Let z be ((-2)/2 - 9 - -4)/(-2). Let b be ((-40)/(-12))/(2/z). Is 63*-2*((-150)/35)/b a multiple of 54?
True
Suppose 120*d = 1832206 + 2027356 + 2122318. Is 293 a factor of d?
False
Let h(l) = -6*l**3 - 2*l**2 + 17*l - 29. Let i be h(5). Let r = i + 854. Does 10 divide r?
True
Let s(m) = -55*m + 122*m**2 - 123*m**2 - 13 - 24 + 11*m. Is 12 a factor of s(-22)?
False
Suppose 0 = 5*b - 20, b = p - 3*b - 252. Suppose h - p - 119 = 0. Does 21 divide h?
False
Let d = -4200 - -4682. Is 5 a factor of d?
False
Let f = -2880 + 3057. Does 3 divide f?
True
Does 5 divide (-4 + 1091 + 10)*2?
False
Suppose -3*d + 10977 = -10*q + 13*q, 0*d + 2*d = 0. Is 7 a factor of q?
False
Suppose -2748*j + 63024 = -2732*j. Is j a multiple of 13?
True
Let b = -546 - -492. Does 15 divide ((-1653)/(-114))/((-1)/b)?
False
Let a be 2/70*10*(0 - -14). Is 17 a factor of 8302/a - (15/2 + -6)?
True
Let f = 724 + -398. Suppose -3*h + f = -4. Is 22 a factor of h?
True
Suppose -s = t - 428, 2*s - 3*t = s + 444. Suppose 0 = 14*i - s - 6848. Is 65 a factor of i?
True
Let n = -5393 - -5458. Is 2 a factor of n?
False
Let u(x) = -x**3 + 7*x**2 - 7*x + 4. Let s be u(4). Let m be (-5 - -1)*924/s. Let g = -42 - m. Is 14 a factor of g?
True
Suppose 1572*l - 1577*l = -1355. Is 12 a factor of l?
False
Suppose 0 = 6*x - 16 - 8. Suppose -x*q + 17 = -7. Is 6 a factor of q?
True
Let n(y) = -y**2 - 2*y - 7896. Let b be n(0). Let g be (4/22 - b/132) + -2. Suppose -g*u + 61*u = 120. Is 8 a factor of u?
True
Suppose -69693 + 21553 = -145*s. Does 12 divide s?
False
Suppose -2670071 = 80*c - 369*c. Is c a multiple of 5?
False
Suppose 7704 = b + 61*w - 58*w, b + 4*w = 7702. Is b a multiple of 16?
False
Suppose -41*m + 15584 = -38*m - 2*o, o = -m + 5203. Is m a multiple of 72?
False
Let t = -814 + 838. Suppose 62*m = t*m + 8702. Does 9 divide m?
False
Let m = 273 - -9027. Is m a multiple of 93?
True
Suppose -305*s = -306*s + 21. Is (((-72)/s)/1)/(12/(-1638)) a multiple of 39?
True
Let q(o) = 9*o**2 - 130*o + 110. Is 59 a factor of q(23)?
False
Let c be (-222)/(-11) + 72/(-396). Let x = 896 + c. Does 59 divide x?
False
Suppose 100*c = 113*c + 130. Suppose 0 = z + 2*z + 12. Is 4 a factor of c/((-5 - z)/1)?
False
Suppose 19*v - 20*v + 3292 = -m, v + 3*m - 3300 = 0. Does 11 divide v?
False
Let a = -443 - -441. Let r = 84 - a. Does 9 divide r?
False
Let k(r) = 21*r**3 + 6*r**2 - 71*r + 34. Is 10 a factor of k(11)?
True
Let a be (3/6)/(1*(-2)/1316). Let d = -139 - a. Let g = d + -112. Does 26 divide g?
True
Suppose 0 = -105*j + 68*j + 282495. Does 7 divide j?
False
Suppose -17*n = -29*n + 7884. Suppose 5*v - n = s, 2*s = 4*v - 3*s - 534. Is v a multiple of 17?
False
Suppose 199*v - 458143 + 83131 = 155*v. Does 9 divide v?
True
Let y be (2/(-5) + (-5)/50)*0. Suppose y = -44*w + 54*w - 1260. Is w a multiple of 9?
True
Suppose -14 = -3*j + 5*l, 0*j + 5*j + 2*l = 13. Suppose -c - 37 = -2*c - i, 3*c - j*i - 99 = 0. Let p = 95 - c. Is 15 a factor of p?
True
Let l(s) = 4*s. Let b be l(-2). Let p be (b/28)/1 - 5/7. Does 5 divide 32 + (2 - p) + -2?
False
Suppose 4*u + 39 = 3*n - 0*u, 4*u + 21 = n. Is 4 a factor of (15 - n) + (-450)/(-3)?
True
Let d(g) = -3*g**3 - g**3 + 3*g**3 + 12*g**2 + 1 + 3*g. Let f(a) = -29*a - 2482. Let k be f(-86). Is d(k) a multiple of 31?
False
Let y(z) = 3*z**2 - 9*z**2 + 2*z**3 - 3*z - 3*z**3 + 2. Suppose -v = -51 + 57. Does 3 divide y(v)?
False
Suppose -5*m = -2*v + 1080, -170 = m - 4*v + 64. Suppose 5*w - 366 - 1253 = -4*u, w = 4*u - 1625. Let r = u + m. Is 48 a factor of r?
True
Let p = 1537 - -5141. Suppose 133*o - p = 126*o. Is 9 a factor of o?
True
Let r(q) = 1854*q - 8599. Is r(7) a multiple of 29?
True
Suppose 7*u - 4*u = -2*k - 611, 10 = 2*u. Let m = 538 + k. Is 15 a factor of m?
True
Let h(y) = -19 + 3 + 26*y - 10 - 7. Let g be h(18). Suppose -3*k + m = -m - g, 0 = -5*k + m + 725. Does 29 divide k?
True
Let d(c) = 43*c**3 - 10*c**2 + 25*c + 53. Is 9 a factor of d(4)?
True
Suppose -2*q + 105 = 6*o - 5*o, q = -5*o + 507. Is -13 - -5 - (-11 - o) a multiple of 11?
False
Let f(x) = -61*x - 173. Let g be f(-14). Suppose -5*k = -4*l + l - 831, 3*l = -4*k + g. Does 21 divide k?
True
Suppose 2*j = 7*j - 135. Let u = j - 23. Suppose 5*k + 0*b + u*b = 298, 0 = k + 4*b - 50. Is k a multiple of 18?
False
Let n(u) = 66*u + 33. Let g(b) = 35*b + 18. Let h(r) = 36*r + 19. Let c(m) = 3*g(m) - 2*h(m). Let o(y) = 11*c(y) - 6*n(y). Does 19 divide o(-7)?
True
Suppose -3*p - 14 = -5*h - 0*h, -p + 4*h - 7 = 0. Let z be 4/6*(1 + -4) - p. Is 6*23 - (z + 0 + 2) a multiple of 15?
True
Let w = 26 + -29. Let t be 16 - (1 + -1 + w). Is 16 a factor of (t/(-2))/((-13)/78)?
False
Let u = 35 - 38. Let x be u - -1 - (-2)/2. Does 26 divide x/(-2) + 204/8?
True
Let r(y) = -8*y + 8. Let w(b) = -28*b + 14. Let m(l) = 9*r(l) - 5*w(l). Let v = 1 - -1. Does 23 divide m(v)?
True
Suppose 1 = -2*q - 9, b = -2*q + 9. Let c = b + 275. Is 98 a factor of c?
True
Is 20 a factor of (-253764)/(-26) + 310/(-2015)?
True
Is (65394/(-45))/(-2) + 6/15 a multiple of 90?
False
Let u(t) be the third derivative of t**5/60 + t**4/12 - t**3/2 - 4*t**2 + 6. Suppose -d - 43 = 5*b, 5*b + d + 3*d = -37. Is u(b) a multiple of 15?
True
Let i(z) = 32*z**3 - 2*z**2 + 51*z - 164. Is i(3) a multiple of 167?
True
Suppose -2*t - 2 + 46 = 4*i, t = 2*i + 30. Suppose 0 = -4*s - 2*y - t, -5*s + 3*y = -0*y + 5. Is s/8*-74 - 2 a multiple of 4?
False
Let m(a) = 5*a + 53. Let w be m(0). Let u = 109 - w. Let d = 98 - u. Is 15 a factor of d?
False
Let q(p) = 459*p - 696*p + 398*p - 131. Is 5 a factor of q(2)?
False
Suppose 0 = 13*p - 263737 + 81230. Is p a multiple of 101?
True
Let n(o) be the second derivative of 5*o**5/4 - 5*o**4/12 + o**3/3 + o**2 + 4*o - 14. Does 11 divide n(3)?
True
Suppose -79*p + 82*p - 4698 = 0. Is p a multiple of 54?
True
Let w = -448 + 204. Let c = 633 + w. Is c a multiple of 37?
False
Let i(j) = -20*j + 175. Let x be (3 + -1)*(-6)/24*-14. Is i(x) even?
False
Let y = -4552 + 7621. Is 31 a factor of y?
True
Suppose -32*i + 21437 = -82787. Does 146 divide i?
False
Let p(w) = -w**2 + 2*w - 2. Let h be p(-3). Let l(i) be the second derivative of -i**4/12 - 5*i**3 + 19*i**2/2 + 223*i - 1. Is 48 a factor of l(h)?
True
Let c(x) = -26 + 77*x + 3 - 71*x. Let z be c(4). Does 13 divide 4 - 0 - (-60)/(3 + z)?
False
Let i(m) = m**3 + 6*m**2 - 18*m - 21. Let s be i(-8). Is (17 - 1 - s)*(-2 + 4) a multiple of 29?
False
Suppose -13639 - 13199 = -21*h. Suppose -298 = 2*d - h. Does 12 divide d?
False
Suppose -4727403 - 454669 = -244*j. Is j a multiple of 7?
True
Suppose -4*m + 2*f = -4, 5 = -3*m - 4*f - 3. Suppose m*u + 2*u - 402 = 0. Is u a multiple of 6?
False
Does 43 divide ((-38)/57)/(2836/1419 + -2)?
True
Let y(x) = -287*x - 1058. Is 23 a factor of y(-23)?
True
Let j(g) be the third derivative of -1/8*g**4 + 27*g**2 + 0 + 0*g + 2/3*g**3 + 5/12*g**5. Is j(-3) a multiple of 24?
False
Suppose 0 = -7*z + 40*z + 19*z - 112424. Is z even?
True
Suppose -49 = -l + 990. Let v = 46 + l. Is v a multiple of 12?
False
Let k(f) = f**2 - 18*f + 15. Let w be k(0). Suppose h - 1261 = -4*q, -10*q + 5*h - 1580 = -w*q. Does 45 divide q?
True
Let f(a) = 60*a + 5518. Does 45 divide f(-71)?
False
Does 13 divide -95*(-4)/(-30)*(-74 + 47)?
False
Suppose -2*n = 3*a - 0*n + 29, 0 = -4*n + 20. Let u(p) be the second derivative of -4*p**3/3 - 16*p**2 - 9642*p. Does 18 divide u(a)?
True
Suppose -2*d - 3 = v - 31, 3*v - 94 = 4*d. Suppose -x - 28 + v = 0. Suppose -i = -2*l - x - 66, 2*l + 196 = 3*i. Is 4 a factor of i?
True
Suppose -g - 68 = -67. Let n = 26 - 22. Is ((-2)/n)/(g/26) a multiple of 13?
True
Suppose 228 = -4*j + 4*h, h + 297 = -5*j + 2*h. Let n = j - -101. Suppose p = 3*a + 144, -89 = -p - 4*a + n. Does 39 divide p?
False
Let h(s) = -s**2 + 20*s + 32. Let c be h(0). Suppose c*n - 14421 = 4043. Is 27 a factor of n?
False
Does 281 divide 126/21 - ((-4190)/5 - -1)?
True
Does 16 divide ((-528)