u) = 450*u**2 - 46*u - 167. Let z(b) = 151*b**2 - 15*b - 56. Let m(y) = 6*s(y) - 17*z(y). Does 22 divide m(-3)?
True
Suppose -3*a = -2*s - 2*s + 245, 60 = s - a. Let w = 64 - s. Let b(l) = 12*l**2 - 2*l - 2. Does 6 divide b(w)?
True
Suppose 0 = 6*o - 10*o - 5*s + 25543, 0 = s - 7. Is 15 a factor of o?
False
Let n be 0/((4/1)/(-2)). Let y = n - 15. Does 32 divide y/5*1 + 67?
True
Suppose 5737 + 5538 = 30*t - 8375. Does 5 divide t?
True
Suppose -d + 4*d = 645. Suppose 0*k + d = 3*k - 5*n, 4*k + 3*n = 306. Suppose -c + 4*c = k. Does 11 divide c?
False
Let u(h) = 8*h + 42. Let o be u(6). Let v = o - 90. Suppose -2*j = 3*x - 306, 0 = -x - 3*j - v*j + 95. Does 26 divide x?
True
Suppose -4*b + 2919 + 389 = 4*p, 3*b = -4*p + 2476. Is b a multiple of 6?
False
Let z = -8778 + 12580. Does 27 divide z?
False
Let s be 5156/14 + (-975)/(-91) + -11. Let l = 914 - s. Does 13 divide l?
True
Suppose 0 = -a + 5*x + 1138, 0 = -19*a + 14*a + 4*x + 5606. Is a a multiple of 5?
False
Suppose 34915 = 5*q + 5*f + 7350, 5*f - 22053 = -4*q. Does 17 divide q/13 - (-3)/3?
True
Let m = -13580 + 32845. Is 63 a factor of m?
False
Let m(v) = 1344 + 1351 + 4*v**2 + 6*v - 4047 + 1346. Let z = 7 - 4. Is 24 a factor of m(z)?
True
Let j = -36 - -41. Suppose -j = -p + 26. Let a = p - -17. Does 8 divide a?
True
Let l(u) = u**3 - 5*u - 4. Let m be l(-3). Let k(h) = -h - 6. Let z be k(m). Is (-9)/(-6) - ((-955)/z - 1) a multiple of 26?
False
Let w(x) = 8 - 146*x**3 + 5*x + 141*x**3 - 3*x**2 - 4*x**2 - 4*x**2. Does 11 divide w(-4)?
True
Suppose 4*c = -5*n - 6382, 0*n - c = n + 1277. Let r = -755 - n. Is r a multiple of 25?
False
Suppose 3*w + 783 = 6*w. Suppose -r + 3*h = -h + 76, 3*r = h - w. Let k = r - -153. Does 14 divide k?
False
Let x(m) = -1 - 293*m**3 + 292*m**3 + 21*m**2 - 7 - 18*m. Is 3 a factor of x(20)?
False
Let a = 120 - 72. Suppose 232 = 5*i - a. Let u = -4 + i. Is 26 a factor of u?
True
Suppose 60934 - 67235 = 34*q - 305161. Does 43 divide q?
False
Suppose 12*v = 6*v + 24. Suppose -3759 = -v*t + 2*o - 5*o, 0 = -t + o + 945. Does 74 divide t?
False
Let p(b) = -2*b + 118. Let l(r) = r**3 + 4*r**2 - 6*r - 5. Let h be l(-5). Let k be p(h). Suppose -3*z + k = -38. Is 26 a factor of z?
True
Let n(w) = -w**3 + 62*w**2 - 24*w - 1182. Is n(45) a multiple of 213?
True
Suppose -4*b - b = 0. Suppose b = -2*i + 7 + 23. Is 6 a factor of (-2)/6*(-540)/i?
True
Suppose -n - 10485 = -3*a, -3*n - n = -a + 3495. Let o = a - 2424. Is o a multiple of 17?
True
Is 41 a factor of 9131 + -4 + 204/(-51)?
False
Let y be (-2)/5 - (-432)/(-45). Let g be 9/2 - (-2 - 35/y). Suppose f + 2*t = -g*t - 14, 0 = 5*f - 3*t - 70. Is f a multiple of 2?
False
Let k(j) = j**2 + 8*j + 7. Let p be k(-5). Let n(q) = q**2 + 9*q + 2. Let l be n(p). Let o = 16 - l. Is 4 a factor of o?
False
Suppose 0 = 49*r - 5*r - 24024. Is 13 a factor of r?
True
Suppose 734*y + 882735 = 839*y. Is y a multiple of 13?
False
Suppose 2*b = 3*o + 42071, -20921 = -2*b + o + 21156. Is b a multiple of 20?
True
Let t be (-99)/22*(-4)/6. Suppose t*o = -0*l + 5*l - 31, 2*o = -4*l - 28. Does 4 divide (0 + 28/o)*-9?
False
Suppose t = b + 87 - 19, 4*t - 5*b = 272. Let w = t - 115. Let c = w + 69. Is c a multiple of 6?
False
Let g be (12 + -9)/((-1)/(-24)). Suppose -g - 79 = -c. Does 26 divide c?
False
Suppose -l - x - 3 = -2, -l + 4*x = -19. Suppose f - l*u - 229 = 0, 2*f = -u + 41 + 438. Let p = f - 152. Does 12 divide p?
False
Let g be ((-30)/4)/(-3*5/30). Suppose -2052 = g*v - 24*v. Is 12 a factor of v?
True
Let p(x) = -x**3 + 12*x**2 + 12*x + 25. Suppose -4*r + 16 = 4*d - 2*d, -5*r = -15. Suppose 2*v - 19 = -b, d*v + 49 - 3 = 4*b. Is p(b) a multiple of 12?
True
Let o(d) = d**2 + 25*d + 52. Let v be 2*(5/(-7))/(16/(-56)). Let r be 5*3/((-3)/v). Is 14 a factor of o(r)?
False
Let h(k) = -30*k + 32. Let r be h(-51). Suppose 4*u + 2*i - 5233 - 995 = 0, -3*i = u - r. Does 12 divide u?
False
Is 1564/(-84)*-204 - 4/14 a multiple of 51?
False
Let l = -6257 + 12275. Does 17 divide l?
True
Is 15 a factor of ((-83130)/(-75) - -46) + (-6)/(-10)?
True
Suppose 0*f - 3*f = 0. Let n be (f/(3 - 5))/(1 - 3). Suppose -3*s - 6*s + 648 = n. Is s a multiple of 9?
True
Let s be -1*28*(-2513 - (2 - -4)). Is 20 a factor of (-1 - -3)*(s/14)/11?
False
Let g(w) = w**3 - 4*w**2 + 4*w + 5. Let j be g(4). Suppose 4*o = -3*i + j, -5*o + 2 = -4*i - 1. Suppose -103 = -o*z + 62. Is 28 a factor of z?
False
Does 22 divide ((-7035)/2 - -3)/(3 - (-90)/(-24))?
True
Suppose 0 = -3*p + 3, -p + 2711 = 4*f + 466. Does 33 divide f?
True
Let f = 65 + 278. Suppose -7*n = -8*n + f. Suppose 2*l + 0*c = 5*c + 238, 3*l - 4*c = n. Does 43 divide l?
False
Let i be (1/5)/(8/40). Let s be i/(2/((4 - 1) + -1)). Is 8 a factor of 198/(-18)*(-1 - 7/s)?
True
Let q = -43384 + 65994. Is 38 a factor of q?
True
Suppose -2*i + 10 = 5*d, -5*d + 0*d = i - 15. Does 16 divide (-61)/3*(5 - d)*-3?
False
Suppose 2*l - 5*z = 13695, -37*z = 2*l - 34*z - 13719. Is 128 a factor of l?
False
Suppose 2*o = 4*y + 34912, 2*o - 38*y + 42*y = 34928. Is o a multiple of 60?
True
Let i(n) = 3*n - 5. Suppose 2 + 1 = 3*a, 11 = 4*t - a. Let j be i(t). Suppose z + j*z = 3*s - 158, 4*z = -4*s + 168. Is 10 a factor of s?
False
Let s = 20 - 36. Let h = 65 + s. Let z = 98 - h. Does 11 divide z?
False
Let w = -296 + 650. Let n = w + 36. Is n a multiple of 30?
True
Let a = -7795 - -13215. Is a a multiple of 24?
False
Let u be -25*2/(-10) + 1. Suppose -2*i = -4*x + 226, -4*x - u*i + 223 = -5*i. Is x even?
True
Let w be (-9408)/(-18) + (-10)/15. Let g = w + -214. Is 11 a factor of g?
True
Is 64 a factor of ((-1)/3)/(424/(-27898776))?
False
Let l be ((-2)/(-7) - 0) + (-2)/7. Suppose l = -4*r - 2*v + 3782, 4*r = 5*r + 4*v - 935. Does 19 divide r?
False
Let x be 12/7*(-9 + 16). Let u be 117/x - (-2)/8. Let l = 27 - u. Is 2 a factor of l?
False
Let q(h) = 6*h**2 + 3*h - 28. Let b be q(-8). Let d = 502 - b. Is d a multiple of 25?
False
Let c be (-38 + 15)*(3 - 4). Let w(l) = 30*l - 378. Is w(c) a multiple of 14?
False
Let j(q) = 12*q**2 + 10*q - 35 + q**3 + 13*q**2 + 8*q**2 + 17*q**2 - 74*q**2. Is j(24) a multiple of 5?
True
Let x = 787 + -781. Let a(m) = 5*m**3 - 12*m**2 + 5*m - 2. Let b(k) = 6*k**3 - 13*k**2 + 5*k - 2. Let h(d) = -5*a(d) + 4*b(d). Does 20 divide h(x)?
False
Let k = -3575 - -13365. Is k a multiple of 22?
True
Let p be (-4031 + 3)/(-4) + (-10 - -7). Let n = p + -707. Is n a multiple of 33?
True
Let l(o) = -483*o - 1505. Does 18 divide l(-12)?
False
Let r(k) = -78*k - 139. Let w be r(-8). Let g = 746 - w. Is 20 a factor of g?
False
Let q(j) = 44*j + 40*j + 30 - 66*j + 53*j. Let n be q(3). Suppose -n = 5*v - 8*v. Does 27 divide v?
True
Let l = 3274 - -1823. Is 13 a factor of l?
False
Let r(j) = j**3 - 13*j**2 + 7*j. Let k be r(9). Let l = -118 - k. Is l a multiple of 6?
False
Let a(z) = -z**2 + 7*z + 5. Let r be a(7). Suppose -4*x - r*l + 15 = 0, l = 3 - 4. Suppose -5*b = 3*c - 80, x*c - 3*b = 46 + 42. Is c a multiple of 4?
True
Suppose -3*u + 45*u - 2*u = 958360. Is 13 a factor of u?
True
Suppose 3*q = 2*t - 0*q - 6369, 12723 = 4*t - q. Is t a multiple of 71?
False
Suppose -37 = 7*w - 9. Does 9 divide 473 + (3 - 4) + w?
True
Let i(p) = -8*p**2 + 24*p - 8. Let k be i(7). Let w = -54 + -31. Let g = w - k. Is g a multiple of 21?
True
Let s(j) = 7*j**2 - 5*j - j**2 - 3 + 0. Let x = 107 - 102. Is 16 a factor of s(x)?
False
Let d(z) = 1641*z**2 + 36*z + 78. Does 15 divide d(-2)?
True
Suppose 62*o = 123*o - 37881. Is o a multiple of 27?
True
Let x(g) = g**2 - 3*g + 9. Suppose 4*l - 39 = -5*s - 0, l + 15 = s. Let i = s + -18. Is x(i) a multiple of 21?
False
Let r(v) = v**3 - 16*v**2 + 4*v - 22. Let j be 26/(-1)*(0 + 1). Let s = 42 + j. Is r(s) a multiple of 6?
True
Suppose 8*t - 40 = 8. Suppose k + t = 2*k + p, 2*k + 16 = 5*p. Suppose 0 = -2*q + 4*q - k, q - 277 = -2*r. Is 6 a factor of r?
True
Suppose y - 4*i = 0, 0 = 3*y + 2*i - 4 - 10. Suppose 8*o - 89 = -m + 3*o, -338 = -y*m - 2*o. Is m a multiple of 14?
True
Suppose -170148 = -132*d + 293172. Is d a multiple of 90?
True
Let t be (1/4)/(5/40) + -1262. Let s = t + 1785. Does 35 divide s?
True
Let l = -5508 + 6560. Is l a multiple of 39?
False
Let n(h) be the third derivative of h**8/6720 + h**7/720 - h**6/36 + 7*h**5/60 + 21*h**2. Let k(r) be the third derivative of n(r). Does 18