Let t(h) = -h**3 + 2*h + 1. Let f be t(-1). Let r be f/2 + l/4. Are r and 1 nonequal?
True
Let b = -1460/7 + 208. Which is bigger: 0 or b?
0
Suppose 5*o + 13 - 63 = 0. Which is smaller: o or 8?
8
Let f be 8/(-2) - (-616)/165. Which is greater: -1 or f?
f
Let o = -47 + 657/14. Suppose -2*j = 2*j - 4. Which is greater: o or j?
j
Let j = 2/111 + 103/444. Let n = 0.1 + -0.2. Is n > j?
False
Suppose 3*j - 2*g - 2 = 0, 4*j + 2*g + 1 = g. Let z(k) = k - 4. Let t be (-2)/(-4)*2*4. Let v be z(t). Do j and v have different values?
False
Let t = 4 + -6. Let y be ((-6)/(-9))/(t/9). Let b be (-2)/27*18/y. Is b > -1?
True
Let q(t) = -t**2 + 3*t - 1. Let f be q(3). Is 2/95 at least f?
True
Let u = 0 + 0. Let z be 1 - (0 + u + 0). Let o be (4/20)/(22/10). Which is smaller: o or z?
o
Let z(i) = -61*i**2 + 3*i - 2. Let x be z(1). Do x and -59 have the same value?
False
Let j be (-4)/26 - 91/507. Suppose -6*y = -2*y. Which is smaller: y or j?
j
Let i be (-44)/(-7) + 2/(-7). Suppose 3*u - 4*c = c + i, -3*c = 0. Which is smaller: u or 3/2?
3/2
Suppose 0 = 3*p - 3 - 12. Suppose 0 = p*l - 0*l. Which is greater: -2/9 or l?
l
Let y = -118 - -100. Is y less than or equal to -0.1?
True
Suppose 2*a - 3*a - 17 = -4*m, 3*m + 4*a - 27 = 0. Do m and 4 have different values?
True
Suppose 0 = -z + 2. Let b be -1*z/(-4)*-2. Which is smaller: b or 1?
b
Let l(v) = -58*v**2 - v. Let k be l(1). Which is greater: k or -58?
-58
Let b be 3/((-436)/40 + (-6)/(-15)). Let j = -9 + 2. Which is smaller: b or j?
j
Let d be (-16)/40 + (-2)/(-10). Suppose -a + 2 = 0, 4*n - 2*a + a = 6. Suppose -h - 1 = -n. Is d less than or equal to h?
True
Let w = -103/56 + 17/8. Let g = 1610/13 + -124. Does g = w?
False
Let g(r) = r + 2. Let h be g(-7). Which is smaller: h or -4?
h
Let y be -1 + 3 + (-4)/8. Which is bigger: -1/11 or y?
y
Suppose 4*x + 20 + 4 = 0. Are -9 and x unequal?
True
Suppose 5*t = -4*y - 57, -2*t - 2 = -0*t. Is -12 at least y?
True
Let v(n) = -3*n - 4. Let a be v(-4). Let h(k) = 10 + 4*k + k**2 - 5*k - 5*k - 3*k. Let b be h(a). Which is bigger: b or 3?
3
Let p = 3.7 - 1.7. Which is smaller: -3/7 or p?
-3/7
Let d(h) = 21*h + 4. Let r be d(-1). Is r less than or equal to -17?
True
Let n be (-12)/(-66) - 13/11. Let q be (1 - 2 - n)/(-1). Is 0 less than q?
False
Let r be 14 + ((-1)/1 - -4). Suppose 0 = u - 4*b + r, -5*b = -u - 37 + 15. Is 3 at least as big as u?
True
Let t = -3.5 + 3. Let j = t + 0.4. Let x = -9.9 + 10. Is j >= x?
False
Let q = -0.055 + 5.455. Let l = q - 5. Are -1 and l unequal?
True
Let f(q) = -q**3 + 4*q**2 + 6*q - 3. Let y be (-1 + -1)/(4/(-6)). Let m be 5/(y + (-4)/2). Let h be f(m). Is 6/11 >= h?
False
Let r be 1/(4*(-2)/(-16)). Suppose -r*d = -13 + 11. Which is smaller: 2/9 or d?
2/9
Let i(j) = j - 15. Let o be i(8). Is -7 >= o?
True
Suppose 2*h = -h - 6. Suppose 3*f - 8*f = -20. Let s = -7 + f. Which is smaller: h or s?
s
Let a be 34/8 - 3/12. Let o = -2 + 5. Suppose -5*z + s + 18 = 4*s, -3*s = o*z - 12. Which is smaller: z or a?
z
Let a be 18*-2*3/12. Let y = a + 28/3. Is 4 smaller than y?
False
Let r = 1.18 - 1.4. Which is smaller: r or 2/5?
r
Let m = 0.01 + 2.99. Let v = -0.37 - -2.37. Is v greater than m?
False
Let f be (11/4)/((-5)/(-20)). Suppose 3*v = -4*q + 15 + 2, -4*q - f = -v. Suppose 4*p = -2*n + v*p + 17, 2*n = -p - 3. Is n smaller than -1/16?
False
Let x be 0 - ((-2)/(-6) - 0). Suppose -1 = -3*z - 4. Which is greater: x or z?
x
Suppose -3*h - 76 = -19. Let v = 12 + h. Let z(p) = p**2 + 8*p + 9. Let x be z(v). Is 1 >= x?
False
Let p(a) = a**2 - 3*a. Let y be p(3). Let d = -1/6 + -1/3. Are y and d unequal?
True
Suppose q - p = -1, 4*q - 50 + 19 = -3*p. Suppose -15 = q*b - b. Let o be 4/b*(-12)/(-16). Which is bigger: -1 or o?
o
Suppose -3*l + 3 = 0, -2*u - 3*l + 3 = -6*u. Let j be 3 - u/((-2)/2). Suppose 4*a = j*s + 20, -s + a + 4 = 9. Is 3/8 greater than s?
True
Let d = -2.25 + 0.35. Let y = 0.4 + -2.4. Let j = y - d. Is j smaller than 2?
True
Suppose 2*b + 1 + 1 = 0. Suppose -7*u = -5*u - 26. Suppose 4*q + u = -o, 6*o = -5*q + o - 35. Which is bigger: q or b?
b
Let d(j) = j**3 + 5*j**2 - 6*j + 5. Let f be d(-6). Let r be (4/(-30))/((-1)/f). Which is greater: r or 1?
1
Let q = -0.14 + 0.1. Let r = 0.04 + q. Which is greater: r or 11?
11
Let b be -1*(-20)/(2 + 2). Suppose b*p = 7*p + 10. Is p not equal to -1?
True
Suppose -4*v - 5*m - 11 = -34, -3*v = -m - 41. Which is greater: 2 or v?
v
Let a = -25325/117 + 601/13. Let k = a - -170. Which is bigger: 1 or k?
1
Let a be 9/6*(2 + -6). Let v = a + 3. Which is smaller: v or -2?
v
Let y = 6359/762 - 3/254. Let g = -9 + y. Which is greater: g or -1?
g
Let f = 0.8 - 10.8. Let g = -9.9 - f. Is g >= -9?
True
Suppose -3 = -4*c - 7. Which is smaller: c or 19?
c
Let j(b) = -b**3 - b**2 + 3. Let v be j(0). Suppose -4*t + 8 = 4*n, -2*n + 3*t = -8 - 1. Is n equal to v?
True
Let i = 92 - 88. Which is greater: 2/5 or i?
i
Suppose 57 = -y + 41. Is y greater than -47/3?
False
Let o(z) = z**2 + 8*z + 1. Let h be o(-7). Let i = h + 5. Let p = -3 - i. Is -3 < p?
True
Let w = 0.272 + 0.028. Is w at most -16?
False
Let c = -1/29 - 27/58. Let x = -1 - 0. Which is smaller: x or c?
x
Let h = -184.5 + 184. Which is bigger: -11 or h?
h
Suppose -5*c + 0*c + 15 = 0, 5*c - 21 = -2*l. Suppose -4*x = -3*x - l. Is x at most 3?
True
Let n(y) = -y**3 + 3*y**2 - 4*y + 4. Let t be n(4). Let b be t/(-35) + (-1)/2. Is b bigger than -1?
True
Let z = -1.43 - -1.5. Let y = 0.09 - z. Let h = -4.98 - y. Which is smaller: 0.1 or h?
h
Let s be ((-18)/(-9))/(-1 - 1). Which is greater: s or -2/37?
-2/37
Let s = -34.2 + 34. Which is smaller: 1/19 or s?
s
Let d be (2/(-3))/(6/(-18)). Suppose -2 = -5*t - 3*h, d*t - h - 4*h = 7. Let b be (-9)/12 - t/4. Which is smaller: b or 0?
b
Let v be (-3)/(-165)*(-1446)/2. Let a = -325 + 1562/5. Let p = v - a. Is -1 smaller than p?
True
Let q = 0.19 + -0.09. Is q smaller than -12?
False
Let g = 8 - 6. Suppose 0*l + g*q - 21 = 3*l, 2*q + 24 = -2*l. Let b(n) = -n**3 - 10*n**2 - 9*n + 3. Let o be b(l). Which is bigger: 4 or o?
4
Let k(a) = -2*a - 41. Let t be k(-20). Which is bigger: 3/14 or t?
3/14
Let v be (-10)/(-30) + 7/(-3). Which is bigger: v or 2?
2
Let c(m) = -m**2 + 7*m. Let x be c(6). Let q be ((-1)/(-9))/(5/x). Which is greater: q or 1?
1
Suppose 6*v - 1 = c + 4*v, -7 = -3*c - 4*v. Let t = -4 - -4.8. Which is smaller: t or c?
t
Let h = 5.3 - 8. Let f = h + 3. Let v = 165 - 164.9. Is v at least f?
False
Let m be (-10)/15 - 194/6. Let v = 63/2 + m. Which is bigger: -1 or v?
-1
Suppose -6 = 2*x - 2. Which is smaller: -1 or x?
x
Let p = 3 + -6. Let n be (2/p)/(-2)*-1. Is 0 less than or equal to n?
False
Let j be 10/(-4)*2/4. Let s = 0.2 + -1.2. Which is greater: s or j?
s
Let a = 6.8 + -7. Let r = -47 - -41.2. Let d = 6 + r. Are a and d unequal?
True
Let h = -2 + 1. Let t be (-5984)/84*(-6)/4. Let c = t - 107. Does c = h?
False
Let v be 46/(-76) - 1/(-2). Which is smaller: 1 or v?
v
Let v(s) = 2*s + 6. Let k be v(-4). Let o(a) = a**3 + 2*a**2 + 3*a + 2. Let p be o(k). Let l be (-1)/p + (-9)/132. Which is bigger: -0.1 or l?
l
Let g(w) = -w**3 - 7*w**2 - 8*w + 4. Let t be g(-4). Let r be (10/(-8))/((-2)/24). Let h be ((-1)/r)/((-8)/t). Is -1 less than or equal to h?
True
Let r(m) = -3*m + 1. Let y be r(2). Which is smaller: -7 or y?
-7
Suppose 5*m - m - v + 94 = 0, -5*m - 124 = 2*v. Which is smaller: -71/3 or m?
m
Let x = 8.09 + -0.09. Let r = 8 - x. Are 0.1 and r equal?
False
Suppose 4*h = -4*o + 3*h, 0 = 2*o - 2*h + 10. Let y(q) = -q**3 + 4*q**2 - 5*q + 4. Let s be y(3). Which is greater: o or s?
o
Suppose 0*n = -2*n - 2. Let h be (-14)/18 + n/(-3). Is 1 greater than h?
True
Let i = 6 + -8. Suppose -4*a = -0*a + 4. Do i and a have different values?
True
Let s be (3/(-45))/(2/69). Is -1 at least s?
True
Let z = -28/279 + 10/31. Which is smaller: 0.23 or z?
z
Suppose 7 = -5*b + 32. Suppose -3*u - 5*t = -6*u + 30, u = b*t + 20. Which is smaller: u or 6?
u
Let y(r) = -4*r**2 + 4*r - 2. Let l be y(2). Is l < 0?
True
Suppose -6*d + 16 = -2*d. Let y(m) = m - 3. Let a be y(d). Is 2 not equal to a?
True
Let n(m) = -m - 3. Let q be n(0). Let u be (2 + -1*4)*1. Is u bigger than q?
True
Let d be (-4)/10 - 48/5. Let u = -83 + 73. Is d >= u?
True
Let f = -2.3 - 0.7. Let v = -43 + 42.8. Which is bigger: v or f?
v
Let v be 