g(-21). Does 49 divide f(r)?
False
Let l(w) = 7*w**2 + 23*w - 6. Let j(a) = -13*a**2 - 46*a + 9. Let q(y) = -6*j(y) - 11*l(y). Does 9 divide q(10)?
True
Let f(k) = 1806*k + 3239. Is 3 a factor of f(6)?
False
Let c be ((-1 - 0)*2)/((-31)/62). Let g(s) = 3*s**3 - 3*s**2 + 4*s + 1. Let q be g(c). Suppose -q = -2*u + j, 2*u + 2*j = 165 - 1. Does 28 divide u?
False
Let x(c) = 16*c**2 - 36*c + 86. Does 9 divide x(-16)?
False
Suppose -5*j + 905 = -2*p, 3*j + 1750 - 382 = -3*p. Let f = 934 + p. Is f a multiple of 10?
False
Let b = 7 - 3. Let p = b - -1. Suppose -p*v - 4*v + 342 = 0. Is 19 a factor of v?
True
Let i = -158 - -176. Let o(w) = 7*w + 54. Does 20 divide o(i)?
True
Let i = -594 - -581. Is 19 a factor of i/(26/(-102)) - -6?
True
Let f(k) = 107*k - 1042. Is f(27) a multiple of 33?
False
Suppose 0 = -2*s - 4*o + 26, 2*o - 31 = -2*s - 3*o. Suppose f + 1341 = 4*f - s*h, -4*h + 432 = f. Is 18 a factor of f?
False
Let z = 53 - 51. Suppose 750 + 84 = 5*i - 2*m, 0 = -z*i + 2*m + 330. Is 24 a factor of i?
True
Suppose 2*p + 3*p = -0*p + 22230. Is 27 a factor of p?
False
Suppose -332 = -24*j + 20*j. Suppose 82*g + 495 = j*g. Is 45 a factor of g?
True
Let d(s) = -7343*s**3 + 31*s**2 - 4*s + 2. Does 19 divide d(-1)?
False
Let g = 282 - 15. Suppose 26*a = 29*a - g. Let d = a + -52. Does 15 divide d?
False
Let u(a) = 9*a - 145. Let x(d) = -8*d + 145. Let m(l) = 4*u(l) + 5*x(l). Is m(0) a multiple of 29?
True
Let d(z) = -43*z - 250. Let i be d(-6). Suppose v - 2 = 0, 2*v = i*o - 11*o + 1354. Does 30 divide o?
True
Let b(u) be the third derivative of -23*u**5/120 + 5*u**4/12 - 17*u**3/6 + 11*u**2. Let c(p) be the first derivative of b(p). Is c(-3) a multiple of 13?
False
Suppose -2*u = u + 15. Let r be (-4)/(-2) + u + -22. Is 7 a factor of -8 + 9 - (r - 2)?
True
Let l(u) = -u**2 - 10*u + 14. Let a be l(8). Let d be 13/(a/8)*(-15)/2. Suppose -3*i - k + 100 = 0, -i + 40 = 3*k - d*k. Is 17 a factor of i?
True
Let a = -76 + 81. Let t(c) = 104 + 2*c - 34 - 52. Does 18 divide t(a)?
False
Let j = 11552 + -7524. Is j a multiple of 53?
True
Let u be (-10 - -8)*6/(-4). Suppose 3*q + 4*r = u + 4, 4*r = 4*q - 56. Let j(g) = 2*g + 12. Is 2 a factor of j(q)?
True
Suppose -2340*z + 815790 = -1167*z - 1143*z. Is 383 a factor of z?
True
Let z be -6 + 396/39 - 2/13. Suppose -z*q = 34*q - 2546. Is q a multiple of 11?
False
Let j(m) = 7*m**2 - 1. Let l(x) = 17*x**2 - x - 1. Let o(p) = 5*j(p) - 2*l(p). Let n = 3 - -4. Is 30 a factor of o(n)?
True
Does 12 divide (3/(-21))/(36/756) + 0 + 6571?
False
Let i(o) = -3*o - 1. Suppose 0*n + 2*x = n - 7, -6 = 2*n + x. Let p be i(n). Does 57 divide ((-6)/3)/(p/(-201))?
False
Let m(j) = -j**3 + 17*j**2 - 13*j - 1. Let k be m(16). Let a(t) = 3 + 1 - 2 + 4 - k*t. Is 15 a factor of a(-2)?
False
Let u = 50 + -45. Suppose u*a + 42 = 8*a. Is (a/18 - 10/(-45))*191 a multiple of 9?
False
Suppose -43*w - 629 = 59. Let a(m) = m**3 + 19*m**2 + 6*m + 8. Does 15 divide a(w)?
False
Suppose -c = 5*o - 20, 7*c + 5*o = 2*c + 60. Let a be 57/38 + c/4. Suppose 150 = 2*m - 9*g + a*g, -m + 2*g = -73. Does 19 divide m?
False
Let n(q) = -28*q + 488. Let w be n(0). Suppose w = -73*x + 77*x. Is 2 a factor of x?
True
Suppose 3*t + 5*n + 6 = 0, -4*t = 5*n + 4 - 1. Suppose 4*h = -16 + 28. Suppose 2*c = h*c + 3*f - 63, 0 = f + t. Does 18 divide c?
True
Let m(q) = -417*q - 2607. Does 61 divide m(-7)?
False
Let o = -70 + 85. Suppose o*w - w - 1008 = 0. Is w a multiple of 7?
False
Let c be ((-3)/4 - 23/(-4)) + 0. Let q(h) = 30 + 46*h - 41*h - c. Is 17 a factor of q(4)?
False
Let a(w) = w**3 - 18*w**2 + 68*w + 93. Is 60 a factor of a(21)?
False
Let c(h) = -82*h - 493. Does 18 divide c(-8)?
False
Let o(j) = 320*j - 44. Let f be o(6). Is f/5 - (-12)/(-60) a multiple of 25?
True
Let r(w) = -w**2 - 15*w - 25. Let v be r(-13). Does 50 divide (v - (-46)/4)*4?
True
Suppose 12*d + 8342 - 1310 = 0. Let c = -3 - d. Is 14 a factor of c?
False
Let t(b) = 18*b - 4. Let d be t(-7). Let o be 442/(-10) + (-4)/(3 - 23). Is d/(-8) - (-11)/o a multiple of 7?
False
Let a(t) = 245*t - 954. Is 5 a factor of a(6)?
False
Let l = -6460 - -9605. Suppose 0 = 16*w - 21*w + l. Let a = w + -431. Is 22 a factor of a?
True
Suppose 5*p = n + 50 - 669, -p = -5. Suppose -d + 641 = -3*l, -16*d + 2*l + n = -15*d. Is d a multiple of 25?
True
Let t be (0 + -1)*23/(138/(-36)). Does 12 divide (3 + t)*(5 - 2)?
False
Suppose -2435*d - 266874 = -2473*d. Does 15 divide d?
False
Is 649935/182 + 2/(-28) a multiple of 91?
False
Let o(b) = 2*b**2 - 23*b. Let c(l) = l**2 - 11*l. Let y(f) = 13*c(f) - 6*o(f). Let w be y(3). Is (2/w)/(3/(-774)) a multiple of 13?
False
Is 92 a factor of (-7452)/378*182/(-3)?
True
Let h = 6649 + -3845. Is 19 a factor of h?
False
Let t be (0 + -3)/6*4. Let m be -2*(1 - t/(-4))*-5. Suppose -94 = -a + m*q, 5*q - q = -20. Is a a multiple of 17?
False
Suppose -2*r - r + 9 = 0, -2*r = 2*d - 2700. Suppose -d = 2*i + 665. Is 8 a factor of (-10)/(-70) + i/(-14)?
True
Suppose 0 = -175*q + 183*q + 8. Does 8 divide 5*q*3040/(-25)?
True
Is 46 a factor of 1*(15 + -14 + 9640)?
False
Suppose -3448*v + 11242 = -3434*v. Is 66 a factor of v?
False
Let u be (-22)/209 + 59/19. Suppose -u*f = 22 + 26. Is ((-248)/f)/((-2)/(-4)) a multiple of 5?
False
Let h = 6286 - 3780. Is h a multiple of 8?
False
Does 47 divide (-4 - (-178335)/4) + 306/(-24) + 13?
False
Suppose -2*x + 41 = 5*b, -b + 15 = x + 2. Let s be (-144)/15 + x/(-20). Let y(i) = 2*i**2 + 18*i + 25. Is 8 a factor of y(s)?
False
Let v = -68 + 71. Suppose 4*r + 0*r = i + 514, -5*r - v*i = -651. Let j = -66 + r. Is j a multiple of 21?
True
Let m(i) = -119*i**3 + 68*i**2 + 528*i + 2. Is m(-7) a multiple of 261?
True
Suppose 2*b - 10436 = -6*m + 5*m, 2*m - 5*b = 20827. Does 13 divide m?
True
Suppose 50*f = 56*f - 18. Is f/6*24*165/6 a multiple of 22?
True
Let o(r) = -126*r**3 - 9*r**2 - 17*r - 42. Is 4 a factor of o(-6)?
True
Let w(u) = 24*u**3 - 3*u**2 + 4*u - 4. Suppose -2*k = -g + 75, 2*k + 45 = 5*g - 10*g. Let h = 37 + k. Is 23 a factor of w(h)?
True
Let a be 60 + -66 - (1*4 - 1). Is 10 a factor of a/(405/(-6010)) - 24/(-54)?
False
Let p(c) = 29*c**2 + 61*c + 32. Does 27 divide p(-7)?
True
Let x be -975 + (-12)/(-3) - -4. Let g = -680 - x. Suppose p - 75 = -3*a, 8*p - g = 4*p + a. Is 8 a factor of p?
True
Let h be ((-1 - 42)/(-1))/1. Suppose -7*x + 14*x = 10*x. Suppose -12*g + 11*g + h = x. Is 7 a factor of g?
False
Let s(x) = -190*x**2 + 2*x - 4. Let v(w) = -63*w**2 + w - 1. Let c(l) = 2*s(l) - 7*v(l). Let k be c(-1). Is (-4)/(-16) - k/(-4) a multiple of 8?
True
Let c(s) = s**3 + 7*s**2 + 8*s - 6. Let p be c(-5). Is 20 a factor of (p - 24)/((-4)/4)?
True
Let z(g) = -20*g + 34. Let c be z(-7). Let t = 0 + 14. Suppose -2*p + c - t = 0. Is p a multiple of 10?
True
Suppose 2*t + 204 = -0. Let m = t - -372. Is 27 a factor of m?
True
Let j(n) = n**2 + 19*n + 59. Let s be j(-17). Suppose -7*h + s = -374. Does 3 divide h?
True
Let u(w) = -w**3 + 43*w**2 - 61*w - 42. Is 6 a factor of u(41)?
False
Let k(a) = a**3 - 19*a**2 - 27*a - 125. Is k(24) a multiple of 43?
True
Suppose 1 + 4 = -5*j. Let n(h) = -h**3 + h**2 - h - 1. Let r(g) = -90*g**3 - 3*g**2 + 1. Let i(c) = n(c) + r(c). Is i(j) a multiple of 30?
True
Let b(i) = -i**3 - 18*i**2 - 9*i - 28. Let a = -31 - -16. Let v be b(a). Is (13/26)/((-2)/v) a multiple of 29?
False
Suppose -2*h = -5 + 7, -5*d + 5*h - 4045 = 0. Let l = -241 - d. Is 56 a factor of l?
False
Let r = 212 + -207. Suppose 2*y = -3*m + 721, 3*m - r*y + 736 = 6*m. Is m a multiple of 8?
False
Suppose -4*s = -5*q - 945, -7 = -s + 4*q + 243. Let z = s + -98. Is z a multiple of 22?
True
Suppose -197206 - 275047 = -64*i - 89597. Is i a multiple of 31?
False
Suppose 270972 - 1378224 = -54*l + 1082124. Is 28 a factor of l?
True
Suppose -100 = 2*a + 2816. Let d = a + 2085. Is 11 a factor of d?
True
Suppose -5815 = -17*z + 10815 + 9890. Is 60 a factor of z?
True
Suppose 5*y - 1557*r = -1562*r + 10185, 4*y - 8085 = 5*r. Does 22 divide y?
False
Let z(x) be the first derivative of -x**4/4 + 13*x**3/3 - x**2/2 + 31*x + 2. Let n = 214 + -201. Is 6 a factor of z(n)?
True
Let n = 2600 + 737. Is 13 a factor of n?
False
Let q(f) = -5*f**2 - 8*f + 16. Let z(m) = 14*m**2 + 24*m - 47. Let n(u) = -17*q(u) - 6*z(u). Let t be n(7). Is 10 a factor of 42 + (4 - t) + 3?
Fal