 Let k = c - a. Does 8 divide k?
False
Let v(l) = 25*l - 20. Let j(o) = 1. Let f(a) = -3*j(a) + v(a). Let x be f(7). Suppose -8*h = -x - 112. Is h a multiple of 11?
True
Let r(t) = 2*t**3 + 131*t**2 + 39*t + 155. Is r(-65) a multiple of 9?
True
Suppose -5*j - 4*z + 9*z + 70 = 0, 4*z - 64 = -4*j. Suppose -s = 3*p - 130, j*p - 10*p - 214 = s. Is p a multiple of 43?
True
Suppose -3*u - 4*g + 9582 = 0, u - 2*g + 4*g - 3192 = 0. Does 82 divide u?
True
Suppose 12 = -d + 3*a, -16 = -3*d - 0*a - 4*a. Suppose 0 = -5*g + 33*b - 28*b + 900, d = b - 3. Is 27 a factor of g?
False
Let x = 688 - 1147. Let n = x - -874. Does 21 divide n?
False
Suppose 4*z - 16 - 4 = 0. Let t(v) = 3*v**2 + 43*v + 14. Let h be t(-14). Suppose z*b + q - 184 = 4*q, h = 5*b - q - 188. Does 23 divide b?
False
Let i = 101 - 56. Suppose 9*u = 8*u + i. Does 9 divide u?
True
Let t(u) be the second derivative of -u**4/6 - 2*u**3 + u**2 - u + 25. Let v be (-37)/7 + (-6)/(-21). Is 6 a factor of t(v)?
True
Let k(l) = 40*l**2 + 887*l - 65. Does 52 divide k(-29)?
True
Let g(t) = -2*t**2 + 58*t + 2. Let s be g(29). Suppose -196 = 4*a + 4*j, s*a = -a - j - 143. Let w = a + 71. Does 12 divide w?
True
Suppose -f = y + 17, -y + 2*y = -3*f - 19. Let k be (2/(-4) + 1)/((-2)/y). Suppose k*n - 28 = -8. Is 3 a factor of n?
False
Is 14 + (-400185)/(-105) + 4/(-14) a multiple of 10?
False
Suppose 0 = -2*u - 0*g + 2*g, -2*u - 3*g = 0. Suppose -30*z + 37*z - 1232 = u. Does 16 divide z?
True
Let a = 426 - 778. Let g = 486 + a. Is g a multiple of 27?
False
Let r(o) = -43*o - 899. Let d be r(-21). Let h(j) be the third derivative of j**6/40 - j**5/60 - j**4/8 - 2*j**3/3 + j**2. Is 17 a factor of h(d)?
False
Let p be (-306)/714 - (148/14 - 2). Let s(n) be the first derivative of -13*n**2/2 + 71*n + 2. Is s(p) a multiple of 29?
False
Suppose 0 = -8*o - 7 + 47. Suppose 3*z = -z + o*g + 9, z + 5*g = -29. Let s = 29 - z. Is 4 a factor of s?
False
Suppose -14129*q = -14135*q + 2400. Does 50 divide q?
True
Let r(b) = -2*b**2 + 68*b + 24. Let y be r(34). Suppose 98 - y = g. Does 9 divide g?
False
Let w(r) = 34*r**2 + 11*r - 33. Let n be w(-8). Is (n/(-10) + (4 - 6))*-2 a multiple of 27?
False
Suppose -23 = 4*f + 61. Let g = 1897 + -1936. Let b = f - g. Is b a multiple of 5?
False
Suppose 96 = a + 203*b - 204*b, -4*a = 2*b - 348. Does 18 divide a?
True
Suppose -z - 3*j = 0, 6*z + 4*j = 7*z. Is 288/2 + z/10 a multiple of 16?
True
Suppose b + 11 = 5. Let u be (3/b)/(2/(-28)) + -3. Does 8 divide (-1)/(-2) + (198/u - 2)?
True
Let h(x) = x**2 + 5*x. Let a be h(-5). Let q = -70 - -72. Suppose -w - q*k + a*k + 53 = 0, -3*w + 104 = -5*k. Is w a multiple of 22?
False
Suppose -2*r = -4*x - 0*r - 28, 3*r + 46 = -5*x. Let j = -6 - x. Suppose -j*s = -0 - 192. Is 24 a factor of s?
True
Suppose 2*b - 10 = 5*f, 3*b - 2 + 0 = f. Let c(v) = -v - 3. Let r be c(-4). Does 3 divide (r - (-22)/(-6))*21/f?
False
Suppose -131*w - 3191 = -66*w - 66*w. Does 36 divide w?
False
Let d(c) = 7*c + 70. Let q be d(-10). Let a(j) = -2*j**2 - 4*j + 4. Let g be a(q). Is 44 a factor of -42*(-6)/g - (5 - 9)?
False
Let b = 54 - 52. Let f be -5 - -9 - (-1)/(b/4). Does 13 divide -1 + f + -2 + 93?
False
Is 15 - (-226983 - -15)/4 a multiple of 160?
False
Let w(y) = 6*y - 8. Let o be w(9). Let x = -44 + o. Does 10 divide -1 + 2 + x/(-4)*-98?
True
Let d = 616 + -383. Suppose -2*r + d = 3*m + 3*r, 0 = 4*r + 8. Is m a multiple of 8?
False
Suppose 3*q = -2*q + 5*l - 425, -5*l = 5*q + 475. Is q*(-6 - (-80)/15) even?
True
Suppose 504*z - 475*z = 23200. Is z a multiple of 20?
True
Let i(h) = -11*h + 3. Let j = -36 - -33. Let t(g) = 11*g - 2. Let n(c) = j*i(c) - 4*t(c). Does 11 divide n(-5)?
False
Suppose -4*b + 4*s = 2*s - 23274, -5*s = 3*b - 17475. Suppose b = 4*u + 16*u. Does 46 divide u?
False
Let n(w) = -86 + 370*w - 4*w + 106. Is 14 a factor of n(1)?
False
Let m be ((-5)/2)/((-22)/(-484)). Let l = 59 + m. Suppose -b = b + 4*k - 280, -5*b + l*k = -672. Is b a multiple of 34?
True
Suppose 36500 + 2942 = 13*p. Does 6 divide p?
False
Let m be 67257/517 - ((-2)/22)/(-1). Does 12 divide m + -1 - (-12)/(-3)?
False
Suppose 37*c - 40*c + 39696 = -3*j, -4*j - 39698 = -3*c. Does 10 divide c?
True
Let m = -425 - -2466. Is 13 a factor of m?
True
Let m = 46 + -15. Let s = -4419 - -4473. Let q = s - m. Does 23 divide q?
True
Let p = 38 + -90. Suppose -4*h - 8 = 0, 0 = -6*z + 3*z + h - 10. Let j = z - p. Does 24 divide j?
True
Let b(p) = 117*p**2 + 2*p + 475. Does 10 divide b(11)?
False
Let v(j) = -51*j - 89. Suppose n - 19 = 2*n - 4*q, 3*q = 2*n + 18. Is 2 a factor of v(n)?
True
Suppose 10*k - 1 - 39 = 0. Suppose 3*l + 339 = 5*v, -l = k*v - 4*l - 273. Does 10 divide v?
False
Suppose -23*a + 20*a = 0, -150975 = -5*k + 3*a - 6*a. Is k a multiple of 9?
True
Suppose 29*l = -66*l + 29*l + 409794. Is 12 a factor of l?
False
Suppose 4729 - 46927 = -8*v + 22250. Is 177 a factor of v?
False
Let m be 6*((-5)/(-15))/(-1). Let x be 0/(-3) - -299 - m. Suppose 913 = 3*h + n, 4*h - 5*h + 3*n = -x. Is h a multiple of 38?
True
Let l(y) = 136*y**3 - 9*y + 8. Let v be l(1). Suppose 3*u - v = -d + 159, -4*d + 1189 = -u. Is 27 a factor of d?
True
Suppose 4*m + 48 = 4*r, 0 = 2*r + 10*m - 11*m - 20. Is 33 a factor of 526/8 + (-12 - (-98)/r)?
True
Suppose -22074 = -5*m + y + 7569, -3*y = 5*m - 29651. Is m a multiple of 49?
True
Does 332 divide ((-866404)/(-208) - 8/52)/((-1)/(-8))?
False
Let p(k) = -k + 11. Let u be p(8). Suppose -35*r = -2762 - 6898. Is 3/((u/r)/(3/18)) a multiple of 46?
True
Suppose 173*t = 165*t + 2496. Suppose -30*u + 26*u = -t. Does 2 divide u?
True
Let n be 6 + (-5 - 6 - -5). Does 4 divide (-244 - 6)*(-1 - n)?
False
Let f(p) = -5*p + 2. Suppose -5*g + 15 = 5*x, -7*g - 1 = -2*g + x. Does 4 divide f(g)?
False
Let p(i) = i**3 - 14*i**2 + 18*i - 22. Let x(k) = -12*k + 58. Let b be x(0). Let h = b - 45. Is p(h) a multiple of 10?
False
Suppose -18398 - 37575 = -15*w - 13073. Is w a multiple of 8?
False
Let i(m) = -m**3 - 5*m**2 + 9*m + 31. Suppose -5*k - 2*v - 45 = 2*v, -k - 5*v = 9. Does 11 divide i(k)?
False
Suppose 0 = 3*i - 3*s - 39, -4*i + 45 = 5*s - 2*s. Let j be (i/(-36))/((2/(-165))/2). Suppose -5*y - 20 = 0, 2*y - j - 9 = -3*q. Is q a multiple of 8?
True
Let z = 24 + -73. Let q = z - -49. Suppose m + 5*w + q = -5, -2*m = -w - 45. Does 20 divide m?
True
Let d(b) = 36*b**2 + 49*b + 71. Is 26 a factor of d(11)?
True
Let c be ((-6)/7)/((-8)/28). Suppose 134 = c*x - 40. Is 11 a factor of x?
False
Let y(a) = -5511*a**3 + 5510*a**3 - 4 - 3*a**2 + 11. Does 2 divide y(0)?
False
Let c be (-13 - -3)*(26/10 + -3). Suppose -c*k - 2*k + 132 = 0. Suppose -k = -2*a + 3*x, -5*x - 34 - 12 = -4*a. Is a a multiple of 13?
False
Suppose 10 - 2 = 2*p. Suppose p*b = -13 + 161. Is b a multiple of 6?
False
Let w be 140/(-21) + (-4)/(-6). Is 6 a factor of ((-338)/1)/(-4 - w/3)?
False
Let p be 34/(-4)*(36 + -38). Let n(y) = 9*y + 15. Does 24 divide n(p)?
True
Let r(c) = -41*c**3 + 32*c**2 + 18*c - 5. Is r(-5) a multiple of 5?
True
Suppose -27243 = -3*l + 3*g, l = -0*g + 4*g + 9066. Suppose -23*s + 6807 = -l. Is s a multiple of 40?
False
Let f = 16574 + -10105. Is 6 a factor of f?
False
Is 12 a factor of 3543 - 22/((-374)/357)?
True
Suppose 0 = 37*r + 132*r - 37781 - 254589. Is 4 a factor of r?
False
Let p = -121 - -25. Let i = -96 - p. Suppose 0*l = -3*o + 2*l + 254, -4*l - 16 = i. Is o a multiple of 17?
False
Suppose 167*q - 16836 = 310*q - 204*q. Does 38 divide q?
False
Let y(p) be the second derivative of p**5/20 - 11*p**4/12 + 10*p**3/3 - 31*p**2 - 39*p + 1. Is y(12) a multiple of 7?
True
Let a(k) = k + 663. Is a(112) a multiple of 80?
False
Let w(i) = 228*i + 233. Is w(7) a multiple of 57?
False
Suppose -131236 = 484*u - 527*u. Does 20 divide u?
False
Let v be 240/90 + 4/(-6). Is 5 a factor of v + (-5)/3 + (-4929)/(-9)?
False
Let z(x) = 2*x**2 - 4*x - 3. Let b be z(3). Suppose -8*c = -3*c - 4*k - 42, 0 = -3*c - b*k + 9. Does 28 divide 160/c + 2 - 2/3?
True
Let y(t) = 2040*t**2 - 23*t + 54. Does 91 divide y(4)?
False
Let w be (2/(-4)*(-16)/(-4))/(-2). Let o(j) = 252*j**3 - 5*j**2 + 4*j + 1. Is o(w) a multiple of 12?
True
Suppose 12 = -4*j + 20. Let r(q) = -j*q - 16*q**2 - 29*q - q**3 - q - 1 - 6. Is 7 a factor of r(-14)?
True
Let b = -9184 - -13569. Is b a multiple of 17?
False
Is 27384/70 - (7