+ 2 + 2 = -2*x, -5*x - 4*m - 23 = 0. Let p be 0/x + 138/9. Let c = 15 - p. Is -1 <= c?
True
Suppose -5*s = g - 22, -3*g = -5*s - 2 + 16. Let o = 0 - g. Let i = 31/2 + -17. Which is smaller: o or i?
o
Suppose 0 = 5*j + 3*o - 9 - 5, -5*j - 2*o = -16. Suppose -j*v = 7 + 1. Let w be (-13)/6 - (-3)/(-9). Which is smaller: v or w?
w
Let q = 7 - 7.6. Let v = q - 0.4. Let b = 0 + 0.1. Is v less than or equal to b?
True
Let w = -82/59 - -3224/2065. Let l = w - 117/70. Let r = -16 + 13. Which is greater: l or r?
l
Suppose 0 = a, 4*a + 4 - 20 = -4*z. Suppose -z*n = n - 20. Suppose n*o = 4*i, 0*o - 3*o + 15 = 2*i. Is o less than 1?
False
Let s = 1.126 - 0.026. Is s greater than or equal to -0.1?
True
Suppose -4*y = 4*t + 4, t - 4*y - 1 = 3. Suppose 0*j - 3*j = t. Let q = -1 + j. Does -1 = q?
True
Let b = 12 - 42. Let n be 5*-6*4/b. Is 4 at least n?
True
Let g(h) = -h + 2. Let j be g(-2). Suppose -j + 7 = -m. Which is greater: -4 or m?
m
Let c(u) = -u**3 - 3*u**2 + 4*u + 12. Let h be c(-3). Which is greater: 3/37 or h?
3/37
Suppose -g - 3 = -5. Suppose -6*j + 2*j - 49 = -5*d, -d = -4*j - 61. Let v = -13 - j. Is v bigger than g?
True
Let o be (-3)/12 - 1671/(-12). Let v = 971/7 - o. Is 0 less than v?
False
Let j = -28 - -85/3. Let k = -7 - -6. Which is smaller: j or k?
k
Let z = -2669276/21 - -386951/3. Let c = z - 2063. Let h = c - -188. Which is smaller: h or 1?
h
Let t = 0.02 + 2.98. Let z = t - 3. Let l = z - 2. Which is bigger: l or 1/3?
1/3
Let d be (-6)/27 + (-228)/(-783). Let u = d - 35/87. Is u greater than or equal to -0.2?
False
Let c = 59.11 - 59. Which is smaller: c or -0.02?
-0.02
Let u(a) = 7*a**2 + 1. Let s be u(1). Let x = -3 + s. Let h(k) = k**3 - 6*k**2 + 6*k - 2. Let f be h(x). Is f smaller than 3?
False
Let d = -0.03 + -5.97. Let j = d - -7. Let y = -0.2 - -0.4. Is y equal to j?
False
Let l = -7 + 5. Let o be l/(-5)*60/(-3). Which is greater: o or -7?
-7
Let t = 3/5 - -1/15. Let m(n) = n**3 - 3*n**2 - 6*n + 6. Let v be m(4). Do t and v have the same value?
False
Let s = 10 + -19/2. Is -1/16 > s?
False
Let n = 3.7 + -4. Is n at most as big as -1?
False
Let g = -10/5747 + 37923/25097149. Let m = 711819/8734 - g. Let d = m + -83. Which is bigger: -1 or d?
-1
Let y be -4 - (-18)/(-7) - -4. Which is smaller: y or -2?
y
Let t = -3 - -1. Let n = t + 3. Let w(o) = o**2 + 4*o - 7. Let q be w(-5). Is q bigger than n?
False
Let g = 0 - -0.2. Let l = 0.8 + g. Let d = 2.1 + -2. Are d and l unequal?
True
Let r be 5/2*(-6)/(-5). Let n be r + -4 - (-35)/33. Let o = n + -47/231. Which is smaller: 1 or o?
o
Let d = -103.8 + 104. Let y = -25/52 - -3/13. Which is smaller: d or y?
y
Let k be 8 + (-2 - -2 - 2). Let q be (-1)/5 + 64/20. Suppose q*r - 3 = -t, 0 = -2*t - 4*r - 2 + 10. Is t at least as big as k?
True
Let b be (3 + -30)*(1 - 4/3). Is 10 at least as big as b?
True
Let g be (18/348)/(3/8). Let x = g + -49/145. Which is smaller: x or 2/5?
x
Let v be 4/(-24) + 3/(-3). Let h = -8 + 7. Which is smaller: v or h?
v
Let l(j) = -2*j**3 - 2*j**2 - j. Let r be l(-1). Let k(u) = -2*u + 1. Let z be k(3). Let n be z/28 - 1/4. Which is smaller: r or n?
n
Let w = -3 - -7. Suppose 3*t - 7*t + w = 0. Is t >= 3?
False
Let s = -16 - -30. Is s greater than or equal to 11?
True
Let d = 4 + -6. Which is bigger: 8 or d?
8
Let p = -544/21 - -26. Is 1 > p?
True
Suppose 3*z - 5*m = -10, -2*z = -5*z - 5*m + 40. Suppose 4 = -z*w + 14. Let n be 2*w/4*-3. Is -3 at least as big as n?
True
Let v = -2.303 + 0.003. Which is smaller: v or 1?
v
Suppose a - 3*d = -4*d + 3, -2*a - 3*d + 10 = 0. Let q = a - -6. Do 3 and q have the same value?
False
Let i = -22/423 + -8/47. Let d = 17/2 + -9. Is i greater than or equal to d?
True
Let a be ((-8)/84)/((-2)/9). Which is smaller: 2 or a?
a
Let p = -0.2 + 0.2. Let n = -7 - -4. Let h = p - n. Is -2/9 at most as big as h?
True
Let k be -1*-2*2/(-4). Let h = 2 - -1. Suppose -2 = -o - q - 0*q, -6 = o - h*q. Does o = k?
False
Let g = 5 - 4. Let o(x) = -7*x**2 + 2*x - 1. Let l be o(1). Let c be l/15*10/(-14). Which is smaller: c or g?
c
Let l = -423000/7 - -60538. Let p = l - 109. Which is greater: p or 0?
p
Let j = 117/25 + -8207/1775. Which is greater: 1 or j?
1
Let j(d) = d**2 - d - 1. Let m be j(-1). Which is smaller: m or -1/4?
-1/4
Let n = -88/5 + 626/35. Which is bigger: n or 8?
8
Let a = -40 + 201/5. Let b be 1*8*(-27)/(-6). Let s be 2/7 - b/28. Which is smaller: a or s?
s
Let n be -5 + (9 - 3 - 1). Is -1/41 equal to n?
False
Let p = -2.014 + 0.014. Which is bigger: p or -36/11?
p
Let p(y) = -2*y**2 - 16*y - 4. Let v be p(-8). Let w = -2/9 + -41/18. Is w greater than v?
True
Let m be (-51)/17*(-2)/(-21). Is m at least as big as -2.7?
True
Let q(f) = f**3 + 7*f**2 + 6*f. Let s be q(-6). Let u be 2/(1 + (-33)/39). Suppose u = 5*a + p - 0*p, -5*a + 4 = -2*p. Is a equal to s?
False
Suppose 0 = 4*f - 5*f - 2, -4*f = -5*c + 33. Let p = c + -9. Let b = -26/3 + 188/21. Is p at most b?
True
Let f = 1 - 3. Let r = 3 + f. Suppose -3*k + 5*k = 4. Which is bigger: r or k?
k
Suppose 5*k - 12 = 2*q, 5*q - 3*k - 3 + 14 = 0. Let s(g) = 2*g + 7. Let r be s(-5). Which is smaller: r or q?
r
Let p be 18/10 - 1/(-5). Suppose -o - p*o = 3. Is -3 bigger than o?
False
Let a = -1 - -5. Let m = -9 + a. Let x = m + 8. Is 1 <= x?
True
Suppose -3*b - 2*g + 2 = -0, 8 = 2*g. Let n be -1*2*-1 + b. Is n < 0?
False
Suppose a = q - 43, 4*q + 5*a = 40 + 105. Let x be (-4)/26 + q/91. Let n = -1 + 1.2. Which is greater: x or n?
x
Let l(j) be the third derivative of -j**2 + 0*j + 1/15*j**5 + 0 + 1/24*j**4 - 1/6*j**3. Let d be l(1). Is d <= 4?
True
Let n = -4 + 3.8. Is n not equal to 1?
True
Let t = -0.1 + 0.1. Let u = -0.1 - 0.1. Does t = u?
False
Let s be (-2)/(12/9 - 2). Suppose -2*o - 5*x = 36, -x = -2*o - 9 - 3. Let z = 12 + o. Which is smaller: z or s?
s
Let a(n) = -n**2 + 9*n + 10. Let b be a(10). Let p(c) = c**2 + c + 108. Let r be p(b). Let w be r/(-51) + 1 - -1. Which is greater: w or 0?
0
Let n be 1*(0 - (-3)/3). Suppose -7 = -v + 5*h + 12, 2*v + 3*h + n = 0. Suppose -i = -v*i. Which is greater: i or 2?
2
Let a = 8 + 9. Suppose 0 = 4*p - 5 + a. Which is bigger: -5 or p?
p
Suppose 3*b = -13 - 374. Let c = b - -391/3. Let j(o) = -2*o**2 - 21*o - 8. Let w be j(-10). Do c and w have different values?
True
Let x = 1/248 - -981/2728. Let o be 4*(-5)/(-60)*3. Does x = o?
False
Let v be 1/(-20)*-22 + -1. Is 1 equal to v?
False
Let b = -1 + 1. Let o be (-2)/(-5) - (-11878)/(-70). Let h = o - -169. Is h at most as big as b?
True
Let j = -8.18 + 0.18. Let g = -8 - j. Which is smaller: -1 or g?
-1
Let g be 4/18 - 275/(-99). Is g greater than or equal to 2?
True
Let z = 8 - 11. Let j be ((-2)/z)/((-2)/(-51)). Suppose -5*c = -p + 21, 2*p = -5*c - p - j. Are -4 and c unequal?
False
Suppose 3*z - 7*z - 1 = 3*l, 2*z + 2*l = -2. Let u(b) = -b**2 + 5*b. Let k be u(6). Let o be (-3)/k*z/(-4). Is 2 bigger than o?
True
Let i(v) = -v**3 + 10*v**2 + 2*v - 15. Suppose -19 = -n + 3*m, -m - 2*m + 11 = 2*n. Let l be i(n). Which is smaller: 6 or l?
l
Let i = -8 - 3. Let r be 5/10 + i/10. Let b = -3 + 2. Is r bigger than b?
True
Let c = 69 + -60. Is c <= 7?
False
Let a = 5 + -3. Suppose -3*j + 1 + a = 0. Which is greater: j or -3?
j
Let m be 70/2 - (-1)/(1/(-2)). Are 33 and m unequal?
False
Let y = 87 + -87. Let u(c) = -c + 1. Let x be u(-1). Which is bigger: y or x?
x
Suppose 2*r - 7*r = 0. Let k be 4/6*1*12. Let m be k*((-14)/12)/(-7). Is m < r?
False
Let m = 110525/156 + -1417/2. Which is greater: 1 or m?
1
Let s(m) = m**3 - m + 1. Let n be s(2). Let j be (-42)/(-18)*(-2)/n. Is -1 less than j?
True
Suppose -2*a - 3 - 5 = 0. Let n = 365 + -369. Is n greater than a?
False
Suppose -4*i + 10 = -5*f, -3*i + 0*i = -3*f - 6. Let a be ((-8)/(-3))/((-20)/12). Let u = -19/15 - a. Are i and u nonequal?
True
Suppose -2*w - 40 = 3*w. Let x be 8 - 2*5/(-40). Let d = w + x. Is d >= 3?
False
Suppose -4*o + 0*o = u + 19, 2*o + 12 = 2*u. Suppose 4*v - 2 = -2*q, -20 = -5*q - 3*v - u. Which is greater: 4 or q?
q
Let r be (-3 - 7/(-2))*4. Suppose r = -w + 4. Let x = -161 - -809/5. Which is smaller: w or x?
x
Suppose 6*s + 8 = -4*t + 4*s, -t - s - 4 = 0. Suppose t = 3*b + i - 2*i - 7, 8 = -2*i. Let y be -2*(-5)/(-14) - -1. Are b and y non-equal?
True
Let g = 1 - 2. Let t be (1 + -2)/(-4 + 3). Suppose -4 = 3*w - t