reater than k?
False
Let j = 15 - 15.3. Let p = 0.04 + -3.04. Let t = p - -3.1. Which is smaller: j or t?
j
Let g = 10 + -12. Let s = -1.9 - g. Let j = 3 - 4. Which is bigger: s or j?
s
Let x be ((-4)/(-6) - 0)*6. Let m = 10 - x. Which is smaller: 7 or m?
m
Let y = 0.6 - 1.6. Let k = y - -1.3. Which is greater: k or 0?
k
Let q be 2/(4*4/72). Are q and 8 non-equal?
True
Let k = 34 + -33.93. Which is smaller: k or 2?
k
Let h = 101.39 - 101. Is -0.1 at most h?
True
Let f(v) = -v**2 - 11*v + 16. Let g be f(-12). Which is smaller: g or 0.2?
0.2
Suppose -24*j + 25*j + 21 = 0. Are -19 and j nonequal?
True
Let s(v) = v**2 + 3*v - 4. Let f be (1 + -4)/((-6)/(-8)). Let u be s(f). Let l(p) = p. Let y be l(u). Is -2/5 greater than y?
False
Let v be (-8)/(-12) - ((-11)/(-6) + 1). Which is smaller: v or -2?
v
Let z = -0.21 + 0.21. Which is bigger: z or -3?
z
Let r(f) = -9*f**3 + 3*f**2 - 4*f - 1. Let m(p) = 8*p**3 - 2*p**2 + 3*p + 1. Let c(y) = -3*m(y) - 2*r(y). Let i be c(-1). Is 3 greater than or equal to i?
False
Let b = -65243194/375 - -173982. Let h = 2/125 - b. Which is smaller: h or -1?
-1
Let n be (-152)/(-20) + -4 + (-88)/(-20). Which is smaller: n or 9?
n
Suppose 4*z - 1 = -4*v + 3, v = 3*z + 13. Let i(a) = 3*a**3 - a + v*a**2 - 4*a**3 - 2*a. Let g be i(3). Which is greater: -2/17 or g?
g
Let c be (-682)/363 - (1 + -3). Is c at least 0?
True
Suppose -2*o + 3*o = -3. Suppose -4*u + 3*u + 4*a + 7 = 0, 0 = 3*u + 3*a + 39. Let b be (15/u)/((-2)/(-3)). Which is smaller: b or o?
o
Let i = -184 + 171. Which is greater: -0.2 or i?
-0.2
Let z = -44 - -45. Which is bigger: z or -4?
z
Suppose -3*h - 4 = -4*x, 4 - 20 = -2*x - 2*h. Suppose x*p - 4*u = -3*u - 3, -4*p + 6 = 2*u. Which is smaller: p or -1/8?
-1/8
Suppose 2*h + 3*m + 6 = -0*h, -5*h + m + 2 = 0. Which is smaller: h or -4/9?
-4/9
Let i = 10 + -20. Let d = -9.9 - i. Is d at least as big as 7?
False
Suppose 4*q + 12 = 3*f + f, 0 = 4*q - f + 3. Let g be (-21)/(-114)*(-92)/161. Do g and q have the same value?
False
Let h(y) = -y**2 - 9*y + 11. Let z be h(-10). Let u(n) = -n + 5. Suppose 3*o - 6 = 3*c, c + 12 = -2*o + 5*o. Let r be u(c). Is r bigger than z?
True
Let a be 52/80 - (-2)/(-5). Which is smaller: -0.3 or a?
-0.3
Let j be 2/(-1)*275/22. Which is greater: j or -24?
-24
Let j = 179/118 + -1/59. Let p = 0 - -0.05. Let l = 0.05 + p. Which is smaller: j or l?
l
Suppose 6*l - 42 = 8*l. Let n = 65/3 + l. Let x = -2 + 0. Which is bigger: x or n?
n
Let m be (-10)/105*-7 - 182/(-6). Which is smaller: m or 3?
3
Let c = -300 + 5702/19. Let m = -14 + 8. Let u = m + 7. Are u and c equal?
False
Let b be (4/5)/(10/25). Let s be ((-1)/(-1))/(3/b). Let g = -4 + 1. Is s < g?
False
Let i = -42.2 + 39. Let p = 3 + i. Let k = p + 0.1. Which is greater: 1/2 or k?
1/2
Let i be 2/14*59/(-15). Let m = -7/15 - i. Is m at least as big as -1?
True
Let o = -0.12 - 0.08. Let m = -13/4 + 121/36. Which is smaller: o or m?
o
Let v(f) = -f**3 - 3*f**2 + f + 6. Let b be v(-2). Suppose 0 = 2*i - 0*i. Suppose i = -0*a + a. Is b less than or equal to a?
True
Let j be 46/14 + (-10)/35. Suppose -m + j = -0*m. Let l = 7 + -5. Are l and m unequal?
True
Let d be (-59)/(-236) + (-2)/((-112)/(-22)). Let o(g) = -g**2 + 3*g + 2. Let f be o(2). Let s be f/(-12) + (-1)/(-3). Which is bigger: d or s?
s
Let b be (-1)/((-1)/(-1 - 2)). Suppose 0 = 2*h - 1 + 3. Let p be 1*h - (b + 3). Is p > 0?
False
Let w(r) be the third derivative of r**4/24 - 4*r**3/3 + 2*r**2. Let p be w(0). Let s(l) = l**3 + 9*l**2 + 9*l + 8. Let b be s(p). Is b > 1?
False
Let a = 241/55 - 21/5. Suppose f + 1 = 3. Suppose f*m - m = -1. Are a and m non-equal?
True
Suppose i = 2*h + 109, 3*h - 5*i = 2*h - 41. Let b be -4 + (-1580)/(-25) - (-4)/(-2). Let x = b + h. Are x and 0 equal?
False
Let w = -4 + 6. Suppose -2 = -w*f + 6. Let q = f - 6. Are q and 0 nonequal?
True
Let f be -1 + ((-12)/(-4) - -13). Let g be 1/f + 11/33. Which is smaller: g or 1?
g
Let x be 1 - ((-35)/(-33) - -1). Let g = -8/11 - x. Which is smaller: 1 or g?
g
Let a = 22 + -14. Let x(l) = -l + 10. Let k be x(a). Suppose 0 = 5*y - 10*y. Which is smaller: y or k?
y
Let p = 3.77 + -0.17. Let k = -2 + 1.4. Let u = p + k. Which is greater: -0.1 or u?
u
Let b be (-2)/(-3) + (-5)/(-15). Which is greater: b or -1/5?
b
Let f be (1 + 5)*3/6. Suppose 0 = f*o - 11 - 7. Let a be (-2)/o*(-6)/(-21). Is -1 >= a?
False
Suppose -2*y + 4 = -3*y. Let q(w) = w**3 + 4*w**2 + w + 1. Let u be q(y). Is u at most -3?
True
Let i(q) = q**3 - 7*q**2 - q + 6. Let s be i(7). Let o = 48588/43 + -1130. Is s < o?
True
Suppose -4*l + 20 = -9*l. Let f be (-1)/4 + (-17)/l. Is f at most 4?
True
Let a(n) = n**2 + 6*n - 1. Let y be a(-6). Let j be (y/1)/((-2)/(-10)). Do j and -4 have the same value?
False
Suppose 3*p - 6*p = 24. Let q(k) = k + 10. Let w be q(p). Is -1 >= w?
False
Let b = 21 + -22. Is b equal to -8/31?
False
Let n be (4/(-6))/(2/(-3)). Let i be ((-18)/(-27))/((-4)/(-90)). Let v be (i/(-10))/(3/(-2)). Is n < v?
False
Let x be (-6)/(-2) + 3969/(-1302). Are x and -1 nonequal?
True
Let b(k) = -k**3 - k**2 + k. Let n(g) = 3*g**3 + 2*g**2 - 5*g - 2. Let s(f) = 4*b(f) + n(f). Let x be s(-2). Suppose -5*a + 20 = -x. Are a and 3 equal?
False
Suppose -5*w + 9*w = 8*w. Is -1/5 at most w?
True
Suppose -230 = -4*r - 2*b, 2*r - 6*r + 231 = 3*b. Let x = r + 125. Let u = 914/5 - x. Is 1 != u?
True
Let n be (-80)/(-28) - (1 + 1). Is 2 >= n?
True
Let w be (-12)/9 + 2/(-3). Let o = 6 + w. Let r = o + -4. Is -1 greater than or equal to r?
False
Let m(v) be the first derivative of -9*v + 1/2*v**2 + 2. Let c be m(7). Is -2 equal to c?
True
Let c = -2.1 - -2.05. Let o = 1.3 + 4.65. Let x = c - o. Is -1 greater than x?
True
Suppose s = -s. Suppose s = 3*k + k - 20, 5*k - 31 = -3*r. Suppose 2*a + 2*a - x + 2 = 0, -2*a + 2*x = -r. Which is smaller: -2 or a?
-2
Let v(n) = -n**2 + 3*n - 3. Let c be 15/(-6)*(-16)/10. Let s be v(c). Which is smaller: -8 or s?
-8
Suppose 2*j - u = 3*j + 4, -2*j = 5*u + 14. Let i = j - -3/2. Let h be 1/3 - (-2)/3. Is i < h?
True
Let o = 544 + -1035/2. Is o greater than 26?
True
Let x be (-46)/14 + 6/21. Let f be 0/(1/(x/(-6))). Which is smaller: f or -2/7?
-2/7
Let p be (-4)/(1 + -3) + 1. Suppose 0 = 4*x - x - p. Which is bigger: x or 1/6?
x
Suppose -5*i = -3*i. Let b be (i + (-2)/(-26))*3. Is b greater than or equal to -1?
True
Let u = 0.011 - -9.989. Is -0.4 bigger than u?
False
Let x = -4 - -3. Let i = 1.98 - -0.02. Let u = i + x. Are u and -2/5 equal?
False
Let z = 6.01 - 6. Which is greater: 1/3 or z?
1/3
Suppose 3*s - 29 = 2*h, 15 = 3*s - s + 3*h. Suppose 6 = -3*o - s. Let m(p) = -2*p + 25. Let r be m(15). Is o > r?
False
Suppose 9*k - 6*k + 3 = 0. Does k = -1/30?
False
Suppose -3*v - 2 = 1. Let m be v*(3 - (1 - -1)). Which is bigger: -5/3 or m?
m
Let u(b) = -b**2 + 7*b - 4. Let k be u(5). Let x = k - 6. Is 0 < x?
False
Suppose 3*y + 14 = 5*s, 3*s + 1 = 3*y + 13. Let m = 20 + -11. Which is greater: s or m?
m
Let l be (-2)/(-6) + (-3)/9. Let w be 4/(-9) - (0 + l). Which is smaller: w or 0?
w
Let f = -21 - -30. Let m = 14 - f. Which is smaller: 4 or m?
4
Suppose g + 4*v + 32 = 0, -2*g + 6*v = v + 38. Is -22 less than g?
False
Let b = -532/5 + 558/5. Let v = -99/20 + b. Are 1 and v unequal?
True
Let j be (-1 + 1/(-2))*4. Let l be j/27 - (-50)/(-18). Is l at most as big as 1?
True
Let h(n) = n + 5. Let f be h(-5). Let c = f - 0. Suppose c*r + 1 = r. Which is smaller: r or 2?
r
Let o be (-2)/4*10/(-1). Let a(h) = -h + 2. Let f be a(0). Let n = f - o. Does n = -3?
True
Suppose 0 = 4*d + 15 + 5, -o - 2 = d. Suppose -3*k - 4*l = o, 5 = -5*k - l - 0. Let g be (-2 - -5)*6/(-27). Is k bigger than g?
False
Let f = -16 + 19. Do 4 and f have different values?
True
Let j = -5 + -3. Are -9 and j non-equal?
True
Let i = -597/5 - -119. Is i <= -3/2?
False
Suppose -2*r = -p - 6*r + 4, -3*p + 1 = r. Let c be 6/(-7)*-1*(-10)/(-15). Which is greater: c or p?
c
Let f be ((-14)/21)/(40/36). Which is smaller: f or 0?
f
Suppose 4*a - 4*h = h + 12, 3 = a + 4*h. Let y = a + -8. Which is smaller: y or -6?
-6
Let m = -174 - -174. Which is smaller: -2 or m?
-2
Let l be 2 + (5 + -8 - -9). Is l smaller than -2?
False
Let d = 21263/7 + -3032. Let o = -103/21 + d. Let t = 1 - o. Which is smaller: 1 or t?
t
Let t = -21 - -18. Let h(c) = c**2 - 6*c + 2. Let