**2 - 4*y - 5. Let q be c(5). Which is bigger: q or -1/4?
q
Let q = -147764/11 + 13444. Which is greater: 11 or q?
11
Let j(f) = f**3 + 2*f**2 + 4*f**2 - 3*f - 4*f**2 + 2. Let c be j(-3). Suppose s - c + 3 = 0. Is -1 equal to s?
True
Let w = 12 - 10. Suppose -3*v = w*v. Is v at least as big as 0?
True
Suppose -4*q = -b + 7, -2*b - 3*q = -b - 7. Let k be b + -5 + 1 + -3. Is k > -4/9?
True
Let z = -1 - -6. Suppose -z*f - 4*n = 11, 2*f - n = n + 10. Are f and -1/11 equal?
False
Let f(g) = -g**2 + 4*g + 5. Let i be f(5). Let s be 7/(-28) + (-9)/(-4). Is i < s?
True
Let c be 176/714 - 4/14. Let j be 3/3 - (-1 + 2)/1. Do c and j have the same value?
False
Let n be 1014/(-4)*(-5)/30. Let t = n + -42. Is t <= 4?
True
Let p = 14 - 15. Is -1/11 smaller than p?
False
Let x = -3.1 - -3. Is x < -0.07?
True
Let x = 6435/14 + -835/2. Let j = x - 42. Is j equal to -1?
False
Let z = 18 + -23. Let q(x) = -x - 5. Let o be q(z). Is o != 4/7?
True
Let y be 1*(-3 + 14/4). Which is greater: -0.07 or y?
y
Let j = 139/93 - 36/31. Let k = -2 + 1.8. Is j not equal to k?
True
Suppose 3*q - q = -2. Suppose -4 = -5*g + 6. Let h be (-2)/(-56) - g/7. Is h <= q?
False
Let g(r) = r**3 - 7*r**2 + 7*r - 4. Let w be g(6). Let y = 7 - w. Let x = 20 + -16. Is x > y?
False
Let a = 108 + -297. Let l = a - -192.08. Let u = -0.08 + l. Which is smaller: 1 or u?
1
Let m be 2/(-10) + (-24)/(-120). Let g(o) = -o**3 - 2*o**2 + 2*o - 2. Let l be g(-3). Let q be (-7)/(-12) + l/(-4). Is q less than or equal to m?
False
Let p(g) = g**3 - 5*g**2 + 8*g + 3. Let r be p(3). Is 10 less than or equal to r?
False
Let n = 235/2 + -122. Is n at most as big as -5?
False
Let w(r) = 4*r**2 + 2*r - 5. Let n(t) = -9*t**2 - 5*t + 11. Let m(c) = -3*n(c) - 7*w(c). Let k be m(2). Is -1 <= k?
True
Suppose 4*h = 5*c + 14, 0 = -2*c - 0*c - h - 3. Let r = 0.5 - 1. Let o = r + 0.6. Which is smaller: o or c?
c
Let v be (-7)/21 - 8/(-6). Let w = -5.4 + 5. Which is smaller: v or w?
w
Let r(l) = -4*l + 10. Let i be r(3). Is i <= -10/3?
False
Let b = -14647346/11 - -1329995. Let l = -1583 - b. Is 0 >= l?
True
Let r = -272 - -6529/24. Is r greater than 0?
True
Let i = 0.3 + -0.28. Let j = i - -1.98. Let h = -0.7 + 0.9. Is j not equal to h?
True
Let z(g) = 5*g**2 - g + 1. Let t be z(1). Suppose 3*u + 17 = -t*c, -c + 0 = -2*u - 7. Is c <= -1?
True
Let y(m) = m - 6. Let l be y(6). Suppose l = 3*k - 5*k. Which is smaller: -7 or k?
-7
Suppose -2*z = 2*s, -s - 9 = z - 3*z. Which is smaller: z or 0?
0
Let n = 49 - 23. Suppose -4*q = 4*t - 40, t + 2*q + 11 = n. Which is smaller: 4 or t?
4
Let j = 1974/13 + -152. Do -1 and j have the same value?
False
Let f be (-2)/1 + -1*4. Let u = -12 - f. Is -2 at least u?
True
Suppose -4*x = 3*u + 15, -4*x - 4*u - 3 = 17. Let v be 2 - (2 + -6)/2. Let o = 6 - v. Which is greater: o or x?
o
Let p be (0/1)/(4/(-2)). Let t be 2*(2 + -4)/(-1). Suppose 4*x = -4 - t. Which is smaller: x or p?
x
Let p = -4 + 1. Let w = -3 - p. Which is smaller: w or 4/5?
w
Let s = 779 - 50633/65. Which is greater: 0 or s?
s
Let z = -3.8 - -0.8. Let h = -5 - z. Are -2 and h unequal?
False
Suppose 0*j = -5*j + 15. Which is smaller: j or -2?
-2
Let r = -1 - 0. Let s = r - -1. Let z be (1 + -1 + 1)/1. Which is greater: s or z?
z
Let n be 10/(-10) - (-3 + 0). Suppose 3*f = -f. Is f <= n?
True
Let k(m) = -m**2 - 8*m - 5. Let g(c) = -c**2 + 4*c - 2. Let w be g(5). Let d be k(w). Are d and 2/3 nonequal?
True
Let h(c) = c**2 + c - 4. Let k be h(2). Suppose -3*g + 1 = -k. Which is greater: g or 4/11?
g
Suppose -x + 5*x - 4*g + 32 = 0, -5*g + 8 = 3*x. Let m be (1/5)/(x/5). Let o be ((1 + -5)/2)/2. Is m <= o?
False
Let n = 18 - 13. Suppose 6*c + 29 = 3*w + 2*c, -n*c - 40 = -5*w. Which is bigger: 0 or w?
w
Let w = -0.99 - 0.31. Let q = w - -0.3. Let t = 1.2 + q. Which is bigger: t or -1/4?
t
Let f be 11/(-22) - (-2)/(-4). Are 3/17 and f unequal?
True
Let w = 0.14 - 7.14. Let d = 7.3 + w. Which is bigger: d or -1?
d
Let l(b) = b**2 + 9*b + 16. Let p be l(-7). Which is greater: p or 4/3?
p
Let q be 0 - 2/(-4)*4. Let l be (-6)/(-21) - 152/(-56). Is q equal to l?
False
Let j = 10 - 13. Let w = -4 - j. Is w at most -1?
True
Suppose -4*n - 41 = -13. Let q = 106 - 105. Which is greater: q or n?
q
Let z = 8 - 21. Let f = 12.9 + z. Is f less than or equal to -1/4?
False
Suppose -5*p + 2*l + 24 + 2 = 0, -2*p = -3*l - 6. Are p and 0.1 unequal?
True
Let r = 0.79 + 0.11. Is -1 smaller than r?
True
Suppose 0 = -4*d - 4 - 0. Let a = 81 - 569/7. Is a at most d?
False
Let w = 1 + 0. Let v = -671/16 + 42. Which is bigger: v or w?
w
Suppose 4*a = -0*a + 20. Let n = a - 6. Which is smaller: 2/13 or n?
n
Let j = -3 + 0. Let c = j + 3.3. Which is greater: 0.1 or c?
c
Let d be (-2)/(-12)*(379 + -3). Let g = d - 61. Let l = 4 + -1. Does g = l?
False
Let d be 780/(-50) - (-6)/(-15). Which is smaller: -15 or d?
d
Suppose -4*t + 1 = 5*n + 4, t + 9 = -4*n. Let d(s) be the third derivative of s**4/24 + s**3/3 + 2*s**2. Let z be d(n). Which is smaller: z or 2/5?
z
Let y = -0.25 + 3.25. Let m = -0.8 + 1. Is m >= y?
False
Suppose -5*x = -a, -x + a = 3*x. Suppose -5*u + 2 + 3 = 0. Which is greater: x or u?
u
Let p = 2 - 4. Let y = -1 - p. Let a = -1/12 - 1/6. Does a = y?
False
Let r = -3 + 5. Is r greater than -2/21?
True
Suppose -15*m = -19*m + 16. Let y = 2/41 - 88/123. Which is smaller: m or y?
y
Suppose -2*r - 1602 = 21226. Let u = r - -79137/7. Let q = -109 - u. Is 9 not equal to q?
True
Let s(j) = j**2 - 9*j + 2. Let a be s(9). Let w = a - -2. Is 5 greater than or equal to w?
True
Let b(p) be the second derivative of p**5/20 + p**4/12 - p**3/2 - 3*p**2/2 + 2*p. Let z be b(-2). Let m = -74 - -372/5. Is z > m?
False
Let f = -0.5 + 0.56. Let m = -0.94 - f. Are m and 8/3 non-equal?
True
Let z = 16 + -22. Let y be 27/z*(-1)/(-12). Are -1 and y unequal?
True
Let f = -1069/2 + 523. Let v = 12 + f. Suppose 4*g = 3*t + 6, 0*t - 5*t - 10 = 0. Is v > g?
True
Let p(o) = -2*o**3 - 4*o**2 - 4*o - 2. Let j be p(-2). Is 1 at most as big as j?
True
Suppose 5 = 2*a + 1. Suppose -5*u = 20, -5*v + 0*v - a*u = -22. Which is smaller: v or 7?
v
Let t(b) = 11*b - 54. Let l be t(5). Is 1/5 greater than or equal to l?
False
Let t be ((1 - 1) + 0)*1. Let m be 3 - (-1 + (-228)/(-8)). Let h = 25 + m. Is h greater than t?
True
Let m = -9.13 - 0.87. Which is bigger: m or 1/3?
1/3
Let m = 2 - 0. Suppose -37 = -5*k + 3*r - 7*r, -2*k + 4 = -m*r. Is 5 equal to k?
True
Let l = 131/4 + -929/28. Let o(t) = -t**2 - 6*t - 5. Let g be o(-5). Let f be -1 - ((g - 0) + 0). Which is smaller: f or l?
f
Let x = -38 - -36. Which is bigger: x or -13/4?
x
Let x = 9 - 14. Let j be x + 8 + -5 + 1. Which is greater: j or -1/10?
-1/10
Let a be 6/(-16)*(-2)/(-3). Let h = -4.99 + -0.01. Is a > h?
True
Suppose -7*d = -d - 12. Is 0.7 at least d?
False
Let p(a) = -a**3 - 6*a**2 - 6*a - 3. Let l be p(-5). Let z(w) = w**2 + 5*w - 4. Let s be z(-5). Let j be l/s*0/2. Which is bigger: 1/6 or j?
1/6
Let j = -10 - -25. Let q = j - 14. Is 2/15 equal to q?
False
Let d = -3.37 + 3.2. Let w = 0.36 + d. Let i = w + -0.09. Is 1 bigger than i?
True
Let k = -3 - -3. Which is bigger: -9 or k?
k
Let p be (-2)/2 - (-28)/4. Is 5 at least as big as p?
False
Suppose 4*h + 4*m = 56, h - 5*m - 13 = -5. Is h less than 1?
False
Suppose k - 7 = 17. Is k less than or equal to 0.3?
False
Suppose -6*r + 10*r = -24. Is -6 >= r?
True
Let c = -656854 + 579345103/882. Let r = 3/98 + c. Is r > 1?
False
Let r = 43/204 - -2/51. Are r and 121 unequal?
True
Let b be 1/(4/36) - -3. Is b at least as big as 13?
False
Let i = -13 - -13. Suppose i = -5*a - 15, 9*h = 4*h - 3*a - 4. Which is smaller: -1 or h?
-1
Let p(z) = -2*z**2 + 2. Let f be p(2). Let l be (-4)/f*(-21)/(-70). Which is greater: l or -1?
l
Let v = 9 + -9. Suppose -3*b + 3*h = v, b + h = 4*b - 10. Is b < 5?
False
Suppose 4*j + 5*f + 2 = -38, 3*j - 2*f = -7. Let r be (10 + 0)*1/(-2). Is r less than j?
False
Let h = -8.1 - -10.1. Which is greater: 0.21 or h?
h
Let u = 20 - 22. Which is greater: 0.7 or u?
0.7
Let i = -0.1 + 0.2. Let m = -1.9 - -1.91. Let v = m + -0.11. Which is greater: v or i?
i
Let p = -3 - -3.2. Suppose 2*c = w - 3, -c - c = -5*w + 15. Which is smaller: p or c?
c
Suppose 2*b = 8, -b = -6*s + 4*s. Suppose h = 5*c - 17, -3*h + s = -2*c + 1. Is c < 1?
False
Let u(w) = 26*w*