 n or -0.3?
n
Let o = 1.1 - 1. Let r = -3.9 - o. Let g = 7 + r. Is 0.1 greater than or equal to g?
False
Suppose 0 = -2*v - v + 4*q + 1, -4*v = -3*q + 1. Is v != 0?
True
Suppose t + 2*d - 1 = 0, 2*t = -0*t - 5*d + 2. Suppose g - 2 = 3*g. Which is smaller: g or t?
g
Let t(b) = -2 - 3*b - 2 + 2*b + 3*b. Let m be t(3). Suppose r - m*i - 8 = -4*r, -2*r - 4*i - 16 = 0. Is r less than or equal to -1?
False
Suppose -17*y + 7*y = -90. Suppose 0 = 3*b - b - 16. Is y > b?
True
Let g be 544/(-20) - (-4)/(-5). Which is smaller: 1/4 or g?
g
Suppose 4 = 4*z - 2*z. Let x be ((-4)/(-3))/z + 0. Let b(l) = -2*l**3 - l**2 - 2*l - 1. Let g be b(-1). Which is greater: x or g?
g
Let w = 0.3 + -0.7. Let y = 2.6 - w. Let v = 3 - 2. Which is smaller: v or y?
v
Let l be (-1)/4 - 34/(-8). Let k = l - 4. Suppose 3*v - 3 = 2*m + 4, v - 4*m - 9 = k. Are 2 and v nonequal?
True
Let c be -1*((-3 - -1) + -5). Suppose -5 = -2*z + c*z. Which is bigger: z or -11?
z
Let s = 3427 - 812200/237. Are s and -1 non-equal?
True
Let p = -0.11 - 0.09. Let j = p + 4.2. Let a = j - 7. Is -3 < a?
False
Let h = 0.5 + -0.36. Let g = -0.16 - h. Is 0.2 less than g?
False
Let c = -1/94 - -105/1034. Is 0 >= c?
False
Let x be (-3)/6*-12 - -1. Let l be 8/(-3)*(-9)/4. Which is smaller: l or x?
l
Let y = 1 + -1.1. Is y < -0.053?
True
Let s(i) = 5*i**3 + i - 2. Let r be s(1). Which is bigger: r or 2?
r
Suppose -4*r = 2*i + 26, 3*i = 7*i - 2*r + 102. Let d = 18 + i. Which is smaller: -13/3 or d?
d
Let m be ((-171)/(-15) - 2/5) + -3. Which is smaller: 13/2 or m?
13/2
Let s = 12 - 12. Which is bigger: -3/28 or s?
s
Let r(i) = -i**2 - 4*i + 8. Let x be r(-4). Which is greater: 10 or x?
10
Let a(j) = -j**3 + 5*j**2 + 5*j + 8. Let y be a(6). Suppose -2*i - y*i + q - 3 = 0, 3*i - 2*q = -6. Suppose 5*r - 9 = -4*v, r = -5*v - 0*v + 6. Is v < i?
False
Suppose 4*o + 17 = -4*t - 7, 2*t + 10 = 0. Let w = 82 + -1556/19. Is w at most o?
False
Let h(b) = -b + 5. Let y be h(4). Let a = y + -3/2. Is a greater than or equal to -1?
True
Suppose 2 = -4*w - 5*f, -f + 6*f + 12 = w. Let m be w/(-6) - 21/(-9). Suppose m*l - 9 = -l. Which is bigger: l or 4?
4
Let m(n) = -n**2 - 6*n + 2. Let a be m(-6). Suppose 0 = -a*s + 2 - 4. Let r = 1 - 1. Which is bigger: r or s?
r
Let h be 2 - -1 - 2/(-2). Suppose -j + d - 3 = 0, -5*j + 20 + 0 = 2*d. Suppose -6 = -h*v + j. Are v and 4 unequal?
True
Let g be 9/3 - 6 - -1. Which is smaller: 0 or g?
g
Let m = 0.85 - 0.74. Is m less than or equal to -0.3?
False
Let w(c) = -c**3 - 5*c**2 + 2*c + 12. Let g be w(-5). Let u = -7/9 + 41/18. Which is greater: g or u?
g
Suppose -2*b - 34 = -2*o, -2*o = -0*b + 5*b + 78. Is b less than or equal to -16?
True
Let w = -2.92 + 4.91. Let t = w + -2. Is t equal to -0.1?
False
Let p be ((-20)/135)/(4/6). Let c = -21 + 22. Which is smaller: p or c?
p
Let o = -6 + 6. Which is smaller: -3 or o?
-3
Let v = 931/93 + -21/31. Is 10 less than v?
False
Let y = -16/15 - -52/15. Which is bigger: 1/8 or y?
y
Let s = -0.5 - 0.2. Let v = s - -0.4. Is -1/3 less than or equal to v?
True
Let f be 3 + (4 - 2) + -2. Suppose -4 = -7*u + 6*u. Which is smaller: u or f?
f
Let j be 1955/1012 - 2/11. Which is greater: 3 or j?
3
Let a = 23 - 21. Suppose -6*s + a = -4*s. Which is smaller: -2 or s?
-2
Let c = 12 + -23. Let l = -10 - c. Is 2/9 bigger than l?
False
Let w = -6 - -4. Suppose -2*y + y = 3*z - 5, 4*y + 4*z - 4 = 0. Which is greater: y or w?
y
Let a be 3/(-2 + 34/16). Suppose l - a = 5*l + 4*h, 4*l - 2*h - 6 = 0. Which is greater: l or 2/9?
2/9
Let l = -1.9 - -1.56. Let q = -0.06 + l. Let d = q - -0.3. Is d at least as big as -1?
True
Let a(v) = -v**3 + 2*v**2 + 4*v + 3. Let y be a(-2). Which is bigger: y or -1?
y
Suppose -p - 2*p = 2*n, 0 = -n + p. Suppose n*k = -2*k. Is 2/25 bigger than k?
True
Let b be -4*((-18)/14)/(14/147). Are b and 54 equal?
True
Let q = 1/109 + -112/327. Which is smaller: q or -1?
-1
Let b(p) = -p**3 - 8*p**2 - 7*p + 1. Let n be b(-7). Is 1/3 bigger than n?
False
Let g = 6 + -4. Suppose 0 = -2*p + 23 + 1. Let c be ((-1)/2)/((-2)/p). Is g != c?
True
Let f = 0 + 1. Let y = -2 - -1.9. Which is smaller: y or f?
y
Let s(x) = -33*x - 6. Let k be s(-4). Let p be 8/k - 10/(-45). Is p smaller than -3?
False
Let j = 0.18 - -0.92. Let z = 0.1 - j. Let c = 11.9 + -12. Which is greater: z or c?
c
Suppose o - 180 = -0*c + c, -3*o - 160 = c. Let n = c - -94. Let b be (-99)/n - (-4)/(-18). Do 1 and b have the same value?
True
Let x be (-178)/364 - (-2)/(-13). Let i = 1/7 + x. Is i greater than -1?
True
Let v = -14 - -16. Is v greater than 0.01?
True
Suppose -5*b - 9 = 5*c + 31, 3*c = 3*b - 6. Is b <= -1?
True
Let l = -1/3 - -5/6. Let d = 1 - 1. Is l at least as big as d?
True
Let m(r) = -r**2 + r + 1. Let d be m(-2). Let x(y) = -y**3 - 8*y**2 - 4*y - 1. Let u be x(d). Let f be 2/u - (-2)/7. Which is smaller: f or -3?
-3
Suppose -34 = -16*j - 178. Which is smaller: j or -4?
j
Let o = 11 - 0. Which is bigger: 10 or o?
o
Let b be 0 - -1*0/(-2). Suppose b = 3*j + 2*j + o + 10, 3*o = -15. Is j < -1?
False
Suppose 40 = 3*w + w. Let s be (w/4)/((-3)/(-6)). Suppose -s*u + 8 = -2. Do u and 2 have the same value?
True
Let f(q) = q**3 - 6*q**2 + q + 1. Let j = 20 + -14. Let n be f(j). Does n = 8?
False
Let n = -43 - -42. Let f be 2/8 + 14/(-24). Which is smaller: f or n?
n
Let h(q) = q + q - 2*q + q - 5. Let w be h(9). Suppose -w = -2*k, -3*v - 4*k - 1 = -15. Which is smaller: 2/3 or v?
2/3
Let s = -0.343 - -0.188. Is 0.1 equal to s?
False
Suppose 2*g - 4*g + 2 = 0. Is g smaller than -2?
False
Let j be (5 - 4)/((-2)/4). Is j > -24?
True
Suppose g + 2*c - 2 = 5*g, 0 = 5*g - 3*c + 2. Let z = -14/3 + 25/6. Is g < z?
True
Let s be (-6)/(-15)*(-10)/154. Is 0 > s?
True
Suppose 1 = 5*p - 9. Is 3/5 > p?
False
Let s be 2/7 - 9/7. Is s < -0.2?
True
Let q(v) = -2*v - 28. Let r be q(-7). Is r less than -15?
False
Suppose 4*j + 24 = -4*d, 0*d = 2*j + 5*d - 3. Let m = 41 + -51. Do j and m have different values?
True
Let z = 49/508 + 1957507/8636. Let a = -227 + z. Is a bigger than 0?
False
Let c be (3 + -5)/((-2)/(-7)). Let i = -14 - -7. Is c at most as big as i?
True
Let f = 85 - 80. Which is smaller: f or -0.1?
-0.1
Suppose -k - l - 2*l = -12, 2*k = -3*l + 15. Suppose 0 = 4*h + k + 1. Which is smaller: h or -9/5?
-9/5
Let s = 2.9 + -3. Let x = 1 + -1.03. Which is smaller: s or x?
s
Suppose -4*y + 5*x + 12 = 0, 3*y + 2*x - 6 = 5*x. Let c(b) = 4*b**2 + 2*b - 2. Let z be c(y). Let d be 15/z*(-1 + 3). Is 4 smaller than d?
False
Let j(s) = -s - 6. Let r be j(-6). Let u(f) = f**2 - 7*f + 7. Suppose 2*o - 6 = o. Let l be u(o). Which is smaller: r or l?
r
Let o(y) = y + 1. Let w(g) = -5*g - 14. Let a(i) = -4*o(i) - w(i). Let z = -17 - -8. Let x be a(z). Which is smaller: x or 2?
x
Let a be (-190)/1*1/(-1). Let f = -1708/9 + a. Let x be 4/(-22) - (-169)/143. Is x equal to f?
False
Let s(v) = -v**3 - 5*v**2 + 5*v - 2. Let q(f) = -5*f**3 - 19*f**2 + 20*f - 7. Let w(g) = 2*q(g) - 9*s(g). Let t be w(6). Are t and 11 equal?
False
Let v(p) = -9 - p + 3*p + 3*p**3 - 4*p**2 - 3*p - 4*p**3. Let i be v(-4). Which is bigger: -0.1 or i?
-0.1
Let u be 10/18*(-2)/5. Let n be (-8)/(((-4)/(-2))/(-2)). Let w be n/36 - 28/45. Is u <= w?
False
Let n = -189/4 + 47. Which is smaller: -1 or n?
-1
Let k = -140 - -113. Is k != -27?
False
Let b = 48 + -47.9. Which is smaller: b or 0.3?
b
Let c be (1752/18)/(1/(-6)). Let h be (4/(-3))/(c/12). Which is smaller: h or 1?
h
Let r(p) = -5*p**3 + p**2 - 1. Let n be r(-1). Let c be n/(-30) - 5/78. Is c smaller than 1?
True
Let w = -1949/12 + 500/3. Is -2 < w?
True
Let g(h) = -h**3 - 4*h**2 + 5*h + 6. Let k be g(-5). Let c be (3 - 3)/3 - 0. Which is smaller: c or k?
c
Let r be (9/(-6))/(15/(-40)). Suppose -3*h - r - 13 = -2*p, 2*h = -5*p + 14. Is -1 greater than p?
False
Let r(o) = -o**2 + 3*o + 2. Let w be r(4). Let m be (-40)/(-4)*(-1)/w. Which is bigger: 4 or m?
m
Suppose -5*p - 2*b = -0*b - 6, 0 = 5*p + 4*b - 12. Suppose p = 4*l + 2 + 6. Which is smaller: l or -2/3?
l
Suppose 2 = -3*l + 8. Suppose 2*b + 14 = y, -y + 0*y - 2 = l*b. Suppose y*w - w = 10. Which is smaller: 3 or w?
w
Let q be 1/5 + ((-57)/(-15) - -2). Which is smaller: q or 3/8?
3/8
Let a = 16 - 15.85. Let z = a - -3.85. Which is greater: z or 0.1?
z
Suppose -22 = -5*y - 2*q, -8 = 4*q - 2*q. Is y > 8?
False
Let 