t -0.1?
False
Let h = -7.6 + 7.7. Is h greater than -1/103?
True
Let m be (-1)/((-3)/(-3) - 2). Suppose 0 = 4*y - s - m, y = -3*y + 4*s - 8. Let x be (-1 + y)*2/(-4). Which is smaller: x or 1?
x
Let v be 3/9 - 33/(-9). Suppose 4*u + v*p - 2*p = -6, -u + 16 = -3*p. Let b = -936/7667 + 2/451. Which is greater: b or u?
u
Let u(d) = -3*d**3 - 4*d**2 - 2*d + 2. Let c be u(-2). Let n = c - 0. Let l be 18/n + 2/(-7). Are l and 0 non-equal?
True
Let g = 12 + -23. Is g < -12?
False
Let s = -8/111 - 43/259. Which is bigger: -1 or s?
s
Suppose 689 = -5*v + 2929. Suppose 4*t = 4*q + 288 + 80, -5*t = -2*q - v. Let r be 2/(-11) - (-38)/t. Which is smaller: r or -0.2?
-0.2
Let l = 116/7 - 18. Let f be (2 - 0) + -4 + 0. Do f and l have the same value?
False
Suppose -57 = 20*u - 39*u. Let t(p) = -2*p + 1. Let c be t(-1). Is u smaller than c?
False
Suppose -2 = -j + 2*j. Let p be j/5*2/(-4). Let h be 165/143 + 4/(-26). Is p not equal to h?
True
Suppose -10 = 4*z + z. Let m be 2/(-2 - (1 + -1)). Is m at most as big as z?
False
Let h = 3 + -3. Suppose h = 4*r - 0 + 4. Does r = 1?
False
Let w be 21/14*4/2. Is w smaller than 3?
False
Let n = -293/594 + -2/297. Which is smaller: n or 20?
n
Let z = 1.9 - 1.9. Is z >= -0.19?
True
Suppose 5*c - 8*c = 0. Let t be 2/9 + 3221/45. Let v = 72 - t. Which is greater: v or c?
v
Let x = 169/18 + -25483/2718. Let k = -165/1057 + x. Is k greater than 0?
False
Suppose 0 = 5*b - 6 - 4. Let n be ((-6)/(-15))/(3/5). Do n and b have different values?
True
Let i be 15/(-35) + 15/84. Do i and -6 have different values?
True
Let n(z) = z + 5. Let q be n(-6). Let t be 2 + (-2 - q) + 0. Which is smaller: -4 or t?
-4
Let v = 59 - 60. Is 2/133 at most v?
False
Suppose 0 = -5*j + 8*j - 21. Let w = 7 - -1. Is w < j?
False
Let r be (2/(-10))/((-2)/(-10)). Is r > -1/37?
False
Let q = 0.44 - -0.06. Let r = q + -4.5. Let s = -4 - r. Which is smaller: s or -0.01?
-0.01
Let z(v) = 3*v + 1. Let k(q) = -3*q. Let h(l) = 2*k(l) + 3*z(l). Let a be h(-2). Are a and -3 nonequal?
False
Let g = -9.01 + 9. Let c = g + -0.2. Let q = c - -0.11. Which is greater: 0 or q?
0
Let a = -523/2 + 57501/220. Let h = 3/44 - a. Which is greater: h or 1?
1
Suppose 4*t - 3*v = 64, -3*t - 2*t + 85 = -5*v. Is 23/2 > t?
False
Suppose c - 10 = -4*c. Which is smaller: c or 4/5?
4/5
Let v(w) = w**2 - 5*w - 9. Let p be v(7). Which is smaller: p or 0.5?
0.5
Let q be (0/(-1) + -4)*1. Suppose 3*p = -3*o + 33, 8*p - 37 = 4*p + 3*o. Suppose 2*s = 0, 5*m = -4*s - p - 5. Is m < q?
False
Let h(t) = -12*t + 18. Let a be h(2). Which is smaller: 5 or a?
a
Let u be (9 - 7) + -3 + 0. Is u bigger than -1?
False
Let a(k) = 2*k**3 + 11*k**2 + 4*k + 2. Let y be a(-5). Are 1 and y equal?
False
Let p be ((-2)/(-42))/(9/(-54)). Which is greater: 3/49 or p?
3/49
Let z = 0.24 - 0.16. Which is smaller: z or -2?
-2
Let o = -1 - -1. Suppose -4 = -m - o*m. Which is smaller: m or 5?
m
Let d(b) = -b**3 - 4*b**2 + 4*b - 6. Let z = -10 + 62. Let p be z/(-12) + 2/(-3). Let h be d(p). Is h at least as big as -1?
True
Let r be 15/12*(-8 + 0). Let p(u) = u**2 + 8*u + 4. Let v be p(r). Let i be (-6)/(-15) - v/10. Is -2 at least i?
True
Suppose 0 = 3*k + 13 + 20. Let i(q) = -q - 9. Let g be i(k). Which is smaller: 3 or g?
g
Let o(t) = t**3 + 6 - t + t**2 + 2*t**3 - 4*t**3. Let l be o(0). Let h be 52/(-18) + -3 + l. Is h > 1?
False
Let f(n) = -n - 10. Let y be f(-10). Suppose 3*o + y = 3*a - 3, 5*o = a - 9. Is -1/4 at least a?
True
Let t = -47.01 - -1.01. Which is smaller: 0.1 or t?
t
Let y(h) = -h**3 + 6*h**2 - 5*h + 3. Let d be y(5). Do d and 3 have different values?
False
Let j be 83/24 + (-2 - 1). Let y = 5/8 - j. Is 0 < y?
True
Let q = 27 - 17. Let f(m) = 3*m - 5. Let h be f(5). Is h < q?
False
Let g(c) = c**3 + 5*c**2 + 5*c + 6. Suppose -4*h + 8*s = 3*s + 36, h + 8 = s. Let m be g(h). Suppose -7*d = -m*d. Which is smaller: 0.3 or d?
d
Let w be 1/(2/10) + -1. Let n(v) = -v**2 + 5*v - 1. Let g be n(w). Suppose g*a = 1 + 2. Is 2/7 bigger than a?
False
Suppose 15 = -j - 30. Which is smaller: -46 or j?
-46
Let d(f) = 3*f**3 - 2*f**2 + 3*f + 6. Let z be d(-2). Which is smaller: z or -31?
z
Let u = 16 + -15. Which is smaller: u or 7?
u
Let y(w) = -7*w + 7. Let g(s) = -3*s + 3. Let x(t) = -9*g(t) + 4*y(t). Let j be x(4). Let b be (-24)/14 + (-2)/7. Is b bigger than j?
True
Let q(s) = s - 4. Let d be q(4). Suppose -2*g + 3 = -d*b + 5*b, -2*b = 6. Suppose a + t = g, -5*t = a - t - 24. Is 3 smaller than a?
True
Let p = -27.2 - -27. Which is smaller: p or 4/3?
p
Let k be (4/(-8))/((-2)/(-20)). Let r be (-2)/k - (-7)/(-5). Let f = -5 - r. Is f smaller than -5?
False
Let b be (0 + 1)*(6 - -1). Let g be -7*1/(b/(-2)). Which is bigger: g or 3/5?
g
Suppose 6*m + 36 = -12. Which is greater: -9 or m?
m
Suppose 5*q = -2*i + 99, -68 = -2*q + 5*i - 11. Suppose 3 + q = 4*o. Let z be o/15 - 24/85. Is 1 <= z?
False
Suppose -4*l - 8 = 2*t + t, -8 = 2*t + 4*l. Let c(b) = -8*b**3 + 2*b**2 + 2*b + 1. Let d be c(-1). Let j be d/(-6) - 1 - -3. Are t and j nonequal?
True
Let v = -12 - -12. Which is smaller: 2/49 or v?
v
Suppose -5*c - 4*w = w - 15, 0 = 3*c + 2*w - 6. Which is smaller: c or 1/14?
c
Let v = -160 - -157. Which is bigger: 23 or v?
23
Let p = -5 + -16. Let i = -22 - p. Is i greater than or equal to 2/31?
False
Let a(w) = w**3 + 6*w**2 + 4*w - 3. Let s be 11/(-2) - 2/(-4). Let u be a(s). Let k be 3/(-9) + u/(-3). Which is greater: 1 or k?
1
Let a be (-17)/(-7) + 4/(-2). Suppose p + 10 = 4*p + c, 2*c = 2*p - 4. Suppose 0 = -y + p*r, 5*y = y + r. Is a smaller than y?
False
Let l be (-1)/(-3) + (-8)/6. Let z be l - ((-1 - 0) + -3). Let t be 2 + (1 - z) - 1. Is t greater than -1?
False
Let b = -46 + 45.9. Are -37/7 and b non-equal?
True
Let s be 2 + 1*-2 - -2. Let x be 0 + s - 3302/126. Let n = -171/7 - x. Is 0 at least as big as n?
True
Suppose -2 = 2*a + 2. Let o be (4/2)/((-3)/15). Let x = o + 8. Is x at most a?
True
Suppose -3*w - y + 6 = -3, 0 = -4*w - y + 13. Suppose -1 = -f, 8 = 5*c + w*f - 21. Is 4 <= c?
True
Let h = -37 + 36. Is -2 <= h?
True
Let r(x) = x**3 + 7*x**2 - 8*x - 8. Let f be r(-8). Is -6 less than or equal to f?
False
Let j be (-2)/(2*1/(-3)). Suppose 2*k + 9 = d, -6 = -j*d - 0*d - k. Suppose -f + d*f = 0. Do 1 and f have the same value?
False
Suppose 0*u = u - 9. Let v = 1 - u. Let x be (2/8)/(10/v). Which is bigger: x or 0?
0
Let u be ((-6)/(-4))/((-10)/(-4)). Are u and 1/5 unequal?
True
Suppose -n - 14 = -3*n. Let f(w) = w**2 - 6*w - 1. Let m be f(n). Suppose 0 = m*r - 2*r - 8. Which is greater: r or 0.1?
r
Let z = 29 - 24. Are z and 16/3 nonequal?
True
Let s be (-12)/(-9) + (-4)/(-6). Let a = -9 - -14. Let p be s/a - (-18)/5. Is p at least 3?
True
Let k(i) = -4*i. Let f be k(-1). Suppose a + f*c - 20 = 0, a = 5*a - 2*c + 10. Which is smaller: -1 or a?
-1
Let c be 1/(-3) - 39/(-91). Which is smaller: -1 or c?
-1
Let n = -5 + 8. Let y(i) = i**2 - 7*i + 7. Let j be y(6). Let u = j + 1. Is n at least as big as u?
True
Let v(d) = -d**2 - 5. Let o be v(0). Which is greater: o or -7?
o
Let g be 68/10*(-6)/12. Suppose 3 + 6 = -3*h. Let z = g - h. Is z less than -2/5?
False
Let x = 30 - 28. Which is bigger: 0 or x?
x
Let o = -2.2 - 3.8. Which is bigger: o or 2/13?
2/13
Let k(q) = q**3 + 5*q**2 + 4*q + 14. Let m be k(-5). Which is bigger: 2 or m?
2
Let c = -0.7 - 1.3. Let b = 1.9 + c. Which is bigger: b or 1/3?
1/3
Let v(z) = z**2 + 3*z - 15. Let i be v(-6). Let t = 15 + -26. Let u = -7 - t. Are i and u nonequal?
True
Let q = 0.01 - 0. Let z = 4.01 - q. Which is smaller: z or -0.1?
-0.1
Let t be (-24)/(-84) + 11/210*-8. Let d(s) = -s**3 - 4*s**2 - s - 4. Let x be d(-4). Is x < t?
False
Let r(l) = -2*l - 7. Let m be r(-4). Is m smaller than -2/35?
False
Let k be -5*2/(-5) + 4. Which is bigger: k or 7?
7
Let r = -1 + 0.9. Let g = -109 - -108.5. Which is smaller: g or r?
g
Suppose -3*m + m + 4 = 2*p, 5*m - 3*p = 10. Let c(r) = r**3 + 7*r**2 - r - 5. Let v be c(-7). Let n be (v + -1)/(m/(-6)). Is n at most -3?
True
Suppose -2*q + 4*p - 18 = -7*q, 0 = 3*q - 3*p. Let c be 2/3 - q/3. Let i = 23/4 + -119/20. Is i at least as big as c?
False
Let c(f) = f**3 - f**2 - 1. Let p be 15/(-3)*4/(-10). Let h be c(p). Is 4 <= h?
False
Let d = 0.112 + 0.528. Let q = -1.4 - -0.7. Let y = d + q. Is y equal to 0?
False
Let v(y) = -y**3 + 