6. Let y = -1 - t. Suppose -z = -5*z + y. Is z even?
True
Is 11 a factor of 4/(-20) + (-56498)/(-65)?
True
Suppose -150 = 6*v - 3*v + t, 0 = -4*v + 4*t - 200. Does 14 divide v/(-6)*(2/1 + 37)?
False
Let r = 10 + -8. Suppose r*t - 4*w - 8 = 0, -5*t + 14 + 12 = -4*w. Suppose t = -4*h + 54. Is 9 a factor of h?
False
Suppose 4*f = 9*f + 15. Let q be 3/9*-22*f. Let a = 118 - q. Is 32 a factor of a?
True
Let h(t) = t**3 + 4*t**2 + 3*t. Let q be h(-2). Suppose 0*z = -q*z - 22. Let u = -3 - z. Does 4 divide u?
True
Let q be 2/(-1)*(-64)/16. Let n be 20/(3 - 1) + 0. Suppose n*f = q*f + 180. Does 30 divide f?
True
Let n(z) = -9*z**2 + 225*z**3 - 226*z**3 + 0*z**2 - 2*z - 8. Does 2 divide n(-9)?
True
Suppose -w - 87 = -3*a, w + 1 = a - 28. Suppose 0*d = -4*d + 3*f + 181, -4*f = -d + a. Suppose -5*c + d = -91. Is 14 a factor of c?
True
Let y(s) = 23*s - 10. Let q be y(5). Suppose -4*r - 2*v + q - 27 = 0, 24 = r - v. Does 7 divide r?
True
Suppose -5*u - 3*r - 9 = -0*u, -4*u - 4*r = 12. Suppose u = -2*m + m + 42. Suppose -m = -5*a + 2*a. Is a a multiple of 7?
True
Let a(j) = -j**3 + 13*j**2 - 10*j + 7. Let s be a(10). Suppose 3*q = 3*g + s, -q + 5*g - 110 = -3*q. Suppose 2*r - q = -13. Is r a multiple of 10?
False
Let m = -2893 + 3512. Is m a multiple of 12?
False
Let s(h) = 110*h**3 + 2*h**2 + 2*h + 1. Let y be s(-1). Suppose -1280 = -7*q - q. Let k = y + q. Is 18 a factor of k?
False
Let l(w) = -4*w**3 - 4*w**2 - 2*w + 1. Let s = -14 - -11. Let v be l(s). Suppose v = 6*q + 19. Is 3 a factor of q?
False
Suppose 0 = r - 96 + 81. Does 12 divide (r + -195)/((-3)/4)?
True
Suppose 4*n - 2*n - 8 = -2*a, -4*a + 6 = 2*n. Let f(j) = 50*j**2 + 3*j + 3. Is 22 a factor of f(a)?
False
Suppose -40*f + 16656 = 8*f. Is 53 a factor of f?
False
Suppose 64 = 5*p - 61. Suppose 0 = m - 5 - p. Is m a multiple of 7?
False
Suppose 0*p = -4*p + 20. Let b(a) = -a + 0*a + 1 + 6*a. Is 13 a factor of b(p)?
True
Let v(f) = -f**2 + 1. Let j(x) be the first derivative of x**4/4 + 5*x**3/3 + 5*x**2 + 3*x - 10. Let m(b) = -j(b) + 3*v(b). Does 7 divide m(-7)?
True
Let q = -1572 + 2901. Is q a multiple of 27?
False
Let n(u) = -u**2 + 9*u - 7. Let z be n(7). Suppose -6*h + z*h = 3. Is 2 a factor of h?
False
Let q = 39 + -21. Suppose 0 = 5*a - 2 - q. Is a a multiple of 2?
True
Let n(t) = -10*t - 24. Let y be n(-7). Suppose 7*h + y - 1208 = 0. Is 13 a factor of h?
False
Suppose -b + 21 = 4*l, 5*l + b = 17 + 8. Suppose 156 = l*n + 44. Is 8 a factor of n?
False
Suppose 22*n = 17*n. Let c be ((-4)/6)/((-2)/12). Suppose -k + c*k - 48 = n. Is 9 a factor of k?
False
Let x = -780 - -1122. Is 38 a factor of x?
True
Let c(a) = -197*a + 125. Is 15 a factor of c(-5)?
True
Is 14 a factor of ((-9)/(-4))/((-7)/(-2744))?
True
Let v = -31 - -208. Is 21 a factor of v?
False
Suppose -9*l + 36 = -0*l. Let m = 63 - l. Is m a multiple of 23?
False
Let s(k) = 22*k**2 - 4*k - 1. Is 25 a factor of s(-3)?
False
Suppose 5*j + 12 = 2*t, 5*t + j + 2*j - 61 = 0. Let d = 31 + t. Is d a multiple of 15?
False
Suppose 0 = 4*n + 4*v + 360, -5*v = -4*n - 335 - 16. Let i = -40 - n. Does 5 divide i?
False
Let l(w) = 6*w**3 + 2*w**2 + 2*w - 5. Let j(b) = 7*b**3 + 2*b**2 + 3*b - 6. Let q(r) = -5*j(r) + 6*l(r). Is q(4) a multiple of 23?
False
Let z = 557 - 354. Let j = z + -142. Does 9 divide j?
False
Is (-14)/(-21)*6 + 582 - 1 a multiple of 45?
True
Let c be (-44)/2*(-21)/6. Let v = c + -53. Suppose 3*j = -2*j + 5*z + 40, 2*j - 4*z - v = 0. Does 4 divide j?
True
Let a = -136 - -220. Suppose 3*d + 69 = 3*i, -3*i + a = d + d. Is i a multiple of 17?
False
Suppose -57 = s - 63. Suppose 5*y = -s*u + 4*u + 150, 0 = y - u - 37. Is y a multiple of 14?
False
Let b(j) = 2*j**3 + 17*j**2 + 10*j - 3. Does 11 divide b(8)?
True
Let c be ((-747)/15)/((-4)/20). Suppose c = 19*g - 16*g. Is 17 a factor of g?
False
Let n(j) = j**2 - 13*j + 364. Is n(17) a multiple of 50?
False
Let g = 806 + 3451. Is g a multiple of 129?
True
Let o(t) = -t**3 + 9*t**2 - 12*t + 7. Let q be o(7). Let f = -19 + q. Does 14 divide f/5 - (-1372)/20?
False
Let o(a) = -3*a - 9. Let t be (3 + 22/(-6))*6. Let n be o(t). Suppose 76 = w + n*w. Does 19 divide w?
True
Suppose 4*t - 5 + 23 = -2*z, -15 = 2*t - 5*z. Let o(d) = d + 16. Is 2 a factor of o(t)?
False
Let u(s) be the first derivative of s**3 - 17*s**2/2 - 7*s + 5. Is u(7) a multiple of 19?
False
Let a = -99 - -189. Suppose -a - 20 = -5*s. Does 22 divide s?
True
Let o be (1 + 2)*15/9. Suppose 4*z + o*h = 0, -2*z - 2*z - 4*h - 4 = 0. Let f = 21 + z. Does 13 divide f?
False
Suppose 25*b - 92278 + 29278 = 0. Is 70 a factor of b?
True
Suppose -4*q = -0*q - 16. Suppose 2*a + a + 5*i = 331, -a + q*i + 133 = 0. Is 18 a factor of a/(-1 - -4) - 3?
True
Let f(a) = -3*a**3 - a**2 + 12*a - 42. Is f(-9) a multiple of 93?
False
Let f = 198 - -10. Is f a multiple of 60?
False
Let c = -2 - -19. Suppose -n + 32 = 3*u, -4*u + 3*n + 4 = -c. Let d = 18 + u. Does 9 divide d?
True
Is 4 a factor of (-944)/(-12) - -1 - (-2)/6?
True
Let z = 3 + 1. Suppose -189 = -o + z*o. Let u = -44 - o. Is 10 a factor of u?
False
Suppose -2*d - d + 570 = -4*a, 0 = -2*d + 4. Let c = -81 - a. Is 31 a factor of c - (8/(-2) - -2)?
True
Suppose -3*g = 102 - 474. Suppose -5*c + g = -236. Does 8 divide c?
True
Let m = 7 + 3. Let i = 14 - m. Does 13 divide 106*(-1 - (-6)/i)?
False
Is 9 a factor of -2*(483/(-14) + 6)?
False
Let u(n) be the first derivative of -49*n**4/4 - 2*n**3/3 - n**2 - n - 8. Is 10 a factor of u(-1)?
False
Is ((-50)/(-5) - 4)/(1/26) a multiple of 3?
True
Let f(m) = m**2 + 16*m. Let s be f(-7). Let i = s + 145. Does 13 divide i?
False
Suppose -72 = -s - s + 3*m, 0 = -s - 5*m + 36. Suppose -5*r + z = -1636 + s, 0 = 5*z. Suppose -3*f - f = -r. Is f a multiple of 17?
False
Let v(t) = -t**2 + 7*t - 8. Let d be 29/5 - (-1)/5. Let l be v(d). Let z = 8 + l. Is z a multiple of 3?
True
Suppose -3*r + 6 = h - 4*r, 5*h - 2*r - 18 = 0. Let d(y) = -49*y**h + 27*y**2 + 1 + 26*y**2. Is d(-2) a multiple of 13?
False
Let w be 6/(6/2 + -1). Suppose -12 = -5*v + i, w*i + i - 12 = 0. Suppose -2 = -k + 3*g + 1, v*k - 9 = -3*g. Is 3 a factor of k?
True
Let q = -29 - 10. Let c = q + 63. Does 24 divide c?
True
Let o be 3*(-2 - (-6)/9). Is 1/o*-3 + (-48031)/(-172) a multiple of 20?
True
Let f(h) = 89*h**2 + 32*h - 15. Is f(3) a multiple of 18?
True
Suppose y - 38 = -1. Suppose -187 - y = -8*z. Does 14 divide z?
True
Suppose 0*z + 16 = -4*z, -2*z = -3*o + 11. Let v be (4 - 2)*(5 + o). Suppose -v*f + 52 = -11*f. Is f a multiple of 21?
False
Suppose -4*k - 5*a + 224 + 416 = 0, 480 = 3*k - 5*a. Is 6 a factor of k?
False
Is 6 a factor of ((-12)/24)/(-1*2/1788)?
False
Suppose -2*c + 2*n = -3*n + 46, -2*n - 31 = 3*c. Let f = -10 - c. Is (38 - (1 - f))/1 a multiple of 20?
True
Let h = 2796 + -2607. Is 11 a factor of h?
False
Suppose 0 = 4*z - 0*z - 8. Let y(d) = 2*d**3 - d**2 + 2*d - 1. Let p be y(z). Suppose 5*s - 50 = p. Is 13 a factor of s?
True
Let x(f) = -6*f + 3*f - 3*f + 9 - 24. Let t be x(-5). Suppose 0 = 3*j - 2*j - t. Is 5 a factor of j?
True
Let q(a) be the first derivative of 19*a**3/3 + a**2/2 - 2*a - 9. Suppose 1 + 3 = -2*o. Is 29 a factor of q(o)?
False
Let x be 22 - -3 - (10 - 6). Suppose -120 = -o - x. Does 33 divide o?
True
Let h(f) = 3*f + 4. Let x be h(0). Suppose -2*j - 4 = -5*d - 3, -5*j + 47 = x*d. Let s = j + 3. Does 6 divide s?
False
Suppose -x - 3 = 0, 7*y - 9*x - 4987 = 3*y. Is 54 a factor of y?
False
Suppose b - 200 - 120 = 4*s, 5*b = 20. Let w be (-2)/(-4)*(-5 - s). Let h = -22 + w. Is 15 a factor of h?
True
Suppose 15577 + 19493 = 30*z. Is 50 a factor of z?
False
Suppose -55 - 25 = 8*l. Is (((-6105)/l)/(-11))/(3/(-8)) a multiple of 21?
False
Let c be (-100)/(-15) - (-1 + 10/6). Let f = 127 + c. Is f a multiple of 16?
False
Let f = -140 + 143. Suppose -2*p - 65 = -f*k + 2*k, -4*p = 3*k - 145. Is 15 a factor of k?
False
Suppose -6*y - 19*y + 19975 = 0. Is y a multiple of 23?
False
Let p(z) = 19*z**2 + 14 - 5*z**3 - z**3 + 2*z**3 + 3*z**3. Does 14 divide p(19)?
True
Let g = -41 - -13. Let x = -26 - g. Let t = 42 + x. Is 30 a factor of t?
False
Is 12 a factor of (-64)/80*14595/(-14)?
False
Let f(n) = -69*n**2 + 1. Let u(j) = j. Let d be u(1). Let h be f(d). Is (h/(-14))/((-5)/(-35)) a multiple of 26?
False
Suppose -14326 = 70*q - 89*q. Is 26 a factor of q