ose 2 = -n*a + 8. Does 7 divide (a - 1)*40/2?
False
Let m(i) = i**2 - 21*i - 260. Is m(-19) a multiple of 38?
False
Let y(a) = 3*a + 154. Is 6 a factor of y(-42)?
False
Let f = -26 + 30. Is 32 a factor of f - 372/18*-6?
True
Suppose 0 = 5*b + 5*b - 940. Let l = -50 + b. Does 4 divide l?
True
Let f(j) = 89*j**2 - 11*j + 6. Let q be f(4). Suppose -6*z - 192 = -q. Is z a multiple of 15?
False
Let h = 1007 + -607. Is 10 a factor of h?
True
Let g(v) = 2*v**2 + 9*v - 5. Let s be g(-7). Let x be 5/(-2)*24/s. Is 12 a factor of x/((-2)/53) - 3?
False
Let n be (168/32)/(0 - 6/16). Let t(r) = -r**3 - 12*r**2 + 21*r + 2. Does 50 divide t(n)?
True
Suppose -4*c = 3*m - 11 - 12, 0 = -2*c + 5*m + 5. Suppose 5*v = -2*v + 196. Suppose c*i = 4*i + v. Does 15 divide i?
False
Let v = -74 - -43. Let g be ((-55)/(-3))/(3/(-9)). Let z = v - g. Is 6 a factor of z?
True
Is 21 a factor of ((-1)/2*-21)/((-257)/(-12336))?
True
Let x = -6 + 8. Let s(o) = o**x + 5 - o - 5 - 6. Is 6 a factor of s(-5)?
True
Let j = 9 + -20. Let d(f) = 9*f + 34. Let v(o) = 4*o + 17. Let i(h) = -3*d(h) + 7*v(h). Does 4 divide i(j)?
False
Suppose h - 5 = 5. Let t(z) = -15*z + h + 0*z**2 - 1 - 6*z**2 + z**3. Is 17 a factor of t(8)?
True
Let b(i) = 4*i**3 + 4*i**2 - 16*i + 11. Is b(6) a multiple of 5?
False
Suppose -18*o + 276 = -354. Is 5 a factor of o?
True
Let c(y) = -2*y**3 - y**2 + 3*y - 6. Let d be c(4). Let n = -30 - d. Does 36 divide n?
True
Let z(x) = 25*x + 72. Does 34 divide z(8)?
True
Let c = -6 - -10. Suppose -q = -3*j + j - c, -5*q = 3*j - 20. Let b = q - 1. Does 2 divide b?
False
Let q = 52 - -189. Is 7 a factor of q?
False
Let j(u) = -11*u + 41. Let i(o) = -6*o + 21. Let q(g) = 5*i(g) - 3*j(g). Is 9 a factor of q(30)?
True
Suppose 2*w + 29 + 29 = -2*p, -4*w + p - 101 = 0. Let x = -14 - w. Is x a multiple of 7?
False
Let x = 375 - 208. Is 24 a factor of x?
False
Let u(w) = 5*w**2 + 11*w + 4. Let o be (-30)/9*24/(-20). Suppose 0 + o = -p. Does 10 divide u(p)?
True
Suppose -87*c + 42000 = -72*c. Does 35 divide c?
True
Let l be 264/30 + -6 - 2/(-10). Is 20 a factor of 6/(((-2)/5)/(-15 + l))?
True
Let n(w) = 33*w + 6*w + 5*w + w. Let z be n(3). Suppose -4*u + u + z = 0. Is u a multiple of 15?
True
Let z(q) = -4*q**3 + 4*q**2 + 2*q - 21. Let k(f) = 3*f**3 - 3*f**2 - 2*f + 22. Let g(i) = 3*k(i) + 2*z(i). Does 8 divide g(0)?
True
Let p = -8 + 25. Let f = p + -21. Is 18 a factor of ((-48)/f)/((-12)/(-64))?
False
Suppose 0 = -4*d - 3*h + 79, 6*d = d - 5*h + 105. Suppose 2*b + 2*b = d. Suppose 6*v - 22 = b*v. Is v a multiple of 11?
True
Let w be (16/24 + 2/6)*487. Let a = -264 + w. Is a a multiple of 9?
False
Let i(z) be the first derivative of z**2 - 10*z + 11. Is i(11) a multiple of 12?
True
Suppose -3*y + 4*f = -231, -56 = -y + 5*f + 21. Is 18 a factor of y?
False
Let b = 1981 + -1341. Is b a multiple of 40?
True
Let n be 2/(-4)*(-16 + 2). Suppose -8*o + 3*o + 20 = 0. Suppose -z = -o - n. Is 7 a factor of z?
False
Let x be (-5321)/(-119) + 3/((-63)/(-6)). Suppose 0 = 2*u + 2*d + 66, -2*u + 3*u + 13 = 3*d. Let k = x + u. Is k a multiple of 4?
False
Let b = 643 + -283. Is b a multiple of 20?
True
Suppose -17*k - 3 = -14*k. Is (11/((-55)/(-28)))/(k/(-30)) a multiple of 12?
True
Let s(t) = t**2 - 3*t + 1. Suppose -n = -x + 7, n + 30 = 5*x - 3*n. Suppose z + x*d - 10 = 0, -2*z - 14 = -4*z - 2*d. Does 5 divide s(z)?
True
Let i(k) be the second derivative of -k**6/360 + k**5/10 - 3*k**4/8 - 2*k**3/3 + 5*k. Let z(m) be the second derivative of i(m). Is z(9) a multiple of 6?
True
Suppose -3*n + 3*t + 864 = 0, -t + 1454 = 5*n + t. Does 9 divide (2/(-4))/((-5)/n)?
False
Suppose 0 = -2*m - m - 42. Let n be 164/6 + m/(-21). Suppose -2*t - n = -3*t + 4*f, -76 = -5*t + 4*f. Is 10 a factor of t?
False
Suppose u + 2*n - 1264 = 0, 2*n - 8006 + 1702 = -5*u. Is 30 a factor of u?
True
Let d = 600 + -193. Does 37 divide d?
True
Suppose 0 = 5148*q - 5141*q - 413. Is 7 a factor of q?
False
Let b(q) = 2*q**3 + 3*q**2 + 2*q. Let t(y) = -y**3 - 8*y**2 - 2. Let l be t(-8). Let h be b(l). Is 2/h + 464/64 a multiple of 2?
False
Suppose 0 = -3*y - 3*b - 150, 46 = -3*y + 2*y - 3*b. Is (y/(-10))/(7/105) a multiple of 26?
True
Let x(v) = -v**3 - 18*v**2 - 37*v - 24. Let q(f) = f - 20. Let r be q(4). Is 28 a factor of x(r)?
True
Does 104 divide 668/((-63)/27 + 3)?
False
Suppose -5*p + 7 = -8. Suppose -p*m + 6*m + z - 5 = 0, -3*z = m + 9. Suppose -88 = -m*b - 7. Does 9 divide b?
True
Let c(k) = 11*k**3 + 31*k**2 - 11*k + 19. Let r(s) = -5*s**3 - 15*s**2 + 5*s - 9. Let d(i) = -6*c(i) - 13*r(i). Let m = -10 + 18. Is d(m) a multiple of 20?
False
Let m = -21 - -38. Suppose 0 = 23*n - m*n - 90. Is n even?
False
Let f(b) = b**2 - 7*b + 8. Let c be f(5). Let p(v) = v**2 + 4*v + 4. Let q be p(c). Suppose q = -3*d + 129 + 27. Is d a multiple of 26?
True
Let q = -92 - -282. Is q a multiple of 19?
True
Let q(i) = -i**3 - 3*i**2 + 5*i - 2. Let h(o) = -o**2 + 4. Let j be h(3). Does 6 divide q(j)?
False
Let w = 48 - 30. Does 10 divide (-10)/15*-3 + w?
True
Let f(w) = -w. Let c be f(-3). Is (45 - 5)*c/4 a multiple of 15?
True
Suppose 0 = -2*l + 37 + 9. Suppose 5*n + 3*c + 28 = -11, -2*c = 3*n + l. Does 17 divide (n/(-15))/(2/170)?
True
Suppose 0 = 4*f + 3*q + 25, 6*f = 2*f + 2*q - 50. Let n = f - -12. Let w = 19 - n. Does 17 divide w?
True
Suppose 0 = -9*l - l + 3690. Is 9 a factor of l?
True
Let x be 20/2*(-2)/(-5). Suppose 3*p - 30 = p - 2*b, -x*b - 39 = -5*p. Is p a multiple of 11?
True
Let j = -928 + 988. Is j a multiple of 2?
True
Let y(j) = 3*j + 13. Let u be y(-9). Let h = 14 + u. Suppose h = -i - 2*r + 4 + 15, -i + r = -10. Is 13 a factor of i?
True
Let q = -1118 + 1230. Is 28 a factor of q?
True
Does 28 divide 4/(-7) + (-60012)/(-63)?
True
Suppose -2*z - 4*o + 134 = z, -4*o = -3*z + 118. Suppose -w - z = -3*w. Is 7 a factor of w?
True
Suppose 10*l = 8*l. Suppose 4*m + 5*k = l, -5*m = -0*m - 3*k. Is 14 a factor of 43 + (m - -3)/3?
False
Suppose 3*m - 4*j - 191 = 299, -2*m = -j - 320. Is 27 a factor of m?
False
Let w = 120 + 25. Suppose -r - w = -2*d, d - 68 = -0*d + 5*r. Is d a multiple of 24?
False
Let q = 4 - -20. Suppose -3*c - 4*l - 1 = 0, c + 3*l = -3*c + 8. Suppose y = q - c. Is 19 a factor of y?
True
Suppose 0 = -3*k - 2*k + 1030. Does 19 divide (-20)/(-15) - k/(-3)?
False
Suppose 6 = -m + 4*t, 0 = -5*m - t + 6 + 6. Suppose 2 = -d + m*v, -2 = -2*d - 3*v + 1. Let w = 3 - d. Is w a multiple of 3?
True
Suppose 0 = -b + 3*i + 326, -2*i - 18 + 24 = 0. Is 23 a factor of b?
False
Suppose d - 8*u - 30 = -4*u, 0 = 2*u + 10. Let y be 1 - (-2 + 0 + 3). Let v = y + d. Is 7 a factor of v?
False
Suppose 3*v + 17 = 5*z, 5*z - 3*v - 18 = -v. Suppose 9 = 3*k - 0*k. Suppose w = -z*i + 121, -3*w + k + 0 = 0. Is 18 a factor of i?
False
Let q = -1815 + 1972. Is q a multiple of 39?
False
Suppose 0 = -3*l + 2*c + 1191, 0 = -3*l + 5*c - 101 + 1301. Is 22 a factor of l?
False
Let u = 389 - 275. Let w = 10 + 13. Suppose 25*d - w*d - u = 0. Does 13 divide d?
False
Let u be (6/4)/(3/6). Suppose 2*m + u*n = -m + 591, -5*m - 3*n + 981 = 0. Is 59 a factor of m?
False
Suppose 5*o - 320 + 1355 = 5*s, 5*o = -3*s + 597. Is s a multiple of 12?
True
Let p = -39 + 66. Let w be ((-14)/(-6) - 2)*p. Is 20 a factor of 279/w + 2*-1?
False
Let v(u) = 13. Let r(f) = -f - 1. Let h(p) = -2*r(p) + v(p). Is 14 a factor of h(11)?
False
Suppose i - 3*i + 8 = 0. Suppose -i*w - 120 = -3*k - k, -5*k = 3*w - 142. Does 6 divide k?
False
Suppose 8*t + 28*t - 9144 = 0. Does 10 divide t?
False
Let m be 9*(14/(-6))/(-7). Let h be (-4)/(-3)*(-3)/(-2). Suppose -4*w = -4*f + 48, -h*f + w + 21 = -m. Does 6 divide f?
True
Suppose -h + 3*h = 4*l + 28, -h - 11 = 3*l. Suppose -h*r = -5*r + 2*i + 16, -r + 16 = i. Is r a multiple of 16?
True
Let q be (8/5)/(2/(-10)). Let j be (-3 - q)*134/10. Let z = j + -26. Is z a multiple of 24?
False
Suppose 4*w = -w - 5, -2*w - 176 = -3*o. Let h = o - 83. Let t = h - -40. Is t a multiple of 4?
False
Suppose 0 = -3*y - 7*i + 2*i + 23, -4*i + 17 = y. Let s(m) = -2*m + 14*m + 0*m + 1 + m. Does 7 divide s(y)?
True
Suppose -2*t - k = -6 - 5, -2*k + 17 = 3*t. Does 6 divide t*(-4 + 5)*(-24)/(-10)?
True
Suppose -3*k = 2*k - 2*j + 242, k - 3*j = -51. Let t = -26 - k. Is 2 a factor of t?
True
Suppose -3*r - 2*f = -5*f - 1653, -2*r - 4*f + 1090 = 0. Suppose 11*