= -1811. Is p a multiple of 15?
True
Let v(a) = -a**3 - 3*a**2 + 4*a - 1. Let q(l) = l - 10. Let o be q(5). Let y be v(o). Let i = 67 - y. Is 8 a factor of i?
False
Let d = 13 - 4. Let i be -51*(-1)/3 - 12/4. Let t = i - d. Is t a multiple of 3?
False
Let p = -247 + 373. Is 21 a factor of p?
True
Let c(s) = 4*s**2 - 9*s + 5. Let q(l) = -l**2 - 1. Let g(a) = -c(a) - 3*q(a). Does 6 divide g(4)?
True
Let v(d) = d**2 - 5*d - 3. Let n be v(6). Suppose 0 = -n*f + 7 + 17. Is 2 a factor of f?
True
Let k = -189 + 87. Let z = k - -171. Is 23 a factor of z?
True
Suppose 2*h + 3*t = h + 954, 0 = 4*h - t - 3842. Is 80 a factor of h?
True
Let t(o) = 3*o**2 + o + 5. Let k = -17 - -20. Does 5 divide t(k)?
True
Does 5 divide 206*(-10)/(-8)*(101 - 99)?
True
Let o(l) = -l**2 + l + 1. Let q(n) = -6*n**2 + 6*n - 22. Let i(b) = 3*o(b) - q(b). Does 7 divide i(-6)?
False
Let o be 16/(-6)*(-24)/(-16). Is 4/8 + (-6)/o even?
True
Suppose 3*m = -3*a - 114, a - 6*m = -9*m - 40. Let o = 95 + a. Is o a multiple of 29?
True
Let g = -15 + 2. Let k = -27 - g. Is 13 a factor of k/(14/6 - 3)?
False
Let w(t) = t**3 + t**2 + 2. Let a be w(-2). Let x be a/(-5) - 21/15. Is -52*12/16*x a multiple of 17?
False
Let c(d) = 83*d**2 - 11*d - 7. Is c(-4) a multiple of 91?
True
Let v(d) be the third derivative of 1/6*d**3 + 0*d - 1/120*d**6 + 0 + 1/12*d**4 + d**2 + 7/60*d**5. Is v(7) a multiple of 5?
True
Suppose -5 = -5*h - 5*g - 15, -4*g - 7 = 5*h. Let v = h - 5. Is 51 - ((-16)/v)/4 a multiple of 10?
True
Let i be 1/3*(-13 - -124). Suppose k - i = 20. Is k a multiple of 11?
False
Let c be ((-8)/(-6))/(3/9). Let m = 173 + -156. Suppose -c*b + 55 = -m. Is b a multiple of 6?
True
Let n be -6 + 4/(-8)*6. Let v = -11 - n. Is 8 a factor of 4/((-15)/(-6) + v)?
True
Suppose -32*r + 87781 = -28859. Is r a multiple of 27?
True
Suppose -12*y - 1886 = -8474. Is y a multiple of 72?
False
Let n be (-190)/(-5) - (1 + 1 + -3). Does 10 divide 0 + (n + -2 - -3)?
True
Suppose 36 = 30*m - 28*m. Does 7 divide ((-5)/((-25)/m))/((-8)/(-20))?
False
Let s = 8 + -2. Let m be (-42)/(-28)*20/s. Suppose -m*c + 89 = -11. Is c a multiple of 6?
False
Let z = 15 - 15. Suppose z = -5*d - 2 + 12. Suppose -5*y = -5*h + 208 - 538, 0 = 5*y - d*h - 318. Is y a multiple of 16?
False
Let z = 10 + -7. Let q = -158 + 164. Suppose q = z*a - 6. Is 4 a factor of a?
True
Let k = -39 + 88. Suppose -4*l + 15 = -k. Is 5 a factor of l?
False
Let p(x) be the second derivative of -7*x**3/6 - x**2/2 + 6*x. Let c be p(1). Let n(q) = q**3 + 10*q**2 + 4*q - 2. Is n(c) a multiple of 27?
False
Let b(k) = 23 + 35 + 68 - 21 - 3*k. Is 35 a factor of b(0)?
True
Let v(r) = -2*r - 15. Let i = -4 + -3. Let x(z) = -z - 7. Let p(q) = i*x(q) + 3*v(q). Is p(8) a multiple of 6?
True
Let v be 2/3 - 368/(-6). Suppose -2 = -n - v. Is 21 a factor of (-3105)/n - 2/(-8)?
False
Let g be 9/(-4) - (-5)/20. Let t = 70 + g. Does 17 divide t?
True
Let j be ((-2)/(-3))/(10/15). Let h = 1 + j. Suppose f + 76 = 3*a, a - 20 = f - h*f. Is a a multiple of 12?
True
Let z = -255 - -149. Let s = z - -215. Is 9 a factor of s?
False
Let d = -288 + 1259. Does 73 divide d?
False
Suppose -478 - 1178 = -6*x. Is 46 a factor of x?
True
Let r(q) = 44*q + 114. Let w(v) = -15*v - 38. Let l(n) = 3*r(n) + 8*w(n). Does 26 divide l(12)?
True
Let o = -476 - -329. Let k = 340 + o. Is k a multiple of 13?
False
Suppose -3*n - 4*m + 534 = -m, 4*n + 2*m - 716 = 0. Suppose -8*j + n = -3*j. Is (-9)/j + (-162)/(-8) a multiple of 5?
True
Suppose -12 = -5*i - 2. Suppose -18 = 4*z + i*u, z + 5*u + 20 = -4*z. Let v = 15 + z. Does 5 divide v?
True
Suppose -1338 = 23*a - 18496. Does 21 divide a?
False
Let b(m) = 6*m + 21. Let i(u) = -5*u - 20. Let v(z) = -6*b(z) - 7*i(z). Let k be v(9). Suppose 0 = -k*q + 17 + 13. Does 6 divide q?
True
Let h = 338 - 164. Suppose g + h = 4*b, 3*b + 5*g - 142 = -0*g. Is b a multiple of 15?
False
Let u be 529/9 + 12/54. Suppose -u = -2*d + d. Suppose -5*j + d + 1 = 0. Is j a multiple of 12?
True
Suppose 2370 = 6*w + 4*w. Is 14 a factor of w?
False
Let u(v) = -v**3 - 58*v**2 - 114*v + 75. Is u(-56) a multiple of 11?
True
Let w be (5 + -7)*8*4. Let n = w - -89. Is n a multiple of 5?
True
Suppose 2*n = -3*p + 58, 4*p + 0*n = -n + 74. Let q be (-4)/(-18) + -7*(-56)/18. Suppose q + p = 5*z. Is 3 a factor of z?
False
Let h(b) = 2*b - 13. Suppose 36 - 23 = s. Is 13 a factor of h(s)?
True
Suppose -19 = -g - 2*m, -2*g + 30 = 3*g - 3*m. Let h(i) = i**3 - 7*i**2 + 8*i - 31. Does 33 divide h(g)?
False
Suppose -30 = -4*p + 5*y, 4*p = -3*y + 11 + 3. Suppose 3 = -p*z + 158. Does 11 divide z?
False
Let u be ((-28)/(-24))/7*-16*-120. Let t = -217 + u. Is 15 a factor of t?
False
Suppose -9 = u + 39. Suppose -5*a - 762 + 227 = 0. Let l = u - a. Is 15 a factor of l?
False
Suppose -120 = -2*d + 5*z - 3*z, 57 = d + 2*z. Suppose d = 4*v + 19. Is v a multiple of 5?
True
Suppose 3*w - 58 = 3*a + 20, 0 = 4*w + 4*a - 136. Is 15 a factor of w?
True
Let i = 7 + -7. Suppose 5*b + i - 30 = -3*p, 5*p - 28 = -b. Suppose 0 = -2*r - 10, 44 = p*f - r - 6. Does 3 divide f?
True
Let d(g) = g + 17. Let a be d(0). Let s = 91 + a. Does 9 divide s?
True
Let n = -14 + 22. Suppose -9*v = -n*v - 4. Does 2 divide v?
True
Suppose 3*q = 5*t + 38, -16*q + 20*q - 69 = 3*t. Is q a multiple of 21?
True
Let v(z) = z**3 + 3*z**2 - 1. Let t be v(-2). Does 3 divide (-1)/3*(1 - 262)/t?
False
Let q(m) = 48*m + 7. Let k be q(3). Suppose -5*p - 3*j + k = 0, -3*j = p - 4*p + 81. Suppose 0 = -31*c + p*c + 40. Is c a multiple of 10?
True
Is ((-177)/(-12))/(47/2068) a multiple of 8?
False
Suppose -5*s + 1050 + 405 = 0. Is 6 a factor of s?
False
Is 58 a factor of (-7)/((-56)/132)*(-106)/(-3)?
False
Suppose 9*l - 6*l = 63. Does 2 divide l?
False
Suppose -305 = -12*n + 17*n. Let g = n + 104. Does 21 divide g?
False
Suppose -a + 1 = -2. Suppose -a*s + 176 = 32. Suppose 21*f - 19*f - s = 0. Does 6 divide f?
True
Let x be 32/3 - 1/(-3). Let q = x - 9. Suppose -t = -q*t + 18. Is t a multiple of 7?
False
Suppose 5*v - p + 6*p - 130 = 0, 90 = 3*v - p. Suppose 5*d - 5*a - 4 + v = 0, 12 = -3*d + 2*a. Is 8 a factor of 3/(d + 196/92)?
False
Let m be 1 - 65 - (-7)/(-7). Does 10 divide 790/(-4)*52/m?
False
Let a = -10 - -13. Let c be -30*((-12)/a)/4. Is (-6)/3 + c + -1 a multiple of 10?
False
Let t be 0 - ((-1)/1 - 3). Is 27 a factor of -3 - (0 + -223) - t?
True
Let b(k) = k**2 + 7*k + 12. Let f be b(-5). Suppose 14 + 76 = f*p. Is p a multiple of 5?
True
Let u(q) = -q**3 + 7*q**2 + 3. Let z be u(7). Suppose 3*x = z, 4*x - 23 = 3*h - 61. Does 14 divide h?
True
Let t(m) = 30*m + 325. Is t(30) a multiple of 49?
True
Let x(p) = 12*p + 142. Is 9 a factor of x(38)?
False
Let p = 3 + -2. Let w = p + 0. Does 22 divide (w + 1)/((-6)/(-222))?
False
Suppose -5*y + 719 = -21. Suppose 2*v - 5*z - 148 = -2*v, -4*v = 5*z - y. Is 16 a factor of v?
False
Let h(a) = -36*a**3 - 2*a**2 - 5*a - 4. Let p be (12/(-21))/(4/14). Is h(p) a multiple of 26?
True
Let p(s) be the second derivative of -s**5/20 - s**4 + 2*s**3 + 2*s**2 - 16*s. Is p(-13) a multiple of 17?
True
Let z(u) be the third derivative of -u**4/12 + 5*u**3/3 + 4*u**2. Let d be z(5). Is (2 - 12)*(-4 - d) a multiple of 10?
True
Suppose -5*n + 284 = -4*n - 2*t, -t - 1 = 0. Let h be n/(-22) + 8/(-44). Does 20 divide (h + 5)*(-5)/2?
True
Suppose -4*d - 6 = 2*m, -3*d - 10 = 2*d. Suppose -14 - m = -3*t. Suppose 24 - t = y. Is y a multiple of 6?
False
Let j(b) = -b**2 + 3*b - 3. Let h(r) = -r**2 + 4*r - 4. Let u(n) = -5*h(n) + 4*j(n). Let s be 5/((-10)/(-2)) + 7. Is 6 a factor of u(s)?
False
Let o = -521 - -853. Does 22 divide o?
False
Suppose 2*o + o - 2*v = 118, 2*o - 4*v - 84 = 0. Is 3 a factor of o?
False
Suppose 3925 - 11309 = -26*y. Is y a multiple of 71?
True
Suppose 228 = -16*f + 1268. Is 19 a factor of f?
False
Let k(g) = -g**3 - 22*g**2 + 11*g + 48. Does 3 divide k(-23)?
True
Is 4 a factor of (-654)/(-12) + 4 - (-1)/2?
False
Suppose -i + 762 = -a - 2*a, 1476 = 2*i + 6*a. Is 75 a factor of i?
True
Let f be (-16)/(-12)*(-9)/(-6). Let o be (-3)/f*(0 + -2). Suppose o*y = -h - 2 + 16, y = h - 22. Is h a multiple of 10?
True
Suppose -2*p = -5*p + 4*j + 2, p = 4*j - 2. Let f = 146 - 146. Suppose p*c = -f*c + 10. Is c a multiple of 5?
True
Does 54 divide (-6090)/116*36/(-7)?
True
Let i(r) = -r + 4. Let o be i(11). 