31 = 14*q + c. Does 30 divide q?
True
Let h = 29 + -25. Suppose 153 = h*r - r. Does 11 divide r?
False
Let z(o) be the third derivative of -o**4/24 - o**3 - 5*o**2. Let k be z(-8). Does 22 divide 1/((k/44)/1)?
True
Suppose -13*z = 2*z - 2595. Is z a multiple of 79?
False
Let h = 181 - 79. Suppose h = 3*m + 6. Does 32 divide m?
True
Suppose -18*l + 33*l = 90. Let a(z) = -3*z + 7. Let o(v) = -15*v + 35. Let n(u) = -33*a(u) + 6*o(u). Is 5 a factor of n(l)?
False
Suppose -4*h = 19 + 5. Is (h/(-2) - 12)*-1 a multiple of 8?
False
Let q(s) = 97*s**2 - 2*s + 1. Let m be q(1). Suppose -o = -4*w + m, -w + 24 = -5*o - 0*o. Is 12 a factor of w?
True
Let n(f) = -2*f - 1. Let y be n(-4). Suppose y*u - 10*u + 72 = 0. Does 6 divide u?
True
Suppose -5*f + 0 + 15 = 0. Is 15 a factor of ((f + -5)*-75)/1?
True
Suppose -3*k + 567 = 4*z - 138, 5*z - 4*k - 858 = 0. Is 8 a factor of 14/(-21)*z/(-4)?
False
Suppose 2*a = 2*u - 39 - 69, 3*u + 3*a = 132. Suppose -79 = -4*z + v + u, 5*z - 149 = 4*v. Suppose 30 = 3*d - z. Is 7 a factor of d?
True
Let c be (-4)/(-10) - (-256)/(-40). Let d(g) = g**2 + 3*g - 13. Let r be d(c). Suppose -r*a + 4*a = -6. Is a a multiple of 2?
True
Suppose -4*j - h + 2512 = 0, -4*j = -2*h - 1900 - 612. Is 3 a factor of j?
False
Let p(z) = 9*z**2 + 6*z + 1. Let g(x) = -19*x**2 - 13*x - 1. Let q(v) = -6*g(v) - 13*p(v). Let j be q(6). Let u = j + 173. Is 10 a factor of u?
False
Does 65 divide 165/990 + (-3658)/(-12)?
False
Suppose -4*l + l - 19 = -5*s, -2*s - 11 = 5*l. Is -30*((-29)/15 - s/(-6)) a multiple of 9?
False
Let v(q) = -4*q + 2. Let x be v(2). Let m be -2 + 2 - (1 + x). Let o(w) = 2*w**2 - 7*w - 1. Is 7 a factor of o(m)?
True
Suppose 22*j + 3675 = 27*j. Does 21 divide j?
True
Let f(b) = -4*b + 8. Let t be f(0). Let w be (-696)/(-10) + t/20. Suppose 5*x - 300 = -w. Does 19 divide x?
False
Let i = 2279 + -2267. Does 6 divide i?
True
Let b be (-13)/(-52) + (-169)/4. Is (6/(-12))/(3/b) even?
False
Let l(u) = u**3 + 10*u**2 - 13*u - 11. Let p = -7 + -4. Does 2 divide l(p)?
False
Let s(w) = 412*w + 8. Let g be s(4). Suppose -21*u = -13*u - g. Does 42 divide u?
False
Let r(n) = 21*n + 15. Let i(s) = -22*s - 16. Let l(u) = -7*i(u) - 6*r(u). Does 13 divide l(7)?
False
Let o = 441 + -230. Does 64 divide o?
False
Let p = 79 - 67. Is 6 a factor of p?
True
Suppose 3*t + 24 = 4*n, 4*n = 5*n + 4*t + 13. Suppose m = n*m. Suppose 3*b + 2*r = 266, b + b + 2*r - 178 = m. Is b a multiple of 21?
False
Let v = -24 + 21. Does 6 divide (6 + -8)*(-2 - v) + 10?
False
Let z = -41 + 43. Suppose 0 = 3*h + i - z*i - 80, 2*i = 2. Is h a multiple of 9?
True
Let j(z) = -z**2 - 19*z + 1. Let w be j(-6). Suppose w = -3*i + 274. Is 13 a factor of i?
True
Let d = 54 + -54. Suppose -5*s - 20 = -0*i - 5*i, 2*s + 12 = -2*i. Is 21 a factor of (d - 67)/(i - 0)?
False
Let i be 2*4/(2/1). Suppose -56 = -5*f + 2*z, 4*f - 5*z = -i*z + 43. Is f a multiple of 4?
False
Suppose 0*i = 3*i + 5*t - 254, -3*i - 2*t + 269 = 0. Is 4 a factor of i?
False
Let v be ((-1)/(1 + 1))/(18/72). Is ((-168)/60)/(v/85) a multiple of 17?
True
Let d(r) = -r**2 - 6*r - 6. Let b be d(-4). Suppose j + b*j - 174 = 0. Let q = 114 - j. Is 14 a factor of q?
True
Let i = -922 - -1300. Is i a multiple of 9?
True
Suppose -6*j - 1159 - 725 = 0. Is j/(-4) + 10/(-20) a multiple of 8?
False
Let l = -30 + 38. Does 18 divide (-16 + 12)*(-74)/l?
False
Let z(m) = 2*m**2 + 18*m - 79. Is z(7) a multiple of 5?
True
Let w(a) = 7*a**3 - 2*a**2 + 8*a + 9. Let o be w(-6). Let r = -830 - o. Suppose -7*z - 261 = -r. Is 26 a factor of z?
False
Let m(n) = 4*n - 39. Let k be m(8). Let s = 123 - k. Does 26 divide s?
True
Let t = -28 + 13. Let q = 25 - t. Is 20 a factor of q?
True
Suppose 6*m + 24 = 12*m. Suppose -2*z - 140 = -m*z. Is 9 a factor of z?
False
Let l = 65 + 299. Does 26 divide l?
True
Let t(x) = 2*x + 5. Let p be t(0). Suppose -p*a - 44 = 4*u, -20 = 2*u + 2*a - 0*a. Does 5 divide u/5*-5 - -2?
False
Suppose 5*y - 26 = -3*r + 14, 5*y = r - 20. Let l(b) = 4*b + 30. Does 10 divide l(r)?
True
Is 18 a factor of (-24170)/(-40) + 15/(-12)?
False
Let q = 195 - -1705. Is q a multiple of 10?
True
Let f = 50 - 12. Let i be 5/10 + f/(-4). Let h = -2 - i. Is h a multiple of 4?
False
Let i(z) = -z + 1. Let h be i(-3). Is 6 a factor of (-836)/(-66) + h/(-6)?
True
Suppose 4*q + 2*s = 138, -13*q - 3*s + 63 = -11*q. Is 6 a factor of q?
True
Let h(r) = 5*r + 2. Let a(y) = 1. Let k(m) = 4*a(m) + h(m). Let w = 76 - 73. Is k(w) a multiple of 17?
False
Let z = -1428 + 2768. Does 10 divide z?
True
Is 2 a factor of 1846/22 - ((-760)/(-110) - 7)?
True
Let i be 4 - -1 - -2 - 2. Let z(r) = r**3 + 8*r**2 - r + 7. Let y(w) = -2*w**3 - 18*w**2 + w - 14. Let o(k) = -6*y(k) - 13*z(k). Does 3 divide o(i)?
True
Suppose -3*q + 30 = 6. Suppose -w + 252 = q*w. Does 28 divide w?
True
Does 2 divide 0/(-1) - (-5 - (-246)/(-2))?
True
Let i(b) = 14*b + 2*b + 15 + 12*b + 12*b. Is 37 a factor of i(5)?
False
Does 10 divide -2 - (1 - (4 - -3)) - -56?
True
Let y be 4/14 + (-200)/14. Let q be ((-8)/14)/(4/y). Suppose -4*i - 102 = -3*m, -q*i + 50 = m + 2*i. Does 21 divide m?
False
Is (3 + 8)/(-11) + 1583 a multiple of 13?
False
Let q(d) = 751*d - 24. Let j be q(2). Suppose 5*m + 233 = j. Does 60 divide m?
False
Does 25 divide (13 - (-33173)/35) + (-2)/(-10)?
False
Let q(c) = -c**2 - 6*c - 3. Let r be q(-6). Let b be 10/r*(-23 - -8). Let y = -32 + b. Is 6 a factor of y?
True
Let s = 246 - 144. Does 26 divide s/4 + (3/(-6) - -1)?
True
Let t(q) = -5*q + 1. Let v be t(2). Let i be (-9)/36 + v/(-4). Suppose -2*o + i + 62 = 0. Is o a multiple of 16?
True
Let b(m) = 4*m**2 + 8*m - 5. Let v be b(4). Suppose -109 = -8*r + v. Is r a multiple of 25?
True
Let q = -6 - -10. Let t = q + -2. Suppose 6 + 0 = t*k. Is k even?
False
Is (1 + 1)*(-357)/(-14) a multiple of 17?
True
Let j = 205 + -195. Is j even?
True
Is (3/(-2))/((-6)/2504) a multiple of 6?
False
Let y be (70/4)/(3/12*2). Let l = y + -1. Is l a multiple of 17?
True
Let a = 2 + 2. Suppose -j + y + 112 - 40 = 0, 0 = -a*j + 3*y + 292. Is j a multiple of 19?
True
Is 8 a factor of (-6)/(-14) - 125070/(-210)?
False
Suppose -63*f + 62*f - 28 = 0. Suppose -14 = 3*a - 5*m, -3*m + 15 = -4*a - 0*a. Let l = a - f. Is l a multiple of 11?
False
Let g be 1*(-16)/(-4) - 4. Suppose 0*m + 2*m = g. Suppose 99 = 3*k + 3*q, m = 2*k - 3*q - 41 - 20. Does 11 divide k?
False
Let i(l) = -l - 3. Let m be i(-6). Let v(n) = -8*n - 12. Let w(u) = -u - 2. Let j(z) = -v(z) + 6*w(z). Is 3 a factor of j(m)?
True
Let m(q) = -6*q - 15. Suppose -6*j + 16 = -8*j. Does 11 divide m(j)?
True
Suppose 0 = k + 9*k - 3220. Does 57 divide k?
False
Suppose -a = -3*p + 166, -170 = -3*p + 2*a - 0*a. Suppose 3*x = -4*h + 201, 2*h - 3*x = h + p. Is 21 a factor of h?
False
Let u(c) = -303*c - 1017. Does 87 divide u(-18)?
True
Suppose 15 = n - 2*c, -3*c - 3 = 4*n - 8. Suppose -4*k = -a + 34, -n*k + 9 + 6 = 0. Does 14 divide a?
False
Let t(y) = 110*y - 142. Is t(10) a multiple of 21?
False
Suppose -3*k = -2*y + 172 + 5077, 0 = -y - 5*k + 2644. Is 22 a factor of y?
False
Suppose 3*b - 24 = -3. Suppose z + 13 = 2*z - 5*h, 4*z - 5*h = 37. Suppose z*r - 56 = b*r. Is 28 a factor of r?
True
Suppose 0 = -8*d + 66 - 18. Does 32 divide ((-63)/(-14))/(d/256)?
True
Let v(w) = 3*w - 7. Let z be v(3). Suppose x + 2*x - 3*o = 498, -2*o = z*x - 332. Suppose 0 = -6*t + x + 122. Does 16 divide t?
True
Suppose -w + 12 = w. Suppose -w*d + 3*s = -5*d - 75, -4*s + 160 = 2*d. Does 18 divide d?
False
Is ((-472)/3)/(4*(-7)/336) a multiple of 16?
True
Suppose -5*i - 5*z + 80 = -0*z, -5*i - 3*z = -70. Let m = 13 - i. Suppose 78 = 4*g - m*g. Is g a multiple of 22?
False
Let d(p) be the first derivative of 7*p**2/2 + 7*p + 12. Let u be d(-2). Let y = 31 + u. Is 5 a factor of y?
False
Let g = -1691 + 1943. Is 84 a factor of g?
True
Suppose -98 = -9*d + 19. Suppose -d = 4*s - 125. Does 7 divide s?
True
Let u = -1314 - -2577. Is 20 a factor of u?
False
Suppose 0 = -4*h + 2*h + 3*g + 246, h + 2*g = 116. Does 29 divide h?
False
Let l = 1323 - 1033. Is 43 a factor of l?
False
Suppose 4*i + 0*n + 812 = -3*n, 4*i + 812 = -4*n. Let y = 320 + i. Is 39 a factor of y?
True
Let y(x) = 13*x + 12 - 2 - 4 + 7. Is y(6) a multiple of 20?
False
Let n(c) = 17*c**2 - 2*c - 4. Let g be n(-3). Let x = g - 63. Does 23 divide x?
T