ppose f - 7*f = -306. Does 22 divide f?
False
Suppose -3*v - 2*v + 10 = -5*q, 0 = 5*q. Is v even?
True
Let n(z) = 3*z + 9. Is 17 a factor of n(15)?
False
Suppose 4*t = 5*t + 11. Let i = -18 - t. Is 2/i - 92/(-28) a multiple of 3?
True
Let g be (-4 - -2) + 7 + -1. Suppose -3 - g = -f. Suppose 2*m = f*m - 20. Is m a multiple of 3?
False
Is (-42)/84 + (-2)/((-8)/350) a multiple of 22?
False
Let n(y) = -19*y + 3. Let b be (-8)/(-8) + (-6)/2. Does 23 divide n(b)?
False
Let q be (-4)/18 - (-532)/(-36). Is (-15)/(q/6 - -1) a multiple of 10?
True
Let j(p) = 8*p**3 + 2*p**2 + 3*p. Let y be j(-2). Let d be (-1)/2*(4 + y). Suppose -3 = -4*x + d. Is x a multiple of 8?
True
Let a be 2/(1*6/33). Suppose -2*t = 3*y + 7, -4*y - t = y + 14. Let d = a + y. Is 8 a factor of d?
True
Suppose 0 = 6*b - 38 - 256. Does 33 divide b?
False
Let f = 38 + 1. Let r = 64 - f. Does 25 divide r?
True
Let t = 1665 - 1176. Let u = t - 289. Suppose v = l + 39, 5*v + 2*l - u = -12. Does 18 divide v?
False
Let m(r) be the first derivative of r**4/4 - 5*r**3/3 + 2*r**2 - 1. Let o be m(5). Is 11 a factor of (0 - -8)*o/8?
False
Does 13 divide (110 - 1) + 5*14/35?
False
Let u(s) = 2*s - 2. Let p be u(2). Suppose -3*n + 2*n = m - 129, 0 = m + 3. Suppose -p*q - 2*q = -n. Does 15 divide q?
False
Let t be 0 + 2/(2 - 1). Suppose -d + 20 = -5*g, d + t*g + 2 - 1 = 0. Suppose -d*p + 20 = -p. Is 2 a factor of p?
False
Let o(d) be the second derivative of -d**5/20 - 11*d**4/12 + 4*d**3/3 - 2*d**2 - 3*d. Is 15 a factor of o(-12)?
False
Let a(z) = z**3 + 12*z**2 + 10*z + 15. Is 17 a factor of a(-11)?
False
Suppose 25 = 3*g - 383. Is g a multiple of 17?
True
Let o be 2 + (2 - (-4)/(-2)). Suppose -3*a + k - 2*k = -130, o*a - 4*k - 68 = 0. Does 11 divide a?
False
Let t(q) = 2*q**3 - 4*q**2 - q + 2. Let z = -28 - -20. Let j = z - -11. Does 11 divide t(j)?
False
Let t(s) = s**3 + 23*s**2 - 26*s - 3. Does 15 divide t(-24)?
True
Let z(g) = g**3 - 5*g**2 - 5*g - 6. Let u be z(6). Suppose 4*s = -u*s - 36. Let c = s + 13. Is c even?
True
Suppose m + 5*l = -m + 31, -2*l - 98 = -4*m. Suppose 27 + m = o. Is o a multiple of 25?
True
Let h = -5 + 5. Suppose -4*f + 0 + 12 = h. Is 5 a factor of ((-5)/f)/(1/(-3))?
True
Let d(f) = f**2 + 6*f + 5. Let r be d(-4). Does 7 divide (r - (2 - -2))/(-1)?
True
Suppose 3*h - 46 - 26 = 0. Does 6 divide h?
True
Suppose -y = -2*y. Suppose l - 11 = j, -l + y*j = 2*j + 1. Let n = l + 27. Is 18 a factor of n?
False
Suppose 5*d = -2*g + 31, 2*d - 4*g = -g + 1. Suppose -11 = -d*l + 49. Suppose -2*x + l - 2 = 0. Is x a multiple of 4?
False
Let k = 87 - 48. Suppose -4*o + k = -3*o. Let w = o + -12. Does 12 divide w?
False
Suppose -2*p = 9 - 3, -5*w + 5 = -5*p. Let k be (-4)/w*(-10 + 9). Is (-8 - 6)*3/k a multiple of 7?
True
Let f(x) = x + 50. Does 32 divide f(-18)?
True
Let z(y) = 23*y - 2. Is 10 a factor of z(4)?
True
Let x = -107 - -161. Is 9 a factor of x?
True
Suppose 9*x - 10 = 4*x. Suppose -85 - 5 = -x*b. Does 16 divide b?
False
Does 7 divide 12/6 - -7*5?
False
Let f = -181 + 255. Does 8 divide f?
False
Let y be (2/(-5))/(4/(-40)). Suppose 2*t - 16 = -y*l + 8, 0 = -3*l - 2*t + 17. Suppose -x + l = -3*d, 0*x + 2*x - 35 = -d. Does 16 divide x?
True
Let k be (6/(-12))/(1/12). Let y(x) = x**2 + 4*x - 8. Is 3 a factor of y(k)?
False
Suppose 44 + 17 = -2*o - 5*l, -3*l - 31 = o. Is 6/16*-6*o a multiple of 28?
False
Let s(m) = 11*m**3 - m + 2. Is 18 a factor of s(2)?
False
Let g(i) = 5*i**2 - 5. Let s be g(5). Suppose -s = 2*b - 4*j, -j + 6*j - 72 = b. Does 3 divide (-4)/26 - 268/b?
False
Let j(n) be the first derivative of -n**4/4 + 4*n**3/3 + 3*n**2/2 + 2*n - 1. Does 5 divide j(4)?
False
Let t(d) = 2*d + 14. Is t(14) a multiple of 6?
True
Let q(m) = 12*m**2 + 4*m - 2. Does 25 divide q(4)?
False
Suppose 0 = 5*t - 2*w + w - 46, -3*w = 3. Let x(g) = g**3 - 9*g**2 + 2*g - 4. Is 5 a factor of x(t)?
False
Let y(d) = -d + 6. Let x be y(6). Suppose 5*u - 150 = -x*u. Is u a multiple of 15?
True
Let j be (27/3)/3 - -51. Is 12/j + (-68)/(-18) even?
True
Let r be (-552)/28 - 4/14. Let i = 60 + r. Does 20 divide i?
True
Let x(z) be the second derivative of z**2 + 0 - z + 1/3*z**3. Does 16 divide x(7)?
True
Suppose 4*o - 20 = -o. Suppose 0 = -2*p + 11 + 1. Suppose p*z - 18 = o*z. Is z a multiple of 7?
False
Let a be (0 - (-1)/(-2))*-8. Suppose 3*l = 4*x + 26, -2*l = -3*l - a*x + 30. Is 8 a factor of l?
False
Let g(v) = -114*v + 1. Let w be g(-1). Let z = -63 + w. Suppose -c = c - z. Does 9 divide c?
False
Let x = 95 - 53. Does 14 divide x?
True
Suppose 5*g - 17 = 2*w, -w - 2*g + 3*g - 7 = 0. Let l(o) = -9*o - 9 - 3*o**2 + o**2 + o**2. Is 6 a factor of l(w)?
False
Let m be ((-27)/18)/(3/8). Is 6 a factor of 6/m + (-30)/(-4)?
True
Let m be (-1)/(-2) - 75/6. Is (-465)/m - (-5)/20 a multiple of 9?
False
Let w(j) = j**3 + 2*j**2 - 3*j + 4. Let o be (-16)/(-9) + 2/9. Suppose d = 2*l + 3, -4*d - 6 = o*l - 4*l. Is w(l) a multiple of 4?
True
Suppose -32 = -2*r - 2*r - 5*g, 3*r + 2*g = 17. Is 2 a factor of (0/r)/1 - -7?
False
Suppose -5*x = -x - 24. Suppose -4*b + 8 = x*n - 2*n, -25 = 5*b. Is 2 a factor of n?
False
Let w = -22 + 50. Suppose 0 = 2*a - 6, -w = -3*n + n + 2*a. Is 17 a factor of n?
True
Is 23 a factor of (-204)/(-3) + (-9)/(-9)?
True
Let u(h) = -14*h**2 - 8*h + 5. Let z(x) = -x**2 + x - 1. Let w(r) = -u(r) - 6*z(r). Is w(-1) a multiple of 19?
True
Let w = 139 + -79. Let b = -36 + w. Is b a multiple of 12?
True
Suppose -15 = -m - 2*s - s, -18 = -m - 4*s. Does 3 divide 14/m + (-6)/(-9)?
True
Is 4/(-2*4/(-28)) a multiple of 4?
False
Suppose 4 = 5*o + 29. Let n = o + 8. Suppose -13 = -2*k - 5*p, k - p = n*k - 33. Is 8 a factor of k?
False
Suppose -t = -4*o + 8 + 7, o - t = 6. Suppose -109 - 86 = -o*n. Does 17 divide n?
False
Let n be ((-1)/((-1)/98))/(-1). Let m = -51 - n. Does 13 divide m?
False
Let m be (-4)/10 + 34/10. Suppose 5*a = 18 - m. Suppose 0 = -3*n + l + 91, 0*n + 121 = a*n + 5*l. Is n a multiple of 16?
True
Suppose 0 = -6*a + 3*a + 18. Let n = a - 5. Is (-6)/(n + (-10)/4) a multiple of 2?
True
Suppose 4*m - 692 - 76 = 0. Suppose m = 3*c + c. Is 12 a factor of c?
True
Let y = 10 + -4. Suppose -4*l = -l - y. Suppose 0 = l*x - 5*h - 36, x - 4*h - 15 = -3*h. Is x a multiple of 7?
False
Let q(z) = -1 + 3 + 3*z**2 + 4*z + 9*z**2 - 2*z**2. Does 13 divide q(-2)?
False
Let i = 103 + -9. Does 16 divide i?
False
Suppose 4*i - 496 = -100. Let l(v) = v + 4. Let m be l(0). Suppose q + a - 21 = -a, -i = -m*q - 5*a. Is 11 a factor of q?
False
Let y(f) = -16*f - 26. Is y(-14) a multiple of 11?
True
Let s(d) be the third derivative of -d**4/24 - d**3 + 2*d**2. Let m be s(-5). Is 2 - (m - (-1 - -7)) a multiple of 9?
True
Let f = -43 - -24. Let s = 53 - f. Suppose 0 = u - 5*u + s. Is 6 a factor of u?
True
Let k(q) = -q**3 + 6*q**2 - q + 3. Suppose -3*s = -5 - 10. Is k(s) a multiple of 13?
False
Let c = 57 + 147. Does 51 divide c?
True
Let h(d) be the third derivative of -d**4/8 - 5*d**3/6 + 5*d**2. Suppose -k + 6*k + 35 = 0. Does 8 divide h(k)?
True
Suppose -h + 3*p + 191 = -6*h, -4*p + 12 = 0. Let m = 58 + h. Is m a multiple of 6?
True
Let j(n) = -n**3 + 14*n**2 + 5*n + 25. Is 19 a factor of j(14)?
True
Let j be 0/1*(5 + -4). Suppose j*w = 2*w. Suppose 5*l - 47 = -4*x, w*x - 3*x + 4*l = -12. Is x a multiple of 4?
True
Suppose 0 = -j + 70 + 226. Is 13 a factor of j?
False
Suppose 10*l - 2*l - 160 = 0. Does 5 divide l?
True
Let j(t) = 2*t**2 + 5. Is 14 a factor of j(-9)?
False
Let h(m) = m - 5. Let i(f) = -5*f + 30. Let g(p) = -25*h(p) - 4*i(p). Let r be g(7). Let v = 51 + r. Does 11 divide v?
False
Suppose 0 = -c - 0*c - i + 43, 0 = 2*i - 6. Let v = c + -27. Is v a multiple of 7?
False
Suppose 0 = -k + 11 + 7. Does 7 divide k?
False
Let p(a) = 67*a + 19. Does 25 divide p(3)?
False
Let c(t) = -t - 9. Let p be c(-9). Suppose p*k = 2*k + 2*o - 36, -2*k + 30 = 5*o. Is 11 a factor of k?
False
Let m be 2/3 - (-44)/6. Suppose 0 = -m*f + 3*f. Suppose -2*x = -f*x - 6. Is x even?
False
Does 8 divide (2 - 3)*(-23 - 1)?
True
Let u(y) = -y**3 + y**2 + y + 2. Let f be u(2). Is 42 - (1 - (f + -3)) a multiple of 19?
True
Suppose -68 = -2*w - 12. Is w a multiple of 9?
False
Suppose 4*b - 7 = -p, 6 = 5*b - 4*p - 8. Is -106*(b - (-5)/(-2)) a multiple of 29?
False
Let c(l) = -l**3 - 6*l**2 - 2*l + 6. Let b be c(-5). Let 