False
Suppose 2*q = -0*q. Suppose m + q = -2, -4*x - 3*m = 50. Is 4 a factor of (-10)/(-4)*(-1 + (-2 - x))?
True
Let k be 10/(-4)*2*-1. Suppose -43*r + 39*r + 2*t = -464, -2*r = t - 236. Suppose -k*z + 412 - r = 0. Is 12 a factor of z?
False
Let b(o) = -o**2 - 3*o. Let t be b(-3). Suppose k - 5*p = -t*p - 25, 5*p + 125 = -4*k. Is k/(1 - (-22)/(-16)) a multiple of 9?
False
Let v be (138/3)/2 - 6. Suppose 2*h - 5*m = 110, h + v*m = 21*m + 58. Is 50 a factor of h?
True
Let m(p) = 123*p**2 + 22*p - 81. Let z be m(4). Suppose 11*o = z + 3877. Is 7 a factor of o?
True
Let r(p) be the second derivative of -5*p**2 + 19 + p**3 - 17 + 19*p - 2. Is r(6) a multiple of 7?
False
Suppose 0 = -4*w - 12, c - 39301 + 12791 = 3*w. Is 192 a factor of c?
False
Suppose 0 = 18*b - 43*b + 319775. Is b a multiple of 72?
False
Let f = 5389 - 5304. Is 5 a factor of f?
True
Suppose 14*a - 1526 = 7*a. Let o = 463 - a. Is o a multiple of 35?
True
Let k = -262 - -483. Suppose 129 + k = 5*g. Does 5 divide g?
True
Let l(u) = -810*u**3 + 10*u**2 + 20*u + 6. Does 48 divide l(-2)?
False
Let q be (14/10 + -6 + 5)*30. Suppose 10*l - 16 = q*l. Does 4 divide (-387)/(-12) - -1 - 6/l?
False
Suppose -2*a = 3*a - 20. Suppose 0 = a*j - 177 - 99. Suppose 0 = -8*h + 155 + j. Is h a multiple of 3?
False
Let d(q) = 2*q**2 - 5*q - 3. Let b be d(3). Let g = b + -4. Does 3 divide (-241)/(-9) - g/18?
True
Suppose 9*f + 94 = 1147. Suppose k - 4*k = -p + 129, -f = -p - k. Is p a multiple of 9?
False
Suppose -4*d = -a - 11, -2*a - 5*d + d = -26. Let t be (560/6)/a*(-9)/(-4). Is (-852)/(-14) - (-6)/t a multiple of 19?
False
Let c(a) = 13*a + 7*a - 17*a + 3*a. Let x be c(-1). Does 28 divide x/(-10) + 1239/35?
False
Let y(o) = -10 + 11*o + 4*o**2 + 2*o**2 + 2. Let i be y(-4). Suppose -3*m - i = -77. Is m a multiple of 11?
True
Let a(k) = k**2 - 58*k - 323. Is a(-37) a multiple of 42?
True
Let q = 159 - 333. Let h = q - -294. Is 25 a factor of h?
False
Let w(s) = 5*s**2 + 34*s + 141. Is 20 a factor of w(-29)?
True
Let g(u) = -4*u**3 + 8*u**2 - 5*u + 53. Let z be g(6). Let n = 727 + z. Is 3 a factor of n?
True
Let z = 44 - 44. Suppose z = 11*w - 208 - 364. Is w a multiple of 4?
True
Let a(b) = -2*b**3 - 3*b**2 + 4*b + 6. Suppose 48 = -25*q + 27*q. Let w be ((-1)/(10/(-12)))/(q/(-60)). Is 3 a factor of a(w)?
True
Is (-21 + 17)/(21/(-30282)) a multiple of 33?
False
Let a = -467 - -4088. Is a a multiple of 42?
False
Let c = -173 + 234. Suppose -851 - c = -3*d. Does 15 divide d?
False
Suppose 5*f - 2*i = 19, 4*f + 4 = i + 18. Suppose -2 = f*y + 1, 4*x - 3*y - 399 = 0. Is 33 a factor of x?
True
Suppose 0 = -3*s - 3*y, 2*y - 8 = -3*s + 3*y. Let f(x) = 46*x**3 + x - 5. Is f(s) a multiple of 14?
False
Let m = -11298 + 12802. Is 4 a factor of m?
True
Suppose -p + n + 10 = -3*n, -3*p + 8 = -n. Let o = -2 + p. Suppose -2*f = 3*m - 249, 2*m - f + o*f - 166 = 0. Is m a multiple of 14?
False
Suppose 2*z + 596 = 2532. Is z a multiple of 11?
True
Suppose 0 = -2*n - 31 - 145. Suppose -3*r - 3*y = 137 + 40, y = r + 55. Let v = r - n. Does 11 divide v?
False
Suppose 49 = 5*g - 1. Suppose -6*h + g = -14. Suppose h*n - 97 = 67. Does 11 divide n?
False
Suppose -4*a = -3*l - 3 - 7, 2*l = -5*a + 24. Suppose -9 = x + 2*x - a*j, -5*j + 6 = -3*x. Does 8 divide (112/(-42))/((7/12)/x)?
True
Suppose -118 = -3*j - 35 + 931. Is 13 a factor of j?
True
Let t(b) = b**2 - b - 12. Does 6 divide t(44)?
False
Let r(i) = 0 - 1 + 154*i - 4 + 4. Is r(1) a multiple of 9?
True
Suppose 47589 + 179211 = 18*s. Is 90 a factor of s?
True
Let t = -124 - -128. Suppose t*k + 2 = 3*k, 3*k + 117 = 3*q. Is 4 a factor of q?
False
Let o(f) = -204*f - 520. Let d(k) = -41*k - 104. Let j(p) = 11*d(p) - 2*o(p). Does 26 divide j(-8)?
False
Suppose -98 = 8*n - 26. Let y = n + 1044. Does 69 divide y?
True
Let j be (-4)/6 + (-119)/(-21). Let y(m) = 6*m**2 + 7*m - 14. Let u be y(j). Let g = -98 + u. Is g a multiple of 17?
False
Suppose -2*v - 11644 = -4*v - 5*c, v = 3*c + 5844. Is v a multiple of 6?
True
Let f(r) = 50*r**2 + 156*r - 1676. Is 33 a factor of f(12)?
False
Suppose 33*a - 38040 - 39510 = 0. Is 52 a factor of a?
False
Suppose 3*w = -w + 8. Let u be -7*(-6)/(-147) - ((-115)/(-7))/(-5). Suppose -10 = 5*s, u*c - 4*s = w*c + 23. Is 14 a factor of c?
False
Let b = -675 - -819. Let g = 526 - b. Does 14 divide g?
False
Let r = -31478 - -61941. Does 14 divide r?
False
Suppose -9*m = -11*m. Suppose m = -3*g - g + 644. Suppose g + 104 = 5*w. Does 12 divide w?
False
Let g(r) = 22*r - 62. Let s be ((-3)/6)/((-3)/66). Is g(s) a multiple of 11?
False
Let d = 7255 + -6388. Is 53 a factor of d?
False
Suppose -4*r = -2*r + 2*s - 244, -4*r = -2*s - 482. Suppose -10 = -5*d + 2*x - r, x = -4*d - 94. Let n = d + 111. Does 22 divide n?
True
Suppose 0 = 11*i - 13 - 9. Let k(a) = 21*a**2 + 6*a - 17. Is 6 a factor of k(i)?
False
Suppose -66 = -20*f + 214. Let b = 49 + f. Is b a multiple of 7?
True
Suppose 5*r - 695 = -4*y + 4200, -4*y = -4*r - 4832. Does 81 divide y?
True
Suppose -11*p = -23*p + 13*p - 1178. Does 7 divide p?
False
Does 34 divide (-2)/16 + (415865450/(-400))/(-77)?
False
Let g(h) = 29*h + 3866. Is g(-40) a multiple of 13?
False
Suppose -395785 = -100*r - 439872 + 1831387. Is r a multiple of 25?
False
Let k(q) = 9*q**3 + 4*q**2 - 8*q + 0 + 20 - 4 + 0*q**2. Is k(4) a multiple of 26?
True
Let k(i) = i**3 + 50*i**2 + 96*i - 13. Let h be k(-48). Let m(s) be the first derivative of -7*s**2/2 + 56*s - 2. Does 21 divide m(h)?
True
Let x = 6 + 3. Let h be (3/(-3))/((-3)/x). Suppose h*y + 6*y = 945. Is y a multiple of 21?
True
Let n be 12/(-32) - 135/(-40). Suppose 0 = -2*l + 6*l + 5*s - 74, -3*s + 57 = n*l. Is 4 a factor of (l + (0 - 1))*1?
True
Suppose f + 23 - 9 = -4*s, 3*f - 23 = s. Is 12 a factor of (-22 - -77) + f/3?
False
Let l(y) = 2*y**3 + 6*y**2 + 4*y + 7. Let c be l(-3). Let s(w) = -2*w**2 - 2*w - 1. Let n be s(c). Does 25 divide (-16 - n)/((-2)/(-4))?
True
Suppose -5*z + 123 = r, -2*z = r - 60 + 12. Suppose z*b = 19*b + 1452. Does 16 divide b?
False
Let g(p) = -16*p**3 + 9*p**2 - 17*p + 8. Let i(c) = -c**3 - c**2 + 2*c - 1. Let y(n) = -g(n) - 6*i(n). Is y(1) even?
True
Suppose 13*p + 85491 = 5*p + 15*p. Does 55 divide p?
False
Let x(k) be the third derivative of 2*k**4/3 + 5*k**3/2 + 13*k**2. Let g be x(-3). Let z = 43 + g. Does 5 divide z?
True
Let b = -43 - -115. Let n(y) = -68*y - 25 - 4 + b*y. Is n(18) a multiple of 4?
False
Let a = 84 - -26. Suppose -32 = 108*x - a*x. Is ((-4)/x)/((-2)/184) a multiple of 14?
False
Let i(k) be the second derivative of k**5/20 - k**4/4 - 2*k**3/3 - 15*k**2/2 - k + 8. Is 5 a factor of i(5)?
True
Let y(i) = 2*i**2 - 20*i - 774. Is y(-70) a multiple of 15?
False
Let f be 4/1 - (5 + -2). Let v(d) = 82*d**3 + d**2 + d - 1. Let a be v(f). Suppose 2*o = a - 3. Is 20 a factor of o?
True
Does 11 divide (-1 + (-87)/12)/(9251/(-1156) + 8)?
True
Let l = -13979 + 30583. Is 16 a factor of l?
False
Let a be (24/(-10))/(36/270). Let k = 16 + a. Is 15 a factor of (16/4 - 2) + (-146)/k?
True
Let u = 741 - 2621. Let p = -1308 - u. Does 11 divide p?
True
Is 260 a factor of (12/(-18))/((-84)/7226982)?
False
Suppose 3136 = -21*r + 53116. Does 28 divide r?
True
Let v = 113 + -49. Let o = -26 + v. Let j = o - 16. Does 6 divide j?
False
Suppose -3*y = 10 + 8. Let z be (y/(-3))/((-4)/(-10)). Suppose -z*t + 948 = t. Does 37 divide t?
False
Does 71 divide ((1172/8 - 1) + 3)*(-17 + 39)?
False
Let q be ((-10)/3)/(6/45). Let f = 304 + q. Is 31 a factor of f?
True
Let y be ((-1)/(-2) - 1)*-118. Suppose -118*v = -128*v - 410. Let p = y + v. Is p a multiple of 6?
True
Let j = 1682 - 956. Suppose l - j = -3*o - 0*l, 5*o = -5*l + 1220. Is 12 a factor of o?
False
Let u(s) = 96*s**3 + 2*s**2 - 39*s + 15. Is u(4) a multiple of 85?
True
Suppose f - 1326 = -m, 9 = f + 7. Suppose 5*k + 2*w + 212 = m, -692 = -3*k + 5*w. Is k a multiple of 32?
True
Suppose -w + 6*w + 4961 = y, 0 = -y - 5*w + 4901. Is y a multiple of 50?
False
Let x be 293 - 1 - (-11 + 9). Suppose 18*o = 21*o + x. Let s = -26 - o. Is 8 a factor of s?
True
Let c = 379 - 309. Does 51 divide (34*(-15)/25)/((-1)/c)?
True
Let d be (12/2)/((-60)/3040). Let h = d + 1087. Suppose h + 57 = 7*u. Is u a multiple of 10?
True
Let i(g) = -g**3 - 17*g**2 + 21*g + 64. Let j be i(-18). Suppose 11*n - 144 = j*n. Is n 