= 0. Is -7/2 smaller than q?
True
Let f = 28730 - 53179228/1851. Which is bigger: f or 1?
1
Let i be -2 + 4 - (-97)/22*12. Which is bigger: 56 or i?
56
Let m(x) = -x**2 + 37*x - 128. Let q be m(15). Are 208 and q equal?
False
Let m be -13 + 19 + -3 + 474. Is m != 484?
True
Let o = 52 + -35. Let r(u) = -3*u**3 + 49*u**2 + 34*u + 5. Let p be r(o). Which is smaller: p or 40/11?
40/11
Let l(k) = -4*k**3 - 5*k**2 + 6*k + 6*k**3 - 3*k**3 + 10. Let h be l(-6). Suppose 5*s + 11 = 4*d + 77, 0 = 4*d + 16. Is h at most as big as s?
True
Let j = 366 - 565. Let t be (-37 - -43) + 1*j. Is -192 at most t?
False
Let q be 21/84*3*4. Suppose -5*l + q = -7. Suppose 0 = -l*u + k, -3*u + 8*k - 3*k = 7. Are -1/12 and u equal?
False
Suppose 4*y = -4*r - 1576, 5*r + 390 = 4*r + 3*y. Let h = 69 + r. Is -322 bigger than h?
True
Let v = -104 - 18. Let a = v - -146. Let n = a + -23.84. Is n greater than -5/3?
True
Let v be 2/((-2 - (-68)/32)/(-2)). Let q = -35 - v. Let z be (-9)/36*(q - 1)*1. Which is smaller: z or -3/7?
-3/7
Let t be 100/12 + 4 + -12. Which is bigger: t or 0.81?
0.81
Let t = 995 + 8. Suppose 52*z - 69*z = t. Which is smaller: z or 1/3?
z
Let y(r) = 4*r**3 + 5*r**2 - 5. Let h be y(3). Suppose 0 = 4*l + 4*v - h, 2*v - 20 = -3*v. Let g be ((-2)/(-6) + 1/6)*64. Which is bigger: l or g?
l
Let f = -486.36 - -401.3. Let p = 85 + f. Which is smaller: p or -1/3?
-1/3
Let v(i) be the first derivative of i**3 - 25*i**2/2 - 18*i - 119. Let t be v(8). Which is smaller: -24 or t?
t
Let c(u) = -u**2 - 5*u + 3. Let h be c(-4). Suppose -2*x + 2*r = h + 13, 3*x - r + 20 = 0. Let a(n) = 4*n**2 + 11*n + 8. Let t be a(x). Is t greater than 53?
False
Let d be (6/(-3) + -3)*(-1 - 0). Suppose o = d*o - 20. Suppose -114 = -o*l - 119. Which is greater: l or -4?
l
Suppose 5*d = -130 - 130. Let s = -47 - d. Suppose 0 = -r - s - 0. Which is smaller: -4 or r?
r
Let z = -25.83287 - -0.06287. Let m = z + -0.23. Let k = -1149 - -1148.9. Which is smaller: k or m?
m
Let x be 54 - (2 - (0 + 2 - 4)). Suppose -17*a - x = 8*a. Which is bigger: -128 or a?
a
Suppose -84*u = 69*u - 59*u + 94. Is -2/5981 at least u?
True
Let u = 123 + -295. Let h be ((-1)/3 - u/(-3))*-6. Which is bigger: 345 or h?
h
Suppose 2*o - 5*h - 7 = 7, o = -3*h - 4. Let a(f) = -5*f + 434. Let q be a(31). Let p = q + -279. Which is smaller: o or p?
p
Let c(n) = 2*n**3 + 15*n - 863. Let y be c(20). Which is bigger: 15436 or y?
y
Let b(f) = 6*f - 4. Let v be b(3). Let z(i) = -i**2 - i + 85. Suppose -3*d + 15 = -2*t, -2*t - 9 = 5*d + 14. Let l be z(t). Which is smaller: l or v?
l
Let n = -6605.8 + 6606. Do 2/1043 and n have the same value?
False
Suppose -10*d - 60263 = -58453. Is d at least as big as -189?
True
Let d be 18/(-45)*(2/(-32))/((-16)/(-160)). Let v = -1.95 - -2. Let r = 0.02 - v. Which is greater: d or r?
d
Let o = 339 - 343. Which is bigger: o or -24/5?
o
Suppose -6*f - 5*d - 5 = -3*f, -5*f - 4*d - 4 = 0. Is -21/34 >= f?
False
Let k = 10.91 + -11.01. Are -1/306 and k non-equal?
True
Let r be (-11 - -13)*(-5 - -3) - (-120785)/25. Is r at least 4826?
True
Let v = 3045 - 3981. Which is smaller: v or -1/7?
v
Let j(d) = 3*d + 4. Let b be j(2). Suppose 0 = -15*l - b*l - 1300. Which is bigger: -55 or l?
l
Suppose 0 = 16*t + 215 - 55. Let o be (-50)/t + (-12)/2. Is 1/175 greater than o?
True
Let r(m) = -4567*m**2 - 40*m + 38. Let o be r(1). Which is smaller: o or -4570?
-4570
Let m(w) = 19*w - 8. Suppose 12 = -2*c - 4*r, -6 + 14 = -2*c - 3*r. Let d be m(c). Suppose -10 = 2*f, -4*f + d = a - 0*f. Is 49 at least a?
False
Let j = 55 - 118. Let o = j + 63. Suppose 4*t + 4 + 0 = o. Is -2/17 at most as big as t?
False
Let n = 73 - 72.928. Let c = 23.072 - n. Let r = -24 - c. Which is greater: r or -0.1?
-0.1
Suppose 3*g = -2*g - 85. Suppose 4*m - 49 = 4*d - 149, 4*d - 10 = -m. Which is greater: m or g?
g
Let q = -90.5 + -28.5. Let r = q - -269. Let c = r - 82. Is 1 smaller than c?
True
Let u be (3/(-4))/((-27)/216). Let j(a) be the third derivative of a**4/12 - 10*a**3/3 - 9*a**2. Let n be j(u). Is n greater than -51/7?
False
Let d = -0.2464 - -0.3064. Which is greater: -361 or d?
d
Let y = 21 - -123. Let x = y + -140.5. Is x at least 2?
True
Let p = 92856/13 - 581716/91. Let i(g) = 67*g + 12. Let m be i(11). Let y = p - m. Is 0 at least y?
False
Let p = -1026597/46 - -22321. Which is greater: p or 5?
5
Let l = -75337.19 - -75337. Let g = -0.1 - -1.1. Let p = g - 1. Is l >= p?
False
Let z = -18 - -6. Let h be (z - -6 - -84) + 0 + 0. Suppose -8*k = -5*k - h. Which is greater: 27 or k?
27
Let k be (3/(-6))/(264/(-256) + 1). Suppose 0 = -5*q - 4*b - 25, 3*q + 18*b + 13 = k*b. Which is smaller: -4/423 or q?
q
Suppose 0 = 2*r - r. Let b be ((2 - 10) + 3)*-1. Let m be ((-15)/(-6))/(b/4). Which is bigger: r or m?
m
Suppose z = 3*z - 8. Suppose 0*o = -z*o - 4. Let p be (-7986)/1617 + (-1 - -6). Which is smaller: p or o?
o
Suppose 9 + 24 = 11*y. Let x be (8/(16/6))/y. Let k be 6/((x*(-6)/(-16))/(-2)). Which is smaller: -1 or k?
k
Let l = -1/5332 - 1031/5332. Let u = -21 - -22. Is u at most l?
False
Let m be -3 + 1 + 3 + 0. Let l(z) = -5 + 47 - 21*z + 62. Let w be l(5). Which is smaller: m or w?
w
Let k(n) = -n - 2. Let o(c) = -c**3 - c**2 + 3*c + 2. Let u be o(-3). Suppose 5*p - 6*p = u. Let t be k(p). Is t bigger than 8?
True
Let w = 301 - 525. Let o = w - -224.5. Let j = -0.04 - 0.16. Which is smaller: o or j?
j
Let t be (-11)/22 - (-3610)/36. Let s = t - 100. Suppose -108 = -2*v - 2*v. Which is greater: s or v?
v
Let v = -84 - 181. Let x = 264 + v. Which is smaller: -222 or x?
-222
Let w be (-2 + 4)/((-16)/(-16)). Let h be w + 28/(-8) - (-481)/318. Is -2/3 at least as big as h?
False
Let j(z) = -z**3 - 50*z**2 + 106*z + 103. Let w be j(-52). Which is greater: -2/8875 or w?
-2/8875
Let b(v) = -v**2 + 9*v + 60. Let n be b(13). Let p(q) = -q**2 + 7*q + 7. Let k be p(n). Is 14/29 <= k?
False
Suppose -2*n = 4*y + 28, 78*n - 82*n - 4*y - 52 = 0. Which is bigger: -355/28 or n?
n
Suppose -t - 4*t - 3*h - 47 = 0, -t + 4*h = 14. Let r be 6 + (10/t)/(2/(-232)). Let g(w) = w**3 - 3. Let i be g(5). Is r at most i?
True
Let p be 5/(75/4592) - 8/60. Suppose -446 = 3*i - a, -3*i + 4*a - p - 146 = 0. Is -147 greater than i?
True
Let o = -1612 - -3838. Is o less than 2227?
True
Let d = 724 + -41. Is d at least 682?
True
Suppose p - 10 = -0*p. Suppose 0 = 447*b - 411*b - 576. Which is smaller: p or b?
p
Suppose 2*m = 5*r - 2*r - 7, -3*r - 3 = 3*m. Let s be (-10278)/(-221650) + 6/33. Let x = 2/775 + s. Which is smaller: r or x?
x
Let p = -256.4 - -256. Which is smaller: 11.2 or p?
p
Let g(x) = 48*x + 1. Let a be g(4). Suppose -1525 = -121*k + 21707. Which is smaller: k or a?
k
Let t = -1847 - -1847. Are t and -9/65 non-equal?
True
Let g be (3577/(-146))/(3/(-6)). Suppose -98 = f - 3*f. Is f >= g?
True
Suppose -5*i = 5*v - 25, -4*i = 30*v - 31*v + 10. Which is smaller: i or -200.2?
-200.2
Let w = -17945 - -161503/9. Are w and 1899 unequal?
True
Let r be (-3)/((-18)/34) - (-6)/(-9). Suppose -4*h + 20 = r*p - p, -5*p = -3*h - 65. Let f = p - 728/73. Is 0 greater than or equal to f?
False
Let g = -220.29 - -225.79. Is g > 69?
False
Let u(b) = b + 11. Let m = -130 + 124. Let i be u(m). Suppose 4*z = 4*y, 5*z = i*y - y - 1. Which is greater: z or 2/133?
2/133
Let y be 8 - (8/(-40) + (-42428)/(-4940)). Which is smaller: y or 0?
y
Let n(t) = -7*t**2 + t + 1079. Let c be n(17). Is -4632/5 bigger than c?
True
Suppose 199*n + 110*n = -1854. Let p = 6138/17 + -93566/255. Which is smaller: p or n?
n
Suppose -19*t + 14*t = 1140. Let f = t + 229. Which is greater: f or 3/160?
f
Let n(u) = 3*u + 25. Let o be n(-10). Let y(i) = i**3 + 4*i**2 - 4*i + 6. Let f be y(o). Let t be f - (-124)/(-24)*2. Are 1/2 and t non-equal?
True
Let c = -3019 - -51328/17. Which is greater: 72 or c?
72
Let b(r) = -22*r + 200. Let i be b(9). Which is greater: i or 1.476?
i
Suppose 141*o + 41588 = 215*o. Which is bigger: o or 572?
572
Let c be (9 - 107868/(-42)) + 24/(-84). Is c at least 2576?
True
Suppose -3*m = -0 + 60. Let v(j) be the third derivative of -j**4/12 - 13*j**3/3 - 13*j**2 + 2. Let c be v(m). Is c less than -1?
False
Let n = 0.49 - 0.439. Let t = -1.3 + 1.4. Which is bigger: t or n?
t
Let v be 2/7 - (-16)/(-7). Let k be (-1146)/(-24) + (-2)/(-8). Suppose -3*i - 51 = -k. Is