s) = -s + 2. Let a be q(1). Which is smaller: a or c?
c
Suppose 0 = -4*g - 4*w + 6 + 26, 35 = 4*g + w. Suppose -6*j - 9 = g. Let a be (-6)/(-12) - (-5)/(-18). Is j greater than or equal to a?
False
Let j(d) = -d - 10. Let w be j(-4). Let s = 2 - 8. Is w smaller than s?
False
Let l(p) = 2*p - p + 3 - 2*p. Let q be l(5). Suppose -2*a = a. Which is smaller: q or a?
q
Suppose -6*q = -11*q + 120. Suppose -3*x + 2*p = -17, 0 = 5*x - 3*p + 4*p - q. Let m = -3 + 8. Is x <= m?
True
Let q = 191 + -99. Let p = q - 99. Which is bigger: p or -0.5?
-0.5
Suppose -3*x + 3*t = 198, 4*t = t. Is -0.3 greater than x?
True
Let y = 28 - 32. Let u = -2.7 - -2.8. Is y greater than u?
False
Let q = 354 + -354.059. Which is smaller: 3 or q?
q
Let l = -6374 - -3499328/549. Which is smaller: l or -0.6?
-0.6
Let k = -8 + 3. Let i(w) be the third derivative of -w**6/120 - w**5/10 - 5*w**4/24 + w**3/6 + 2*w**2. Let u be i(k). Is 3 greater than u?
True
Let o(z) = -2*z + 2. Let f be o(7). Let u be (-2216)/(-15) - f/(-36). Let l = u - 145. Do l and 3 have different values?
True
Let u be 462/(-11) + -3 + -3. Is -45 at least as big as u?
True
Let q be 21*(3 + 15/(-9)). Let h = -4 - 2. Let v be 10/20 + h/q. Which is smaller: v or -7?
-7
Let n be 3/(-27) - (-3133)/9243. Which is greater: n or -1?
n
Suppose -7461 + 646 = -47*w. Is w > 146?
False
Suppose -g + 0 = -2. Let r(s) = -s**3 - 13*s**2 - 22*s + 25. Let q be r(-11). Suppose g*v + q = 4*c + 3, c = 4*v + 9. Which is greater: v or -2/11?
-2/11
Suppose -1 = -2*v - 3*c, -6*v + 5*c + 35 = -2*v. Suppose -3*d - d = j + 7, -v*j = -3*d - 34. Suppose 4*a = j*a. Which is greater: 6/5 or a?
6/5
Let z be (2256/216)/((-3)/(-27)). Which is smaller: 668/7 or z?
z
Suppose -3*y - y = -40. Let k be 3/(-21) + (-5)/y. Do k and -1 have the same value?
False
Let n = -104 + 104. Are 2/163 and n equal?
False
Let k = 1656 + -1136. Do 521 and k have different values?
True
Let a be (-2 - 8 - -46)/(3/2). Suppose 0 = -5*n + 74 + 51. Which is bigger: a or n?
n
Let q = 50843 + -50846. Let k(z) = z**3 - 5*z**2 - 8*z + 8. Let b be k(6). Let y = 3 + b. Which is smaller: y or q?
q
Let o(l) = 2*l**2 - 8. Let v be o(2). Is 2/223 at most as big as v?
False
Let l(c) = c - 6. Let p be l(3). Let y = -14.2 - -15. Let s = y + -0.9. Which is smaller: p or s?
p
Let c = -15 + 13. Let x(z) = z**2 + 1. Let r be x(c). Let m be (3 - 2) + -2 + 1. Is r greater than m?
True
Let c = 19 + -27. Let v be c/5*(13 - 28). Let n be ((-8)/v)/(1/(-18)). Is n at most 6?
True
Suppose 3*w + 5*v = 7*w + 24, -3*w = 3*v + 18. Let n(c) = -2*c**2 - 6*c + 11. Let h be n(w). Which is bigger: -24 or h?
-24
Suppose -3*t + 4*c + 30 = -5*t, 0 = -t + 5*c - 22. Which is greater: t or -124/7?
t
Let n = 16 - 7. Let o = 8 - n. Is o > -1?
False
Suppose -12*s = -136 + 592. Is -17 equal to s?
False
Suppose 10*a - 8*a + 48 = 0. Suppose 0 = 5*c + 2*h - 75, -c - h = -5*h - 15. Let k be (-3)/c + 342/(-15). Which is greater: k or a?
k
Let l = -383 - -231. Is -152 at least as big as l?
True
Let x be 81/18*(-10)/(-1335). Are x and -1 non-equal?
True
Suppose -x + 4 = c, 0 = 2*x + c - 0 - 4. Let u be 1/7 + 1/(-7). Is u bigger than x?
False
Let t = -286 + 563. Let y = t + -185. Is 91 at most as big as y?
True
Let u be (-40)/(-10) - (-14)/(-2). Let a be 3 - ((-84)/(-15) + u). Which is greater: a or 1?
1
Suppose 4*d - 9 = 19. Let l(j) = -j + 3. Let o = -5 + 2. Let m be l(o). Is m != d?
True
Let i = 0.18 + -0.08. Let o(x) = 9 - x - 14 + 9. Let l be o(2). Which is greater: l or i?
l
Let t = 8659 + -277089/32. Let q = 2 - 1. Which is bigger: t or q?
q
Let i be 5 + 9*(-356)/(-12). Which is smaller: 271 or i?
271
Let d be 2/(-9)*-12 + (-70)/105. Suppose -3*j + 8 = -1. Suppose -5 = -j*s - d*b, -b = -s + 5*s. Is -12 > s?
False
Let n = -41.933 - -2.053. Let q = 40 + n. Which is smaller: -1 or q?
-1
Let f = 9 + -3. Let u be (-3*(-4)/54)/(21/189). Is u <= f?
True
Let l = 16 - 14. Suppose -4 = l*h + a, 5*h - 2*a + 10 = -3*a. Which is bigger: h or -1?
-1
Suppose -485 = 5*u + 2*j - 7, -3*j - 294 = 3*u. Let k = -94 - u. Which is smaller: 2/49 or k?
k
Let y = -858 - -857. Do -2/769 and y have different values?
True
Let f(a) = a**2 - 13*a - 3. Let t be f(13). Let y be -1*(-3)/258*(t - 3). Which is smaller: 0 or y?
y
Let s = 22 - 12. Let q = s - 11. Is -1 smaller than q?
False
Let k = -80 - -406/5. Suppose 3*c + t - 2 = 15, 25 = 5*t. Let b be c/(-12) - (-14)/6. Which is smaller: k or b?
k
Let a be (252/(-105))/((-12)/165). Is 15 smaller than a?
True
Let m be (3 - (3 + -2)) + 10 + 13. Is 25 at most as big as m?
True
Let x = -22.84 - -1.84. Which is bigger: -4 or x?
-4
Let c(t) = 1556*t**3 - 3*t**2 + 2 - 1555*t**3 - 9 + 5*t. Let n be c(2). Which is greater: n or -1/6?
-1/6
Let n be -1*((1 - 0) + -1). Suppose 34 = 8*x - 14. Let r be ((-4)/(-3))/(52/x). Which is greater: r or n?
r
Let x(h) = h + 22. Let b be x(-22). Which is smaller: 2/163 or b?
b
Let m(n) = n**2 + 12*n + 5. Let y be m(-11). Suppose j - 11 = -3*j - 3*r, 0 = 4*r - 4. Suppose 5*h = -w - j - 29, 0 = h - 5*w + 1. Does y = h?
True
Let l = 3.7 + -0.7. Let j be 11/(-55)*(-2)/(-2). Which is greater: l or j?
l
Let c = -3.87 + -0.13. Let j = c - 5. Which is greater: j or -1/2?
-1/2
Suppose 0*z + z + 6 = 0. Let l be (z/4)/(1/(-2)). Let a be 0/1*l/(-6). Is a less than 0?
False
Let i(u) = -5*u. Let v be i(1). Let n = 412 + -418. Which is greater: v or n?
v
Let z = -2 - -1.9. Let t = -14.4 - -13.89. Let p = t + 0.31. Which is smaller: z or p?
p
Let f = 0.97 - 1. Let v = 0.03 + f. Let b = -1181 - -1180. Which is smaller: b or v?
b
Let w be (-11 - (1 - -1))/1. Let f = 28 + -46. Let c = f - w. Is -4 less than c?
False
Let q be 4/(-18) - -1*2/9. Let z be 1*((-4)/46)/2. Which is greater: z or q?
q
Suppose -5*w + 18 + 35 = 3*c, 0 = w + 5*c - 15. Let r = 11 + -2. Is r less than w?
True
Suppose 2714 = 56*v + 5458. Let z(a) = -5*a**2 + 3*a + 4. Let u be z(-3). Is v greater than u?
True
Suppose -4*g = y - 3*y - 2, 0 = -3*y - 2*g - 19. Let j be 3 + ((-2)/y - (-2002)/(-55)). Which is smaller: j or -32?
j
Let p = 166 - 333/2. Is -4/63 at least p?
True
Let d(t) = -238*t - 320. Let m be d(-6). Which is smaller: m or 1109?
m
Let d = -23 + 8. Is d > -24?
True
Let l = -4252/39 - -109. Let s(k) = k**3 + 10*k**2 - 11*k + 1. Let g be s(-11). Is g greater than l?
True
Suppose 142 = -37*x - 561. Which is greater: x or -8?
-8
Suppose 27*z = 28*z - 211. Let c = 170 - z. Which is smaller: c or -42?
-42
Let x(s) = -s**2 + 7*s + 18. Let w(u) = 18*u**2 + 2*u - 2. Let y be w(1). Let b be (96/y)/(6/9). Let z be x(b). Is z less than or equal to 11?
True
Let f = 84 - 80. Let n = f + -16. Which is smaller: 0.1 or n?
n
Let z(s) = -6*s + 78. Let d be z(13). Which is smaller: d or 59?
d
Let a = 343821/151 + -2277. Is 1 > a?
True
Let s be ((-4)/(-6))/((-1)/(-6)). Let j be 1/5*(s - 38). Which is smaller: -8 or j?
-8
Let i(o) = -31*o - 6. Let j(r) = 94*r + 17. Let c(x) = -7*i(x) - 2*j(x). Let p be c(-1). Which is greater: p or -18?
-18
Let y(d) = 3*d**3 - 15*d**2 - 6. Let s be y(5). Let f = -1 - -2. Let v be (f + -1)/3 + -6. Is v at most as big as s?
True
Suppose 2*r - 40 = -3*i, -3*i + 2*i = -5*r + 15. Suppose i*u = 11*u + 2. Which is bigger: u or -3/4?
-3/4
Let n be ((-3)/28)/(3/2). Let r(i) = 9*i**2 - 133*i - 29. Let h be r(15). Is n at least as big as h?
False
Let n = -2 - -2. Let z = -0.3 - -0.44. Let m = 0.04 - z. Which is bigger: m or n?
n
Suppose 4*w = -3*u - 98 - 78, -4*u + 44 = -w. Is w <= -46?
False
Let i = -2.5 + 3.92. Let s = 1.42 - i. Which is smaller: -7 or s?
-7
Let g(c) = 8*c**2. Let b be g(-2). Let l(u) = -24*u - 737. Let o be l(-32). Are o and b equal?
False
Suppose -4 = -5*y + 36. Let j be (4/16)/(1/y). Suppose 4*d = j*d + c, 2 = -c. Which is smaller: 4 or d?
d
Let z = 17 + -13. Suppose 0*c = -c + z*m, -15 = 5*c - 5*m. Suppose -3*l = n - 7, -n + 3 = -l + 8. Is n greater than c?
True
Let s = 0.59 - 0.16. Let w = -0.23 - -0.4. Let j = w + s. Which is smaller: j or 0.2?
0.2
Let b(y) = 6*y - 18. Let i = 10 + -6. Let g be b(i). Which is bigger: -1 or g?
g
Let j be (-11562)/(-328)*8/(-3). Which is bigger: j or -85?
-85
Let g = -0.226 + 1.216. Let i = -0.89 + g. Which is bigger: i or -0.69?
i
Let o(z) = -z - 9. Let d be o(-5). Let v be (-6)/28 + d/14. Let b = 1.24 + -0.24. Which is greater: b or v?
b
Suppose -i 