-3). Is x less than 2?
True
Suppose -i + 7 = -5*j, -i - 2 = -4*j - 4*i. Is -1 greater than or equal to j?
True
Suppose 3 = -4*t + 7*t. Is t less than or equal to -4?
False
Let b be (5/((-15)/(-18)))/1. Let t = 4 - b. Let k be (4/(-6))/((-2)/(-3)). Is k at most as big as t?
False
Suppose -4*p + x = 36, -p - 2 = 4*x - 10. Is -6 >= p?
True
Let b be (-10)/(-4)*6/(-5). Let a = b + 0. Is -3 greater than or equal to a?
True
Let y be (-2 - (-12)/3)*-5. Which is smaller: y or -11?
-11
Suppose 0 = 4*r - r - 3. Which is smaller: r or -5.3?
-5.3
Let c = -156 - -56. Is -99 bigger than c?
True
Suppose 2*j - 2*y + y - 1 = 0, 2*j + 5*y = 31. Which is greater: j or 5/2?
j
Let w(f) = f**2 - 7. Let j be w(4). Is 5 bigger than j?
False
Let d = -212 - -212.1. Let a = 319 + -3503/11. Let r = 8/55 - a. Which is bigger: d or r?
d
Let c(f) = -f - 3. Let v = 7 + -9. Let i be c(v). Which is greater: -2 or i?
i
Let q = -0.05 + 0.11. Let r = 0.03 - q. Let u = r - 0.07. Does u = 0?
False
Suppose -3*s + 7*s = 0. Let w = -40 - -121/3. Is w greater than or equal to s?
True
Suppose u = -0*u + 2. Suppose u + 2 = 4*q. Which is smaller: -2/13 or q?
-2/13
Suppose -r = 4*z - 9, -3*r = 2*r - 5*z + 30. Let g be (17/3)/((-10)/6). Which is bigger: r or g?
r
Let c = -176 + 125. Let g be 4 - c/12*-1. Is -7 equal to g?
False
Suppose -5*m - 12 = -q, -3*q - 21 = 2*m + 2*q. Let g = 7 - 1. Let k(b) = b**2 - 8*b + 9. Let w be k(g). Is m equal to w?
True
Let g be -10 - -6 - 66/(-27). Which is smaller: -1 or g?
g
Let w = -0.32 - -2.32. Which is bigger: w or -0.1?
w
Suppose 4*x = 5*j - 188, -3*j = -2*x - 7 - 85. Is x at least 0?
False
Let s(b) = -6*b**2 + b + 1. Let n be s(-1). Is -4/3 at most as big as n?
False
Let y = 0.28 + -0.4. Which is bigger: y or 0?
0
Let c = 7.4 - 7. Let s = 0.2 - c. Which is smaller: 0 or s?
s
Let k = -37.9 - -38. Which is bigger: 23/5 or k?
23/5
Let i(p) = p**2 + p - 10. Let o be i(-5). Suppose -c - c + o = 0. Do -1 and c have different values?
True
Let f be (-3)/(-4)*(-2)/6. Let z = -22 + 22. Which is greater: f or z?
z
Let v = -3.2 - -2.2. Which is smaller: v or -2.4?
-2.4
Let r = -73.92 - -80. Let s = r - 6. Is s smaller than -1/3?
False
Let t = 8/3 + -3. Suppose 4*j - 20 = -0. Is t < j?
True
Let a be (-2)/4 + (-26)/(-4). Suppose 3*p = -2*y + 20, -2*p - y + 14 = y. Is a < p?
False
Let w be (8/(-4))/(-4 + 6). Is w smaller than 2/19?
True
Let z be 2/4*70/5. Suppose 3*x + n - 20 = 0, -5*x - n + 39 = -5*n. Is z at most as big as x?
True
Let b = -13 + 12.86. Let q = -0.24 - b. Which is greater: q or -3?
q
Let k = -5 + 5.3. Let i = -3 - -3.1. Let u = k - i. Which is bigger: u or 1?
1
Suppose f - 70 = -f. Let h be 2/4 + f/(-50). Is h greater than 2/3?
False
Suppose 4*b + 4*c = 20, 4*c - 6 = b + 9. Is b < 2/13?
False
Let i(s) = s**3 - 1. Suppose 2*y + 7 = 3*h, -3*y + h + 37 = 6*h. Suppose b = -y*b. Let u be i(b). Is -3/5 != u?
True
Let g be (0 - -2 - 1) + 1. Let s be 3*((-2)/(-3) - g). Is s greater than -5?
True
Let q = -0.2 - -0.2. Let b = 23 - 22. Is q equal to b?
False
Let n = -15.1 - -15. Let k = 0.04 - -0.26. Which is bigger: k or n?
k
Let n be (-13)/4 + 2/8. Let v = 3 + -4. Let w(l) = 3*l**3 - l**2 - 2*l - 1. Let q be w(v). Is q >= n?
True
Suppose -4*z + z + g = 8, 15 = 3*g. Let l be z/4 - (-130)/40. Which is smaller: l or 0.3?
0.3
Let g be 17/4 - (-3)/(-12). Let y = g - 3. Which is bigger: y or 1/5?
y
Suppose -12 = 2*o - 3*o. Suppose 4*y - 2*i - 2*i = 12, 3*i + o = 0. Which is smaller: 0 or y?
y
Suppose 25 = -3*o - 2*o, 4*x = 3*o - 1. Let g be 1/(-3 - 10/x). Which is smaller: -3 or g?
-3
Let x = 2 + -2.1. Let r = 10/21 + 23/84. Do r and x have the same value?
False
Let k = 243 + -2189/9. Which is smaller: -2 or k?
-2
Let m = -1.8 - -2.2. Is m equal to 1/6?
False
Suppose -4*f = 5*k - 79, -k + 12 = -0*k - 3*f. Let i be (0 + -1)/(k/(-15)). Which is bigger: 2 or i?
2
Let l = 10 + -5. Suppose -7 = 2*j - 6*j - 3*x, 8 = l*j + 3*x. Let n = 2 - 2. Which is smaller: n or j?
n
Let c = -1 - -2. Let h = -2 - -3. Let a = 1 - h. Are a and c unequal?
True
Let a = 19 + -9. Which is smaller: a or 0.2?
0.2
Let p be (0 + -3 + 2)*-1. Let l = 1.4 - 1.5. Which is smaller: p or l?
l
Let m(i) = -2*i**3 - 3*i**2 + 3*i - 4. Let l be m(-3). Let a be l*(-4)/20 + 2. Which is bigger: a or 0?
0
Suppose -4*y + 0*y + 4 = 0. Let l be (1/(-2)*y)/(-2). Let z = 0 - 0. Are l and z non-equal?
True
Let l = -115 - -231/2. Which is greater: l or 6?
6
Suppose 2*y - 9 = -3*a - 2*y, 43 = 4*a - 5*y. Do a and 6 have the same value?
False
Let h = 4 - 4. Let d(o) = -o**2 - 3*o - 1. Let w be d(-2). Let k = w - 0. Is k <= h?
False
Let y = -21 + 31. Let l be 12/30 - 54/y. Let u be l + 6 + 7/(-5). Which is greater: u or 1?
1
Let w = -101 + 103. Which is smaller: 5 or w?
w
Let f = 7860931/52710 + -101/2510. Let c = f + -149. Which is bigger: 0 or c?
c
Let s = -0.7 - -1. Let b = 0.48 - 0.18. Let y = s - b. Which is smaller: -2/13 or y?
-2/13
Let m = 412/9 + -46. Which is bigger: m or 0?
0
Let j = 0.1 + -0.6. Is -0.2 equal to j?
False
Let t = -1 - -1. Let s(j) = -j**3 - 7*j**2 - 6*j - 1. Let g be s(-6). Which is greater: t or g?
t
Let s be 1 + 0 + (-4)/6. Suppose 0 = -7*w + 3*w + 28. Let o(f) = f**2 - 6*f - 8. Let x be o(w). Which is greater: x or s?
s
Suppose -3*m = -3 - 0. Let s be -2*(m/2)/(-1). Is 2/21 > s?
False
Let h be 2/4*(-6)/(-11). Let g(a) = -a**2 - 8*a - 1. Let m be g(-7). Suppose -i = 4*z - 4, m - 18 = 5*z - 3*i. Is z >= h?
False
Let c(p) = 2 - 1 - p - 1. Let h be c(4). Is h greater than -4?
False
Let q be -5 - ((-24)/(-8) - 0). Suppose -x - 4 - 4 = 0. Is x at most q?
True
Let z be (3 - 1)*252/8. Let o = z - 314/5. Is 1 bigger than o?
True
Let q(r) = 4*r**2 - 2*r + 1. Let w be q(1). Let m = w + -7/2. Which is smaller: 0.6 or m?
m
Let i = 1 - 1. Suppose -z = -i*z - 104. Let s = 727/7 - z. Which is smaller: 0 or s?
s
Let u = 142945/1224 + -937/8. Let f = 2/9 + u. Which is greater: f or 1?
1
Let r(q) = -q + 1. Let o be r(3). Let t(f) = f + 2. Let b be t(0). Let u be (1 - b - o) + -2. Is u less than -1?
False
Suppose -5*j = -3*g - 64, -2*g - 42 = -0*j - 3*j. Let v be (10 - 12) + -15 + -1. Does v = g?
True
Let l(d) = d**2 - 3*d - 1. Let p be l(4). Let o be (-2)/((-5)/(20/8)). Are o and p non-equal?
True
Let r(j) = j**3 - 4*j**2 + 2*j + 4. Let s be r(3). Suppose h = -5*z - s, 5*z + 5 = -7*h + 2*h. Which is smaller: -10 or h?
-10
Let q(l) = l**3 + l**2 - 1. Let f be q(-1). Which is smaller: 2/23 or f?
f
Let k be 6/10 + 4/10. Which is smaller: -4/9 or k?
-4/9
Let l be (-2 - 19/(-8)) + -3 + 3. Is l at least -2/5?
True
Suppose 2*u - 11 = -1. Let c = 11 + -11. Is u > c?
True
Let q be 2/(-3) - (-13)/24. Let w = -6 + 0. Let p be ((-2)/w)/(4/(-12)). Which is smaller: q or p?
p
Suppose -21 = -4*m + 35. Let q be (-4)/m + 74/14. Let u be (((-30)/(-8))/q)/(-3). Is u at least -1?
True
Let a = 5 + -4.8. Let m = -0.2 + a. Let t = 0.9 - 1. Which is smaller: m or t?
t
Let m = 13 + -15. Suppose 2 = 2*y + 8. Which is greater: y or m?
m
Suppose 10 = -0*b + b. Let t = -7 + b. Suppose 0 = z - 2*s, z - 7 = -t*s - 2. Which is bigger: z or 0?
z
Let r = 1.99 - -0.01. Suppose 2*a - 4*x = -114, -5*a = -2*x + 78 + 239. Let o be a/(-90) + 1/(-2). Are r and o nonequal?
True
Let g = -253/427 + 10/61. Let l be 80/42 + 8/(-4). Let f = l - g. Is 0 greater than or equal to f?
False
Let q be 40/112 + 1*(-2 - -1). Is q bigger than 0?
False
Let f = 1987/9 - 221. Let n = 24 - 23. Which is smaller: f or n?
f
Let y be -1*0/(-1 + 3). Suppose 0*z + 4*z = y. Which is smaller: -1 or z?
-1
Let u = 21 - 22. Which is greater: -6 or u?
u
Let j = -280/4539 - -2/51. Let p = j + -79/445. Suppose 0*t + 3*t + 8 = -5*c, 2*c + 7 = -5*t. Which is bigger: t or p?
p
Let q be (-3)/(-108)*6/(-4). Let j(v) = -v**3 - 6*v**2 - 9*v - 21. Let d be j(-5). Which is bigger: q or d?
q
Let u = 2 + 10. Let q be (2/4)/(2/36). Suppose -b + 4*t + u = b, 3*t + q = 2*b. Which is greater: b or -1?
b
Let z(u) = u**2 - 16*u - 29. Let j be z(17). Is j greater than -3?
False
Suppose -10*z = -13*z + 3. Is z less than 5?
True
Let q be 3/6 + (81/2 - 1). Is q less than 41?
True
Let y = -98 + 1275/13. Suppose 4*b + 0 - 8 = 0. Which is bigger: b or y?
b
Suppose c = -5*z + 2, 0 = c - 0*c + 4*z. Let g = c - -2. Let b be 63/(-12) + 1/4. Is g at most as big as b?
True
Suppose -25 = 5*x - 5*z, 5*x - 3*z