 = -6.22 + 1.22. Which is greater: h or k?
h
Let k = 7369 + -2350709/319. Which is smaller: k or -1?
-1
Let f(o) = 3*o - 3. Let v(d) = 7*d - 5. Let z(i) = 5*f(i) - 2*v(i). Suppose 0 = -4*c - 3*s + 29, 4*s - 9 = -3*c + 11. Let q be z(c). Are q and -1/2 non-equal?
True
Let r be ((-4)/(-20))/(4/20). Which is greater: r or 1/3?
r
Suppose -104 = -5*t + 2*d - 0*d, 2*t = 3*d + 46. Is 21 < t?
False
Let z = -215/117 + 11/9. Which is smaller: -1 or z?
-1
Let h be (18 - 4/(-2)) + 3. Let z = h - 91/4. Is -1 equal to z?
False
Let o = -0.4 - -1.9. Let u = o + -1.2. Which is greater: -2 or u?
u
Let t be (6 + 165/(-25))*(-15)/1. Is t not equal to 9?
False
Let r be 156*(117/(-162) + 2/9). Is r smaller than -77?
True
Suppose -3*g + 7*g - 12 = 0. Suppose g*k = -5 - 4. Is -2 less than k?
False
Let l(y) = 5*y**2 + 4*y + 6. Suppose h + 2 + 2 = 0. Let b be l(h). Let q be (0 + 4/b)*5. Is q smaller than 1?
True
Suppose 0 = -4*s - 4*o + 24, 3*o = -4*s + 4*o - 1. Which is smaller: -7/16 or s?
-7/16
Let o be 2/8 - (-27)/(-54). Are 3 and o nonequal?
True
Let j = 0.1 - 0. Let z = -770 + 1479/2. Let c = 31 + z. Is c >= j?
True
Let c be -1 + 8 - (-3 + 5). Suppose 5*p + 253 = 2*p + 5*z, -51 = p + c*z. Let j = p - -378/5. Is -3 at least j?
False
Suppose -4*v = -333 - 255. Let m = v + -287/2. Which is smaller: 5 or m?
m
Let x = 3 + 2. Suppose 1 = p, 4*f + x*p = 5*f + 6. Let m be f/((-10)/4)*5. Which is greater: m or 3?
3
Let j be (-15276)/32*33/45. Let i = 3679/8 + j. Let d = i - 108. Which is smaller: 1 or d?
1
Let b(y) = -y - 4. Let u be b(-4). Which is smaller: 2/55 or u?
u
Let b be ((-7)/(-1) + -6)/((-1)/3). Which is bigger: b or 5?
5
Let p(v) = -2*v**3 + 2*v**2 + 2*v. Let i be p(-2). Suppose 0 = 4*a + 4*n - i, -4*n + 15 = n. Let w be (-1)/5 - 13/(-15). Are w and a equal?
False
Let k(g) = -g**3 + 12*g**2 - g + 11. Let h be k(12). Let f(x) = -x - 3. Let c be f(-3). Is h at most c?
True
Let d = 1113/5 + -224. Suppose -5*t + 19 = -2*r, -r - 3*r + 3*t = 17. Are r and d equal?
False
Suppose -4 = 5*m - 5*z + 8*z, 4*m - z - 7 = 0. Which is smaller: m or -32?
-32
Let j = 20/3 - 31/6. Which is smaller: 3 or j?
j
Let f(v) = -3*v + 9. Let r be f(7). Let n be (-11)/(-4) - 3/r. Suppose 0*z - n = 3*z. Is 2/21 at least as big as z?
True
Let v = 0.103 - 2.063. Let u = 12 - 12.04. Let g = v + u. Is 0 smaller than g?
False
Let n be (2/16)/(3/(-6)). Is n < 1?
True
Suppose -4 - 5 = -3*k. Suppose 0 = 5*t - t + i - 9, -1 = -3*t + 5*i. Let b be t*(2 + k/(-2)). Is -4/9 less than or equal to b?
True
Let l = -13 + 9. Let m be (-44)/(-36) + l/18. Suppose 0 = p - 0*p. Which is greater: p or m?
m
Let d = 0.123 + -1.123. Which is smaller: -1.4 or d?
-1.4
Let l be 5/(20/(-16))*(-4 - -9). Which is bigger: -8 or l?
-8
Let l(f) = f**2 + 6*f - 1. Let b be l(-4). Let a be ((-3)/b)/(15/(-18)). Which is greater: -1 or a?
a
Let k(z) = z**3 + z**2 + 3. Let b(t) = -t**2 - t. Let r be b(-1). Let f be k(r). Let v be (-2)/4 - (-7)/2. Is v greater than f?
False
Let r be (-12*8/3)/(-2). Let p = r + -22. Is p less than or equal to -6?
True
Suppose 7*y - 3*y - 32 = 0. Suppose 0 = -5*c + c + y. Suppose -2*t + c*i - 6 = 0, -3*i - i + 12 = -5*t. Which is greater: -2/7 or t?
t
Let u = 4 - 8. Let j(i) = i**2 + 5*i + 6. Let h be j(u). Suppose 9 = 4*m + 7*a - 2*a, 0 = -2*m - 2*a + 4. Which is smaller: h or m?
m
Let a = 19 + -37/2. Which is smaller: a or 0.1?
0.1
Let q be 6/33 - 222/11. Is -20 at least as big as q?
True
Let b be 6/(-21) - (3 + -3) - 0. Suppose 4 = 2*h - 0*h - k, h + k = -1. Is b >= h?
False
Let y be -6 - 180/66 - -6. Is -2 at most as big as y?
False
Let j(c) be the third derivative of -c**7/5040 - c**6/360 + c**5/60 - c**2. Let h(p) be the third derivative of j(p). Let m be h(2). Are -1 and m nonequal?
True
Let o = 10 + -7. Let w = 8 + -7. Which is bigger: o or w?
o
Let w = -190 + 179.9. Let t = 10 + w. Which is greater: 0.03 or t?
0.03
Suppose 2*g = 2*t + 30, 2*g - 5*t - 32 = -2*t. Which is greater: g or 12?
g
Let m = -333 - -80587/242. Let b = -465/4598 - m. Which is greater: 1 or b?
1
Let f be (0 + 1)/((-3)/(-18)). Are 6 and f equal?
True
Suppose -2*w - 19 = -5*t, -w + 2*t = 4*w + 16. Which is smaller: 0 or w?
w
Let w = 5 + 5. Let b = -5 + w. Which is bigger: 2/7 or b?
b
Let w be ((-2)/(-2))/(-1)*0. Let j = -1 - w. Suppose -3*z + 14 = -n, z + 2*z = 2*n + 16. Which is bigger: n or j?
j
Let m = 6 - 7. Let k = m - -6. Are k and 0.2 unequal?
True
Suppose -119 = 5*f - 29. Do -18 and f have the same value?
True
Let a = -1690/7 - -241. Is -1/10 greater than a?
True
Suppose 6 = 3*b - 0*b. Let r be -1 + 10*b/36. Is -1 at least r?
False
Let w = -1.7 - -1.7. Do 3 and w have the same value?
False
Let r be 6/(-14) + (-38)/(-84). Let h = 25/42 - r. Is h <= 0?
False
Let y(w) = -5*w + 11. Let g be y(10). Which is greater: -42 or g?
g
Let b(s) = 3*s + 21. Let f be b(-11). Is -13 at most as big as f?
True
Let f(d) = 3*d**3 - d**2 + d + 1. Let q be f(-1). Let p(z) = z**2 + 4*z - 3. Let g be p(-4). Is q at least as big as g?
False
Let s = -6 - -7. Let c be 1/(s/2)*-1. Is -2 >= c?
True
Let z = 15 + -14.9. Is -1/3 bigger than z?
False
Let n = 9430868 - 20172627068/2139. Let a = -10/93 - n. Suppose -u = 2*p + 3, 12 + 6 = -2*p - 4*u. Which is smaller: a or p?
a
Let y be -2 - (0 - 4 - 1). Suppose -3*c + 12 = -3*v, 0 = c + y*c - 3*v - 11. Is -3/2 not equal to c?
True
Suppose -u + 0*o + 6 = 2*o, -5*u = 2*o - 38. Suppose -18 = -4*l + 5*j, -l - 3*j = -u*j - 12. Suppose -6 = 4*b - 3*h, -b + h - 6 = -l*h. Is b bigger than -2?
True
Suppose -5*z = -5*j + 45, 4*z + 2*j = z - 7. Let w(h) = -h - 2. Let c be w(z). Let d be ((-3)/(-6))/(c - 1). Are -1 and d non-equal?
True
Let o = -0.15 - 0.05. Let f = o - -0.2. Which is smaller: -2 or f?
-2
Let h = -263069/51 + 5158. Let v = 2/17 - h. Is v less than -3?
False
Let m be (-209)/42 + (-14 - -19). Is m <= 1?
True
Let v = -218 - -3705/17. Which is greater: 0 or v?
0
Let z = -1.22 - -1.4. Let h = z - 0.18. Which is greater: -0.1 or h?
h
Let w = 12 - 5. Let x = -7 + w. Suppose x = -k + 1. Which is bigger: 2 or k?
2
Let l = 6.5 - 5.5. Let p = -2.99 + 3. Which is greater: p or l?
l
Suppose 3*b + 54 - 18 = 0. Is b bigger than -12?
False
Let k = -16 - -26. Suppose -k = -3*j + 2*y - 4*y, 0 = -j - 3*y + 15. Is j bigger than 4/5?
False
Let c be ((-4)/(-24))/(2/76). Let p = 6 - c. Let d = 0.7 - 0.3. Which is smaller: d or p?
p
Suppose 2*s + 0*s + 10 = 2*k, s + 3 = 0. Suppose 8 = -2*b, -5*b - 9 = -k*i + 7. Are -1/2 and i equal?
False
Let p be (-212)/(-1260) - (-1 + 12/10). Is 1 less than p?
False
Let w = 649/210 + 26/35. Let q = w + -121/30. Suppose -5*f = -2*f + 6. Which is greater: f or q?
q
Suppose -4*f = -3 - 1. Suppose -1 + 17 = -4*c, 2*c - f = -3*s. Which is bigger: 2 or s?
s
Suppose -2*i + 9 - 19 = 0. Is i greater than or equal to -3?
False
Let x be (3/4)/(2/((-224)/91)). Which is smaller: -2 or x?
-2
Let h be (16/6)/(1/(-3)). Let p be -1 + 1 + (-57)/6. Let o = h - p. Which is bigger: 2 or o?
2
Let l(y) = -y - 37. Let z be l(-16). Which is greater: -23 or z?
z
Let o be (0 + 0)/(-1*1). Suppose 0*s - 20 = -5*s. Suppose -2*k = -s*k. Is o >= k?
True
Let c(z) be the first derivative of 4*z + 3 + 1/2*z**2. Let b be c(-5). Are b and 2/9 equal?
False
Let d be 4/(-6) - (-2)/3. Let k(x) = x**3 + 3*x**2 - x + 1. Let m be k(-3). Suppose a + m = 5*a. Does a = d?
False
Suppose -5*k = -6*k - 5. Suppose -2*p = 3 + 5. Which is greater: k or p?
p
Suppose -6*v = -v - 720. Let h be (1/3)/(8/v). Suppose -9*y = -h*y + 6. Do y and -3/5 have the same value?
False
Let c = -6 - -9. Suppose c*p = 5 + 7. Let f be (-12)/(-99)*(-6)/p. Is 0 > f?
True
Let t = 4 - 3. Let m be 6/(-4) + (2 - t). Is m smaller than -2?
False
Let y be ((-448)/(-24))/(-7)*33/(-2). Which is greater: y or 46?
46
Let s = -2.01 - -0.01. Let w = -1.8 - s. Let o = 0.1 - w. Which is greater: o or -2/5?
o
Let u be ((1 - -34) + -1)/2. Let z be 101/(-6) + 2/(-3). Let x = z + u. Does x = 0.2?
False
Let k be (-6)/(-16) - 6/(-112). Which is bigger: k or -0.19?
k
Let g(f) = -f. Let a be g(-3). Let r = a - 0. Suppose 0 = 5*k - 3*p - 16, 5*k + r*p = -0*k + 4. Is k less than 2?
False
Let q = -0.3 + -0.8. Let y = -1 - q. Are 0.2 and y equal?
False
Let t(k) = k**3 + 4*k**2 + 4*k + 3. Let r = 7 - 7. Let n(c) = -c**3 + c**2 - c - 2. Let q be n(r). Let f be t(q). Is f greater 