 Suppose 460 = 7*n - g. Is 10 a factor of n?
True
Let x(q) = -4*q**2 - 76*q + 942. Let i be x(-28). Suppose 3*s + 594 = 5*t, -470 = -4*t + 3*s + 2*s. Let g = t + i. Does 21 divide g?
False
Suppose 15*g - 57407 = -124*g. Is g even?
False
Suppose 8434 = -0*c - 3*c + 4*m, -m + 2812 = -c. Let h = c + 4022. Does 20 divide (3 - (-68)/(-20)) + h/20?
True
Suppose 5 = k, p - 147 = 3*k - 7. Let q = 7 + -34. Let b = p + q. Does 16 divide b?
True
Suppose -3*g - 2 = -4*b, -3*g + 10 = -2*b + 4*b. Suppose -g*j = -48 - 154. Is j a multiple of 5?
False
Suppose -29 = 6*q + 7. Is (2/q)/((-56)/48552) a multiple of 17?
True
Let d(a) = a**3 + 8*a**2 - 2*a - 16. Let m be d(-8). Suppose m = -16*l + 48 + 160. Let x(s) = s**2 - 7*s - 22. Is x(l) a multiple of 8?
True
Suppose 145*v - 150*v + 125 = 0. Suppose v + 344 = 3*k. Is 8 a factor of k?
False
Let q(l) = -8*l**2 - 16*l - 11. Let z be q(9). Let k = z + 1163. Is 45 a factor of k?
True
Let d be 6/(3 - 0 - 1). Suppose 4*o = -3*k + 1236, 0 = -2*k - 0*k + d*o + 841. Suppose 5*j = -141 + k. Is 11 a factor of j?
True
Let l(j) = 45*j**2 + 5*j - 43. Let g be l(-6). Suppose 3*p - 5*h = -h + 2326, -2*p = h - g. Is 18 a factor of p?
True
Let t(r) = -47*r**3 + 10*r**2 + 39*r + 7. Is 10 a factor of t(-4)?
False
Does 5 divide ((-35)/28)/(((-9)/24)/(5877/6))?
True
Suppose 40 - 10 = 6*n. Suppose 3*y + 0*y + 2823 = 5*q, 0 = n*q + 3*y - 2847. Is q a multiple of 27?
True
Suppose 5*x = -4*v + 21, -4*x + 0*v - 5*v = -15. Suppose -180 - 315 = -x*t. Does 9 divide t?
True
Let f(z) = -2853*z + 24705. Does 81 divide f(0)?
True
Is (-7)/(-6) - 17828763/(-2826) a multiple of 77?
False
Suppose -4*q + 0*q = -5*b + 160, -4*b + 2*q = -128. Suppose b = 5*n - 33. Let y = n - -13. Does 13 divide y?
True
Let n(b) be the first derivative of b**6/360 - b**5/30 - 7*b**4/24 - 11*b**3/3 + 9. Let c(m) be the third derivative of n(m). Does 11 divide c(8)?
False
Suppose -l - l + 74 = 5*n, 2*n + 19 = l. Let s = -22 + l. Suppose 264 = s*k + k. Does 22 divide k?
True
Let k(q) = 22*q + 1. Let t be k(2). Suppose 11*a - 6*a = t. Suppose a*l - 11*l = -20. Is l a multiple of 10?
True
Let s(n) = -53*n + 281. Is 10 a factor of s(0)?
False
Let k(n) = -13*n - 19. Let x = -32 + 37. Suppose -x*f - 5*o = 50, 3*f + 20 + 16 = -o. Is k(f) a multiple of 30?
True
Suppose -272 - 2410 - 1449 = -153*v. Let y be (-170)/6*1*-3. Let x = y + v. Is 16 a factor of x?
True
Suppose 5*z + 5*l = -15, 0 = 2*l - l + 5. Suppose z*j - 222 = 60. Is 10 a factor of j?
False
Let c = 1384 + -1381. Let w(l) = -l**3 + 15*l**2 + 10*l. Let i be w(7). Suppose -c*z + 0*z = -i. Does 14 divide z?
True
Suppose 116*t = 126*t - 27240. Does 6 divide t?
True
Let a = 29290 - 14242. Is a a multiple of 57?
True
Suppose 181*v + 10 = 186*v. Suppose 214 = -2*w - v*y + 1646, -5*y = -3*w + 2180. Is 36 a factor of w?
True
Suppose 4*x - 28658 = 2*m, 0 = -17*x + 16*x + 2*m + 7169. Is 19 a factor of x?
True
Let u(t) = -4*t**2 - 10*t - 11. Let r be u(-2). Does 21 divide (r/3)/(50/(-2250))?
True
Let d(s) = -9*s + 6. Let n(t) be the third derivative of t**4/12 - 2*t**3/3 - 42*t**2. Let k be n(-1). Is 12 a factor of d(k)?
True
Let p = -214 - -219. Suppose p*a + 2*u - 216 = 174, 4*u = -3*a + 248. Is 31 a factor of a?
False
Let p = -284 + 296. Suppose -33*x + 6888 = -p*x. Does 41 divide x?
True
Suppose -4*v = -2*n + 230, n - 2*v + 127 = 2*n. Let p = n - -185. Does 10 divide p?
False
Let m(x) be the first derivative of -x**4/4 - 10*x**3/3 - 6*x**2 - 18*x - 25. Let q be m(-8). Is (0 - (q + 2))/(4/8) a multiple of 11?
False
Let m be 2*(1 + 2/4). Let w(b) = -12*b - 139. Let f be w(-12). Suppose f*i = 5*g + 595, -42 = -m*i + g + 317. Is i a multiple of 15?
True
Suppose -3*d + 4*q = -4 - 3, -3*d = -3*q - 3. Let h be d/6 + (-95)/(-10). Does 20 divide (94/3)/(6/h)?
False
Suppose 5 - 3 = -o - 2*r, -2*r - 22 = -4*o. Suppose -c - 26 = -5*g, o*g - 2*g - 15 = 5*c. Let z(n) = 11*n - 7. Is z(g) a multiple of 12?
True
Suppose -3*c = -0*y - y + 43, 2*y = 5*c + 73. Let n be -2 + 3/(-3) - c/(-13). Is 1 - n*(-428)/(-8) a multiple of 14?
False
Let j be 40/25 - 10/(-25). Let k be -6*((-14)/6 + 3) + 145. Suppose -3*b + k = p, b - p = -j*b + 141. Does 39 divide b?
False
Suppose -997*y = -995*y - 9180. Is y a multiple of 10?
True
Let y(z) = 30*z**3 - 5*z**2 - z + 11. Let h(m) = 20*m**3 - 3*m**2 - m + 7. Let v = -5 + 13. Let u(x) = v*h(x) - 5*y(x). Is 14 a factor of u(2)?
False
Let x be 2/(-2) - 10*-1 - -4. Does 10 divide (2 - 4) + 10*x?
False
Suppose 10*c - 26 = -3*c. Is (c - 2159/(-5)) + 6/30 a multiple of 5?
False
Suppose 0 = -m + 3*x - 37 - 103, -m + 2*x = 143. Let w = m + 167. Is 4 a factor of w?
False
Suppose -7*h = -5*h - 5056. Does 158 divide h?
True
Suppose -6*x - 3*b = -11*x + 13, 1 = 3*x + 5*b. Let z(t) = 126*t - 30. Does 37 divide z(x)?
True
Does 24 divide -1*((-5616)/5 + (-40)/50 + 1)?
False
Let j(t) = -8*t - 19. Let x be j(-6). Suppose 8106 = -x*w + 43*w. Is 76 a factor of w?
False
Suppose -2*w + y + 4 = -7, 4*w + 3*y - 7 = 0. Suppose -2*p - 60 = w*p. Let f(c) = 2*c**2 + 11*c. Is f(p) a multiple of 18?
True
Suppose -2*k - z = -56312, 4*k + 61916 = 2*z + 174508. Is 68 a factor of k?
True
Suppose -3037*a + 3058*a - 27867 = 0. Is a a multiple of 84?
False
Let o(q) = 426*q**2 + 188*q + 369. Is 8 a factor of o(-2)?
False
Let q(v) = -v. Let j(n) = 456*n - 79. Let s(b) = -j(b) - 2*q(b). Does 16 divide s(-2)?
False
Let b(l) = -4*l**3 + 3*l**2 + 9. Let u(s) = 7*s**3 - 7*s**2 + 2*s - 19. Let i(g) = 5*b(g) + 3*u(g). Suppose 0*w + 2*w = 12. Is 2 a factor of i(w)?
True
Let t = 1106 - 566. Suppose -86 = -y + 5*r + 199, -5*r + t = 2*y. Is y a multiple of 55?
True
Let f = 585 + -581. Suppose -7 = -m - 3, 288 = c + f*m. Does 20 divide c?
False
Suppose 9*t = 6*t + 6. Let q be 1*3*(3 - 2). Suppose 2*m - s + q*s = 44, -t*m = 4*s - 36. Does 13 divide m?
True
Let n = -155 - -73. Let u = -79 - n. Is u - (40/(-2) - 4/(-2)) a multiple of 18?
False
Suppose -1 = -4*q + j + 2, -3*q = -3*j + 9. Suppose 0 = 5*h + 3*b - 5, 12 - 45 = -q*h + 5*b. Suppose -2*p - 5*v - 2 = -47, h*v + 42 = p. Does 15 divide p?
True
Let l(t) = -11*t**2 - 8*t + 30. Let h be l(12). Let a be (h/(-18) - -3) + 2/(-3). Suppose -5*o + a = -161. Does 16 divide o?
False
Let f = -161 + 161. Suppose 2*a + x - 2040 = 0, -3*a - x + 1772 + 1290 = f. Is a a multiple of 43?
False
Let c = 306 - 495. Is (104/(-6))/(9/c) a multiple of 26?
True
Is ((-1)/2 - 0/(-1))/((-716)/877816) a multiple of 5?
False
Let g(d) = -d**3 - 7*d**2 - 2*d - 10. Let j be g(-7). Suppose -j*a - a = -355. Let l = a + -43. Is 7 a factor of l?
True
Let j = -817 - -3688. Is 87 a factor of j?
True
Suppose 0 = -2*h - 2*s + 1820, -4*s + 918 + 912 = 2*h. Does 5 divide h?
True
Suppose -4*v + 562 = -3*c, 3*v + 3*c - c - 413 = 0. Let t = 167 - v. Does 8 divide t?
False
Does 18 divide 12310/6 + (-19)/(-57)?
True
Let w = -7 - -15. Let j(m) = -m**3 + 7*m**2 + 9*m - 12. Let o be j(w). Let v(h) = -2*h**3 - 3*h**2 + 4*h + 5. Does 9 divide v(o)?
False
Let g(n) = 23*n**3 + 42*n**2 - 3*n + 63. Is 75 a factor of g(6)?
True
Suppose 3*a + 1119 = 3*o, 10*a - 6*a + 4*o + 1508 = 0. Is 6 a factor of ((-162)/5)/(-5*(-10)/a)?
False
Is 34 a factor of (1 - -3220) + 12*(-17)/102?
False
Let f(c) = 3*c**3 - 16*c**2 - 32*c + 150. Is f(9) a multiple of 9?
False
Let q(w) be the third derivative of 23*w**5/60 - 3*w**4/4 - 8*w**3 - 115*w**2. Is q(-3) a multiple of 5?
False
Suppose 90*f - 28*f = 314774. Is f a multiple of 17?
False
Let b = 19 + 3. Suppose -2*p + 0*p + b = 0. Suppose 0 = p*j - 13*j + 216. Is j a multiple of 12?
True
Let d(u) = -16383*u - 1736. Does 214 divide d(-2)?
True
Suppose 19809 = 3*b + 5*s, 31*b = 29*b - 2*s + 13198. Does 66 divide b?
False
Let j(t) = 2*t**2 + 24*t + 39. Let u(n) = -3*n**2 - 36*n - 58. Let c be 32/112 - ((-65)/(-7) + -2). Let l(o) = c*j(o) - 5*u(o). Is 34 a factor of l(-17)?
True
Let p be 2 + -2 - 4 - -4. Let y be ((-6)/(-12))/(2/1496). Suppose -n + s + 76 = p, -n + s - y = -6*n. Does 15 divide n?
True
Let t = -19375 + 36511. Is t a multiple of 68?
True
Let p(c) = -2 - 10*c + 803*c**2 + 10 + 0 - 801*c**2. Let w be p(4). Suppose 5*u = 3*y + 32, -u + 3*y + 4 = -w*u. Does 7 divide u?
True
Does 4 divide ((-630)/9)/5 - -67?
False
Let w = 13966 - 13192. Is w a multiple of 258?
True
Let v(g) = -232*g**2 - 4*g - 8. Let j(y) = -9975*y**2 - 171*