- o = -2*v. Is g a multiple of 2?
True
Let b = -128672 - -207686. Is b a multiple of 13?
True
Suppose 3*s - 21 = -15. Suppose 1481 = -3*o + 8*o - v, -8 = -s*v. Does 27 divide o?
True
Suppose 8*p - 981 - 75 = 0. Suppose 14*s + p = 16*s. Does 33 divide s?
True
Suppose -11*r + 16*r + 20 = 5*y, 2*y - 14 = 5*r. Is (-411)/r + (0 - (-6)/(-12)) a multiple of 26?
False
Let c(z) be the third derivative of z**6/120 + z**5/30 - z**4/2 + 11*z**3/3 + 26*z**2 + 4*z. Does 74 divide c(10)?
False
Let c(h) = -h**3 + 3*h**2 + 17*h - 23. Let x be c(5). Does 23 divide (-2736)/(-19) + x/(-2)?
True
Suppose 212*s - 165 = 211*s. Is (-4)/(-6) - (-84535)/s a multiple of 19?
True
Let p = -64 - -69. Suppose -4 = 2*i - 2*s - 0*s, -22 = i - p*s. Does 4 divide ((-16)/60*i)/((-3)/135)?
True
Let y = -1 + 8. Suppose -m = -4*g + 12, 5*g + 5*m + y + 3 = 0. Suppose -4*c + 0*o - 4*o = -132, 0 = -g*c - 4*o + 68. Is 8 a factor of c?
True
Let p(c) = -1589*c**3 + 4*c**2 - 6*c - 21. Does 113 divide p(-2)?
False
Let z(a) = -17*a - a**3 - 4*a**3 - 12*a + 14 + 20*a**2. Let g(c) = -2*c**3 + 7*c**2 - 10*c + 5. Let p(j) = -11*g(j) + 4*z(j). Does 8 divide p(2)?
False
Suppose 4743 = n + 177*r - 174*r, 2*n - 2*r = 9518. Is n a multiple of 133?
False
Let z = 838 - -6964. Does 56 divide z?
False
Let y be 7/((-105)/(-12753)) + 4/5. Suppose -3*c = -y - 604. Is c a multiple of 17?
False
Suppose -8 = -y + 4*d, 5*y + d = -0*y + 40. Suppose 0 = -4*z + y, -a - 1 = 2*a - 5*z. Suppose 0 = -13*b + a*b + 380. Is 9 a factor of b?
False
Suppose 0 = 3*t - 1 - 17. Suppose -t*w + 880 + 32 = 0. Suppose -5*j - 12 + w = 0. Is j a multiple of 4?
True
Suppose -407*m = -396*m - 17688. Does 6 divide m?
True
Suppose -8*q - 85 = -3*q. Let f = 83 + q. Does 22 divide f?
True
Let x(o) = -7*o**2 - o + 49. Let t be x(6). Let n = t - -379. Is n a multiple of 10?
True
Let z(n) = 2*n + 87. Let k be z(-41). Suppose -s + 0*s - 179 = -k*f, -3*s - 33 = -f. Is f a multiple of 8?
False
Suppose 4*p - 35*p = -125271. Does 7 divide p?
False
Suppose -5*c = -3*r - r + 122, 2*c = -r - 41. Is 28 a factor of -56*(2 - c/(-4))?
True
Suppose -3*u + 5*l + 87 = 0, 0*u - 176 = -5*u - 2*l. Suppose u*w = 37*w - 669. Does 50 divide w?
False
Let y(p) = p**2 + 11*p - 50. Let v be y(-14). Is ((-10)/v)/(17/1020) a multiple of 15?
True
Let a = -11606 + 16621. Is 122 a factor of a?
False
Let p = -1850 - -1946. Let m be 32/6 - (-2)/(-6). Suppose -b = -m*b + p. Does 24 divide b?
True
Let w = 25 - 20. Suppose 0 = -5*l - 0*l - 3*c + 34, w*l = -4*c + 37. Is 10 a factor of (l/(-2))/(11/(-88))?
True
Is 23 a factor of 8410/435*(0 + 81)?
False
Let x = 72 + -70. Suppose -8 = -x*d, -5 = 4*g + 4*d - 41. Suppose 0 = -g*i - 646 + 1896. Is 25 a factor of i?
True
Let c(t) = t**3 + 18*t**2 - 24*t - 51. Let u be c(-15). Suppose 542 + 439 = 2*v + 5*l, 2*v = -2*l + u. Is v a multiple of 14?
False
Let t = 34674 + -24356. Does 67 divide t?
True
Let d = 4435 + -3130. Does 12 divide ((-18)/5)/(6*(-1)/d)?
False
Is 53/((-3498)/(-12)) + 1832152/44 a multiple of 6?
True
Let i(n) = -n**3 + 9*n**2 - 2*n + 10. Let a be i(9). Let w be (1/3)/(a/(-2568)). Does 23 divide 1 + -1 + 3 + w?
False
Let i be 6/12 - 1/2. Suppose i = 2*m - 158 - 58. Does 13 divide m?
False
Is 61/((-7625)/150)*(-1780)/6 a multiple of 4?
True
Let p(d) = 17*d**2 - 5*d + 72. Is p(22) a multiple of 210?
True
Let g be -3*((-69)/(-18) + (-2)/4). Let m(f) = -f**2 - 12*f - 15. Let s be m(g). Suppose -s*n + 10*n - 45 = 0. Is n a multiple of 3?
True
Let i(o) = 41*o - 5. Let x(a) = 20*a - 2. Let n(u) = 3*i(u) - 7*x(u). Let b be n(1). Let h = 23 - b. Is h a multiple of 5?
False
Let g = 155 + -155. Suppose g = -a + 59 + 76. Is 8 a factor of a?
False
Suppose -3*x + 55 = 2*u, 2*u = -x + 16 + 5. Let s be (27/2)/(x/(-102)). Is 3/(-4 + (-325)/s) a multiple of 12?
False
Let h be -11 + 24/(-8)*1. Let y = 391 + h. Is y a multiple of 24?
False
Suppose 1843*c - 1858*c = -25815. Is c a multiple of 21?
False
Suppose 4*r - 9 = l, 4*l - 15 = -r - 0*r. Is (225/5)/(0 - r/(-15)) a multiple of 9?
True
Let i(r) = 12 - r + 15*r - r + 8*r. Is 18 a factor of i(18)?
False
Let q be 323 + (34/(-119) - (-24)/(-14)). Suppose -34*a + 3*o + q = -31*a, -4*o - 210 = -2*a. Does 33 divide a?
False
Let f be (6/10)/(99/825). Suppose -342 - 588 = -f*o. Is 6 a factor of o?
True
Let h(b) = 2*b. Let k(m) = m**2 - 5*m - 6. Let w be k(6). Let q be h(w). Suppose q = i - 10 - 1. Is i even?
False
Let i(t) be the third derivative of t**6/120 - 5*t**5/6 + t**4/8 + 13*t**3/6 - 3*t**2 + 13*t. Is i(50) a multiple of 31?
False
Suppose 3*p - 16081 = -5*k, 4*p = 2*k + 1358 - 7806. Suppose 0 = 8*q - k + 434. Is 29 a factor of q?
True
Suppose -2*u + 81 = u. Let k = -4 + -14. Let a = k + u. Is a even?
False
Let a = 22 + 7. Suppose -4*c - 9 = -a. Suppose 0 = 4*s + c*q - 353, 6*q + 139 = 2*s + q. Does 39 divide s?
False
Does 70 divide (0 + -3*35)*160/(-24)?
True
Let d be 1/4*-2*-16. Let k be (-720)/d*(-4)/6. Let c = k - -3. Does 25 divide c?
False
Let h be 10 + (-5)/1 - 3. Let c be -1*(-5 + (-2)/(-2)). Suppose -3*r + c*n = -124, -r + 4 = h*n - 24. Is 6 a factor of r?
True
Let a(c) = 3*c - 50. Let f(h) = h - 49. Let i(s) = 6*a(s) - 5*f(s). Is i(7) a multiple of 3?
True
Let b(x) = 22*x**2 + 227*x + 11809. Is b(-43) a multiple of 21?
False
Let q = -169 + 157. Is 18*((-102)/q + -5) a multiple of 9?
True
Let q(j) = -j**2 + 21*j - 9. Let i be q(18). Let x be 11 - (-3 + -2 + 6). Let k = x + i. Is k a multiple of 55?
True
Let q(f) = -f**3 - 11*f**2 - 19*f - 15. Let j be q(-7). Let x = j + 130. Is 13 a factor of x?
True
Let a = -20 + 45. Let j = -25 + a. Suppose 55 = -j*d + 11*d. Is d a multiple of 4?
False
Suppose 8 = 297*n - 301*n. Let j(c) = -104*c - 9. Does 2 divide j(n)?
False
Let a = 646 - 628. Suppose l - p = -377, -2*p - 1514 = 4*l - 0*p. Does 7 divide a/(-27)*l/4?
True
Let k(h) = h**2 - 29*h - 58. Let f be k(31). Suppose 0 = -5*q + 15, w - f*q + 7572 = 6*w. Does 28 divide w?
True
Let n(j) = 19*j - 6. Suppose 0 = -3*f - 2*f + 15. Is n(f) a multiple of 10?
False
Let k = -342 + 344. Suppose 4*u + d - 556 = 4*d, -280 = -k*u + d. Does 23 divide u?
False
Suppose 4*h = 2*u + 1002, h - 396 = -u - 147. Is h even?
True
Suppose -5*n = -k + 7, 5*n - 2*n = 2*k. Suppose 130 = 17*r - 363. Let v = k + r. Is v a multiple of 26?
True
Let j be 65 + (1 - -3) - 9. Suppose 6 = -5*o + 21. Suppose 3*q = -o*r + j, 0 = -5*r - q + 6*q + 70. Is 2 a factor of r?
False
Suppose 4*p = 4, a + 823 = 6*a - 2*p. Suppose 6*h - h = -j - 63, 5*h = 5*j + a. Let z = j - -41. Is z even?
False
Suppose -56 = 9*m - 5*m. Let l = 179 - m. Suppose -l + 897 = 11*q. Is 32 a factor of q?
True
Suppose 18*u + 4*u - 1276 = 0. Is 2 a factor of (2/4)/((-7)/(-7*u))?
False
Let d(p) = -43*p**2 - 1117*p + 44. Does 3 divide d(-18)?
False
Let c(a) = a**2 - 15*a - 119. Let z be c(20). Let r(s) = 2*s**2 - s + 86. Is r(z) a multiple of 41?
False
Suppose 25*b = -0*b + 20825. Suppose 2*i + 2*u - 5*u = b, -1670 = -4*i + 2*u. Is i a multiple of 14?
False
Suppose b + 4 = x, -15*x - b = -10*x + 4. Suppose x = -6*d + 41*d - 19565. Does 43 divide d?
True
Let i(o) = 2*o**2 - 4. Let h(n) = -63*n**2 + 3*n + 111. Let x(a) = -h(a) - 30*i(a). Let u = 2 + 5. Is x(u) a multiple of 27?
True
Let m be (3 + (-30)/18)*3. Suppose -4*u + 176 = 3*t + t, 0 = m*u + t - 167. Is 2 a factor of u?
False
Let n(t) = -10*t - 6. Let r be n(-1). Suppose 0*l - 2 = -r*i - 2*l, -2*i - 4 = -4*l. Suppose -2*g - 3*m = -549, 0 = -2*g - i*m - 2*m + 544. Does 14 divide g?
False
Suppose 0 = 4*n - 5*v - 16525, -n + 15*v = 14*v - 4132. Is 5 a factor of n?
True
Let u be 0 - (-2 - (-7 + -3)). Let q(i) = 4*i**2 + 5*i - 86. Is q(u) a multiple of 5?
True
Let h = 1274 - 1272. Suppose 0 = 4*j - 2*p + 52 - 400, 4*j - 348 = -5*p. Suppose h*n - 3*v - j = -11, 0 = 4*n + 2*v - 184. Is n a multiple of 11?
True
Let p(t) = 4499*t**2 - 6*t - 1. Is p(-1) a multiple of 14?
False
Is ((-12)/(-9) + -1)*21224/24*27 a multiple of 22?
False
Let v(g) = -2*g**2 + 9*g - 19. Let i be v(16). Does 9 divide (i/5)/(113/(-565))?
True
Let n(l) = l**2 + l - 4. Let w be n(-3). Let f be 5/(-7)*-7 - -246. Suppose -5*b + 439 = -w*k, -3*k + f = 3*b + 2*k. Does 8 divide b?
False
Let a = 2007 + 6953. Is a a multiple of 80?
True
Suppose -4*n + 22 = q - 36, 6 = 3*q. Let y be 96*(n - 4)*1. Suppose 2*a = 8*a - y. Is a a multiple of 10?
Tr