e m(3). Suppose a + 3 = 2*y + 1, a + i*y = 4. Is -1/3 < a?
True
Suppose 0 = j - 3*m + 7*m + 11, -15 = 3*j + 3*m. Let b be (-4)/(-6) + (-13)/j. Suppose b*i + k + 4 = 0, 10 + 2 = 4*i - 3*k. Which is smaller: -1 or i?
-1
Suppose 0 = 5*o + 41 - 21. Which is greater: -7/2 or o?
-7/2
Suppose 2*i = i - 15. Let y = 15 + i. Let q be (6/28)/(2/(-4)). Which is smaller: y or q?
q
Suppose 2*h - 1 = -5*n - 5, -h + 11 = -4*n. Suppose l = h*l + 2. Let m(i) = 3*i + 1. Let f be m(l). Which is smaller: f or -3?
-3
Let n = 4 + -4. Is n >= 1/17?
False
Let t = -22/9 - -8/3. Suppose 4 = -2*i + 2. Which is bigger: i or t?
t
Let s = 5/72 + -323/504. Suppose 2*c + 2*i = -i - 2, i - 2 = 0. Let t = c - -3. Which is smaller: t or s?
t
Let b = 0.6 - 1.2. Let c = b + 0.5. Which is smaller: -2/7 or c?
-2/7
Let g = 18.9 + -19.97. Let b = -16.07 - -16. Let w = g - b. Is 0 less than or equal to w?
False
Let p = 1725/11 + -157. Let d = 48/143 + p. Which is smaller: 0 or d?
0
Suppose -b + 17 = 2*w + 2*w, -2*w = -3*b - 19. Suppose -5*m = -w*k - 40, 11*k - 6*k - 3*m = -30. Let v be 1/8*(-4)/k. Which is smaller: -1 or v?
-1
Let v(b) = 2 + b**2 - 3 - 2*b - b. Let f be v(3). Let j = 337/6 + -56. Is j < f?
False
Suppose 0 = -5*p + 30. Suppose -p + 7 = -c. Which is bigger: 1/4 or c?
1/4
Let h = 36 + -15. Let q = -24 + h. Which is smaller: q or -2?
q
Let h(c) = c**3 + 10*c**2 - 12*c - 11. Let z = 3 - 14. Let f be h(z). Is f equal to 1/2?
False
Let r(o) = -o + 8. Let f be r(9). Are -2/9 and f non-equal?
True
Let z(r) = -r - 4. Let i be z(-8). Let g = i - 9. Is g < -4?
True
Let v = -5 - -10. Suppose 4*l = v*l - 29. Suppose -o + 3*w = 11, 5*o - 7 = 4*w - l. Is o >= -3?
True
Let c = -1.3 - -1.4. Which is bigger: -5 or c?
c
Let g be ((-4)/(-10))/((-4)/(-5)). Let r = -1/17 + 19/34. Is r less than or equal to g?
True
Let d = 3 + -2.9. Let b = 128 - 127.2. Which is smaller: b or d?
d
Let a be 2*(-370)/(-24) - (-9)/54. Which is smaller: a or 30?
30
Let r(o) = -o**3 - 4*o**2 - 2*o. Let w be r(-2). Let l be (1 + -4)/((-102)/w). Do -1 and l have different values?
True
Let a be (-9)/20 - (-14)/56. Is a <= -0.5?
False
Suppose -2*w + 8*f - 3*f = -33, 2*w - 28 = 4*f. Let n be ((-9)/30)/((-9)/w). Let a(d) = d**2 + 5*d. Let l be a(-5). Is n at most l?
False
Let w = 18 + -18. Which is bigger: w or 1?
1
Let p be 1 + 3 + 6/3. Let y(n) = -n**3 + 6*n**2. Let g be y(p). Let q(k) = -k + 1. Let m be q(g). Is m not equal to 0?
True
Let m = -4.04 - -4. Which is bigger: -2/7 or m?
m
Let r = -373/4 + 93. Let i = 0.8 + 0.2. Which is smaller: i or r?
r
Let k = 472/7 + -67. Suppose -8 = 2*g - 0. Let b be 2/g*(2 + -4). Is k equal to b?
False
Let l = 85 - 253/3. Which is smaller: -3/2 or l?
-3/2
Let o = 69 - 69. Which is bigger: 0.1 or o?
0.1
Suppose -2*n + 0*n = -2*l - 10, -2*l - 4 = 0. Suppose n = v + 5. Suppose 3*z + 2*x = z - 6, -3 = 5*z - x. Which is bigger: z or v?
z
Let y be -1 - (3 + 2)/(-1). Let z be 1/y*6/12. Which is smaller: z or 1?
z
Suppose 2*q = -5*r - 37, 3*q + 13 = -0*q + r. Let j be ((-1)/q)/(1/2). Let i = -105/4 + 26. Which is greater: j or i?
j
Suppose 0*d = 3*d. Let t be 4/3 - 128/48. Which is bigger: d or t?
d
Let d be 13/(-52) + (-14)/136. Is d bigger than 0?
False
Let q = 1 - 2. Let l(o) = o**2 - 2*o - 14. Let m be l(5). Is m at most as big as q?
False
Let n be -1 + 6/(-9)*(-258)/160. Which is smaller: n or 1?
n
Let r(m) = m**2 - 3*m - 14. Let k be r(-6). Is k at least as big as 40?
True
Let b = -10 - -9.73. Let j = -0.03 + b. Let h = j + 0.8. Which is smaller: h or 0.1?
0.1
Suppose 2*s - s + 2 = 0. Is -2 at least as big as s?
True
Let a = -3 - -2. Suppose -o - 6 = o. Do a and o have different values?
True
Let j(k) = -k. Let r be j(-1). Let f be -1 + -1 - (r - 3). Let a be (0/2)/(-2 - f). Which is greater: a or -1/6?
a
Let g = -3/26 + 41/130. Let q = 1/45 + g. Let u = -0.1 + 0.3. Which is greater: u or q?
q
Suppose 3*r + r = 3*h - 3, 0 = -4*h + 4. Which is bigger: -9/7 or r?
r
Let n = 0.21 + -0.36. Let b = -0.05 + n. Which is smaller: b or 3?
b
Let p = -0.3 - -0.3. Let w be (1*-8)/(-3 - -1). Are p and w nonequal?
True
Let v be 9/(-7) + 4/14. Let h = -23 + 21. Which is smaller: v or h?
h
Let q = 24 - 22. Let s = 2 + -2.2. Are q and s unequal?
True
Let b = 20 - -44. Let y = -410303/63 - -45142/7. Let x = y + b. Are x and 1 unequal?
True
Let j be (224/16)/((-2)/4). Let y = 28 + j. Let h = -1 + 0. Is h greater than or equal to y?
False
Let g = 1 + 1. Suppose -h - 3 = g*h. Let o = 19 + -18. Is o greater than or equal to h?
True
Let d = 6 + -7. Let j = d + 0.97. Let l = -0.17 + j. Which is smaller: -1/3 or l?
-1/3
Let c = -259/10 - -51/2. Which is bigger: 0.1 or c?
0.1
Let b = 2 + -3. Let o = 7099889/88 + -80679. Let v = o - 11/8. Which is smaller: b or v?
b
Let q = 28 - 25. Suppose 0*n - 4*o = -5*n + 151, -5*n + 5*o = -150. Suppose -3*w + 3*p = -4 + n, 0 = -q*w + 2*p - 23. Which is smaller: w or -1?
w
Let c = -1 - -1.3. Let u = 0.2 - c. Let s be 2 + 2 + (-36)/10. Is u not equal to s?
True
Let c(u) = -u + 6. Let r be c(2). Suppose 0 = 3*n + 3*y + 18, 3*n - 3 = -0*n + r*y. Which is smaller: n or -1?
n
Let h be -1 + 0 - (3 - 13). Suppose -o + h = -4*x, -2*o - 3 = -3*o + x. Does -1/5 = o?
False
Suppose -3*g = 3*g - 138. Which is smaller: g or 22?
22
Let k be 6*2 - (0 + -1)/(-1). Is k at least 9?
True
Let h(m) = 3*m - 21. Let c be h(7). Which is bigger: 1/263 or c?
1/263
Let t be 48/18*3/(-2). Is t less than -2?
True
Suppose 8 = 2*o, 38 = -0*t + 5*t - 3*o. Do 10 and t have different values?
False
Let d be -1*1/28 + (-2)/(-7). Let g be (7/(-19))/(1/2). Let t = 1/76 - g. Which is bigger: t or d?
t
Let q(a) = a**2 - 13*a + 3. Let l be q(13). Suppose 0*i = 2*i. Is i at least l?
False
Let d(v) = -3*v**2 - v + 3. Let r be d(2). Are r and -10 non-equal?
True
Let w be (-8)/4 - (-30)/19. Let d = 356065/57 - 6247. Let a = d + w. Which is smaller: a or 2/3?
a
Let y(j) = j**2 - j - 3. Let d be y(4). Suppose -w = -d*w + 64. Which is smaller: 7 or w?
7
Suppose -2*g + 96 = -10*g. Is -13 > g?
False
Suppose 5*y + 3*f - 87 = 0, 5*y + 2*f - 85 = -3*f. Do y and 19 have different values?
True
Suppose 4*w - 5*d + 0*d = -4, 2*w + 2*d - 16 = 0. Let v(s) = -s - 5. Let j be v(-6). Suppose 0 = 3*f - j - 8. Which is smaller: f or w?
f
Let u = -7 - -44. Is 35 less than or equal to u?
True
Let h(t) = t**2 + 6*t + 7. Let i(c) = 2*c**2 + 6*c + 7. Let a(j) = -3*h(j) + 2*i(j). Let s be a(8). Let b be 5/3*(-12)/(-2). Is b != s?
True
Let m = -0.4 - -0.5. Let g = m + -0.2. Let b be 13/20 + (-1)/4. Which is smaller: b or g?
g
Let b be ((-20)/6 + 3)*-123. Is 41 <= b?
True
Let x = -64 - -64. Which is smaller: x or 1/5?
x
Let m be (12/(-9))/((-1)/3). Let o be 37/45 - m/18. Which is bigger: 2 or o?
2
Let l(w) = 8 + w + 5 - 5. Let d be l(-9). Which is bigger: d or 1/4?
1/4
Let s be -19 + -1 - (2 - 2). Is s < -20?
False
Suppose -6*y - 14 - 4 = 0. Does -2 = y?
False
Let w = -2/139 + 151/834. Which is greater: w or -16?
w
Suppose 2*u - 2 + 4 = 0. Which is smaller: u or 2/23?
u
Let a be 6*3/18*-22. Which is greater: a or -21?
-21
Suppose 3*n - 3*d = 4*n + 16, 20 = -4*d. Let y(f) = -f + 1. Let i be y(n). Is -1 at least as big as i?
False
Suppose -n - 4 - 3 = 0. Let s be 29/(-7) + (-1)/n. Which is greater: s or -2?
-2
Let s = -10.9 + 0.9. Let i = s + 11. Let u = 0 + i. Is 0 at least as big as u?
False
Suppose 0 = -4*s + 12, 4*c = c + s. Which is greater: 3/5 or c?
c
Let y(i) = i + 1. Let f be y(0). Let m = -3/10 - -1/20. Which is smaller: f or m?
m
Let w = 4 - -15. Let i = 18 - w. Let r be ((-4)/3)/(12/(-2)). Are i and r equal?
False
Suppose -2*h + 107 = 3*c, 4*c - 7*h + 3*h = 176. Is 39 > c?
False
Suppose o - 7*o - 84 = 0. Which is smaller: -9 or o?
o
Let u = 9.4 + -9. Let o = 0.4 - u. Is o at most as big as 1?
True
Let z = 29/31 - 6761/7161. Let r = z + -452/1155. Do r and 1 have the same value?
False
Let q be (-3 - (-260)/44) + -3. Let w = -1/9 + -2/9. Which is smaller: w or q?
w
Let i = 32 - 13. Which is greater: 21 or i?
21
Let d be (21/(-14))/(2/4). Which is smaller: d or -6?
-6
Let t(x) = -x + 8. Let y be t(6). Suppose y*s - 2*m = 2, m + 3 + 0 = 2*s. Suppose 3*z + 4 = -i, -i = -3*z + s*i. Is -5 equal to z?
False
Suppose -3*b + 5*g = -124, -4*b - g - 3*g = -176. Let m = b + -12. Let v = 342/11 - m. Which is bigger: v or 0?
v
Suppose -3*f = -1 - 