e
Suppose 11 = 5*o - 14. Is 3 a factor of o?
False
Let b(h) be the third derivative of -1/120*h**6 + 0*h**4 + h**2 - 2/15*h**5 + 0 + 0*h + h**3. Is 5 a factor of b(-8)?
False
Does 13 divide ((-748)/(-85))/(-3*(-6)/765)?
False
Let u be (-9)/(-6) - (-6)/4. Suppose -12 = -b - 4*p, -u*b + 3*p + 78 = 12. Does 6 divide b?
False
Let h = 11 + 59. Is h a multiple of 14?
True
Let q(s) = -1 + 10 + s - s**2 + 2*s**3 - 1 - s**3. Is 8 a factor of q(0)?
True
Let f(a) be the third derivative of a**3/6 + 3*a**2. Let d(u) = 6*u - 8. Let h(o) = 3*d(o) + 24*f(o). Is 8 a factor of h(1)?
False
Let d = 33 + -15. Suppose -p + 54 = -d. Is 22 a factor of p?
False
Suppose -5*h + 17 = -18. Let b = -27 + 49. Let p = b - h. Is p a multiple of 15?
True
Suppose -10 = -3*z - 4. Suppose z = -u + 14. Does 4 divide u?
True
Suppose -3*q - 27 = -c - 0*q, 5*c - 215 = -5*q. Does 13 divide c?
True
Suppose 4*q - 11 + 31 = 0. Let b = 41 + q. Is b a multiple of 18?
True
Suppose -3*v + 7*t + 34 = 2*t, -t = -4*v + 34. Let n = v - -8. Let u = n + -6. Does 5 divide u?
True
Suppose 4*w + 8 = 0, -5*j = 5*w - 8*w - 961. Let p = j - 92. Let x = -47 + p. Does 26 divide x?
True
Suppose 3*u - 4*u = -12. Does 4 divide u?
True
Suppose 3*y + 3*v = 2*y + 36, 196 = 5*y - v. Suppose -3*d = -6*d + y. Suppose -17 = -3*s + d. Is s a multiple of 10?
True
Let d be (-6)/4*(3 - 5). Is 3 a factor of d - (2 + -2 + 0)?
True
Let a = 40 + -28. Does 33 divide 69*(16/a - 0)?
False
Suppose -5 = -4*g + 7. Is 3 a factor of g?
True
Suppose -1 - 19 = -4*i, 3*n - i - 31 = 0. Is n a multiple of 2?
True
Let z(m) = 6*m + 3. Let i be z(-2). Let c = i - -19. Is (-2)/10 - (-352)/c a multiple of 17?
False
Let b(x) = x**2. Let d(y) = y**3 - 6*y**2 + 4*y + 5. Let i be d(5). Let a be b(i). Suppose 3*c - 24 = -a*c. Is 6 a factor of c?
False
Let l = -2 + 1. Let d be 3 + (l + 2)*-1. Suppose -4*p = 5*x - 103, -d*p - 13 = -x + 2. Does 7 divide x?
False
Suppose 5*q = -0*q - 4*m + 103, -m = 2*q - 40. Let r(p) = p**3 + 4*p**2 + 3*p + 1. Let y be r(-4). Let n = q + y. Does 4 divide n?
True
Suppose 3*g - 4*r - 8 = 0, -2*g - g + r = -2. Suppose 2*y - 41 = -d, g = -2*y + 3*d + 10 + 19. Is y a multiple of 16?
False
Let x(d) = d**3 - 23*d**2 + 29*d + 4. Is x(22) a multiple of 14?
False
Let y = 45 - -11. Is 14 a factor of y?
True
Suppose 0 = -r + 49 + 14. Is 9 a factor of r?
True
Suppose 5*t - 251 - 84 = 5*z, 3*z = 2*t - 135. Does 22 divide t?
True
Let c = 4 + -2. Let k(o) = -4*o**2 + 5*o**c - 13*o**3 + 0*o**2. Is k(-1) a multiple of 7?
True
Let x = -28 - -37. Is x a multiple of 4?
False
Let z(h) = -16*h + 59. Is 22 a factor of z(-6)?
False
Let t(a) = -a + 6. Let z be t(5). Let m be z + (6 - 6/2). Suppose 0 = h + 4*h - o - 115, 86 = m*h - 2*o. Is h a multiple of 12?
True
Let s(u) = -u**2 - 13*u + 17. Let k be s(-13). Is (1*k)/(1/2) a multiple of 17?
True
Let v = 104 + -65. Is v a multiple of 13?
True
Suppose 4*n + 202 = 5*u, 5*u - 4*n - 200 = n. Suppose x - 2*w = 15, 0 = 4*x - 0*x - 5*w - 72. Suppose -5*s - 5*k + x = -u, -k + 5 = 0. Does 8 divide s?
True
Does 5 divide ((-2)/2*-14)/2?
False
Let a = 53 + -109. Let t = a + 82. Does 13 divide t?
True
Suppose 5*q + 0*r - 3*r = 15, 2*q - 10 = 2*r. Suppose 4*a - 8*a + 2*p + 34 = q, -4*a - 2*p = -46. Let k = 12 + a. Does 22 divide k?
True
Suppose 0 = -4*w + 4*t, -5*t + 20 = w - 2*w. Does 11 divide 1 + 21 - (-5 + w)?
True
Let c(b) = -12*b + 34. Is 13 a factor of c(-8)?
True
Suppose 58*v = 62*v - 260. Does 16 divide v?
False
Let a = 11 + -8. Suppose 3*s + a*j = 18, j = -j + 8. Suppose 3*p - s*p - 3*k - 27 = 0, 5*p - 2*k - 83 = 0. Is p a multiple of 15?
True
Suppose 174 = -2*x + 4*x. Does 29 divide x?
True
Let p(j) = -j**3 + 7*j**2. Let i be p(7). Suppose i*m = 5*m. Suppose m = -r - 4*r - 2*c + 217, 98 = 2*r - 2*c. Is r a multiple of 22?
False
Let r(j) = j**3 - 4*j**2 - 5*j + 5. Let x be r(5). Let h be (-4 + 3 - -56) + 2. Suppose 3*y + x*q - 44 = 0, -4*y + 0*q - 5*q = -h. Is y a multiple of 13?
True
Let c(x) = -2*x**2 + 3*x + 10. Let k be c(6). Let j = -18 - k. Is 13 a factor of j?
True
Let d = 46 - 1. Does 9 divide d?
True
Let a be 7 - (2 + 4)/3. Let l(x) = -7 + x**2 - x**3 + 3*x + 4*x**2 + 0*x**3. Does 3 divide l(a)?
False
Suppose 2 + 1 = -3*i. Let x(g) = 8*g**2 + g. Let r be x(i). Suppose 0 = 4*n - n - a - r, 3*n - 27 = -3*a. Is n even?
True
Let g(s) = 2*s - 2. Let j(h) = -h + 3. Let v(l) = 2*l - 6. Let d(k) = 7*j(k) + 3*v(k). Let u be d(-5). Is g(u) a multiple of 13?
False
Let s(g) be the first derivative of -g**3/3 + g**2/2 + 7*g + 2. Suppose 4*n = n. Is s(n) a multiple of 5?
False
Suppose p - 6 = -5*x + 3, 2*p = 2*x + 30. Does 14 divide p?
True
Let r = 49 - 19. Is r a multiple of 10?
True
Let n(t) = -3*t - 4. Is 9 a factor of n(-6)?
False
Let v be (68/5)/((-2)/10). Let q = 116 + v. Suppose 0*k = 2*k - q. Does 13 divide k?
False
Let q(j) = 21 + j**3 + 5 - 9. Is q(0) a multiple of 5?
False
Let w = -3 + 28. Is w a multiple of 25?
True
Suppose 2*q - 3*v - 6 = v, -5*v = -4*q + 18. Let b = q - 5. Does 7 divide -28*(0 - 1/b)?
True
Suppose 4*f = 5*f - 84. Is 16 a factor of f?
False
Suppose -1 = 4*q + 3. Let f be 3 + -2 + (-2 - q). Suppose 0 = -f*n + 5*n - 10, x + n - 4 = 0. Does 2 divide x?
True
Let c = -468 + 756. Is 48 a factor of c?
True
Suppose -3*b = -87 - 21. Is b a multiple of 13?
False
Let u(x) = -x**2 + 6*x + 4. Let b be u(3). Let i = -5 + b. Is i a multiple of 4?
True
Let x be 18/(-30)*(-6 - -1). Suppose 2*h - x*h - 3*q + 2 = 0, 10 = 5*h + 2*q. Suppose -j + 18 = h. Does 8 divide j?
True
Suppose -a - a = -66. Is 9 a factor of (-3)/(-18)*2*a?
False
Suppose 4*z + 4*r + 4 = 0, -5*z + 2*r - 4*r + 1 = 0. Let p = z - -7. Does 4 divide p?
True
Let m(a) be the first derivative of a**2/2 + 63*a - 2. Does 18 divide m(0)?
False
Let j(o) = 58*o**2 - 27 + 27. Is 16 a factor of j(1)?
False
Suppose -p + 5 = 0, 5*x - 2*x - 17 = -p. Does 4 divide x?
True
Let h = 65 + -11. Let p = h - -16. Is 18 a factor of p?
False
Let c(f) be the second derivative of 8*f**2 - 1/6*f**3 - 4*f + 0. Is 2 a factor of c(11)?
False
Suppose 2 - 10 = -4*o. Is 7 a factor of 7*(0 + (o - 0))?
True
Suppose d - 42 = -9. Does 11 divide d?
True
Let g be ((-105)/14)/(2/(-4)). Let q(b) = b + 1. Let u be q(0). Suppose -p + u = -g. Does 6 divide p?
False
Suppose 6*o = 9*o - 54. Does 16 divide o?
False
Suppose 0 = -0*o - 4*o + 20. Suppose 3*z - 85 = u, -142 - 5 = -o*z - u. Is z a multiple of 14?
False
Let p = -4 - -30. Let u = -16 + p. Does 9 divide u?
False
Let a = 21 - -19. Suppose 3*f - 17 = a. Does 19 divide f?
True
Let k(m) = -m**3 + 24*m**2 - 48*m - 7. Does 33 divide k(21)?
False
Let y(j) = j**3 - 8*j**2 + 7*j + 8. Let d be (-74)/(-10) - (-4)/(-10). Is y(d) a multiple of 4?
True
Let l = 39 + -22. Is 17 a factor of l?
True
Let y(z) = z**2 - 17*z + 5. Is y(17) even?
False
Let c = -4 + 7. Suppose c*u + 0*u = -2*k + 16, -u + 4*k = 4. Is 2 a factor of u?
True
Suppose -6*w + 4*w = 4*t - 10, 0 = t - w - 4. Let z(x) = 8*x**2 - 7. Does 10 divide z(t)?
False
Let g = -35 - -155. Is 24 a factor of g?
True
Let y = -4 + 1. Let t = y - -5. Suppose 0 = 2*r - 10, -5*d + t*r + 35 = r. Is d a multiple of 8?
True
Let o be 82/(3/(-2) + 1). Is 16 a factor of o/(-9) + (-16)/72?
False
Let h be (-435)/25 + 4/10. Let i = h + 37. Is i a multiple of 6?
False
Let m = -30 + 42. Is m a multiple of 7?
False
Let h(j) = -j + 1. Let t be h(-1). Suppose -t*d - 84 = -4*o, -3*d + 42 = -4*d - o. Let u = -26 - d. Is 8 a factor of u?
True
Let x(g) = g**3 + 8*g**2 - 14*g + 14. Does 7 divide x(-8)?
True
Let y(g) = -2*g + g**2 - 2 + 0*g + g**2. Let c be (-17)/(-5) + (-4)/10. Is y(c) a multiple of 10?
True
Let r = 94 - 63. Is 31 a factor of r?
True
Suppose 0 = v - 3*d + 18, 0*d - 7 = 4*v + d. Let t = 5 + v. Is 2 a factor of t?
True
Suppose -p = -5*f + 35, f + 44 = 4*f + 4*p. Is 4 a factor of f?
True
Let c = 59 + -31. Does 4 divide c?
True
Let y be (-2 + (-13)/(-2))*6. Let o = 26 + y. Does 14 divide o?
False
Let t(r) = r**2 + r - 1. Let l(j) = j + 2. Let b be l(-3). Let q(o) = o**2 + 6*o. Let v(u) = b*q(u) + 2*t(u). Does 4 divide v(6)?
False
Suppose -17 - 1 = 2*m. Is 2*3*(-12)/m a multiple of 4?
True
Let l(j) = 27*j**3 + 2*j**2 - 4*j - 3. Let f be l(-3). Does 7 divide ((-1)/3)/(9/f)?
False
Let i = 69 - 35. Is 17 a factor of i?
True
Let m(g) = 21*g**2 - 2*g. Let q be m(-3). Suppose -4*j + 