. Is 7 a factor of t?
True
Suppose -98 + 24 = -4*y - 2*a, a + 103 = 5*y. Let k = -10 + y. Does 5 divide k?
True
Let b be -3 + (2 + -1 - -4). Suppose m = 5*i - 296, m = i + b*m - 58. Suppose 4*n = 157 + i. Is 18 a factor of n?
True
Let q = -12 - 21. Let f be (-14 - -10)/(2/q). Let l = f - 26. Does 14 divide l?
False
Suppose 12 - 33 = 7*m. Let l(o) be the third derivative of -o**6/60 - o**5/12 - 5*o**4/24 - o**3/3 - o**2. Does 11 divide l(m)?
True
Let y = 270 + 2. Suppose 82*k + y = 86*k. Is 17 a factor of k?
True
Let z be 3*4/(-3) - (146 - -2). Let g = z + 292. Is 9 a factor of g?
False
Let c(f) = -30*f + 13*f - f**2 + 8*f - 2. Let k be (-2)/((-16)/(-7) + -2). Is 4 a factor of c(k)?
True
Let u = 12 - -54. Suppose -l = s - 12 - 0, 0 = 5*l + 2*s - u. Let d = l - -10. Does 9 divide d?
False
Let x(s) = s**2 - s - 3. Let k be x(2). Is 14 a factor of (-3)/(-1) - 21/k?
False
Let f = -436 + 737. Does 32 divide f?
False
Is 498 - 1 - (50/(-10) - -6) a multiple of 57?
False
Let i(y) = y**3 - 13*y**2 + 9*y + 38. Let t be i(12). Let p be (-44)/10*(-4 + -1). Does 17 divide (1 + p)*(-1 + t)?
False
Does 3 divide 1/(-2)*-1*(-4284)/(-18)?
False
Suppose 8 = -f + 5*f. Suppose -19 - 47 = -2*d + 5*p, -f*d - 2*p + 38 = 0. Let m = d - 19. Is m a multiple of 2?
True
Let v(z) = -6*z + 3*z - 3*z. Suppose -84 + 18 = 6*q. Does 28 divide v(q)?
False
Let u(p) be the third derivative of p**5/60 + p**4/12 - p**3/2 - p**2. Let g be u(2). Suppose 5*h = -2*o + 83, 0 = 3*o + 2*o - g*h - 155. Is o a multiple of 14?
False
Is 16 a factor of -10 + 99/11 + 2463?
False
Let g be 202/7 - (-3)/21. Suppose -45 = 24*x - g*x. Does 3 divide x?
True
Let m(w) = -2*w**2. Let j be m(-1). Let s(d) = 5*d + 2. Let t be s(j). Let c(b) = b**3 + 9*b**2 + 6*b + 6. Is 11 a factor of c(t)?
True
Is 49 a factor of (11/33)/(1/10143)?
True
Let n(w) = 59*w**2 - 14*w + 10. Does 52 divide n(-5)?
False
Let t = 21 + -36. Let z = 33 - t. Let m = z + -26. Does 16 divide m?
False
Let q = 22 - -5. Let a = -7 + q. Suppose n + 5*h = 8 + 2, 2*n - a = -5*h. Does 4 divide n?
False
Suppose 0 = -5*p + 24 - 9. Suppose -n - 3 = -p*k, 0 = 4*n - k - 4*k + 47. Let l = -11 - n. Does 7 divide l?
True
Let w(n) = -n**3 + 22*n - 11*n - 16*n - 6 + 6*n**2. Let x be w(5). Let v = x - -61. Does 16 divide v?
False
Let u(k) = -54*k + 18. Let c be u(-8). Suppose -c = -a - 4*a. Does 30 divide a?
True
Let z(r) = -r**2 - 11*r + 4. Let c be z(-11). Suppose c*o - 60 = 52. Does 7 divide o?
True
Let n be (-4*1)/2*105/6. Let y = n - -101. Is 6 a factor of y?
True
Let u(p) = 6*p + 12. Suppose 13*j = 7*j + 42. Is 13 a factor of u(j)?
False
Let p(o) = -o - 7. Let w be p(-6). Let b = 8 + w. Does 2 divide b?
False
Let s(r) be the third derivative of r**7/360 - r**6/180 - r**5/12 + 4*r**2. Let d(q) be the third derivative of s(q). Is d(2) a multiple of 8?
True
Let o(p) = -75*p - 1060. Is 25 a factor of o(-52)?
False
Is (-635)/15*(-5 - -2) a multiple of 34?
False
Let k(f) = -63*f - 3. Let s(c) = -31*c - 2. Let b(m) = -6*k(m) + 11*s(m). Is b(2) a multiple of 20?
False
Let w = 1628 + -877. Is 19 a factor of w?
False
Let x = 33 + 891. Does 11 divide x?
True
Is 24 a factor of -2 + 10/4 + 6906/12?
True
Let p = 2265 + -1152. Does 21 divide p?
True
Does 12 divide ((-2535)/10)/((-6)/4)?
False
Suppose c + 629 = -0*p + p, -2516 = -4*p - 3*c. Is 17 a factor of p?
True
Let f(d) = 612*d**3 - d**2 + d. Is 34 a factor of f(1)?
True
Suppose 3*b + 3 = 0, 5*m - b - 961 - 1590 = 0. Suppose -z = -3*z - 4, -5*z + m = 4*k. Is 13 a factor of k?
True
Let o = 69 + -46. Suppose 4*x - o = -3, 14 = i + 2*x. Suppose 0 = -4*z - 5*c - 1 + 6, i*c = 5*z - 37. Is z a multiple of 5?
True
Does 20 divide -3 + 1/(-7) + (-3802)/(-7)?
True
Let m(q) = -2*q + 12. Let h be m(5). Let o be h/6*(0 + 0). Suppose -5*d - 16 - 23 = -2*x, o = -x - 3*d + 47. Is x a multiple of 8?
True
Suppose -5*q - 15 = 0, 5*u + 3*q = 7*q + 1447. Is u a multiple of 14?
False
Let c(z) = -2*z - 111 + 3*z + 105. Is 8 a factor of c(14)?
True
Suppose 4*q = 26*q - 9196. Is 47 a factor of q?
False
Suppose -372 = -9*h + 3*h. Suppose h + 14 = 2*c. Does 38 divide c?
True
Is 4 a factor of (-22 - (11 - 20))*-2?
False
Let m = 1048 - 610. Is 8 a factor of m?
False
Let n(i) = -i - 6. Let z(t) = -5*t - 25. Let u(x) = -9*n(x) + 2*z(x). Let m be u(0). Let w(c) = 8*c - 2. Is w(m) a multiple of 10?
True
Suppose -9*b = -12*b - 840. Let j = b + 419. Does 13 divide j?
False
Let n(v) = 10*v**2 + 3. Let l be n(2). Suppose 4*w = 89 + l. Let q = w - 18. Is 3 a factor of q?
True
Let h(u) = -218*u + 105. Is h(-2) a multiple of 14?
False
Suppose 39*j = 34*j + 465. Let c be (-3 + 13)*(-2)/(-5). Suppose -c*p + j = -3. Is 14 a factor of p?
False
Let z be 1 - (-2 - -5)*4/(-12). Suppose -18 = -w + 22. Let t = w + z. Is t a multiple of 7?
True
Suppose 0 = 5*i - 10, -4*s + 2*s = 5*i - 22. Let h(a) = 32*a + 11. Let g be h(s). Let q = g - 141. Is 20 a factor of q?
False
Suppose 0 = 4*k + 1516 - 5096. Does 18 divide k?
False
Suppose 4*b + 11 + 61 = 0. Let j be (-2 - 4)/(b/12). Suppose -342 = -4*n + 3*q, 5*q = -j*n + 3*q + 332. Is n a multiple of 31?
False
Does 22 divide 66/4*((-56012)/(-57))/11?
True
Let l = -46 + 225. Does 22 divide l?
False
Let y = 174 + 82. Is 64 a factor of y?
True
Suppose -5 = -5*d, 3*d + 0 + 17 = 5*f. Suppose f*b = b + 30. Suppose 8*o + 24 = b*o. Does 6 divide o?
True
Let o = -21 - -37. Let k = -1751 - -1819. Suppose 3*y - o = k. Does 7 divide y?
True
Suppose -14*a = -6443 - 2461. Is a a multiple of 12?
True
Suppose 2*s - 4*s = -8. Let m be 2 + 1*s*7. Let y = -21 + m. Does 9 divide y?
True
Let m(x) = -9*x**2 + x + 1. Let r be m(-1). Let t(z) = -z - 6. Let o be t(r). Suppose 4*q - 222 = o*i, -3*i = 2*q - 78 - 42. Does 19 divide q?
True
Let a be (0 + 3 + -3)*-1. Let p = a - 1. Does 5 divide 1/2*(p - -17)?
False
Is 26 a factor of (-6)/(-12 + 6) + 272?
False
Let h be 0 - (0 - 2/(-2)). Let x be (2/h)/(12/(-294)). Suppose -m - k = m - 47, 2*m - x = -3*k. Does 11 divide m?
False
Suppose u = 3*k + 116, 2*u + 4*k = -u + 309. Is 10 a factor of u?
False
Is 8 a factor of 57 - ((-12)/3)/(-4)?
True
Let y be 1 + (-2 - -1) + 0. Let a(v) = v**3 + v**2 + 2. Let z be a(y). Suppose -z*p + 147 = -33. Does 15 divide p?
True
Let r(m) = 954*m + 234. Is 42 a factor of r(2)?
True
Let y(t) = -t**3 - 2*t**2 + 2*t + 6. Let v = 22 + -26. Does 10 divide y(v)?
True
Let y(f) = -f. Let a(g) = 2*g + 1. Let u(w) = -a(w) + 3*y(w). Let d be u(-3). Suppose 0 = -d*z + 12*z + 144. Is 18 a factor of z?
True
Suppose 3*j - 8*j = -x + 32, -x = 3*j - 48. Is 17 a factor of x?
False
Suppose 1264 = 2*l - 348. Does 5 divide l?
False
Suppose -o + 2 = -2*l, -1 = 2*o - 3*l - 6. Suppose 6*y - o*y = 0. Suppose y = a + 3, 20 + 3 = n - 3*a. Does 5 divide n?
False
Let y be 444/(-6) - 16/4. Let t = 90 + y. Is t a multiple of 12?
True
Let h be 1/(-3) + (-26)/(-6). Let w be ((-54)/(-4))/((-15)/(-160)). Suppose -3*k + w = -p + 4*p, -2*k = h*p - 104. Is k a multiple of 11?
True
Let m(f) be the second derivative of -5*f**3/3 + 4*f**2 - 5*f. Suppose j + 8 = k, 2*k + 37 = -5*j + 4*k. Is m(j) a multiple of 16?
False
Let w be (-10)/(-4)*(-16)/(-10). Suppose -w*t - 2*f + 0*f + 14 = 0, -4*f - 2 = 2*t. Is t a multiple of 2?
False
Let l(k) = -3*k**2 + k**3 + 4*k + 0 + 9 - 6. Is 5 a factor of l(3)?
True
Suppose 4*w - 4 + 4 = 0. Suppose 5*z = -2*q + 113, -6 = -w*z + 2*z. Is 7 a factor of q?
False
Suppose -28*o - 33*o = -39833. Is 14 a factor of o?
False
Let n = -50 + 110. Is n a multiple of 5?
True
Suppose d - 4*o = 372, 0*d + 5*d - o - 1841 = 0. Suppose 5*p - d = 2*s, -2*p + 2*s + 156 = -s. Does 24 divide p?
True
Suppose 2*w = 5*f + 4 + 18, -3*f + 5*w + 2 = 0. Let t(o) = 10*o**2 + 25*o - 7. Does 39 divide t(f)?
False
Let a(f) = 253*f - 579. Does 3 divide a(6)?
True
Let s be 10/(-25) + (-4)/(-10). Let l be -4 + -11*(-1 + s). Suppose l*b - 134 = 5*b. Is 14 a factor of b?
False
Let c(j) be the first derivative of j**4/4 - j**3/3 + j**2/2 + 31*j - 20. Let s be 1/6 + 1/(-6). Does 13 divide c(s)?
False
Let k be ((-13)/39)/(1/(-15)). Let m(a) = a - 11 - k - 17*a + 25. Is m(-6) a multiple of 15?
True
Let y be (63/(-28))/((-2)/(32/6)). Suppose 76 = -y*r + 472. Is r a multiple of 11?
True
Suppose -116*u + 119*u = 96. Does 2 divide u?
True
Suppose 5*q = -2*o + 2137, 5*q - 9*q + 1711 = 3*o. Does 38 divide q?
False
Let 