of t?
True
Let w(g) be the first derivative of -g**3/3 + 9*g**2 + 9*g + 13. Is 3 a factor of w(17)?
False
Suppose -9*j = -3*q - 5*j + 426, -12 = 4*j. Is 7 a factor of q?
False
Suppose -n + 6*n - 15 = 0. Let k(q) = -q + 1. Let w be k(n). Does 14 divide (8/w)/((-2)/10)?
False
Suppose 4*c - 27 = -43, c - 3516 = -5*m. Is m a multiple of 64?
True
Suppose -16 = -3*g - d + 11, g = -5*d - 5. Suppose g*c = 15*c - 300. Does 15 divide c?
True
Suppose -2*j - 11*d = 5, 10*d = 4*j + 8*d - 62. Does 14 divide j?
True
Suppose p - y = 6*p - 10046, p - 2010 = -y. Suppose 0 = 6*b - 85 - p. Is b a multiple of 53?
False
Suppose 13*d + 2*d = 915. Suppose -d = 3*s - 196. Is s a multiple of 4?
False
Suppose 17*u - 2853 = -2*t + 16*u, 0 = -t + 4*u + 1440. Does 17 divide t?
True
Let s(n) = -n**3 - 6*n**2 + 8*n + 9. Let x be 420/(-63) + 2/(-6). Let a be s(x). Is 3 a factor of 3/(-2) - (-17)/a?
False
Let n(h) = 5*h + 3. Let k be n(-1). Let y = k - -26. Is y a multiple of 24?
True
Suppose -30*b - 15*b + 31590 = 0. Is 26 a factor of b?
True
Suppose -47 = -3*t + d + 190, 0 = 4*t + 2*d - 316. Let w = t - 73. Is w a multiple of 3?
True
Suppose -5*x - 7 + 117 = 0. Let n = x - 20. Suppose n*m = 2*g + 156, -4 = -3*g - g. Is 24 a factor of m?
False
Let q(x) = -3*x**3 + 3*x**2 + x - 4. Suppose -4*d + 19 = -5*t, -2*t - 2*d = 1 + 3. Does 17 divide q(t)?
False
Suppose 2*p + 65 = -5*t - 3*p, -5*t - p - 49 = 0. Let r = 63 + -46. Let o = r + t. Is o a multiple of 4?
True
Let l(g) = g**3 - 5*g**2 + 4*g + 5. Let s be l(4). Suppose -s*m - 3*n + 345 = -95, 0 = -5*n. Is m a multiple of 11?
True
Suppose -3*p = 4*v + 89, -3*p + 4*p = v + 17. Does 8 divide v/4*(-24)/5?
True
Suppose 3*r - 130 - 35 = 0. Suppose -f - r = -22. Let v = 49 + f. Is v a multiple of 13?
False
Suppose 274 - 91 = 4*a + 5*u, -2*u = -2*a + 78. Suppose -b + 5 = 0, 2*r = -r - 3*b + a. Suppose r*g = 14*g - 220. Does 11 divide g?
True
Let w be 4 + (2/3 - (-656)/(-12)). Let x = w - -85. Is 5 a factor of x?
True
Let x = -279 - -1734. Is x a multiple of 97?
True
Let k(u) = -u**3 + 13*u**2 - 8*u + 27. Let y be k(12). Let d = y - -149. Does 14 divide d?
True
Let b(c) = -c**3 - 7*c**2 + c + 10. Let r be b(-7). Suppose 5*k + 457 = r*d, 2*k - 618 = -d - 3*d. Is 14 a factor of d?
True
Suppose -13*j + 14*j = 0. Suppose 0 = -2*v - 8, -3*k + j*v + 29 = -5*v. Suppose -2*r + r + k*f = -25, 3*r - 4*f - 70 = 0. Does 11 divide r?
True
Suppose 8*d - 3*d - 120 = 0. Let g = d + -22. Suppose j = g*j - 32. Is j a multiple of 8?
True
Let n(c) = 2*c**2 - 4*c + 5. Let g be n(7). Suppose 2*o = -3*o + g. Does 12 divide o?
False
Suppose 5*u - 56 = -2*u. Suppose -68 - 328 = -4*s + a, 0 = -2*a + u. Does 20 divide s?
True
Let b(w) = -w**2 - 4*w - 4. Let s be b(-2). Suppose -2*d + 4*j = -32, 3 + s = -2*d - 3*j. Does 6 divide d?
True
Suppose -4*f + 16 = -4*x - 0*x, 0 = x + 5*f - 2. Is (13 - (1 - 0)) + x - 1 a multiple of 4?
True
Suppose -4 = 4*j - 0. Let o be (j - -2)/(11/737). Suppose 2*r = o + 3. Is r a multiple of 9?
False
Let k = 3074 - 2094. Is k a multiple of 70?
True
Let j(l) = 7*l**2 + 2*l + 14. Let f(h) = 7*h**2 + h + 13. Let k(o) = 3*f(o) - 2*j(o). Is 7 a factor of k(4)?
True
Let f be (-1)/(-2)*0 + 6. Is 4 a factor of 2*f - (12 + -9)?
False
Suppose 4*w + 5*z - 6*z = -1058, -z + 2 = 0. Is (24*1)/((-48)/w) a multiple of 22?
True
Let y(i) = 4*i + 20. Let x be y(-5). Suppose -5*o - g + 2*g + 1317 = x, 1053 = 4*o - g. Is 14 a factor of o?
False
Let s(m) = m**3 - 24*m**2 - 56*m + 39. Does 3 divide s(27)?
True
Suppose -q = 5, -3*q = 3*h - 4*q + 103. Let v = 50 + h. Does 3 divide v?
False
Let y be ((-9)/3)/3 - -163. Suppose 5*s - 7*s = -y. Is 16 a factor of s?
False
Suppose -6*q + q = -2*q. Suppose -3*h + 138 = -4*d, q = 2*h - h + 5*d - 27. Is h even?
True
Suppose -g + 4 = -9. Is (4 - g/4) + (-642)/(-8) a multiple of 12?
False
Let c(z) = z**2 - 4*z - 4. Let i be c(5). Let p be (0/i)/((-2)/2). Suppose 5*v + 32 - 293 = k, -3*k + 12 = p. Does 22 divide v?
False
Let o(g) = -g**2 + 3*g. Suppose 2*r - 6*r = -3*v - 17, -2*v - 16 = -5*r. Let t be o(r). Suppose 0 = -4*s + t*s + 116. Does 17 divide s?
False
Let b(h) = h**2 - h + 1. Let f be b(2). Let x(i) = 40*i**3 - i - 1 + 10*i**f + 4*i - i. Is 17 a factor of x(1)?
True
Suppose 268 + 56 = 3*p. Does 36 divide p?
True
Let a be (1 - -3 - -8)*6. Does 7 divide a/(-12)*7/(-2)?
True
Let j be ((-12)/10)/(9/(-60)). Suppose j*a - 172 = 12. Is 6 a factor of a?
False
Let x(i) = i**2 - 47*i + 309. Does 113 divide x(59)?
True
Suppose 0*j = 2*d + j - 4156, 0 = 2*d - 4*j - 4146. Is 118 a factor of d?
False
Let c(v) be the third derivative of v**6/720 - v**5/15 - 7*v**4/24 + 4*v**2. Let w(g) be the second derivative of c(g). Is w(11) even?
False
Let u(c) = c**2 - 4*c + 7. Let x = 12 + -6. Let w be u(x). Suppose w - 74 = -5*k. Does 11 divide k?
True
Let g(l) = -20*l + 15. Let m be g(-12). Suppose -m = 4*u - 9*u. Let s = 91 - u. Does 20 divide s?
True
Let m(n) = -29*n - 106. Is m(-6) a multiple of 8?
False
Let n(f) be the first derivative of f**3/3 - 5*f**2/2 - 20*f - 1. Suppose 8*u + 40 = -8. Does 23 divide n(u)?
True
Suppose 3*g - 167 = 7. Is g even?
True
Let v be 72/33 + (-10)/55. Suppose -v = -2*y, 5*z = -7*y + 4*y + 18. Suppose z*s = 104 + 52. Is 13 a factor of s?
True
Let z be (6154/(-85))/((-2)/5). Let a = z - 62. Does 17 divide a?
True
Suppose 0 = -8*f - 2 + 34. Is 4 a factor of f*1 - (-20 + -3 - -2)?
False
Suppose 0*z = -z + 4. Suppose 112 = -z*m + 24. Let n = -6 - m. Is n a multiple of 16?
True
Suppose -3*j + r = -7183, 5*r + 755 = -2*j + 5538. Does 38 divide j?
True
Let q be (-37*1)/(2/6). Let n = -41 - q. Is (-16)/20*n/(-4) a multiple of 3?
False
Suppose -2*t + 14 = 4. Suppose -20 = -t*b, -3*b + 0*b - 13 = -5*i. Suppose 2*h + 23 = i*j + 3*h, 5*j + 2*h = 21. Is 2 a factor of j?
False
Let h = -2263 + 3319. Is h a multiple of 32?
True
Suppose 4*f + 35 = 5*b, 2*b + 2*b = -2*f + 2. Suppose 4*j - 2*j = 5*p - 330, -b*j - 79 = -p. Does 5 divide p?
False
Let z(h) = -8*h**2 + 2. Let x be z(2). Let g = x + 32. Suppose 3*w + g*j = 29, -2*j - 2*j = w + 7. Is 2 a factor of w?
False
Let y be (2 + -3)/(0 + -1). Let s be 2/(-11) - (-18)/99. Does 17 divide -19*(s + y/(-1))?
False
Let w(p) = 4*p - 10. Suppose -m - 2 = -6. Let k be 78/15 - m/(-5). Is 14 a factor of w(k)?
True
Let a(n) = -n - 2. Let d be a(-7). Let x = -5 + d. Does 5 divide x + -1 - -4 - -20?
False
Suppose -12*q + 4*t + 6054 = -7*q, -2*t + 3650 = 3*q. Is q a multiple of 10?
False
Let j(w) = w**3 + 10*w**2 - 5*w - 6. Does 24 divide j(-9)?
True
Let q(u) = -u**2 + 5 + 0*u - 3*u + 0*u**2. Let l be q(2). Is 47 - (l + -3)/4 a multiple of 17?
False
Suppose 0 = 2*x + 4*c - 366 - 834, 8 = -4*c. Is 16 a factor of x?
False
Suppose -3*h - c + 94 = -763, 2*h - 4*c - 562 = 0. Is h a multiple of 57?
True
Suppose -8 = -5*t + 2. Let v(d) = d**3 - 8 - 12*d**2 + 5 + 19*d**2 + t*d. Does 6 divide v(-6)?
False
Let c be ((-6)/5)/((-8)/20). Let f(o) = 3*o**3 - 2*o**2 - 2*o. Let n be f(c). Let z = -31 + n. Does 13 divide z?
True
Suppose 26 = 5*w + 4*v, -5*v + 12 = -4*w - 0*w. Suppose -2 = -2*r - k + 6, r + w*k + 2 = 0. Is r even?
True
Suppose 0 = -3*y + 2 + 19. Let o be -32*1/(63/33 + -2). Suppose -y*v = v - o. Is 22 a factor of v?
True
Is (-13)/((-78)/(-24)) - -469 a multiple of 15?
True
Let m be -6 - -8 - -3*(16 + -1). Let g = m - 11. Is 4 a factor of g?
True
Let b be 12/(-16)*(-4)/(-1). Is 5 a factor of -5 - -86 - (-3 - (b + 4))?
True
Is (8/(-12) - (-2816)/12) + -2 a multiple of 29?
True
Let k(l) = 6*l - 11. Let s be k(3). Suppose -x + 5 = -s. Is 4 a factor of x?
True
Let i(t) = -21*t - 288. Does 9 divide i(-45)?
True
Suppose 19 = t - 2*k + 7*k, t + 3*k = 11. Let u(n) = -2*n**2 + 1. Let x be u(t). Let y(d) = 3*d**2 - d. Is y(x) a multiple of 3?
False
Let s = 16 - -36. Let j = 82 - s. Does 10 divide j?
True
Let a be 10/8 - (-6)/8. Suppose -29 = -3*c + a*q, 3*c + 4 = 3*q + 34. Is c a multiple of 9?
True
Let u(w) = 2*w**2 - 3. Let j be u(-3). Suppose 13*q = j*q. Suppose q = -3*b - 12 + 144. Is b a multiple of 14?
False
Suppose -96 = 2*t - 4*l - 286, 0 = 5*t - 3*l - 461. Is t a multiple of 7?
True
Suppose i = 2*i. Let l be (2 + -5 + i)*-1. Suppose 3*t + t = -h + 68, 5*h + l*t = 306. Does 20 divide h?
True
Suppose 6*a = 17*a - 1650. Is a a multiple of 9?
False
Suppose -4*v = -7 - 1. Suppose 19 = 4*s