t f = h + 5. Is f at most as big as x?
True
Let s = 354 + -356. Are s and -28/29 unequal?
True
Suppose 43*f - 4655 = -15319. Which is smaller: -250 or f?
-250
Suppose 3*d + 2*z + 1 = 13, 12 = 3*d + z. Let b be (-15)/3 - (-36)/d. Let s be (-4)/(8/3)*-2. Which is smaller: s or b?
s
Suppose 0 = -5*t + 4*w + 25, -2*t + 3*t + 4*w = 29. Which is greater: t or -0.12?
t
Let h = -251 + 250.3. Which is bigger: -86 or h?
h
Let m = -2/129 - -789/43. Which is bigger: m or 18?
m
Suppose 23*p - 3556 = 607. Which is greater: 184 or p?
184
Let f(i) = 87*i - 783. Let c be f(9). Which is smaller: c or 663?
c
Let h = 17.69 - -0.31. Let t = h + -17. Let u(k) = -k**2 + 3*k. Let v be u(3). Are t and v equal?
False
Let i(z) = 39*z + 36. Let v be i(-2). Is -40 less than v?
False
Let i(o) = -7*o**2 + 10*o - 49. Let u(q) = -15*q**2 + 19*q - 98. Let w(d) = 13*i(d) - 6*u(d). Let n be w(10). Which is bigger: n or 5?
n
Suppose -5*b = -5*x - 210, -b - x = 2*b - 146. Let l = b + -28. Are l and 19 nonequal?
False
Let s be 5/(-2) + (-441)/(-126). Which is smaller: -8/61 or s?
-8/61
Let x = -2.5 + 0.5. Let o = 31 + -30.83. Let b = o - 7.17. Which is smaller: b or x?
b
Let r = 27 - 38. Let d(q) = 3*q + 10. Let c be d(r). Suppose 4*i + 9 + 85 = -b, -3*b + 30 = -i. Is i >= c?
False
Let i be 378/112 - 1/(-8). Which is smaller: 4 or i?
i
Let x(a) = -4*a**3 + a. Let j(l) = -l - 4 - 1 - 5. Let b be j(-11). Let o be x(b). Which is smaller: -5 or o?
-5
Let x = -9 - -12. Suppose -2*a = 3*r + 41, 3*a - x*r = -5*r - 49. Let d = 17 + a. Is 1 > d?
False
Let b = 7.143 - 0.143. Are -3 and b equal?
False
Let j(r) = -13*r + 299. Let y be j(38). Is -387/2 smaller than y?
False
Let k(n) = 2*n - 7. Suppose 2*u + 4*l - 16 = 0, 2*l = -5*u + 5 + 35. Let a be k(u). Is a < 9?
False
Suppose -6*p + 5*p = 0, -5*p - 9 = 3*y. Do y and -4 have the same value?
False
Suppose -9*z + 39 - 12 = 0. Let r be ((-6)/(-63))/(1/39). Which is smaller: z or r?
z
Let p = 762 - 665. Which is greater: p or 102?
102
Let d = 112/589 + -3/19. Let b be 2/(-4)*(15 - 15). Is d not equal to b?
True
Let s(m) = m**2 - 6*m. Let g be s(6). Let q = -48 + 108. Suppose g*d = -6*d + q. Is d <= -1?
False
Let y be ((-22118)/(-6) - -2) + -2. Let w = y - 61521/17. Let h = w - 202/3. Is h <= -2/3?
False
Let a = -18/13 + 188/117. Which is bigger: -73 or a?
a
Suppose 0 = -5*k + 3*k. Let m be (80/(-12))/((-2)/(-6)). Let u = -18 - m. Is u at least as big as k?
True
Let g = 0.054 - -50.946. Let y = 27 - g. Let f = 26 + y. Which is bigger: -0.08 or f?
f
Let y = -1484 + 1487. Let c = -2.5 - 0.5. Let t = -3.3 - c. Which is bigger: t or y?
y
Let s be (4 - (-70)/(-15)) + 688/6. Is 111 smaller than s?
True
Let h(u) = 6*u + 43. Let m be h(-19). Which is bigger: -72 or m?
m
Let b be (1/(-9))/(2/28). Let z(g) = g**2 + 10*g + 4. Let v be z(-8). Let x be v/90 + (-39)/45. Is x greater than b?
True
Let i(c) = -5*c - 1. Let f(u) = -u. Let g(l) = 6*f(l) - i(l). Let x be 6/((-14)/4 + 2). Let w be g(x). Are w and 7 unequal?
True
Let v = -3317/9 - -369. Let i = v - 38/99. Which is smaller: 1 or i?
i
Suppose 5*x = 21 - 26. Is -11/10 smaller than x?
True
Let j = 56420/23 + -50886631/20746. Let w = 5/22 - j. Which is smaller: 1 or w?
w
Let l = 0.3 + 15.7. Let g = 39 - 26. Let x = l - g. Which is smaller: x or -3?
-3
Let l = -30.74 - -31. Let x = l + -0.3. Is 3/2 < x?
False
Let u = 60 + 47. Let r = u - 113. Is -66/13 at least r?
True
Suppose -3 + 18 = 5*r, 4*r + 12 = 3*z. Suppose -2*s + z + 4 = 0. Suppose 2*k = s, -f + 22 = 4*k + 10. Is f smaller than -2/7?
False
Let v = -13 + 24. Suppose -98 = -9*n + 100. Let l = n - v. Which is greater: l or 10?
l
Let u(a) = 3*a + 103. Let o be u(-27). Is o smaller than 18?
False
Let v(g) = -g**2 + 25*g - 11. Let q be v(21). Let t = q - 68. Suppose -5*z + 29 = -0*z - 2*r, -3*z = 2*r - 11. Is t less than z?
False
Let g be ((-1)/(-2))/((-3)/(-18)). Let y be 4/((-4 - -3) + g). Let s be y - 0 - (11 - 9). Is 4/15 < s?
False
Let h be (3 + -8)*(-70)/(-25). Let a be 0 - (-188)/h - 4/7. Which is smaller: a or -13?
a
Let u be (-147)/14*(0 - -1)*18. Is -190 != u?
True
Let k(u) = -2*u**2 - 14*u - 1. Let m be k(-7). Is m less than or equal to -6/73?
True
Let g = 235 + -233. Suppose -4*x = -0*x - 8. Suppose -4*t + 4*q + x = -t, 3*q - 7 = -2*t. Does t = g?
True
Suppose 0 = 5*w + b - 44, -9 = -5*w + 3*b + 39. Is w not equal to 13?
True
Let q = -63 + 56. Are 0 and q nonequal?
True
Let o = -917.06 + -9.94. Which is smaller: o or 1?
o
Let k = 48 - 43. Let o = 84 - 59. Let j = o - 21. Is k at least j?
True
Let v be 1*2*10/60. Let x be 180/(-50) + 6/(-15). Is x at least v?
False
Let z(t) = 4*t + 19. Let d be z(-4). Suppose -d = v + 2. Which is bigger: v or -9?
v
Suppose -72*g = -25*g + 118534. Is -2523 at least as big as g?
False
Let c(h) = 4*h**2 + h. Let g be c(1). Suppose -2*k = 4*d - 42, 0 = -k - g*d + 9 + 27. Which is bigger: k or 9?
k
Let s(g) = -9*g + 52. Let i be s(7). Which is greater: -104/9 or i?
i
Let q(i) = -i. Let n(g) = -1. Let v(f) = 2*n(f) - 4*q(f). Let a be v(4). Let l = 59 - 43. Are l and a unequal?
True
Let v(h) = -h**2 + 3*h - 2. Let g be v(3). Let o = -69 + 5588/81. Let t = o - 107/81. Which is greater: t or g?
t
Let i = -12 - -11.9. Let n = 0 + i. Which is bigger: n or 1.9?
1.9
Let g be (-9)/(-4)*(-40)/15. Let w be g/((-7)/(-4)*18/84). Suppose 2*q - 1 = -29. Which is greater: w or q?
q
Let y = 4.779 - 0.079. Let p = y - 4.4. Which is smaller: p or 1/5?
1/5
Let z be (10/(-28))/((805/(-28))/23). Is z at least -53.4?
True
Let w(g) = g**2 + g - 3. Let c be w(-3). Suppose -80 = 5*i + h - 6*h, 0 = -2*i - c*h - 12. Suppose 22 = -4*p - 22. Which is bigger: i or p?
p
Let q be (-1 - 3)*(-3)/126. Let g(h) = -5*h + 5. Let n be g(1). Suppose -3*t + 19 = f - 6*f, -3*t + 3*f + 9 = n. Are t and q nonequal?
True
Let a be 2*3/6*21. Let q be 6/a - 328/(-28). Let n = q - 9. Which is bigger: 5 or n?
5
Let s = 34 + -54. Let t = s - -20. Is 2 > t?
True
Let b(n) = -113*n + 12. Let v be b(-12). Let m be v/(-133) - (-4)/14. Is -8 smaller than m?
False
Suppose 3*l - 15 = -3*z, 3*l - 2*z = -8 - 2. Let p = -18 + 35. Let w = -17 + p. Is l less than w?
False
Suppose 0 = -5*m + 5. Let n = 1765/1131 + -25/1131. Is m less than n?
True
Suppose 9*c = -32 + 23. Is -51 equal to c?
False
Let l = -281 + 506. Which is greater: 224 or l?
l
Suppose -q - 4*q = 5*u - 55, -3*u + 39 = 4*q. Let i be q/4*(-10)/(-15). Is i >= -2?
True
Let m = -75 + 73. Are m and 6 non-equal?
True
Let a = -64 + 46. Let q = -19 - a. Let k = -1.1 + 0.1. Is k bigger than q?
False
Let c(k) = -18*k - 90. Let f be c(-5). Is f >= 1/268?
False
Let f = -3443/4 - -1721/2. Which is greater: f or 2.5?
2.5
Let j(z) = 43*z**3 + 5*z**2 + 3*z - 1 - 1 - 44*z**3. Let y be j(5). Suppose y = -0*x - 2*x - m, -3*m + 33 = -3*x. Is -3 at least as big as x?
True
Let g be 3/(12/(-4)) + 41. Suppose -5*f - x + 201 = 0, -f - 2*x + 45 = 3*x. Is f smaller than g?
False
Let j be (13 - 11)*7/2. Suppose -o + 3 = j. Let t = -9 + 4. Is t smaller than o?
True
Let r = 24.195 - 0.095. Let w = r + -1.1. Which is greater: w or 0?
w
Suppose -5*c - 27 = 18. Let b be ((-15)/c + -1)/((-6)/(-27)). Let f(n) = -n**3 + 3*n**2 - n + 4. Let p be f(3). Is p bigger than b?
False
Let a(d) = 3*d - 4*d + 1 - 4. Suppose 0 = -16*t + 2*t - 42. Let u be a(t). Does u = 5/9?
False
Let g be (-2 - 9/15) + 9/15. Suppose 4*d = 1 + 3. Which is bigger: d or g?
d
Let x = -17 - -24. Suppose -1 + 8 = -x*b. Which is greater: b or -9/7?
b
Let s = 23 + -37. Let o be (-5)/10 + s/4. Which is greater: o or -2?
-2
Let m be 4 - (6 + -1 + -3). Let c be 4/m + -9 + -3. Let a be ((-12)/150)/((-2)/c). Is a at least as big as 0?
False
Let g be 3/6 + (-6)/(-4). Let j(x) = 5*x + 17*x**2 - 4 - 16*x**g + 3 - 2. Let s be j(-8). Is 21 less than s?
False
Let o(a) be the third derivative of -a**5/30 - 7*a**4/24 - 5*a**3/6 - 43*a**2. Let l be o(-1). Is 3/49 equal to l?
False
Let f = 102 + -508/5. Which is smaller: f or 16?
f
Let w be (-8)/(16/(-13))*2. Which is bigger: 11 or w?
w
Let k(l) = 2*l**3 + 22*l**2 + 16*l + 10. Let v be k(-10). Is 51 at most v?
False
Let l be 1/((-3)/6 + 1). Suppose 3*m + 5 = -l*m. Let c be -3 + (-23)/(-19) - -2. Which is greater: c or m?
c
Let n(m) = m + 88. Let v be n(-15). Suppose -v*t - 3 = -70*t. Is t greater than -2/107?
False
Let v = -10.3 - -10. Suppose 2