er than x?
False
Let m = 3.3 - 18.3. Let t = -9 - m. Let x = t + -5. Is -0.2 > x?
False
Let f = 16 - 14. Is -27 smaller than f?
True
Let i = -3/302 + 2141/2718. Which is smaller: 0 or i?
0
Suppose 0 = 8*w + 4*w + 12. Is 6/23 at most as big as w?
False
Let q = 1.07 + -0.07. Let y = q - 5. Is y less than or equal to -2?
True
Let z = -2 - 3. Let l = z - -4.9. Which is bigger: l or 11?
11
Let f = -5.98 - 0.02. Let d = f + 6.2. Are -1 and d equal?
False
Suppose 3*w + 12 = 7*w. Let l(v) = -v**3 - v - 2. Let z be l(-2). Let g = z - 5. Is g equal to w?
True
Let c = 7/8 + 53/8. Do c and 9 have the same value?
False
Let t be 0/(-3 - 2/(-2)). Suppose -d - 4 + 3 = t. Do d and -3/8 have different values?
True
Let s = 759/8 - 95. Which is bigger: s or 1?
1
Let l = -39 - -24. Which is smaller: -14 or l?
l
Let z = 82 + -76. Is z at least as big as 8?
False
Let z be 2/47*2/(-4). Are z and 0 equal?
False
Let v = 6824532/35 + -194960. Let p = v - 178/7. Let r(d) = -d**3 - 7*d**2 + d + 8. Let u be r(-7). Which is bigger: p or u?
p
Suppose 6*q = q - 85. Is q at most as big as -17?
True
Let n(o) = -o**2 + 4*o + 7. Let j be n(5). Let l = -5.753 + 0.053. Let h = l - -6. Which is greater: j or h?
j
Let w = 0 - -2. Let h = w - 2.1. Let d = -17/9 + 101/63. Which is smaller: h or d?
d
Let s = 16.87 - -0.13. Is -0.2 at least as big as s?
False
Suppose -z - 40 = -3*z. Suppose 5*k - z = k. Suppose -6 = 2*x - 2*y, 2*x + k*y = -0*y + 15. Which is smaller: x or 1/2?
x
Let h be ((-18)/(-16))/((-125)/(-20) - -2). Which is greater: -0.1 or h?
h
Let b = 6 - 13. Let v(n) be the first derivative of n**3/3 + 3*n**2 - 6*n + 1. Let l be v(b). Which is greater: l or -2/11?
l
Let c = 0.2 + 0.8. Let g = 1 + c. Let b = g - 1. Is -0.2 at least b?
False
Let h(b) = b - 2. Let t be h(3). Let z be ((-7)/7)/(-1*1). Suppose q - z = -2. Which is smaller: q or t?
q
Let n = -9251/10 + 923. Let x = n + 17/10. Let o = 0.1 - 0.1. Is x at most o?
True
Let q = 486.01 + -482. Let v = 0.01 - q. Which is bigger: 2 or v?
2
Let z(u) = -u**2 + 2*u + 1. Let i be z(3). Let d = -4 + 6. Suppose 3*t + 10 + 5 = -3*b, -3*t = d*b + 13. Is b at least as big as i?
True
Let n be 5/4 - 0 - (-2)/(-8). Let a be ((-2)/16)/(1/(-10)). Which is bigger: a or n?
a
Let a(o) = -2*o**3 - o - 2. Let b be a(-1). Which is smaller: -5/17 or b?
-5/17
Suppose 0 = 4*j + j - 10. Suppose -2*s - 2*o + 1 = 5, -2*o - 3 = 3*s. Which is smaller: j or s?
s
Let t(l) = -l**3 - 7*l**2 + l + 9. Let u be t(-7). Suppose -3*v - d = -9, -5*v + 2*d + 7 = -19. Let g be (2/v + 0)/1. Is u < g?
False
Let v = -305 + 6097/20. Are v and 1 equal?
False
Suppose -2*s + 2 = 0, s = 4*f + 152 + 25. Is -43 at least as big as f?
True
Let k be (3 + -7)/(-4)*-1. Are k and -1 unequal?
False
Let a(j) = j**2 + 10*j + 3. Let s be a(-10). Suppose 5*i + 8*m - 4*m - 6 = 0, 3*i + s*m - 3 = 0. Suppose -5*z = 12 - i. Which is greater: z or -4/3?
-4/3
Let q(c) = c**3 - 5*c**2 + 6*c - 9. Let h be q(4). Which is greater: h or 1/16?
1/16
Let g(p) = p**2 - 5*p + 5. Let z be g(2). Is z greater than -6/7?
False
Let k = 0.022 + 11.178. Let v = k + -2.2. Let o = 12 - v. Which is smaller: o or 0?
0
Let p = -8 - 0. Let a be ((-12)/p - -2) + -3. Which is greater: a or 0.2?
a
Let z be -4 + (-4 - -3)*-24. Let x = z + -26. Which is greater: -5 or x?
-5
Let j = -16 - -15. Which is greater: -5 or j?
j
Let v(y) = -y**3 + 3*y**2 - y - 3. Let b be v(3). Let q be (2 - 4)*(-2)/b. Let z = -75.6 - -76. Is z smaller than q?
False
Let i be 27/(-18)*2/6*4. Is -4/5 > i?
True
Let p be ((-6)/(-9))/(2/(-4)). Is p at least -1?
False
Suppose -n + 3*c - 9 = 0, -4*c + 11 + 9 = 0. Let i = 9 - n. Which is bigger: i or 1?
i
Let o be (-2)/((-30)/57) - 3. Which is smaller: -1 or o?
-1
Let d = 1 - 0. Let j = d + -1.1. Let k = 0.08 + -0.28. Is k at least j?
False
Let s = -379 + 15541/41. Which is smaller: s or 0?
0
Let m be (-4)/12*(2 - 1)/(-52). Which is smaller: m or 1?
m
Let y = 1.92 + -2. Is 1/2 at least y?
True
Let w = -10 - -7. Let q be (-86)/16*2 + w. Let m = -15 - q. Which is greater: m or -2?
m
Let z = 12 - 12.56. Let f = 0.6 + z. Let j = f + 0.06. Is -2 <= j?
True
Let a be (-8)/(-30) - (-16)/(-24). Let n be (-25)/6 + 2/12. Let g(h) = -h**3 - 4*h**2 - h - 5. Let f be g(n). Which is smaller: f or a?
f
Let n be 545/35*4/1. Let x = 62 - n. Is -1 at most x?
True
Let j = 14 + -13. Which is smaller: -2 or j?
-2
Let l = 19 - 18. Which is greater: l or 2/7?
l
Suppose 3*k + 4 = 2*j, k + 18 = 2*j + 2*j. Suppose -5*u = -5 - 10. Are u and k equal?
False
Let q = 0.1 + 0. Let r = 1.8 + -1.1. Let h = r - 0.3. Which is bigger: h or q?
h
Suppose -3*z = z - 12. Suppose -z*a = -0*a + 6. Let h be a + (3 - 18/10). Which is smaller: 0 or h?
h
Let u(z) = -4*z**2 + 5*z - 3. Let q be u(3). Which is smaller: -26 or q?
-26
Let r be 2/(11/(-3) - -4). Which is bigger: r or 2?
r
Suppose 0 = 141*n - 140*n - 24. Are 23 and n non-equal?
True
Suppose 0*t - 2*t + 2 = 0. Is 1/2 >= t?
False
Let t = -98.7 + 99. Are 3/8 and t unequal?
True
Suppose 2*g + 4*f - 6 = -22, -2*f - 2 = 4*g. Let k be g/(-3) - 4/(-6). Is k less than or equal to -7?
False
Suppose 0 = -3*y + 5*m + 4, 0 = 5*y - m - 0*m + 8. Let p = 3 - y. Let j = 2 - p. Which is bigger: -4 or j?
j
Let r be (9/(-15))/(6/(-16)). Are r and 1 non-equal?
True
Let r be 7/(-9) + 2 + -1. Is r equal to 7?
False
Let x(i) = -i + 7. Let h be x(3). Let k(u) be the first derivative of -u**4/4 + u**3 + 5*u**2/2 + u - 2. Let g be k(h). Which is smaller: g or 6?
g
Suppose 0 = 2*x - 2 + 6. Let v be (-24)/(-16) + x/4. Do 2/19 and v have the same value?
False
Let f = -15 + 21. Let m be ((-9)/f)/(-3)*8. Are m and 3 equal?
False
Let n(q) = 5*q**2 - 2*q - 4. Let j(o) = 4*o**2 - o - 4. Let k(g) = 4*j(g) - 3*n(g). Let l be k(-4). Is l <= 5?
True
Suppose -13 = -2*x - 5*i, -2*x = -5*x + 4*i - 15. Let k be ((x - -1) + 1)*3. Suppose k*h + h + 4 = 0. Is -1 at most as big as h?
True
Let q = -120 - -129. Is q smaller than -2/9?
False
Let p = 0.2 - 0.3. Let l = -3.5 - -5.5. Is l greater than or equal to p?
True
Let g = 0.9 - 1. Let f = -39 - 6. Let l be (-48)/f - (-2)/(-5). Is g at least as big as l?
False
Let v(f) = 7*f + 3. Let j be v(-2). Let a = j + -9/2. Let m = -16 - a. Which is greater: m or -1?
m
Suppose -24 = -3*c - z, 3 = c - z - 5. Suppose -s + 0*s = -c. Let o be 152/20 + 4/10. Is s < o?
False
Let i = -1 - -1.2. Let t = i - 0.3. Let m = t + 0.1. Which is smaller: m or -7?
-7
Let q = 182/3 + -61. Let m = 4 + -3. Is q at least m?
False
Suppose -5*j + b - 6 - 1 = 0, -3 = b. Let r = j + 3. Let p = 1/481 - 75/481. Do r and p have different values?
True
Let t(b) = -b**3 + 17*b**2 - 19*b + 7. Let r be t(16). Are -42 and r equal?
False
Let a = 19854/119 + -1168/7. Let b be (-26)/(-119)*40/75. Let t = b - a. Is 0 greater than or equal to t?
False
Suppose -w - 40 = -3*t + 4, -t + 13 = -2*w. Suppose b + t = 2*a, -a = 2 - 7. Suppose -n + 4*n + 5 = 2*s, 4*s - 2*n = -2. Is s less than or equal to b?
False
Let x be ((-1)/(-3))/((-2)/42). Which is smaller: x or 0.2?
x
Let w(t) = t. Let j be w(7). Let q = -3 + j. Which is smaller: q or 1?
1
Let g = -28 + 36. Is g <= 8?
True
Let h = 6 + -3. Let b = h + -4. Let y be (-6)/4*16/(-36). Are b and y non-equal?
True
Let y be -1*(1*-5 - -2). Suppose -y*z = -0*z + 4*g + 18, -17 = z + 5*g. Which is smaller: 0 or z?
z
Let p be -1 + (45/25)/(-3). Is -1 less than p?
False
Let x be ((-8)/32)/((-3)/116). Which is bigger: x or 10?
10
Let c be (6/12)/((-1)/(-4)). Suppose -32 = c*d + 4*o, 28 = -0*d - d - 5*o. Let j = 5 + d. Which is smaller: j or -1?
j
Let a be (128/(-30))/(-4) - (3 - 2). Which is bigger: a or 1?
1
Let z be 25/(-10) + 1/(-2). Let q be (-2)/3*z/(-7). Let o(s) = s**3 + 6*s**2 - 1. Let r be o(-6). Is q > r?
True
Let p be -87*2/178 - -1. Let d = p + 83/267. Which is greater: d or -2/5?
d
Let d = -3.2 - -3. Suppose f - 48 = -3*f. Let a be ((-2)/(-6))/(f/9). Is a > d?
True
Let p = 30 + -34. Let u = 0.1 - -0.1. Which is bigger: u or p?
u
Suppose -2 = 3*n + 10. Let r be (0 + n/(-18))/1. Which is greater: r or -1?
r
Let s be (1 - 129/45) + 2. Let y = s - 1/3. Let t(u) = 2*u**2 + u. Let a be t(-1). Which is greater: y or a?
a
Suppose j + 3*a = -4, -3*j + 0*j = -3*a. Let h be j/(-3) + (0 - 0). Let m(q) = -q**3 + 5*q**2 + q + 30. Let b be m(6). Do h and b have different values?
True
Let a be 2/2