0 = -0*t. Is t a multiple of 25?
True
Let y = -77 - -79. Suppose y*z + z - 225 = 0. Is z a multiple of 11?
False
Let k = 1 + -7. Is k/15 + (-82)/(-5) a multiple of 16?
True
Suppose -1 - 34 = -s. Let u = 19 + s. Does 6 divide u?
True
Let s be ((-12)/(-27))/((-4)/(-18)). Does 2 divide (7/14)/(s/(-4))*-15?
False
Let o = 32 + 32. Does 8 divide o?
True
Does 36 divide (42/(-36))/((-2)/102)*6?
False
Let z = 17 - 14. Let i be z/(-12) - (-2564)/16. Let t = i - 108. Does 13 divide t?
True
Suppose -4*t - 4*l = 12, 4*t = 2*l - l - 12. Let a be 1/(-4) - 25/(-4). Does 17 divide (t/a)/((-2)/212)?
False
Suppose 11*w - 248 = -17. Let g = w + 43. Is 6 a factor of g?
False
Let h = -553 - -843. Does 5 divide h?
True
Let m = -318 + 340. Is 22 a factor of m?
True
Let f = 108 - 8. Suppose -4*j = 32 - f. Is j a multiple of 17?
True
Let k be 7/((-14)/(-4)) - -382. Does 38 divide k/10 - 20/50?
True
Let d(r) = 2*r**2 + 14*r - 8. Suppose -53 = -2*l + 4*u + 835, 4*l - 1809 = -3*u. Let x be (-4)/14 + l/(-42). Is d(x) a multiple of 20?
True
Let a = 4933 - 2436. Is 13 a factor of a?
False
Let b = -41 + 21. Let w(x) = x**2 + 19*x + 47. Is w(b) a multiple of 16?
False
Let s(z) = -6*z - 2. Let m be s(-2). Suppose -2*u - m = -2*f, 5*f - 3*u - 4 = -5*u. Suppose f*l = 4*c - 136, -7*c = -2*c - 2*l - 172. Is 24 a factor of c?
False
Suppose 0 = 5*r + 4*j - 3036, 59*r + 2*j = 55*r + 2430. Does 38 divide r?
True
Let l(v) = 21*v**3 - 2*v**2 + 2*v - 1. Let r be 1/(1 + 4 - 4). Does 10 divide l(r)?
True
Suppose 35 = 3*a - 2*t + t, 5*t - 17 = -a. Suppose -399 = -7*u + 6*u. Is 11 a factor of u/a - (-2)/(-8)?
True
Let q = 1913 + -924. Is 9 a factor of q?
False
Let m be (0 + 1)*(22 - 26). Let o be (17/(-4))/((-1)/4). Let y = o + m. Is y a multiple of 13?
True
Let b(j) = 2*j**3 + 4*j - 64. Does 28 divide b(7)?
False
Suppose -5*k + 128 = -457. Let c = k + -24. Does 31 divide c?
True
Is 57 a factor of (2764/6)/((-3630)/(-225) - 16)?
False
Suppose -5*t - 3*b = -55, t - 3*b + 31 = 3*t. Let c(m) = -m**3 + 7*m**2 + 12*m - 8. Is 8 a factor of c(t)?
True
Is 201*(3 + (-5)/3) a multiple of 16?
False
Let d(n) = 2*n**3 - 10*n**2 + 3*n - 8. Let i be d(4). Is -2*i/(-6)*27/(-6) a multiple of 21?
True
Let h = 17 - 15. Is 4/(-4) - -37 - 4/h a multiple of 12?
False
Let k = 240 - 120. Does 6 divide k?
True
Is 13 a factor of 208/260*(-4355)/(-2)?
True
Let b(u) = 13*u - 72. Let z be (4/(-5))/((-8)/20). Let n(a) = 3*a - 18. Let m(f) = z*b(f) - 9*n(f). Does 4 divide m(6)?
True
Suppose 0 = 3*c + 2*c - 3*v - 136, 3*c - v - 80 = 0. Let s = c + -22. Suppose -s*r + 6*r - 116 = 0. Does 21 divide r?
False
Suppose 0 = -2*i + i + 2*p + 11, 0 = 3*p + 9. Suppose -198 = -q + 2*k, 2*q - 589 = -q + i*k. Does 47 divide q?
True
Let p = 340 + -316. Is p even?
True
Let n(z) = 116*z**2 + 14*z - 16. Is n(3) a multiple of 5?
True
Let b be (-1*(-1)/(-1))/1. Let h be (4*-3)/(0 - b). Let t = 27 + h. Does 3 divide t?
True
Let h(j) = -21*j - 70. Let k(c) = 14*c + 47. Let v(i) = 5*h(i) + 7*k(i). Is 7 a factor of v(-4)?
True
Suppose -3*d = -b + 4, -5*d = -2*d - 5*b - 16. Let r(i) = 11*i**2 - i + 3. Does 15 divide r(d)?
True
Let b(i) = i**3 - i**2 - 3*i + 4. Let s be b(2). Suppose j + 3*j + 76 = 4*d, 0 = s*j - 6. Does 22 divide d?
True
Let v = 0 + 0. Suppose -m + 20 + 9 = v. Does 12 divide m?
False
Let t(h) = 214*h + 54. Let i be t(-13). Is i/(-16) + 2/(-4) a multiple of 36?
False
Suppose -311 = -13*l + 2770. Does 15 divide l?
False
Let i(p) = 2*p - 6. Let q be 4 + 5 - (-4 - -2). Suppose -q = 2*x - 25. Does 8 divide i(x)?
True
Suppose -47 - 11 = -o. Suppose 0 = -3*q - 3*h - h + o, -2*q - 4*h = -44. Is 7 a factor of q?
True
Let y = -27 + 18. Let r = -20 - y. Let g(z) = z**2 + 7*z - 9. Is 10 a factor of g(r)?
False
Suppose 3*h = 5*u - 223, 6*h = 5*u + h - 225. Let c be 1/(0 - 4/u). Does 22 divide 240/11 + (-2)/c?
True
Suppose -40 = -i + 4*v, -v + 48 + 46 = 3*i. Suppose 4*p - 136 = 4*q, i = 2*p + q - 24. Does 10 divide p?
True
Let k be -79*(-5)/(-10)*-2. Is ((-1)/(-2))/(6/(-12)) + k a multiple of 26?
True
Let b(c) = c**2 - 13*c + 14. Let f be b(12). Let z(k) be the second derivative of 13*k**3/3 + 3*k. Is z(f) a multiple of 26?
True
Suppose 5*d + 3*v - 2095 = 0, -2*v + 441 = d + 3*v. Does 32 divide d?
True
Let f(s) = -44 + 36 - 6*s**2 - s**2 + 5*s + s**3. Does 26 divide f(7)?
False
Suppose -3*b + 3*p + 904 = -491, -1854 = -4*b + p. Is b a multiple of 10?
False
Let b be (-2)/(-2) + -2 + -2. Is 14 a factor of (b/6)/((-1)/28)?
True
Let k(n) = 25*n**2 - 41*n - 8. Is 8 a factor of k(8)?
True
Suppose -7*t = -3*t. Let j = 4 + t. Suppose j*v - 72 = v. Is 7 a factor of v?
False
Suppose 5*t + 420 = 2*x + 7*t, -4*t = -20. Does 18 divide x?
False
Let l(r) = 9*r - 6. Let b(o) = o**2 - 10*o + 6. Let m(z) = 3*b(z) + 4*l(z). Suppose -3*a = -4 - 5. Is m(a) a multiple of 39?
True
Let c(l) = -l**2 - l - 1. Let r(b) = -7*b**2 - 14*b. Let o(x) = -6*c(x) + r(x). Is o(-7) a multiple of 10?
False
Let k = 167 + -59. Does 11 divide k?
False
Suppose -h = -3, 0 = 3*x + 20*h - 25*h - 399. Is x a multiple of 7?
False
Let q(h) = -78*h - 380. Is 5 a factor of q(-10)?
True
Let h = 213 + -204. Does 7 divide h?
False
Suppose 33*q = 34*q - 2. Let g be (78/(-4))/(2/(-16)). Suppose -5*d = -q*d - g. Does 13 divide d?
True
Let h be (-118)/(-14) - (-3)/(-7). Let a be ((-1)/(-2))/(4/h). Suppose 2*y - 4*g = y + a, 0 = 4*y + g - 55. Is 7 a factor of y?
False
Let v = -901 - -1641. Is 9 a factor of v?
False
Suppose 28*f - 27*f - 289 = 0. Let c = f - 114. Does 35 divide c?
True
Let w = 170 - 166. Suppose 300 = -0*k + 3*k - 4*r, -k + w*r = -108. Is k a multiple of 8?
True
Let d(i) = i - 8. Let n be d(12). Is 29 a factor of 1/(n + 45/(-12)) - -118?
False
Let x(g) = -18*g - 2. Let k be (-2 - 1)/(21/(-28)). Suppose -12 = 4*v + 5*z, -2*z + k + 5 = -3*v. Is x(v) a multiple of 25?
False
Suppose -4 = -3*s - 5*z, s - 3*s + 3*z + 28 = 0. Suppose -232 = -10*u + s. Is u a multiple of 4?
True
Let o(f) be the first derivative of 3*f**2/2 + f - 7. Let q be o(1). Suppose -4*b + 3*b - 263 = -5*c, 0 = q*c + 4*b - 196. Does 13 divide c?
True
Let h be (12/(-18))/((-2)/(-21)). Let r be ((-100)/5)/(2/h). Suppose -3*o - 2*o + r = -5*z, -3*o - 4*z = -70. Does 17 divide o?
False
Let u(x) = 2*x**3 + 2*x + 2. Let m be u(-2). Is 26 a factor of -269*(-12)/m*(-6)/4?
False
Is 16 a factor of 1075590/315 - (-6)/14?
False
Let p(s) be the first derivative of -s**7/840 + s**6/45 - 3*s**5/40 + s**4/4 + 5*s**3/3 + 3. Let a(f) be the third derivative of p(f). Is a(6) a multiple of 6?
True
Let k = 53 - 47. Let h be (-1 - 0)*0/1. Suppose h = k*w - 7*w + 63. Is 16 a factor of w?
False
Suppose -2*y + 18 + 10 = 0. Is 22 a factor of (-15)/35 - (-1602)/y?
False
Let a = 43 - 17. Let f = 92 - a. Is 11 a factor of f?
True
Suppose 2*a = -j + 4*a + 38, -217 = -4*j - 5*a. Suppose c - m + 96 = 6*c, 3*m = -3*c + j. Is 4 a factor of c?
True
Suppose 8 = 5*o - 7. Suppose -p - o + 7 = 0. Suppose n + 4*z = 8, -15 = -2*n - p*z - 3. Does 2 divide n?
True
Suppose -25 = -4*w - w. Let f(i) = i**2 + 5*i**2 - 2 - w*i**2. Is f(4) a multiple of 7?
True
Let c = 16 + -9. Let b = 1 + c. Is 315/(-7)*b/(-10) a multiple of 14?
False
Suppose s - 16 - 18 = 0. Suppose -5*f = -0*f - 350. Let i = s + f. Is 26 a factor of i?
True
Suppose x - 4*z = 904, -x - 7*z + 919 = -8*z. Does 21 divide x?
True
Let k(s) = 3*s**2 + 2*s + 1. Let m be k(-1). Suppose -2*j - 69 - 279 = -m*a, -j - 4 = 0. Suppose -2*w + 7*w = a. Is w a multiple of 17?
True
Let b = -179 + 267. Suppose -2*q + b = 3*p, -4*p + 4*q = -25 - 59. Is p a multiple of 13?
True
Suppose -2*n = -r - 83, -2*n + 41 = -n - r. Suppose 0 = v - 3*k - n, 5*k + 9 = v - 27. Is v a multiple of 21?
False
Let n be (-2)/6 - (-10)/(-6). Let u(i) = -3*i - 2. Let w be u(n). Suppose w*h = 23 + 85. Is 12 a factor of h?
False
Suppose 0*y = 4*m - 2*y - 50, -3*m - 2*y = -55. Suppose m + 21 = 4*k. Does 4 divide k?
False
Let r(k) = -3*k**3 - 7*k**2 - 9*k - 4. Does 14 divide r(-4)?
True
Suppose 2*i + 3*q = -i + 78, -4*i - q + 104 = 0. Let t = -24 + i. Suppose 0 = 5*s, 0 = -2*f - s - t*s + 22. Is f a multiple of 11?
True
Suppose -2*r = -5*d + 15, -r + 4*r - 12 = -4*d. Suppose r = 3*n + 26 - 170. Is 8 a factor of n?
True
Let j(w) = w**3 + 3*w**2 - 4*w + 3. Let x be j(-4). Suppose 3*q + 2*q = 0. Suppose q*f + x*f = 84. Is f a multiple of 14?
Tru