- 51. Is 63 a factor of i(11)?
False
Let c = -301 + 632. Does 33 divide c?
False
Suppose 5*f - 9*z = -11*z + 688, 0 = f - 5*z - 116. Is 17 a factor of f?
True
Suppose -4*t + 4*u - 7*u = -233, -u = 5. Is 18 a factor of t?
False
Is ((-234)/(-312))/((-1)/(-1148)) a multiple of 41?
True
Suppose -2*h - 3*h + 5*a = -20, 2 = 5*h + 4*a. Suppose -h*z + 5*z - 5*x = 471, 798 = 5*z - 4*x. Is z a multiple of 12?
False
Suppose 5*i + 13 = -2. Let j be (i - (-6)/2) + 0. Suppose j = 2*u - 3 - 59. Is u a multiple of 12?
False
Is 8 a factor of (-57 + 59)/((-4)/(-978))?
False
Let p(d) = 10*d**3 - 9*d + 7. Is 6 a factor of p(3)?
False
Let c = 8 + 232. Does 30 divide c?
True
Let n = 268 - 151. Does 28 divide n?
False
Does 12 divide (-1312)/(-4) - 6/(-2)?
False
Let s(w) = -5*w**2 - 15*w - 5. Let b(p) = -3*p**2 - 10*p - 3. Let u(i) = -8*b(i) + 5*s(i). Let x be u(8). Let g = 79 + x. Is 16 a factor of g?
False
Let i be (-23)/(-3) + 1/3. Let a be ((-2)/i)/((-1)/8). Let r = 97 + a. Is 33 a factor of r?
True
Let y = -4 + 8. Suppose v + 13 = 5*k + 43, 0 = -3*k + y*v - 18. Is (-23 - 1)*2/k a multiple of 8?
True
Suppose 0 = -453*l + 452*l + 312. Is l a multiple of 24?
True
Let p(q) = 4*q**3 + 4*q**2 + 7*q - 3. Let m(r) = 12*r**3 + 11*r**2 + 20*r - 9. Let s(b) = 6*m(b) - 17*p(b). Does 13 divide s(2)?
False
Let w(g) = 632*g + 192. Is 16 a factor of w(4)?
True
Suppose 4*q + 5*z = 7, 0*q + 5*z + 17 = 4*q. Is 4/(-18) - (q - (-978)/(-27)) a multiple of 8?
False
Let r be (-544)/10 - 20/(-50). Let g = r + 83. Let j = g + -18. Is j a multiple of 11?
True
Let m = -25 + 28. Suppose m = -z, 5*v + 2*z - 44 - 5 = 0. Does 7 divide v?
False
Let l = -1057 + 1125. Is 17 a factor of l?
True
Let t(n) = n - 2*n + 24*n**2 - 10 - 23*n**2. Let a be t(7). Suppose x - a = 25. Does 15 divide x?
False
Suppose -2*w + 1637 = -5*z, 3*w + 6*z = 9*z + 2442. Does 128 divide w?
False
Suppose 7056 = 7*a - 4*a. Suppose -8*l = 4*l - a. Is 28 a factor of l?
True
Let x(o) = 3*o + 30. Let s be x(-8). Does 45 divide 675/(-10)*(-8)/s?
True
Let b(p) = 5*p**2 + p + 37. Does 6 divide b(-5)?
False
Does 5 divide (-357)/(-49) + -7 - 488/(-7)?
True
Let w be ((-36)/(-27))/((-2)/24). Let s = w - -16. Suppose s = 4*y - 9*y + 120. Does 12 divide y?
True
Let d = -426 + 536. Is d a multiple of 11?
True
Suppose -9*k + 1323 = 40*k. Does 9 divide k?
True
Suppose -10*r = 26 - 76. Suppose -481 = -r*l + 419. Does 12 divide l?
True
Suppose -12*n = -9*n - 177. Let z = n + 26. Is 8 a factor of z?
False
Let i(t) = -21*t + 7. Let g be i(-5). Let p be -3*(g/(-12) - 3). Suppose 2*r = 2*u + 14, -4*u = -4*r - 3*u + p. Does 10 divide r?
True
Let t(f) = f**3 + f**2 - 4*f - 1. Let m be t(-2). Suppose -m*u - u + 52 = 0. Is u a multiple of 13?
True
Suppose 4*o - o = 27. Let l be ((-96)/o)/(2/(-9)). Does 6 divide l*(4/(-6))/(-2)?
False
Let j(x) = x + 30. Let u be j(0). Suppose g - u = 2*d - 3*g, -g = -4*d - 60. Does 12 divide 333/5 + (-6)/d?
False
Suppose -2*b - 989 = -4*w + 3339, 0 = -2*w - 3*b + 2172. Suppose -3*y + 2*o + 665 = 0, 5*y + o - 21 - w = 0. Does 30 divide y?
False
Let h(s) = 45*s - 17. Let a be h(-3). Let k = -69 - a. Does 9 divide k?
False
Let h(d) = -6*d**2 - d - 6. Suppose o + 0 = 2*v - 12, -4*v = 2*o - 16. Let l(k) = -k**2 - 1. Let n(q) = v*l(q) - h(q). Is n(-5) a multiple of 21?
True
Let q(n) = 43*n**2 + 2*n - 2. Let a be q(-2). Let c = a - 77. Is 6 a factor of c?
False
Let x(a) = -5*a - 58 - 4*a + 4*a + 57. Let v be x(-1). Suppose v*o = 3*o + 90. Is 30 a factor of o?
True
Let r(c) = -2*c**3 - 11*c**2 - 28*c + 9. Does 11 divide r(-6)?
False
Let c(s) = s**3 + s**2 + 2*s - 5. Let k(z) = z**3 + 2*z**2 + 2*z - 6. Let n(i) = 5*c(i) - 4*k(i). Let y be n(2). Does 2 divide y + (13 - 1) + 4?
False
Let k = 7 + -9. Let n(y) be the third derivative of -y**4/6 + y**3/3 + y**2. Is 5 a factor of n(k)?
True
Suppose -20*t - 1265 = -25*t. Is t a multiple of 10?
False
Let w(g) be the third derivative of g**6/120 + g**5/30 - g**4/24 + g**3 - 4*g**2. Let s be w(-3). Does 13 divide (s - -2)/((-12)/(-468))?
True
Let i = -262 + 470. Let c(a) = -140*a**2 + 4*a + 5. Let b be c(-1). Let h = i + b. Does 16 divide h?
False
Let d(l) = 28*l - 83. Is 14 a factor of d(10)?
False
Is (22 + 2)/(5/415) a multiple of 12?
True
Let f(c) = 3*c**2 + 4*c + 9. Let k be f(-7). Suppose 3*b + 4*a - 185 = 0, 2*a - k = -2*b - 3*a. Is 37 a factor of b?
False
Suppose 0*m = 4*m + 20. Let q = m - -8. Suppose 12 = -q*b, 5*r = r + b + 28. Is r a multiple of 3?
True
Suppose 0 = 5*s - 2*w - 5 - 3, 5*s - 4*w = 16. Is -1 + (s + -2 - -40) a multiple of 9?
False
Suppose 3*o - 2*v = 4*o + 28, 0 = -2*v + 2. Let q = -7 + -11. Let a = q - o. Is 6 a factor of a?
True
Let d(c) = 135*c**2 - 4*c - 16. Does 10 divide d(-3)?
False
Let z be (-66)/(-9) + 2/(-6). Suppose 8*n - 9*n = -z. Let l(q) = -q**2 + 9*q + 5. Is 8 a factor of l(n)?
False
Suppose 11*j - 1071 = 2*j. Let h = 211 - j. Is 4 a factor of h?
True
Let n(d) = -d**2 - 16*d - 6. Let l = 33 + -63. Let m = l + 25. Is n(m) a multiple of 12?
False
Is 58 a factor of -5 + ((-1)/5 - (-13998)/15)?
True
Let t(k) = k**3 + 15*k**2 + 8*k + 30. Is t(-11) a multiple of 36?
False
Is ((-399)/(-28) + -4)*20 a multiple of 5?
True
Let b(k) be the first derivative of -3/2*k**2 + 1/4*k**4 - 10*k - 7/3*k**3 - 1. Is b(8) a multiple of 15?
True
Let l(f) = 5*f + 9. Let j be -1*1 + (2 - -1). Is 3 a factor of l(j)?
False
Let r(n) = -4*n**2 + 12*n + 2. Let t be r(5). Let p = -32 - t. Is 28 a factor of 2/p + (-1578)/(-18)?
False
Let g be (-2)/(-3) + (-100)/15. Let b(w) = -w**2 - 6*w + 5. Let n be b(g). Does 21 divide ((-315)/(-25))/(1/n)?
True
Suppose 7*q = q + 72. Let w = q - 1. Is w a multiple of 7?
False
Suppose -53 + 1241 = 4*c. Does 27 divide c?
True
Let l(o) = 2*o + 4. Let s(a) = 5*a + 11. Let r(z) = -11*l(z) + 4*s(z). Let x be -9 + (-2)/((-3)/3). Does 14 divide r(x)?
True
Let z(i) be the first derivative of 5*i**4/2 - 3*i**2 + 5*i - 11. Is 2 a factor of z(1)?
False
Suppose 438 - 138 = 5*d. Is (5/(-2))/((-15)/d) a multiple of 10?
True
Let s = -10 - -13. Suppose -7 = -2*h + s. Suppose 2*o + 4*p = 32, 0 = 5*o - 5*p - 15 - h. Does 4 divide o?
True
Is 7 a factor of 316/(-3)*1*(-3 - 0)?
False
Let j(b) = 15*b - 2*b**2 - 3*b**3 - 6*b**3 - 2*b**3 + 10*b**3. Is j(-6) a multiple of 9?
True
Let p(a) = -a**2 - 7*a - 8. Let v(z) = 3*z + 17. Let i be v(-8). Let h be p(i). Let r(y) = y**2 + 5*y + 8. Is r(h) a multiple of 19?
False
Suppose 8 - 116 = -6*f. Does 31 divide (-1)/(-3) - (-2226)/f?
True
Suppose 45*k + 20173 - 216193 = 0. Is 18 a factor of k?
True
Suppose h = -4*d + 17, -h - 2*h + 6 = 3*d. Suppose -g + 3 = -d. Is (-12)/4*g/(-3) a multiple of 8?
True
Let x(b) = -7*b**2 - 17*b - 13. Let u(y) = -4*y**2 - 9*y - 7. Let m(n) = 5*u(n) - 3*x(n). Is m(5) a multiple of 22?
False
Suppose -2*h + 46 = o, o - 37 - 30 = 5*h. Let l = 60 + o. Is 12 a factor of l?
False
Let t = 44 + -42. Suppose -t*s = 6, -4*a = s + 2*s - 219. Is a a multiple of 14?
False
Suppose 0 = c - 5*o + 23, 3*c = 4*c - 3*o + 13. Suppose d + 49 = c*v, -2*d - 2 = -0. Is 12 a factor of v?
True
Let q = -12 - -240. Is 19 a factor of q?
True
Is -4 + 4/(((-24)/930)/(-2)) a multiple of 51?
True
Suppose -3*s + 98 = 5*t - 30, -3*t + 3*s + 96 = 0. Is 1491/t - (-2)/(-8) a multiple of 6?
False
Let y = -10 + 36. Let h(u) = -2*u + 8. Let i be h(11). Let o = i + y. Is 6 a factor of o?
True
Let o be 0*2/4*1. Suppose o*x + 48 = x. Let i = -24 + x. Is 12 a factor of i?
True
Let q(s) = 11*s**2 - 28*s + 38. Is q(11) a multiple of 22?
False
Let d(h) = 5*h**2 + 5*h + 20. Is 3 a factor of d(-6)?
False
Suppose x - 126 + 113 = 0. Does 9 divide x?
False
Suppose 0 = 2*h + h + 12. Let v be h/(0 + -5 + 3). Is -5*-2*v/4 a multiple of 5?
True
Suppose -12 = -3*f + 3*b, 2*b = -3*f + 14 + 23. Let n(a) = 26*a**2 - 1. Let g be n(1). Suppose g = 2*d + f. Is 4 a factor of d?
True
Suppose -4*u = -5*u + 6. Suppose 0 = 2*z - 2*q - 368, -u*z + 2*z - q = -736. Is z a multiple of 8?
True
Let x be (-51)/(-9) + 18/(-27). Does 20 divide (-7 + -693)*(-2)/x?
True
Let f = 16 + -8. Suppose 3*s - 3*j = -6, -2*j - 4 = -f. Suppose 252 = 3*t + 3*b, 4*t - b - 58 - 258 = s. Is t a multiple of 18?
False
Let g(f) = 1079*f**2 + f + 7. Is g(-1) a multiple of 31?
True
Is 8 a factor of (-128)/448 - (25092/7)/(-2)?
True
Suppose -4*q + 540 = -p + 2*p, -5*p = -4*q + 540. Is 27 