and o unequal?
True
Let x(r) = 2*r**2 + 11*r + 7. Let o be x(-5). Is o at least as big as 8/9?
True
Let m(h) = -h**3 + 3*h**2 - 3*h. Let d be m(2). Let f = d + 5. Which is bigger: 1 or f?
f
Let w be (-68)/(-78) - 4/12. Which is smaller: w or -0.2?
-0.2
Suppose 2*v = -l - 1, -6*v + 2*l = -4*v - 8. Do -2/51 and v have different values?
True
Let r be 0 + (-2739)/936 + 3. Let x = -1/104 - r. Is x greater than or equal to -1?
True
Suppose 0 = -4*n - 2*x - 0 - 6, 3*x = -n - 4. Let b be 2/(-4)*n*0. Let a = -4 + b. Which is smaller: -5 or a?
-5
Let q(p) = 8*p**2 + p. Let o be q(1). Suppose 6*r - 3*n + o = 3*r, r = 4*n. Is -3 less than r?
False
Let l = -51/2 - -26. Let j = -2 + -1. Which is greater: l or j?
l
Let f = -2.9 + 3.1. Is f < 0.6?
True
Let a be (3/4)/((-8)/(-192)). Do 15 and a have the same value?
False
Let f(h) = 2*h - 6. Let b be f(4). Let x be (-2)/4*(0 - b). Let z(t) = -t**2 - 5*t + 6. Let y be z(-6). Which is smaller: x or y?
y
Let h = -2.5 + 2.6. Let w(c) = c**2 - c. Let g be w(-1). Which is greater: h or g?
g
Let l = 0.3 - 0.1. Let a = 33 + -37. Which is smaller: l or a?
a
Let y = 1.3 + -0.7. Let g = -2.084 + -0.016. Let f = -2 - g. Is y >= f?
True
Let d = -23 - -24. Is d at least 1/10?
True
Let b = -10.5 + 8.54. Let l = -0.04 + b. Let p = 0.96 + 0.04. Is p at most as big as l?
False
Let a(u) = -2*u + 12. Let w be a(6). Let c be -1 - ((-60)/29 - -1). Is c greater than w?
True
Suppose -d + 5*j = 7 - 17, -2*j + 8 = 2*d. Let g be d/2*4/(-5). Is -2 at most g?
True
Let a(w) = w**2 - 8*w + 7. Let n be a(7). Which is bigger: -1/25 or n?
n
Let z = -83 - -83. Is 1/73 not equal to z?
True
Let g = -2/19 + 33/133. Let m(h) = -h + 3. Let f(s) = -s**3 + 8*s**2 - 7*s + 4. Let y be f(7). Let x be m(y). Which is smaller: x or g?
x
Let r = 6 + -4. Let z = r + -3. Let n = z - 0. Is n at least as big as -2/11?
False
Suppose -11 + 17 = 6*i. Which is smaller: -5/26 or i?
-5/26
Suppose 11*y - 164 = 7*y. Which is smaller: y or 39?
39
Let k = 45 + -45. Which is smaller: k or 0.18?
k
Suppose -g + 6*a - 45 = 3*a, 2*g = -4*a - 110. Is g at most as big as -51?
True
Let z be 1/(4/88) + 4. Let v be (-16)/(-104) + 35/z. Is 2 bigger than v?
True
Let r = 30 + -51. Is r less than 0.1?
True
Suppose 4*l + 5*b = -0 - 9, 39 = -4*l + 5*b. Let h be (4/(-5))/(l/(-15)). Let t be -3 - (-3)/(-3 + 0). Which is smaller: h or t?
t
Let c = 11 - 12. Let z = -11 - -21. Let l be ((-4)/z)/(22/10). Which is greater: l or c?
l
Let v(l) = l - 2. Let o be v(3). Let i = -0.55 - -0.5. Let k = i - 0.95. Which is bigger: k or o?
o
Let x = -17 + 33. Which is bigger: x or 18?
18
Let y = -0.03 + 0.09. Which is smaller: y or 2/17?
y
Let s = 9 - 11. Which is smaller: 11 or s?
s
Let r be (15/4)/(21/(-14)). Which is greater: r or -2?
-2
Let a(q) = -5*q - 5. Let k be a(-2). Let m(w) = w + 9. Let r be m(-7). Is k at most as big as r?
False
Let t(g) = -2*g**3 + g**2 + 2*g - 1. Let n be t(-2). Suppose -6*v = -3*v + n. Let u = v - -1. Which is greater: -5 or u?
u
Let m be (-10)/176 - 6/(-33). Is -10/3 smaller than m?
True
Let p be (-4)/10*(1 + -6). Suppose 1 - 3 = p*d. Let a be ((d - -1)/(-1))/1. Is 1/5 less than or equal to a?
False
Let x = -24/23 - -1497/46. Let c = x - 32. Suppose 5*o + 4 + 1 = 0. Which is smaller: c or o?
o
Suppose 7*c - 4*c - 12 = 0. Suppose -i - c = i. Are i and 0 equal?
False
Let z = -28 + 19. Let t be 1/z*(-84)/8. Let s be 4/(-22) - (-156)/132. Which is greater: t or s?
t
Let l = 88 + -126. Is l bigger than -38?
False
Let h = 47 - 142/3. Are 0 and h equal?
False
Let q = -1.2 + 11.2. Let l = q + -11.4. Let u = 0.6 - l. Which is greater: u or 0.1?
u
Let f(a) = a**3 + 4*a**2 - 5*a + 7. Let q be f(-5). Suppose -i - 3 = -q. Which is smaller: 2 or i?
2
Suppose 2*v + 4 = 6*v. Suppose 3*j = -4*u - v, -3*j = 2*u - 0*j - 1. Let p be (u/(-2))/(1/2). Which is smaller: p or 2/9?
2/9
Suppose 8 = 7*b - 8*b. Is 0.1 greater than b?
True
Let r(k) = k**3 + 6*k**2 - k - 6. Let w be r(-6). Suppose 4*g - 3*g = w. Suppose 5*x = -g*x. Is x > 0?
False
Let t = 11 - 14. Let y be t/(-9) + 22/6. Is 5 bigger than y?
True
Suppose -16 + 6 = -5*g - 2*i, 2*g - 18 = 2*i. Which is bigger: g or 5?
5
Suppose 7 - 27 = 10*f. Which is smaller: f or 9?
f
Let q(w) = w**3 + 4*w**2 + 4*w + 3. Let g be q(-3). Let u = g - -1. Is 1 at least as big as u?
True
Let o = -3.6 + 0.6. Which is bigger: 0 or o?
0
Let r be 10/(-35) + 46/14. Let w be 3/(-6)*(r + 1). Let g = 0.1 + -0.3. Does g = w?
False
Suppose 0*l = -2*l. Suppose l = -0*w - 2*w. Which is bigger: w or 1/9?
1/9
Suppose 5*k + 3 = 43. Suppose -k = 5*m - 6*j + 4*j, 20 = m + 5*j. Let x = -1/311 - 607/4665. Which is greater: x or m?
m
Let y be ((-16)/10)/(-1) + -3. Which is bigger: -1 or y?
-1
Let m(u) = u**2 + 3*u - 3. Suppose -i - 12 = 4*g, g - 9 = -3*i - 1. Let s be m(g). Which is greater: 2 or s?
2
Let i be 7/63 - (-1)/(-3). Which is smaller: -2 or i?
-2
Suppose 0 = 4*u - 8. Suppose -f = -m + 5, 5*m + 2 = -u*f + 13. Which is smaller: m or 2?
2
Let y be (1/3)/(1/15). Suppose 4*h + y*u = -95, u - 3*u = -10. Let r be (5/h)/(4/6). Which is smaller: -1 or r?
-1
Let v = 0 + 0. Let q be 47/44 + -1 + 2. Let t = q + -9/4. Which is smaller: v or t?
t
Suppose 2*s = -0*s - 6. Let p = 2 + s. Let o be -1 - (0 - -1)/p. Is o at most 0?
True
Let s be 2/12 - (-91)/(-210). Is -0.1 less than s?
False
Let z(k) = -k**2 + 6*k + 10. Let j be z(8). Let l be (4/(-6))/(j/9). Is 0.03 less than l?
True
Let w be -1 - (-19)/10 - 0. Let u = 1/8 + 3/8. Let y = w - u. Do y and 1/6 have the same value?
False
Let b(i) = -2*i + i + 0*i. Let c be 8/14 + (-150)/(-105). Let q be b(c). Is -2 bigger than q?
False
Let y = 0 - -5. Suppose -2 = y*z + 28. Is -7 not equal to z?
True
Let q = 4.07 + -0.07. Let z = q - 3. Is z at most as big as 0.3?
False
Let i(c) = -c**2 + 4*c. Let h be i(3). Let l = -3 + h. Let j = 1124/9 - 125. Which is greater: l or j?
l
Let a = -0.21 + -0.05. Let l = a + 0.16. Which is smaller: l or 1/4?
l
Let f be ((-70)/(-21))/(4/(-6)). Let c be (-9)/(-12) - f/20. Let t = 0.13 - 0.2. Which is bigger: c or t?
c
Let v be 1505/497 - (1 + 4 + -2). Which is smaller: -1 or v?
-1
Let a(g) = g**2 + 8*g + 16. Let b be a(-5). Which is smaller: 2/41 or b?
2/41
Let w = -0.1 - -0.1. Let p = 2.047 - 0.047. Which is bigger: w or p?
p
Let v = -0.0239 + 219.0239. Let s = 212.85 - v. Let i = 0.15 + s. Which is bigger: -1 or i?
-1
Let c = -215 + 847. Let s be c/2660 - 2/10. Let h = 2/19 + s. Is 1 greater than or equal to h?
True
Suppose 5*z = -0*z + 45. Is 9 bigger than z?
False
Let g = 85 - 48. Let o = g - 25. Suppose -4*n - o = 4*k, 3 - 18 = -2*n + 5*k. Is n less than 2/5?
True
Let w be 4/6 + 11/(-3). Let d = -70 - -69. Which is greater: d or w?
d
Let m = -113/7 - -16. Suppose 4*g + 8 = -4*i, -5*i = -2*g + 6 - 3. Are i and m equal?
False
Suppose y = -0*y - 3, 5*i - 18 = y. Suppose -3*n = -i*w + 468, -3*n + 0*w + 5*w = 476. Let v = n - -764/5. Are v and 1 equal?
False
Let g = -8 - -15. Let i = -25 - -30. Suppose -3*y + 1 = t, t = i*y + g + 2. Which is smaller: y or 0?
y
Let m be 2/3 - (-30)/(-18). Let a be (2/(-10))/((-2)/(-1374)). Let i = a - -137. Which is smaller: m or i?
m
Suppose 2*t - 1 = 3*t. Let r be (t + (-3)/(-9))*-3. Let x be 28/6 + 1/3. Does r = x?
False
Let h = 2 + -1. Let q be (-6*1)/2 - 74/(-26). Which is greater: h or q?
h
Let z = -75 + 76. Which is smaller: z or -2/93?
-2/93
Suppose 0 = 4*j + 4*p - 5*p + 5, p - 2 = j. Let d = 10 + -8. Let s be d/6 - 12/9. Is j equal to s?
True
Let b = 3976/11 + -360. Which is smaller: 2 or b?
b
Let g(l) = l**3 - 4*l**2 + 3*l + 1. Let r be g(3). Suppose 0 = -2*a + 4 - 0. Is r <= a?
True
Let z = -18 + 10. Let i = 7 + z. Let p = i + 0. Which is bigger: p or -0.1?
-0.1
Let o = -310/91 + 48/13. Is -2 less than or equal to o?
True
Suppose 0*s - 8*s + 7*s = 0. Let u = 214 + -2137/10. Which is smaller: s or u?
s
Suppose -s - 66 = 5*s. Which is smaller: -12 or s?
-12
Let q = -18 - -18. Suppose q = 4*j - 3*j - 4. Are j and 5 unequal?
True
Let h = 22.16 - 22. Let m = 1.16 - h. Which is bigger: -2/13 or m?
m
Suppose 0*p - p + 9 = -3*c, -3*p + 15 = -5*c. Suppose q = -p*q. Is -1/4 at most q?
True
Let o = -8 + 6. Let z be -1 - (o + 2/(-2)). Suppose -4*s + 6 = z. Is s equal to 1?
True
Let h be (1*0/2)/1. Suppose h = 4*x - 0*x. Suppose 4*a + 4*l - 4 = 6*a, -l = a - 1. Is x != a?
F