 -0.1 or f?
-0.1
Suppose -4*c = -2*c - 18. Let h be c/(-20) - (-2)/8. Let i be 3/12 + (-1)/4. Which is smaller: h or i?
h
Let r = -121 - -127. Which is smaller: r or -3?
-3
Let o = -285/8 - -3493/72. Let k = o - 1258/99. Let g be 2/8 - (-3)/4. Is k less than g?
True
Suppose -23 = 2*k - 3*o, 0 = -4*k - 0*o - 2*o - 6. Is k at most as big as -28/9?
True
Suppose 3*f - 63 = -3*w, 0 = f - 2*f - 4*w + 24. Suppose 3*u + 14 = -3*y + 2*y, -5*y = 5*u + f. Is -2/9 bigger than y?
False
Suppose -q + 11 = -3*x, 4*q = 3*x + 2*x + 30. Suppose q*b = b - 4. Let p(t) = -t**3 - 2*t**2 - t - 1. Let o be p(b). Is -2 at least as big as o?
False
Suppose -1 = -2*o + 1. Suppose 8*c = 3*c + 5. Is o < c?
False
Let r be (0/4)/(-4) - 4/(-6). Are r and 2/13 equal?
False
Let n = 4 + -1. Suppose 14 = 2*b - 5*c, -c = 2*b + 2 - 4. Which is smaller: n or b?
b
Let c be (2 + 0 + -3)/((-3)/108). Is 37 at most as big as c?
False
Suppose 0 = 4*m + f + 1 + 6, -m = -3*f + 18. Let n be 11*m/15 - -2. Which is smaller: 2/7 or n?
n
Let b = 11.5 + -11. Let t = -0.1 - -0.1. Is b bigger than t?
True
Let p = -41 + 21. Let v = p + 22. Is v at least 2?
True
Let y be (2/(-3))/(2/(-12)). Suppose -y*h - 9 = -1. Let u = -11 + 9. Are h and u equal?
True
Let u(x) = -x**2 - 11*x - 8. Let q(f) = 4*f - 2. Let j be q(-2). Let i be u(j). Suppose -c = i*c. Which is bigger: -1 or c?
c
Let b be (2/(-15))/((-23)/(-230)). Is -2 at most b?
True
Let q = -9928/25 - -397. Which is smaller: 1 or q?
q
Let o be 69203194/(-147354025) - (-2 + 2). Let z = o - -2/596575. Let q = 6/19 + z. Which is smaller: q or -1?
-1
Let q = -17 + 15. Let t = -21 - -23.1. Let d = t + q. Which is smaller: d or -2?
-2
Let x be (-32)/6 + (-8)/12. Let q = 9 + x. Which is smaller: 2 or q?
2
Let n be 5 + -2 - 29 - (-1 + 3). Is -29 at least as big as n?
False
Let n be 2 - 128/20 - -4. Which is bigger: -0.17 or n?
-0.17
Let g = 11 - 19/2. Let h = -8.9 + 9. Is g equal to h?
False
Suppose -3*j + 0*j = 2*y + 11, 2*y + 4*j + 14 = 0. Which is smaller: y or -6/5?
-6/5
Let g be 2/5 + (-4)/10. Suppose -5*h - 3*f - 20 = 0, 2*h - 2*f = -4 + 12. Let v = g + h. Which is bigger: -1/3 or v?
-1/3
Let a = 19729 + -236573/12. Let w = -43/3 + a. Let x be -1 + (2 - (-2)/(-2)). Is x bigger than w?
False
Suppose -16*b = -21*b - 40. Which is smaller: -7 or b?
b
Suppose 2*v + 0 + 2 = 0. Which is smaller: 2/11 or v?
v
Let s = 5 + -2. Which is bigger: 2 or s?
s
Suppose 0 = t - 0*t - 18. Suppose -5*z - 4*o = t, -4*z - 4 = -z - o. Let u = 1 + z. Which is smaller: 0.1 or u?
u
Suppose -5*w - 3*h - 67 = 136, 5*h = -w - 45. Suppose -3*l + 4 = 3*c - 17, c - 3 = 0. Let i be l/6 - w/(-42). Which is smaller: i or -1/3?
-1/3
Let x = -25 + 24. Which is bigger: x or 9?
9
Let s be (0 - 2/4)*-2. Suppose 2*m + 4 = 24. Let x be (16/m + -2)/1. Which is greater: s or x?
s
Suppose -3*i + 4*b = 29, -4*i + 9*i = 5*b - 45. Let l = -8 - i. Is l bigger than 0?
False
Let m = 3 - -4. Which is smaller: m or 1/4?
1/4
Let p be 4*-1 - (-66)/6. Is 0 != p?
True
Suppose -3*n = -0*n + 6. Let o be ((-1)/n)/(15/(-10)). Is o less than 1?
True
Let g = -0.13 + 8.13. Let a = g - 12. Which is smaller: -0.1 or a?
a
Let s = 1 + -6. Which is smaller: s or 1?
s
Suppose 2*l - 18 = 8*l. Which is smaller: l or 4?
l
Let t be (12/(-10))/((-16)/80). Is 21/4 less than t?
True
Let r(f) = f**2 - 13*f + 12. Suppose -18 = -5*x + 47. Let b be r(x). Is 13 smaller than b?
False
Suppose 5*h - 307 - 1243 = 0. Let n = 173414 - 1737243/10. Let r = h + n. Which is smaller: 0 or r?
r
Let q(h) = -h**2 + 4*h + 4. Let w be q(5). Let j be -1 - (-5 - (-5 + 3)). Let m be 3/j*24/(-126). Is w >= m?
False
Suppose -5*v - 14 = -64. Suppose u - 5 = 0, -u + 5 = -5*x - v. Which is greater: -3 or x?
x
Suppose 3*l + 5*o = 2*o + 12, -2*l - 17 = -3*o. Let x = -1 + 0. Let s be (0 - (-3 - x))/(-1). Is s >= l?
False
Let y = 24.1 + 3.9. Is y at most 2/3?
False
Suppose 3 = -2*i + 5*i. Let l be 3*2*i/(-6). Let t be -4 - -4 - l/(-1). Which is greater: -2/5 or t?
-2/5
Let b be 8 + -6 + 8/(-3). Let y = 2 + -2. Which is greater: b or y?
y
Suppose 0 = -c - 3*a + 19, -4*c = 3*a + 8 - 48. Is 8 at most as big as c?
False
Let u(o) = -o - 4. Let m be u(-3). Let x(v) be the first derivative of -v**4/4 + v**2 - v + 3. Let q be x(1). Is q at most m?
False
Let u = -2 + 0. Let g be 8/18*(-2)/28. Let b = g - 59/126. Is u less than or equal to b?
True
Suppose -1 = -3*v - 16. Let r be 93/1407*v*1. Let y = 3/67 + r. Is y at most 1?
True
Let i = 7 - -0.1. Let o = i + -7. Which is bigger: o or 2?
2
Let i = -150.077 + 150. Are i and 1 non-equal?
True
Suppose 4 = -3*f + 1. Let i be (0 - f) + (-2)/6. Let h = 13/5 + -16/5. Do i and h have different values?
True
Let f be 14 + (4/5)/((-6)/15). Which is smaller: f or 11?
11
Let l(y) = y**2 - 5*y - 10. Let g be l(7). Let r(j) = 0 - 3 + g - j. Let d be r(1). Which is bigger: 1 or d?
1
Let b = -2.5 + 2.4. Which is bigger: -3/7 or b?
b
Let d = 1/4 - 7/12. Is d at least 3?
False
Let r = 8 + -4. Let z = -3 + r. Is 1 >= z?
True
Let x(a) = -a**3 - 4*a**2 + 2. Let f be x(-2). Let r be 4/10 + f/6. Which is greater: r or -1?
r
Let h be (2/8)/((-1)/(-4)). Let v be ((-36)/15 + 2)*-5. Which is bigger: v or h?
v
Let m = -39 - -40.7. Is m smaller than -1?
False
Let d be (6/(-8))/(0 - -3). Let k = -5.2 + 5. Let y = -1.8 + k. Is y <= d?
True
Suppose 0 = -2*a - 3*a + 25. Suppose 2*i - a = -3. Is -1 less than or equal to i?
True
Let k be (9897/18)/(12/8). Suppose j = -2*d + 369, 4*j - 3*d = 2*d + 1463. Let x = j - k. Which is smaller: x or 1?
x
Suppose -21*j = 766 - 241. Is -49/2 bigger than j?
True
Let s = 5128/15 + -342. Which is smaller: 4 or s?
s
Let l = -1.4 + 1.46. Do l and -2/7 have different values?
True
Let u = 5/6 - 1/2. Let k = 2.04 + -2. Let v = k + -0.44. Is u less than or equal to v?
False
Suppose 4*k + 2*a + 2 = -2, 4*k = -a. Let b be (-3)/(k - -2)*-1. Let u = 1.1 + -1. Which is smaller: u or b?
u
Let y(m) = -m**2 + m - 1. Let p be y(1). Let l = 354 - 10976/31. Is l > p?
True
Let c be 0 - ((3 - 2) + -1). Is c less than or equal to 12?
True
Let o(m) = m**2 - 3*m + 1. Let y be o(2). Let i be 3/((-72)/(-23)) + -1. Do i and y have the same value?
False
Let t = 118/155 - -26/31. Which is greater: t or 1?
t
Let c be (-4)/(-7 - (1 - 1)). Suppose 3*a - 4*a + 2 = 0. Is a less than c?
False
Suppose c + 2 + 11 = 0. Which is greater: -14 or c?
c
Suppose -3 = 3*u - 9. Suppose -1 = 3*t + u. Which is greater: t or -2?
t
Suppose s - 24 = 5*l, 2*s + 0*s - l - 12 = 0. Let b = 2 - s. Let m be b*3*(-3)/(-18). Which is smaller: m or 0.2?
m
Suppose 14*a - 27*a = -91. Is 6 less than or equal to a?
True
Let h = -0.19 + -0.81. Is h at most 2/11?
True
Suppose -s + 48 = -4*s. Which is smaller: s or -12?
s
Let x be ((-150)/32)/5 + 1. Which is smaller: 1 or x?
x
Let u(t) = -t**2 + 10*t - 7. Let x be u(9). Let m = 0 + x. Is m bigger than -2/5?
True
Let x be (-6)/(-1) - (0 - -3). Suppose k = -x*k. Which is smaller: k or -3?
-3
Let i = -0.1 + -3.9. Which is smaller: -1 or i?
i
Suppose 0 = -h + 1. Let z = 3 - h. Let t = z - 0. Which is greater: 0 or t?
t
Let v be ((-18)/(-24))/(1/4). Let i be v/3 - (-21)/(-27). Is i at most 2/9?
True
Let u be -1*1/(-4)*8/6. Which is bigger: u or -5/12?
u
Let t be 0 + (1 - 4 - 3). Let n = t - -7. Is n at most as big as 1?
True
Let f be (200/(-4) - 1)*4/12. Which is bigger: -5 or f?
-5
Let s = 3.9 + -3.9. Is s at most as big as -0.17?
False
Let c be (0 - 1)*(-13 - -4). Let z be 4/6 + 651/c. Let g = -509/7 + z. Are g and 1 non-equal?
True
Let f = -0.35 + 0.05. Let m = f + -5.7. Let s = m + 6.1. Which is greater: s or -2/3?
s
Let g = -1 - 0. Let l(r) = -8*r**3 - 2*r**2 - 2*r - 1. Let s be l(g). Suppose -5*o + 3*u = s, -5*o - 1 = 5*u - 26. Which is smaller: o or -2?
-2
Let u = -6 - -5. Let y be 3 - (2 + 9 + u). Are y and -8 nonequal?
True
Let f = -0.9 + 1. Let l = 28 + -26.9. Let z = f - l. Are -1 and z equal?
True
Let w be 70/(-2)*45/(-25). Let o be (3/2)/(w/12). Is -1 at most o?
True
Suppose -4*m + 25 = m. Let d = 5 - 0. Suppose m = -5*y - d. Which is greater: y or 1?
1
Let t = 0.145 - 1.155. Let l = 0.01 + t. Which is smaller: -0.4 or l?
l
Let k be 21/(-52) + (-2)/(-8). Is k at least -0.1?
False
Let a(w) = 6*w - 6 + 0*w**2 + w - w**2. Let f be a(4). Suppose 36*k - 21 = 33*k. Which is smaller: k or f?
f
Suppose h = 3*c - 1, 3*h - 5*c + 2 