least as big as a?
True
Let k = -21.6 - -21. Are 2 and k unequal?
True
Let z = -1263 - -16429/13. Let p = z + -184/273. Is p >= 1?
False
Let j = -4 - -7. Suppose -4*r = 4*x + 32, -j*r + 8 = -4*x - 3. Let a = r - -5. Is -1 greater than a?
False
Let u = 11.79 - -0.21. Let b = u - 9. Is 1/3 not equal to b?
True
Let m be 39/(-6)*2/(-9). Let w = -14/9 + m. Is -1 <= w?
True
Let z be 3/(-30)*(-6)/(-1). Is 0 greater than z?
True
Suppose 3*v = -0*v + 15. Suppose 3 = -2*c - 3*b + 1, -2*c + 14 = -v*b. Let w be -3 - c*2/4. Which is smaller: w or -6?
-6
Let p be 11/(-5) - (-1)/5. Let w = p - -7. Which is smaller: w or 0?
0
Let g be (0 - -1) + (-2 - -56). Suppose -3*z + 7*z - 34 = -2*c, g = 5*z + 5*c. Suppose 3*t = 10 + 5. Which is smaller: z or t?
t
Let x be 2 - (4 + -1 - 1). Do x and -2/9 have the same value?
False
Let h = 25 - 23. Are 2/5 and h non-equal?
True
Let k be 2/5 - (-16)/(-30). Let y(j) = j**3 - j + 1. Let b be y(2). Let s = 8 - b. Is k less than or equal to s?
True
Suppose 4*a + 5*h - 7 = a, 5*h = -a - 11. Is a at most 11?
True
Let w = 1127/908 + 2/227. Is 0 < w?
True
Let o = -18 - -37/2. Let l = 1 + -1. Suppose l = -m + 2. Is o > m?
False
Let w = -21/4 + 5. Is 1 <= w?
False
Let v(t) = t**3 - 7*t**2 + 9*t + 9. Let y be v(6). Which is smaller: 28 or y?
y
Let q = -1/5 + -13/10. Suppose -3*b = 2*b + 10. Is q at least as big as b?
True
Let t(u) be the third derivative of -u**6/120 - 7*u**5/60 + 7*u**4/24 - 2*u**3/3 + 2*u**2. Suppose 3*b + 6 + 18 = 0. Let g be t(b). Is 2 greater than g?
False
Let b(v) = -2*v**2 + 11*v - 8. Let p be b(9). Let l = 358/5 + p. Is l <= -2/5?
False
Suppose -r = -5*r. Suppose 0 = -5*g + 51 + 59. Suppose 0 = 5*o - 25, -3*b + 4*o = -o + g. Is b bigger than r?
True
Let g = -4.6 - 1.4. Let a = 0.2 + -0.3. Which is bigger: a or g?
a
Let q be 1/(0 + 2 - (-15)/(-6)). Which is greater: q or -2/3?
-2/3
Let d = 0.3 + -0.2. Let m = -6 + 16. Let z = -7 + m. Are d and z non-equal?
True
Let p = -4 - -8. Let g = -5 + 5. Suppose g = 5*c - p*c. Is 3/5 at most c?
False
Let a be (-4)/22 + (-26)/(-22). Is a bigger than -3/41?
True
Let d = 366 + -2566/7. Which is smaller: d or -2/3?
-2/3
Suppose 3*m = -2*m - 5, 5*m + 7 = -2*q. Is 0.1 > q?
True
Suppose -8 + 3 = 5*d. Which is smaller: d or -2/7?
d
Let m = 13 - 11. Suppose -h + 1 = 3*w, -m*h + 4*w + 2 = 3*w. Suppose -2 = -2*t - 0. Are t and h unequal?
False
Let o be 2/7 - 5/(105/(-204)). Does o = 14?
False
Let n = -3.2 + 2.2. Let b = 1 + -1.1. Which is bigger: n or b?
b
Suppose -5*s - 2*r = -30, -3*s - 4*r + 28 = -s. Let u = 43 - 40. Is s less than or equal to u?
False
Let g = -26 + 24. Suppose 0 = -3*o + 9, 0 = 5*j - 0*o - 2*o + 11. Which is bigger: g or j?
j
Suppose -48 = -0*y - 3*y. Let a = -178/11 + y. Is -1 smaller than a?
True
Suppose -5*j - 13 + 3 = 0. Let r be (24/30)/(j/(-5)). Which is smaller: r or 4/7?
4/7
Suppose 3*z - 5*z - 6 = 0. Suppose 2*p - 5 = -i, 4 + 9 = 3*p - 4*i. Suppose -p*f - 3 = 3. Which is bigger: z or f?
f
Let x = 11857396/105017 - 2/9547. Let h = -113 + x. Suppose -4*q - 15 = -9*q + 4*g, -2*q - 27 = 5*g. Which is bigger: h or q?
h
Suppose -5 - 10 = -i. Suppose -i = 3*x - 4*u + 2, u = -5*x + 10. Let v = 63 + -316/5. Is v > x?
False
Let p = -7 - -20. Is 1 smaller than p?
True
Let x = 9 + -7. Let r(w) = -w**3 - 7*w**2 - 5*w + 7. Let s be r(-6). Let y(t) = 3*t - 1. Let g be y(s). Is g at most as big as x?
True
Let o(w) = w**2 - w + 1. Let i be o(2). Suppose -i*b + 0*b = 0. Are 3/5 and b nonequal?
True
Suppose a - q + 3 = q, -2*a + 2*q - 2 = 0. Which is bigger: -1/16 or a?
a
Let m = 50.24 - 73.61. Let d = m - -21.3. Let z = d - -0.07. Which is greater: 3 or z?
3
Let g be (-71)/(-60) + 1/(-4). Let p = -3/5 + g. Let n = -65 - -64. Which is greater: n or p?
p
Suppose -7*g = -0*g + 448. Is -64 bigger than g?
False
Let s = -9/20 - 3/20. Is 0 at most as big as s?
False
Let x = 0.4 + -1.4. Is x greater than or equal to 1/28?
False
Let q = 3513/1943 - 52/29. Is -1 bigger than q?
False
Let g = -233 - -475/2. Suppose 4*t = 4*w - 4, -7 = -w - 2*t + 6. Which is smaller: w or g?
g
Suppose 5 = 2*a + 3*v, -5*v + 0 + 4 = -a. Is a bigger than -2/21?
True
Let b = 375/368 - 22/23. Let c(r) = -2*r**2 + 31*r - 42. Let h be c(14). Which is smaller: h or b?
h
Let d(w) = -w + 5. Let c be d(6). Let g be (-12)/(-28)*2/(-15). Let s = g + -29/105. Which is smaller: s or c?
c
Let l be (-104)/(-10) - (-6)/(-15). Let f = l + -14. Let b be -1 + 1 + f*1. Are -4 and b non-equal?
False
Let s(x) = 2*x + 9. Let a be s(-4). Is -2/27 greater than or equal to a?
False
Let g = -27 - -48. Let j = -65/3 + g. Which is greater: j or -1?
j
Let c(m) = 2*m. Let b be c(-3). Let r be (-249)/(-198) + b/9. Let l = 12/11 - r. Which is smaller: l or 2?
l
Let b(t) = -t + 3. Let h = 6 - -1. Let s be b(h). Let c be (3/(-4) - -2)*-2. Which is greater: s or c?
c
Let v(l) = -l**3 + 8*l**2 + l - 6. Let h be v(8). Which is greater: h or 13/6?
13/6
Let b = -0.1 + -0.9. Which is greater: b or 1/2?
1/2
Let q be 4/(12/(-27)) - 0. Is q less than -9?
False
Let o = 2.5 + -3.1. Are 0.1 and o unequal?
True
Let r = -45 - -45. Suppose 5*k - 1 = -6. Is r < k?
False
Suppose 0 = -k + 19 + 11. Let u be (40/k)/(4/(-6)). Is -2 less than or equal to u?
True
Suppose 0 = 4*t + 4, 0 = i - 5*t + 10 + 10. Let b = i + 17. Is -9 at most b?
True
Let h = -79 + 57. Is h <= -22?
True
Let j = 10 + -16. Let s be (-1 + -2)/j - -1. Which is smaller: 1 or s?
1
Suppose -7*n + n + 8*n = 0. Is 0.16 less than n?
False
Suppose 7 = u - 2*d, 4*d = u - 0*d - 13. Let g be 0/(u - (2 - 0)). Let n be 4/(-6)*(-6)/(-16). Is g > n?
True
Suppose -y = -6 + 3. Suppose 0 = -5*n - 3*i + 39, y = -n + 2*n + 3*i. Let s be 11/n + 12/(-54). Which is bigger: s or 0.2?
s
Suppose x + x + m + 84 = 0, 3*x - 2*m = -112. Is -41 less than or equal to x?
True
Let r(z) = -z**2 + 3*z + 3. Let t be ((-6)/12)/((-2)/16). Let l be r(t). Let q be 0/(-3 - -1) + -2. Which is greater: q or l?
l
Let z be (-24)/21*(-2)/8. Let r be ((-2)/5)/(12/10). Does z = r?
False
Suppose t = 4*b - 199, 2*t - 3*t - 4*b = 191. Let h be (-4 - t/33) + -2. Which is bigger: h or -1?
h
Let g = -1276/7 + 182. Let u(f) = f**3 - 7*f**2 + 5*f + 6. Let k(b) = 3*b - 6. Let j be k(4). Let x be u(j). Is x less than or equal to g?
False
Let n be (-2)/4 + 7/14. Suppose n = 5*j - 3*k - 2, -5*k + 2 = -2*j - 1. Is j smaller than -2/11?
False
Let d = -35453/568 - -499/8. Which is smaller: 0 or d?
d
Suppose 4*b + 2 = -2. Suppose -4 + 2 = -c. Let s be (c + 1)*4/(-12). Is s greater than or equal to b?
True
Let j be (-1)/(0 - (0 - 1)). Let u be j + -1 + (1 - -1). Let f be 2/(1/(-1)*1). Is u < f?
False
Suppose -3*p + 5 + 1 = 0. Let x be 9/3 - (p + -1). Suppose 0 = i + x*a + 7, -10 = 4*a + 2. Which is smaller: -1/4 or i?
i
Suppose -5*p + 9*p + 40 = 0. Is p at most as big as -10?
True
Let b be 20/16*148/770. Let d = 1/22 + b. Is 0.1 != d?
True
Let o(l) = l**3 - 4*l**2 - 5*l - 1. Suppose -12 = -4*i - m + 3, -4*i - 4*m = 0. Let f be o(i). Let q be (6/(-15))/((-3)/(-5)). Is f > q?
False
Let d(v) = -v + 0*v + 2*v**2 - 4*v**2. Let a be d(-1). Suppose -u + 2*h - 10 = 0, -u - u - 4*h + 20 = 0. Which is bigger: u or a?
u
Let q(x) = x**2 - 4*x - 1. Let s be q(4). Let f = -0.04 + 0.54. Is f less than s?
False
Suppose 28 = -4*k + 4*x, 5*k = 2*k + 2*x - 20. Is k < -5?
True
Let v = -19/120 - -8/15. Is v smaller than 2?
True
Let c = 1.7 - 1.51. Let o = 0.19 - 0.2. Let w = o - c. Which is smaller: 0 or w?
w
Let a be 4/16*(1 - -3). Is a at most 8/5?
True
Let i(y) = y**2 - 2*y - 2. Let x be i(4). Let m = -10 + x. Let g = m - -2. Which is smaller: -3 or g?
-3
Suppose -2*c - 2*t + 5*t = 0, 2*c - 5*t = 0. Which is greater: -2/101 or c?
c
Let n = -33 + 33. Which is greater: -3/70 or n?
n
Let v = 0.08 - 4.08. Let k = 13 + -12. Which is greater: v or k?
k
Let x be 0 + 0 - 6/(-38). Is x bigger than 1?
False
Let y be (1 + -2)*(7 - 9). Suppose 0 = y*k + 5*v, -5*k - 3 + 34 = -3*v. Suppose -9 = k*x - i, 0 = -x - 3*x - 3*i + 8. Which is smaller: x or 1?
x
Let c = -1/521 - -2097/6773. Is 2/3 bigger than c?
True
Let f be 4/3 + (-3)/9. Let k be f/(-1 + -1 - -3). Let h = -3 + 10/3. Which is bigger: h or k?
k
Let r = 85 + -84.9. Let d = 15 + -69/5. Which is smaller: d or r?
r
Let d(x) = -150*x. Let r(q) = 1. Let i(p) = d(p) - r(p). Let f be i(1). Let o = f + 449/3. Is -1 greater tha