= 4*t - 2. Let g be f(k). Suppose -z + 7 + g = 0. Is 6 a factor of z?
False
Let n = 2 - -1. Suppose -4*g - 3*i + 270 = -g, n*g + i - 262 = 0. Suppose -5*k = -j + 57, 2*j + 2*k - g = -2*k. Is j a multiple of 15?
False
Let h(u) = 12 + 2*u - 26*u**2 - 7 - 4. Let w be h(-2). Let m = w - -161. Is m a multiple of 28?
False
Let q(i) = -i**3 - 5*i**2 + 14. Let m be q(-7). Let o be -2*1 + (-4)/(-2). Suppose 3*g - g - m = o. Is 14 a factor of g?
True
Suppose p - 19 = u, 0*p = -p - 2. Is 3 a factor of 3 + 28/u + 46/3?
False
Suppose -462 + 65 = -2*y - v, -4*y = 3*v - 789. Is 73 a factor of y?
False
Suppose 2*g - 2*z = 3*g - 37, 2*z = 2*g - 68. Is g a multiple of 5?
True
Let c(v) = v - 10. Let r(t) = -2*t + 21. Let o = -1 - 3. Let d(l) = o*r(l) - 10*c(l). Is 10 a factor of d(-7)?
True
Let v be 1*4/(-8)*0. Suppose 5*d - 83 = -k + 63, v = 3*k + 5*d - 388. Is 17 a factor of k?
False
Suppose 0 = 4*l - 7 - 13. Suppose 4*i - l*z = 5, 4*i - 38 = -z - 15. Suppose 0 = i*h + 5*b - 40, -4*h - b = -0*b - 23. Is 5 a factor of h?
True
Let i be 1 - ((1 - 1) + 0). Suppose 4*r - r - g = 1, -3*r - 11 = 2*g. Is 13 a factor of r + i - (0 - 52)?
True
Is (-132)/(((-168)/(-160))/(-7)) a multiple of 80?
True
Suppose -3*t = 2*w - 1601, -t + 798 = 11*w - 10*w. Is 5 a factor of w?
False
Let f(i) = i**2 - 20*i + 70. Does 6 divide f(23)?
False
Suppose 8 = 2*x - 0. Suppose -12 = -x*i - s + 3*s, i - 10 = 4*s. Suppose -2*w + 45 = i*n - 5, -4*w - n = -100. Does 7 divide w?
False
Let c(o) be the first derivative of -o**4/4 + 2*o**3/3 + 3*o**2/2 - 4. Let a be c(-2). Suppose a*q - 8*q = 66. Is q a multiple of 12?
False
Let v = 23 - 5. Suppose -l - 5*x - v = 0, 0*l + 4*l + 2*x = 0. Is -1*(-3 - (l + -2)) even?
False
Let r = -105 + 158. Let b = 0 - r. Let q = b + 98. Is 18 a factor of q?
False
Suppose 0 = 7*l + 8*l - 1530. Is l a multiple of 17?
True
Let i = -495 + 2322. Is i a multiple of 61?
False
Suppose -2*h = -6*h. Does 5 divide (h + -2*1)/(18/(-531))?
False
Suppose 55*r - 58*r + 210 = 0. Is 2 a factor of r?
True
Suppose -2*q + 2*p = -3088, 4*q - 2*p = -2751 + 8935. Is 36 a factor of q?
True
Let a(w) = 38*w - 174. Is 61 a factor of a(14)?
False
Suppose 3423 = 17*d + 4*d. Is 18 a factor of d?
False
Let w(l) = -l**3 - 28*l**2 - 22*l - 3. Is w(-30) a multiple of 27?
True
Let r(w) be the first derivative of 44*w**3/3 + 3*w**2/2 - 2*w - 1. Does 9 divide r(1)?
True
Let r be (176/(-20))/((-4)/70). Does 28 divide (-10)/(-4)*r*2/5?
False
Let g(j) = j**3 + 31*j**2 + 116*j + 14. Does 7 divide g(-12)?
True
Suppose 3*t - 2*k + 453 = 1893, 970 = 2*t + 2*k. Is t a multiple of 23?
False
Let m(p) = 4*p - 17. Let h be m(-5). Is 35 a factor of -1 - (-4 + 1) - h - 4?
True
Let a = 80 - -39. Let n = 259 - a. Suppose 6*d - n = d. Does 18 divide d?
False
Suppose 1 = -5*o - v + 13, -v = -4*o + 15. Suppose -2 - o = 5*f, -5*h = -2*f + 53. Let g(m) = -m - 6. Does 5 divide g(h)?
True
Let b be -4 - (6 - (-2)/(-1)). Let y be (b/1 - 0)*1. Is y/24 + 115/3 a multiple of 12?
False
Let n = -16 + 20. Suppose -2*m - 52 = -n*m. Suppose 0 = y + 5 - m. Is y a multiple of 7?
True
Let b = 320 + -194. Is 9 a factor of b?
True
Suppose -2*z = -5*t + z + 81, 5*t - 99 = -3*z. Suppose -q + 44 = 2*r, -4*r + 2 + t = 0. Is q a multiple of 17?
True
Let w(a) = -a**3 + 5*a**2 - 3*a + 5. Let q be w(5). Let t(k) = -6*k - 24. Is 22 a factor of t(q)?
False
Let s = 11 + -16. Let y = s + -10. Does 11 divide ((-88)/(-20))/((-3)/y)?
True
Let m(t) = 3*t + 0*t + 11 - 2*t + 0*t. Let a be m(-11). Suppose v + 5*b - 65 = a, 2*v - 132 = 3*b + 24. Is 24 a factor of v?
False
Let p(k) = -8 + 7*k**3 + 4*k - 5*k**3 + k**2 + k**3. Is p(4) a multiple of 27?
True
Suppose -n + 4 = 14. Let v be (5/(-2))/(n/60). Suppose -v = -g - 3. Is 12 a factor of g?
True
Let n = -664 - -1147. Does 32 divide n?
False
Suppose 0 = n + 3*n - 12. Let j = n - 6. Is (j - (-180)/8)*2 a multiple of 11?
False
Suppose -75 = -5*h + 5*g, -25 = -3*h - 4*g + 48. Let k = -13 + h. Suppose k = 6*u - 5*u. Does 2 divide u?
True
Suppose 0 = -4*d - 3*t + 4770 + 6039, 0 = 5*d + 3*t - 13512. Is 10 a factor of d?
False
Suppose 4*i - 5*w + 35 = -0, i = 4*w - 17. Is 9 a factor of 1/((i/(-13))/5)?
False
Let i(z) = -6*z - 3 - 7*z + 12*z. Let c be i(-7). Suppose -3*n - c*l = 0, 10 = -4*n + 3*l + 35. Is n a multiple of 3?
False
Let x(u) = -u**2 - 4*u + 1. Let a be x(-3). Suppose -2*y = -l - 27, 2*l + 56 = a*y - 2*l. Does 2 divide y?
False
Suppose -5*b = -31 - 64. Suppose -3*n + 5 = -b. Suppose 4*p = n*p - 56. Is p a multiple of 14?
True
Suppose 2*h = -v + 166, -3*h - 354 - 153 = -3*v. Is 7 a factor of v?
True
Let r(n) = -17*n + 33. Let w be r(6). Let f = 109 + w. Is f a multiple of 10?
True
Let k = 286 + -281. Let o(d) = 16*d**2 + d + 19. Let i(x) = -3*x**2 - 4. Let n(g) = -11*i(g) - 2*o(g). Does 10 divide n(k)?
False
Let f = -122 + 210. Is f even?
True
Suppose 17 = g - 10. Let p = g - 14. Is p a multiple of 2?
False
Let m be 5/((-90)/904) - 8/(-36). Does 3 divide (3/(-5))/(10/m)?
True
Does 62 divide (-18605)/(-15) + 1/(-3)?
True
Does 41 divide 444 + 3*(-4)/(-12)*0?
False
Is 74 a factor of 1070 + (2/5 - (-23)/5)?
False
Suppose 3*g = 5*s + 310, 83 = 5*s - 4*g + 398. Let c be s/(-3) + (-4)/6. Let u = -5 + c. Is 7 a factor of u?
True
Let y be (12/21)/(56/588). Let a(x) = 7*x**3 - 7*x**2 + 17*x - 28. Let w(r) = -4*r**3 + 3*r**2 - 8*r + 14. Let q(m) = 3*a(m) + 5*w(m). Does 13 divide q(y)?
True
Let m = 6 + 38. Suppose 3*r - 166 = m. Let v = -18 + r. Is v a multiple of 11?
False
Suppose -781*r = -783*r + 4214. Is 17 a factor of r?
False
Let c be (-9)/6*(-24)/18. Let a(t) = c*t - 2 - 6*t + 0*t - 6*t. Is 7 a factor of a(-3)?
True
Suppose 10 = -w - 0*b - 3*b, b + 62 = -4*w. Let l(d) = -3*d + 13. Let u be l(w). Suppose -u = -5*z + 29. Is z a multiple of 9?
True
Is 58 a factor of 35/(1225/90)*(-1946)/(-3)?
False
Suppose -5*k + 62 + 428 = 0. Let w = -66 + k. Does 16 divide w?
True
Suppose 6*y = y - 65. Is 31 a factor of (-2)/(6/9)*y?
False
Suppose -k = 4 - 3. Let q be (6 + -7)/(k/68). Suppose -4*w + q = 20. Is w a multiple of 3?
True
Let j(x) = 72*x - 4. Let g be (6/(-4))/((-2)/(-16)). Let p(u) = u**3 + 12*u**2 + u + 13. Let v be p(g). Is 17 a factor of j(v)?
True
Let r be 5/(1*(-1)/(-1)). Suppose r*q - 14 = 1. Let n = q - -23. Is n a multiple of 13?
True
Suppose 72*r = 67*r + 690. Is 3 a factor of r?
True
Suppose 83 = 17*t - 36. Let x(c) = 36*c - 21. Is 17 a factor of x(t)?
False
Suppose -2*k = 4*j - 3*k + 665, -9 = 3*k. Let b = -91 - j. Is b a multiple of 5?
False
Let i(b) = b**2 + 8*b - 7. Let s be i(-9). Let k(f) = -3*f + s*f + 11 + 0*f - 5*f + 2*f**2. Does 7 divide k(6)?
False
Let x(d) = -d**2 - 15*d - 7. Let u be x(-8). Let h = -30 + u. Is h a multiple of 8?
False
Let x be (3/4)/(-1) - (-525)/(-84). Is 54 a factor of 18/63 + (-1013)/x?
False
Let f(y) = 96*y**2 + 112*y + 112. Is 5 a factor of f(-1)?
False
Suppose 5*v - 20 = 0, -3*i + 2*v = -8 - 2. Let u(q) = -q**3 + 4*q**2 + 8*q + 1. Let n be u(i). Let m = 58 + n. Is m a multiple of 10?
False
Let c be -1 - 14/(-3)*9. Let o = c + 7. Let j = o + -31. Is 17 a factor of j?
True
Let n(h) = -2*h**3 - 3*h**2 - 17*h - 11. Let g(m) = -3*m**3 - 4*m**2 - 25*m - 17. Let z(j) = -5*g(j) + 8*n(j). Does 12 divide z(-4)?
False
Let x = 1906 - 1096. Is x a multiple of 9?
True
Does 24 divide 2/(-15) + (-560)/300 - -202?
False
Let a(k) = -17*k + 4. Let f be a(1). Let p(r) = -25*r - 22. Is 21 a factor of p(f)?
False
Let w(r) = -1. Let b(t) = -18*t - 2. Let p(u) = b(u) + 5*w(u). Does 27 divide p(-2)?
False
Let j(t) = -t**2 + 6*t - 12. Let z(k) = -1. Let h(f) = -j(f) - 6*z(f). Is h(6) a multiple of 3?
True
Let x = 15 - 19. Let w(v) be the third derivative of -v**6/120 - v**5/20 - v**3/6 + 4*v**2. Is 10 a factor of w(x)?
False
Let o be -1 - -2 - (-2)/1. Suppose -39 = 2*z - o. Is 20 a factor of 3/z - 1443/(-18)?
True
Let a = 79 + 273. Suppose -5*u = -8*u - 4*v + a, v - 452 = -4*u. Is 8 a factor of u?
True
Suppose -29 = -p - 5*t, 0 = p + 4*t - 25 + 1. Suppose -4*s = -3*a - 304, -6*s + p*a + 308 = -2*s. Is 10 a factor of s?
False
Let i = -79 + 913. Is i a multiple of 6?
True
Suppose -115*p + 117*p - 308 = 0. Does 11 divide p?
True
Let y be (-33)/15 - 3/(-15). Let q(j) = 36*j**2 - 4*j. Does 40 divide q(y)?
False
Let k(p) = -76*p**2 + 5*p - 9. Suppose 0 = 4*m - 0*m + 36. Let l(h) = -19*h**2 + h