 -76*j - 2223 = -t*j. Is 19 a factor of j?
True
Let b(q) = -q + 5. Let k be b(5). Let t be 1695/35 + (-40)/(-70). Suppose -r + 136 - t = k. Is r a multiple of 29?
True
Let p = 3017 + -114. Is p a multiple of 23?
False
Let x = 5744 + -4106. Does 78 divide x?
True
Let m(r) = 51*r + 3. Let z(y) = 154*y + 10. Let k(c) = -11*m(c) + 4*z(c). Is k(2) a multiple of 5?
False
Suppose 3*g + 3*g = -372. Let v = 190 - g. Suppose 5*r - 243 = 2*x - x, v = 5*r - 4*x. Is 5 a factor of r?
False
Suppose 12*r - 41 = 43. Is 5 a factor of ((-24)/r)/(-6 - 40/(-7))?
False
Suppose -3*l + 15054 - 5616 = 0. Is l a multiple of 52?
False
Let l(q) = 4*q + 3. Let n be l(0). Suppose -12 = -5*m - n*o + 52, 0 = 5*m + o - 58. Let k = m - 3. Does 2 divide k?
True
Suppose 72 + 67 = 121*r + 18. Let u(g) = -g - 3. Let c be u(-4). Is (c - 223)*(r/3)/(-1) a multiple of 18?
False
Let i(l) = 22*l**3 - 121*l**2 + 15*l - 13. Is 8 a factor of i(6)?
False
Let l(x) = x**2 - 12*x + 15. Suppose 0 = -5*m - 3*g + 340, 4*m + 3*g - 18 = 251. Let q = m + -58. Is 7 a factor of l(q)?
True
Let q(m) = 4*m**2 - m. Let v be q(1). Suppose 171 = v*k - 5*w + 3*w, 2*k - 4*w = 122. Suppose 5*o - 180 = -2*l, -o - 4*l + k - 19 = 0. Does 18 divide o?
True
Let l(u) = -u**3 + 92*u**2 - 678*u - 117. Does 30 divide l(83)?
True
Let n(l) = -l**3 + 20*l**2 - 18*l - 16. Let z be (94 + 1)/(70/14). Is n(z) a multiple of 3?
True
Suppose 3*l + 10 = -2*s + 36, -2*l + 54 = 5*s. Suppose -50*p = -s*p - 15880. Does 7 divide p?
False
Suppose -70624 - 5129 = -9*q + 1368. Is q a multiple of 14?
False
Is 38 a factor of ((-1)/(-4))/(-1) - 9634120/(-160)?
False
Let t(h) be the third derivative of 5*h**4/24 - 15*h**3/2 - 29*h**2. Is t(18) a multiple of 3?
True
Let n = 1602 - 1294. Is 11 a factor of n?
True
Suppose -3*y = -4*j - 4961, 4*y + 0*y = -3*j + 6598. Suppose 3*p = 3*f + 1005, 0 = -5*p + f - 2*f + y. Suppose 11*k - 296 = p. Is 8 a factor of k?
False
Let q = 18 + -15. Suppose 4*s - 14 = s - 4*u, -4*u + 2 = -q*s. Is 19 a factor of 12/(-8)*s - -69?
False
Suppose -13*r = -8*r - 2*u - 58004, 5*u - 46423 = -4*r. Does 17 divide r?
False
Let b(f) = f**3 - 8 + 3*f + 15 - 4*f**2 + 3*f. Let n be b(5). Suppose 0 = n*p - 61*p - 5. Is p a multiple of 5?
True
Suppose -10*m + 615 = -3*c - 7*m, -3*m = 9. Let y = c - -698. Is 49 a factor of y?
True
Let k = 179 - 183. Is 20 a factor of k*11/((-33)/45)?
True
Let z(r) = -r**3 + 13*r**2 - 6*r + 1. Let y = -117 + 129. Does 3 divide z(y)?
False
Let f(l) = 714*l + 6470. Is f(38) a multiple of 53?
True
Let n be 445 + (1 - -8 - 4). Suppose -37*o + n = -32*o. Is o a multiple of 10?
True
Let i be 6 + 192*1 + -2. Let m = -22 + i. Is 29 a factor of m?
True
Suppose 0 = -2*m - 5*s - 5, 0 = -3*m - 3*s - 0*s + 6. Suppose -m*d = -3*f - 16, -4*d + 25 + 1 = 2*f. Does 4 divide (6 + -8)*1/d*-200?
True
Suppose -125*v - 161490 = -919115. Does 29 divide v?
True
Let a = -7443 - -12811. Is 88 a factor of a?
True
Suppose 16 = 14*h - 12*h. Let j(q) = -10*q**3 - 11*q**2 + 19*q. Let z be j(h). Is 3/8 + z/(-64) a multiple of 42?
False
Let l(d) = -d**3 - 31*d**2 - 67*d + 3. Let u(y) = -14*y + 55. Let a be u(6). Does 12 divide l(a)?
True
Let s(q) = 2*q**3 + q**2 - 3*q + 2. Let j be (-1)/(-6 + -1 + 6). Let u be s(j). Suppose 0 = -3*g + 4*g - 2*p - 81, -u*g + 3*p = -164. Is 12 a factor of g?
False
Suppose -46*v + 16 = -54*v. Does 9 divide (v - 2) + 8/32*916?
True
Let d be 813 + (-2)/((-12)/30) + -5. Let r = d - 551. Is 3 a factor of r?
False
Let s(z) = -21*z + 11. Let c(x) be the first derivative of 43*x**2/2 - 22*x + 15. Let w(g) = 2*c(g) + 5*s(g). Is w(-4) a multiple of 29?
True
Let j = -40 + 45. Let l = 16 - j. Suppose -l*h = -7*h - 208. Does 13 divide h?
True
Let n be (2 - 5) + (-2 - -2) + -530. Let x = -365 - n. Does 21 divide x?
True
Let t(s) = 4*s**2 - 2*s - 9. Let l be t(6). Let v = 128 - l. Is 3 a factor of v?
False
Suppose 2*l + 5737 = 3*n, -5*l - 9565 = -124*n + 119*n. Does 7 divide n?
True
Suppose 3*q + j + 585 = -j, 0 = -3*q - 3*j - 588. Let d be q - 0*4/(-20). Let a = -90 - d. Is a a multiple of 13?
False
Let h be 12*(-4 + 119/28). Suppose -h*j - 3*z - 2189 = -7*j, -2*j - 2*z = -1112. Does 27 divide j?
False
Suppose 3*r - 4*v = 20, -8*v - 12 = -r - 4*v. Suppose -5*l + 566 = -b + 3*b, 5*b + r*l - 1398 = 0. Is 9 a factor of b?
False
Suppose 3701 = 49*r - 55589. Suppose -935 = -15*w + r. Is 11 a factor of w?
True
Let c(b) be the first derivative of 6*b - 15 - 1/3*b**3 - 1/2*b**2 + 1/4*b**4. Is c(3) a multiple of 2?
False
Suppose 42*k - 418 - 1220 = 0. Is k a multiple of 10?
False
Suppose -16*l + 5*b = -13*l - 1301, -5*l - 5*b = -2155. Is l a multiple of 5?
False
Let c(j) = -16*j**3 + j**2 + 6*j + 3. Let l be c(-3). Let i be (-2 - (-11 - 2)) + -5. Suppose i*s - 4*s = l. Is 20 a factor of s?
False
Let p(j) = 2*j**3 + 163*j**2 + 288*j + 495. Is p(-78) a multiple of 79?
True
Let j(o) = -21*o + 680. Does 41 divide j(7)?
True
Let p(q) = -8*q - 54. Let i be p(2). Is ((-2880)/i)/(15/70) a multiple of 24?
True
Let u = 24044 - 12254. Is 30 a factor of u?
True
Let w = 8205 + 709. Is w a multiple of 96?
False
Let x = 7987 - 7981. Suppose g - 5*g = l - 1259, 5 = -5*l. Suppose -x*m + m + g = 0. Is m a multiple of 21?
True
Suppose -9*c = -4*c - 20. Let d be -6*(0 + (-62)/c). Suppose 50 = s - d. Does 12 divide s?
False
Suppose 20*c = 13*c + 14. Suppose -l + 0*l = -3*h + 10, c*h - 10 = -l. Suppose 5*z - 637 = -l*z. Does 18 divide z?
False
Suppose -18*p = -10*p - 29680. Does 35 divide p?
True
Let p = -12874 + 21787. Is p a multiple of 36?
False
Suppose k + 0*k - 4 = 0. Let t(j) = 4*j**3 + 54*j**2 - 27*j + 44. Let x be t(-14). Suppose k*u - x = -u. Is u a multiple of 2?
True
Let a be -91 + (3 + -15)*(-2)/8. Suppose 0 = 3*c - 253 - 128. Let w = a + c. Is 3 a factor of w?
True
Let v be (-37)/(-6) + (-2)/(-12)*-1. Suppose z - 2 = 3*r - v, 3*z = -2*r - 12. Is (-1)/(r + 3 + 136/(-44)) a multiple of 2?
False
Let z = 17 - 38. Let j(v) = -2*v**2 - 41*v + 23. Let k be j(z). Suppose -11 = -k*g + 11. Is g a multiple of 11?
True
Let s = -440 + 442. Is (-5 - (-1045)/10)*s a multiple of 13?
False
Let q(a) = 6*a**2 - 2*a - 1. Let d be q(-2). Let k be ((-568)/(-6))/((-52)/(-39)). Let x = k - d. Is 11 a factor of x?
True
Let b = 25824 + -9241. Does 103 divide b?
True
Does 52 divide -13 + (-627810)/(-40) + (2 - 15/12)?
False
Suppose 8*j = 6*j + 4. Suppose -5*a + 3*a = j*a. Does 21 divide (a + -2)/(-2 + 160/84)?
True
Let d(l) = 239*l**2 - 19*l - 99. Is 122 a factor of d(7)?
False
Let p be ((-4)/16*0)/2. Suppose 2*a = -p*a - 22. Let c = a + 26. Does 15 divide c?
True
Suppose -16755 = 2*g + 222*g - 53267. Does 16 divide g?
False
Suppose 229*k + 323*k - 175*k = 10954866. Is 129 a factor of k?
False
Let s(q) be the first derivative of -q**3/3 + 13*q**2 + 47*q + 81. Is s(27) a multiple of 2?
True
Suppose -5*f = -2*f - 243. Let i be 2 + (-18)/f + 29/9. Suppose -i*w + 3*w + 434 = 0. Is 28 a factor of w?
False
Let i(s) = -27*s**3 - s**2 + 2*s + 2. Let b(v) = v + 5. Let t be b(-6). Let l be i(t). Suppose -3*d + 2*j = 5 - 25, 5*j - l = -2*d. Is 4 a factor of d?
True
Let i(l) = l - 9. Let p be i(5). Let x(d) = 2*d**2 + 4*d + 12. Let u be x(p). Suppose 0 = -5*o + o + u. Does 2 divide o?
False
Suppose -34012 = -c + 4*a + 11515, -5*c - 5*a + 227735 = 0. Is 141 a factor of c?
True
Let v(l) = -l**3 - 16*l**2 + l + 19. Let u be v(-16). Suppose -30 = -3*y - u. Let o = y - -4. Does 3 divide o?
False
Suppose 2*i = 0, -2*n - 4*i + 22998 = -17562. Is 15 a factor of n?
True
Let v(i) = 294*i + 1. Let x = 29 - -6. Suppose 0 = -27*g + x*g - 8. Does 30 divide v(g)?
False
Suppose -3*a + 4*v = 521, 0*v = -5*a - 2*v - 851. Let b = a - -314. Is 4 a factor of b?
False
Let h = 155 + -153. Suppose h*b + 0 - 286 = 0. Does 11 divide b?
True
Suppose 3*g + 3*d = 24231, 3*g - 8081 = 2*g - 3*d. Does 31 divide g?
False
Suppose -2*k + 8 = -0. Suppose k*i - 85 = -w + 81, -3*w = -i - 446. Is w a multiple of 75?
True
Let i(x) = 1650*x**2 + 349*x + 13. Is i(5) a multiple of 270?
False
Let j(m) = 8*m**2 - 118*m - 16. Does 9 divide j(34)?
True
Let b = -631 - -1087. Suppose -x + 4*u + b = 0, x = 2*x + 4*u - 480. Suppose -10*y - x = -14*y. Does 13 divide y?
True
Suppose z - 7*i + 2334 = 21454, 4*z - 4*i - 76600 = 0. Is z a multiple of 15?
True
Is (174/4 - 3/3)*(-40264)/(-70) a multiple of 283?
False
Le