2 + 1/4*f**4 + f. Is 4 a factor of t(7)?
True
Suppose -4*g = -4 - 8. Let k(d) be the first derivative of 8*d**2 + 3*d - 7. Is 14 a factor of k(g)?
False
Suppose 4*j - 50 - 72 = 2*l, 3 = j. Let s = 35 - l. Does 14 divide s?
False
Let l(b) = -b**3 - 6*b**2 + 12*b - 3. Let s(t) = -4*t + 7. Let w be s(4). Is 44 a factor of l(w)?
True
Suppose 1464 = 2*h - s + 391, 0 = -h + 2*s + 532. Does 76 divide h?
False
Suppose v = -4*j + 108, 3*v + 0*v + j = 313. Let y = -86 + v. Is y a multiple of 18?
True
Let f = 16 - 12. Suppose -5*r = a + 21, 10*a - 11 = f*r + 5*a. Does 14 divide (57 - -1) + (-6 - r)?
True
Let n = -35 + 554. Suppose -i + n = 4*i - 3*v, 0 = i - 5*v - 117. Suppose 5*q = 3*q + i. Does 13 divide q?
False
Let z be -20*(-3 - (-30)/4). Is (12/10)/((-12)/z) a multiple of 3?
True
Does 54 divide -1 + -2 - (-844 + 31)?
True
Let z(l) = -266*l + 3219. Is z(0) a multiple of 87?
True
Suppose 6*b - b + y = -5, -5*y - 25 = 2*b. Suppose b = 2*d - 64 - 80. Does 15 divide d?
False
Let m(p) = 36*p**2 + 5*p + 8. Does 8 divide m(-2)?
False
Let c be 3 + (-1 - -115)*1. Let h = c + -261. Does 4 divide h/(-8) + (-6)/2?
False
Suppose 3690 = 12*g - 16638. Is 12 a factor of g?
False
Let i(o) = o**3 + 7*o**2 + 3*o + 1. Suppose 5*q - c + 4*c = -24, 2*c = -3*q - 14. Let p be i(q). Let r = p - 9. Is r a multiple of 6?
False
Suppose 3*q + 8 = 2*w, 4*w + q = 2 - 0. Is 4 a factor of (-74 - w)*38/(-95)?
False
Suppose -2*z - 241 = -955. Suppose 82 = -5*y - i + z, 0 = 2*y + i - 113. Is 4 a factor of y?
False
Let z(v) = -27*v - 572 + 572. Let d(h) = -1. Let w(i) = -6*d(i) + z(i). Is 21 a factor of w(-3)?
False
Suppose 1010 = -4*u - u. Let t = u + 294. Is t a multiple of 33?
False
Let s = -16 + 20. Suppose s*a - 3 = 3*z, 5*z = a - 6 - 16. Is 11 a factor of 3 - 5 - (a - 32)?
True
Suppose -4*v + 1 + 7 = -5*n, -6 = -3*v + 2*n. Suppose 2*c + 2*z - 668 = -v*c, c - 4*z - 176 = 0. Does 14 divide c?
True
Suppose 3*y + o - 315 = 2*y, 3*y - 945 = -2*o. Does 21 divide y?
True
Suppose -5*g + 5*t = 0, 10 = -g - 0*g + 3*t. Suppose -5*q = g*s + 30, -2*q - s = 6 + 8. Is 24 a factor of 348/q*(-8)/6?
False
Suppose 2*d + 0*b - 3*b = 81, -2*b = 3*d - 89. Is d a multiple of 5?
False
Let w(m) = 0 - 13 + 1 + 23*m. Is w(2) a multiple of 17?
True
Is 33 a factor of (-11)/(88/(-4570)) - (-10)/(-8)?
False
Let k(a) be the first derivative of a**3 - a**2/2 - 12*a - 7. Let i be k(-8). Suppose 4*v + 28 = -5*j + i, -v + j = -49. Does 15 divide v?
True
Let p(h) = -5*h**2 + 56*h - 8. Is p(7) a multiple of 8?
False
Suppose -m = -4*o - 5*m + 7996, 5*o - 4*m - 10022 = 0. Is o a multiple of 4?
False
Suppose -18928 = 6926*k - 6939*k. Is 42 a factor of k?
False
Let z be 2/(-2 - -2 - (-3)/(-21)). Does 7 divide z/((-5)/(-30)*-2)?
True
Let y(i) = 14*i + 11. Let d(l) = -69*l - 55. Let u(o) = 2*d(o) + 11*y(o). Does 20 divide u(5)?
False
Let z(l) = 8*l + 28. Let w(i) = -7*i - 29. Let m(y) = -7*w(y) - 6*z(y). Does 7 divide m(-19)?
False
Let y = 2070 - 966. Is 46 a factor of y?
True
Let k = -50 + 53. Let j(t) = 10*t - 3. Is j(k) a multiple of 27?
True
Let s(h) = 74*h**2 + 8*h + 11. Is s(-3) a multiple of 16?
False
Let j = -199 - -340. Suppose 5*c - j = 179. Is c a multiple of 8?
True
Let r(f) = f**3 - 10*f**2 - f + 14. Let z be r(10). Suppose 98 = 2*y - z*i + 5*i, -4*y = -i - 184. Is 11 a factor of y?
False
Let p be 6/(-4) + 465/6. Suppose -3*y + p = -80. Does 13 divide y?
True
Let d(f) = 8*f - 33. Let l be 8 + 3 + -2 + -1. Is d(l) a multiple of 31?
True
Is (3 - -319) + 2 + 0 a multiple of 27?
True
Let v(t) = t**2 + 6*t + 2. Let g be v(-6). Suppose -g = -2*a + 2. Suppose 32 = a*m + 2*q, 5*q = -2*m - 8 + 46. Is m a multiple of 14?
True
Suppose 5*x + 22 = -8. Does 14 divide 12/5*10*(-14)/x?
True
Suppose 0 = -4*n - l + 878, -5*n = 2*l + 3*l - 1090. Is n a multiple of 2?
True
Does 9 divide 889/3 - 42/(-63)?
True
Suppose -4*y = 0, f = 4*f - 5*y - 2616. Does 21 divide f?
False
Let y = 16 + -12. Suppose 0 = 3*l + 16 - y. Is l/16 - (-258)/8 a multiple of 16?
True
Let o be (-2)/(-6) + (140/3)/1. Let p = o - 38. Is p a multiple of 4?
False
Let f(i) = 82*i**2 + i - 3. Is f(-2) a multiple of 24?
False
Suppose -2*w = b + 33 + 84, 178 = -3*w - 4*b. Let s = -27 - w. Is s a multiple of 8?
False
Let g(b) = -44 - b + 45 + 86*b**2 + 106*b**2 - 54*b**2. Is g(1) a multiple of 46?
True
Let r = -5 - -7. Suppose -90 = -r*w + f, 4*w + 35 - 219 = 4*f. Does 11 divide (4 + 52/(-16))*w?
True
Suppose -20*z + 3671 = -4569. Suppose 3*v + 43 = z. Does 30 divide v?
False
Suppose 5*h - 831 = -2*m, 0 = 5*m + 7 + 3. Does 5 divide h?
False
Suppose 3397 - 17 = -13*m. Let t = m - -377. Is 13 a factor of t?
True
Suppose -3*j = -p - 5*j + 25, -4*p - j + 114 = 0. Suppose -2*t = -p + 5. Does 6 divide t?
True
Let h(t) = 3*t + 16. Let p be h(-5). Does 45 divide ((-2628)/24)/(p + (-3)/2)?
False
Let o(z) = 8*z**2 + 33*z + 20. Does 80 divide o(-7)?
False
Let v = 61 - 57. Is 22 a factor of v*37 + (-7)/((-14)/6)?
False
Suppose -5 - 1 = -2*l. Suppose -2*i + 7 = -l. Suppose -2*f + i*n = -85, -4*f + n - 66 = -263. Is 15 a factor of f?
False
Let l = -134 + 202. Let a = l - 173. Let o = a - -166. Is 27 a factor of o?
False
Let k(n) = 23*n - 17. Suppose -4*z = 4*z - 32. Is k(z) a multiple of 23?
False
Is 116/18 + 428/(-963) a multiple of 4?
False
Is 24 a factor of (-672)/98*(-105)/2?
True
Let r = 66 + -44. Let a(o) = -o**2 + 24*o + 9. Does 23 divide a(r)?
False
Let n(u) = 2*u + 12. Let y be n(-6). Suppose y = 3*j + m - 47, 0*j + 67 = 5*j - 4*m. Is 5 a factor of j?
True
Is 4 a factor of (7 - (-44127)/81) + (-6)/(-27)?
True
Let g(f) = f**2 + 11*f - 8. Let h be g(-13). Suppose -3*s = -4*s + h. Suppose 5*d = 2*d + s. Does 3 divide d?
True
Suppose -3*x + 4 = -x + 5*f, 0 = 4*x - f - 52. Suppose x*a + 491 - 3155 = 0. Is a a multiple of 12?
False
Suppose -5*l + 20 = 0, -3*l + 5*l - 2060 = -3*i. Is 7 a factor of i?
False
Let f(x) be the second derivative of 25*x**4/12 - x**3/2 + 7*x**2/2 + 22*x. Does 11 divide f(3)?
False
Suppose 6 = -2*a - 28. Let i = -15 - a. Suppose 5*m = 5*n - 85, -6*n + i*n + 83 = -m. Is 11 a factor of n?
True
Let h(d) = 3*d**2 - 55*d - 113. Does 3 divide h(21)?
False
Let h(o) = -o + 29. Is h(-16) even?
False
Suppose 3*s = 112 + 1367. Is s a multiple of 59?
False
Suppose 3*a + 4 = -h + 2*h, a = -2*h + 1. Suppose 5*m + 49 = 3*z - z, 0 = m - h. Is 27 a factor of z?
True
Let q = -22 - -24. Suppose -4*l + 180 = q*b - 2*l, 0 = 4*b + l - 375. Does 19 divide b?
True
Let h(l) = -2*l**3 - 15*l**2 - 82*l + 16. Is h(-5) a multiple of 8?
False
Is 13 a factor of (-309 - (2 - 1))/(10/(-15))?
False
Suppose 21 = -b - 5*z, -z - 14 - 19 = 2*b. Let m be 1233/(-6)*b/12. Suppose 2*n = -4*d + 23 + 69, -d = -5*n + m. Is 18 a factor of n?
True
Suppose 13053 = 18*k - 13803. Does 17 divide k?
False
Let u(i) = i**3 - 12*i**2 - i + 14. Suppose -10*h + 48 = -6*h. Let o be u(h). Let s = o - -48. Is s a multiple of 14?
False
Suppose -w - c = -5, 0*w - 4*c = 3*w - 18. Suppose -14 + w = -4*o. Suppose 136 = 4*p + 4*k, -3*p = -p + o*k - 70. Is 13 a factor of p?
False
Suppose -5*c + 2626 = 5*g - 4*g, -c + 514 = 3*g. Suppose 0 = -5*d + c - 81. Is d a multiple of 14?
False
Let l be 152/(-133)*7/(-2). Suppose 340 = 6*f + l*f. Is 17 a factor of f?
True
Suppose 3*k + b - 295 - 288 = 0, 2*k - b - 397 = 0. Is 28 a factor of k?
True
Suppose 31 = -6*w + 7*w. Suppose -6*i + w = 1. Does 5 divide i?
True
Suppose 4*t - 2*g + 11 - 27 = 0, 4*g = 0. Suppose 98 = t*p - 202. Does 25 divide p?
True
Let x(m) = m**3 + 11*m**2 + 12*m + 4. Let a = -51 - -45. Is x(a) a multiple of 28?
True
Let h be 4/12 - (-2)/(-6). Does 38 divide h/1 - (-148 - 4)?
True
Is 37 a factor of -2*(-5 - -6) - (-1 - 704)?
True
Let j(u) = 13*u - 21. Let s(r) = 13*r - 21. Suppose -4*d + 9*d = 25. Let f(p) = d*s(p) - 4*j(p). Is f(9) a multiple of 12?
True
Let g(i) = -27 - 10*i + 12 - 9*i + 14*i**2 + i**3. Does 9 divide g(-15)?
True
Let s(g) be the second derivative of -3*g**5/4 + g**4/6 + g**3/6 - 5*g. Let a(u) = -u**2 - u + 1. Let l be a(1). Is s(l) a multiple of 8?
True
Does 17 divide 1229/6 + (-215)/258?
True
Suppose 3*o = r - 15, o + 20 = -4*o. Suppose 5*a + 327 = r*j, -4*j - a = -408 - 51. Is 14 a factor of j?
False
Suppose -4*x = -7*x. Suppose x = c + 6*c. Suppose c*n - 3*n + 42 = 5*y, 0 = -5*y. Is 7 a factor of n?
True
Let w = 21 - 22. Let n(l) =