. Does 3 divide j?
False
Let q = -398 + 402. Suppose 84 = 2*s - 4*n - 12, -3*s = q*n - 144. Does 16 divide s?
True
Suppose -14*c + 12*c = -154. Suppose -13*m = c - 350. Is 5 a factor of m?
False
Let o(s) = -37*s - 9. Let v(b) = b + 1. Let u(c) = -2*o(c) - 6*v(c). Let i be u(6). Is i/7 - (0 - 1) a multiple of 22?
False
Suppose 5*z = 5*v - 15, z + 13 = 3*v - 0. Let m(d) = -11*d**3 + d - 6*d**3 + 18*d**3 + v*d**2 + 9. Is m(-5) a multiple of 4?
True
Suppose -5*h = -0*h - 25. Suppose -h*d + 8*d - 6 = 0. Let u = 72 + d. Does 9 divide u?
False
Let o(n) = -58*n - 6 + 6 - 1 - 13. Does 18 divide o(-8)?
True
Let q = 4415 - -6753. Does 151 divide q?
False
Suppose -5*u = 5*n + 3810, -2*u - 1018 = 5*n + 2795. Let v = -349 - n. Is 23 a factor of v?
True
Let n be (498/(-9) - 3)/((-2)/(-6)). Let m = n - -30. Let s = -56 - m. Does 9 divide s?
False
Let t(q) = 7*q**2 - 14*q - 23. Let n(l) = l**3 + 9*l**2 - 15*l - 22. Let o(a) = -2*n(a) + 3*t(a). Is 20 a factor of o(-5)?
True
Suppose z + 5*x - 2 = 0, 4*z + 3*x - 23 = -2*x. Let t(g) = 4*g**2 + 4*g. Let r be t(z). Let m = -144 + r. Does 17 divide m?
False
Let r be 3/9*15 + -42. Let t = r + 67. Does 4 divide t?
False
Let m(o) = 77*o - 19 - o**2 - 40*o - 51*o. Let q be m(-10). Is 69*1 + (q/7)/3 a multiple of 10?
True
Suppose 13*b + 7*b - 119262 = -6*b. Is b a multiple of 56?
False
Let g = -32074 + 34143. Does 11 divide g?
False
Is 24 a factor of (-30329)/(-4) - (-799)/(-3196)?
False
Let s be 18*(220/(-12) + 3). Let u = s + 493. Suppose -5*y + u + 93 = 0. Is y a multiple of 8?
False
Suppose 4*q - 9*q + 3*c = -40, 2*q - 30 = 4*c. Suppose -2*u + q*u - 1020 = 0. Is u a multiple of 21?
False
Suppose 23*a = 17*a + 90. Suppose 2628 = a*q - 11*q + s, 4*q = -3*s + 2636. Does 41 divide q?
True
Let m be (-32*(-14)/168)/((-4)/(-3)). Let u be 5*(1 - 0) - 2. Suppose -u*n = 4*h - 311, 0 = n - 7 + m. Does 25 divide h?
False
Let w(s) = -3*s**2 + s + 184. Suppose -5*v = -b + 20, 4*v + 4 = 3*b - 12. Is 52 a factor of w(b)?
False
Suppose 0 = -35*p + 1660094 - 590704. Is 78 a factor of p?
False
Does 105 divide ((-21210)/(-420))/((-2)/(-420))?
True
Suppose 58*u - 270*u = -85590 - 156938. Is u even?
True
Suppose -m - 4*z + 2*z = -5, -3*z - 75 = -4*m. Does 56 divide ((-28)/m*9)/(3/(-50))?
True
Is (-9)/(-10 + (-801)/(-81)) a multiple of 9?
True
Let a be (-135)/(-35) - 13/(-91). Suppose -j + 189 = 4*c + 45, c = -a*j + 531. Does 3 divide j?
True
Suppose 5*i - 4*c - 6282 = 0, -74*c = -3*i - 70*c + 3782. Is i a multiple of 4?
False
Suppose -4*q = w - 0*w + 7, 3*w + q = 12. Let f be (4/3)/(10/75). Suppose -w*r + 55 = -f. Is 2 a factor of r?
False
Let a(d) = -d**2 + 70*d + 1035. Is a(77) a multiple of 2?
True
Let v be ((-3058)/(-66))/((-2)/(-18)). Suppose -v = 5*m - 1257. Is m a multiple of 12?
True
Let b = 80 - -591. Suppose -3*n + 859 = -b. Is 17 a factor of n?
True
Let r = 14766 - 9937. Is 11 a factor of r?
True
Let r(w) = 48*w**2 + 2. Let g be r(1). Does 29 divide 704 - ((-10)/g + 28/(-10))?
False
Let z(j) = -7*j**3 - 10*j**2 - 61*j - 26. Does 26 divide z(-21)?
True
Let f = 484 + -986. Is (9/18)/((-1)/f) a multiple of 21?
False
Let m = -4638 - 5190. Is m/(-156) - 3*(1 - 0) a multiple of 3?
True
Let n(j) = 1. Let l(a) = 46*a + 83. Let i(m) = l(m) - 6*n(m). Is 9 a factor of i(4)?
True
Suppose 10715 = 4*u - 9*d + 8*d, -4*d - 13380 = -5*u. Does 17 divide u?
False
Suppose 0 = 2*w + 2*k - 34, 0 = 4*w - 5*w - 5*k + 25. Let m be (-12)/(-24) - (-2 + w/6). Suppose m = -i - 0*i + 27. Does 9 divide i?
True
Let f = 10451 - 6844. Is f a multiple of 16?
False
Let y = 4333 + -979. Is y a multiple of 39?
True
Suppose 7 = a - 4*u - 14, 0 = -a - 3*u. Suppose -1106 = -a*r + 343. Is 21 a factor of r?
False
Let q(u) = -108*u - 1. Let p be q(1). Let v = p - -129. Does 10 divide v?
True
Let g = -16885 + 11394. Does 27 divide g/(-102) + 2/12?
True
Let g(j) = -73*j**3 + 8*j**2 + 39*j + 14. Is g(-5) a multiple of 18?
True
Suppose -14*n - 702 = -12*n. Let m = -276 - n. Is 15 a factor of m?
True
Let y = 583 - 580. Suppose 19*f - 2068 = -y*f. Is 13 a factor of f?
False
Let r be -20 + (9 + 3)/3. Let p be (-4)/r - 551/(-4). Let w = p - 65. Does 17 divide w?
False
Let m = 39 - 35. Let z(j) = j**3 - 6*j**2 + 9*j. Let n be z(m). Suppose -5*i - 9 = -2*i, 5*t - n*i = 447. Is t a multiple of 8?
False
Let z(o) be the first derivative of -4*o**3/3 + 7*o**2/2 - 4*o - 18. Let h be z(2). Let a(w) = 4*w**2 + 9*w + 22. Is 16 a factor of a(h)?
True
Suppose 13*a = 4*d + 228923, 60*a + 35217 = 62*a - d. Is 113 a factor of a?
False
Let v(z) = -1572*z - 2003. Is v(-6) a multiple of 23?
True
Let b(d) = d**2 + 5*d - 3. Let u be (-35)/15 - -3 - (-17)/(-3). Let y be b(u). Let w = y - -15. Does 6 divide w?
True
Let j(y) = -y**2 - 5*y - 10. Let z be j(-6). Let a(i) = -2*i**2 - 31*i + 19. Let b be a(z). Suppose 4*k - 27 = 4*s + 89, b*k = -2*s + 112. Is 3 a factor of k?
False
Suppose -21*u = -22*u + 2*j + 144, j = -5*u + 742. Does 4 divide u?
True
Suppose 19*y - 42148 = -3369 + 60572. Does 6 divide y?
False
Let t = 297 + -297. Suppose t = 2*h - 4*h + 1116. Is 17 a factor of h?
False
Suppose 0 = 7*h - 6*h + 7. Let n(g) = g + 7. Let i be n(h). Suppose p + 28 - 71 = i. Is p a multiple of 21?
False
Let t be 440/45 - (-4)/18. Suppose q + d = t, -d + 34 = 3*q - 2*d. Let s(j) = j**3 - 9*j**2 - 7*j - 1. Is 19 a factor of s(q)?
False
Let r(y) = 3*y**2 - 63*y + 1152. Does 21 divide r(36)?
True
Let i = 175 + -334. Let w = -115 - i. Is w even?
True
Let u(x) = -63*x**3 - x**2 + 7*x. Let j be u(-3). Let t = 2779 - j. Is t a multiple of 92?
False
Let y be ((-200)/12)/(2/(-18)). Let q = y - 10. Is 16 a factor of (144/(-45))/((-2)/q)?
True
Let r(m) = -3*m**2 + 1 - 3*m**2 + 7*m**2 + 21*m - 5*m**2. Let x(y) = y**2 - 5*y. Let z(h) = 2*r(h) + 9*x(h). Is 3 a factor of z(6)?
False
Let h = 12547 - 11556. Is 4 a factor of h?
False
Let l = -1112 - -2161. Let c = -611 + l. Is c a multiple of 32?
False
Suppose -12473 = 10*x - 34573. Is 26 a factor of x?
True
Suppose 0 = -4*h + 4*n + 14668, 2*h - 10*n - 7334 = -5*n. Suppose 4*r - 2942 = -z, 6*r - h = r + 4*z. Is r a multiple of 15?
True
Let i = 23106 - 18996. Is 6 a factor of i?
True
Is -23842*((-5)/(350/148) - 2/(-5)) a multiple of 52?
True
Let i be 4/14 - 52/(-14). Let u be 45/(-12)*392/(-6). Suppose -2*t - 2*t + 220 = -4*o, i*t + o = u. Is t a multiple of 10?
True
Let c = 55 - 20. Let l = -33 + c. Suppose 4*s - 100 = 3*t, 2*t + l*t = 16. Is s a multiple of 10?
False
Let o(b) = 5*b - 31*b**2 + b**3 - 3 + 18*b**2 + 11*b**2. Is 2 a factor of o(2)?
False
Let n(s) = -3*s**2 - 317*s - 1026. Does 22 divide n(-82)?
True
Let l(z) = -4*z**2 + 26*z + 3. Let u be l(5). Suppose 3*v = -u*j + 38*j - 2225, -5*v = 25. Does 14 divide j?
False
Let r(g) = -g - 38. Let o be r(10). Let s = o + 54. Does 34 divide (-212)/(-12)*(0 + s)?
False
Let o(t) = -3*t - 32. Let c be o(-14). Suppose 0 = c*p - 5*p - 10. Suppose -4*a - 3*s = -3 - 53, 0 = p*a - 3*s - 46. Is 6 a factor of a?
False
Let n be (1/(-1) + (-47)/2)*-8. Suppose -3*f + 0*f = 5*i - 595, -f + n = 4*i. Is f a multiple of 14?
False
Suppose -5*z + 1050 = -t, -z - t + 210 = t. Let l = 34 - 19. Suppose 12*p + z = l*p. Is 14 a factor of p?
True
Suppose 34*w - 48*w = -2296. Let d = w - -124. Is 18 a factor of d?
True
Let q = 7263 - 2197. Does 19 divide q?
False
Suppose 0 = -41*a + 34*a + 28. Suppose -563 - 371 = -3*v - 4*x, a*v + x - 1228 = 0. Is 17 a factor of v?
True
Suppose 18*u - 653 + 167 = 0. Let g = 5 + -5. Suppose g = -6*v + u + 3. Is v a multiple of 2?
False
Let o(n) = -2*n**2 - 45*n - 60. Let t be o(-21). Suppose -25*h + 24*h = t*r - 495, 2*h - 165 = -r. Is r a multiple of 11?
True
Let g(r) = -5*r**3 - 30*r**2 + 32*r + 77. Does 32 divide g(-21)?
True
Suppose 0 = n - 4*q - 2980 - 6416, n = -3*q + 9424. Does 12 divide n?
False
Let x(u) = u**3 + 3*u**2 - 6*u + 4. Suppose g = -3*g. Suppose 4*i - 3*i - n - 2 = g, 4*i + 4*n + 32 = 0. Is 21 a factor of x(i)?
False
Let i = 5515 + 2647. Is 53 a factor of i?
True
Suppose 193*t - 192*t = -56. Is 34 a factor of (-2550)/20*t/10?
True
Let h = -37 + -11. Let m = h - -51. Let j(q) = 4*q**3 - 2*q**2 - q - 8. Does 8 divide j(m)?
False
Suppose 0*q + 2*q + 3*f = -21, -2*q + 4*f = 0. Let g(w) = 9*w - 4*w + 72 - w - 18*w - 15*w. Is g(q) a multiple of 38?
False
Let h(t) = 3*t**3 + 2*t**2 - 5*t - 9. Suppose 