 be d(3). Let t = h - -150. Is 16 a factor of t?
False
Let y be (0/(-1))/(-9 + 12). Suppose y = -3*r - 35 - 10. Does 2 divide (-2)/4 - r/2?
False
Suppose 0 = 4*r - 2*f - 1268, -3*r - 316 = -4*r + f. Is r a multiple of 41?
False
Suppose -16*q + 11*q = -1480. Does 37 divide q?
True
Suppose 0 = -6*z + 4*z + 5*u + 261, -3*z - 4*u + 449 = 0. Is 20 a factor of ((-16)/4 + z)/1?
False
Let g = 4 - 5. Let k be (-93 + g)/((-28)/(-14)). Let b = k - -67. Is b a multiple of 8?
False
Let a be 3/(-1)*(6 - 7). Suppose 3*c - 6 = a. Suppose c*j - 9 = 0, 5*j = -5*r + 48 + 157. Does 21 divide r?
False
Let t(l) = -11*l - 2. Let q(x) = 7*x + 6. Let c(s) = s + 1. Let m(k) = 6*c(k) - q(k). Let n(o) = -6*m(o) + t(o). Is 9 a factor of n(-4)?
True
Let a = -111 - -429. Is a a multiple of 7?
False
Let k(p) be the third derivative of p**4/24 + 7*p**3/6 - p**2. Let r be 12/10*20/(-6). Does 2 divide k(r)?
False
Let q(c) = 2*c**2 - 60*c + 124. Does 76 divide q(46)?
True
Let v be -3 + (-3)/(-9)*-3. Does 16 divide (1 - (-2)/v)*92?
False
Suppose d = 2*d - 9. Let y(u) = u + 33. Is 21 a factor of y(d)?
True
Let v be 0 - -1 - 2/2. Let x be (-21)/(1 + -8)*(-10)/(-6). Suppose -s + 6*s = 4*y + 148, x*s + y - 138 = v. Does 14 divide s?
True
Let c(h) = 3*h**2 + 3*h - 5*h**2 - 9*h + 3*h**2. Does 4 divide c(8)?
True
Let b(x) = -x**3 - 50*x**2 + 15*x - 104. Does 4 divide b(-51)?
True
Let w(y) = -y**2 - 6*y. Let x be w(-5). Suppose -x*l + 36 = -4*l. Is 9 a factor of l?
True
Is 14 a factor of -5 + -1*5 + (5 - -103)?
True
Let m(x) = x + 11. Let f be m(9). Suppose -4*g - 5*i + f = 0, 2*i - 24 = -4*g - 4. Suppose g*o = 101 + 129. Does 23 divide o?
True
Let s = -1734 + 2934. Does 24 divide s?
True
Let l(n) = n**3 + 15*n**2 + 29*n + 20. Let c be -13 + 11 - (1 + 1 + 8). Is l(c) a multiple of 13?
True
Let s(u) = 4*u**2 - 3*u. Let d be 35/21 - 4/(-3). Is 7 a factor of s(d)?
False
Let m = 4218 + 600. Is 17 a factor of m?
False
Suppose 6 = 2*j - 4*c, 4*j = -3*c - 15 + 38. Suppose j*f + 5 = 0, 0 = 10*x - 13*x - 2*f + 31. Does 3 divide x?
False
Suppose -2*z + 2543 = 4*l - 2135, 0 = -z + 3. Is l a multiple of 8?
True
Suppose 0 = 4*f + 11 + 1. Let p be (-6)/4*2/f. Does 9 divide (p - (-81)/(-6))*-2?
False
Let a = 197 + -125. Does 18 divide a?
True
Let a(v) = 53*v**2 - 25*v - 18. Does 81 divide a(-7)?
True
Let x(c) be the second derivative of 25*c**3/6 - 9*c**2 - 12*c. Is 11 a factor of x(6)?
True
Let i(n) = -2*n**2 + 12*n + 5. Let k be i(6). Let b(w) = -w**3 + 7*w**2 - 5*w - 10. Is 15 a factor of b(k)?
True
Let r(x) = 10*x**2. Suppose 136 = 4*j + 24. Let h = j - 27. Is r(h) a multiple of 5?
True
Suppose 98 = 3*u + 2*u + r, u - 18 = -r. Let q(h) = u*h - 138 + 138. Is q(5) a multiple of 29?
False
Suppose -2 - 1 = -3*i. Let x = i + 15. Suppose -x*j + 12*j = -108. Does 13 divide j?
False
Let d(r) = 5*r**2 + 17*r + 5. Let z be d(-7). Let n = -25 + z. Is 31 a factor of n?
False
Suppose 0*v + 2*v = 0. Suppose 3*p + 93 = 2*k, v = k + p - 2*p - 46. Suppose 8 = d - 2*r - 7, 5*d - k = -5*r. Is 11 a factor of d?
True
Suppose 10 = 2*i, 2*f - 5*i = -7 - 8. Let z = f - 6. Does 4 divide (3 - -8)*(-1)/z?
False
Suppose -7*v = -3*v - 584. Suppose 143*q - v*q = -102. Does 16 divide q?
False
Let h(a) = 3*a - a**2 - 12 - 5*a + 12*a. Let z = -8 - -16. Is h(z) even?
True
Is (-3720)/(-5) + ((-84)/(-2))/6 a multiple of 31?
False
Let i(j) = j - 7. Let v be i(7). Suppose v = -4*d + 319 + 21. Is d a multiple of 17?
True
Is 4 a factor of -6 - 0/3 - -7 - -403?
True
Let o = 433 - 421. Does 6 divide o?
True
Suppose 0 = -y - 2*y + 6. Is 11 a factor of (y/3)/(588/(-297) - -2)?
True
Suppose p = 5*d - 4499, 4*p + 1741 = 4*d - 1855. Does 19 divide d?
False
Suppose 3*l = 4*r - 3786, -3*r - l + 4742 = 2*r. Is r a multiple of 12?
True
Is 49 a factor of 2/(-14) + 12/(336/19324)?
False
Let t(l) = 5*l**2 - 3*l - 4. Let q be t(3). Suppose 0 = 33*n + 455 + 139. Let d = q + n. Is 11 a factor of d?
False
Suppose 0*p + 40 = 4*p. Suppose 2*x - p = -3*x. Suppose -5*m + 77 = -3*g, -5*g + 2*g + 14 = x*m. Does 3 divide m?
False
Suppose 0*d + 133 = 5*d - 2*g, -5*d + 136 = g. Suppose -d = j - 2*a, -a + 150 = -5*j + 4*a. Let r = j + 77. Does 10 divide r?
False
Let t(v) = -2*v - 6. Suppose 5*s + 21 = -49. Let d be t(s). Suppose -d = -2*l + l. Does 8 divide l?
False
Suppose z + 3*p - 1077 = 0, 5*z = p - 1343 + 6744. Is 20 a factor of z?
True
Let z be -1*(-1)/2*0. Suppose z*u - 24 = -4*u. Suppose u*j = 5*j + 29. Is 10 a factor of j?
False
Suppose -11 - 11 = -r. Let w = r - 7. Does 13 divide w?
False
Suppose 3*h = -35*h + 10868. Does 26 divide h?
True
Let c be -4 - (-16)/12*6. Suppose 0 = c*j + j - 25. Suppose a = 5*b - 350, 4*b + j*a = -b + 350. Does 14 divide b?
True
Let g(z) = -3*z + 63. Let a(f) = f - 21. Let p(u) = -7*a(u) - 2*g(u). Suppose 12 = -x + 1. Is 16 a factor of p(x)?
True
Let j(x) = -24*x - 17. Let n be j(3). Let o = n + 115. Is 16 a factor of o?
False
Suppose y - 1083 = -3*u, 723 = 2*u - 0*u + y. Suppose 10*d = 6*d - u. Does 12 divide (32/(-5))/(12/d)?
True
Suppose -3*n - 3*h + 1239 = 0, -h - 442 = -2*n + 384. Is 11 a factor of n?
False
Suppose -2*u + 2*o - 724 = -0*o, u + 2*o + 356 = 0. Suppose -5*m = -5*n + 129 + 11, 0 = -3*m - 3. Is u/n*9/(-4) a multiple of 5?
True
Let i(a) = -a**3 + 7*a**2 - 5*a - 4. Let k be i(6). Suppose 3*y - k*y - 5*o - 26 = 0, 18 = y - 3*o. Suppose x - y + 1 = 0. Is x a multiple of 5?
True
Is 10 a factor of 35/7*1 + 95?
True
Let r(q) = q**3 + 5*q**2 - 8*q - 7. Let p be r(-6). Let a(k) = 5*k + 66. Let y be a(-10). Suppose 0 = -p*u + y + 14. Is 3 a factor of u?
True
Let o = 0 + 2. Suppose -3*k = -3*i - 3, o*k + 21 = -5*i - 19. Let n = 16 + i. Does 5 divide n?
True
Let o(t) = -t**2 + 7*t - 14. Let n be o(6). Let g be 102/24 - (-2)/n. Let i(p) = 6*p + 4. Is 7 a factor of i(g)?
True
Let f(l) be the second derivative of l**3/6 + 7*l**2 - 7*l. Let m be f(-14). Suppose -5*y + 15 = 5*i - 60, m = -4*y - 2*i + 58. Is 14 a factor of y?
True
Let c(l) be the third derivative of l**4/24 + 3*l**3 + 9*l**2. Let v be c(-11). Let t = v + -2. Is t a multiple of 2?
False
Let n(s) be the third derivative of -s**6/120 - 3*s**5/20 + 5*s**4/8 + 13*s**3/6 + s**2. Let v be n(-10). Let u = v + 81. Does 22 divide u?
True
Let g be 705*((-44)/(-10) - 4). Let t = g - 172. Suppose 2 = m, -4 + t = 4*h - 3*m. Is 5 a factor of h?
False
Let b(c) = -3*c**3 + 13*c**2 + 3*c - 2. Let f be b(4). Suppose 54 + 1 = -5*q. Let y = f + q. Does 10 divide y?
False
Is 172 + -36*4/(-16) a multiple of 33?
False
Suppose -5*v - 635 = -2*r, -8*v + 3*r - 508 = -4*v. Suppose -l = l + 8. Is 14 a factor of (v + 1)/(6/l)?
True
Suppose 80*s = -5*g + 78*s + 275, -s = -2*g + 119. Does 3 divide g?
True
Suppose -155 = -3*n - 5*l + 1278, -2*l + 1430 = 3*n. Is 14 a factor of n?
True
Suppose 4*l - 178 = 3*m + 194, 2*l = 2*m + 186. Suppose -4*a + 7*a = 9. Suppose -3*v - l = -a*y, -5*y = -4*v + 5*v - 125. Is 13 a factor of y?
True
Suppose -2*o + 30*u - 27*u + 4044 = 0, 2*o - 2*u = 4046. Is 81 a factor of o?
True
Suppose 0 = -3*v - 3*o - 2*o - 1077, 1776 = -5*v - 2*o. Let t = -93 - v. Is t a multiple of 29?
True
Let l = 3724 + -2531. Is 12 a factor of l?
False
Let t be (-7)/(245/10) + (-51)/(-7). Suppose 3*i - 2580 = -t*i. Is i a multiple of 17?
False
Let f(w) = w**3 + 11*w**2 + 12*w + 12. Let q(c) = c**3 + 8*c**2 - c - 5. Let l be q(-8). Suppose -t - 5*v - 19 = 0, -5*v - 7 = l. Is f(t) a multiple of 20?
False
Let h(r) = 8*r**2 + 82*r - 48. Is 43 a factor of h(-16)?
True
Let s = 426 + 697. Does 6 divide s?
False
Let m(c) = -29*c - 14. Does 8 divide m(-9)?
False
Suppose -9*h = -17*h + 952. Is h a multiple of 17?
True
Let n = 1093 + 856. Does 88 divide n?
False
Let n = 90 + -49. Let u = n - 30. Is 11 a factor of u?
True
Let a be (-10 - -22)/(2/(-4)). Is 14 a factor of (24/(-14))/(a/1764)?
True
Let b be 6/(-8) - 45/20. Is 143 + -1 + b*(-4 - -3) a multiple of 29?
True
Suppose -3*k = -7*k - 296. Let q = 155 + k. Is q a multiple of 9?
True
Let t be ((-12)/(-9) - 1)*78. Suppose 29*n - 144 = t*n. Does 12 divide n?
True
Suppose 5*y - 16 + 6 = 0. Let a be y*1/(-2) - -8. Suppose 3 + a = n. Does 5 divide n?
True
Let b(c) = -c**3 - 2*c**2 + 3*c - 2. Let a be b(-4). Let i = a - 62. Let w = 4 - i. Is w a multiple of 12?
True
Suppose 6746 + 355 = 27*w. Is 88 a factor of w?
False
Let c be (-2 - -2) + 1 + -1.