 less than 1?
False
Let h be ((-99)/6)/((-30)/5). Which is smaller: h or 3?
h
Let m = -117 + 116.7. Which is smaller: -25 or m?
-25
Let j = -137 - -1235/9. Suppose 26 = 2*p - 4*m, p + 4*p - 5*m = 45. Suppose -p*l - 2 = 3. Which is greater: j or l?
j
Let i = 781 + -83570/107. Is 0 at least as big as i?
True
Let l(j) be the second derivative of j**4/12 - 2*j**3/3 + j**2 - 2*j. Let h be l(5). Let u be (-14)/h*(-5)/(-2). Which is smaller: -2 or u?
u
Let c = -3 + 3. Suppose c = -5*z + 95 - 30. Let q be 5/z*(-2)/5. Which is greater: 1 or q?
1
Let p(u) = -u. Let a be p(-1). Suppose 3*l - 4*s = 23, 2*s + 1 + 8 = -l. Is l <= a?
True
Let s be ((-2)/(-28))/(1/(-4)). Is 39 less than s?
False
Let s = 65 + -68.1. Let u = s + 3. Let w = -1 + 0.9. Is u < w?
False
Let i = 12.9 - 13. Is -14 at most i?
True
Let c = -133 - -85. Is -46 != c?
True
Suppose 0 = w - 5*g - 12, -w - 4*w = -g - 36. Let s = w - -3. Let r be 3 + (-5)/(s/4). Is -2/21 at most as big as r?
True
Let h = 0.13 - 7.13. Let f = -7.8 - h. Let n = f + 0.7. Which is smaller: n or -2/7?
-2/7
Let p be 1/(2 + -1)*6. Suppose -5*g = -p - 24. Let y be (20/6)/(6/9). Which is bigger: g or y?
g
Let q = 2 - 2. Let y be (-1)/(-42)*(1 - -2). Which is bigger: y or q?
y
Let m be -1 + 2/(42/9). Let l = 19/21 + m. Are l and 1 nonequal?
True
Let b be 8/5 + (-4)/(-10). Suppose -3*y - 3 = 3*p, 0*y - 2*p - b = 4*y. Let q be (1 - y)/(0 - 1). Is q less than or equal to -2/5?
True
Let u = -81/7 + 83/7. Let s = -4 + 3. Let f = s - -4. Which is smaller: f or u?
u
Suppose -3*m + 5*y = -m + 85, -m = -2*y + 42. Is 2/3 bigger than m?
True
Let f = -1.12 - -0.12. Which is greater: 1/3 or f?
1/3
Let f = -23 + 29. Which is smaller: f or 2?
2
Let u be (-32)/(-10)*(0 - 5). Let j be (-4)/(u/6 - -2). Let t(x) = -x**2 + 6*x. Let v be t(j). Are v and 0 unequal?
False
Let h be (-6)/(-10) - 1008/(-45). Suppose -2*m + 5*n = -h, -n - 2*n = -3*m + 12. Let v be 56/(-30) - 2/(-1). Is v bigger than m?
True
Let g = 9.7 + -9. Let l = -3.3 - g. Which is smaller: 0 or l?
l
Suppose 0*t + 34 = -3*t + 4*b, 4*t + 42 = 2*b. Let x be (-12)/t*8/12. Which is greater: 1 or x?
1
Let k(g) = -2*g - g**2 + g**3 - 9 + 9. Let c be k(2). Suppose c*o + o = 1. Which is smaller: 2 or o?
o
Suppose x + 3*k = -2*x + 102, 0 = -x - 2*k + 39. Are x and 29 nonequal?
False
Suppose k = 5*j + 29, -2*k + 0 = 2*j + 2. Let f be (-2 - (-11)/k)*20. Suppose 2*x = d + 2*d + f, 2*x - 5*d = 25. Which is bigger: -1 or x?
x
Let y = -0.018 - 0.982. Let u = 0 - 1. Let x = y - u. Is -1 < x?
True
Let p(s) = s**2 + 0 + s + 0*s**2 - 1. Let n be p(2). Are n and 4 equal?
False
Suppose 0*b + 4 = 5*c - 2*b, -c + 2*b + 4 = 0. Is 3/31 <= c?
False
Suppose -4*v = -5 + 45. Let h be 2/v + 11/(-20). Which is smaller: -2 or h?
-2
Let q be 0/((-8)/((-4)/(-1))). Let v = 33/2 - 227/14. Which is greater: q or v?
v
Suppose -2*l - 12 + 60 = 0. Let n be (-9)/15 + l/15. Suppose -3*x = -2*m - 1, -3*x - x + 2 = -2*m. Is m equal to n?
True
Let z = -6 + 4. Which is bigger: z or -5?
z
Let p(o) = -o**2 + 0 - o**3 - 1 - 9*o**2. Let y be p(-10). Which is greater: y or -1/9?
-1/9
Let u = -0.14 + -0.16. Which is smaller: u or 3/4?
u
Let c be 4/3*(-9)/(-6). Suppose -c = -h + 5*b - 5, -2*b - 17 = -3*h. Does 6 = h?
False
Suppose -6*d = -d - 15. Let q = 102 + -99. Is d greater than q?
False
Let g = -4257031/17544 - -791/1032. Let q = g + 242. Is 1 smaller than q?
False
Suppose 2*v + 4*c - 5 = v, -4*v - c - 10 = 0. Suppose 3*h + 18 = -2*l - 1, 0 = 5*l - 5*h - 15. Which is smaller: v or l?
v
Let a be 5/(-21) - (-2)/(-6). Let h = 3 + 10. Let i = h - 12. Do a and i have different values?
True
Let k be 49/(-4) - 3/(-12). Let b be 2/(k/(-9))*2. Suppose -2*s + 3*x + 0 = -15, -10 = -b*s + 2*x. Which is bigger: -2/11 or s?
s
Let n = 21 + -21.4. Which is bigger: n or -2/3?
n
Suppose 7*d - c + 3 = 3*d, 4*d + 5*c = -9. Let s be (-6)/(-10) - (-2)/(-4). Which is smaller: s or d?
d
Let n be 2*-1*-5 + 0. Let p = -1 - -10. Which is smaller: p or n?
p
Suppose n - 3 = c, -12 = 5*c - 3*n + 1. Let a be c/(-3) - 13/(-3). Suppose f = -a*d + 25, -3*d + 15 = 2*f - 6*f. Are f and -2/9 equal?
False
Suppose 54 = 3*q + q + 2*o, 3*q - 4*o = 13. Is q greater than 10?
True
Let z = 5 - 7. Let m = z - -1.8. Is -1 != m?
True
Suppose 0 = -0*f + 3*f. Let l be ((2 - 2) + -2)/(-5). Which is greater: f or l?
l
Let j(t) = -t**2 - t + 1. Let y be j(2). Suppose l - 17 = -2*x + 6*x, 31 = -2*x + 5*l. Which is bigger: x or y?
x
Suppose -2 = r + 3. Let i(l) be the third derivative of -l**6/120 - l**5/10 - 5*l**4/24 + 2*l**3/3 - l**2. Let a be i(r). Is a less than 1?
False
Let o = 20 + -20. Which is smaller: o or -1?
-1
Suppose -3*w + 10 = -5. Suppose -g = -w + 1. Suppose -5*b + 2*x - g = 0, -b + 3*x = 5*x - 4. Is b smaller than 1?
True
Suppose 2*c = 195 + 1183. Let s = -3456/5 + c. Let y = -109/45 - s. Which is bigger: 1 or y?
1
Let a be -2 + (1 + 0)*-1. Let w be -1 + (-106)/60 - (-8)/(-20). Let k = a - w. Is k bigger than 0?
True
Let f = 77/17286 - 5/258. Let k = 127/469 - f. Which is greater: k or 0?
k
Let q = 21 - 11. Are q and 7 nonequal?
True
Suppose 13 = -4*v - 55. Let w be 3/(-14)*-2*v. Let c = -169/28 - w. Which is greater: c or 1?
c
Let x = 3 - 3.1. Let z = 0.8 + -0.8. Let k = z - x. Which is smaller: -1 or k?
-1
Let s(q) = 4*q + 1. Let f be s(2). Suppose 4*j + 5*r - 38 = 4, 2*j = 3*r + 10. Is f at least j?
True
Let w = -147 - -142. Which is bigger: w or -19?
w
Let q(x) = -x**3 - 17*x**2 + 16*x - 24. Let o be q(-18). Which is bigger: o or 21/2?
o
Let t = 73/95 + -7/19. Let r = -218 - -217. Is t less than r?
False
Let a = 257/7 + -37. Let r = -187 + 186. Which is smaller: a or r?
r
Let h = 110.3 - 115. Which is smaller: 0.1 or h?
h
Suppose 4*o + 5*h - 54 = 0, 0*o = -5*o - 5*h + 70. Suppose -4*f + 0 = 8, 4*d + 4*f = -o. Which is smaller: -2/3 or d?
d
Let q = 33 - 30. Suppose 0 = -6*l + l + 10. Is q less than or equal to l?
False
Let w(y) = -y + 1. Let r be w(4). Is -4 at least as big as r?
False
Let b be (1/1)/((-4)/(-80)). Suppose -y - 2 = -5*v, -5*y + b = -4*v + 9*v. Let l be 5/(-15) - 5/(-9). Is v at most l?
False
Suppose l - 4 = -3. Which is greater: -10/3 or l?
l
Let p = -161/3 - -53. Which is smaller: p or 32?
p
Let g = -0.6 + 0.5. Let p = 15 + -7. Which is bigger: p or g?
p
Let i(d) = d - 17. Let n be i(18). Which is smaller: n or 1/6?
1/6
Let m(u) = 14 - 4 + 3*u - 2*u. Let g be m(-9). Is g less than or equal to 1?
True
Let d = -0.02 - 0.28. Which is smaller: -9 or d?
-9
Let q = 3.2 - -2.6. Let f = q + 1.2. Let x = -9 + f. Do x and -0.2 have different values?
True
Let g = 0 + -0.1. Let x = g + 0.1. Let u = x + 0.1. Are 3/7 and u non-equal?
True
Let g = -1 - 0.4. Let a = 0.6 - g. Is a < -2/3?
False
Let q be 18/12*-1*(-8)/(-798). Which is smaller: q or 1?
q
Let u = 0.2 - 0.3. Let p = 0.8 + -0.4. Let o = 0.3 - p. Is u < o?
False
Let r be 1/(2/(-6)*3). Which is smaller: r or 2/141?
r
Let m = 2/75 - 9/25. Suppose 4*d - 17 = 3*w, d - 2*w - 4 = 2*d. Suppose 0 = -3*r + 4*i - 16, 0*i = 2*r + d*i - 8. Which is greater: r or m?
r
Let n(k) = 2*k - 1. Let i be n(-1). Which is smaller: i or -5/2?
i
Let z(b) = b**2 + 5*b - 9. Let c be z(-7). Suppose -2*n - 3*m = -23, -4*n + 2*m + 29 = n. Is n smaller than c?
False
Let y = 1 - 11. Let c be 0 - 211*2/y. Let q = c - 42. Which is smaller: 0 or q?
0
Let o(b) = -b + 6. Let i be o(6). Suppose -4*d - 3*c - 66 = i, -3*c - 83 = 5*d + c. Let g be 1/(d/(-6))*10. Is 3 smaller than g?
True
Let h be (2 - (-1)/(-1)) + 1. Are h and 5/3 non-equal?
True
Suppose 3*v = -2*x + 10, 11 = 4*v + 6*x - x. Suppose 0*n + 3*n - v*w = -5, 2*n = -w + 4. Which is smaller: n or -3/7?
-3/7
Let l be (-6)/3*(-2 + 1). Do l and 3 have the same value?
False
Let r(v) = -v**2 - 6*v - 4. Let d(f) = -4*f**3 - 2*f**2 + 2*f - 1. Let y be d(1). Let g = -10 - y. Let z be r(g). Which is smaller: -2/7 or z?
-2/7
Let f = -1 - 1. Let s = -5 - f. Let h = s - -3. Which is smaller: -2 or h?
-2
Let x = -12.75 + -0.25. Let q = -1.1 - -1.2. Which is smaller: q or x?
x
Let f(u) = -u**3 + 5*u**2 + 6*u - 1. Let t be f(6). Is t < 2/391?
True
Let o(c) = c**2 + 3*c + 5. Let n be o(-4). Suppose r - n = 3*w, r + 0*w = -w - 7. Is -2 greater than or equal to r?
True
Let i = -347 + 149. Let t = 112 + i. Let c = 432/5 + t. Which is smaller: 1 or c?
c
Let o be (12/90)/((-1)/(-3)) + -3. Whic