1. Is 4 a factor of t?
True
Let p(s) = 7*s - 13. Does 12 divide p(7)?
True
Is ((-112)/(-4) - -2)/((-6)/(-8)) a multiple of 10?
True
Let h = 19 + -16. Suppose 0 = -2*j - h*l - 19 + 145, 304 = 5*j + 2*l. Does 20 divide j?
True
Let m = -168 + 241. Does 62 divide m?
False
Let u(b) = -b + 13. Is u(6) a multiple of 7?
True
Let m = 56 - 18. Is m a multiple of 10?
False
Let s(i) = 2*i**2 - 8*i + 9. Let b be s(-8). Suppose 22 = a - 4*d, -5*d + 76 = -5*a + b. Is 13 a factor of a?
True
Let b = -127 - -187. Suppose r + b = 3*r. Is 15 a factor of r?
True
Suppose -24 - 236 = -5*v. Does 20 divide v?
False
Suppose 2*g - 24 = -2*g. Let n be -1 + g/(1*-3). Is 4 + 1/n*-3 a multiple of 2?
False
Suppose -r - 5 = 0, -2*l + 2*r + 190 = 2*l. Is l a multiple of 10?
False
Let t(x) = -x - 16. Let n be t(-13). Let r(p) = 5*p**2 + 3*p - 4. Does 32 divide r(n)?
True
Let v(n) = -44*n**3. Is 26 a factor of v(-1)?
False
Let b(g) = g**2 - 2*g + 29. Is b(0) a multiple of 6?
False
Let j(n) = n**2 - 19. Is j(-12) a multiple of 25?
True
Suppose -20 = -f - f. Is f a multiple of 10?
True
Suppose 5*u - 4*y + 1 = 17, -17 = -3*u - 5*y. Does 8 divide -36*1*(-2)/u?
False
Let u(m) be the first derivative of -m**4/4 - 10*m**3/3 - 9*m**2/2 + 3*m - 3. Does 3 divide u(-9)?
True
Let m = 0 - -3. Suppose -4*r = -u + m - 22, -r - 8 = 4*u. Suppose 16 + r = 2*i. Is 10 a factor of i?
True
Let q(k) = -k**3 + 14*k**2 - 11*k + 30. Is q(13) a multiple of 14?
True
Let x = -7 - -25. Does 6 divide 2 + -2 - (1 - x)?
False
Let p be (-338)/(-8) + 1/(-4). Suppose 3*w = j - 11, -p + 15 = -3*j + 3*w. Does 6 divide j?
False
Let f = 35 + -24. Suppose 2*j - 29 = -v, -3*j - v + 6*v = -f. Is j a multiple of 9?
False
Let r be 3 + -2 + (9 - 4). Let k = 15 - r. Does 3 divide k?
True
Suppose 2*w = u + 1 + 1, 5*w - 35 = -5*u. Is (3 + (-22)/u)*-12 a multiple of 15?
True
Let r(t) = t**3 + 9*t**2 - 6*t - 11. Is 16 a factor of r(-9)?
False
Suppose w - 5*h - 23 = 0, -w - 6 = 3*h + 11. Is 16/6*(-9)/w a multiple of 6?
True
Let m(q) = -q**2 + 2*q - 3. Let w be m(3). Is 20 a factor of (30/(-4))/(w/32)?
True
Suppose 5*n - 3 - 20 = -c, 3*n + c = 15. Suppose -n*r = -5*r. Suppose p - 18 + 0 = r. Is p a multiple of 6?
True
Let x = 34 + -18. Let a = -7 + x. Suppose 2*p - 67 = a. Is 19 a factor of p?
True
Let d be ((-2)/(-3))/(1/18). Let l be (40/d)/((-4)/(-6)). Suppose -w + 0*g + 5*g + 16 = 0, -26 = -l*w - 2*g. Is 5 a factor of w?
False
Suppose -4*c + 3*c = -15. Let y = c + -6. Does 9 divide y?
True
Let t(d) = -d**3 - 2*d**2 - 2*d. Is 5 a factor of t(-3)?
True
Let s = -3 + 6. Suppose -s*o = -o - 4*q - 48, 0 = -3*q. Is o a multiple of 12?
True
Suppose -2*z + 22 = -4*z. Let h = 19 + z. Let g = h - -16. Is 12 a factor of g?
True
Suppose -2*v + 3*t + 13 = 0, -4*v + 2 + 3 = t. Is 18 a factor of 1/(v - (-284)/(-144))?
True
Suppose 5*p + 130 = -5*z, p - 4*z - 2 = -13. Let t be (-2)/6 + 9/27. Let o = t - p. Is 16 a factor of o?
False
Suppose -5*n + 0 - 10 = 0. Let v = -1 - n. Let u = v - -7. Is u a multiple of 4?
True
Let o(d) = d**2 - 1. Let i be o(-2). Suppose w - i = -5*j, 5*w + 5*j - j - 78 = 0. Suppose l = -0*l + w. Is l a multiple of 11?
False
Let c = 125 - 178. Let z = 83 + c. Is z/(-9)*(-6)/5 a multiple of 3?
False
Let w = -38 + 23. Let h be 5/w - 26/(-6). Suppose h*y + 0*y = 44. Is y a multiple of 10?
False
Suppose -4*z = m - 55 - 1267, 2*z = -m + 662. Suppose l = 6*l - z. Is 16 a factor of l/9*(-9)/(-2)?
False
Suppose -35 = 4*w - 131. Let k = -12 + w. Is k a multiple of 12?
True
Suppose -5*v - z = -153, -v + 27 = 2*z - 0*z. Let r = v - -5. Is 18 a factor of r?
True
Let p = 2 - 0. Suppose -16 = -2*q - 5*a, 3*q + 0*a + 2*a - 24 = 0. Let z = q + p. Is 7 a factor of z?
False
Suppose 4*r + 2*z = 136, 4*z = -r - 0*r + 48. Does 22 divide r?
False
Suppose 3*y - 38 = 2*y. Let i = -6 + y. Is 12 a factor of i?
False
Suppose 2*x + u - 224 = 3*u, 2*u = -8. Is x a multiple of 27?
True
Let d(p) = p - 3. Does 4 divide d(7)?
True
Suppose 4*n = -0*n. Suppose -q = -5 - n. Suppose -17 = -4*y - q. Does 2 divide y?
False
Suppose 3*k - 209 = k + z, 0 = -2*k + 4*z + 200. Suppose 0 = q + 29 - k. Does 14 divide q?
False
Suppose -4 = -69*n + 68*n. Is n even?
True
Suppose 0 = 5*i - 12 - 8. Let o(a) = a**3 - 4*a**2 + 3*a + 2. Does 14 divide o(i)?
True
Suppose 264 = 37*b - 34*b. Does 22 divide b?
True
Suppose 5*o - 349 = 581. Suppose 0 = -a + 86 + o. Suppose 4*u + a = 5*y + 76, -2*u - 116 = -3*y. Does 15 divide y?
False
Suppose 3*c - 198 = 399. Suppose 0 = x + 4*j - 58, -4*x - 6*j = -j - c. Is 23 a factor of x?
True
Suppose 16 = 3*l + 4. Is l even?
True
Let w(p) = p**3 + 26*p**2 + 22*p - 30. Is 5 a factor of w(-25)?
True
Suppose 0*a - 4*a = -24. Let l be (2/(-2))/((-2)/a). Suppose -3*k = -l*t - 87, -k - 3*t = t - 4. Is k a multiple of 12?
True
Let s(f) = f - 2. Let g = 0 + 4. Let r be s(g). Suppose -3*o = -r*d - 22, 2*d = 5*o + 5*d - 43. Does 8 divide o?
True
Let h = -39 + 104. Is h a multiple of 13?
True
Suppose -4*d = 3*s + 17, -2*d - 2*d - 5*s - 23 = 0. Let c(g) = 3*g**2 - 2*g + 1. Let o be c(3). Let u = o + d. Does 10 divide u?
True
Let k(l) = -7*l - 2. Suppose -5*c + 3*c - 4 = 0. Does 12 divide k(c)?
True
Let u be (-19)/(-5) - (-1)/5. Suppose -6 = -u*d + d. Is 148/8*(0 + d) a multiple of 13?
False
Suppose -54 + 178 = 4*m. Let r = -7 + m. Is 9 a factor of r?
False
Let r = -4 - -4. Suppose r*h + 4 = h. Suppose 55 + 65 = h*v. Does 14 divide v?
False
Let t = 26 - 13. Suppose -a = -2*a + t. Does 13 divide a?
True
Suppose 7*a - 2*a = -465. Let w = -55 - a. Is 19 a factor of w?
True
Is ((-1)/(-2))/((-3)/(-114)) a multiple of 13?
False
Suppose 5*a + 5*s + 15 = 0, s = 5*a - 0*s - 3. Let o = a - -21. Is o a multiple of 7?
True
Suppose 5*o = -4*r + 62, 0 = -4*r + 6 + 6. Let q = o - 8. Is 2 a factor of q?
True
Let t(j) = j**3 - 8*j**2 + 4*j. Let n = 24 - 16. Is t(n) a multiple of 12?
False
Let n be 3/(1 - -1 - 3). Let w(g) = -7*g - 2. Let s be w(n). Suppose -9 = -2*h + s. Is h a multiple of 7?
True
Let j be (-9)/6 - (-3)/(-2). Let d = j + 11. Let v = 13 - d. Is v a multiple of 5?
True
Let r(l) = -4*l - 4 + 6*l + 2*l + 11*l**2. Is r(2) a multiple of 21?
False
Let a be (14/4)/(-7)*4. Let x(u) = -5*u - 1. Does 4 divide x(a)?
False
Suppose 2 = 3*l - 2*l. Let y be 0 - -5 - (1 - 1). Suppose 3 = 3*v, -5*v = -l*t + y - 0. Does 5 divide t?
True
Let b = 2 - 1. Suppose l + 2 = 5. Does 3 divide -2 + l - -5 - b?
False
Suppose 4180 = -n - 4*n. Let s be 2/(-9) + n/(-36). Suppose 5*b - 47 = s. Is 6 a factor of b?
False
Let a be 6/(-12) - 5/2. Suppose 5*v + 12 = 4*v. Is (-32)/v - 1/a a multiple of 3?
True
Suppose 0 = 3*v - 19 + 4. Suppose 9*b - 4*b - 15 = 0. Suppose 3*q + 105 = v*x, 5*x = b*x + 2*q + 38. Is 12 a factor of x?
True
Let p = 1 + -1. Suppose 0*c - 20 = -2*c + 4*w, p = -3*c + 3*w + 30. Is (4/10)/(1/c) a multiple of 3?
False
Let j(q) = -3*q**3 - 2*q**2 + 9*q - 4*q + 2*q**3. Let s be j(-4). Does 6 divide s*(-2 + 1)/(-2)?
True
Let l(y) = -2*y + 9. Let x(u) = u - 9. Let h(g) = 5*l(g) + 6*x(g). Let f be h(-10). Suppose -m + 0*m = -f. Does 11 divide m?
False
Let b be ((-6)/9)/(2/(-219)). Suppose -4*j = -b - 39. Suppose -j = -o - o. Does 5 divide o?
False
Let p = 627 + -427. Is p a multiple of 25?
True
Suppose 5*j - 7 - 13 = 0. Suppose 4*g = -j*b + 32, -20 = g - 5*g - b. Suppose -5*a = i - 189, 2*a + g*i = a + 34. Is a a multiple of 13?
False
Let q be ((-3)/6)/(6/(-60)). Suppose -q*s + 495 = -0*s. Does 24 divide s?
False
Let y = 8 - 12. Let u = 5 + y. Suppose -u = 2*m + 3, 2*m = v - 11. Is 5 a factor of v?
False
Suppose 5*i - 20*j + 16*j = 1377, 282 = i - 3*j. Is 61 a factor of i?
False
Suppose 94 = 4*n - 2*f, 0 = -3*n - f - f + 88. Let i = 84 + -37. Let p = i - n. Does 10 divide p?
False
Suppose -j - 3*j = -384. Does 24 divide j?
True
Suppose -x = -i + 23, -3*i + 38 - 9 = -x. Let o be -3 - (0 - (2 - 1)). Let d = o - x. Is 9 a factor of d?
True
Let d(z) = -2*z**3 - 9*z**2 + 14*z. Is 12 a factor of d(-6)?
True
Let r = 16 + 6. Is 6 a factor of r?
False
Suppose 5*l = -s + 91, 1 = -2*s + 3*s. Let p be 1*(-5)/((-5)/l). Is 78/p + (-1)/3 a multiple of 3?
False
Let f = -17 - -25. Suppose 72 = -2*j + f*j. Is j a multiple of 4?
True
Let s(b) = -b - 3. Let h be s(-4). Let d(u) = 23*u + 1. Does 12 divide d(h)?
True
Suppose -5*b - 5 = 0, 4*k + b - 8 = 3. Suppose -13 = k*o + y, -2*o + 3*y - 2