 + 31. Is g a multiple of 7?
False
Let l(g) = -g**2 + 5*g + 5. Let w be l(8). Let h = w + 35. Is 10 a factor of h?
False
Let l(c) = c**2 + 4*c + 6. Let z be -1*0*(-1)/(-3). Suppose -4 + z = d. Is l(d) a multiple of 5?
False
Let y = 68 - -10. Let t be 6/4*(-20)/(-6). Suppose -2*i - y = -t*i. Does 13 divide i?
True
Suppose -19*b + 92 = -15*b. Is b a multiple of 5?
False
Suppose 3*z + 3*q = -3, -z - 6*q = -q + 13. Suppose 2*y + 2*b - 4 = -z*b, 4*b - 34 = -5*y. Does 2 divide y?
True
Let y be (-2)/11 + 840/22. Let g = 4 + y. Does 13 divide g?
False
Suppose 4*y - 12 = -0. Suppose -y*k + 50 = -k. Is k a multiple of 16?
False
Let p(t) = 11*t - 7. Is p(5) a multiple of 22?
False
Suppose -165 = -3*g + 3*f - 0*f, -218 = -4*g + 3*f. Does 18 divide g?
False
Suppose 3*d = 5*q - 14, -q + 2 = 4*d - 10. Suppose r - 4*n - 38 = -d*n, r = n + 34. Does 10 divide r?
True
Let t = 20 + -16. Is 4 a factor of t?
True
Let t be 0 + (0 - (-7 - -2)). Suppose -t*h = -0*h - 25. Is 9 a factor of (3 - (1 + -1))*h?
False
Let m be -8*(-1)/(-4)*-2. Does 8 divide (-3)/m + (-335)/(-20)?
True
Suppose -4*z + p = -p + 138, 2*p = -3*z - 93. Suppose 8*a - 4 = 6*a. Is 12 a factor of z/(1*(-3)/a)?
False
Let g(s) be the second derivative of s**4/4 - s**3/2 + s**2 + 2*s. Does 18 divide g(-3)?
False
Let q(a) be the second derivative of a**3/2 - a**2/2 - 3*a. Let m be q(8). Suppose -5*j + 12 = -m. Is 4 a factor of j?
False
Let a be (-1 - 5) + 2/1. Let h = a + 6. Suppose -28 = -2*n - 4*r, 4*n - r = h*r + 34. Is n a multiple of 5?
True
Let f(x) = x - 2. Let r be f(2). Suppose r*h = h - 13. Suppose -3*a = -t - 17, -h = -a - a - t. Is a a multiple of 3?
True
Suppose -12*p = -10*p - 30. Is p a multiple of 6?
False
Let b(t) = 11*t**3 - t**2 - t + 1. Let z be b(1). Suppose -a = -3*a + z. Suppose -a*u + 209 = 74. Does 14 divide u?
False
Let s(v) = 12*v + 9. Let g(j) = 11*j + 8. Let t(d) = 6*g(d) - 5*s(d). Does 9 divide t(4)?
True
Suppose -138 = -3*x - 54. Is x a multiple of 11?
False
Let g(j) = -j - 1. Let z(x) = -x**2 - 6*x + 70. Let i(t) = -5*g(t) + z(t). Is i(0) a multiple of 11?
False
Suppose -2*f = 2*y - 94, -3*f - 176 = -6*f + 4*y. Is 13 a factor of f?
True
Suppose -6 = -5*v + 9. Suppose v*o + 3 + 3 = 0. Is 6 a factor of (-24)/(-4)*(5 + o)?
True
Suppose -5*y - 5 = -0. Let p(n) = n**3 + 3*n + 3. Let m(v) = -3*v**3 - 7*v - 7. Let r(u) = 3*m(u) + 7*p(u). Is r(y) even?
True
Let c(n) = n**2 + 2*n - 11. Let j(s) = 4*s**2 + 9*s - 45. Let a(l) = 9*c(l) - 2*j(l). Does 10 divide a(-7)?
True
Let t(w) = -w**2 + 7*w - 6. Let c be t(7). Let a be 118/(-10) + 2/(-10). Let n = c - a. Is n a multiple of 4?
False
Let s(q) = q - 10. Let y be s(8). Let j be -2*(10/(-4) - y). Does 14 divide 26 + (2 - 5)/j?
False
Let v = 116 - 192. Let o = -46 - v. Is 18 a factor of o?
False
Let l = 5 + -5. Suppose -n = -l*n, 2*n - 180 = -4*o. Suppose -45 = -5*m + o. Is m a multiple of 9?
True
Suppose -3*o = y + 4 + 2, -4*y - 10 = 5*o. Suppose y = -4*m + 24 - 0. Is m a multiple of 5?
False
Suppose 13*a = 5*a + 2248. Does 26 divide a?
False
Suppose 92 = r - 0*r - 3*c, -2*c = -r + 89. Let q = r + -45. Is q a multiple of 14?
False
Suppose 2*u - 5*k - 31 = 0, 0 = 3*u + 4*k - 3 - 9. Is u a multiple of 2?
True
Suppose 68 = 3*k - o - 144, -2*k - 3*o + 134 = 0. Let g be k/4 + 1/(-2). Suppose -4*f + g = 1. Is f a multiple of 4?
True
Suppose -3*r + 16 = -77. Is 8 a factor of r?
False
Let f(h) = -h**3 - 9*h**2 - 12*h - 17. Is 10 a factor of f(-8)?
False
Suppose 3*y - y - 4 = 0. Suppose 0 = -t + 4*u - u - y, -2*u = -8. Is (105/t)/((-6)/(-8)) a multiple of 8?
False
Suppose -x + 18 + 6 = 0. Is 6 a factor of (-7)/((-14)/x)*1?
True
Let w(u) = u + 8. Let z be w(-6). Let x = z + 12. Is x a multiple of 7?
True
Suppose -a - 3*r - 4 = 8, 2*a - r - 11 = 0. Suppose a*o = -16 + 94. Is 11 a factor of o?
False
Suppose 5*u - 10 = -0*u + 4*f, -5*f - 6 = -3*u. Suppose u = i - 11. Does 13 divide i?
True
Let o(q) = 101*q - 2. Let y be o(3). Suppose -4*c - 49 + y = 0. Is 31 a factor of c?
False
Let i(u) = -u**3 + 2*u. Let w be i(-3). Does 3 divide (14/w)/((-2)/(-27))?
True
Suppose -46 = -6*y + 14. Does 5 divide y?
True
Let y = -15 - -67. Let b be 2/3 - (-8)/(-12). Suppose r + b*r - y = 0. Is r a multiple of 20?
False
Is 7 a factor of 0/(2*(-2 + 1)) + 39?
False
Let i be (1/3)/(1/6). Suppose 4*y - 742 + 74 = -3*x, i*y = -2. Does 14 divide 2/(-5) + x/10?
False
Suppose -3*v - 2*f + 37 = -21, -5*v + 118 = -2*f. Does 9 divide v?
False
Is 43 + -1 + (-3 - -7) a multiple of 23?
True
Let b be (-1)/((-1)/4) + 2. Suppose -4*r - b = -5*r. Let h(j) = 2*j - 5. Is h(r) a multiple of 4?
False
Suppose -18 = -5*u + 127. Is 6 a factor of u?
False
Suppose -3*k = -5*x - 0*k + 532, 5*k = -5*x + 540. Is 40 a factor of x?
False
Let x be 10/(-25) + 92/5. Is x/5 - 4/(-10) even?
True
Let q be (((-9)/3)/(-1))/1. Let m be 0*1/q - -1. Does 7 divide 2 + (-2)/m - -14?
True
Suppose -m - 47 = 2*o, 37 = -5*m + 3*o - 172. Let b = 60 + m. Is 7 a factor of b?
False
Let f = -1 + 0. Let n = 3 + f. Does 13 divide n/(-12) + 235/6?
True
Let x be (-1)/(-6) - 10/(-12). Is 13 a factor of (2 - 0) + 23 + x?
True
Let o = -23 - -23. Suppose o*d - 12 = -d. Does 6 divide d?
True
Let p(w) be the second derivative of -w**3/3 + 3*w**2/2 + 2*w. Let f be p(3). Is 11 a factor of 10*-3*2/f?
False
Let j(f) = f**3 + 3*f**2 - 4*f + 3. Let d be 114/30 - 2/(-10). Suppose -a + 2*a = -d. Does 3 divide j(a)?
True
Let w be 2 + -1 + -3 + 42. Suppose w = -4*y + 148. Is y a multiple of 10?
False
Suppose 4*w = 4, -8*p + 3*p - w = -891. Does 14 divide p?
False
Suppose 3*z = -5*h + 183, -142 + 5 = -3*h + 5*z. Does 13 divide h?
True
Let p be 27*(32/12 + -2). Suppose -r + p = -4. Is 22 a factor of r?
True
Let t(g) = -4 - 2*g**2 + 3*g**2 - 4 + 8*g + 0*g**2. Does 20 divide t(-12)?
True
Suppose -2*p - p + 126 = 0. Let c = -20 + p. Does 22 divide c?
True
Suppose -5*m + 2*l + 5 + 3 = 0, -l = 4*m - 9. Is 4 a factor of -10*((-4)/(-4) - m)?
False
Let a(b) = 2*b**2 - 7*b + 3. Does 11 divide a(6)?
True
Suppose -2*x + 2 + 8 = 0. Is x a multiple of 2?
False
Suppose -16 = -4*o - 0*s - 2*s, s = -5*o + 17. Suppose i = o*u - 129, i = -3*u + 4*i + 123. Is u a multiple of 21?
False
Let g(n) = -n**3 + 3*n**2 - 3*n - 3. Let h be g(3). Let o be (2 + -1)/(6/h). Let f = o - -7. Is f a multiple of 5?
True
Let j be (-2 + 11)*4/(-3). Let l be (j/(-14))/(2/(-14)). Let o = l + 27. Does 6 divide o?
False
Suppose 0 = -7*t + 5*t + 48. Does 6 divide t?
True
Let p(r) = 2*r**2 + 5*r - 5. Let g be p(-6). Let a be (-3)/(-3)*(g + 2). Let j = a + -17. Does 10 divide j?
False
Let y = 5 - 3. Suppose -5*g + 442 = 4*c, -y*g + 97 = -4*c - 91. Suppose g = 3*i - 0*i. Is i a multiple of 23?
False
Does 6 divide (-8)/20 + 112/5?
False
Let o be 1/((-296)/100 + 3). Suppose -4*p = -3*p - 4. Suppose r - 2*s - o = s, -p*s = -3*r + 55. Does 13 divide r?
True
Let i = -13 - -18. Suppose 4*f + 0*q - q = i, -2 = 3*f + 5*q. Is 8 a factor of (-3)/(f*6)*-42?
False
Suppose 0 = 4*a - 2*m - 0*m, -3*m = 5*a - 22. Suppose g + 0*b - 29 = -b, a*g - 43 = b. Does 24 divide g?
True
Let b = 15 - 0. Let a = b + 8. Does 18 divide a?
False
Suppose 0 = -5*q + 10, -5*r + 22 = 2*q - 2. Suppose -3*w = 4*n - 185, 4*n + r*w - 231 = -n. Is 12 a factor of n?
False
Let c(t) = 3*t + 2. Let o be c(-2). Let a = o + 7. Is (-2 - 1)/a*-16 a multiple of 8?
True
Let a(j) be the first derivative of j**6/40 - j**5/15 + j**3/3 + 3*j**2/2 - 2. Let g(y) be the second derivative of a(y). Is g(3) a multiple of 25?
False
Suppose 102 = -5*f + 7*f. Let z = f + -11. Suppose -5*r + z = 5*u, r + 2*u - 14 = -6. Is 5 a factor of r?
False
Suppose 0*a + 17*a - 2635 = 0. Is a a multiple of 31?
True
Let a = 100 + -203. Let b = -62 - a. Does 11 divide b?
False
Let h(j) = 11*j - 66. Does 10 divide h(16)?
True
Let r(g) = -5*g - 7. Let k(a) = 6*a + 7. Let y(o) = -4*k(o) - 5*r(o). Let b be y(-7). Suppose q = -b*q + 17. Does 17 divide q?
True
Let x(f) = 15*f - 3. Let q = -23 + 15. Let w be (-2)/(-6)*(-2 - q). Is 11 a factor of x(w)?
False
Let h be -8*(3/6 + -1). Suppose 40 = h*t + t. Is 4 a factor of t?
True
Suppose -c - 5 = m, 2*m + 4*c + c = -25. Suppose m*w = -w + 7. Is w even?
False
Suppose 2*g = -0*g + 5*r + 30, -5*g + 37 = -3*r. Is g even?
False
Does 10 divide (288/(-15))/((-4)/10)?
False
Suppose -z + 20 = -5*k, -5*z - 7 = -5*k - 67. Suppose -2