 Is 14 a factor of w?
False
Let d(a) = 22*a**2 - 12*a - 94. Is 11 a factor of d(-6)?
True
Let j = 19 + -9. Let b = -7 + j. Suppose 120 = b*s + s. Does 15 divide s?
True
Let z = 657 + -357. Does 10 divide z?
True
Let x(t) = -t**3 + 10*t**2 - 13*t. Let d be x(8). Suppose 5*y - d - 16 = 0. Is (y - 17)*4/(-2) a multiple of 6?
True
Let w = -23 - -15. Let y = -18 - w. Is (-10)/2*12/y a multiple of 4?
False
Suppose 26*c = -2*l + 28*c + 1364, -2*l - 3*c = -1364. Does 31 divide l?
True
Let o be 10*(-1 + (-4)/(-8)). Let j(l) = -l**2 - 7*l + 5. Is j(o) even?
False
Let n be (0 - (-10)/(-8))*-4. Suppose -5*z + 170 = -n*q, -q = -z + 3*q + 28. Is z a multiple of 6?
True
Let j(o) be the first derivative of 2*o**3/3 + 2*o**2 - 18*o + 26. Does 15 divide j(-6)?
True
Suppose -h = -d - 2536, 6*h = 2*h - 3*d + 10179. Is 33 a factor of h?
True
Let c(q) = 11*q - 6. Let u be c(6). Suppose 5*r + u = n, -n - 4*n + 384 = -4*r. Does 20 divide n?
True
Let h = 1621 - -788. Does 73 divide h?
True
Let a(d) = d**2 - 7*d + 11. Let o be a(7). Let v = -7 + o. Is v/(-6)*(-171)/3 a multiple of 19?
True
Suppose b + 7 = t + 3*b, 5*t - 5*b = -40. Let l be 0 + t*2/(-3). Suppose -26 - 12 = -l*i. Is i a multiple of 19?
True
Let t = 8 + -4. Suppose 0 = 2*f + 3*b - 62, t*b - 4 = 4. Does 16 divide 2 + f/(-2)*-1?
True
Suppose -273 = -77*u + 64*u. Does 21 divide u?
True
Let h(f) = 3*f**2 - 9*f - 1. Let c(t) be the second derivative of -t**4/3 + 7*t**3/3 + t**2 - 2*t. Let g(m) = 5*c(m) + 8*h(m). Is g(2) a multiple of 4?
False
Suppose 6*z - 16 = 3*z + 2*v, 5*z - 32 = 2*v. Suppose 0 = -z*y + 201 + 55. Is 4 a factor of y?
True
Suppose 386 = -38*r + 40*r. Does 6 divide r?
False
Suppose 2*p = -3*p + 5*i + 65, -37 = -5*p - 2*i. Let r = p + 0. Suppose 18*k = 21*k - r. Is k a multiple of 2?
False
Suppose 0 = 34*r - 37*r. Suppose 3*i - 2*u = -5*u + 372, r = i - 2*u - 118. Is i a multiple of 15?
False
Suppose -7335 = -23*p + 6465. Does 15 divide p?
True
Let x(p) = p**2 + p + 3. Let z be x(3). Suppose -3*r + 87 + z = 0. Suppose -24 = -2*t + q, 2*t + 2*q + r = 5*t. Is 7 a factor of t?
True
Let o = 42 - 39. Suppose -3*f - 138 = -5*t, t + 4*f = o*t - 58. Does 27 divide t?
True
Is (132 - 132) + (-996)/(-1) a multiple of 83?
True
Suppose -2*o + 2*z + 169 = -67, 0 = 2*o - 3*z - 237. Let l = o + -38. Is l a multiple of 4?
False
Let f be 40/(-15) + 3 + 3124/6. Suppose 5*l - f = 3*x, 2 = -4*x - 6. Is 18 a factor of l?
False
Suppose 5*j - 614 = -114. Is 11 a factor of (2 + -5)/((-6)/j)?
False
Let m be (-3)/((-1)/((-8)/(-6))). Let z(v) = 10*v**2 - 2*v - 5. Let h be z(m). Suppose -r + 85 = 5*f, -4*f + h = 2*r - 17. Is r a multiple of 17?
False
Suppose -2 = -q - 4*w, 0*q - 4*w = 2*q. Is 12 a factor of q/((-68)/(-387) + 6/(-27))?
False
Let q = -3 - -7. Let m = 23 + -17. Let s = m - q. Is s a multiple of 2?
True
Is 16 a factor of 2242 + 9/(-9) + -4?
False
Suppose 37*v - 36*v + s - 1164 = 0, -s - 4 = 0. Does 41 divide v?
False
Let l(q) = -q**3 - 8*q**2 - 5*q - 4. Let b be l(-7). Let f be (-40)/b - (-4)/(-18). Suppose 10 - 36 = -f*y. Is y a multiple of 8?
False
Suppose -3*r - 2 = -4*i - r, 5*r = 5*i + 10. Suppose -7*f + 2*s + 62 = -2*f, 0 = -f - i*s + 9. Is 12 a factor of f?
True
Let c be 7*1*(-7 - -8). Let u(b) = b**2 + b + 4. Let t be u(c). Let y = t - 0. Is 17 a factor of y?
False
Let o be 1731*(-8)/(-12) + -5. Suppose 3*m + o = 4*x, -9*x + 10*x - 276 = 3*m. Does 28 divide x?
False
Suppose 30*t = 3*t + 6237. Does 98 divide t?
False
Suppose -4*r - 6*r + 100 = 0. Does 10 divide 40/r - (1 - 37)?
True
Suppose 0 = 4*z - 2*z + 10. Suppose 2*k = -3*k + 20. Let r = k - z. Does 6 divide r?
False
Suppose 10 = 5*b - 0*b. Suppose -12 = -b*p - 0*m + 2*m, -2*m + 18 = 4*p. Suppose 20 = p*i - 4*z, -5*z - 3 = -2*i + 5. Is i even?
True
Let v be (5/5)/(2 + -3). Does 7 divide ((-9)/(-3) + v)*10?
False
Let t be 4/10 + 212/20. Suppose t*u - 6*u + 270 = 0. Let a = u + 103. Is a a multiple of 24?
False
Let d = 50 - 50. Let f = 180 + d. Is 17 a factor of f?
False
Suppose 255*o - 250*o - 885 = 0. Does 59 divide o?
True
Suppose 8*i - 1927 = 8265. Does 91 divide i?
True
Suppose -27 = -2*h - h. Let i be h/(-15) - (-96)/10. Let s = 30 - i. Does 7 divide s?
True
Suppose 724 - 94 = 3*f. Let n(g) = 2*g**3 + 6*g**2 + 2. Let s be n(-3). Suppose s*y - f = -y. Is y a multiple of 18?
False
Let n(m) be the third derivative of -m**6/120 + m**5/6 - 7*m**4/12 + 7*m**3/6 + 2*m**2. Let p be -2 + (-205)/(-25) + 1/(-5). Is 16 a factor of n(p)?
False
Let i be 1/2 - 21/(-14). Suppose -2*j - 20 = 2*j, -z = i*j + 6. Suppose 93 = -z*o + 7*o. Is 11 a factor of o?
False
Suppose 23*l + 1442 - 5283 = 0. Is 3 a factor of l?
False
Let g(n) = n**3 - 11*n**2 - n + 15. Let t be g(11). Suppose 6*j = t*j + 96. Is j a multiple of 6?
True
Suppose -2*r + 4*r - 11 = -v, 0 = 4*v + 5*r - 56. Suppose 51 = z + v. Suppose 4*l + 0*l = z. Is 8 a factor of l?
True
Let x be (-6)/(((-6)/44)/(-1)). Is (-1)/3*x*3 a multiple of 23?
False
Suppose 0 = -4*c + 14 + 74. Let b = c - -32. Is 18 a factor of b?
True
Suppose -u - j = -36, 3*j - 30 = -u + 14. Let x = u + 62. Does 20 divide x?
False
Suppose 0 = -2*k - u - 2*u + 27, -3*u + 39 = 4*k. Let j(y) = -y**2 + 8*y - 8. Let m be j(k). Suppose -10 = 5*l, -5*x = -m*l - l - 70. Is 4 a factor of x?
True
Let t(b) = 2*b + 1. Let z(k) = -k**2 + 9*k - 1. Let y be z(9). Let g be t(y). Is 14 a factor of g + -1 - (8 - 62)?
False
Suppose 79 = 2*a - 3*j, 2*a + 54 = 4*a + 2*j. Let n = 47 - a. Is ((-4)/(-5))/(3/n) a multiple of 2?
True
Suppose -11*b + 13*b - 715 = 5*y, -4*y + 4 = 0. Does 7 divide b?
False
Let v = 69 - 71. Let k be -18 + -4 - (0 - 1). Does 17 divide (k + -79)*v/5?
False
Suppose -2*g = -3*g. Let h(b) = -b + 1. Let s be h(g). Suppose l + s = 0, -4*v + 4*l - l + 63 = 0. Does 5 divide v?
True
Suppose 484 - 627 = -b. Is b a multiple of 15?
False
Suppose 3*d + 2*d - 20 = -3*b, d - 6 = -b. Is b a multiple of 2?
False
Suppose -n + 7 = 1. Suppose -5*i - 5*o + 785 = 0, -5*i + 2*o + 787 = n*o. Does 27 divide i?
False
Suppose -w - 18 = j + 21, -4*w - 176 = -j. Let y be (15/(-2))/(12/(-112)). Let h = y + w. Is h a multiple of 10?
False
Let u be (12/8)/((-1)/2). Does 12 divide u/((-4)/(176/4))?
False
Suppose 15552 = -38*p + 44*p. Is 120 a factor of p?
False
Suppose 205*x - 210*x + 340 = 0. Let h(s) = s**2 - s + 6. Let d be h(6). Let q = x - d. Does 11 divide q?
False
Let f = -6 - -8. Suppose 220 = 4*l + f*d, -3*d = -4*l - 23 + 233. Is 13 a factor of l?
False
Let j be (-2)/(-3) - (-80)/(-12). Let t be (-14)/21 - 16/j. Suppose w - 34 = -3*m, -t*m - 3*w + 32 = -0*m. Is 5 a factor of m?
True
Suppose -g - 475 = -20*g. Suppose 0 = -g*x + 22*x + 795. Is 12 a factor of x?
False
Let t(m) = 2*m**2 - 26*m + 13. Let r(k) = k**2 - 13*k + 7. Let o(p) = -5*r(p) + 2*t(p). Does 3 divide o(11)?
False
Let u(x) = 15*x + 11. Let m be u(-11). Let n = m + 220. Is n a multiple of 15?
False
Suppose 0 = 4*h - 0*h + 4*k - 16, -5*k - 8 = h. Suppose h*f = 3*f. Suppose -5*g + 289 - 14 = f. Does 11 divide g?
True
Suppose -2*b + k = -14, 0 = -3*b + 4*b + 5*k - 18. Is ((-2)/2)/(b/(-248)) a multiple of 12?
False
Let p be (14/21)/(2/9). Suppose -4*c = f - 25, -f - p*f + 15 = -c. Suppose -3*w - f*q + 154 = 0, 4 + 2 = 3*q. Is w a multiple of 8?
True
Let l(r) = 2*r**2 + 20*r + 20. Let x be l(-9). Suppose 2*i + 184 = n, -5*n + 894 = x*i + i. Is n a multiple of 18?
True
Suppose 3*z - 2*b + 3*b - 512 = 0, 0 = -z + 4*b + 175. Is z a multiple of 9?
True
Suppose -2*j - 44 = -4*s, 2*s + 30 = -5*j - 44. Let m = j + 12. Does 15 divide 1018/17 + m/(-34)?
True
Suppose 4*m = -2*l + 744, -2*m - 3*m = 5*l - 930. Does 3 divide m?
True
Let f = 1336 - 1301. Does 5 divide f?
True
Let o be (-32)/(4/(-2)) + -2. Let v = o + -1. Is 4 a factor of v?
False
Suppose 0 = 2*s - 0*s - 36. Let v = -13 + s. Suppose 0*l + 40 = v*l. Does 4 divide l?
True
Suppose -2*w + 3*t = -1668, -46*w - 4*t = -51*w + 4156. Is w a multiple of 36?
True
Let n be 56/8 + -7 - -235. Let c be -1*6*26*1. Let b = n + c. Does 26 divide b?
False
Suppose 0 = 4*h - 2*i - 970, i - 6*i + 455 = 2*h. Suppose 19*c - 21*c + h = 0. Does 30 divide c?
True
Let p = -2624 - -4395. Is p a multiple of 23?
True
Suppose 6*d = 3*d + 102. Is (1*74)/(-5 - d/(-6)) a multiple of 37?
True
Suppose 2 = d - 2. Suppose 4*h - d*k = 1084, 10*h - 7*h - k = 807. Does 17 divide h?
Fal