. Suppose z*i = -85 + 232. Is 21 a factor of i?
True
Let x(d) = 2*d**2 - 17*d + 129. Is x(-22) a multiple of 2?
False
Let k(u) = 6*u + 4*u + 0*u**2 + 2*u**2 - 14 - 12*u. Let a be k(12). Suppose a = 4*m + 34. Is 7 a factor of m?
False
Suppose 0 = 28*w - 33545 - 31051. Is w a multiple of 31?
False
Let l(u) = -7*u + 126. Let i be l(17). Does 3 divide (-272 + 2)*((-105)/25)/i?
True
Suppose -2*x + 10 = 0, 52 = -4*q + 5*x + 7. Let n be 4/(-20)*q/(-2)*-186. Let u = 99 + n. Does 29 divide u?
False
Suppose -5*w + 1364 = 4*c - 8336, 0 = -3*c + 2*w + 7252. Does 121 divide c?
True
Let d = -5640 - -10428. Is 18 a factor of d?
True
Suppose x = -s + 15541, 91087 = 5*s + x + 13358. Is 29 a factor of s?
False
Let g(r) = 5*r**2 + 53*r - 23 + 13*r - 96 - 7*r**2. Does 61 divide g(30)?
True
Suppose 3*m - 3*a + 230 = -1120, 4*m - a = -1806. Is 10 a factor of 2/((-28)/(-7) + 1806/m)?
False
Let s = 805 - 766. Suppose -2506 = -s*q + 302. Does 8 divide q?
True
Let p be (11/(-33))/((-1)/15). Suppose -4*j - 209 = -5*f, 0 = -p*f + 7*f + 4*j - 106. Is f a multiple of 3?
True
Suppose -2*u = u - 45. Suppose 4*n - 9*n + 479 = 2*i, 3*n = -u. Is 28 a factor of i?
True
Let g(d) = d**3 - 5*d**2 - 7*d + 10. Suppose 5*r + 2*s = -s + 45, -3*r = s - 23. Let j be g(r). Suppose 0 = 3*u + 12, -j*x - x + 320 = 5*u. Does 34 divide x?
True
Suppose 10*a = 7*a + 318. Let l = 158 - a. Let o = l + -22. Is o a multiple of 8?
False
Suppose 0 = -c - 5, 16*u - 12*u - c = -4803. Let a = u - -1775. Does 18 divide a?
False
Suppose -750*z + 748*z = -c - 89207, 2*z + 3*c - 89203 = 0. Is 13 a factor of z?
True
Suppose -21960 = 86*a - 94*a. Does 9 divide a?
True
Let n(c) = 100*c - 943. Let d be n(10). Let o(u) = -u**3 + 1. Let b be o(-2). Suppose q - 2*j = 3*j + b, -2*q + d = 3*j. Is 8 a factor of q?
True
Suppose -2*d + 1040 = -4*o, -2*d = -4*o + 3*o - 1025. Suppose d = 2*j - 4*n, -2*n = -10 + 4. Does 6 divide j?
False
Let d = 46 + -41. Suppose -3*n = 2*b - 142, 2*n + d*b - 102 = -0*n. Suppose -48*f = -n*f - 72. Is 12 a factor of f?
True
Suppose 4*q + 135636 = 4*g, 5*g - 167099 - 2390 = -3*q. Does 23 divide g?
True
Let u(z) = 2*z + 14. Let v be u(-7). Let g(w) = w**2 - w + 30. Let b be g(v). Is 48 a factor of (192/10)/(7 + (-207)/b)?
True
Suppose -2*g - 2 = 0, 4*p - 49 = -6*g + 7*g. Suppose 4 = -4*w + p, -322 = -k + w. Is 20 a factor of k?
False
Suppose 236*t = 241*t - x - 114811, -2*t + 45930 = x. Is t a multiple of 47?
False
Let i be 9/(135/110) - 2/(-3). Does 10 divide ((-12)/(-9))/(i/216)?
False
Suppose -381 = -8*s - 37. Let a = s + -74. Let c = 16 - a. Is 7 a factor of c?
False
Suppose -1144 = 2*o + 4*m, -23*o + 21*o = -4*m + 1160. Let t = o - -851. Is t a multiple of 28?
False
Let t(s) = 163*s - 8. Let m(q) = 163*q - 10. Let x(p) = -2*m(p) + 3*t(p). Does 41 divide x(4)?
False
Let x(y) = 4*y + 9. Suppose -2*b + 0*b = -6. Let g be x(b). Let t = g + 20. Does 41 divide t?
True
Suppose 39*z + 64*z - 123*z = -225360. Is 16 a factor of z?
False
Let c = -165 - -477. Let b be 1/(-1*(-3)/15). Suppose -g = b*g - c. Does 13 divide g?
True
Let v(x) = x**3 - 6*x**2 + 7*x - 6. Let u be v(5). Suppose 4*b = u + 16. Suppose -q + 63 = 3*l, 0 = -b*q - 3*l + 211 + 128. Is 12 a factor of q?
False
Let a(m) = 2 - 3 - 4*m**2 + 2*m**2 - 54*m**3 + 3*m**2. Suppose -948*o + 946*o = 2. Is a(o) a multiple of 8?
False
Let d(r) = -r**2 - 20*r - 46. Let w be d(-17). Suppose w*s + 2*x = 31, -x = -s - 0*x + 2. Suppose 2*m - 6 = -m, 2*h - s*m = 24. Is 17 a factor of h?
True
Let y(h) = h**2 - 5*h - 27. Let x be y(-3). Is 17 a factor of ((-5)/((-100)/144))/(x/(-10))?
False
Let d(b) = 14*b + 132. Let w be d(32). Suppose 4*m = 1380 + w. Is m a multiple of 19?
False
Suppose 3*v + 65487 = 8*v - 2*u, 13083 = v + 2*u. Is 135 a factor of v?
True
Suppose 4*m - 16 = 4*a, m = 4*a - 8 + 24. Suppose 38*g - 35*g - 1008 = m. Is 21 a factor of g?
True
Let j(n) = -n**2 - 38*n - 329. Let x be j(-25). Let a = 41 + -5. Is 27 a factor of 80/3 - 3*x/a?
True
Let b = -76 + 78. Let o(z) = 0*z**2 - 1 + b*z - z**2 + 8 + 8*z. Is 5 a factor of o(8)?
False
Is 14 a factor of 331 - (4/(-14) + 66/(-14))?
True
Let c be ((-42)/(-2))/3*3/3. Let o(w) = 78*w**2 - 6 - 2 + c + w. Is o(1) a multiple of 13?
True
Let v(q) = 7*q + 7. Let h(x) = -8 - 9 - 4 + 20. Let u(z) = 2*h(z) - v(z). Does 19 divide u(-4)?
True
Let j(r) = -2*r**3 + 5*r**2 - 51*r - 41. Is 79 a factor of j(-18)?
False
Let f(l) = -130*l + 5573. Is 15 a factor of f(30)?
False
Let h(m) = -2*m**3 + 45*m**2 + 70*m + 6. Let d be h(24). Let v(s) = -2*s - 6. Let p be v(6). Let g = p - d. Is 12 a factor of g?
True
Suppose 28*z + 1199 = 182107. Is 9 a factor of z?
False
Let s = 209 - 214. Does 23 divide -184*((-4 - s) + (2 - 4))?
True
Let f be (2 - 8872/(-14)) + (-2)/(-7). Let w = f - 328. Is w a multiple of 9?
False
Let r(m) = 2*m**3 - 2*m**2 + 110*m - 1085. Does 9 divide r(11)?
False
Suppose 49*r - 13*r - 69992 = -16*r. Does 35 divide r?
False
Let i(q) = q**2 + 11*q + 27. Let b be i(-8). Suppose -b*y = -3*a + 135, 4*a - 6*y = -y + 177. Does 38 divide 1216/a*3/2?
True
Suppose 0 = 22*n - 34*n + 2568. Suppose 934 = 16*f + n. Is f a multiple of 13?
False
Suppose -s + 3*n = -5367, -15*s + 26885 = -10*s - 5*n. Is s a multiple of 11?
False
Let u be (7 - 8) + -2 + 8. Suppose -u*j + 3*t - 140 = 0, -j - 37 = j - 5*t. Let o = -27 - j. Is 2 a factor of o?
True
Does 165 divide (2/1)/((-347)/(-114510))?
True
Suppose -3969*o = -3955*o - 113624. Does 2 divide o?
True
Let h be (-4)/(-26) + (-4188)/(-156). Let p = 12 - h. Let d(i) = -2*i - 4. Is 23 a factor of d(p)?
False
Let a = 43 - 40. Let l(i) = 2*i - 6. Let s be l(3). Suppose s = w + 5*u - 12, 8 = 3*w - a*u - 100. Is w a multiple of 5?
False
Suppose -44 = 2*q - 6*q - 5*v, 0 = -2*q + v + 8. Suppose -q*c + 3549 = 1011. Suppose -4*j + 2*w + 336 = 0, c = 5*j + 8*w - 9*w. Is j a multiple of 17?
True
Let t = 30 - -15. Suppose -28*y = -27*y - t. Is y a multiple of 2?
False
Let a be (-9360)/1548 - 4/(-86). Let k(d) = 31*d + 53. Let f(v) = 1. Let g(y) = -2*f(y) - k(y). Is 32 a factor of g(a)?
False
Let b = 1342 + -783. Suppose 0 = -h - 484 + b. Is h a multiple of 2?
False
Let j(y) be the second derivative of 29*y**3/2 + 4*y**2 - y. Does 14 divide j(3)?
False
Let f(a) = 232*a + 228. Let l(c) = 461*c + 456. Let w(p) = 5*f(p) - 3*l(p). Is w(-6) a multiple of 30?
True
Let p(y) = -1. Let g(m) = -30*m + 12. Let d(k) = g(k) + 10*p(k). Let s be d(2). Is (-8)/2 + (6 - s) a multiple of 6?
True
Suppose -971 = -5*b + 499. Suppose 4*i - u = 232 + 150, 3*i = -3*u + b. Does 16 divide i?
True
Let z(i) be the first derivative of 2*i**3/3 - 4*i**2 - 42*i - 196. Does 46 divide z(20)?
True
Let q(p) = -85*p - 45. Let z be -7*(-3 - -4) - 2. Is 68 a factor of q(z)?
False
Does 114 divide 27/(-12)*2527/(-21)*(-8 + 24)?
True
Let v be ((-16)/(-20) - 6/15)*15. Suppose 4*j - 4 = v*j. Does 4 divide (-1 - -2)/(j/(-58))?
False
Suppose 57044 = 22*g - 51262. Is 22 a factor of g?
False
Let c = -9320 + 12824. Does 7 divide c?
False
Let i(q) = -119*q**3 + 1. Let l(s) = 2*s**2 + 15*s + 14. Let m be l(-6). Let o be ((-6)/m)/(3/(-2)). Does 15 divide i(o)?
True
Let l = -46 - -821. Is 5 a factor of l?
True
Let a(x) = -79*x**3 + 2*x + 1. Let n be ((-38)/(-6))/(2/(-24)). Let u = 75 + n. Does 13 divide a(u)?
True
Let b = -12016 + 15232. Is 8 a factor of b?
True
Does 3 divide 3415 + (-9 + 16)*5/7?
True
Let i be 5/7 + -1 + 41924/28. Suppose -5*y = -i + 522. Does 39 divide y?
True
Let l(h) be the second derivative of 0*h**2 + 0 - 13/6*h**3 + 25*h. Is l(-1) a multiple of 13?
True
Suppose -59*q = -68*q + 2349. Suppose 2*n - 818 + q = -3*r, -1124 = -4*n + 4*r. Is n a multiple of 12?
False
Does 87 divide (-5*(-267596)/70)/(-2 + 4)?
False
Let x(l) = 102*l**3 - 22*l**2 + 90*l + 4. Is 70 a factor of x(4)?
False
Let b = 19845 + -11340. Is 63 a factor of b?
True
Let c(l) = 37*l + 1103. Is c(63) a multiple of 29?
False
Let h be (5/(5/(-34)))/(0 - 2). Let p(z) = -z**2 + 17*z + 2. Let s be p(h). Suppose 0 = -3*v + 58 + s. Is v a multiple of 10?
True
Let k = -1023 + 2219. Does 18 divide k?
False
Is 10 a factor of (0 - (-3)/2)/(12/16704)?
False
Suppose -1326 = k - 4431. Suppose 70*z = 65*z + k. Is 21 a factor of z?
False
Let h = 133 + -129. Suppose -5*w - 12 + 4 = -4*y, -h*w - 10 = -2*y. Does 10 divide (-56)/y*3/20*15?
False
Suppose -14 + 4 = -5*r