i or 2/5?
i
Let u = -0.1 - 1.9. Is -5 greater than or equal to u?
False
Let w = 1.3 - 1.2. Which is smaller: 0.06 or w?
0.06
Let y = 656/12735 - 2/283. Is 1 < y?
False
Suppose -9*q + 3*q - 9*q = 0. Which is bigger: 2/169 or q?
2/169
Let k = -0.2 + 0.2. Let x = 0.5 + k. Let f = -0.4 + x. Is 1 greater than or equal to f?
True
Suppose -4*w = 17 + 143. Let j = w + 199/5. Are j and -1 equal?
False
Suppose 5*j + 53 = -22. Which is greater: -17 or j?
j
Let y be 2/(-10) + 57/(-665). Which is smaller: 37 or y?
y
Suppose -7*l = -3*l + 20. Are l and -7 unequal?
True
Let j = -1003/667 + 501221/170085. Let i = -8/51 - j. Is i <= -1?
True
Let k be 6/6 + 6/(-3). Which is greater: 1/70 or k?
1/70
Let x = -9 + 4. Suppose 3*f + 4*q + 11 = 0, -f + 4*q - 7 = 2. Is x bigger than f?
False
Let l = 0.09 + -0.02. Let d = l + -0.05. Let k = d + -0.02. Is k at most 0.1?
True
Suppose 2*q + 2*t + 8 = -2*q, -2*q = -t + 12. Let s = 13 + -9. Let i = s - 7. Is q at least as big as i?
False
Let c(l) = l**3 + 9*l**2 + 4*l + 4. Let s be c(-8). Let d be 5/3*s/(-38). Let i = 112/95 + d. Does -1 = i?
False
Suppose -2*o - 2*o = 4. Let d be 30/(-45) - (-3)/((-9)/(-2)). Let p be d/(3 - o - 3). Which is greater: 3/10 or p?
3/10
Let k = 0.07 - -0.53. Let c = -1 - -1. Which is greater: k or c?
k
Let w(r) = 5*r**2 + r + 1. Let g be w(-1). Is g equal to 3?
False
Let u = 2/59 + 104/413. Is -1 at most u?
True
Suppose 6*n - 3*n = 6. Suppose t = 3*j - 17, j - n = 3. Let p = t - 3. Is p at least as big as -5?
True
Let y be 54/(-24) + (-3)/(-4). Is y < 2?
True
Suppose 2*h + 0*t = -t + 34, 0 = 2*t - 8. Let d be 3/h*(-2)/(-2). Is -1 <= d?
True
Suppose k - 5*k = 16. Suppose 9*q - 4*q + 25 = 0. Are q and k nonequal?
True
Suppose -3*c = 5*l + 10, -5*l - 12 = 4*c + 8. Let q = c + 15. Let w be -1*(1 - 3) - -2. Is w at least q?
False
Let z = -4.3 - -4. Let a = 0.3 + 0.2. Let j = 0.7 - a. Is j bigger than z?
True
Suppose r - 3*m - 37 = 0, 4*r - 98 = -5*m - 18. Let h = 25 - r. Is 25 smaller than h?
False
Suppose 2*x - 7*x = -45. Is x < 8?
False
Let v = 199/7 - 221/7. Is -4 at most v?
True
Let i = 7 + -4. Let d(y) = -y**2 - 58. Let c be d(0). Let r be c/(-36)*2 - i. Is r < 2?
True
Suppose -5*l - 18 = 32. Let m be (-4)/l + 59/(-10). Let x = 5 + m. Which is smaller: 0 or x?
x
Let l = -80.08 + 80. Let v = -0.1 + 0.2. Is l at least v?
False
Let n = 21 - 29. Let l = 9 - 9.15. Let r = 0.25 + l. Which is greater: r or n?
r
Let g be 3*(-2 - -1) + 27. Suppose 0*h - g = -3*h. Suppose 2*q = 6*q + h. Is q <= -1/3?
True
Let s be (-4 + 5)/((-3)/3). Let a = 38/21 + -15/7. Is s smaller than a?
True
Let l be 26/(-22) - 4/(-22). Let x be 0/(0 - 1) + l. Is x < 0?
True
Let v = -7 - -7. Suppose v = 2*x + 9 + 7. Is -9 greater than x?
False
Let t = 19/7 - 17/7. Let g(x) = -x - 3. Let y(k) = -2*k**3 - k**2 - k + 1. Let b be y(1). Let p be g(b). Is t < p?
False
Let w = -17 - -22. Suppose g - 14 - 4 = -w*f, 4*f - 14 = -g. Which is smaller: 5/3 or g?
g
Let q = -4.1 - -4. Let x = -0.4 + q. Let t = -0.6 - x. Is -3 not equal to t?
True
Let y be 464/(-6) + -1 - 2. Let n = 81 + y. Which is smaller: 0.1 or n?
0.1
Let y be (-4)/(-14) - (-38)/14. Let v be (-1 + 4)*-1 - -1. Let c be (-12)/15*5/v. Which is bigger: y or c?
y
Let t = 6/121 + -28/121. Which is smaller: 0.04 or t?
t
Let p = 7 - 4. Suppose q - a = -p, 2*q + a = -2*q + 13. Let c = -2 + q. Which is greater: c or 1?
1
Let l = -149/2 - -1331/18. Let w = l + 2/9. Is w != -1?
True
Let d be (-31)/(-153) - (48/(-27) - -2). Which is smaller: d or 0?
d
Let t = 373/1232 - 3/176. Let k(h) = h**3 - 5*h**2 + 4*h + 1. Let u be k(4). Which is smaller: u or t?
t
Let x(g) = g**3 + 2*g**2 - 3*g + 2. Let n be x(-3). Suppose 5*b = 3*b. Let p be -1 + b - (-5 + 4). Which is greater: n or p?
n
Let y(x) = -8*x + 18. Let k be y(4). Is -12 bigger than k?
True
Suppose 2*f = -z - 0*f + 4, -f = -4*z + 25. Is 8 < z?
False
Let m be (56/21)/((-4)/(-6)). Suppose 2*b = 3*i - 12, -m*i - 20 = 2*b - 9*i. Is b at most -1?
False
Let x = -38 - -40. Let u = -995453/1968 + 8103/16. Let c = u - -2/41. Which is bigger: c or x?
x
Suppose 2*v + 6 = 4*v. Suppose 0 = -r, 0*s + s = r + 4. Which is smaller: v or s?
v
Let b(h) = h**2 - h - 2. Let o be b(2). Suppose o = 5*a - 3 + 8. Which is smaller: -2/17 or a?
a
Let a be (-36)/(-54) + 1/3. Let t be 10/(-16) + 1/2. Which is greater: t or a?
a
Let g be (3/6)/(-2*1/4). Is g at least as big as -4?
True
Suppose 0*i = 2*x - 3*i - 6, 2*i + 2 = x. Let n = 5 - 1. Which is greater: n or x?
x
Let n = 51 - 257/5. Suppose 2*f + 18 = -2*j, -2*j + 4*j = 5*f - 4. Let k = j - -4. Is n at least as big as k?
True
Let f = 44.9 + -45. Is -1 greater than f?
False
Let r(n) = -2*n**2 + 3*n + 4. Let f be r(3). Suppose -2*u - 6 = -0. Is f at least u?
False
Let q be ((27/(-12))/(-3))/(-2). Which is smaller: -1 or q?
-1
Let n = 146 - 146.1. Let l = -0.6 - -0.3. Let v = l - n. Which is smaller: v or -1?
-1
Let f = -0.5 + 0.6. Which is smaller: 7.1 or f?
f
Suppose -3*k + 4*d + 15 = 0, 4*k + d + 2 = -d. Is 2/23 bigger than k?
False
Let r(s) = -30*s**2 - 2*s. Let b be r(-1). Which is smaller: -31 or b?
-31
Let m = -3 - -7. Suppose -2*x + 3 = -5. Is x smaller than m?
False
Let g(i) = 17*i - 1. Let v be g(-1). Is v less than or equal to -18?
True
Let x = 5 + -4.8. Let l = 6.8 + x. Do -1 and l have the same value?
False
Let m(z) = z - 1. Let b be m(1). Is b greater than -7/8?
True
Let q(u) = -3*u**3 - 3*u**2. Let n(r) = -4*r**2 + 5*r**2 + r + r**3 + 0*r. Let b(h) = -2*n(h) - q(h). Let y be b(-2). Which is smaller: 1/3 or y?
y
Let r(c) = -17*c**3 - 2*c**2 + 1. Let z be r(1). Does z = -18?
True
Suppose -u + 1 + 4 = 0. Let g(s) = -s + 6. Let h be g(u). Which is greater: -2/21 or h?
h
Let c = -220 + 453/2. Which is smaller: 7 or c?
c
Suppose -5*j - 4*r = 30, 4*r - 75 = 5*j - r. Is -11 greater than or equal to j?
False
Let p be 2/4 + 10/(-4). Let s = 4 - 2. Let w = s + -5. Is w at least as big as p?
False
Suppose -o + 7 = -5. Let n = o + -11. Does n = -3/7?
False
Let u be 3/(-6)*-10 + 0. Suppose 0 = 5*z + 5 + u. Let d = 1 + z. Which is greater: d or -2?
d
Let k = 0 - 0. Suppose 8 - 4 = 4*b. Let z be b*((-17)/(-6) - 3). Is k at least z?
True
Suppose 6*q - 4 - 14 = 0. Suppose 0 = -2*c + q - 7. Is -1 greater than c?
True
Let g(n) = 2 - 4 - 2*n**2 - 6*n - n - 2. Let t be g(-4). Which is bigger: -13/2 or t?
-13/2
Suppose 5*n = 3*u - 34, 0*u - n = -3*u + 14. Which is smaller: -0.03 or u?
-0.03
Let a = -69285/2588 - -14/647. Let x be (-9)/(-6)*18/1. Let b = x + a. Is b at most -1?
False
Suppose 2*p + 4 - 18 = 3*w, 2*w + 10 = 2*p. Are 1 and p equal?
True
Suppose 0 = -5*l - 6*m + 2*m + 16, -3*l + 2*m = 8. Let s = 0.3 + -0.1. Which is smaller: l or s?
l
Let m = -4.2 - -0.2. Let k = m - -3. Which is bigger: 1 or k?
1
Let t = -17 + 11. Let i be (-4)/t*(-48)/(-8). Suppose -5 = -w - 2. Which is greater: i or w?
i
Let l = 0 + 0. Suppose 5*r + 3*h - 21 = 0, 4*r + h - 5*h - 4 = 0. Let m be (-4)/(-18) - r/(-27). Which is greater: m or l?
m
Let i = 3.4 - 5.4. Is i less than -1?
True
Suppose 2*h = -s - 3, 6 = -4*s + 4*h - 6*h. Let k = 0.3 + -0.2. Which is smaller: s or k?
s
Suppose 3*n = n + 22. Let j(i) = -i + 10. Let a be j(n). Let r be (-7)/(-9) + 2/9. Which is greater: a or r?
r
Suppose -w + 9 = -3*w - z, -3*w - z = 15. Is -6 greater than w?
False
Let x be 9/(-7) + 4/14. Let f be x/(-2) + (-6)/(-4). Suppose f*z - 7*p + 3*p = -16, -3*p - 6 = 3*z. Which is bigger: z or -3?
-3
Let j = 3 + -12. Let z = j - -8. Is 2/5 bigger than z?
True
Let k be -1 + (-24)/(-11) + -1. Suppose 40 = 2*i + 3*i. Let q = i + -7. Which is smaller: k or q?
k
Let x = 5/22 - 101/638. Which is greater: x or 5?
5
Let i = -160/357 + 1/51. Which is greater: i or 0?
0
Let l(o) = -o**2 - o + 4. Let w be l(0). Suppose -2 = -w*q + 6. Which is smaller: 3 or q?
q
Let x be (42/(-49))/((-3)/(-21)). Let b be (x/32)/(39/26). Which is greater: -0.1 or b?
-0.1
Suppose 6 = -2*m + 18. Let b(v) = -v + 8. Let u be b(m). Let j be (-19)/(-12) - (-2)/(-8). Which is bigger: u or j?
u
Let w be 16/9 - 4/(-18). Suppose -6*m + 24 = -2*m. Suppose -5*z + m = -3*z. Which is greater: z or w?
z
Let g be (-7)/14*(-1 - -1). Is 10/7 not equal to g?
True
Let w = 0 + 0.06. Let m be 0/((-8)/20*-5). Is m >= w?
False
Suppose q - 5 = 6*q. Let t be (q/5)/(8/10). Which is smaller: t or 0.12?
t
Suppose -