ltiple of 7?
False
Let x(h) = -h - 32. Let q be x(-10). Let m = q - -14. Let s = 13 - m. Is s a multiple of 5?
False
Let t = -200 - -215. Does 59 divide 6200/t + (-2)/6?
True
Let n be (-18)/(-4)*(-172)/(-129) - 13. Let m(z) = 14 + 2*z**2 - 4*z + z + 3*z. Is 16 a factor of m(n)?
True
Let y = 168 + -166. Suppose 4*l + y*z = -2*z + 212, 0 = -l + 4*z + 58. Does 6 divide l?
True
Let y(x) = -4157*x + 4759. Does 162 divide y(-7)?
True
Let y = -186 + 256. Let k = 152 + y. Is 16 a factor of k?
False
Suppose 23930 = -445*n + 450*n - t, -2*n - t + 9572 = 0. Does 100 divide n?
False
Suppose 3*y + 5*i - 11553 = 0, -y + i + 746 + 3081 = 0. Does 11 divide y?
False
Suppose -14*v - 17 = 179. Does 67 divide (0 + v)*(-7 - 371/14)?
True
Is 7 a factor of -20 + (-2592)/(-135) - 78328/(-10)?
False
Let m(i) = -i**3 - 18*i**2 + 22*i - 28. Let q be m(-20). Suppose 0*x + 5*h + q = 3*x, h = 5. Suppose -7*j + x = -6*j. Does 14 divide j?
False
Suppose -101*r + 121647 + 5886 = -68205. Is r a multiple of 38?
True
Let i = 602 + -599. Suppose i*f - 2*b = 448, -10*b + 6*b = -4*f + 596. Is f a multiple of 2?
True
Let l(d) = 2*d**2 - 47*d + 29. Let y be l(21). Suppose -4*b - 320 = 3*c, -3*b - b = -c - 128. Let f = y - c. Is 27 a factor of f?
False
Let k(u) = -16*u**2 - 7*u - 5. Let x be k(-2). Let o = 65 + x. Suppose 2*v = o - 2. Does 4 divide v?
True
Let n(v) = v**3 + 3*v**2 - 5*v - 6. Let j be n(-4). Is 12 a factor of (-7155)/(-75) + j/(-10)*3?
True
Let b = -218 + 419. Let m = -167 + b. Is 17 a factor of m?
True
Does 8 divide 306/561 - (-10014)/33?
True
Suppose 5*k + 4218 = -d - 8118, -4*k - 9872 = 4*d. Let p = 3833 + k. Is 11 a factor of p?
False
Suppose 17714*z - 3342 = 17743*z - 51714. Does 12 divide z?
True
Let p(s) = -s - 1. Let o be p(-1). Suppose 2 = 2*k - 2*w, k - 9 = -o*w - 3*w. Suppose -3*u + 2*c + 84 = 5*c, 0 = -5*u - k*c + 132. Does 6 divide u?
True
Suppose 8*c - 11 = 85. Suppose -22 - c = -z. Let p = 140 - z. Is 14 a factor of p?
False
Let a(p) = -315*p + 70. Suppose -40*h = -43*h - 6. Is a(h) a multiple of 32?
False
Let q = -7697 + 14560. Does 113 divide q?
False
Let r(c) be the third derivative of c**5/60 + 23*c**4/24 - 4*c**3 - 36*c**2. Does 19 divide r(20)?
True
Suppose q - 12734 = -a, 3*q - 2*a - 16830 = 21352. Does 134 divide q?
True
Let f be (-6)/21 + -5 + (-1548)/(-28). Suppose 3*c + f = 167. Is 16 a factor of c?
False
Let w(p) = 2*p**3 - 78*p**2 + 7*p + 277. Does 23 divide w(42)?
True
Suppose 101 = -y - 4*a, -2*y - 101 - 97 = 4*a. Let h be (-10)/25 + y/(-5). Is h*(0 + 2) + -3 a multiple of 31?
False
Let v(b) = 7*b**2 + 9*b - 7. Let c(x) = -12*x**2 - 18*x + 13. Let i(k) = 3*c(k) + 5*v(k). Suppose 2*m - 15 = 5*m. Does 6 divide i(m)?
True
Is 16 a factor of 13/26 + 14931/2?
False
Suppose 73*n + 51064 = 86*n. Does 23 divide n?
False
Does 42 divide 56*(6/(-75) - (-377)/25)?
True
Suppose 29*k - 64173 = 30425. Is k a multiple of 42?
False
Let v(a) = 966*a**2 - 1101*a + 4386. Is 28 a factor of v(4)?
False
Suppose -2 = -4*p - 10. Let m(y) = y**3 - 2*y**2 + 2*y + 2. Let t be m(p). Is (-2)/(3 + (-1 - (-38)/t)) a multiple of 18?
True
Let p(d) = -d**3 + 2*d**2 + 5*d - 6. Let y be p(3). Suppose y = -4*n - 3*q + 1523, n = 4*q + 126 + 250. Does 13 divide n?
False
Is ((-31)/(-6)*3694)/(7/21) a multiple of 31?
True
Let j(n) = n**2 - 12*n + 5. Let c be j(11). Let h = c - -26. Let w = 84 - h. Does 17 divide w?
False
Suppose -16*b = -18*b + 10. Suppose b = 4*s + 3*d + 2*d, -1 = 5*s - d. Suppose j + s = 6. Is 4 a factor of j?
False
Let o be (-174)/(-1) - (20/(-5))/2. Let d = o + -18. Is 6 a factor of d?
False
Let j(f) be the third derivative of -f**6/120 + 11*f**5/60 + f**4/3 - f**3/2 + f**2 + 23*f. Does 21 divide j(9)?
True
Suppose 86*h = 87*h - 2*s - 4045, 4*s + 4031 = h. Is h a multiple of 11?
True
Suppose 0 = -3*q + 3*z + 12, 7*q - 14 = 2*q - z. Is 2 a factor of -29*(3/q + -8)?
False
Suppose 2*n + 123 = -251. Let a = 11 - n. Let m = 286 - a. Is m a multiple of 30?
False
Suppose -54 = 5*m - 32*m. Let s(c) = -c**3 + 6*c**2 + 4*c - 4. Let a be s(5). Suppose 3*z = -3, k + m*z + z = a. Is k a multiple of 11?
True
Suppose h = -3*v + 12, h + 4*h = -4*v + 16. Suppose -4*l + 4*a = l - 848, h = 5*l + 2*a - 866. Suppose -177*y = -l*y - 155. Does 14 divide y?
False
Let i(b) = -156*b. Let c be ((-1)/4*-4)/(-1). Let v be i(c). Suppose -3*j + 3*o + v = 0, o + 164 = 3*j - 4*o. Does 8 divide j?
True
Suppose 6803*q - 6812*q + 6869 + 9223 = 0. Is q a multiple of 39?
False
Suppose u - 5*u + 2*c + 40 = 0, -u = -3*c - 15. Is 12 a factor of 5*(2/u - 3221/(-45))?
False
Suppose 2*o = 2*s + 18, 10*o - 6 = 8*o - 2*s. Suppose o*k = -25*k + 44578. Is 32 a factor of k?
False
Suppose 5*l - 61004 = -546*j + 544*j, -2*j + 60992 = 2*l. Is j a multiple of 22?
True
Suppose -5*y = d - 1342, -3*d + 540 = 2*y - d. Is y a multiple of 40?
False
Let x(b) be the first derivative of -3*b**4/4 - b**3/3 + b**2/2 + b - 7. Let k be x(-1). Suppose -k*o - y + 33 = 0, 3*y + 0*y = o + 1. Is o a multiple of 10?
False
Suppose -3*u - v + 3482 + 142679 = 0, 4*u - 194885 = -5*v. Does 154 divide u?
False
Let b = 784 - -1885. Is b a multiple of 2?
False
Let s = -16 - -16. Suppose 0*h + 196 = 5*h + m, s = 3*h - 3*m - 132. Suppose -5*r + h = o, -o + 52 = o + 3*r. Is o a multiple of 7?
False
Let x(f) = -2*f**3 - 1. Let u be x(-1). Let k be 3*u/(-9)*-6*2. Suppose k*a - 1680 = -a. Is a a multiple of 56?
True
Suppose -54*k + 7141260 = -43*k + 283*k. Is 14 a factor of k?
True
Suppose -8*w - 220 = 12*w. Let p be (4 + w + 4 - -4)*-10. Let o = p + 33. Is 3 a factor of o?
False
Let h(t) = 7*t**2 + 35*t + 3. Let m be h(-5). Suppose 550 + 93 = 5*u + m*i, -4*u + 514 = 2*i. Is 16 a factor of u?
True
Let m(p) = -87*p + 308. Is m(2) a multiple of 4?
False
Let t(u) be the first derivative of 12*u - 10 + 1/3*u**3 + u**2. Does 4 divide t(4)?
True
Suppose 221 = 4*u + 209. Suppose u*g = 135 + 1698. Is 16 a factor of g?
False
Let n = -63 - 42. Let v = n + 287. Does 13 divide v?
True
Let i(n) = -5 + 2*n**2 + 13 - 36*n - n**3 + 0 - 18*n**2. Is 30 a factor of i(-14)?
True
Let o(v) = -4*v**3 - 2*v**2 - 2*v + 4. Let q be o(2). Let u(j) = -17*j**2 + 3*j + 2. Let x be u(-1). Let r = x - q. Is 12 a factor of r?
False
Suppose -4*x - 4 = 0, 8 + 131 = 5*r - 4*x. Let i = r + -21. Suppose 374 = -i*s + 872. Is s a multiple of 10?
False
Suppose -3*i = 3*c - 1116, 1528 = 16*i - 12*i - 4*c. Let q = i + 33. Is q a multiple of 28?
False
Suppose 31 = 3*f + 52. Does 13 divide (2499/14)/f*(-52)/3?
True
Let b(i) = 4484*i**2 + 93*i - 177. Does 37 divide b(2)?
True
Let x(z) = 389*z**2 - 564*z + 2236. Is x(4) a multiple of 22?
True
Let i(f) = -4*f**3 - 3*f**2 - 4*f + 7. Let a be i(-5). Suppose 0 = 5*k - 2*b + 4*b - 736, 4*b = 3*k - a. Suppose 5*j - k = -8. Does 14 divide j?
True
Does 22 divide ((252/(-10))/14)/(0 + 6/(-46910))?
False
Suppose 4*v - 16 = 0, -v + 118 = 5*q - 2*q. Let o = 83 - 69. Let x = o + q. Is x a multiple of 26?
True
Let f be -33*8/(-18)*(-231)/(-14). Suppose f = 3*x - x. Is 11 a factor of x?
True
Let o(u) = -u - 33. Let g be o(-15). Let a(c) = -5*c + 45. Is a(g) a multiple of 19?
False
Let s(v) = -18*v**3 + 4*v**2 + 17*v - 50. Does 5 divide s(-6)?
True
Suppose -3*a - 2*z = -25418, 72*z - 73*z - 8481 = -a. Is 73 a factor of a?
False
Let a(h) = -h**3 - 16*h**2 + 16*h + 38. Let s be a(-17). Suppose 0 = s*f - 56*f + 60. Does 4 divide f?
True
Let p = -1379 - -1862. Does 53 divide p?
False
Let q(c) be the first derivative of -3*c**3 + 26 + 1/4*c**4 + 13/2*c**2 - 4*c. Does 25 divide q(10)?
False
Let j be ((-72)/(-45))/((-2)/5). Is 2 + 320 - ((-8)/j + -4) even?
True
Let x = 41 - -5. Let d = x + -98. Is -3 - (d/1 + 4) a multiple of 9?
True
Suppose -5*o + 1385 = 5*i, -o + 407 - 1768 = -5*i. Is i a multiple of 273?
True
Suppose -31*h + 535 = -178. Let x = 543 - h. Is 45 a factor of x?
False
Let p = -5747 + 7144. Does 5 divide p?
False
Suppose 707 + 589 = 54*r. Let y = r - -401. Is y a multiple of 5?
True
Let w be (-244)/183 - (-1328)/6. Let b = 929 - w. Is 37 a factor of b?
False
Let q(f) = -f**2 - f + 2. Let y(k) = k**2 + k - 2. Let v(l) = -4*q(l) - 5*y(l). Let j be v(-5). Does 17 divide 12411/81 + 4/j?
True
Suppose 0 = 717*m - 696*m - 23184. Is m a multiple of 23?
True
Suppose -p + 3*p + 4 = 0, 0 = t - 2*p + 6. Let w(h) = 3*h**2 + 31*h + 16. Let n be w(t). Is 18 a 