-116.45 - i. Let q = -0.77 + x. Which is smaller: q or -2/5?
-2/5
Suppose 3*t - 4130 = 5*l, t - 12*l + 7*l - 1380 = 0. Which is smaller: t or 2/3?
2/3
Let j be 3 + -7 - ((-10527)/4334 - (-12)/(-8)). Is -1 >= j?
False
Suppose 0 = 4*y + 5*v - 22, -v + 17 = 5*y - 0. Suppose -y*j = -5*j + 2. Let d be -1*(1 + 0) - (-423)/417. Which is smaller: j or d?
d
Let r = -90 + 89. Let c be 0 + (-1)/r*-257. Is c smaller than -257?
False
Let k be (-134186)/(-40053) + 4/3. Which is bigger: k or 6?
6
Let h = -919 - -912.21. Let o = h - -2.79. Which is greater: 0.012 or o?
0.012
Let t = 30910 - 30780. Let q = 195 - 66. Which is bigger: q or t?
t
Let y(z) = 62*z**3 + 17*z**2 + 69*z - 40. Let u be y(-7). Is -20956 not equal to u?
False
Let c be -1 - ((-1110)/600 - (9/(-4))/3). Let q = -4.92 - 0.08. Which is greater: q or c?
c
Let f = -711 - -713. Is 129/7 > f?
True
Let l be -4 + (11/(-9) - -1) + 391972/92844. Is 1 less than or equal to l?
False
Let o = 0.0834 - 3.0884. Let n = 0.145 - o. Let k = n + -3.2. Is k less than 4?
True
Let w(t) = -7*t**3 + 160*t**2 + 46*t + 60. Let y be w(23). Which is bigger: y or 587?
y
Let u = 2607 - 2619. Suppose -2*z = q + 21, 0*q + 2*q = z - 37. Which is bigger: u or q?
u
Let r be (-1)/(23/(-63) + 4/18). Let q be (-3)/(-2)*r/14. Which is bigger: 0.53 or q?
q
Suppose 0 = -5*l - 3*q + 3894, 3124 = -l + 5*l - 2*q. Which is greater: 778 or l?
l
Let h = 0.0986 - 0.4286. Let t = 145/3 + -48. Are h and t nonequal?
True
Let i = -14773/35 + 423. Let a(k) = k + 1. Let z be a(-1). Is z greater than or equal to i?
False
Let i be 12/15 - 1570/2025. Let h = i + 25/81. Is -30 smaller than h?
True
Let u(v) = 24 - 24 - 16 - 11 + 2*v. Let b be u(18). Let f be 18*(9/(-6))/(-3). Is b != f?
False
Let o = -1331435/108 - -12328. Which is bigger: o or -1?
o
Let w(y) = -3*y - 38. Let h be w(-14). Suppose -2*p + 2*b = 0, -16*p + 1 = -21*p + h*b. Is 0 > p?
True
Let q(z) = -z**2 + 13*z - 26. Let a be q(3). Let m be (-3)/24*2 + a/16. Is 2/229 bigger than m?
True
Let g(j) = j**2 + 12*j + 17. Let m be g(-9). Let h be (-8)/(-20) + 4/m. Suppose a + 2*o - 4*o = h, 0 = -5*a - 4*o. Which is greater: a or 1/14?
1/14
Let o = -683 + 652. Let q = -68 + 42. Let z = q - o. Which is bigger: z or 4?
z
Let c = 958 - 46944/49. Suppose -78 = -88*k + 10. Which is smaller: k or c?
c
Let d = -165 - -200. Let j be 518/d + -7 + -8. Which is greater: 113 or j?
113
Let b be 24/22*3/(-9). Suppose -5*i - 15 = 0, -3*f - 4*i + 40 = 1. Suppose -5*u + 8 + f = -4*n, 2*n = -4*u - 6. Which is bigger: b or u?
u
Let v be 2/1 + -3 - 2. Let k be (1/v)/((-3)/(-6)). Let z = -131/112 - -21/16. Are z and k equal?
False
Let l(h) = 2*h**3 + 11*h**2 - 22*h + 48. Let n(r) = r**3 + r**2 - 1. Let f(i) = l(i) - 3*n(i). Let d be f(6). Which is greater: d or -10?
d
Let w = -0.4571 + -200.5429. Which is bigger: 6 or w?
6
Let v be (10/(-25))/(-7 + 5). Suppose 5*o - 28 = o. Suppose -10*i - 3 = -o*i. Which is bigger: i or v?
v
Suppose -11*o - 8*o = -o - 36. Which is smaller: o or 77/38?
o
Let k = 35.95 + 0.05. Let h = 39 - k. Let p = h + -3.05. Does p = -0.2?
False
Suppose 0 + 5 = -p + 5*l, 2*p + l = 1. Suppose p = -2*y - 17 + 7, 5*z - 2*y = 100. Let c be (485/(-500) + 1)/(z/16). Is 0 at least as big as c?
False
Suppose 0 = -6*b + 13 + 11. Let p be ((-30)/(-9) - b)*-18. Let i be -4 - -10*p/(-10). Which is bigger: -15 or i?
-15
Let a be (-4 - (-14)/4)/((-20329)/(-2088)). Which is smaller: a or 1?
a
Let y = 19 - 51. Let d = y - -34. Suppose -3*p - 4*u = d*p - 101, -4*p + 89 = -5*u. Is p bigger than 22?
False
Let z = 15858 + -5153852/325. Do 1 and z have different values?
True
Suppose 2*d + 16 = 0, 37*c + 4*d = 41*c - 20300. Do 5071 and c have the same value?
False
Let b = -0.0949 - 0.1051. Which is bigger: -4/2571 or b?
-4/2571
Suppose -8*b + 2*b - 10*b + 7696 = 0. Does 489 = b?
False
Let s be 667/(-148) - 697/(-164). Is s >= 2?
False
Suppose 18*q + 139 = 85. Let f = 18 + -2. Let m = f + -15. Is q at least as big as m?
False
Suppose 17*g - 2148 = 5*w, 20*g - 19*g + 5*w - 84 = 0. Which is greater: g or 9?
g
Let l = -12710 + 291266/23. Is l at most 1?
True
Let c(r) = r**3 + 9*r**2 + 142*r + 908. Let m be c(-7). Let n = 117/10 - 79/70. Which is smaller: n or m?
n
Suppose 3*g + 3*v - 57 = 0, g - 2*v + 12 - 37 = 0. Suppose 108 = 22*h - 310. Is g less than or equal to h?
False
Let w be (-2 + 1)/(17/170). Let t be ((-6)/w)/((-1)/(-30)). Suppose -5*h - 85 = -5*x, 2*x - h - 19 = 15. Which is smaller: x or t?
x
Let j = -5 + -1. Let v = j - -15. Suppose -1 + v = 8*u. Which is bigger: 4/25 or u?
u
Let k be 25/15 - 1 - 104/165. Which is smaller: -2 or k?
-2
Let m = 36 - 38.1. Let w = 309 + -311. Let j = w - m. Is j less than 13?
True
Suppose 0 = -q - 5*q - 108. Let c be ((-15)/q)/(110/30). Is c less than 0?
False
Let y = 183659/897 - 5066/23. Is -16 at most y?
True
Suppose 4*w + 3*w = -931. Let c = -118 - w. Is c smaller than 15?
False
Let a(z) = z**2 - 6*z - 7. Let n be a(7). Suppose -281 = -9*r - 776. Let j be 4/r*6/(-24)*30. Is n < j?
True
Let b = 73.7 - 2.7. Let s = -13105 - -13166. Let j = s - b. Are -2 and j non-equal?
True
Let x(g) = -26*g + 21. Let t(h) = -5*h + 4. Let c(a) = -11*t(a) + 2*x(a). Let q be c(0). Let k = -899/1050 + 4/175. Which is greater: k or q?
k
Let u = -515 + 104539/203. Suppose 39*a = 35*a, 0 = 5*s - 3*a - 5. Which is smaller: s or u?
u
Let i be (242/(-33) - -8)*6/(-4). Which is smaller: i or -1/3529?
i
Suppose 4*p - 90 = -118. Let w(j) = j**3 + 17*j**2 + 55*j + 29. Let z be w(-13). Which is bigger: z or p?
p
Let o(x) = -x**3 - x**2 + 2*x - 3. Let h be o(-3). Let l = 412/10549 - -22292527/2637250. Let q = 1/125 + l. Which is smaller: q or h?
q
Let c(s) = -2*s**3 + 79*s**2 - 45*s + 228. Let m be c(39). Suppose -r - 30 = 2*r - 3*d, 5*r + 30 = d. Which is bigger: r or m?
r
Suppose -64*s = 54 + 10. Is -6/509 less than or equal to s?
False
Let g = 1.4497 + -0.1997. Are g and 0.3 nonequal?
True
Let y(q) = 31*q**2 + 249*q + 32. Let i be y(-6). Is -347 <= i?
True
Let b = 45 - 1110. Let u be 28/(-210) - 52/b. Which is greater: u or 0?
0
Let t = 0.109 - -155.891. Let x = -155 + t. Is -6/13 not equal to x?
True
Let b(s) = -2*s**3 - 43*s**2 - 21*s + 39. Let q be b(-21). Suppose 10*t - q = -129. Is t at most -8?
True
Let d be 6/15 - (-178)/5. Suppose 2*v + 2*v + k = 1008, 3*v = 2*k + 756. Suppose -v = -0*h - 7*h. Is h less than d?
False
Let y(p) = -6*p + 73. Suppose -9*j = 3*j - 108. Let a be y(j). Do a and 19 have different values?
False
Let j = 11 - 8. Let a be (-3)/(45/12 - j). Let r be (1/22)/((-74)/7992). Which is bigger: r or a?
a
Let s = 95 - 95.01. Suppose 0*h = 5*h + 4*v + 5, 17 = -h - 4*v. Suppose 8*p - 4*p - h*y = 3, 4*y = p - 17. Which is smaller: p or s?
p
Let s(a) = -a**3 + 32*a**2 - 61*a + 29. Let r be s(30). Let f be r/(-16)*(-3)/4. Is 1 <= f?
False
Let z = -55 + 109. Suppose 0 = -0*r + 3*r - z. Let l be 3/70*(-6)/r. Is -1 greater than l?
False
Let b = -37686 - -23930602/635. Which is smaller: 2/7 or b?
b
Let g be (-144)/((-44)/10 + 4). Let q be ((-108)/g)/((-1)/2). Which is greater: 4/39 or q?
q
Let w be ((-3072)/896)/(9/(-280))*(-30)/4. Which is bigger: -5602/7 or w?
w
Suppose -5*l - 4*x + 8157 = 0, -2*x - 1367 = -3*l + 3514. Let d = -296477/182 + l. Which is bigger: d or 0?
d
Let z(l) = 2*l**2 - 66*l - 217. Let s be z(36). Does -2366 = s?
False
Suppose 2839 = -26*a - 44013. Which is smaller: -1801 or a?
a
Let c = 4058728396 - 4290075545844/1057. Let u = c - 2442/7. Is u at most -1?
False
Let r = 93435/7 - 13398. Are -50 and r nonequal?
True
Let o(s) = -s**3 - 19*s**2 - 3*s - 47. Let j be o(-19). Suppose 0 = -2*b + 3*a - 17, -j*b - 3 = -13*b - 5*a. Is -1 > b?
True
Let z be ((-2536)/5)/(-8)*-10. Let w = z + 551. Is w at most -85?
False
Let b(m) = 5*m**2 + 8*m - 9. Let z(l) = l**2 + 2*l - 2. Let w(y) = -2*b(y) + 9*z(y). Let u be w(3). Let a be (-170)/(-30) - 1/u. Are a and -0.4 unequal?
True
Let g be (2375/(-75))/(10/(-36)). Let u(c) = -118*c**3 + 2*c**2 - 2*c + 1. Let x be u(1). Let f = x + g. Is f equal to -7/2?
False
Let q(t) = t**3 - 35*t**2 + 36*t - 82. Let c be q(34). Let h be c/28 - 28/8. Is -66 less than or equal to h?
True
Let u be ((-805)/(-28))/5 - 2 - 3. Which is smaller: 19/5 or u?
u
Let u = 56.96 - -1.04. Let r = 1 - u. Let w = 59 + r. Which is bigger: w or 2/33?
w
Let x = 26 - 25.