5 = j. Is 98 a factor of a?
True
Suppose -s + 1 + 312 = 0. Is 5 a factor of s?
False
Suppose -41*s + 58087 - 3147 = 0. Is s a multiple of 10?
True
Suppose 41*g = 28*g + 1521. Does 3 divide g?
True
Let b(s) = -s - 3. Let o be b(-5). Suppose -30 = -0*v + o*v. Is 7 a factor of ((-56)/(-10))/((-6)/v)?
True
Let s(o) be the third derivative of -1/120*o**6 + 0*o - 7/60*o**5 - 5/12*o**4 - 6*o**2 - o**3 + 0. Does 6 divide s(-6)?
True
Let q(r) = -11*r + 9. Let k be q(1). Does 24 divide (6/9)/(k/(-576))?
True
Let a = -64 - -52. Let v(m) = m**2 - 15*m + 4. Let n be v(6). Let r = a - n. Is 24 a factor of r?
False
Let n = 20 - -21. Suppose 2*c - 3*t = -137 + n, -4*c = -t + 212. Let r = -34 - c. Is 5 a factor of r?
True
Is 4/(-3)*16200/(-40) a multiple of 62?
False
Let g = 73 + 89. Is 7 a factor of g?
False
Suppose 5*d - 5*g - 1306 = -4*g, 2*d + g = 521. Suppose 4*t - d = t + 4*w, -3*t + 270 = -w. Is t a multiple of 13?
True
Let w(c) = 2*c**3 - 17*c**2 - 25*c - 24. Is w(11) a multiple of 30?
False
Suppose -5*b + 1 = 3*u, u = 2*b - 3*b + 1. Suppose 5*k + u*k = 476. Is 13 a factor of k?
False
Let q be 20*(1 - (-6)/(-10)). Suppose 2*o - q = -y, -2*o + 5*o - 2*y = 5. Suppose -o*w = -a - 134, -2*w + 3*a + 5 + 75 = 0. Is 10 a factor of w?
False
Suppose -8*f - 8*f = 16. Let r(g) = -20*g**3 + g**2 + 5*g + 4. Is r(f) a multiple of 2?
True
Let u(f) = -4*f**3 - f**2 - 1. Let p be u(-2). Let k = -24 + p. Suppose -6*r = 3*g - 9*r - 60, -k*g + 84 = 3*r. Is g a multiple of 19?
False
Suppose 5*s + 245 = -5*i, -i + 0*i + 269 = -5*s. Let y = s - -94. Is 5 a factor of y?
False
Is 6 a factor of 300/2 - 6/(24/(-12))?
False
Let l(j) = -2*j**3 + 11*j + 8. Suppose 12 = -4*a, a = -k + 2*k + 1. Is 23 a factor of l(k)?
True
Let q = 7 - 5. Suppose 3*a + 0 - 1 = -q*c, -4*a + 6 = 5*c. Let m(k) = 20*k - 1. Is m(c) a multiple of 12?
False
Suppose 2 = 5*h - 3*h + 2*x, 3*x = -15. Let q = h + -8. Does 3 divide q/(8/(-12) - 0)?
True
Let g(y) = y**2 + 4*y + 7. Let f be g(-2). Suppose -f*n = n - 720. Is 30 a factor of n?
True
Let t = -92 - -92. Suppose t = o - r - 173, r = -5*o + 3*r + 856. Is o a multiple of 22?
False
Let n be -2*9/6 + (-2 - -1002). Suppose 0 = -5*d - 117 + n. Is d a multiple of 17?
False
Let o(a) = -2*a - 47. Let v(l) = -l - 31. Let r(p) = -5*o(p) + 8*v(p). Let i be r(9). Suppose 0 = 3*u - 2*z - 28, -7 - i = -u - 2*z. Is u a multiple of 5?
True
Suppose 2*i = u + 3*i - 1257, 0 = 5*i. Does 49 divide u?
False
Let d be 105/(-6) + (-4)/(-8). Let v be (-5 + d)*(-1)/2. Let x = v + -4. Is 3 a factor of x?
False
Let y = -76 + 142. Suppose 3*g - 77 - y = -4*h, 0 = 3*g + 3*h - 147. Is 12 a factor of g?
False
Suppose -277*h + 278*h = 218. Does 4 divide h?
False
Suppose -5*n = -4*n + u - 23, 0 = 3*n + 2*u - 69. Suppose 31*k = n*k + 2088. Is 14 a factor of k?
False
Let w = -4 + 8. Let f be ((-8)/3)/w*-3. Suppose f*x + 72 = 4*x. Is x a multiple of 18?
True
Let o = -92 - -203. Let d = o + -63. Does 8 divide d?
True
Let y = -76 + 168. Suppose o + 4*t - t = 29, 0 = 3*o + 4*t - y. Does 16 divide o?
True
Suppose 684 = -2*i + 1620. Does 10 divide i?
False
Let d(y) = 2*y - 5. Let c be d(8). Let q(n) = 6*n - 26. Let g be q(c). Let w = g + -5. Is w a multiple of 21?
False
Suppose -7*q + 4 = -5*q, -q + 727 = 5*m. Is m a multiple of 5?
True
Let h = 157 - 91. Suppose m + 2 = -3*n, -2*m - 3*m + 4*n = -h. Does 26 divide ((-6)/m)/(16/(-2160))?
False
Suppose -8*i + 3241 + 6503 = 0. Does 35 divide i?
False
Suppose -10*n - 16 = -18*n. Suppose 115 = n*f - 2*w - 193, 4*f = -4*w + 632. Does 26 divide f?
True
Suppose -36*n = 4*n - 19600. Does 35 divide n?
True
Suppose 2*y - 61 - 15 = 0. Suppose 4*n = 12*n - 24. Suppose h - n*h = -y. Is 19 a factor of h?
True
Suppose 0 = 6*z - 8*z + 6. Suppose 8*d - 3*h - 7 = 4*d, -4*h - 8 = -5*d. Suppose 3*y + 40 = d*t, -2*t + 0*y + 20 = -z*y. Is t a multiple of 5?
True
Let c(p) = -34*p + 23. Let s be c(-13). Suppose 0 = 3*f + a - s, 0*f = -f + 2*a + 148. Does 14 divide f?
True
Let r(a) = a**3 + 73*a**2 + 4 + 81*a**2 - 153*a**2. Is r(3) a multiple of 10?
True
Suppose -m = 2*m. Suppose 9*x - 5*x + 2336 = m. Is 15 a factor of (-8)/36 + x/(-36)?
False
Let s(c) = 21*c**2. Suppose g + 12 = -5*x + x, -x = 5*g + 22. Does 14 divide s(x)?
True
Let w be 2/(2 + -1 - 2). Let z be (7/14)/(1/w). Is (-4 + 2)*z + 52 a multiple of 27?
True
Suppose -6*s + 63 = 3*s. Is s*((-225)/(-21))/5 a multiple of 14?
False
Let r(z) = 153*z**2 - 28*z + 56. Is 34 a factor of r(2)?
True
Suppose 14*y = 187 + 3593. Does 45 divide y?
True
Let h(b) be the second derivative of -b**7/840 + b**6/72 + b**5/20 + b**4/6 + 7*b**3/6 + 2*b. Let s(p) be the second derivative of h(p). Is 17 a factor of s(5)?
True
Let q = 41 - 9. Let t = -120 + 120. Let n = q + t. Is n a multiple of 8?
True
Let d(l) = -l**3 - 10*l**2 + 7*l - 2. Suppose 0 = -3*r + p - 36, -19 + 72 = -4*r + 3*p. Does 7 divide d(r)?
True
Let k = -216 - -312. Does 12 divide k?
True
Let y be (-746)/(-14) - (-8)/(-28). Suppose -y - 283 = -4*f. Suppose 0 = 2*n - 0*n - f. Is 6 a factor of n?
True
Suppose -3*r - 174 = -5*m, 0*r = -5*m - 4*r + 153. Is 33 a factor of m?
True
Let s be (-1 + -1)*351/2. Let i be (-6)/(-15) - 168/(-30). Does 13 divide ((-8)/12)/(i/s)?
True
Let q = 1 - 4. Suppose -21 = 2*z - 35. Let d = z - q. Is d a multiple of 10?
True
Suppose 1126 - 298 = 2*c - 2*l, 819 = 2*c + l. Is 62 a factor of c?
False
Suppose -4*q + 11*q - 119 = 0. Suppose q = 2*j - 11. Does 2 divide j?
True
Suppose 15 = -5*b, -5*i - 3*b + 4*b + 15708 = 0. Does 10 divide i?
False
Let u(l) = l**3 + 11*l**2 - 3*l + 12. Let p(o) = o**2 + 11*o - 11. Let v be p(-11). Is u(v) a multiple of 38?
False
Suppose -t - 3*w + 200 = 0, t = 2*w + 81 + 99. Is t a multiple of 3?
False
Let h(m) = -643*m**2 - 4*m - 2. Let j be h(-1). Let g = -441 - j. Is g a multiple of 20?
True
Suppose 4*s - 4*c - 492 = 0, 11 = -3*c + 5. Does 2 divide s?
False
Let f(z) be the first derivative of 32*z**3 + z**2 + 2*z + 4. Does 24 divide f(-1)?
True
Let s = 18 + -24. Let p(u) = u + 2. Let r be p(s). Let c(n) = -n**3 - 3*n**2 + n - 4. Does 4 divide c(r)?
True
Let b(h) = -19*h + 249. Is 19 a factor of b(-27)?
False
Let s = 47 + -26. Let i = -57 + 53. Let n = s - i. Is 5 a factor of n?
True
Suppose 2*k + 865 = 7*k. Does 25 divide k - (-1 - 3 - -2)?
True
Let p = 955 + -713. Is p a multiple of 17?
False
Let z be ((-180)/(-27))/(-1 - 5/(-3)). Suppose -11*g + z*g = -29. Is 5 a factor of g?
False
Let f be (22/4)/((-3)/36). Let m = 113 + f. Does 7 divide m?
False
Suppose -8*t + 10102 = -12362. Is 95 a factor of t?
False
Let z(f) = -4*f**3 + 8*f**2 + 45*f + 12. Is 6 a factor of z(-5)?
False
Suppose -o - 3 = -2*o. Suppose -o*f - 36 = -5*f. Is f a multiple of 14?
False
Suppose 9 = 4*z + 1. Suppose -39 = -k - z*k. Does 8 divide k?
False
Suppose 3*t = 3*x + 18, -3*t + x - 8 = -24. Suppose 5*y + t*a + 0 = 10, -4*a - 8 = -4*y. Suppose y*k = 4*k - 56. Is 9 a factor of k?
False
Let n = 376 + -372. Does 4 divide n?
True
Suppose o + 11 = 2*b, -2*b + 0*b - 5*o = 7. Suppose -b*r + 722 = 5*p, -4*r + 2*p = -42 - 666. Is r a multiple of 20?
False
Let s(l) = -31*l**2 - 1. Let u be s(1). Let g = 47 + u. Is g a multiple of 7?
False
Let r be -3 + 71/(-4 - -5). Is 9 a factor of r - 3*(-8)/12?
False
Suppose 3*y - 552 = 15*l - 17*l, 2*l = 2*y - 368. Is y a multiple of 11?
False
Let k(v) = 13*v**2 + 9*v - 12. Let l be k(10). Suppose 4*c = -5*o - 1132, 5*c - 2*o + l = o. Does 14 divide c/(-5) + 2/5?
True
Let a(z) = z**2 + 5*z + 17. Let f(p) = p - 22. Let b be f(15). Is 14 a factor of a(b)?
False
Let i be 4/((-3)/(12/(-8))). Suppose 3*x = i*x + 90. Let n = -33 + x. Is n a multiple of 22?
False
Let y(p) = p**3 - 8*p**2 + p - 5. Let f be y(8). Suppose 15 = 2*u + f*u. Suppose u*k - 138 = -r, 4*k + r - 5*r = 200. Is 14 a factor of k?
False
Suppose -34374 = -76*r + 42*r. Is 35 a factor of r?
False
Suppose 27*h - 84*h + 38703 = 0. Is 73 a factor of h?
False
Suppose -5*i + 10*i - 15 = 0. Suppose i*x - 2*k - 368 = 0, -k + 398 = 3*x + 3*k. Is x a multiple of 33?
False
Let s(k) = 14*k + 13. Let r(z) = 9*z + 9. Let v(i) = -8*r(i) + 5*s(i). Let m be v(-5). Suppose 0*f = 2*x - 4*f + 6, m*f - 2 = 2*x. Is x even?
False
Let q(x) = x**2 + 12*x - 97. Is q(-18) a multiple of 2?
False
Suppose -6 + 2 = w + 3*s, -s = 2. Suppose -8*g - w*c + 838 = -3*g, 4*c = 4*g - 676. Does