actor of t(4)?
True
Let v(u) = 6*u**2 + 2*u - 1. Does 4 divide v(-2)?
False
Suppose -s = -3*s - 5*n + 89, 76 = 3*s - 4*n. Suppose g - 28 = s. Does 20 divide g?
True
Suppose 12*u = 17*u - 795. Does 30 divide u?
False
Suppose -2*y + 9 = -81. Is 13 a factor of y?
False
Suppose -2*h + o = -17, 2*o - 14 = -3*h - h. Let i(r) = 2*r**2 - 8*r + 8. Let k be i(h). Let g = k - 13. Is 7 a factor of g?
False
Is 13 a factor of (-21)/(-28) - 147/(-12)?
True
Suppose -84 - 36 = -3*r. Suppose -3*v = -2*d - 6 + 33, -5 = v. Does 3 divide (d/(-5))/((-8)/r)?
True
Suppose -13*x = -10*x - 540. Is 11 a factor of x?
False
Let k(u) = -u**2 - 4*u + 7. Let p be k(-5). Suppose p*f - 24 = -0*f. Is 6 a factor of f?
True
Suppose -2 = -4*f - 10. Is (-78)/(-6) - (1 + f) a multiple of 5?
False
Suppose u - 2*u = 1. Let y(f) = 69*f - 2. Let v(x) = -35*x + 1. Let c(p) = -5*v(p) - 3*y(p). Is 11 a factor of c(u)?
True
Let q = -2 - -38. Is 12 a factor of q?
True
Suppose -4 = -2*x + 2*j, -2*x - 3*j = -x + 2. Let f = 2 + x. Suppose -42 = -f*w + 99. Is 19 a factor of w?
False
Suppose 3*m + 2*m + 2*j = -26, 0 = 3*m - j + 9. Let d be -13*2/m*2. Suppose 0 = 5*x + 5, -h + 4*x + d = -0*x. Does 8 divide h?
False
Let l(r) = r**3 + 4*r**2 - r - 3. Let x be l(-4). Let b = 31 + x. Is b a multiple of 28?
False
Let h = 7 + -11. Let l = h - -1. Is 12 a factor of (-24)/1*(-4 - l)?
True
Let h be (2 - 3)*(-1 + -1). Suppose -48 = -2*f - 4*x, h*f + 2*f - 2*x = 106. Does 13 divide f?
True
Suppose 0 = o - 4*o - g + 39, -4*o - g = -52. Is o a multiple of 13?
True
Let p(n) = n**3 + 4*n**2 + 5. Let t be p(-4). Suppose -t*z - 4 = -19. Suppose -4*k - 3*i = -99, -z*k + 2*i + 70 = -0*i. Is k a multiple of 11?
False
Let j = -9 - -13. Suppose -2*r - j = 0, -4*d = -4*r + 7*r - 154. Does 11 divide d?
False
Suppose 3*g + 29 = 4*z + 85, 5*g = -3*z + 74. Suppose -4*x + g = 4*d - 3*x, -4*d - 3*x = -24. Suppose -4*o + 168 = -d*h + 8*h, 0 = 4*h. Does 21 divide o?
True
Does 10 divide (-132)/2*(-2)/3?
False
Is (2 - -41) + -3 + 2 a multiple of 6?
True
Suppose -1350 = -8*w + 2*w. Is 25 a factor of w?
True
Let y(r) = r**2 - 7*r - 2. Let d be y(7). Is 9 a factor of (4/10)/(d/(-180))?
True
Suppose 5*u = -1 + 16. Is 16 a factor of 48 - (u - (3 - 0))?
True
Let z = -13 + 22. Let c = z + 9. Suppose -c = -2*w - 4. Is 7 a factor of w?
True
Let x be 1 + (0 - 0) + -2. Let m be (x - (-1 - 1))*17. Suppose -4*f = -k - 72, 4*f - 35 = -4*k + m. Is f a multiple of 17?
True
Is 13 a factor of (-125)/(-3) + (-1)/(-3)?
False
Suppose -i + 0 = -3. Suppose -y - i*y + 336 = 0. Is y a multiple of 17?
False
Is 21/(-7)*(-368)/3 a multiple of 19?
False
Does 4 divide 6*(-1 + (-14)/(-6))?
True
Suppose -5*f = -8*f. Suppose f*l - 2*l = -198. Is l a multiple of 36?
False
Suppose -4*t - 5*l + 336 = 0, 4*t + 4*l = 2*t + 168. Does 28 divide t?
True
Let q(g) be the second derivative of 1/20*g**5 - 7/12*g**4 + 5/2*g**2 + 0 + 2*g + 2/3*g**3. Is q(7) a multiple of 13?
False
Let o = 9 + -9. Suppose q = w - 12, -w - 4*w + q + 44 = o. Let z = 15 - w. Does 6 divide z?
False
Suppose 4*b + 4 = 3*b, b - 4 = -h. Does 2 divide h?
True
Let x(u) = 11*u**2 - 33*u + 28. Let p(l) = -5*l**2 + 16*l - 14. Let k(r) = 13*p(r) + 6*x(r). Suppose 0*q - 3*w + 3 = -q, 0 = -3*w - 9. Does 4 divide k(q)?
False
Suppose -3*n = -164 + 38. Is n a multiple of 21?
True
Suppose j + 2 = -2*b, 3*j + 12 = 4*j - 5*b. Suppose -4*a - a = -j*w + 12, -4*a = 5*w - 30. Suppose 0 = -s + w - 1. Does 2 divide s?
False
Does 11 divide (0 + (-27)/(-6))/(1/14)?
False
Let d be (1*2)/(12/(-66)). Let z = d - -47. Is z a multiple of 9?
True
Let v = 9 - 14. Let g = v + 30. Is 7 a factor of g?
False
Suppose 0 = -5*f + 216 + 39. Is 23 a factor of f?
False
Suppose z - 2 = 2*y, -y = z - 2*z + 1. Suppose -60 = -5*v - 3*j, v - 3*v + j + 24 = z. Is 12 a factor of v?
True
Let c = 144 - 68. Is c a multiple of 19?
True
Let h(z) = z**2 - 10*z - 1. Let g(q) = q**2 - 19*q - 2. Let i(c) = -4*g(c) + 7*h(c). Is i(-4) a multiple of 10?
False
Suppose 0 = -k - 0*k. Suppose k = 5*g - g - 172. Is 13 a factor of g?
False
Suppose -2*d = -f + 140, 4*f + d + 410 = 7*f. Is 14 a factor of f?
False
Suppose 106 = 5*v + f, 5*v + 2*f - 5*f = 102. Is 21 a factor of v?
True
Let v(d) = 0*d**2 - 6 + 3 + 2*d**2. Let i be v(5). Let y = i - 9. Is 19 a factor of y?
True
Let k be 1*(-4)/((-1)/1). Suppose x = 5 + k. Is x a multiple of 9?
True
Let d = -19 - 2. Let z = -10 - d. Is z a multiple of 6?
False
Let u be (4 - 7)/((-3)/4). Suppose u*j - 5*j = -72. Does 24 divide j?
True
Let b be (-1 - 6)*(-18)/(-21). Let q = b + 7. Is 17 a factor of q + 13 - 3*-1?
True
Let t be -1*0/(-3) + 1. Let a(b) = 3*b + 31*b**2 + t - 3*b - 12*b**2. Is 10 a factor of a(-1)?
True
Suppose 17*d - 4088 = -1113. Is 7 a factor of d?
True
Let m = 125 + -83. Does 7 divide m?
True
Is 22 + -2 + 4 + -1 a multiple of 16?
False
Let n(k) = -k + 1. Let z be n(-1). Suppose -z*x + 5*c + 35 = 0, -5*x = -x + 5*c - 115. Does 12 divide 5/(x/24)*5?
True
Let r = 446 - 197. Is r a multiple of 46?
False
Let h(i) = 97*i**2 - 1. Is 25 a factor of h(1)?
False
Suppose -5*b = -5, 4*n + 3*b = 32 + 3. Let h be ((-9)/(-6))/((-3)/4). Let p = h + n. Is p a multiple of 3?
True
Let a(j) = -j**3 + j**2 + 5. Let z be a(0). Let s = -3 + z. Suppose s*l - 7*l = -120. Is 8 a factor of l?
True
Let q be (16/6)/((-12)/(-18)). Suppose -q*v + 3 = -21. Does 15 divide (-122)/(-8) - v/24?
True
Let r = 134 + 7. Is 10 a factor of r?
False
Let u(k) = -k**3 - 5*k**2 + 7*k + 8. Let d(j) = -j**2 + 3. Let f be d(3). Let w be u(f). Suppose 4*y - g - 18 = g, -2*y - w*g - 6 = 0. Is y a multiple of 2?
True
Suppose -8*q + l = -7*q - 148, l + 454 = 3*q. Is 23 a factor of q?
False
Let c(i) = -i**3 - 8*i**2 - 10*i + 7. Does 14 divide c(-7)?
True
Let a(m) = -2*m + 6. Let t be a(5). Let s be t/6*(-279)/6. Suppose 34 + s = 5*o. Is 6 a factor of o?
False
Suppose 5*u - 4*u - 5 = 0, 3*u = -2*b + 43. Does 7 divide b?
True
Let a be (-6)/9 + (-20)/(-3). Let r(y) = y**3 - 6*y**2 + 4*y + 6. Let z be r(a). Suppose -2*c - 4 + z = 0. Does 13 divide c?
True
Let r(i) = -35*i**2 - 7*i. Let w(p) = 52*p**2 + 10*p. Let f(n) = 7*r(n) + 5*w(n). Is f(-1) a multiple of 14?
True
Let j(u) be the third derivative of u**5/60 + u**4/24 - u**3/6 - u**2. Does 15 divide j(6)?
False
Suppose 0*r = -4*r + 4. Let q be (-2 - -3)/(0 + r). Is 5 a factor of (-3)/q + (-18)/(-1)?
True
Suppose -4*r + 103 + 21 = 0. Suppose -z + 2*z - 4 = 0, 0 = 3*b - 2*z - r. Is b a multiple of 5?
False
Let n(b) = b - 7. Suppose -3*f - 36 = -4*m, -5*m + 45 = -0*m - 2*f. Let l be n(m). Is l/9 + 496/36 a multiple of 14?
True
Suppose -4*x + 167 = -257. Does 14 divide x?
False
Let i = -3 - -5. Suppose 0 = i*o + 3*s - 3, o = 6*o - 3*s - 18. Suppose -64 - 20 = -o*z. Is 14 a factor of z?
True
Let c(b) = -b**3 - b**2 + b + 1. Let q(t) = -5*t**3 - 3*t**2 + 3*t + 4. Let f(k) = 2*c(k) - q(k). Does 8 divide f(2)?
True
Suppose 0 = 3*k - 93 - 6. Does 11 divide k?
True
Let g(z) = 5*z - 1. Suppose 0*s = -5*s + 5*a - 40, -s = -2*a + 13. Let w be 9/(-1)*1/s. Does 14 divide g(w)?
True
Suppose -4 = -l - l. Let r = l - -4. Is 6 a factor of r?
True
Let b(l) be the third derivative of 5/24*l**4 + 0*l**3 + 0*l + 0 - l**2. Is 10 a factor of b(2)?
True
Suppose 80 = -3*i + 8*i. Does 11 divide (0 + i)/(2/4)?
False
Let q = -3 + 23. Let l = q - 8. Is l a multiple of 12?
True
Does 30 divide 24/(-48)*(0 + -210)?
False
Let v be 40/4*3/(-1). Does 18 divide 20/v - 218/(-3)?
True
Let h = -3 + 3. Suppose h*g = 3*g - 6. Suppose -z = -3*o - 3*z + 62, 0 = -g*o - 2*z + 44. Is o a multiple of 8?
False
Let z(n) = -n**2 - n. Let h be z(1). Does 8 divide -3 + h/(6/(-57))?
True
Let g = 15 - 10. Let x(w) = w**3 - 4*w**2 - 2*w - 6. Does 9 divide x(g)?
True
Is (296/12 - -2)*3 a multiple of 40?
True
Let k(p) = 2*p - 19. Does 3 divide k(23)?
True
Let y = 140 - 64. Suppose -4*b = h + y, 3*h - 78 = b + 4*b. Does 2 divide ((-8)/12)/(4/b)?
False
Let f(n) = 4*n - 3. Let v = 11 - 7. Is 13 a factor of f(v)?
True
Does 5 divide -2 - -14 - 2*-1?
False
Let d(w) be the first derivative of -w**4/4 + 2*w**3 - 3*w**2/2 - w + 7. Suppose -3*a + 11 = -4. Does 9 divide d(a)?
True
Let j(c) = 2*c**2 - 3*c - 5. Suppose -5*z + 32 = 7. Let v be j(z). Let t = 71 - v. Is t a multiple of 13?
False
Let n(r) = 10*r**2 + 31*r - 43. Let g(d) = 3*d**2 + 10*d - 14. Let q(u) = 7*g(u) - 2*