 r. Does 17 divide x?
True
Suppose 2*w - 4*t = 4, 4*w + t - 1 = 2*t. Let l(m) = -m**2 + m - 7. Let r be l(w). Let j = 4 - r. Is j a multiple of 11?
True
Let w(v) = v**3 - 6*v**2 - 10*v + 12. Let u(n) = n**2 - 8*n - 8. Let f be u(9). Let b be (f - 0)/((-14)/(-112)). Is w(b) a multiple of 12?
True
Let f(l) = 3*l**3 - 3*l**3 - 3*l + 18*l**2 - 7*l**2 - l**3. Is 14 a factor of f(10)?
True
Suppose -7*b - 48 = -5*b. Let i = 59 + b. Is 7 a factor of i?
True
Suppose 5*v + 15 = 0, y - 472 = -3*y + 4*v. Is 5 a factor of y?
True
Suppose 8*i = 10*i - 12. Suppose -i*t + 905 = -769. Does 47 divide t?
False
Let t = -10 - -13. Let n = -42 - -44. Suppose -2*z + 104 = -n*g - g, 0 = t*z + 5*g - 175. Is 11 a factor of z?
True
Suppose 4*u - 440 = r, 2*r = -2*u - r + 220. Let c = u + -80. Is 15 a factor of c?
True
Suppose -19*k + 52*k - 19800 = 0. Does 8 divide k?
True
Let t(p) = p**2 + 8*p + 1. Let q(y) = -2*y**2 - 7*y. Suppose 1 = 3*u - 5. Let i(c) = u*q(c) + 3*t(c). Is i(7) a multiple of 8?
True
Suppose 283 = a - 5*r, -3*r + 18 - 24 = 0. Is a a multiple of 39?
True
Let r = 4142 - 1165. Is r a multiple of 7?
False
Let c(x) = -x - 16. Let k be c(0). Let s = k + -26. Let w = 81 + s. Is w a multiple of 5?
False
Let v(s) = -s**3 + 11*s**2 + 14*s - 18. Let i be v(12). Suppose -5*p + 2*g = i*g - 14, -3*p + 26 = -2*g. Is p even?
True
Let o = 11 - -11. Let c = o - -10. Is 4*(-6)/(-8) + c a multiple of 17?
False
Suppose 3*m = -5*y - 0*y + 850, m + 3*y = 290. Is 39 a factor of m?
False
Let y(n) = 4*n**2 + 1. Let a be y(-1). Let h = 50 + -48. Suppose 4*p - 5*p - h*b = -30, -a*p + b = -194. Is 11 a factor of p?
False
Let k(x) = x**3 - 16*x**2 + x - 14. Suppose -3*u = 2*y - 23, 42 = 4*y - 2*u - 28. Let w be k(y). Suppose 12 = 3*b, -t - w*t + 47 = -4*b. Is 7 a factor of t?
True
Suppose 11739 = 27*l - 2841. Is 60 a factor of l?
True
Suppose -3*h + 3*c = -18, -c + 3 = 2*h - 0*c. Suppose s - m = 12, h*s + m - 2*m - 30 = 0. Suppose 7*n - 6*n = s. Is 3 a factor of n?
True
Suppose -13*t + 11*t - c = -161, t - 3*c = 98. Is 6 a factor of t?
False
Let z be 14 + 2/(6/(-3)). Suppose -t + 33 = z. Does 2 divide t?
True
Let f(r) = -r**3 + r**2. Let x(n) = -8*n**3 + 29*n**2 - 15*n + 7. Let d(c) = 6*f(c) - x(c). Is 3 a factor of d(11)?
False
Suppose 6*u = 3*u - 4*z - 7, 0 = -3*u - 3*z - 3. Suppose f + 312 = 4*f + u*a, -402 = -4*f + 3*a. Is f a multiple of 27?
False
Suppose 2*c = 3*c - 3*n + 60, -150 = 3*c - 3*n. Is 47 a factor of (-5)/(0 - (-3)/c)?
False
Let o(y) = -5*y + 7. Let w be o(4). Let g = 15 + w. Suppose t = -4*d - d + 20, 2*t - g*d - 28 = 0. Does 9 divide t?
False
Suppose 3*c + 19 = -n + c, -2*n - c = 23. Let l = 317 - n. Is 16 a factor of l?
False
Suppose w - 5 = 7. Let a be (1 + (-16)/w)*-84. Suppose a = y + 7. Is 7 a factor of y?
True
Suppose 0 = 222*i - 231*i + 6903. Is i a multiple of 13?
True
Suppose -8*h - 6 + 46 = 0. Suppose -a - h*g + 64 = 0, -3*a - 6*g + 214 = -2*g. Is a a multiple of 13?
False
Let y = 2 - 0. Let c(m) = 2*m**2 - 11*m + 6. Let r be c(6). Suppose 64 - r = y*q. Is q a multiple of 7?
False
Suppose 3*u - 4 = 20. Suppose 0*x + u = 5*c + x, 4*c = 5*x - 11. Let v(z) = 38*z - 1. Does 19 divide v(c)?
False
Suppose -7*i = -3*i - 64. Let o = -14 + i. Suppose 5*z = 2*u - 103, -o*u + 79 = 7*z - 4*z. Is u a multiple of 11?
True
Let r(m) be the first derivative of -4*m**2 + 4*m - 8. Is 14 a factor of r(-2)?
False
Does 69 divide (30/8)/(-5)*(18 - 938)?
True
Suppose 2*p + c = 2*c - 7, -5*c - 17 = 3*p. Suppose -7*d + 3*d - 40 = 0. Is 6 a factor of 22 + 5/(d/p)?
True
Let x(u) = -7 + 5 - 2*u**3 + 2*u - 1 - 4*u**2. Does 29 divide x(-4)?
False
Suppose -19 = -2*u - 7. Let q(s) = s**3 - 4*s**2 + s - 7. Does 13 divide q(u)?
False
Let k = -8 - -11. Suppose 0 = -k*u + 6*u - 6. Is (-7)/((u - 0)/(-12)) a multiple of 14?
True
Let f = -25 - -3. Let s = f + 24. Suppose -n + 4 = s*z - 75, -4*n = 20. Does 14 divide z?
True
Suppose -18677 = -59*c + 194608. Is c a multiple of 29?
False
Let g be 1 + -3 - (13 + 3). Let s = g + 19. Suppose 0 = -5*t + 56 - s. Does 3 divide t?
False
Let m = -983 + 1523. Is m a multiple of 7?
False
Let s(c) = 4*c**2 + 27*c + 115. Is 16 a factor of s(-5)?
True
Suppose -5*a - 957 = -3*r, -2*r + 36*a = 31*a - 638. Is 14 a factor of r?
False
Suppose 386 = 11*r - 571. Does 19 divide r?
False
Suppose -b = 3 - 8. Suppose -13 = b*i - 33. Suppose i = 5*z - 5*m - 106, m = -2. Is 20 a factor of z?
True
Let j(x) = -x**3 + 13*x**2 + 19*x - 15. Let c(f) = f**3 + 9*f**2 - 12*f - 6. Let w be c(-10). Is 11 a factor of j(w)?
True
Let f be (1 + -2 - -1101)*(-10)/(-25). Suppose -70*b + f = -65*b. Does 11 divide b?
True
Let z = -253 + 414. Does 7 divide z?
True
Let t = 411 + -80. Is 61 a factor of t?
False
Let y = -51 + 49. Is 8 a factor of -6 + 7 - (y + -4*12)?
False
Let m be 6/(-4) + 5319/18. Suppose 51 + 187 = 4*l - 3*q, -m = -5*l + 2*q. Suppose n + 0*n - l = 0. Is n a multiple of 10?
False
Suppose -572 = -5*q - 97. Is 2 a factor of q?
False
Suppose -2*u = 3*u - 15. Suppose -2*y - 25 = 2*v + y, 4*v + u*y + 35 = 0. Is v + 2 + 0 - -75 a multiple of 24?
True
Let m(s) = 18*s - 24. Let z = 63 - 55. Does 20 divide m(z)?
True
Let h(a) = -4*a**3 - a - 1. Let p be h(-1). Suppose 0 = 33*u - 24*u - 19*u. Suppose u = -p*b - 97 + 281. Is b a multiple of 23?
True
Let b(t) = 2*t**2 + 14*t - 15. Is b(11) a multiple of 17?
False
Suppose -14 = x - 38. Suppose 20 = -7*b + 2*b. Does 3 divide (b/8)/((-2)/x)?
True
Suppose -3*z + 145 = -359. Is 3 a factor of z?
True
Let w(g) = -g**3 + 18*g**2 - 9*g + 2. Is w(9) a multiple of 65?
True
Let k(x) = 20*x + 14. Let i(c) = 19*c + 13. Let t(p) = 3*i(p) - 4*k(p). Let w be t(-7). Let v = -86 + w. Does 18 divide v?
False
Suppose -5*k = 2*s - 1120, -896 = -22*k + 18*k + 3*s. Does 13 divide k?
False
Let z(x) = 47*x**2 + x + 34. Is 17 a factor of z(-4)?
True
Suppose 0 = 3*c - 3*h + 13 + 5, 4*c + 5*h - 3 = 0. Let n(z) = z**3 + 2*z**2 - 3. Let k be n(c). Let s = k + 20. Is s a multiple of 4?
True
Let g = -6684 + 10344. Is 9 a factor of g?
False
Suppose 2*n + 2*n = -12. Let u be (8/n)/((-10)/15). Suppose 4*s = 2*a - 142, -4*a + s + 284 = -u*s. Does 18 divide a?
False
Let u = 133 - 129. Suppose 0 = h + 3*y - 36, -2 - 10 = u*y. Does 9 divide h?
True
Let i be (9/(-3) + 19)/(1 + 1). Suppose 5*x - i*x = -18. Is 3 a factor of x?
True
Suppose -2*c = -z + 23, 110 = 5*z + 2*c - 17. Suppose -5*k + z = -55. Is k a multiple of 8?
True
Suppose 7 = 3*p - 2. Is 14 - (2 - 6) - p a multiple of 2?
False
Suppose -3*z - 8 = -32. Is 28 a factor of (3 - -39)/(((-6)/z)/(-1))?
True
Is (-1436)/(-2) + -21 + 5 + 9 a multiple of 9?
True
Let o(c) = 3*c**2 + 3*c + 2. Let u be o(-2). Suppose -184 = -u*w + 4*w. Let n = w - 18. Is n a multiple of 8?
False
Let v = 1122 + -799. Does 19 divide v?
True
Let l be (0 - -1)/(2/4). Let g(s) = 0 + l + 6*s**2 - 3 + 2*s**3 - s**3 - 4*s. Is 19 a factor of g(-3)?
True
Let f be 9/(0 + 15/380). Suppose 3*j = -j + f. Is 9 a factor of j?
False
Let g(n) = 2*n**2 + n - 2. Let w be g(4). Let i = 20 - w. Let m = i + 26. Is m a multiple of 12?
True
Suppose 0 = o + o - 42. Suppose 3*k - 4*c - 11 = 8, -5*k - 4*c = -o. Suppose -t - 216 = -k*t. Does 14 divide t?
False
Let c(h) = -h**2 - 4*h - 3. Let n be c(-5). Let i = n + 5. Is 2 - (i - (-3 - -1)) a multiple of 2?
False
Let v = 5 - 14. Let m = v - -9. Suppose 3*a = -0*a + 3*k + 45, m = 5*a + 5*k - 115. Is a a multiple of 19?
True
Is 15 a factor of (-6685)/(8 - 3)*(1 - 2)?
False
Let c(m) = m**2 - 5*m - 17. Let y = -22 - -15. Does 13 divide c(y)?
False
Let c(v) = -v**2 + 11*v + 4. Suppose 2*m + u = 22, -5*m + 1 = -4*u - 28. Let b be c(m). Suppose b = 3*g - 47. Does 5 divide g?
False
Suppose 8*d = 6*d. Suppose -o - 4*o + 110 = d. Is 11 a factor of o?
True
Let o be -1 - -6*(-3)/(-6). Suppose 5*f = -o*z + 208, -3*f + 4*z + 131 = -z. Does 6 divide f?
True
Let c(z) = -z + 1. Let w be c(4). Let k be w/(-1)*(-392)/(-24). Let m = k + -10. Is 13 a factor of m?
True
Is 66 a factor of 4/28*0 + 1386/3?
True
Suppose -19*k + 16158 = -771. Is k a multiple of 7?
False
Let d(x) = -22*x - 85. Is d(-5) even?
False
Suppose 2*i = -0*i - 36. Let d = 39 + -40. Does 5 divide ((4 - 1) + i)/d?
True
Does 61 divide 534 - (-10 - (-2 + -4))?
False
Suppose 8*g + 27 = 5*g. Let z = -4 - g. Let t = 29 - z. Is 12 a factor of t?
True
Let f = 821 + -407. Suppose f