 2*z. Does 7 divide u?
True
Let x(p) = -p**3 + 22*p**2 + 2*p - 1. Is 15 a factor of x(11)?
False
Does 2 divide (4 - 2) + (2 - 1) + 37?
True
Let v = -1246 + 3110. Is v a multiple of 14?
False
Suppose -5*n = n - 36. Is -2 - (14/4)/((-3)/n) even?
False
Let r(u) = u**2 - 7*u + 3. Let h be r(7). Let n(w) = 2*w - 1. Let m be n(h). Suppose -5*p = -3*c + 75, -m*c + 42 = 2*p - 52. Does 5 divide c?
True
Suppose -4*k + 2*v = -3*v + 7, 3*k = 4*v - 6. Suppose 4*f - 165 = 3*d, -k*f + 5*f - 105 = -4*d. Is f a multiple of 26?
False
Is (5187/(-6))/(-13)*120/14 a multiple of 54?
False
Let p(t) = -t + 11. Let x be p(11). Suppose x = 3*w - 13 + 4. Suppose 4*r - 284 = -4*l, -w*r - l = -204 - 5. Does 25 divide r?
False
Suppose 2*v + 2*c = 16, 0 = 4*v - v - 2*c + 1. Suppose 8*b - v*b = 130. Is 20 a factor of b?
False
Let c(p) = -4*p**3 - p**2 - p + 330. Is 55 a factor of c(0)?
True
Let j = -170 - -520. Is 10 a factor of j?
True
Suppose -2*d - 4*k - 7 = d, -2*d + k + 10 = 0. Suppose -s + 5*s + 5*w = 212, 0 = d*s - 5*w - 159. Is s a multiple of 10?
False
Let a be 14 - 11 - (3 - 0). Suppose 3*l = -a*l + 3. Is ((-38)/2)/(l/(-5)) a multiple of 21?
False
Let h = 67 - 67. Suppose 3*t - 132 = -z - 0*z, h = -2*z - 2*t + 256. Is z a multiple of 14?
True
Let u = 69 + 18. Is u a multiple of 4?
False
Let o(z) be the third derivative of z**6/120 - z**5/60 - z**4/24 + 7*z**3/6 - 2*z**2. Suppose -3*y = -3*m - 3, y = -2*m - 2*y + 3. Does 2 divide o(m)?
False
Is 22 a factor of (4485/460)/((-3)/(-352))?
True
Suppose 183 = -2*b - 281. Let o = -121 - b. Is 44 a factor of o?
False
Let p(d) = -1 + 7 - 6 - 121*d. Let f be p(-1). Suppose 13 - f = -4*o. Does 9 divide o?
True
Suppose -4*y = 252 - 36. Let u = 74 + y. Is 5 a factor of u?
True
Let u(v) = -10*v**2 - v - 2. Let i = -24 + 22. Let h be u(i). Let p = h - -72. Does 8 divide p?
True
Suppose 0 = -2*n + 6*n - 5*s + 81, -2*n + 5*s - 53 = 0. Is 16 a factor of (-10)/4 + 2 + (-1645)/n?
False
Suppose -15 = -6*t + t. Let g be 45/((-1)/(2 - t)). Let y = g + -17. Is 14 a factor of y?
True
Let a(l) be the third derivative of -5*l**4/12 - 5*l**3 - 17*l**2. Is a(-8) a multiple of 13?
False
Let j be 2 - (1 - -1) - 0/2. Suppose 2*i + 0*i - 28 = 0. Let h = i + j. Is h a multiple of 8?
False
Let l(y) = 9*y**2 + 90*y. Is 26 a factor of l(-12)?
False
Let v(t) be the second derivative of -t**5/20 + 5*t**4/12 + t**3 - 7*t**2/2 + t. Suppose -25*l = -28*l + 15. Does 11 divide v(l)?
False
Let c be (6/3 - 21)*-1. Suppose 5*s + c - 5 = 2*n, 2*s + 35 = 5*n. Does 9 divide n - 4 - (-8 - -2)?
True
Let x(n) = 37*n + 4. Let m(r) = 3*r + 1. Let q(z) = -2*z - 1. Let t(d) = 3*m(d) + 5*q(d). Let o be t(-5). Is 33 a factor of x(o)?
False
Let v = -43 + 37. Is v + 2 + 1 + 21 even?
True
Let i = -25 - -15. Let o = 14 + i. Suppose -2*w = o, -5*t + 94 + 178 = -w. Is t a multiple of 12?
False
Let c(j) = 20*j + 125. Does 15 divide c(9)?
False
Let d be (-3)/12 + 805/4. Suppose h - 595 = -3*q, 0*q = -q - 3*h + d. Is 33 a factor of q?
True
Is 100 a factor of ((-1741)/5)/(128/(-640))?
False
Suppose -37*y + 28*y + 45 = 0. Suppose -c + 4*v = -177, y*c - 2*v - 936 = v. Does 21 divide c?
True
Suppose 0 = 75*u - 72*u - 1314. Is u a multiple of 10?
False
Suppose -2*x - 6*s + 951 = -3*s, 2*s = x - 458. Is x a multiple of 39?
True
Suppose -t + 12 = 3*t. Let x(k) = k. Let j be x(t). Suppose 0*i = j*i - 138. Is 13 a factor of i?
False
Let g(q) = q**2 - 2*q + 1. Let r be g(-2). Let v be 63/r*(-4)/2. Does 3 divide (-38)/v + 14/49?
True
Let s = 399 + -113. Does 26 divide s?
True
Let b(z) = 221*z - 9. Is b(1) a multiple of 37?
False
Let u(j) = -j**3 + 25*j**2 + 35*j + 144. Does 24 divide u(24)?
True
Let v(d) = -d**3 + 34*d**2 - 82*d + 4. Does 15 divide v(31)?
True
Let o be (0 - (2 + -1))*-3. Let x = 295 - 292. Suppose -5*y + t + 101 = 0, -x*y = -0*y - o*t - 63. Is y a multiple of 8?
False
Let j(t) = t**3 + 9*t**2 - 4*t - 17. Let l(k) = -k - 14. Let p be l(-6). Is j(p) a multiple of 37?
False
Let d = 63 - -314. Suppose -x - d = -5*g, -x = 3*g - 3*x - 222. Does 19 divide g?
True
Let q(y) = 233*y**2 - y + 6. Let c be q(3). Is 35 a factor of (4/6)/(8/c)?
True
Let w(a) = -93*a + 315. Is w(-20) a multiple of 83?
False
Suppose -9 = -0*s - 3*s. Suppose -n = 2*w + 2*n - 18, 5*w + 3*n - 45 = 0. Is 12 a factor of (w/(-3) - -48) + s?
True
Let k(w) = w**3 - w**2 - 7*w + 17. Is 41 a factor of k(5)?
True
Suppose 18*w - 38500 = -10*w. Does 11 divide w?
True
Let t = -83 - -120. Suppose 0 = 3*q - 2*m - 19, 1 - t = -5*q - m. Does 7 divide q?
True
Suppose -266*y = -267*y + 392. Does 26 divide y?
False
Let g(c) = 5*c + 107. Is 3 a factor of g(-5)?
False
Suppose -5*a + 752 - 297 = 0. Does 2 divide a?
False
Let t(k) = -k**3 + 37*k**2 - 69*k + 19. Is t(35) a multiple of 13?
False
Let c(b) = -b**3 + 9*b**2 - 8*b + 3. Let z be c(8). Suppose -z*s - 4*r + 38 = -0, 3*s - 36 = -3*r. Does 5 divide s?
True
Is 9 a factor of 46/(-345) + (-1 - 827/(-15))?
True
Let y be 9 + (-46)/5 + 161/5. Suppose 2*s + 10 = y. Does 2 divide s?
False
Let m(j) = j**3 + 3*j**2 - 6*j - 4. Let g be m(-4). Suppose 3*z - g = 5. Suppose z*d = s - 2*d - 18, 2*s + d = 58. Is s a multiple of 7?
True
Let i = -14 - -18. Suppose -i*b = -3*y + 5*y - 22, 4*y = 2*b - 6. Suppose 0 = 2*a - b - 31. Is a a multiple of 8?
False
Let h(u) = 4*u**2 + 6*u + 4. Let y be h(-3). Suppose -12 - 8 = -4*o. Suppose n = -n - 4, -y = -3*p + o*n. Is p a multiple of 3?
False
Suppose -p = -3 - 126. Suppose 0 = -i + 344 - p. Does 8 divide i?
False
Suppose 0 = 7*j - 51 + 16. Suppose -4*w = -2*u - 189 + j, -5*w = u - 244. Suppose 0 = -4*x + w + 4. Is x a multiple of 13?
True
Is 22 a factor of 497/(-4 - -7 - 2)?
False
Suppose 20*u - 16*u + 460 = 0. Let i = u + 151. Does 10 divide i?
False
Let k be (-1)/((-1)/32*-4). Let t be (k - -7)/(2/(-72)). Let s = t - -3. Does 15 divide s?
False
Suppose 3*y - 1776 = -3*a, 0 + 4 = y. Is 16 a factor of a/(-8)*12/(-9)?
False
Let v = 75 + -73. Suppose -14 = 4*g + v*x - 148, -g + 5*x + 61 = 0. Is g a multiple of 4?
True
Let u = -33 + 35. Suppose 166 = 4*t - 3*p + 4*p, -u*p = 4*t - 168. Is 12 a factor of t?
False
Let o = 14 + -24. Let u(x) = -x**3 - 9*x**2 + 7*x - 13. Let h be u(o). Let m = 31 + h. Does 7 divide m?
False
Let w = 16 + -14. Suppose 0 = 4*q + 8, -3*q + 40 = -0*s + w*s. Is 23 a factor of s?
True
Let b = 707 + -169. Let o = b + -328. Is o a multiple of 10?
True
Suppose 3*r + 13 = 28. Suppose -o = -r*i - 109, -2*o - 2*i + 97 + 133 = 0. Does 26 divide o?
False
Is 476 - (-8 - (-6 - 3)) a multiple of 57?
False
Let r(t) = -88*t**3 - 5*t + 3. Does 38 divide r(-3)?
True
Let f(c) = 16*c**2 - c - 8. Let l be f(-6). Suppose 133 = v - 4*k + k, -l = -4*v - 2*k. Let h = v - 74. Is 17 a factor of h?
True
Let s = -23 + 27. Suppose 25 = 5*h + 4*z - 11, -2*h - s*z = -24. Suppose 3*b - h*w = 20, -w - 2 = -3*w. Is b a multiple of 4?
True
Suppose -g - 28 = 5*h, 3*h = 7*h - 5*g + 5. Let a(c) = 4*c**2 + 4*c - 7. Is a(h) a multiple of 38?
False
Let q(t) = -t**2 - 9*t - 2. Let x be q(-8). Let v(f) = 3*f**2 - 12*f + 26. Does 8 divide v(x)?
False
Is 7 a factor of (-54)/(-3)*(-7 + 21)?
True
Let m(c) = c**2 - 4*c - 12. Let k be (-24)/(-15)*(-35)/14. Does 6 divide m(k)?
False
Suppose 12*r - 10 = 7*r. Suppose 5*y + r*u - 50 = 4*y, 0 = -2*y + 4*u + 76. Does 17 divide y?
False
Suppose 4*v = -2*i + 22, 3*v - 3*i - 7 = -v. Suppose m + 412 = 4*u - 4*m, 0 = 2*u - v*m - 212. Is 16 a factor of u?
False
Let l(v) = -v**3 + 2*v**2 + 3*v + 5. Let b be l(4). Let c = 19 + b. Suppose 142 = 3*i - c*h, -i + 0*i + 39 = -3*h. Is 7 a factor of i?
False
Let m be (-63)/(-4) + 6/24. Let o = -9 + m. Let d = 22 - o. Is 5 a factor of d?
True
Let m(f) = -f**2 - 67*f - 208. Is 71 a factor of m(-56)?
False
Let q be 1*-2*(2 + (-168)/7). Suppose 0*t = -t + 12. Suppose t = n - q. Is n a multiple of 12?
False
Let f = -37 + 13. Let q = 9 - f. Is 11 a factor of q*3*(-4)/(-12)?
True
Suppose -56 = -12*c + 8*c. Let t = 18 - c. Suppose -i - 2*i = -t*w - 15, 0 = 5*w - 15. Is 4 a factor of i?
False
Suppose -2*l = 5*b - 0*b - 79, -5*b = -4*l + 233. Suppose 268 = 2*v + l. Suppose -3*c + 2*z = c - 104, -4*c + 3*z + v = 0. Does 8 divide c?
True
Let u be 9 + -4*(-4)/(-8). Let n(w) = -w**3 + 6*w**2 + w - 7. Let g be n(u). Let d = g + 88. Is d a multiple of 19?
False
Suppose -2*v - 2 = 4*s, -2*s - 3*v = -0 + 11. Is 2