2*l - 10 + 5*l. Let i(n) = 2*n**2 - 13*n + 21. Let g(c) = 2*i(c) + 5*t(c). Is g(7) a multiple of 3?
True
Suppose -8*n = -3*n - 2*d + 3996, -1602 = 2*n + d. Is (n/30)/(1/(-3)) a multiple of 10?
True
Let f be -3 + 2 - (-6)/2. Let z(j) = j**3 + 10*j**2 + 3*j + 14. Let h be z(-9). Suppose 3*u + 5*o = o + 142, f*u - h = 4*o. Does 21 divide u?
True
Suppose 0 = -3*c + 4*a + 2 - 6, -4*a = -16. Suppose -r + 4*z = -34, c*r - 6*r + 89 = -z. Does 8 divide r?
False
Suppose -4*w + w - 36 = 0. Let h be w/(-9) - 35/(-21). Suppose -3*a - z + 79 = 4*z, 5*a - 137 = -h*z. Is a a multiple of 28?
True
Let i(v) = 2*v - 7. Let u be i(14). Let d = -17 + u. Suppose -81 - 20 = -4*f + 3*w, 108 = 4*f + d*w. Is 13 a factor of f?
True
Let p = -1390 - -1949. Does 4 divide p?
False
Let w(q) = -2*q - 2. Let j be w(-2). Suppose -o - 4*o + j*v = -96, -2*o = -4*v - 48. Suppose -2*d = -0 - o. Is 7 a factor of d?
False
Let t(b) = -5*b + 3. Let m be t(4). Let z(c) = -17 + 11*c - 33*c - 4*c**2 + 5*c**2 - 2*c**2. Does 17 divide z(m)?
True
Let h be 245/25*(5 + -1 + 1). Suppose 4*z + 23 = 5*y, -2*z - y = 7 + 8. Let p = h - z. Is p a multiple of 14?
True
Suppose 768 + 765 = 7*k. Is k a multiple of 68?
False
Let b(i) = 3*i + 10. Let y be b(-5). Let w be y/2*(-15 + 7). Is -45*8/w*-1 a multiple of 18?
True
Suppose -14*s + 26*s - 14976 = 0. Is s a multiple of 32?
True
Suppose 280 = 16*q - 9*q. Suppose f = 2*f - q. Is 2 a factor of f?
True
Suppose 1913 = 13*x - 375. Does 3 divide x/10 + 18/45?
True
Let w(m) = -m**3 + 3*m**2 + 3*m + 1. Let b be w(-2). Let h = -15 + b. Suppose q - 5*q + 64 = h. Does 4 divide q?
True
Let u = 11 - 22. Let z = u + 14. Suppose z*x = o + 12 + 69, 0 = -x + 2*o + 27. Does 13 divide x?
False
Let g(o) = -5 - 10*o + 4 - 1 - 9*o**2 + o**3 + 0. Let w be g(7). Let c = 245 + w. Is c a multiple of 15?
True
Is (0 - 315/(-10)) + (-3)/(-2) a multiple of 33?
True
Let z(j) = 13*j**2 - 33*j + 9. Is 5 a factor of z(4)?
True
Let g(n) = -n**2 + n - 3. Let l be g(0). Does 10 divide (l - 3/3)*(-25)/1?
True
Suppose 0 = -13*v + 9589 - 1126. Does 21 divide v?
True
Let z be (3 + -9)*6/(-9). Is 4 a factor of (10 + -4)/(z/10)?
False
Suppose 59*g - 21*g = 102524. Is g a multiple of 71?
True
Suppose -5*k - 5*z + 2895 = -0*k, 2334 = 4*k - 2*z. Is k a multiple of 48?
False
Let b = 81 - 116. Let g = b - -53. Is g a multiple of 18?
True
Suppose 112 = -5*l - 4*s, -5*l - 5*s - 74 - 36 = 0. Is 13 a factor of 640/l*(-6 + 3)?
False
Let p(s) = -9*s - 2. Let q = 1 - 7. Let z be p(q). Suppose m = -d + z, 4*m + d = -d + 216. Is 14 a factor of m?
True
Let j(f) = 109*f**2 - 3*f - 1. Let k(y) = y**3 + 15*y**2 - y - 13. Let w be k(-15). Suppose -5*h = w*z - 3, -h - 4*h = -3*z - 8. Is 30 a factor of j(z)?
False
Let h(u) be the first derivative of -u**4/4 + 3*u**3 - 11*u**2/2 + 9*u + 5. Let t be h(8). Let p = t - -34. Is 5 a factor of p?
False
Let z(b) = -5*b**3 + 7*b**2 - 2. Let a(j) = -4*j**3 + 6*j**2 - 1. Let m(p) = 4*a(p) - 3*z(p). Let t be m(3). Suppose 0 = -5*r + t*r + 12. Is 4 a factor of r?
True
Let q(b) = -229*b**3 - 2*b**2 + 1. Suppose 4*d - 15 = -5*o - 0*d, 2*o = d - 7. Is q(o) a multiple of 12?
True
Suppose 0 = -2*w + 3*v + 2622, -4*w + 1017 = -5*v - 4223. Is 14 a factor of w?
False
Let m be (-30)/12*(-4)/5. Suppose m*w = 5*f + 27, w + 24 = -6*f + f. Is -3 - ((-1)/w - 10) even?
True
Suppose -2*f = -236 + 88. Is 4 a factor of f?
False
Let p = 94 + 168. Let y = 467 - p. Suppose -5*l = -0 + 5, -3*u = 5*l - y. Is 14 a factor of u?
True
Let d(j) = 12*j - 92. Let g(k) = -62*k + 461. Let z(o) = -11*d(o) - 2*g(o). Does 6 divide z(0)?
True
Suppose -5*a - 4*b = -4798, -2*a + 3*b = -0*b - 1933. Is 26 a factor of a?
True
Suppose 23 = -16*o + 17*o. Does 3 divide o?
False
Let s be (-2)/9 + (-12996)/(-162). Let d = s + -28. Is d a multiple of 8?
False
Suppose -4*x - 886 = -5*u + 411, 5*u + 2*x - 1309 = 0. Is 18 a factor of u?
False
Suppose 9*l - 74 = 619. Is 65 a factor of l?
False
Let p(s) = s**2 - 13*s - 12. Let g be 15/1 - (-1 - -2). Let b be p(g). Suppose b*z + 13 = 3*z. Is 3 a factor of z?
False
Suppose -15840 = 1258*r - 1266*r. Does 11 divide r?
True
Let f(m) be the third derivative of m**9/3360 - m**8/20160 + m**7/5040 - m**5/6 - 13*m**2. Let a(g) be the third derivative of f(g). Does 3 divide a(1)?
True
Let u(n) = 3*n - 29. Suppose 0 = 4*p - 4, -4*b = p - 0*p - 121. Suppose 6*a = b + 60. Is u(a) a multiple of 8?
True
Let z = -10 + 12. Let d(q) = 12*q**2 + z + 14*q**2 - 3. Is d(1) a multiple of 7?
False
Let u = 581 - 144. Is 21 a factor of u?
False
Let a(t) = t**2 - 4*t + 7. Let q be a(-5). Suppose 6*w - w - 5*n = 240, w - 5*n - q = 0. Is w a multiple of 8?
False
Suppose 3*o = -y + 17, y = 6*y - o - 117. Suppose -20*a - 12 = -y*a. Is 2 a factor of a?
True
Let m(f) = -f**3 - 3*f**2 - 2*f - 6. Let r be m(-3). Suppose 3*o - 4*k - 58 = r, k - 35 = -2*o - 0*k. Is 1336/o + (-16)/72 a multiple of 26?
False
Let w(r) = 2*r**2 - 4*r + 12. Let q be w(-14). Suppose q = -45*z + 50*z. Is 23 a factor of z?
True
Let f = 3 + -1. Is 8 a factor of (-10)/(-25)*-5*f + 20?
True
Is 92/6*(15 - (-6 + 15)) a multiple of 5?
False
Is 2*(-6)/(-4)*(-64584)/(-162) a multiple of 13?
True
Let s(o) = 11*o + 7. Let n be s(-2). Let m = 93 - n. Does 27 divide m?
True
Suppose 2*z - 4*u = 5*z - 5910, -3*u = 2*z - 3940. Is 71 a factor of z?
False
Let t = 644 + -517. Is 5 a factor of t?
False
Suppose u = -2*u. Suppose -2*z + 56 = 5*l, -3*l - 4*z - z + 45 = u. Is 6 a factor of (-15)/l - (-102)/4?
True
Let m(y) = 50*y - 11 + 35 + 13 - 14. Is m(4) a multiple of 13?
False
Let a be 160/28 - 6 - (-40)/(-7). Does 29 divide (4*a/(-24))/(2/290)?
True
Suppose 0 = -5*l - 2*x + 35, -l + 6*l - x - 50 = 0. Let n(h) = -2*h**3 + 18*h**2 + 5*h - 21. Does 24 divide n(l)?
True
Let i(n) = 11*n**2 - 6*n - 10. Let o(x) = -16*x**2 + 9*x + 15. Let b(g) = 8*i(g) + 5*o(g). Is 26 a factor of b(-3)?
False
Suppose -5*w + s + 2468 = -674, 3*s + 3136 = 5*w. Does 14 divide w?
False
Let z(w) = 34*w**2 + 2*w. Let c be z(2). Suppose -o - 4*o = c. Let v = o - -55. Is 22 a factor of v?
False
Let u(y) = 19*y**2 + 2*y + 9. Is u(-2) a multiple of 27?
True
Suppose -11 - 10 = -7*j. Suppose j*a + 2*c = 278, 119 = 2*a - 4*c - 45. Is 9 a factor of a?
True
Is 4 a factor of (-56)/(-16)*(2 - (-1550)/35)?
False
Let j(i) = 3*i**3 - 2*i - 14. Is j(4) a multiple of 5?
True
Let g(k) = -k**3 + 18*k**2 - 33*k - 1. Does 6 divide g(15)?
False
Suppose s + 4212 = 4*y + 5*s, 4214 = 4*y + 2*s. Is y a multiple of 31?
True
Let m(p) = 7*p - 1. Suppose -12 = 4*y - 2*y. Let g be (-17)/(-4) + y/(-8). Is 16 a factor of m(g)?
False
Let h be 2 - (-1 + 1 + 16 + -155). Let s = h - 24. Is s a multiple of 9?
True
Let c be 6/(1 - 0 - 3). Let r be c/(-2) + (-9)/(-18). Suppose -31 = 2*v - 5*v + r*q, -20 = -5*q. Is v a multiple of 3?
False
Let l = 66 + 1851. Is 27 a factor of l?
True
Let g(a) be the first derivative of a**4/4 - 8*a**3/3 + 5*a**2 - 7*a + 9. Is g(7) a multiple of 7?
True
Suppose 0 = -2*d - 3*c + 8615, 174*c = 5*d + 179*c - 21525. Is 41 a factor of d?
False
Let z = 56 + -3. Let o = 0 + z. Let q = 111 - o. Is q a multiple of 29?
True
Suppose 38*n - 42*n = 2*m - 4228, 0 = m - 3*n - 2099. Is m a multiple of 34?
True
Suppose -65*p + 36 = -67*p. Let a(d) = 3*d**3 + d**2 - d. Let z be a(1). Is -1 - p - (-6 + z) a multiple of 5?
True
Let p(x) = -28*x + 1. Let k(m) = 3*m + 12. Let r be k(-5). Does 15 divide p(r)?
False
Let p = -2 + -62. Let r = -33 - p. Suppose 45 = 4*y - r. Does 9 divide y?
False
Let z(m) = m**2 + 10*m + 4. Let v be (1 - (1 + 2)) + -8. Let q be z(v). Suppose 5*a + 2*c = 57, 0*a + 3 = -a - q*c. Is 6 a factor of a?
False
Let l(s) = -s - 11. Let k be l(-16). Suppose k = x, 0 = 6*c - 5*c + 4*x - 58. Is c a multiple of 19?
True
Does 41 divide (172575/27)/13 + 2/6?
True
Let f = -7 + 37. Is f even?
True
Let i(j) = 82*j + 7. Let p(n) = 165*n + 13. Let r(v) = -5*i(v) + 3*p(v). Does 23 divide r(1)?
False
Let t = -149 - -270. Let u = -15 + t. Suppose 2*i + 12 = u. Does 10 divide i?
False
Let j(i) = -3*i - 5. Let b be j(-3). Suppose -4*a + 0*h = h - 152, 2*h - 187 = -5*a. Suppose 65 = b*w - a. Is w a multiple of 17?
False
Let y = 729 - 552. Is 23 a factor of y?
False
Let n(s) = -44*s + 12. Let h be (21 - 19)/(2/(-3)). Does 18 divide n(h)?
True
Let a(v) = -5 - 5 + 8 + 6*v. Let x be a(-3). Let q = x + 33. Does 