 c?
False
Let x = 3650 - 2422. Is 10 a factor of x?
False
Let x = -462 - -1517. Let v = 1497 - x. Is v a multiple of 17?
True
Let b(d) = -3*d**2 + 6*d - 1. Let q be b(4). Let z(p) = -5*p + 83. Let k be z(4). Let j = k - q. Is 11 a factor of j?
True
Is (-1644)/(-2)*(7/2)/((-5)/(-10)) a multiple of 137?
True
Suppose -5*x + 586 = 2*b + 2*b, -8 = -2*b. Suppose -u - 138 = 2*t, -220 = 5*t - 3*u + x. Let f = 128 + t. Is 10 a factor of f?
True
Let s(t) = -4*t + 2. Let c be s(-8). Let x = 36 - c. Does 26 divide (-6)/x*((-176)/3 - -2)?
False
Suppose 4*s = 16, -3*w - 4*s - 2 + 33 = 0. Suppose 8 = w*t - 72. Suppose t*r = 20*r - 52. Is 3 a factor of r?
False
Suppose 56*p = 118693 + 58491. Is p a multiple of 95?
False
Let n be ((-6)/9)/(2/(-1182)). Let v = n - 254. Does 19 divide 4 - (v/(-5) + -4)?
False
Let i(s) be the second derivative of s**4/6 + s**3/3 - 35*s**2 + 14*s. Let w be i(0). Does 42 divide ((-21)/(-5))/((-7)/w)?
True
Let q(g) = -44. Let v(i) = -i. Let z(l) = -q(l) - v(l). Let h be (-117)/78*4/(-6)*-10. Is z(h) a multiple of 2?
True
Let f(r) be the first derivative of 3/2*r**2 + r**4 - 7*r**3 + 13 - r. Is 21 a factor of f(6)?
False
Suppose 2*o + 5*s = -11, 3*o + 3*s + 1 = -o. Suppose 2*f = -4*h + 154, f + o*f - h = 196. Let y = f - 12. Does 11 divide y?
True
Suppose -28*a - 36*a - 24*a + 10560 = 0. Is 40 a factor of a?
True
Suppose -5497 = -2*u - 3*s + 1572, 5*u - 17700 = -2*s. Does 77 divide u?
True
Let l(a) = 6*a - 200. Let g be l(34). Suppose 3*c - 5*d + 1240 = 5*c, 4*c = g*d + 2508. Does 12 divide c?
False
Let f = 10076 + -4132. Is f a multiple of 295?
False
Let w be (0 - -6) + -255 + -4. Does 10 divide -786*(w/69 + (-3)/(-1))?
False
Suppose 3*s = -5*x + 13180, 5*s = 5*x + 2*s - 13210. Is x a multiple of 18?
False
Suppose -4*q = -0*q - 32. Suppose 0 = 12*p - q*p - 604. Let y = 235 - p. Does 16 divide y?
False
Let c = 40 - 43. Let f be (1 - -8)/c - -13. Let j = f - -118. Is j a multiple of 24?
False
Let g = -187 + 405. Suppose g = 3*f - 160. Does 28 divide f?
False
Is -1660*(731/(-85) - 10) a multiple of 145?
False
Let q(o) be the third derivative of o**6/120 + o**5/20 + o**4/24 + 14*o**3/3 - 2*o**2. Let h = -660 - -660. Does 14 divide q(h)?
True
Let u(o) = 258*o**3 + 4*o**2 - 12*o + 14. Does 28 divide u(3)?
False
Let m(s) = 28*s**2 + 34*s + 72. Is m(6) a multiple of 4?
True
Suppose -33 = -5*o - 4*b, 21*b = 24*b + 9. Is (0/(-8))/o - -144 a multiple of 39?
False
Let b be (9/(-9))/(3/(-12)). Suppose 3*h - b*h + 304 = 0. Is h a multiple of 40?
False
Let h(y) = y**3 + 2*y**2 + 12*y - 4. Let k be h(5). Let j = 312 - k. Is 27 a factor of j?
True
Suppose 0 = 44*r - 31625 + 13377 - 29140. Does 6 divide r?
False
Suppose 4*v = 3*m + 12 - 731, 4*v - 703 = -3*m. Let i(c) = -c**3 - 11*c**2 - 5*c - 8. Let x be i(-8). Let k = m + x. Is k a multiple of 6?
False
Let o(q) be the third derivative of q**4/8 - 13*q**3/2 + 20*q**2. Suppose -6*b + 5*b = -20. Is 21 a factor of o(b)?
True
Let a be (-76)/(-5) - 268/(-335). Let x be (57/2)/((-1)/(-2)). Is (x/6 - (-6)/(-3))*a a multiple of 20?
True
Suppose -2*j - 33816 = -5*c, -4*j - 8460 - 11838 = -3*c. Is c a multiple of 6?
True
Suppose -331*k - 1532991 = -514*k. Is k a multiple of 78?
False
Let z(g) = g**3 + 10*g**2 - 10*g + 11. Let c be z(-11). Suppose 7*r - 5*r - 151 = -u, 2*u - r - 277 = c. Is u a multiple of 2?
False
Let v(p) = -3*p + 2. Let u be v(1). Let b(g) = 140*g**3 - 4*g**2 - 3*g + 1. Let x be b(u). Let h = 35 - x. Is 35 a factor of h?
True
Let w be ((-8)/(-6))/((-7)/(-2100)*8). Suppose -8*m + 78 = -w. Is 10 a factor of 3 - -60*(m/5 + -2)?
False
Let z(n) = -n**2 - 3*n - 3. Let w be z(8). Suppose 690 = 6*j - 192. Let b = w + j. Is 9 a factor of b?
False
Suppose -5 = -3*f + 7. Let c be 9/f*(-44)/(-33). Suppose c*h = 3*z - 6*z + 651, 213 = h + 3*z. Does 16 divide h?
False
Let o(b) = 133*b - 40. Let c be o(6). Suppose c - 73 = l. Is 22 a factor of l?
False
Let w = -894 - -1452. Is 2 a factor of w?
True
Let p be (22 - 19)*(2 - 1)/1. Is (-4)/p*86535/(-90) a multiple of 25?
False
Let k(x) = -x**2 - 12*x + 31. Let m be k(-11). Let r = -81 + m. Let p = -1 - r. Does 5 divide p?
False
Suppose 2 = 5*w - 2*f, 4*w - 5*w + 10 = 2*f. Suppose -w*r + 434 = 132. Let p = r + -87. Is p a multiple of 16?
True
Suppose o - 1371 = -6*t + 11*t, 0 = -3*o - 4*t + 4189. Does 68 divide o?
False
Let y(b) = b - 42. Let x(g) = 14. Let h(d) = -8*x(d) - 3*y(d). Let s be h(5). Is 6 a factor of -38 + 124 + 1/(s/(-2))?
False
Suppose 5*d = 30*d - 825. Suppose 0 = -t + 2*j + d, 5*j = t - 30 + 6. Is 13 a factor of t?
True
Let y(w) = -w**2 + 23*w + 40. Let b(s) = -s**3 - 17*s**2 - 16*s - 2. Let d be b(-16). Let c(n) = -10*n. Let r be c(d). Is 26 a factor of y(r)?
False
Let o = 4 + -4. Let t = 1078 - 1076. Suppose t*r + 2*m - 90 = o, -25 = 2*m + 3*m. Is r a multiple of 10?
True
Let f be ((-920)/(-6))/((-4)/(11 - 47)). Suppose -18*x = -6*x - f. Does 57 divide x?
False
Let b(o) be the first derivative of o**4/4 - 3*o**3 - 8*o**2 + 33*o - 78. Is b(11) a multiple of 46?
False
Let v(c) = 2*c**3 + 7*c**2 + 8*c - 13. Let f be v(-9). Does 16 divide 3/((-3 - 980/f) + 2)?
False
Let w = -33 - -33. Suppose w = -5*h + 3*h + 492. Let u = h + -146. Is 20 a factor of u?
True
Let q(z) = z**3 + 6*z**2 + z + 12. Suppose 4*x + 3*o + 24 = -o, -2*x = 3*o + 12. Let p be q(x). Suppose 192 = p*i - 4*i. Does 23 divide i?
False
Let g be (1 + (-20)/12)/((-8)/(-36)). Let f be (2 + 7/g)*-1062. Let d = f - 204. Is 25 a factor of d?
True
Suppose 0 = 101*h - 88*h + 1514 - 20702. Does 6 divide h?
True
Let m be -6 + 6 + -7 + 9. Suppose -2*w = -2*c + 1118, 4*w + 556 = m*c - c. Does 16 divide c?
True
Let b(f) = -5*f + 6. Let v be b(0). Let j(r) = r**3 - 8*r**2 + 6*r - 14. Let a be j(v). Let x = -23 - a. Is x a multiple of 9?
True
Suppose -s - s = -34. Let n(f) = 17*f + 4*f**2 - s*f + 4 + 6*f**2. Does 9 divide n(-2)?
False
Let k = -97 - -97. Let g = k - -210. Is g a multiple of 15?
True
Suppose 0 = 4*i + 2*c - 29170, -121*c + 7288 = i - 116*c. Is 17 a factor of i?
True
Let i be (-4)/(-10) + (-1576)/(-10). Let t(l) = -10*l - 163. Let d be t(-22). Let w = i - d. Is w a multiple of 15?
False
Let p = 10 - 56. Let c = -41 - p. Suppose 5*a = -s + 5*s - 533, 3*s - c*a - 401 = 0. Is s a multiple of 12?
True
Let y be ((-3)/4)/((-2)/8). Suppose 5*j = y*i + 1869, 0 = -4*j + 9*j - 5*i - 1875. Is j a multiple of 12?
True
Let g(x) = x**3 + 28*x**2 + 49*x - 75. Let m be g(-26). Let d = -46 + 706. Suppose -m*q = -8*q + d. Is 28 a factor of q?
False
Suppose 251335 + 406985 - 30595 = 25*p. Is p a multiple of 211?
True
Let f = -15995 + 4615. Let d be (-1)/4 + f/(-80). Suppose -2*n + 20 = 4*q - 88, -5*q + n = -d. Is 7 a factor of q?
True
Let n(r) = 17*r + 13. Let o(t) = t**2 + 18*t + 14. Let p(k) = -3*n(k) + 2*o(k). Let s be p(8). Let d(u) = u**3 + 5*u**2 - u + 1. Is 4 a factor of d(s)?
False
Let d(h) = 2729*h**3 + 17*h**2 - 30*h - 12. Does 68 divide d(2)?
True
Suppose 0 = -17*y + 11042 + 48849. Is 120 a factor of y?
False
Is 20 a factor of 3*((-25428)/(-18) - -14)?
True
Let g be (-4 - 2)/((-1)/(-9)). Let z = g - -234. Suppose y + 4*y = z. Is y a multiple of 6?
True
Let b(u) be the second derivative of u**7/315 - u**6/72 - 7*u**5/120 - 11*u**4/4 + 22*u. Let p(c) be the third derivative of b(c). Is p(4) a multiple of 7?
False
Let t(s) be the second derivative of 16*s**3/3 + 6*s**2 - 26*s. Let q be t(10). Let d = -31 + q. Does 26 divide d?
False
Suppose -218 + 86 = -22*i. Does 14 divide ((-65)/10 + i)/((-2)/1008)?
True
Let d(k) = -498*k - 126. Is d(-14) a multiple of 6?
True
Suppose 0 = 362*r - 670611 + 37111. Is 31 a factor of r?
False
Suppose -2*i = q + 75, 0 = -2*q + 3*i - 4*i - 144. Let k = 151 + q. Suppose 49*l - 48*l - k = 0. Does 10 divide l?
True
Is 45/2*1224/255 a multiple of 18?
True
Let m = 69 + 46. Suppose 0 = -11*s + 8*s - 3*q + 381, -s + 3*q + m = 0. Is s a multiple of 6?
False
Let t(p) = 4*p**2 + 2*p - 12. Let v be t(-4). Suppose v*q - 49*q = -3860. Does 35 divide q?
False
Let d(f) = 2*f**2 - f - 1. Let h be d(-1). Suppose -140*i + 261 = -131*i. Suppose 0 = h*g - i - 49. Is g a multiple of 24?
False
Let t be (1/(-2))/((-114)/36 - -3). Suppose -3*p - 3*g + 762 = 0, -5 = t*g - 11. Does 28 divide p?
True
Let b(k) = -2*k**3 + 41*k**2 + 72*k + 23. Does 3 divide b(21)?
False
Let n = 34350 + -