.08. Let j = -4.163 - g. Which is smaller: j or u?
j
Let o be (204/(-21726))/((-570)/(-9)). Which is greater: o or -1?
o
Let u(z) = -7*z**2 + 7*z + 18. Let j be u(-2). Let n(l) = -l**3 - 22*l**2 + 47*l + 15. Let h be n(j). Is h greater than 44?
False
Let w = -1783 + 1784. Which is smaller: w or 2/13495?
2/13495
Suppose 3*t = -u - 2, -t + 22 - 4 = 5*u. Let q be (-4)/(-24)*9*u/3. Let o = q - 1. Is o greater than or equal to 7/18?
True
Let i be (-4)/(-9)*-1 + 23/(-414)*6166. Which is bigger: -311 or i?
-311
Let b = -30310 - -30309.7. Let y = 4.19 + -0.09. Which is bigger: y or b?
y
Let n = 5 + 79. Let r = n + -83.915. Let c = -0.315 - r. Is 0 < c?
False
Let z(j) = 8*j**2 - 300*j + 7. Let y be z(34). Is -947 at least y?
False
Let c = -0.12 + 1.3. Let n be (756/(-486) + 278/144)*(-4)/6. Which is smaller: c or n?
n
Suppose -5*o = -4*o - 51. Let u = -51 + o. Let r be (-8)/(-6) - 1/3. Is r at most as big as u?
False
Let h(a) = -2*a**2 - 28*a - 67. Let m be h(-3). Which is greater: m or 74/799?
74/799
Suppose -4*h + 0*h + 96 = 0. Suppose 0 = 3*k + 4*v - 14, -4*v - h = -2*k - 8. Let g be ((-8)/20)/(1/(-15)). Is k < g?
False
Let d = -0.707 + -31.593. Let u = -32 - d. Let z = -8 - -7. Is u less than z?
False
Suppose 5*f = -r - 506, 5*r + 5*f - 2*f = -2596. Let x be (-22)/(-33) - r/3*-1. Is x at least -174?
True
Suppose -10*k = 58*k + 7276. Which is smaller: -120 or k?
-120
Let p = 118 - 202. Let j = p + 51. Let r = j - -51. Is r < 3?
False
Let a be ((1 + 45)/(-2))/(42 + 1165/(-30)). Which is greater: a or -8?
a
Let d be (19 + 1)*(-33)/(-22). Suppose 5*s + d = 10. Let t be (2/1 - s)*(-3)/(-387). Is 1 less than or equal to t?
False
Suppose -20 = -o + 5*h, -5*o + h + 20 = -4*h. Let g be (-3 - -4)*o/(-5). Which is greater: -2/213 or g?
g
Let a = 15/212 + -7797/2332. Let w = a + 45/11. Is w at least 0?
True
Suppose 5*d = -2*z - 17, -4*z = 7*d - 2*d + 19. Let y be (28/42)/((-2)/(-9)). Suppose y*s - 5*b + 15 = 4*s, 0 = -3*s - 3*b + 9. Is z greater than s?
False
Suppose 0 = -542*g + 534*g. Which is greater: 5/3473 or g?
5/3473
Let n be 3025/125 - (-20)/25. Which is smaller: n or 127/5?
n
Suppose 0 = -82*y + 74*y + 168. Suppose -r - y = 5*n, 3*n = -3*r + 7*n + 32. Which is greater: 35/9 or r?
r
Suppose 363*a = 357*a + 252. Let g be 66 - a/(56/8). Which is greater: 61 or g?
61
Let w be (-11)/(55/(-50)) - (3 - 2). Suppose 4*u = 3*y - 30, 5*y = 3*y - u + w. Let n be (-345)/(-45) - 2/(-6). Which is smaller: n or y?
y
Suppose 162 = -25*k + 16*k. Let s be 1*(-10)/(-2)*k/8. Which is smaller: -12 or s?
-12
Suppose -12 = 3*k, 3*f - k - 24 = -2*f. Suppose -f*j + 18 = w, -w = 3*j + 2 - 16. Let z = -2230 - -2223. Which is smaller: w or z?
z
Let p be (-1 - 3)/(2/(-57)). Let t = 138 - p. Suppose 4 = -4*i - t. Is i less than or equal to 0.3?
True
Let o be ((2/(-30023))/1)/(7 - 650/91). Are o and -1 non-equal?
True
Let n = 60319 + -86919683/1441. Which is bigger: 1 or n?
1
Let t be 6/(-57) + (-1965914)/16397. Let y be 603/(-5) + (-2)/5. Which is smaller: t or y?
y
Let z = -0.6 + -0.4. Let o = 0.23 + -0.08. Let j = 4.15 + o. Which is greater: j or z?
j
Let u be (-2)/9 - -58*(-1)/(-18). Suppose -u*r + 4*k + 123 - 23 = 0, 3*k - 78 = -2*r. Let g be (-2)/28*r/(-153). Which is greater: 0 or g?
g
Let b be 227850/(-124)*(-48)/(-342). Which is smaller: b or -258?
-258
Let r = 2.712 + -2.612. Which is smaller: -2352 or r?
-2352
Suppose 108 = -s + 55. Suppose -3*u - 4*l = -7*u - 196, -2*u - 118 = 3*l. Are u and s equal?
True
Let r = -20825 - -20728. Are r and -94 equal?
False
Let r be (16 - 15)*(376 + 0 + 1). Which is smaller: r or 371?
371
Suppose -15 - 1 = -4*n. Suppose 3*r = -3*d + 4*r + 462, 0 = -n*d + 2*r + 616. Let v = d + -9857/64. Is -1 bigger than v?
False
Let k = -6.2 - -20.2. Let u = k + -6. Let f = 25/58 - -2/29. Which is bigger: f or u?
u
Suppose 2*m - 504 = -m. Let h = -110 + m. Let p be ((-6)/8)/(2/(-152)). Is h <= p?
False
Suppose 23*b - 524 = 488. Which is smaller: b or -15/17?
-15/17
Suppose -24 = 13*r - 17*r. Suppose 18 - r = l. Let d be 4 - (1/(l/213) + 3). Do -18 and d have different values?
True
Let l = 9782.08 - 9782. Which is smaller: l or 0.013?
0.013
Let y(w) = w - 24. Let b be y(24). Let z be (-4)/34 - (-4 - 23568/(-6018)). Which is smaller: z or b?
z
Let c = -17 + 39. Let i(x) = 57*x + 25. Let t be i(-3). Let k be 2*(-6)/36 - t/6. Which is smaller: c or k?
c
Let g = 10882 - 6269. Which is bigger: g or 4617?
4617
Let x = 9335 - 9394. Is x at least as big as -55?
False
Let o = 13422035/69139 + -55/4067. Which is smaller: o or 193?
193
Let m(i) = i**3 + 13*i**2 - 11*i - 24. Let b be m(-13). Let x = -114 + b. Suppose h + z = 3*h - 9, -5*h - x*z = 15. Which is bigger: 3 or h?
3
Let f be 8 + (0 + 2)*1. Suppose -15 = -5*q, 0 = 4*g + 5*q - 7*q - f. Is g != 6?
True
Let k be 801/890 + 3/(-15)*1/(-2). Which is smaller: k or 35/27?
k
Suppose 3*c - b = 60, -2*b - 60 = -3*c + 2*b. Let v be 7*(-1 - 52/(-28)). Suppose -v*l + 175 - 49 = 0. Are l and c non-equal?
True
Let t = -42 - -57. Let u = 16 - t. Suppose -i = -z + 5*z + u, 5*z = -5. Is 2 greater than or equal to i?
False
Let x be -9*2/(-36)*3928. Which is greater: 1963 or x?
x
Let v be (6/12)/(3/(-684)). Let s = 340/3 + v. Suppose m + 3*m - 6 = 3*k, -5*k - 10 = -5*m. Is s > m?
False
Let n = 3/33275 + -88261/240811175. Is n greater than 0?
False
Let x be (-11510)/6 - (-16)/(-24). Which is bigger: x or -1920?
x
Let c(y) = -y**3 + y**2 + 5*y + 9. Let o be c(8). Let r = -1054143/55 + 93838/5. Let l = o - r. Which is smaller: 0.1 or l?
l
Let m = 23.175 - 23.275. Are m and -720 equal?
False
Suppose -13*j - 55 = -12*j. Let g = j + 44. Let w = 12 + g. Is w not equal to 0.03?
True
Let z = 3718 + -3818. Do z and 4 have different values?
True
Let w = -4712 - -4711. Let a = -5629/2 + 546025/194. Which is bigger: w or a?
a
Let y = -441 - -444. Let m be ((-22)/33)/(2/y). Which is greater: m or -1/288?
-1/288
Let a be (0/2)/((-6)/3). Suppose 4*g + 2*g - 306 = a. Are 51 and g unequal?
False
Let a(c) = 3*c + 5. Let f be a(3). Suppose -46 + f = -4*k. Suppose k*d = 5*d - 3. Which is smaller: 5/18 or d?
d
Let o(k) = -151*k - 38. Let d be o(-3). Let b be (86/(-17))/(3/246). Let t = b + d. Is t at least as big as 0?
True
Suppose 198 + 4230 = -18*d. Is -243 at least d?
True
Let z = -158 - -156.3. Let f = z - -4.7. Is f bigger than -2/65?
True
Suppose p + 2*g = 2*p - 399, 4*g = 4*p - 1616. Let b = p - 3683/9. Which is smaller: -25 or b?
-25
Let o(m) = -788*m - 7088. Let y be o(-9). Which is smaller: y or 291/74?
291/74
Let g be (7/(-45164))/(55/(-1320)). Is -1 less than g?
True
Let a(z) = z**2 - 19*z + 21. Let p be a(19). Let c be p/(-56) + (-213)/(-552). Which is bigger: -1 or c?
c
Suppose 2*j - 69 = -5*w, 4*w - 2*j = -4*j + 56. Let k = 14 + -11. Suppose a - k*m = 10 + 7, 4*a + 2*m = 54. Is a greater than w?
True
Let c be -5 - (694/(-150) - 40/300). Which is smaller: c or 0.101?
c
Let i(r) = 288*r + 5185. Let u be i(-18). Suppose -2*m = -3*p + 33, -2*m + 3 - 18 = -p. Is p smaller than u?
False
Suppose -l - 10 + 16 = 0. Let u(z) = -3*z**3 - 2*z**2 - 13*z - 5. Let w(q) = 2*q**3 + q**2 + 7*q + 3. Let j(k) = 3*u(k) + 5*w(k). Let b be j(3). Is l at most b?
True
Let b be (5 + (-776)/144)*83760/15. Is -2171 >= b?
True
Let i be (-32*(-44)/(-11))/1. Let x be 2*-2*508/16. Is x >= i?
True
Let p = -1232 - -2439. Is p > 1208?
False
Let p = 2.649 - 2.66. Let v = p + -0.089. Are v and 31 equal?
False
Suppose 5 = 4*j - 23. Suppose -j = -4*g - 5*i, -4*g - 2*i = -0*i - 22. Suppose 3*n + g = 4*d, -n + 5 = 3*d - 1. Which is smaller: d or 10/9?
10/9
Let n be 186/279*6/11608. Which is bigger: n or 0?
n
Let r = -1/148 + 9183/1036. Let o = -268/35 + r. Suppose -2*k = k. Which is smaller: k or o?
k
Let r = 69 - 35. Suppose -5*f = 10 + 125. Let p = r + f. Is 7 at least as big as p?
True
Let b be 63/72*732*-2*(-2)/(-3). Is -854 greater than b?
False
Let t = 103.6 - -6.4. Let m = -118.3 + t. Which is smaller: m or -0.1?
m
Let w(o) = -9*o**2 + 35*o - 138. Let l be w(4). Is -142 bigger than l?
False
Suppose 2*i + 2*n = -0*n + 10, 4*n + 22 = 3*i. Suppose -i*l + 775 = -209. Suppose 4*j + 2*a = 28 + l, -4*j = -a - 198. Is 51 greater than j?
True
Let s = -1/1434 + 33701/2868. Let m = 408 + -407.9. Which is smaller: m or s?
m
Let c be 43/26 - 843/562. Is c greater than or equa