2 + g**3/3 - 2*g**2. Does 17 divide t(1)?
False
Is 5 a factor of (-32)/(-12)*9/2?
False
Suppose 3*p - 39 = -3*q, -2*p = 3*q + 2*p - 40. Suppose q = 4*g - g. Is g a multiple of 3?
False
Suppose 0 = -d + 5*k + 23, 40 + 3 = 5*d - k. Suppose -78 = -9*t + d*t. Is 26 a factor of t?
True
Suppose -3*g + 5*o + 2 + 23 = 0, 0 = 2*g + o - 8. Suppose g*r + 46 = -4*u + 258, 164 = 3*u + 5*r. Does 16 divide u?
True
Let b(n) = 2*n**3 - 16*n**2 + 11*n + 7. Is 25 a factor of b(8)?
False
Let x be 6/10 + 44/10. Suppose 3*d - x = 7. Is d a multiple of 4?
True
Suppose -a + 15 + 1 = 0. Suppose s + a - 55 = 0. Is s a multiple of 17?
False
Let h(l) = -l**2 - 12*l - 15. Let g be h(-11). Let a be (-38)/2 + 2/(-2). Let u = g - a. Is 10 a factor of u?
False
Let a(h) = h**2 - 8*h - 12. Is a(10) a multiple of 4?
True
Let b be -1 + 3 - (1 + -2). Let x = -3 + b. Does 5 divide (-16)/6*(-3 + x)?
False
Suppose 4*h - 54 - 42 = 0. Does 5 divide h?
False
Let g(f) = 3*f**2 + f + 1. Let l be g(-1). Suppose -l*z = 3*m + 9 - 174, 2*z + 5*m - 122 = 0. Does 13 divide z?
False
Suppose 0*a - 9 = -2*s + 5*a, -3*s + 5*a + 16 = 0. Suppose -s*w + 9*w = 198. Is 33 a factor of w?
True
Let h be (2/3)/(1/12). Suppose 2 + 6 = 2*w. Suppose 4*z - h*b - 128 = -w*b, -5*z + 3*b = -154. Is z a multiple of 11?
False
Suppose 0 = -s - 5*b + 6 - 2, 88 = 3*s - 4*b. Suppose 0*r + 33 = 3*t - 5*r, -3*t + 2*r = -s. Suppose -4*o = -2 - t. Is o a multiple of 2?
True
Let n = -2 - -4. Suppose n*y - 4 = 4*y. Let b(l) = 3*l**2 + 2*l - 1. Is b(y) a multiple of 7?
True
Let l be 49 + (-5)/(-1) + -3. Let n = l - 28. Does 6 divide n?
False
Let o(i) = -i + 4. Let p be o(7). Is 4 a factor of 3 - -1 - 1*p?
False
Let i(o) = 3*o**3 - o**2. Let m be i(-1). Let z(n) = -11*n + 2. Is 15 a factor of z(m)?
False
Let f = -122 + 72. Does 12 divide 3/2*f/(-3)?
False
Let o(q) = 23*q**2 - 2*q + 7. Does 44 divide o(-3)?
True
Is (2 - (-18)/15)*(15 - 10) a multiple of 4?
True
Let y be 6/(-4)*8/(-6). Let x = y + -1. Let d(r) = 13*r. Is d(x) a multiple of 13?
True
Suppose -166 = -3*v + 3*r - 55, 5*r - 148 = -4*v. Is 10 a factor of v?
False
Suppose j - 23 + 20 = 0. Does 8 divide 2/(6/15)*j?
False
Let m = -141 - -245. Is 22 a factor of m?
False
Suppose -g = -9*g + 480. Is g a multiple of 8?
False
Suppose p - 19 = -3. Is 3 a factor of p?
False
Suppose -2*i = 4*i - 756. Does 12 divide i?
False
Suppose 4*o + 34 = x, 2*o - 170 = -2*x - 3*x. Let q = x - 24. Is 9 a factor of q?
False
Let q(d) = 3*d**2 - d - 1. Suppose k + 1 = -0. Let i be q(k). Suppose c = i*h + 33, 3*h = -5*c - 2*h + 65. Is c a multiple of 8?
False
Suppose -2*s - 2*n - 3*n - 2 = 0, -5*n + 6 = 4*s. Suppose 0*k - s = -4*k, 3*u - 4*k + 106 = 0. Let j = 66 + u. Is j a multiple of 11?
False
Let t = -19 - -29. Suppose t*z - 7*z = 24. Is 8 a factor of z?
True
Let l be (-1)/3 + (-48)/(-9). Let h = 8 - l. Suppose 2*d = -h*d + 35. Is 6 a factor of d?
False
Let k be (-57)/(-21) + (-2)/(-7). Let u = 1 + k. Is 4 a factor of u?
True
Let u = 15 + -11. Suppose u - 1 = z. Is 3 a factor of z?
True
Suppose n + n = 10. Suppose n*i = h - 0*h + 12, -5*i - 5*h = 0. Suppose 3*k - i*p = 63, 4*k - 6*p = -3*p + 85. Is k a multiple of 10?
False
Suppose -2*g = 3*x - 0*x - 129, -3*g - 3*x + 186 = 0. Is 12 a factor of g?
False
Suppose -7*m + 240 = -5*m. Is 20 a factor of m?
True
Let n be (-4)/(-6)*-3*-1. Suppose -3*a + u - 26 = 0, 0 = a + a + n*u + 28. Let z = -5 - a. Is z even?
False
Let d be -18*1*18/(-3). Suppose u - 64 = -b, 2*b - 5*u + 3*u = d. Does 23 divide b?
False
Suppose 0 = f - 4*y - 40, 0 = -3*f + 2*y + 111 - 11. Is 16 a factor of f?
True
Suppose 8 = 3*k - 10. Suppose -2*c - 60 = -4*q + k*q, 3*c = 5*q + 126. Is 14 a factor of (1 - q) + 1 + -1?
True
Suppose r = 2 - 6. Let a(l) = -1 + 4*l**2 + 6 + 0 - 2*l**2 + 5*l. Does 6 divide a(r)?
False
Suppose -m + g + 1 + 4 = 0, 4*m + g = 40. Let t = 9 - m. Is (33 - t)/3 - -3 a multiple of 9?
False
Let p(t) = t**3 - 5*t**2 - 9*t - 8. Let u be p(7). Suppose 0 - u = -w. Is 9 a factor of w?
True
Suppose -v - 3*v + 268 = 0. Does 24 divide v?
False
Let i(u) = 5*u - 6. Suppose -3 + 4 = -3*g + 4*o, o - 4 = 0. Is 13 a factor of i(g)?
False
Let o = 165 - 54. Does 45 divide o?
False
Suppose 3*p + 15 = 0, b - 2*b - 22 = 5*p. Suppose -c + 4 = -3*c, 5*c = -b*d + 17. Suppose 0 = 4*k - 19 - d. Does 3 divide k?
False
Is 7 a factor of (-476)/(-30) - (-6)/45?
False
Let g = 31 + -19. Suppose 2*v = 2*c - 38, 5*v + g = -8. Suppose 0 = 5*x - c + 5. Is x a multiple of 2?
True
Let j be 5/(-30) + (-178)/12. Is ((-81)/j)/(2/10) a multiple of 27?
True
Suppose 2*f = f + 40. Is 5 a factor of f?
True
Suppose 5*x - 75 = -5*w, 3*w + 12 = 7*w. Suppose -i = i - x. Is 5 a factor of i?
False
Let k(s) = 2*s**2 + 2*s. Let y be k(2). Let r = y - 5. Is r a multiple of 2?
False
Let h(u) = 5*u**2 + 7*u + 5. Let n(x) = -2*x + 3. Let z be n(4). Let c be h(z). Suppose 5*j = 5*y + c, -j + y = 4*j - 115. Is 8 a factor of j?
True
Let a(t) = t**3 + 3*t**2 - 2. Let i be a(-2). Suppose -4*j + 54 = i*x, -4*j - 10 = x - 61. Is 4 a factor of j?
True
Suppose 2*l + 358 = 5*j, 2*l + 354 = 5*j + l. Does 14 divide j?
True
Let l(a) = a**3 + 9*a**2 + 8*a - 4. Let v be l(-8). Let b = v - -18. Is b a multiple of 5?
False
Let f = -11 + 5. Let s(k) = 6*k - 8. Let i be s(7). Let r = i - f. Does 20 divide r?
True
Let o(g) = 4*g**2 + 5*g + 2. Let m(a) = -8*a**2 - 9*a - 3. Let j(u) = -4*m(u) - 7*o(u). Let d be j(-2). Let c = 31 + d. Is c a multiple of 20?
False
Let m = 340 - 94. Let y = -138 + m. Is 36 a factor of y?
True
Suppose 2*z = 3*c - c + 170, c = -4*z + 335. Does 28 divide z?
True
Suppose -6*x = -11*x + 410. Suppose 4*l - x = -9*v + 4*v, -5*l = 2*v - 43. Is v a multiple of 14?
True
Suppose 4*d + 5*q = -12, -2*d = -3*q + 6 - 22. Suppose 2*f + 15 = 4*n - 17, d*n + 2*f = 16. Is 3 a factor of n?
False
Let a = -99 + 156. Is 15 a factor of a?
False
Suppose 0 = -4*l + 233 + 199. Does 29 divide l?
False
Let q = 327 + -131. Suppose -3*j = b - 60, -b - j = 3*b - q. Is b a multiple of 16?
True
Suppose -t = 7 - 2. Let h = t - -13. Is h a multiple of 5?
False
Let h be (-4 + -21)*-3 - -2. Suppose 5*n + 4 = 3*u + h, 16 = 4*u. Does 5 divide n?
False
Suppose 794 = 9*j + 11. Does 23 divide j?
False
Let g(q) = 2*q**3 - q + 0 + 1 + 0 - q**3 + 2*q**2. Is 3 a factor of g(-2)?
True
Let n(p) = -2*p + 3. Let w be n(-3). Let c = w + 18. Does 12 divide c?
False
Suppose l - 44 = -l. Suppose -3*i + h = 2*h + 38, 5*i + 70 = -5*h. Let a = l + i. Is 5 a factor of a?
True
Suppose -4*o + 42 = -2. Suppose -4*j + 21 + o = 0. Is j a multiple of 5?
False
Suppose -x + 47 - 20 = 0. Is x a multiple of 5?
False
Let x = -49 + 64. Does 4 divide x?
False
Let k = 3 + -1. Suppose -17 = -k*m - 3. Is 7 a factor of m?
True
Suppose 3*h - 180 = -2*h. Does 11 divide (12 - 15) + 1*h?
True
Suppose 72 = 2*o + 2*u, 2*u + 138 - 18 = 4*o. Let d = o + -18. Is d a multiple of 4?
False
Let s be 6*(2 - (-5)/(-3)). Let x(v) = -1 - 3*v - 6*v + s*v. Is 7 a factor of x(-2)?
False
Suppose 0*q - 107 = -q. Suppose q = 5*j + n, 2*j + 0*n - 44 = -n. Is j a multiple of 7?
True
Let a be -19 + 2 + (-2)/2. Let q be (24/10)/(8/(-40)). Let v = q - a. Is v a multiple of 6?
True
Suppose 2*w - 28 = 4. Does 9 divide 15/(w/12 - 1)?
True
Let g(l) = 67*l**3 - 2*l**2 + 4*l - 3. Does 12 divide g(1)?
False
Suppose -40 = -7*z + 30. Is 2 a factor of z?
True
Suppose -60 = 5*r - c, -11 = 3*r - 5*c + 3. Does 8 divide (-102)/r + 2/13?
True
Suppose 5*h - 3*a = -25 + 61, 0 = -2*h - 4*a + 30. Is 9 a factor of h?
True
Suppose 2*d + 3*d = 5*k + 1265, 0 = -5*d + 3*k + 1271. Is 26 a factor of d?
False
Let s(z) = -z**3 + 4*z**2 - 10. Is s(-3) a multiple of 11?
False
Does 33 divide ((-16)/(-28) + (-2278)/(-56))*8?
True
Let m = 4 - 4. Suppose 4*t + 0*t = m. Is (7 + -2 + t)*4 a multiple of 8?
False
Let w(s) = -s**2 - 4*s + 1. Let g be w(-4). Is 105/4 + g/(-4) a multiple of 13?
True
Let g be 19/2 + 3/(-6). Let n be (-6)/g + (-1174)/(-6). Suppose -w - 2*w - m = -101, 5*w - n = 5*m. Is 17 a factor of w?
False
Let t be ((-143)/(-65))/((-1)/(-5)). Let m(n) = n**2 - 9*n - 13. Is m(t) a multiple of 7?
False
Let k = 43 - 7. Let r = k + -24. Is r a multiple of 12?
True
Let d(u) be the second derivative of 0 + 2*u**2 + 1/20*u**5 - 3*u - 2/3*u**4 - u**3. Is d(9) a multiple of 16?
False
Suppose 2*a + 10 = 5*k, 2*a - 6*a - 2*k = -28. Sup