 2/3 or j?
2/3
Let q = 2 - 2.1. Let m = -0.01 - 0.39. Let u = m + 0.3. Is u bigger than q?
False
Let f = -194/17 - -2269/102. Is 11 <= f?
False
Let z = 0 - -5. Let g = z + -4.9. Are 0.2 and g non-equal?
True
Let z = 95 + -102. Suppose 72 = -2*j + 5*j. Suppose 5*d + 6 + j = 0. Which is smaller: z or d?
z
Let k = -3 - -4. Which is bigger: k or 2/5?
k
Let h be (-11 + -7)*11/3. Let y be (9/(-12))/((-9)/h). Which is greater: y or -6?
y
Let s(f) = -f**3 + f**2 + 3*f + 3. Let i be s(-2). Let a = i - 4. Suppose -v - a = 4*v. Is 2/21 at least as big as v?
True
Let b = 73 - 74. Which is smaller: b or -14/9?
-14/9
Suppose 1 = 2*n - 3. Suppose 6*t = 5*s + n*t - 5, 2*t - 4 = -4*s. Let j(x) = x**3 - 3*x**2 + x + 1. Let v be j(2). Is s not equal to v?
True
Suppose -10*n - 39 = -7*n. Is n not equal to -11?
True
Let z(i) = -i**2 + 11. Let w be z(3). Let g = -146 - -587/4. Are g and w nonequal?
True
Let d be 2 + (-10)/4*2. Let q be d/2*(-4)/3. Which is greater: 1 or q?
q
Let k be -8*(-6)/216 - 97/(-9). Which is smaller: 0.6 or k?
0.6
Let h be ((-26)/25)/((-24)/2670). Let p = 116 - h. Is -1 >= p?
False
Let w = 1 - -4. Suppose l = 6 - w, -5*b + l - 11 = 0. Let x be (-5 - -2)*(-2)/(-3). Are x and b unequal?
False
Let p = 11 + -13. Let v(h) = -h**3 - 2*h**2 + h + 1. Let a be v(p). Let c = 60 - 782/13. Which is smaller: c or a?
a
Let x be (-1)/(8/(-54)) + 0. Let d = x + -7. Which is smaller: -0.2 or d?
d
Let o = -29.32 - -0.32. Is o bigger than -1?
False
Let j(g) = -g**2 + 3*g + 7. Let w be j(5). Let u be (-7)/(-5) - (-3)/w. Let n = -41 + 41. Which is bigger: u or n?
u
Suppose -4*f + 3*w - 26 = 4*w, -41 = 5*f - 3*w. Let c be (-80)/84 - 2/f. Is -2 >= c?
False
Suppose r + 3*r = 0. Which is greater: 0.13 or r?
0.13
Suppose 0*r + 2*z - 11 = 3*r, -4*r = -2*z + 12. Let j be 1/(26/2) + 0. Which is smaller: r or j?
r
Suppose 5*l - 5*r - 5 = 0, -5*l + r = -3*l. Let b be (-6)/(-4)*(-8)/(-6). Let j be b/(-40)*(-1 + 3). Is j > l?
True
Let a be (3/(-2))/(9/(-24)). Suppose u - 3*p = 3 - 17, -4*u + a*p = 16. Let d = 1465/11 - 133. Is d at least as big as u?
False
Let d(h) = 27*h + 6. Let o be d(7). Suppose -5*v - o = 120. Let a = 191/3 + v. Is -0.2 > a?
False
Let l be 3 - 1 - 32/14. Let y = 3.82 + 0.18. Which is smaller: y or l?
l
Let m = -145/2 - -73. Is 1/2 bigger than m?
False
Let f = 1.3 + -0.1. Let t = f - 1.3. Which is greater: t or 3?
3
Let x = 9 + -17. Let h(p) = p**2 + 8*p + 2. Let g be h(x). Is -1 smaller than g?
True
Let u = 0.2 + -0.2. Let o = -1.8 - -2. Let f = 0 + o. Is f at most u?
False
Suppose -11 = k - 3*m, 2*k + 16 = k + 4*m. Let r be ((-18)/k)/((-30)/12). Which is smaller: r or 1?
1
Let a be (-4)/(-3)*(-24)/8. Let f be (a/10)/(1/5). Which is smaller: f or -3/4?
f
Let v = 4 + -2. Let u be -1*-47*6/(-9). Let k = u - -32. Which is greater: k or v?
v
Let f = 16/3 - 6. Let g be 10/(-66) - 10/55. Is f greater than g?
False
Let g = 123/5 - 25. Suppose -3*k + j - 7 = 4, 3*k + 4*j = 14. Which is bigger: g or k?
g
Let u be ((-18)/12)/((-12)/(-202)). Let n = -25 - u. Which is greater: 0 or n?
n
Let o(s) = -2*s + 9. Let l be o(6). Let w(m) = m**2 - 6*m - 4. Let r be w(6). Is r less than l?
True
Let q(j) = j**2 - 16*j + 16. Let s be q(14). Let v = 37 + -8. Let n be v/66 + 2/s. Is n less than -1?
False
Let c = 25 - 25. Are -2/3 and c non-equal?
True
Let s be 5/(-125)*5/2. Is 0.1 > s?
True
Suppose 5*w - 2 = -5*m - 12, -30 = -5*w + 3*m. Suppose -3*g = 3*p - 12, -11 - 19 = -3*p + w*g. Let i = p + -6. Are 0 and i unequal?
True
Let n = -6 - -18. Let s = 12 - n. Which is bigger: 2 or s?
2
Let m = 14 - 14. Which is bigger: m or 2/37?
2/37
Let d = 0.1 + 3.9. Let o = -38.9 - -39. Which is bigger: o or d?
d
Let l be (-3)/9 + (-74)/(-6). Let d be l/8 + (-15)/6. Is -2 less than d?
True
Let r = -13.3 - -13.29. Is 0 > r?
True
Let f(p) = -p + 7. Let l be f(9). Let m be (8 + l)*(-6)/(-12). Let v = m - 5. Which is greater: -4 or v?
v
Let m be 90/8*1/3*4. Which is greater: m or 16?
16
Suppose -5*y = -39 + 14. Suppose y*w = w. Which is bigger: w or -1/6?
w
Let l be 28/(-49)*2/4. Which is greater: 2 or l?
2
Let y(d) = d**2 - 2*d - 3. Let s be y(3). Let t = 484 - 15006/31. Which is smaller: s or t?
t
Suppose 2*d = -0*d. Which is greater: d or -1/41?
d
Let v = 1.03 - 1.13. Is v at least -0.22?
True
Let u be -16 - (2 + -3 - 1). Let t = u + 14. Let b be (-5)/(-2)*(-1)/(-10). Which is greater: t or b?
b
Let f = -7 + 9. Suppose -5*m - 30 = -5*h, 0*h - 6 = -f*h - 4*m. Which is smaller: h or 4?
4
Let y(i) = i**2 + i. Let v(c) = -3*c**2 - 7*c. Let f(w) = -v(w) - 4*y(w). Let b be f(3). Let h = 113 - 112. Which is smaller: b or h?
b
Let s(v) = -v**2 - 5*v + 7. Let b be s(-6). Let l = -8179/1785 + 124/35. Let n = -12/17 - l. Which is smaller: n or b?
n
Suppose k + 0 = z - 2, 0 = -4*k + 5*z - 10. Which is smaller: 1/4 or k?
k
Let o be -1 - -2 - (1 - 1). Are o and 11/5 non-equal?
True
Suppose -2*g + 4 = -4. Suppose -5*p = -3*u - 3, -4*p = -0*p + 4*u + g. Suppose -4*x - m = 8, 5*m + 0*m - 8 = 4*x. Is x bigger than p?
False
Suppose 2*q + 7*d + 8 = 6*d, 0 = -d - 4. Which is greater: q or 3?
3
Let n(t) = t**3 - 9*t**2 + 9*t - 8. Let f be n(8). Let c(l) = -l**2 + l - 2. Let z be c(f). Which is bigger: -3/4 or z?
-3/4
Suppose 0 = -6*t + 14*t. Which is smaller: t or -1/21?
-1/21
Let k = -3 - -2. Let j be k + (-10)/(-14) - 0. Which is bigger: 0.2 or j?
0.2
Suppose c - 4 = -1. Suppose 5*r = -2*x + c, 2*r - 4 = -2*r - 2*x. Which is greater: r or 0?
0
Suppose 2*r - 1 = 3*r. Let k be ((-1)/(-2))/(3/18). Let p be ((-2)/k)/((-2)/(-9)). Which is smaller: p or r?
p
Let l(c) = -3*c - 7. Let y be l(-5). Let a be (30/(-140))/(6/y). Which is bigger: 1 or a?
1
Suppose -13 = -3*h + 3*d + 17, -2*h = -4*d - 18. Are h and 10 equal?
False
Let u be (-4)/(1 + 0 - 3). Let g(n) = -2*n**3 + n**3 - 4*n**u + 0*n**2 + n**2 + 4 + 5*n. Let y be g(-4). Which is smaller: 1/3 or y?
y
Suppose 0 = -3*d + 14 - 23. Suppose 5*j + 4*a = -0*j - 30, j - a - 3 = 0. Let v = j - 0. Which is smaller: d or v?
d
Let s be 15/(-12)*(-6)/10. Is s bigger than 0?
True
Let d(r) = 5*r**2 - 4*r**2 + 2 - 4*r + 4*r**2 - r**3. Let f be d(4). Let w be 20/(-35)*f/4. Which is smaller: 1 or w?
w
Let t = 17 - 16.4. Let h = 1.97 + 0.03. Are t and h equal?
False
Let r(c) = 4*c**2 - 10*c - 1. Let a(d) = d**2 - d + 1. Let p(x) = 5*a(x) - r(x). Let z be p(-4). Is 2 greater than z?
False
Suppose b - 4*b + 18 = 0. Let c be 3/b - (-1)/(-2). Let j(n) = -n - 1. Let x be j(-1). Is x greater than or equal to c?
True
Let d = -7 - -16. Let n = d + -10. Which is bigger: 2/15 or n?
2/15
Let v = 26 - 26. Let b(s) = -5*s**2 - 2*s - 1. Let n be b(-1). Is n greater than v?
False
Let d = -1 + 1. Which is greater: 8 or d?
8
Suppose 3*c - 12 = -0*c. Suppose 6*z - c*z = 2*f + 42, 2*z + 3*f - 62 = 0. Suppose 0*s - 5*s = u - z, -2*s = -4*u + 12. Which is greater: 4 or u?
u
Let s = -15.99 - -23.8. Let o = 0.19 + s. Let a = 6 - o. Which is smaller: 0 or a?
a
Let u be ((-1309)/(-550))/((-15)/2). Let o be (2/(-100))/(10/(-8)). Let m = u - o. Which is bigger: -2 or m?
m
Let p(v) = v**3 + 8*v**2 - 1. Let b be p(-8). Is b bigger than -1/21?
False
Let j = -1/10625 - 93493/74375. Let r = 7/5 + j. Suppose -u = -4*u. Is u at least r?
False
Let r be (-6)/9 + 124/6. Suppose -3*k + 5*s = -0*k + r, -3*k + 3*s = 24. Let q(c) = -34*c + 159. Let m be q(5). Is k bigger than m?
True
Suppose -6*a + 3*p = -3*a - 6, 0 = a + 5*p - 8. Suppose -16 = -a*i - 4. Suppose i*v = 2*v. Is v < 0?
False
Let o be (1 - 1)/(2/(-1)). Let c = -13/127 + 2419/2540. Let g = -3/5 + c. Is o smaller than g?
True
Let d(u) = -u**3 + 12*u**2 - 7. Let o be d(12). Which is smaller: -5 or o?
o
Suppose 2*t - 5*y + 9 + 1 = 0, -4*t = y - 24. Suppose 0 = m + 2*q + 8, 0*m = m + t*q + 20. Which is smaller: 1 or m?
m
Suppose -9 + 4 = 5*b. Which is bigger: b or 0?
0
Let m = 7444/2235 - -2/745. Suppose 2*c + 3*c - 20 = 0. Which is greater: c or m?
c
Let p = 0.07 - 1.07. Let l = 10.2 - 0.2. Which is greater: l or p?
l
Let x = -2/41 - -92/205. Suppose 3 = 4*i - i. Let o be ((-2)/(-4))/(i/(-2)). Which is smaller: x or o?
o
Let b = -9 + 8. Is b equal to -0.01?
False
Suppose -2*g + 2*u - u + 8 = 0, 4*u = 5*g - 26. Is g at most 7/5?
False
Let q(c) = -c**2 - 5*c - 4. Let d be q(-3). Suppose -7*a = -d*a. Let n = -3/10 + 7/90. Is n < a?
True
Suppose -2 = g - 3*m, 3 