 - 119. Suppose -5*t + 22 = f, 2*f + t = 4*t - 8. Suppose -5*c = f*c - z. Is 6 a factor of c?
False
Suppose -4*z + 3*n = -351, 83 - 278 = -2*z - 5*n. Does 2 divide z?
True
Let i(c) be the second derivative of 3*c**5/4 - 2*c**2 + 13*c. Is 31 a factor of i(2)?
False
Suppose 0 = -16*m - 22 + 742. Does 15 divide m?
True
Let n(f) = -f + 10 - 2*f - f - f - 2*f**2. Let t be n(-6). Does 8 divide t*(-3 + 10/4)?
True
Let x = -648 + 1485. Is x a multiple of 6?
False
Suppose -4*g - m + 4*m + 732 = 0, 0 = -5*g + 5*m + 920. Is g a multiple of 60?
True
Suppose 2*y - 20 = -2*y. Suppose -2*p + 0*p - 38 = -5*o, -y*o = p + 49. Let c = -24 - p. Is c a multiple of 5?
True
Let w = -102 - -447. Does 5 divide w?
True
Let t = 692 - -10. Is t a multiple of 39?
True
Let h be 2 + -4 + -2 - (-13 - -13). Let r(a) = -a**3 + 3*a**2 + 8*a - 6. Is r(h) a multiple of 37?
True
Let o be (18/(-15))/(3/50). Let q be 2/5 - 2232/o. Suppose q = p + 3*p. Is 14 a factor of p?
True
Let w(x) = -x. Let u be w(-4). Let c be (-832)/((-16)/u) + -3. Suppose 5*q + c = 5*a, -4*a + q + 38 + 117 = 0. Is 19 a factor of a?
True
Does 13 divide (2 + -4)/(-8 + (-3801)/(-476))?
False
Let c be 3484/8 + (-1)/2. Suppose -c + 20 = -y. Suppose -y + 19 = -4*z. Is z a multiple of 33?
True
Let u(l) = l**2 + 5*l + 7. Let z be u(-4). Let f = 20 + z. Is 4 a factor of f?
False
Suppose 4*p = v + 22, -24 = 5*v - 3*v - 4*p. Let o = 6 - 3. Is (o + 2)*(v - -3) a multiple of 3?
False
Suppose -7*a = -2*a - 25. Let t be ((-2)/(-6))/(a/45). Suppose -5*c = -t*c - 72. Is c a multiple of 15?
False
Let k be -1 - -77 - (3 + 0). Suppose 5*m - q - 133 = 0, m + 2*m - k = 4*q. Is 9 a factor of m?
True
Let q(z) = 7*z**3 + 20*z**2 - 13*z + 10. Let u(g) = g**3 + 1. Let a(v) = -q(v) + 6*u(v). Is a(-21) a multiple of 10?
False
Suppose 2*o - 642 = 122. Is o/6 - 8/(-6) a multiple of 9?
False
Suppose 248 = -5*f + 53. Let t = -57 - f. Does 5 divide 4/18 + (-518)/t?
False
Suppose 0 = -35*b + 30*b + 40. Suppose 4*j + 588 = b*j. Does 32 divide j?
False
Let s = 12 - -22. Does 10 divide s?
False
Let l(c) = 5*c**2 + 6*c - 12. Is l(2) a multiple of 5?
True
Suppose -4*u - 4*i = 0, -5*u + u + 10 = -i. Suppose -2*n - u*a = 0, -5*n + 0*a = 2*a - 6. Suppose 0*s + n*s = 148. Is 11 a factor of s?
False
Let x(s) = -s**3 + 60*s**2 - 146*s + 93. Does 6 divide x(57)?
True
Let s(k) = -19*k - 423. Is s(-52) even?
False
Does 19 divide 9/6*(1 - 723/(-9))?
False
Let g(c) = 6*c**2 - 2*c - 72. Is 12 a factor of g(12)?
True
Suppose 4*g + 0*i = 5*i + 217, -2*g = 3*i - 103. Let j = g + -51. Is j a multiple of 2?
True
Suppose -12*v + 2798 = 446. Does 4 divide v?
True
Suppose 0*s + g = 5*s - 11, 5 = 5*s + 5*g. Suppose -2*u + 106 = 2*f, 253 = f + 4*f + s*u. Is f a multiple of 7?
True
Suppose 0 = 18*h + h - 3458. Is 41 a factor of h?
False
Let l(h) = 2*h**2 - 4*h - 7. Let x be l(4). Suppose -11*c + 180 = -x*c. Is c a multiple of 18?
True
Let p = 9 - 16. Let m(a) = a**2 + 5*a + 6. Is m(p) a multiple of 14?
False
Let s = 234 + -138. Let f = 7 - 65. Let k = s + f. Is k a multiple of 8?
False
Is (-20 - -1595)*(-4)/(-5) a multiple of 5?
True
Let g = -387 + 611. Is 16 a factor of g?
True
Does 21 divide (1545/(-9) + -1)/(1/(-9))?
True
Let d(k) = -k**2 + 2*k + 52. Suppose 5*f = -4*l + 4 + 8, -2*f = -5*l + 15. Does 13 divide d(f)?
True
Let y(m) be the third derivative of m**6/120 - m**5/20 + m**4/4 - m**3/3 - 11*m**2. Suppose -2*x + 12 = x. Is 7 a factor of y(x)?
False
Let h be 2 + 2 - 0/4. Suppose 0 = h*w - 5*t - 3 - 18, 4*t - 12 = -4*w. Suppose w*v = 5*x + 31, 5 + 7 = -4*x. Is 4 a factor of v?
True
Suppose -11*t = -4*t - 364. Let y = t - 37. Is 5 a factor of y?
True
Let a(r) be the second derivative of -7*r**3/3 - 17*r**2/2 + 35*r. Is 35 a factor of a(-5)?
False
Suppose 5*z = 30 + 75. Is 14 a factor of 7/(z/192) + 2?
False
Let a = -2 - -5. Suppose 31 = -c + 5*d, -5*c - a*d + 2*d - 181 = 0. Does 11 divide 0 - (4 - 1) - c?
True
Suppose 10*b - 1307 + 17 = 0. Suppose 4*x + 153 = 3*g, -2*x + 29 = -2*g + b. Does 5 divide g?
False
Let x be (-36)/(-10) + 4/10. Suppose 3*v - 75 = -h - 0*v, -350 = -x*h - 2*v. Is 20 a factor of h?
False
Suppose -3*b = -0*b + 168. Suppose 4*q - i - 64 = -2*i, 5*q - 4*i - 80 = 0. Does 14 divide q/b - 200/(-14)?
True
Suppose -j + 7 = o, o + 3*j = 6*o - 59. Is o a multiple of 5?
True
Let m = 159 - 78. Let o = m - 48. Does 20 divide o?
False
Let a be (-1 - -3)*(7 - 5). Suppose 3 = -a*p - 29. Is 15 a factor of 4/(8/(-9))*p?
False
Let y = 13 - 10. Suppose k + 1397 = 5*c - 305, -y*c = 3*k - 1014. Suppose 0*f + 5*f = c. Does 17 divide f?
True
Let j be (0 - -124) + -4 + 0. Does 17 divide (40/32)/(2/j)?
False
Let o = -65 + 64. Is -3 - o - (0 - 182) a multiple of 45?
True
Let u(l) = l**3 + 9*l**2 - 7*l + 4. Let h be u(-10). Let t = h + 14. Is 13 a factor of (-53)/(-4) + 3/t?
True
Let n be 32 - -6*1/2. Is 7 a factor of 10/n - 288/(-21)?
True
Suppose 0 = 2*r + b - 6, -5*r + 0 = -3*b - 4. Suppose 2*o - 42 = 2*t, 47 = 5*o + t - 40. Is 7 a factor of (9 + o)*(r - 1)?
False
Let w(a) = -84 + 40 + 43 + 210*a**2. Is 19 a factor of w(1)?
True
Suppose -1 = 2*n + 5*d - 22, -6 = -4*n + 2*d. Suppose n*g + 85 = 4*j, 0 = -g - 0*g - 2*j - 25. Is 6/g - (-112)/18 even?
True
Suppose -287 - 104 = -17*t. Is t a multiple of 6?
False
Let c be -12*(-3)/((-18)/(-4)). Let n = c + 3. Is n a multiple of 11?
True
Let x(t) = -t**3 + 12*t**2 - 3*t - 17. Suppose -6*d + 54 + 12 = 0. Is 10 a factor of x(d)?
False
Let r = -7 + -23. Does 15 divide (r/(-12))/(2/48)?
True
Suppose -5*b = 5*v + 590, -4*v - 16 = -2*b + 462. Let n = 83 + v. Let y = n + 56. Does 13 divide y?
False
Let g = -60 + 60. Let p(b) = 2*b**2 - 2*b + 84. Is p(g) a multiple of 36?
False
Suppose 8*k - 4*k = 0, 2*x + 2*k - 480 = 0. Is 20 a factor of x?
True
Suppose -10*x + 16 = -6*x. Let v(s) = 2*s - x + 2*s - 8*s. Does 14 divide v(-8)?
True
Let k(p) = 26*p**2 - 4*p - 4. Let g be k(4). Let m = g + -92. Suppose m = 4*b + 104. Is b a multiple of 25?
True
Let r(h) = 3*h**2 - 14*h + 3. Let l be r(4). Let a = l + 113. Is 18 a factor of a?
True
Is 23 a factor of (3586/33)/(6/9)?
False
Suppose -x - d = -67, 2*x = -0*x - 5*d + 137. Suppose -7*r + 6*r = -x. Is 22 a factor of r?
True
Is -7 + 12*(-1734)/(-12) a multiple of 26?
False
Let f(a) = -a**2 + 4*a - 1. Let i = 3 + 0. Let t be f(i). Does 10 divide t/(-14) + 284/28?
True
Let b = 479 - -142. Is 23 a factor of b?
True
Suppose 0*p = 5*p - 30. Let r be ((-32)/(-24))/(4/p). Suppose -39 + 13 = -r*q. Is q a multiple of 9?
False
Suppose 3*i = 5*i - 12. Let x be 460/60 + 2/6. Let l = x + i. Is l a multiple of 7?
True
Let b = 18 - 4. Suppose 10*m + 256 = b*m. Does 4 divide m?
True
Let f(o) = -o**3 - 12*o**2 + 13*o + 3. Let k be f(-13). Let b be (-1)/(k + (-14)/4). Is (b + -74 - 1)/(-1) a multiple of 13?
False
Suppose 55440 = -5*z + 35*z. Is z a multiple of 40?
False
Let p = 190 + 5. Is p a multiple of 15?
True
Suppose -5*k + 3*q + 1421 = 0, -3*k + 4*q = 2*k - 1418. Is k a multiple of 32?
False
Suppose 3*u + 3*s = -156 + 477, 4*u - 419 = -s. Let l = u + -48. Does 16 divide l?
False
Let o(v) = 3*v**2 + 9*v + 7. Let d be o(-3). Suppose 4 = d*w - 416. Is w a multiple of 10?
True
Let z(a) be the third derivative of -2/3*a**3 + 0*a - 1/12*a**5 + 0 - 1/120*a**6 + 11*a**2 - 5/12*a**4. Does 6 divide z(-4)?
False
Let q(u) = -u - 72. Let n(s) = 3*s + 145. Let a(r) = -3*n(r) - 7*q(r). Does 15 divide a(-21)?
False
Does 54 divide (-10 - -7)*72*-5?
True
Let q be (-1 + 1)/((9 + -8)*-1). Suppose -5*l + 2*b + q*b = -1373, 0 = b - 1. Is l a multiple of 27?
False
Let w = -203 - -251. Is 31 a factor of w?
False
Let b = -3208 + 7134. Is b a multiple of 37?
False
Suppose -139*o + 146*o - 9044 = 0. Is o a multiple of 17?
True
Suppose -2*z = 16 - 24. Suppose 0 = z*a - 260 - 488. Is a a multiple of 31?
False
Let i be -24*(-4 - (-4 + 1)). Let y be (-232)/i + (-2)/6. Is 248/10 - 2/y a multiple of 10?
False
Let c = -8 + 34. Suppose -5*a - q - c = -0*q, 5*q = -a - 10. Does 13 divide 8/20 + (-248)/a?
False
Is 665 - (3 - (-1 + 8)) a multiple of 3?
True
Let i = -58 + 94. Is 18 a factor of i?
True
Let o(c) = c**3 + 4*c**2 + c + 12. Let f be o(-5). Let n = f - -38. Is 89/3 + n/15 a multiple of 31?
True
Does 14 divide (-16)/(-2) + 160590/53?
True
Let u(k) = k**3 + 7*k**2 + 5*k - 2. Let n(m) = m - 8. Let p be n(3). Let s be u(p). Does 6 d