 Which is greater: -2 or i?
i
Let u be (0 + 4/66)*3. Which is smaller: 1 or u?
u
Let q = 0.46 + -0.56. Are q and -3 non-equal?
True
Let r = 3.9 + 0.1. Let h = 4 - r. Let v = h - -1. Which is greater: v or -1/4?
v
Let u be (-10)/2*17/(-119). Suppose 8*k - 3*k = 10. Does u = k?
False
Suppose 0 = -2*z - 4*a - 508, 197 = -z + 3*a - 82. Let r = z - -2907/11. Which is smaller: -1 or r?
-1
Let l = 45 + -44. Is 4 < l?
False
Let n be ((-117)/(-6))/((-7)/10). Let h = -27 + 54. Let q = h + n. Which is smaller: q or -2?
-2
Let s = 0 + 0. Suppose 2*b - 5*m = -b + 29, 16 = -4*m. Suppose 2*a + a = b. Is a != s?
True
Suppose 0 = -4*i + 9 - 13. Let z = -357/5 + 71. Is i > z?
False
Suppose -2*s - 5*l + 3 = 0, 4*s = -l - 2*l - 1. Which is smaller: s or 1/30?
s
Let d be (-4)/14 - 52/14. Let t be 1 - ((-1630)/d)/(-5). Let g = t - 84. Which is smaller: -1 or g?
g
Let q = -8.13 - -8. Are q and 1/4 non-equal?
True
Suppose -23 = 2*n + 3*g + 29, g + 117 = -5*n. Which is smaller: n or -21?
n
Let z be (8/14)/((-2)/(-7)). Suppose 4 = -t + 3*t. Is t bigger than z?
False
Suppose 4*p = 3*r - 26, -2*p + r - 8 = 4. Let g be 6 + p - (-5 + -1). Does 8 = g?
False
Suppose -2*s - 46 = -4*q - 2, 5*s = 10. Suppose i + q = -3*i. Which is smaller: -4 or i?
-4
Suppose 2*g - 4 = 6*g. Let j be (-1)/22*(-5 - g). Is j <= 0?
False
Let l = -1.997 - 0.003. Is l greater than -1?
False
Let c be (28/(-15) - -2)*-5. Which is smaller: c or -3/2?
-3/2
Let u = 35 - 30. Suppose -20 = -6*p + 2*p. Is u greater than p?
False
Let r be -2 - 2/(-6)*0. Let l = 4 + r. Let s be l/5 + (-28)/(-5). Which is bigger: s or 5?
s
Let c(b) = b**2 - 3*b - 8. Let m be c(6). Which is greater: 8 or m?
m
Suppose 42 + 9 = 3*o. Let p = -10 + o. Let x = 8 - p. Is 2 bigger than x?
True
Let m be (15/6)/(1/2). Suppose 0 = -0*p - m*p. Do 1/7 and p have different values?
True
Let n be (-3 - 1) + (-52)/(-14). Is n bigger than 0?
False
Let j(d) = -d**3 - 6*d**2 - d - 3. Let p be j(-6). Suppose -1 + 19 = p*u. Let a be u/9*(-6)/28. Are -1/3 and a equal?
False
Let p be (1/9)/(24/16). Do 1 and p have different values?
True
Let d be 22*(-3)/(9 + -3). Let v be 3*(-2 - -3)/d. Which is smaller: -1 or v?
-1
Let c(h) be the third derivative of h**4/8 + h**3/2 - 2*h**2. Let j be c(-3). Which is smaller: -5 or j?
j
Let l be 1/(-7) - (-3256)/154. Which is greater: l or 22?
22
Suppose -4 + 2 = -2*j. Is j < -0.1?
False
Suppose 3*a - 9 + 12 = 0. Which is smaller: 0 or a?
a
Let a(h) = -2*h**3 - h**2 + h + 1. Let x be a(-1). Let n be ((-1)/((-12)/(-8)))/((-14)/(-3)). Which is greater: n or x?
x
Let s = 6 + -4. Suppose 2*h = u - 4*u + 9, -26 = -4*h + s*u. Suppose 4*j - h = k, 12 = 3*j + 2*j + k. Which is bigger: 3/2 or j?
j
Let q = -151 - -67. Is q at least -82?
False
Let l = 0.897 + 0.103. Are l and 7/4 equal?
False
Let b be 1 - ((2 - 2) + 8). Let t(q) = -13*q + 10. Let y be t(b). Let u = -703/7 + y. Which is smaller: 0 or u?
0
Let r = -9 - -10. Which is bigger: -2/7 or r?
r
Let a be (-9)/24*4/6. Which is greater: a or -4?
a
Let z = 0 + 11. Let c = -19 + z. Let h be ((-4)/c)/(17/4). Is h >= -1?
True
Let z(p) = 13*p + 196. Let h be z(-15). Let x be 2/(-7) - (-24)/70. Which is smaller: h or x?
x
Suppose 4*h - 2*h - 10 = 0. Let n = -2 - -8. Is n less than h?
False
Let x(j) = j**3 - 2*j**2 + 2*j. Let u be x(3). Let k be 6/u*(-15)/(-4). Do k and 3 have the same value?
False
Let r = 19 + -20. Which is smaller: 11 or r?
r
Let y = 40864/12285 - 8/2457. Let j = -17/5 + y. Is j <= 0?
True
Let r be 14/(-105) - (-2)/15. Let x = 9 + -16. Let q = 6.7 + x. Which is smaller: q or r?
q
Suppose 7*t = 4 - 11. Is -6/25 < t?
False
Let v = 90051/67 + -1344. Let t = v + -216/335. Which is smaller: -2 or t?
-2
Let x = 17 - 6. Is x != 11?
False
Let l = -0.2 - -0.15. Let q = 0.45 + l. Let p = -0.3 + q. Which is smaller: p or 0.2?
p
Let s be 2 + -1 + (1 - 0). Suppose -4*v = 2*h - 3*v - 5, -5*h + 4*v = 20. Suppose -2*b = q + 4 - 17, 2*b + 4*q - 28 = h. Do s and b have the same value?
False
Let z = -207/25 - -17584/2175. Let t = -4/29 + z. Which is bigger: -1 or t?
t
Let h = 1 - 2. Let l = 3 + h. Let p = 2 - l. Which is bigger: p or -0.1?
p
Let a = -0.045 + -0.185. Let h = a + 0.2. Let s = h + 0.23. Which is bigger: 2/7 or s?
2/7
Let l = 353/3 + -119. Let x = -2 - l. Does x = -1?
False
Let c be (-4)/(-1)*3*-1. Let t be ((-8)/(-6))/((-56)/c). Is t at least 0.09?
True
Let w = 26.2 - 26. Let d = -6 + 8. Let f = -3 + d. Are f and w unequal?
True
Let w(r) = r**3 + 4*r**2. Let t be w(-4). Are t and 4 unequal?
True
Let v = 5 + -5. Suppose v = -3*l + 4 + 26. Suppose -4 = t, -2*s + 0*t + l = -t. Which is smaller: 2 or s?
2
Let t(i) = -7*i - 4. Let l be t(-2). Suppose 6 - 1 = o + r, -2*o + 2*r = -l. Are 5 and o equal?
True
Suppose 0 = 3*y - 3*d - 3, -d = -4*d + 9. Let t(z) = z + 4*z - y*z - 3. Let g be t(0). Is g >= -2?
False
Let z = 437/2 - 4751/22. Let r = 173/55 - z. Let n = 1 - 3. Is r at least as big as n?
True
Let b(t) = 2*t**2 + 6*t - 1. Let a be b(-3). Which is bigger: a or 3/44?
3/44
Let j = -193 + 1735/9. Let a(x) = x**3 - 11*x**2 + 18*x + 1. Let q be a(9). Which is smaller: q or j?
j
Let a be ((-8)/48)/(2/3). Is a less than -3?
False
Let f = -0.044 + 0.044. Which is smaller: 15/4 or f?
f
Let g be 2/6*(-1 + 4). Let s be 50/(-14) - (8 - 12). Which is greater: s or g?
g
Let o be (-20)/616 + 4/(-22). Let m = o + 19/56. Is m < 0?
False
Let b = -33.21 - -33. Let j = b - -0.21. Is 2/7 less than or equal to j?
False
Let k(b) = b**2 - 2*b + 2. Let z(g) = g**2 - 10*g + 2. Let n be z(10). Let j be k(n). Suppose 0 = m + 2, 4*y + j = 2*y + m. Does y = -4?
False
Let u(c) be the second derivative of c**3/2 - 3*c**2/2 - 2*c. Let t be u(5). Suppose 2*i = -2*i - t. Does i = -2?
False
Let n = -97 - -131. Which is smaller: n or 32?
32
Let t be (6/(-28))/((-24)/16). Is t smaller than 0?
False
Let h = 2 + -12. Which is smaller: 0 or h?
h
Let u be 3/((-15)/2)*1. Suppose 3*t = 48 - 15. Suppose -2*i + 20 = 4*m, -5*m + 25 - t = -3*i. Are i and u non-equal?
True
Let h = 27 - 15. Suppose -2*r + h = -0*a + 3*a, -4*a = -16. Let p = -16 - -22. Which is smaller: p or r?
r
Let y = -5/471 - 7957/4710. Which is smaller: y or -3?
-3
Let s = -1 - 5. Let m be ((-20)/8)/(1/2). Which is smaller: s or m?
s
Let l be 99/12 + -7 + -1. Suppose 0 = 3*m + m. Are l and m unequal?
True
Let s be (-8)/111*(-3)/(-6). Let r = 266/1221 + s. Is r < 0?
False
Let z = 17.3 + -17. Which is smaller: z or -0.2?
-0.2
Suppose 0*u = -5*u - 3*f + 4, 0 = 3*u - f + 6. Let s be (-707)/(-140) - 1/(-4). Let y = -987/190 + s. Which is bigger: u or y?
y
Let r = -7.05 + 7. Which is smaller: r or -1/3?
-1/3
Suppose 5*v = 4*k + v + 60, 3*k + 51 = 5*v. Let p = -45 - -32. Is k greater than p?
True
Let p = 8.9 - 10. Let t = 0.1 + p. Is 2 <= t?
False
Let o(c) = -c**3 + 3*c + 2. Let w be o(-2). Suppose -a = w*a. Is -7/6 != a?
True
Suppose -3*v + 15 = -0. Let m(y) = -y**2 - 3*y + 4. Let f be m(-4). Suppose f - 1 = 2*b + p, v*p + 5 = 0. Are b and 0 nonequal?
False
Let d(y) = -2*y - 3. Let l be d(0). Are l and 3 equal?
False
Let o(d) = 112*d**3 - 2*d - 1. Let s be o(-1). Which is smaller: s or -110?
s
Suppose 5*a + 1 = -2*h, a + 2 = 1. Which is smaller: h or 3/2?
3/2
Let k = -5 + 10. Let b = 34 + -33. Which is smaller: k or b?
b
Let b = 1 - 4. Let u be 4/30*(b + 2). Let w(q) = -q + 6. Let n be w(6). Is n != u?
True
Let u be -2 - (3/4 - 3). Let n be (3/4 + -1)*-4. Are u and n non-equal?
True
Suppose 3*f + 0*f + 96 = 0. Let x be (3/12)/((-14)/f). Suppose 5*s - 3*b = 0, -s - 3*s = 3*b. Which is smaller: s or x?
s
Let g(o) = o**2 - o + 4. Let j be g(0). Suppose -y + 5 = j*y. Let c = 1.98 + 0.02. Which is bigger: c or y?
c
Suppose 0*s - 2*s = 4. Let a = s - -3. Let u = 0 + 2. Which is bigger: u or a?
u
Let h(j) be the first derivative of -j**4/4 - 10*j**3/3 - j**2/2 - 11*j - 4. Let p be h(-10). Let f be 4/6*(-6)/(-22). Which is greater: f or p?
f
Let i = -7.8 + -1.2. Let o = i - -9. Let a = -0.2 - 0.8. Is o at least a?
True
Let o = 25 - 22. Suppose 5*t = -2*f, 0 = -4*f - o*t + 6*t. Which is smaller: f or -4/15?
-4/15
Let x(g) = -g**2 - 7*g - 7. Suppose -5 = 5*b, -t - t - 3*b = 33. Let w be ((-18)/15)/((-3)/t). Let v be x(w). Is 0.3 equal to v?
False
Suppose 0*n - 5*n + 3*g + 29 = 0, 4*g + 12 = 0. Suppose -4*k - f + 10 = 0, 2*k + 0*k - n = -f. Let o be (0 + k)*