x = -8 + 13. Let o = -4.875 - 0.025. Let t = o + x. Is -1 less than t?
True
Let r(s) = -s**2 - 2*s. Let q be r(-2). Let h = -271 + 2171/8. Which is smaller: q or h?
q
Let c(s) = s + 4. Let u be c(-5). Is u at least 2/133?
False
Let r = -16 - -10. Let m(z) = -z - 5. Let h be m(r). Let s(t) = -t**2 + 2*t. Let n be s(h). Is 3/5 less than n?
True
Suppose -s - 3*p = -p + 102, -396 = 4*s + 5*p. Let d = s - -472/5. Which is greater: 2 or d?
2
Let l be (-1)/(-1) - 16/40. Does -0.1 = l?
False
Let a be (-22)/(-30) - (-10)/(-30). Which is smaller: a or 3/4?
a
Let z = -6 - -6. Let f(t) = 2*t - 1. Let m be f(1). Let p be -2 + m*(-24)/(-10). Do z and p have different values?
True
Let c(r) be the third derivative of -r**5/60 + r**4/24 - 5*r**3/6 - r**2. Let f be c(6). Let q be ((-4)/30)/(42/f). Is q bigger than 0?
True
Let o = -13 - -12.98. Are o and 2 equal?
False
Suppose -3*j + 3 = -12. Suppose 9 = -3*w + 4*t - 0*t, j*t = 15. Let y be 1*(5 - 4)*2/42. Which is smaller: w or y?
y
Let y(c) = -c + 4. Let q be y(-3). Suppose -1 = 3*x - q. Let j be 8*(-7)/(-140)*5. Is x < j?
False
Let w = -15 - -16. Let j = 5.2 + -5. Let k = j + -0.1. Which is greater: k or w?
w
Let u = -0.5 + 0.6. Let i = u + -1.1. Let p = -1.2 - -0.2. Is i greater than p?
False
Let s be ((6 - -1) + -7)/(-2). Let p = 0 - -3. Which is greater: s or p?
p
Let f = -8 + 14. Let v be 2/f + 8/(-60). Which is smaller: v or 1?
v
Let d(n) = n**2 - n. Let x be d(-2). Suppose 5*q - x - 4 = 0. Suppose 0 = 3*v + 3*u - 3, -q*v + 3*u + 2 = -5. Are v and 2 unequal?
False
Let t = -9 + 10. Is t at most 0?
False
Suppose 4*y = -3*f + 6, f + 0*f = -y + 2. Is 3/17 at most y?
False
Let g = 147 + -111. Which is smaller: g or 37?
g
Let f = -11.8 + 11. Is 2/5 < f?
False
Let q(h) = h**2 + 7*h - 21. Let o be q(-9). Which is greater: o or 0?
0
Let c(u) = 4*u - 1. Let v be c(1). Let h be ((-12)/(-28))/(v/2). Are h and -3 equal?
False
Let s be 18/4*(-4)/(-6). Suppose 0 = -2*m + s*i, -4*i = i. Which is smaller: -1/25 or m?
-1/25
Let b(q) = -q**3 + 5*q**2 + q - 6. Let m(l) = l**3 + 4*l**2 + 3*l + 3. Let s be m(-2). Let i be b(s). Let x = 0.2 + 0.2. Is i at most as big as x?
True
Let q be ((-78)/(-16))/(6/4). Suppose 44 = -5*a + 29. Let p = q + a. Is p at least 1?
False
Let c(p) = -4*p**3 + p**2 + p - 1. Let b be c(1). Are -3 and b equal?
True
Let a = 176/5 + -36. Which is smaller: -2 or a?
-2
Let s be (0 + (-2)/4)*0 - 4. Is s at least as big as -2?
False
Let d be (-237)/(-65) + ((-50)/(-65))/5. Which is greater: d or 3?
d
Suppose 7*j = 6*j + 4*q - 120, -3*q = -3*j - 342. Which is smaller: 0 or j?
j
Let h(m) = -m**3 - 12*m**2 - 6*m - 23. Let o be h(-11). Do o and -77 have the same value?
False
Let x(m) = -4*m - 3. Let p be x(3). Is -14 != p?
True
Let w = 100/117 + -14/13. Suppose -2*t - 9 = o + t, 9 = -3*t. Suppose 3*s - 3 = -o*s. Which is bigger: w or s?
s
Let m = -2.2 - -0.2. Let c = -1 - m. Let d = 1 - c. Is d greater than -2?
True
Let m(y) = -y + 11. Let l be m(6). Let r(f) = f + 4. Let q be r(-4). Suppose c - u - 4*u = -6, 2*c + l*u - 3 = q. Which is greater: c or -4/5?
-4/5
Let x(y) = -y**3 + 10*y**2 + y - 11. Let l be x(10). Which is smaller: -2 or l?
-2
Let d be (-1)/(1 - (-1 - -1)). Let v = -57 + 60. Is d at least as big as v?
False
Suppose -z = 5*n + 5, -5*n + 2*n - 3*z = 3. Which is smaller: 2/15 or n?
n
Let h(n) = n - 13. Let u be h(13). Which is smaller: 1/4 or u?
u
Let x be (2/2)/(-2 - -1). Let o(y) = y - 7. Let k be o(7). Suppose -3*r = -k*r. Is r not equal to x?
True
Let k = 5 - 12. Let q(p) = p + 17. Let i be q(k). Let t be (-22)/i + 0 + 2. Is -1 at least as big as t?
False
Suppose 2*o = -4 - 0. Let n be (1/11)/((-2)/(-15)). Let d = 9/110 - n. Which is smaller: o or d?
o
Let t = -0.49 - 0.01. Suppose -y - 5 = -3*i + 5*i, 11 = -y - 4*i. Is y at least as big as t?
True
Let z(x) = -5*x - 14. Let i(j) = j. Let h(v) = 6*i(v) + z(v). Let l be h(8). Which is smaller: -5 or l?
l
Let f = -2063/496 + 65/16. Are f and -1 non-equal?
True
Let u = 239/20 - 43/4. Suppose y + 2*a + 4 = 0, -3*a + 2*a - 11 = -4*y. Is y bigger than u?
True
Let x(a) = -a**2 + 1. Let g be x(-1). Suppose 2*p = -g*p. Let q(y) = y**2 + 6*y. Let r be q(-6). Do r and p have the same value?
True
Let b(h) = -h**3 + 16*h**2 - 2*h + 33. Let x be b(16). Is x >= 11/12?
True
Suppose -4*q - 2*b - 18 = 0, -5*q = b + b + 23. Suppose 2*r - 4 = 2*f, 5*f - 4*f - 10 = 5*r. Is f > q?
False
Let d(c) = c + 6. Let b be d(-3). Is 5 greater than b?
True
Suppose d - 2*x + 1 = 2*x, -4*d - 4 = 2*x. Let b = -4 + d. Do -4 and b have different values?
True
Suppose -7*v = -3*v. Suppose 4*u + 104 = -v*u. Let r be -2*(-1 + u/(-24)). Is 1 smaller than r?
False
Let j = 61/140 + -1/28. Which is greater: j or 3?
3
Let i be 590/(-10)*-1*-1*2. Are -118 and i nonequal?
False
Let c(g) = -g**2 + 6*g - 5. Let h be c(4). Suppose -8 = -2*d, a + 3*a - 3*d = 20. Do a and h have different values?
True
Let v = -5 - -8. Suppose -v*x - 2 = 2*u, 0 = -x - 0*u + 4*u + 4. Is 0 <= x?
True
Suppose 7*u - 2*u - 130 = 0. Let i be 6/(-39) - (-290)/u. Suppose -3*n + 4*m = -i, 2*n + 6*m + 4 = 3*m. Which is smaller: n or 3/2?
n
Suppose 0 = 4*i - 83 + 15. Suppose -i = 4*s + 3. Suppose 2*d - 4 = 5*o + 1, 3*d = 5*o. Do s and d have different values?
False
Let t be (-703)/295 - -2*1. Let l = -1/59 + t. Is l >= -1?
True
Let d(p) = -2*p + 3. Let o be d(7). Let s = 12 + o. Let q(m) = -m**3 - 5*m**2 - 5*m - 2. Let i be q(-4). Which is smaller: s or i?
s
Let p = -3 - -3. Let b = 1 + p. Let r = 0.8 - b. Are 0.2 and r equal?
False
Let c = 2/55 + -7/11. Which is bigger: c or 0?
0
Let c = -6.5 - -0.5. Let j = 6 + c. Which is smaller: 0.3 or j?
j
Suppose 0 = -3*s + 6, -3*m - s = -m. Is m smaller than -1?
False
Let b = 0 + -0.1. Let m = -366 - -359.84. Let p = -0.16 - m. Are p and b equal?
False
Let z(b) = -2*b - 1. Let d be z(-1). Let m = -11/17 - -329/561. Let k = -43/165 - m. Which is smaller: d or k?
k
Let l = -3 - -8. Suppose -4*q + 14 - l = -r, -4*r - 36 = 3*q. Is -9 equal to r?
True
Let z = -2/119 - -135/952. Which is smaller: 0 or z?
0
Let j = 35 - 21. Is j greater than 14?
False
Suppose -2*s + 2 = 4. Which is bigger: s or 2/39?
2/39
Let w(t) = 11*t - 31. Let j be w(3). Let i = 3 + 0. Suppose d + i = 4. Is d greater than j?
False
Let x be 23/99 + (-2)/(-9). Is x greater than or equal to 0?
True
Let d = -21 - 0. Which is bigger: 0 or d?
0
Suppose -3*z = z + 4. Which is greater: z or 1/29?
1/29
Let x = 77/20 - 18/5. Let c = -18 - -11. Let r = c - -6.9. Is x greater than or equal to r?
True
Suppose 4*r = 5*w + 2*r + 4, w = -5*r + 10. Is w at most as big as 5/7?
True
Let z(t) = t + 2. Let i be z(-6). Let c be ((-15)/(-25))/(-1)*(5 + 0). Is i less than or equal to c?
True
Suppose 2*l = -3*l + 2*r - 5, -5*l = 5*r + 40. Let t(v) = -2*v + 1. Let s be t(5). Let h = s - -5. Are l and h unequal?
True
Let w = 28 - 28. Is w at least as big as -3?
True
Let z = -0.06 - -1.07. Let g = z - -0.09. Let t = 1 - g. Which is greater: t or -0.2?
t
Let l = -68.8 - -69. Are l and -2/5 non-equal?
True
Let r = -81 + 570/7. Which is smaller: r or 1?
r
Let y(m) = 2*m. Let o be y(2). Is o equal to 5?
False
Let s be 38/45 - (-4)/(-10). Let i = -1679 - -60451/36. Let b = i - s. Which is greater: -1 or b?
b
Let o be (1 + 1)*(-7)/(-2). Let h = o + -5. Suppose 3*i - 11 = -2. Does h = i?
False
Suppose 0*i - 2*i = 2*f + 12, -5*f + 10 = i. Suppose -y = 3*h - 6*h + 7, 0 = h + 2*y + 7. Let c be h/2 + i/(-4). Do c and 1 have the same value?
False
Let l(x) = -x**2 - x + 2. Suppose 2*o - 3*o + 9 = -5*z, -o - 5 = 2*z. Let b = 3 + o. Let i be l(b). Is -2 at least as big as i?
True
Let q be 0 + (2/(-7))/1. Let j = -0.3817 - 0.0183. Which is greater: q or j?
q
Suppose 5*t = 3*t + 2*s - 12, -4*s = 5*t - 6. Let r(z) = -z + 2. Let f be r(3). Which is greater: t or f?
f
Let g be 36/48 - (0 + 2)/(-8). Which is smaller: g or 2/89?
2/89
Let r(s) = -s**3 - 17*s**2 - 17*s - 16. Let b be r(-16). Is b smaller than 10/9?
True
Let j = 8 + -2. Let w = -11.2 + j. Let y = -5 - w. Are 2/5 and y non-equal?
True
Let a be 1388*(-3)/(-21) - 1. Suppose 79 + 512 = 3*l. Let j = a - l. Which is greater: j or 0?
j
Let g(l) = l**2 - l - 3. Let o be g(7). Suppose -4*k = -d + 48, -2*k - o = -d + 3. Let c be 75/d - (1 + 1). Is c at most as big as 1?
True
Let x be 5/(-5) + (-2)/(-5). Let l =