of w(5)?
True
Let n = 198 - 125. Suppose 3*c + 5*g = 352, 124 = -0*c + c + 3*g. Let q = c - n. Is 18 a factor of q?
True
Suppose 0 = 2*j + 2*b + 62, -2*j + 5*b = 2*b + 42. Does 12 divide (-18)/j + 97/3?
False
Suppose 0 = 2*v - 3*q - 83, -55 = -4*v + 3*v - 3*q. Does 14 divide v?
False
Let t(a) = 7*a + a**2 - 7 + a - 4*a. Let u be t(-6). Suppose b + 2*b = u*j + 91, 3*j = -b + 7. Does 19 divide b?
False
Suppose 4*i + 480 = 8*i. Does 30 divide i?
True
Suppose 2*j - 6*j = -16. Let q(o) = -o**2 - 20*o - 15. Let b be q(-19). Suppose -j*y = b*f - 24, -y = 3*f - f - 8. Is 2 a factor of f?
True
Let g = -77 - -181. Does 26 divide g?
True
Suppose 3*v - 36 = v. Suppose -v = -4*g + 26. Is 8 a factor of g?
False
Let l be 1 + 2/2*3. Suppose l*x + 32 = 3*q, -5*q - 2*x - 3*x = -30. Is q a multiple of 4?
True
Suppose -4*v = 2*q + 288 - 80, -4*v - 218 = -3*q. Let z = v + 30. Let o = z - -50. Is o a multiple of 22?
False
Suppose -2*h + s = -6*h + 470, -2*h + 4*s = -244. Is 25 a factor of h?
False
Let r(s) = s + 4. Let z be r(-7). Is z/3*-8*1 a multiple of 5?
False
Let f(v) = 7*v**2 + 3*v - 8. Is f(3) a multiple of 8?
True
Suppose -14*x + 72 = -11*x. Is 13 a factor of x?
False
Let a = 34 - 19. Does 4 divide a?
False
Suppose -r = -2*r - 4. Let x = r + 14. Does 8 divide x?
False
Let s(l) = -2*l - 11. Suppose 0 = -m - 4 - 6. Let j be s(m). Let a(c) = c**3 - 9*c**2 + 2*c - 6. Is a(j) a multiple of 8?
False
Let s(j) = 3*j**2 + 2*j. Suppose 3*t + 9 = -3. Let i be s(t). Suppose 0 = -6*v + v + i. Is 4 a factor of v?
True
Suppose -3*t = 2*k - 0*k - 44, t - k - 8 = 0. Is 44/t - (-3)/9 a multiple of 3?
False
Let p be 728/36 + (-2)/9. Suppose -3*t + p = t. Is t a multiple of 5?
True
Suppose -4*c + 147 = u, -3*u + 109 = 5*c - 80. Is c a multiple of 18?
True
Let o(d) = d**2 + 6*d + 5. Let m be o(-6). Suppose x = -a + 38, -m*x + 0*x + 3*a = -174. Does 18 divide x?
True
Let t(y) = 56*y**3 - 1. Let f be t(1). Suppose f - 7 = g. Let o = -33 + g. Is o a multiple of 5?
True
Let y = 72 - 48. Is y a multiple of 8?
True
Let r(j) = -5*j + 41. Is 12 a factor of r(-11)?
True
Let i = 131 + -71. Is i a multiple of 10?
True
Let v = 207 + -113. Is v a multiple of 16?
False
Suppose -5*q + 934 = 2*r, -2*q - 3*q + r + 928 = 0. Is q a multiple of 31?
True
Let p = -297 + 450. Suppose 3*c - p = -0*c. Is 17 a factor of c?
True
Let j = 17 - 6. Let f = 29 + j. Is 18 a factor of f?
False
Let p(d) = 8*d**2 + 3*d + 3. Suppose -4*o - 5*a - 15 = 12, -3*o + 2*a = 3. Let c be p(o). Suppose -3*i - c = -6*i. Does 8 divide i?
False
Let n(q) = 38*q + 4. Let c be n(-3). Is 11 a factor of (-1)/(-4) - c/8?
False
Suppose 5*l - 3*d = 1065, -l + 3*d + 225 = -0*d. Is l a multiple of 42?
True
Let g = 140 + -43. Is g a multiple of 22?
False
Suppose 0 = -2*j - 8 - 6. Is (2 - 1) + (j - -36) a multiple of 15?
True
Let p = -40 + 72. Suppose j + k + 14 = 6*k, -4*j = 2*k - p. Suppose -5*g + 181 - j = 0. Is 9 a factor of g?
False
Let c = 0 - -2. Is 2 a factor of c?
True
Let k be (3 - -15) + 0 + 2. Let m be (-10)/(-4)*24/k. Suppose 0*r + m*r = 18. Does 4 divide r?
False
Let y be 1/(-1)*(-1 + -1). Let r = y - 5. Does 5 divide r - (-14 - 1 - -2)?
True
Let f be (3/(-6))/(1/6). Is 9 a factor of -1 - (4 + f)*-19?
True
Is ((-47)/(-1) - -1)/1 a multiple of 8?
True
Suppose -3*n + 5*b + 36 = -2*n, n + 3*b - 36 = 0. Is 6 a factor of n?
True
Is 3/15 - 134/(-5) a multiple of 9?
True
Suppose 6*g - 2*g - 8 = 0. Suppose -3*q - 5*w = -128, -g*q = -4*w - 111 - 11. Suppose 0 = -3*k + d + 24, k + 4*k = -2*d + q. Does 9 divide k?
True
Let a(l) = 17*l - 2. Is a(2) a multiple of 5?
False
Let h(b) = b**3 - 7*b**2 + 6*b + 2. Let u be -12*(408/(-9))/(-4). Let y be u/(-20) + (-1)/(-5). Is 22 a factor of h(y)?
True
Let n = -22 - -20. Does 6 divide ((-23)/n)/(1/2)?
False
Suppose -5*v - 5*h - 135 = 0, -4*v - 4*h - 33 = -3*v. Let j = v + 44. Is j a multiple of 8?
False
Does 6 divide -3 + 5 - (-16 - 0)?
True
Let d(j) = -j**2 - 9*j + 14. Let i be d(-10). Suppose 0 = 2*h - i*t + 26, 3*h - 7*h + 3*t - 32 = 0. Let k = 15 + h. Does 10 divide k?
True
Let u(i) = 67*i**2 - 3*i. Does 5 divide u(-1)?
True
Suppose -3*x - x - 36 = 0. Let d = -1 - x. Is 6 a factor of d?
False
Suppose -14*t + 11 = -13*t. Suppose -b + t = -25. Is b a multiple of 18?
True
Suppose -1 = d - 2*d. Suppose 3*b = -2*j - d, -2*b = -0*b - 3*j - 21. Is b a multiple of 3?
True
Let j = 1 - -5. Suppose -z + 50 = -j*z. Is (-1 + 6/10)*z a multiple of 4?
True
Let a be (-4)/(-14) - 168/(-98). Suppose 5*z - 20 = -a*p + 2*z, p - 4*z = 10. Is p a multiple of 8?
False
Let y(m) = -10*m - 5. Let a be y(-5). Let n = a - 31. Is n a multiple of 7?
True
Let q = 45 - 0. Is 15 a factor of q?
True
Let y = 0 + 0. Let h(k) = -12*k**3 - k**2 - k. Let g be h(-1). Is 14 a factor of g - (-2 - y/(-2))?
True
Suppose 7 = q - 0*q. Let u = 8 - q. Is 9 a factor of (1/u)/((-2)/(-66))?
False
Let n be 5 - -1*0/2. Suppose 5*a + n*z - 385 = 0, 2*a + 140 = 4*a - 5*z. Suppose 3*u + a = 8*u. Does 15 divide u?
True
Suppose 0*v = -v + 74. Is v a multiple of 37?
True
Let b(y) = -4*y + 1. Suppose 3*o - 5 = 5*h + 5, -4*h = -5*o - 5. Is 6 a factor of b(h)?
False
Suppose 45 + 5 = 2*z. Is 25 a factor of z?
True
Is (-274)/(-4) - 6/(-12) a multiple of 23?
True
Suppose -4*l - 96 - 4 = 0. Suppose 2*r - 46 - 40 = 0. Let c = r + l. Is 13 a factor of c?
False
Let o(j) = j**3 - 7*j**2 - 11*j - 12. Suppose -70 = -5*l + 2*m - 27, -m + 1 = 0. Is 9 a factor of o(l)?
False
Let x = -4 - -7. Let t = -5 - -27. Suppose 2*g - t = -c + 2*c, -4*c + 33 = x*g. Is 11 a factor of g?
True
Suppose 4*j - 204 = u, -5*j + 2*u = -0*u - 252. Is 13 a factor of j?
True
Let x(j) = -j**3 - 3*j**2 - 2*j - 3. Let k be x(-5). Suppose 103 + k = 4*c. Is 15 a factor of c?
False
Let l(q) = -2*q**3 + 14*q**2 - 10*q + 9. Let s(g) = -3*g**3 + 15*g**2 - 9*g + 10. Let a(j) = 4*l(j) - 3*s(j). Does 9 divide a(-12)?
True
Let m be 1/2 + 1/2. Let h(z) = -z**3 + 8*z**3 + 66 + z - 67. Is h(m) even?
False
Let a(m) = -10*m + 18. Does 6 divide a(-7)?
False
Let c(v) = v**3 - 11*v**2 - 7*v + 6. Suppose -2*t - 3*k = -4 - 8, 0 = 5*t - 5*k - 80. Is 28 a factor of c(t)?
False
Let j(o) = -6*o - 2. Let c be j(-2). Let d = c + -6. Suppose -6 = p + d*i - 61, 0 = -4*p + i + 152. Is 17 a factor of p?
False
Suppose -5*s + 378 = -4*f, -2*s + 190 - 25 = 3*f. Is s a multiple of 26?
True
Suppose 2 = -j + 2*j - q, -5*q = -4*j + 4. Let r(w) = -8*w**2 + j*w**2 + 4*w**2 + 6*w. Is r(-4) a multiple of 4?
True
Let m = -223 - -277. Does 3 divide m?
True
Suppose -20*g = -17*g - 156. Is 8 a factor of g?
False
Is (2 - 0)*42/4 a multiple of 7?
True
Suppose -75 = -5*t + 3*c - 0*c, -2*t = -4*c - 30. Let k(x) = x**2 - 15*x + 17. Is k(t) a multiple of 4?
False
Let a be 3/(3/180*4). Suppose 12*v - a = 7*v. Is v a multiple of 9?
True
Suppose 5*f - 5*w - 22 = -2*w, 4*f + 5*w - 25 = 0. Let z = f + 1. Does 3 divide z?
True
Let b = -9 + 11. Is b a multiple of 2?
True
Let f = 4 - 3. Does 8 divide (-1 - (-4)/f)*6?
False
Suppose 16 = 5*g + 1. Let d(a) = -4*a + 3*a**2 + 5*a + 1 - 2*a + g*a. Does 11 divide d(-3)?
True
Let h be 3/(-1 + 10/7). Let u = h + -11. Let s(g) = -g**3 - 4*g**2 - 2*g - 3. Does 4 divide s(u)?
False
Let l(k) = -k**3 - 13*k**2 - 24*k - 10. Is l(-11) a multiple of 3?
True
Let t(b) = b**2 + 12*b + 15. Is 3 a factor of t(-11)?
False
Let o be -6 + (-7)/((-21)/(-6)). Let n = o + 113. Does 27 divide n?
False
Suppose y = -5, -5*w + 0*y + 345 = -y. Does 7 divide w?
False
Suppose 155*c = 153*c + 660. Does 66 divide c?
True
Let k(j) be the first derivative of j**3/3 + 3*j**2/2 + 2*j + 8. Is k(-4) a multiple of 4?
False
Let i = -14 + 15. Let t = i - -44. Is t a multiple of 15?
True
Let r(f) = -2*f + 504. Is 68 a factor of r(0)?
False
Let a = -12 + -6. Let t = -12 - a. Is t even?
True
Let q(f) = 0*f**2 + 3 + 4*f**2 + 3*f + 0. Let u be q(-2). Suppose o - 1 = u. Does 9 divide o?
False
Let b(q) = -q**3 - 7*q**2 - 6*q - 6. Let t be b(-6). Let h = t - -10. Suppose 0*c + 12 = h*c. Does 2 divide c?
False
Let f be ((-2)/(-1))/(2/4). Suppose f*j - 18 = j. Does 9 divide 2*(j + 0/3)?
False
Suppose -4*q - 12 = 12. Let r be -1 + 3 + (q - -7). Is 150/8 - r/(-12) a multiple of 10?
False
Suppose 0 = -5*k - o + 446, -3*k - 21 = -2*o - 286. Let w be 6/21 - k/(-7). Suppose -5*i + w = 3*f, i + 0 = -1. Is f a multiple of 6?
True
Let c = -52 + 107. Let b = 