e -1*(-3 - (8 - 4)). Is h greater than or equal to a?
True
Let k = 1.325 - -64.775. Let l = -66 + k. Let r be 2 + -1 - 1/1. Is r at least l?
False
Suppose 4*j - 1 + 77 = 0. Let f = -51597/5 + 10301. Which is greater: j or f?
f
Suppose 0 = v - 2 + 1. Suppose -3*a = 4*j - 598, 4*a - 1055 = -a + 5*j. Let w = 2676/13 - a. Is w equal to v?
False
Let h be -1 - 80 - (-6 + (6 - -1)). Is -242/3 greater than or equal to h?
True
Suppose -7 - 28 = -7*h. Which is smaller: h or 1?
1
Let z be 1/(-4) - (-39)/12. Let d(r) = -r**3 + 20*r**2 - 20*r + 22. Let n be d(19). Is z not equal to n?
False
Let b be 21/(2/((-16)/6)). Is -28 bigger than b?
False
Suppose -88*s - 30 = -94*s. Is s greater than 5?
False
Let f be 34/6 + 30/9 + -4. Suppose 3*d - i = -2*i - f, -3*i - 8 = 2*d. Which is smaller: d or -2?
-2
Suppose 0*q + 165 = 11*q. Suppose i - 6*i - 25 = -3*v, q = -3*i. Which is greater: v or 7/15?
7/15
Let c(s) = s + 4. Suppose -4*q = -2*q + 8. Let v be (-8)/(q - (-6)/1). Let f be c(v). Is f less than -2/17?
False
Suppose 3*r + 15 = 8*r. Suppose 0 = -2*u - r*u. Suppose u = -3*v - 5*i - 7, -3 + 4 = -v - i. Which is smaller: v or 2?
v
Let k = 1.005 + -1.705. Which is smaller: 41 or k?
k
Suppose 0*f + 2*f = -42. Let l be 22/5 + f/(-35). Suppose -2*h - l = -3. Which is smaller: h or -0.3?
h
Let x be (-357)/(-20)*700/72. Let v = -174 + x. Let y = v + 47/120. Are -1 and y nonequal?
True
Let y be 48/(-20) - (0 - 2). Let c be ((-4)/(-4))/((10/(-4))/5). Is y at least c?
True
Let f = 11 - -1. Let g = 0.5628 - -1.4372. Which is greater: g or f?
f
Let b(s) = -23*s**3 - s - 4. Let c be b(3). Let v = c + 3177/5. Which is smaller: v or 7?
7
Let l(f) = 2*f**3 + 9*f**2 - 6*f - 3. Let b be l(-6). Is b at least -830/11?
True
Let r be (168/(-132))/((-2)/8) + -5. Is -2/23 < r?
True
Suppose 2*i = 3*t - 17, 3*i - i + 20 = 4*t. Let d = -461/5 - -92. Which is bigger: d or i?
d
Suppose 14*c - 13*c - 22 = 0. Which is smaller: c or 24?
c
Let v = -11 - -23. Suppose -d = 3*p - 22, -4*p - d + v = -16. Let y(t) = -t**2 + 7*t + 9. Let o be y(8). Which is smaller: p or o?
o
Let i be ((-51)/(-78) - 6/39)*4. Which is smaller: -3 or i?
-3
Suppose 3*n + 15 + 27 = -4*b, -3*n - 45 = 5*b. Suppose 2*p + 3*p + 50 = 0. Is n <= p?
True
Let h = 47 + -47.31. Let c = h + 0.01. Let p = -49/4 + 237/20. Which is smaller: c or p?
p
Let h be ((-12)/8 + 2)*0. Suppose 3*n + 23 + 31 = h. Let y be n/(-12) + (-11)/2. Is y not equal to -3?
True
Let s = 70 - 74. Which is greater: 2/511 or s?
2/511
Let f be -4 - ((-1 - 1) + -5)*1. Suppose 3*i - i - 165 = -u, 0 = f*i + 5*u - 251. Is i smaller than 83?
True
Let y be 1*(-3 - -5) + 1. Suppose 2*i = -v - y*v + 536, 5*i = -3*v + 395. Let m be ((-12)/v)/2*10. Which is bigger: -1 or m?
m
Let y be ((4/(-63))/1)/(14 + -8). Suppose -2*l - 8 = 4*f, 5 = 4*l - 4*f - 3. Is l less than y?
False
Let f = -107 - -260. Which is smaller: 4 or f?
4
Suppose -8*q = -5*q + 17*q. Which is bigger: q or -0.57?
q
Suppose 0 = -6*o + o, 4*q = -2*o - 52. Which is smaller: -24 or q?
-24
Let w be 2 + 6 + (-5 - -2). Suppose d + 1 = -w*q + 16, -4*d + 3*q - 9 = 0. Suppose d = 5*i - 0*i - 10. Which is bigger: i or 3?
3
Let c = -27.11 + -6.99. Let b = c - 0.9. Let y = b - -58. Is 1 at least y?
False
Let b be 49/28*(-20)/565. Are b and 1 equal?
False
Let c = 26 + -28.5. Let t = c + 2. Is -3 smaller than t?
True
Let m(l) = l**3 - 2*l**2 - 4. Let y be m(3). Suppose -y*w + 34 = -131. Which is bigger: w or 34?
34
Suppose 4 = -27*z - 23. Is 3/22 at least z?
True
Suppose -3*v = -9, -3*v = -5*z - 4*v - 2247. Is -1 bigger than z?
True
Let g = -922722 - -410611488/445. Let y = -4/89 + g. Which is smaller: 1/3 or y?
1/3
Suppose -2*n + 74 = 5*t, 3*n + 30 + 6 = 3*t. Let w = t - 41/3. Which is greater: 0.2 or w?
w
Suppose 0*y = 2*y - 6. Let s = y - 5. Let m be 6/(-1) - 600/(-225). Which is bigger: m or s?
s
Suppose -2*m = m - 33. Let z be 68 + -68 + -1 + 14. Is z at most as big as m?
False
Let d = -1 + 6. Suppose -z - g = -d*z, 2*z = 2*g. Let t = -89 - -355/4. Is z at most t?
False
Suppose 10 = 5*t - 2*n - 21, -2*t = -3*n - 19. Let l be -134*8/(-60) - 1/t. Is 17 bigger than l?
False
Let t be 66/57 + (1 - 2). Suppose 0 = -3*n + 9*n. Which is bigger: t or n?
t
Let l be (-12)/(-78) - (-280)/(-130). Is -74 at most as big as l?
True
Let u be 213/(-3816)*4 - (-2)/12. Is 0 > u?
True
Let s be 7*11/(-77) - (2 + -13). Is 38 < s?
False
Let m be 104/(-832) + 1/8. Let w be (1/(-6))/((-2)/6). Is w less than m?
False
Let r be -17 + 0 - (1 - 1). Let h be (-78)/(-6) + (5 - 2). Let f = r + h. Are -3/11 and f unequal?
True
Let t be (1 + -3)*(-10)/4. Suppose j - 3*j + 3*f + 3 = 0, -j = -t*f + 2. Suppose -3 = 3*a + j. Which is bigger: a or -1?
-1
Let j(x) = 2*x**3 + 22 - 23 + 4*x**2 + 3*x - 8*x**2. Let n be j(9). Let t = 70758/61 - n. Which is smaller: 0 or t?
t
Let k be 1/(-6) - (-5 - (-860)/24). Which is greater: 1 or k?
1
Let s(u) = 11*u + 10. Let h be s(-4). Is h less than or equal to 2?
True
Let c be (5 - (-11 + 3)) + 4. Suppose 13*k - c*k = 0. Are k and 3/11 nonequal?
True
Let u = -2640/37439 + 2/1291. Let l(x) = 2*x + 15. Let z be l(-7). Which is smaller: z or u?
u
Let n = -12.1 - -13. Let d = 0.1 + n. Is -1/4 greater than or equal to d?
False
Suppose 3*f + 47 = -4*o - 59, -2*f = -5*o - 121. Which is smaller: o or -23?
o
Let h be ((-5)/60)/(4/(-3)). Let x(u) = u**3 + 5*u**2 - 5*u - 9. Let v be x(-6). Let c = -14 - v. Which is bigger: c or h?
c
Let h = 247/3 + -4681/57. Let v = h - 1/95. Which is greater: v or -1.1?
v
Let s(z) = -3*z - 9. Let v be s(9). Let u = v - -50. Let d be (-1)/(-2) + (-3)/u. Which is smaller: d or -5?
-5
Let v = 182 - 107. Suppose -3*a + 4*f - v = 0, -a - 25 = -0*a - f. Is -24 equal to a?
False
Let s = -873 - -903. Is s at least 125/4?
False
Let w = 6 + -5. Let v be (6 - 0)/(2/w). Let b = 74 + -71. Is b greater than or equal to v?
True
Let i = -1832/7 + 3594377/13734. Is 1 bigger than i?
True
Suppose q = 3*q. Let f be 1/(-11 - q/(-5)). Which is smaller: f or -1?
-1
Let z = -553 + 479.7. Do 0.1 and z have the same value?
False
Let t = 7 - 6.8. Is -28 less than or equal to t?
True
Let n be 5/20 - (-655)/20. Is 32 at most as big as n?
True
Let m be 9/(-6459)*38/57. Which is greater: m or 0?
0
Suppose -21 = 3*n + 5*x - 2, 0 = -x - 5. Suppose 8*l = 9*l + n. Which is smaller: l or -1?
l
Suppose 5*z = 3*x - 12 + 8, -5*z = 3*x - 44. Let n be x/28 - 614/56*-1. Is n != 12?
True
Let n = -30138 - -149711/5. Let f = -197 - n. Let y = -4 + 3.9. Is y > f?
True
Let x = -1.81 - -4.81. Which is smaller: x or 72?
x
Let f(h) = -2*h**3 - 12*h**2 - 18*h - 46. Let g be f(-5). Which is greater: g or -95?
g
Let t(p) = 5*p**2 + 7*p + 3. Let z(n) = -11*n**2 - 15*n - 5. Let c(r) = -9*t(r) - 4*z(r). Let x be c(-7). Which is greater: x or -36?
x
Let y = 70.3 + -69.8. Let a = -0.01 - -0.11. Which is smaller: y or a?
a
Suppose -5*q + 63 = 2*b, 5*q = 14 + 11. Suppose -3*l = -5*t + 28 + 3, -3*l - 4*t - 67 = 0. Let u = b + l. Are u and 3 equal?
False
Let v be (-710)/(-35) + (-2)/7. Let n be 1/24*(-90)/v. Let d = -11/16 - n. Is -1 at most as big as d?
True
Let l = 18 - 16. Let x be (l + -6)*2*1. Let m be 1/4 - (-52)/(-16). Is m >= x?
True
Let g(n) = 30*n + 1. Let w be g(1). Let o = w + -20. Let x = 36 + -26. Do o and x have the same value?
False
Let z = 2 + 2. Suppose 3*b = -z*b + 3*b. Let h be ((-2)/21)/(-1 + 0). Which is smaller: h or b?
b
Suppose 4*w - 4*h = -0*w + 16, 4*w - 3*h = 20. Suppose 2 = -w*m + 10. Let f be (-6 - m) + (3 - 1). Is f >= -4?
False
Suppose -2*l + 1222 = -4*k - 464, -5 = 5*l. Is k < -420?
True
Let m = -885 - -865. Do -9 and m have different values?
True
Let o be -3 - (15/17 - 22/(-187)). Which is smaller: o or -29?
-29
Suppose -10*a = a - 66. Which is bigger: -6 or a?
a
Let z = -17.73 + -0.27. Let f = z - -17.94. Let d = 0.14 + f. Is d at least as big as 1?
False
Let g be 3920/(-26642) + (-4)/(-22). Which is bigger: -1 or g?
g
Let r = 1 - 0. Let z be (78/11700)/(0 - 1/4). Which is smaller: z or r?
z
Let d be 20/(-40) - (3 - 236/72). Is d at least 12?
False
Let b be 44/(-11) + 57/9. Is b equal to 1?
False
Let c(k) = k**2 + 10*k + 23. Let r be c(-4). Which is smaller: -42/89 or r?
r
Let m(r) = -r**3 + 11*r**2 + 2*r - 7. Let d be m(11). Suppose a + d = -4*a. Suppose 0 = -3*h + 11 - 29. Is a at most h?
False
Let w be 8 + (-1)/(