2/2 + 131*f. Is g(-3) a multiple of 22?
False
Suppose -18*k + 5642 = 16622. Let r = k - -1162. Is 14 a factor of r?
False
Let m(j) be the second derivative of 2/3*j**4 + 3*j**2 - 1/20*j**5 + 0 + 13/6*j**3 + 8*j. Does 5 divide m(9)?
False
Let k(f) = -f**3 - 5*f**2 + 4*f. Let j be k(-6). Suppose 0 = -q - 5*l + 28, -2 + j = 5*q - l. Suppose -q*d = 4*b - 240, 7 + 1 = -2*d. Does 10 divide b?
False
Let f = 10772 - 8472. Is f a multiple of 20?
True
Let t(q) = -q + 34. Suppose 3*v - 85 = -2*v + 2*j, 0 = 5*v - 3*j - 85. Does 2 divide t(v)?
False
Let x(t) = t**3 + 7*t**2 + 2*t - 21. Let z be x(-6). Suppose 5*m - 2030 = -3*j - 2*j, 1617 = 4*m - z*j. Does 18 divide m?
False
Is 58 a factor of (-224)/(-308) + 252624/33?
True
Let j(u) = 168*u**2 - 59*u + 218. Is 197 a factor of j(6)?
False
Suppose 1446 = 2*i - d, -3*i + 7*d - 3*d = -2184. Is i a multiple of 120?
True
Suppose -56*o + 160*o = 636971 - 72043. Does 64 divide o?
False
Let j be -2 - (-70*2)/(-5). Is (-184)/j + (-28)/210 a multiple of 5?
False
Let b = 124 + -124. Suppose -3*g - 832 = -7*g + 2*v, b = -g - 2*v + 218. Is g a multiple of 35?
True
Suppose 413*a = 416*a - 12. Suppose 2*h + 48 - 700 = -a*c, -3*h + 4*c = -998. Is 22 a factor of h?
True
Let a(d) = 190*d**2 - 5. Let t be a(-2). Suppose -35*f + 3030 - t = 0. Is f a multiple of 5?
True
Let z = -34 - -36. Let y(h) be the second derivative of 9*h**5/20 + h**4/12 + 2*h**3/3 - 3*h**2/2 + 7*h. Does 27 divide y(z)?
True
Let f(t) = t**3 - 13*t**2 + 12*t + 4. Let c be f(12). Suppose 2815 = 4*l - 6*g + 5*g, c*l - 2813 = 3*g. Is 18 a factor of l?
False
Let q = -31152 - -60247. Is 55 a factor of q?
True
Let d(k) = 113*k + 669. Is 2 a factor of d(-5)?
True
Suppose 0 = r + 3, -g = -2*g + 3*r. Does 10 divide (24/16)/(g/(-834))?
False
Suppose 324880 = -19559*v + 19564*v. Is v a multiple of 236?
False
Let o = -366 - -369. Let z(b) = 19*b**2 + 2*b - 15. Does 18 divide z(o)?
True
Suppose 0 = -14*u + 15*u. Suppose 3*j - y - 34 = 0, 4*j - 2*j - 2*y - 24 = u. Is 2 a factor of j?
False
Suppose 24 = -18*g - 174. Does 20 divide (g/4)/(2/(-40))?
False
Suppose 71*p + 1022448 = 139*p. Is p a multiple of 42?
True
Let z = -34387 + 69470. Is 361 a factor of z?
False
Suppose -5*r + 15 = 0, 333*n = 330*n - 5*r + 99315. Does 100 divide n?
True
Let n be 1/(-4) + 10602/72. Suppose 2*t = -t + n. Suppose 4*a + 4*r + t = 173, -2*r = -2*a + 70. Is 33 a factor of a?
True
Let m be 6*(-24)/(-1)*15/2. Let g = m + -723. Does 48 divide g?
False
Let j(h) = -h - 11. Let m be j(-5). Let o(c) = -c**3 - 4*c**2 - c + 23. Let d(y) = y**2 + y + 2. Let w(i) = 5*d(i) - o(i). Is w(m) a multiple of 20?
False
Let q(b) = b**3 - 9*b**2 + 5*b - 43. Let l be q(9). Does 5 divide -4 + ((-846)/(-9) - l)?
False
Let f(o) = 8*o - 15. Let g be f(1). Let r(t) = -t**3 - 6*t**2 - 6*t + 9. Is 24 a factor of r(g)?
False
Let d be 0/7 - -8 - -1909. Suppose -13*z = -40*z + d. Is 6 a factor of z?
False
Let n(p) = -p**3 - 2*p**2 + p + 20. Let o be n(0). Let x = 85 - o. Let t = x + -36. Is t a multiple of 29?
True
Let b(u) be the first derivative of u**4 + 34*u**3/3 + 2*u**2 + 19*u + 57. Is 5 a factor of b(-8)?
True
Does 45 divide (10514/56)/(8/32)?
False
Let p(m) = 6*m**2 + 315*m + 148. Let b be p(-52). Let v(t) = 20*t + 4 + 0*t**3 + t**3 + 7 - 17*t**2 - 4*t**3. Does 17 divide v(b)?
False
Is 137 a factor of (63/42)/(18/18156)?
False
Let p(f) = 11*f**2 - 140*f + 854. Is p(6) a multiple of 2?
True
Let t be (-4)/8 - 25/(-2). Let m = -88 - t. Let z = 212 + m. Is z a multiple of 14?
True
Let k = -646 - -897. Let d = 605 + k. Does 11 divide d?
False
Let q = -190 - -195. Suppose 2*c - q*j = 203, -9*c + 4*c - 5*j = -525. Is 2 a factor of c?
True
Let u(k) = -3*k**2 - 35*k - 7. Let g be u(-11). Suppose -10*w = -15*w + g. Suppose 440 = 4*x - 5*h, -w*x + 6*x - 2*h - 323 = 0. Is 21 a factor of x?
True
Suppose -o = 3*m - 6*m + 50, 3*o - 12 = 0. Suppose -4*j = 2*j - m. Suppose 5*h - 464 = -3*k, 3*k + 2*h - j*h = 458. Is 20 a factor of k?
False
Let z = -259 - -262. Let u(o) = 20*o**2 - 6*o + 38. Is u(z) a multiple of 8?
True
Let p(l) = -l**3 + 8*l**2 + l - 22. Let w be (-4)/(-6)*7*9/6. Does 17 divide p(w)?
True
Suppose -3805 - 13323 = -8*z. Suppose -z = -5*g + 2*p, 3*g - p = -173 + 1458. Does 39 divide g?
True
Let n(s) = 28*s**2 + s - 6. Let l be 3 + 106/(-14) + (-52)/(-91). Is n(l) a multiple of 24?
False
Suppose -3*w - 1221 = 3*d, 2*d - d = 5*w - 413. Let g = 670 + d. Let t = 57 + g. Is t a multiple of 29?
True
Suppose 5*g - 55 = -225. Let f = -206 + 264. Let j = g + f. Is 6 a factor of j?
True
Suppose 33*n = 32*n - 90. Does 18 divide 6/(-9) - 6/(n/1225)?
False
Let l = -63 - -337. Suppose -191 = -3*n + l. Is 9 a factor of n?
False
Let z = 2947 - 2172. Does 39 divide z?
False
Is (-1000)/(-125) - (-1882 - 0) a multiple of 90?
True
Let f(y) = 70*y**3 - 3*y**2 - 11*y + 18. Let u be f(2). Let r = -4 + 7. Suppose 4*s + s - u = -r*c, -5*c + 320 = 3*s. Is s a multiple of 22?
True
Suppose 0 = -3*q + 20*h - 23*h - 3, -7 = -2*q - 5*h. Let l be (-21)/(-2) - (-51)/(-34). Is 19 a factor of q/(-12)*l + 54?
True
Let t be ((-75)/(-6))/((-131)/22 - -6). Suppose 1155 - t = 2*p. Is p a multiple of 10?
True
Let g(t) = -5*t - 30. Suppose -4*c = -5*r - 64, 0 = 5*r + 2*c + 57 + 1. Let w be g(r). Suppose 2*f + f - w = 0. Is f a multiple of 2?
True
Suppose 70 = 3*r + 13. Suppose 0 = r*m - 21*m + 768. Is 24 a factor of m?
True
Let a be (-13)/(-3) - ((-6)/9 - 0). Suppose 4*g - 460 = -4*i, 0*g = a*i - 4*g - 602. Does 71 divide i?
False
Suppose 3*o + 141 = 222. Does 39 divide ((1 - o) + -3)*-17?
False
Suppose -3*k + 4*l + 1862 = -0*k, -5*k + 2*l = -3108. Suppose 0 = 2*y - 74 - k. Suppose -10*z + 4*z = -y. Does 29 divide z?
True
Let g = 29 + 117. Suppose 0 = 3*b - 5*y - g, 27 + 40 = b + 2*y. Let z = b + 6. Is 21 a factor of z?
True
Let j(q) = -63*q + 6275. Does 35 divide j(62)?
False
Let u(j) = j**2 - 13*j + 40. Let r be u(8). Suppose r = -12*v + 6*v + 1254. Suppose v + 676 = 5*a. Does 21 divide a?
False
Let v(u) = 9*u**2 + 575*u - 559. Does 21 divide v(-77)?
False
Let i = 2379 + -1551. Is i a multiple of 12?
True
Suppose -35*w = -32*w - 207. Let q = w + -31. Is 2 a factor of ((-5)/50*-5)/(1/q)?
False
Suppose 11*y = 43946 + 82139 - 14941. Is y a multiple of 24?
True
Is 3 a factor of 6/(-14) + 43/((-903)/(-22080))?
False
Let j be (-9)/((-2 - 0) + 1). Let m(q) = -6*q + 32. Let c(x) = -5*x + 30. Let s(z) = 5*c(z) - 4*m(z). Is s(j) a multiple of 10?
False
Suppose -7*j = -2*j - 40. Suppose -7*v + 5*v = -j. Suppose 5*c - v*c = 66. Is 6 a factor of c?
True
Suppose -718 + 662 = -2*a. Does 16 divide a/(-42) + 1832/3?
False
Suppose -2*n + 756 = -24. Suppose 0 = -53*b + 47*b + n. Does 22 divide b?
False
Let j(d) = 24 + 2*d + d**2 - 9 - 10 - 10. Let l be j(0). Is l/15 - 469/(-3) a multiple of 10?
False
Is (-1 - (-1 + 2536))/(-4*7/98) a multiple of 28?
True
Suppose -8 = -7*s + 13. Let d(l) = l**3 + 3*l**2 - 4*l - 3. Does 36 divide d(s)?
False
Let w(l) = -33*l**3 + 2*l + 1. Let n be w(-1). Suppose -10*d - 2 = -n. Suppose 4*m = 5*v + 379, -d*m + 5*v - 2*v + 285 = 0. Is m a multiple of 11?
False
Let y be 0*(-1 + (-2)/(-1)). Suppose 4*o + n = -n + 168, y = -4*n - 16. Let a = o - 22. Is 2 a factor of a?
True
Let s(w) = 6*w**3 + 6*w**2 - 5*w + 54. Is s(6) a multiple of 32?
True
Let c be (-9)/(10/(5170/(-33))). Let z(t) = -15*t**2 - 3*t - 2. Let j be z(-3). Let v = c + j. Is v a multiple of 3?
False
Let a = -35380 - -65730. Is 50 a factor of a?
True
Suppose q - 4 = -0*q. Suppose -478 = -q*a + 214. Does 21 divide a?
False
Let g(z) = 2*z**2 - 3*z - 7. Let h be g(3). Suppose 108 = h*o + 6. Suppose 0 = -2*r - v + 113, o = -4*r - 5*v + 286. Does 11 divide r?
True
Suppose 313578 = -51*n + 422946 + 493401. Is 34 a factor of n?
False
Suppose 27 + 20 = -4*q - 3*a, -3*q - 3*a - 39 = 0. Let t be -2*(-4)/q*-2. Is 5*((-672)/(-20))/t a multiple of 14?
True
Let u be (28/12)/(1/3). Suppose -15 = -4*o - u. Suppose 2*t - 1076 = -4*q, 0*q - 5*t = -o*q + 550. Does 30 divide q?
True
Let l(h) = 12*h + 26*h + 20*h - 4. Let j be (2/4)/(11/66). Does 34 divide l(j)?
True
Let q(o) = 2*o**3 - 3*o**2 + 3*o - 5. Let v be q(2). Suppose 5*p + v*p = 1050. Let m = p + -63. Is 5 a factor of m?
False
Let u(b) be the third derivative of -43*b**6/120 + b**5/30 + 7*b**4/24 + b**3 - 30*b**2. Does 8 divide u(-2)?
True
L