t z be 202/(4/1 + o). Is z greater than or equal to -102?
True
Let f = 24.13 + -24.23. Is -951 smaller than f?
True
Let b(c) = -13*c**2 + 4*c + 5. Let d be b(-2). Let l = 43 + -23. Let g be 4*5/(l/(-56)). Are g and d non-equal?
True
Let z = 85184/94455015 - 2/40245. Which is greater: z or -1?
z
Let l be (-24)/(-36)*123/(-2)*1. Let g be l/9 - 6/(-9). Which is greater: -1 or g?
-1
Let a be 40/(-6)*(156/(-8))/13. Suppose -4*t - 80 = -4*c, -5*t + a*t = c - 120. Which is greater: t or -24?
-24
Let z be (-1)/(10/4 + 0 + -3). Suppose 2*w = -3*n + n + 52, -2*n = -z*w + 40. Let k = -25 + w. Is -3 less than k?
True
Let t = -76 + 106. Let d be (8/t)/(10/(-15)). Let v be (-14)/(-5) - (-3 + 6). Which is greater: v or d?
v
Let z = 19 - 9. Let c be (-130)/12 - (15 + 178/(-12)). Let d = c + z. Does d = -1?
True
Let v = 3027 + -2816. Which is smaller: -8 or v?
-8
Let i be 46/(-4)*(0 + -33 + 1). Suppose -6*o = 2*o + i. Is -45 at least o?
True
Suppose -9*g - 35 = -5*b - 4*g, -5*b + 15 = 5*g. Suppose 2*u + 3*o + 6 = 6*u, 0 = b*u + 3*o + 6. Which is smaller: u or -5/24?
-5/24
Suppose i = 5, 961 = 2*n - 5*i + 82. Suppose 112 - n = -34*k. Which is smaller: 6 or k?
6
Let r = 7.409 + -7.309. Is r less than 0.1043?
True
Suppose -210*w - 531 = -201*w. Which is bigger: w or -67?
w
Let g = -598 + 597.9729. Let a = -4.9729 + g. Let c = -2.6 - -2. Is c > a?
True
Let u = 1668290 + -1668278. Let y(x) = x**3 + 7*x**2 + 2*x + 1. Let d be y(-6). Which is smaller: u or d?
u
Let j = 2.2313 + -2.2513. Which is greater: -2052 or j?
j
Let j be (258 - 9) + -7 - -6. Suppose -96*b + 98*b = j. Is 123 <= b?
True
Suppose -109*s + 0 = 80*s - 0. Is s smaller than -26?
False
Let s(n) = n**2 - 5*n - 100. Let i be s(13). Suppose m - 208 = 4*f + 75, -4*m - i = 0. Which is bigger: f or -72?
f
Suppose 82*x - 8 - 84 = -10. Which is smaller: x or -345?
-345
Let z = 1 - -2.6. Let i = 4 - z. Let c = -3138 - -3140. Is i at least c?
False
Let z = -17242 - -17137. Suppose -3 = -3*r - 0. Which is smaller: z or r?
z
Suppose 2*g = 2*y - 122, g - 2 + 6 = 0. Suppose 55 = t - l, -t + 4*l - 9 = -58. Do y and t have different values?
False
Let j(h) be the third derivative of 5*h**4/6 - 41*h**3/6 + 120*h**2. Let i be j(2). Which is smaller: i or 3/212?
i
Let t = -4531 + 4571. Is t greater than or equal to 34?
True
Let m = 7 + -5. Let s = m + 5. Let a = 79509.7 + -79509. Is s smaller than a?
False
Let q(s) = -3*s**2 + 58*s - 161. Let h be q(16). Let v = 12083/707679 - 1/2961. Is h < v?
True
Let z be 50/15 + ((-457220)/(-34305))/(-4). Is 0 less than or equal to z?
True
Let r be (17 - 5) + 51 - 2*-4. Is r > 71?
False
Let g(z) = -3*z**2 + 31*z - 78. Let s be g(6). Which is smaller: s or 27/229?
s
Let f(h) = -5*h - 149. Let j be 3/6 - (94/4 - -4). Let q be f(j). Is -44/3 != q?
True
Let g = -119 - -47. Let z be (-93)/(-74)*688/(-12). Let r = g - z. Which is bigger: -1 or r?
r
Let c be (-64)/11 + (-5)/((-220)/(-8)). Let y be c/(-10) - (13 - 12). Which is smaller: -1 or y?
-1
Let d = 0.138 + -29.138. Let r = -53 + d. Which is smaller: 0.1 or r?
r
Let h be 49 - (-3 + 2 - -1). Let c be (-4)/(28/h) + -144. Do c and -151 have the same value?
True
Let z = 15 + -325. Let a = -310.066 - z. Are -1 and a unequal?
True
Let a(v) = -6*v**2 + 34*v + 76. Let u(l) = 5*l**2 - 32*l - 75. Let j(b) = -6*a(b) - 7*u(b). Let g be j(-9). Are g and -30 equal?
True
Let h = -364742 + 365006.891. Let d = h - 265. Is 0.2 less than or equal to d?
False
Let s = 164563/5 + -32913. Let l be -1 - -2 - 8/(-7). Is s > l?
False
Let f be 2/(-4) + (-219)/(-6). Let c = -20 + 25. Suppose 0 = c*r + 9 - 29, 0 = 4*h - 4*r - f. Which is smaller: 12 or h?
12
Let o be ((792/3773)/3)/((-6)/525*-1). Is 6 greater than o?
False
Suppose -9*t - 18 = 18. Let u(b) = 2*b**2 + 9*b + 18. Let l be u(t). Suppose 58 = l*q - 12*q. Is q < 29?
False
Suppose -8314 = 119*g + 23203 + 6087. Let k be (2 + 1)*(-2)/(-21). Do k and g have different values?
True
Let i = 20 - 9. Suppose -408 = -i*u - 56. Suppose -4*v = u + 40. Is -16 greater than or equal to v?
True
Let y(h) = -30*h**3 + 10*h - 11. Let z be y(2). Let l = 199 + z. Which is smaller: l or -34?
-34
Suppose n - 3*w - 24 = 0, n = -3*n - 2*w + 26. Let c(z) = z**3 - 5*z**2 - 5*z + 19. Let o be c(n). Is 297 != o?
True
Let l = 2/2405 + 16771/76960. Suppose -4*u + 4*p + 8 = 0, 4*p + 0*p + 11 = u. Is u smaller than l?
True
Suppose u = -4*u + 45. Suppose -3*j + p + 0*p - u = 0, 15 = -5*p. Let v be j/((-36)/75) - (-2)/3. Is v equal to -1/3?
False
Suppose 0 = -6*g + 5*g + 7*g. Let m be 66/(-5643) + g/(-1). Let s(k) = -k - 2. Let v be s(-2). Which is smaller: v or m?
m
Let g = -0.07 + 29.07. Let h = g - -11. Let c = -33 + h. Which is greater: c or -2/7?
c
Let b be (4/(-6))/(14/1014). Suppose 684*a - 683*a - 3 = -52. Is a at least b?
False
Let w(c) be the second derivative of -2*c**3/3 - 3*c**2/2 - 2*c - 2. Let t be w(-1). Is t equal to -2/73?
False
Let i(b) = 9 - 15*b + 14*b**2 + 0 + b**3 - 9. Let q be i(-15). Let t be 36/14*(-1)/(-2). Do t and q have the same value?
False
Let w = -12 - 11. Let t = 88704 - 88708. Is t smaller than w?
False
Let k(f) = 4*f + 36. Let d be k(9). Let l be (-79)/(-2) + (-108)/d. Which is smaller: l or 37?
37
Suppose -2*s = 5*m, 0 = -3*m - 2*m + 2*s. Suppose -3*l = 2*b + 59, 5*b - 28 + 163 = -5*l. Let c be b/36*-4 + (-9)/3. Which is smaller: c or m?
c
Let u = 5/2244 + -3571/92004. Is u bigger than 41?
False
Let d(f) = f**3 + 19*f**2 + 23*f - 26. Suppose -7*a + 2*w + 32 = -9*a, 5*w - 5 = 0. Let n be d(a). Is -1 at most as big as n?
True
Let r = -88174/7 + 67100092/5327. Which is bigger: r or -1?
r
Let k be (1600 + -19)*(12/(-9))/4. Let f = 526 + k. Is f <= 2/125?
True
Let z = 2.371 - 2.471. Is 2681 > z?
True
Let y(h) = -31*h**2 - 61*h. Let o be y(-2). Which is smaller: 22.82 or o?
o
Let y = 7447 - 7375. Which is smaller: 1.26 or y?
1.26
Let x be 2 + -3 + (8 - (-2265)/255). Which is smaller: 15 or x?
15
Let i be ((-1)/2)/((-34)/4). Let l(r) = -297 + 103 + r**2 + 145. Let b be l(7). Is i not equal to b?
True
Suppose -5*c + 4*t - 11 = -10*c, 2*c = -t + 2. Which is smaller: -1/12319 or c?
c
Let n be (-5)/(-20) + (-54)/152. Let g = -5860/3 + 1953. Which is bigger: n or g?
n
Let h(u) = 16*u + 3. Let p be h(10). Suppose 125 + p = 8*d. Suppose -n + 2*y = d, 4*n + n = 5*y - 175. Is -34 < n?
False
Let d = -32 - -47. Let z = -13299.9 + 13302.9. Which is smaller: z or d?
z
Let s(g) = 4*g + 1. Let u(p) = -15*p - 7. Let c(n) = -4*s(n) - u(n). Let r be c(3). Are 50 and r unequal?
True
Let i be (15988/(-60) - -2) + -4. Let c = i + 939/5. Which is bigger: 0 or c?
0
Let l be (-4*1/(-80))/(44/(-8072)). Let s = 135/11 + l. Which is smaller: s or 3?
3
Suppose 10*f - 153957 - 393043 = -40*f. Which is smaller: f or 10939?
10939
Let o = 1959/52 + -151/4. Let m = -6 - -13. Suppose 4*c = m*c. Is o smaller than c?
True
Let b(u) = -u**3 + 5*u**2 + 3*u - 11. Let t be b(5). Suppose -27 = -i + 2*y, -y - 80 = -t*i - 0*y. Suppose -4 = 23*x - i*x. Which is bigger: -2/255 or x?
-2/255
Let r be (6*(-18)/180)/((-246)/4). Is r equal to -3?
False
Let h be 4/(-14) + (-405)/(-21). Let v(l) = l**2 - 30*l + 203. Let f be v(19). Let o be f + -1 - (19 - h). Which is greater: o or 2/3?
2/3
Let u = 1 + -1. Let d = 1 + u. Let v = 1102093 + -1102056. Which is bigger: v or d?
v
Let y be ((-38)/(-16))/((-5)/(-20))*-6. Let l = 51 + y. Which is smaller: 0.2 or l?
l
Let g be (-5096)/(-480) - (145/(-25) - -6). Which is greater: g or 10?
g
Suppose 5*a - 58 - 83 = 2*d, 0 = -4*a + 2*d + 112. Let v(c) = 4*c**2 - 71*c + 12. Let w be v(18). Which is greater: a or w?
w
Let o = 9030 + -8989. Is 51 smaller than o?
False
Let h(u) = -6*u - 82. Let f(t) = -t**3 - 19*t**2 - 83*t + 2. Let w be f(-12). Let q be h(w). Which is smaller: q or -19?
q
Suppose -2238*d - 1520 = -2200*d. Is d less than -9?
True
Let w(b) = b**3 + 5*b**2 - 6*b. Let x be w(-6). Let g = -594 - -874. Let t be (14/g)/((-4)/((-32)/(-15))). Is t less than or equal to x?
True
Let j(f) = f**3 - 7*f**2 + 33*f - 340. Let w be j(7). Which is smaller: w or -118?
-118
Let l be (1120/(-15))/8*63. Is -589 > l?
False
Let w = -10728.2 - 1404.8. Is -1 less than or equal to w?
False
Let b = 1.91 + -166.91. Let s = b + 164.887. Let t = -3.113 - s. Which is bigger: t or -0.11?
-0.11
Let q = 2 + -1. Let i be 2/(3*(-8)/72). Let 