. Let z be (-1)/(g/(-4)*112/24). Is z at least -181?
True
Let z = 0.632 + -3.252. Is z less than or equal to -3/10?
True
Let z = 5/1591 - 17576/23865. Are -2 and z equal?
False
Let r = 11066 - 132791/12. Is r > -523/2?
True
Let x = 1070/3098229 - 8975281702493/1229996913. Let j = x - -7297. Let r(i) = -i**2 + 4*i - 3. Let f be r(3). Which is smaller: j or f?
f
Let z = 0.05277 + 19.34723. Is 0 at least as big as z?
False
Let j = 1/42527 - -86901/85054. Is j not equal to 1?
True
Suppose 80*c - 83*c + 2*b + 10 = 0, -3*c - 9*b = -120. Let n be 1 + 44/(-6)*-3. Which is bigger: c or n?
n
Let w = -44530.4 + 46429. Is w at most 0?
False
Let q(l) = -24*l**3 + 11*l**2 + 34*l + 8. Let p be q(-4). Suppose 5*a - 16*a + p = 0. Which is smaller: a or 143?
143
Let j = -102 + 60. Let h = 140 - 97. Let b = j + h. Is b at most 3?
True
Let i = -19303 - -19315. Is i bigger than 83?
False
Let m = -418505/8 - -52195. Which is greater: -117 or m?
-117
Suppose 0 = 2*f - 4*s + 34, 25*f = 22*f + s - 26. Let h be (f/1 - -5) + (-61)/4. Is h greater than or equal to -17?
False
Let m = -267919/98 - -2735. Let a = m + 20113/196. Is a greater than or equal to 103?
True
Suppose 5*d - 7095 = -5*q, -d = 15*q - 11*q - 1422. Do d and 8513/6 have different values?
True
Let m = -426 + 219. Let h = m - -206. Are h and -12/29 non-equal?
True
Let t be (-9*(-12)/(-63))/((-2)/(-14)). Let i be 68/(-50)*6/t. Let j = i + -539/425. Which is bigger: 0 or j?
0
Let y = -0.187 - 630.813. Let x = 632 + y. Which is bigger: x or -4.99?
x
Let n(m) = -6*m - 33. Let r(t) = 5*t + 35. Let a(k) = -2*n(k) - 3*r(k). Let z be a(-19). Are z and 20 non-equal?
True
Let n = -64.8 + -247.2. Let s = 277 + n. Is -0.4 > s?
True
Suppose 33 = c + 2*c. Let z = 1/34954 + 821417/69908. Does c = z?
False
Let z = 0.9 - -0.1. Let m = 6999.85 + -7000. Which is smaller: m or z?
m
Let a be (-1)/((-36)/(-38978)) + (-16 - 330/(-20)). Which is greater: a or -1083?
a
Let a(o) = 15*o**2 + 5*o - 327. Let j be a(7). Which is smaller: j or 3974/9?
3974/9
Let a = 5.81 + 0.19. Let v = -165.1 - -159. Let d = a + v. Which is greater: 0.044 or d?
0.044
Let m be ((-48)/18)/(-8) + 45688/(-2046). Let x = 22 + m. Which is greater: -1 or x?
x
Let h = 77562 - 620513/8. Suppose -2*k = 1 + 1. Let c be k/(6/3 - 1). Is c != h?
True
Suppose 3*q - 103 = 2*n - 12, q - 4*n = 57. Let m be (-3)/(-2) - (-118)/4. Which is smaller: q or m?
q
Let z be (441/(-27)*(-105)/(-28))/(6/(-24)). Is z >= 226?
True
Suppose 3*s - 25 = 35. Let u = 66 + -86. Let f = s + u. Which is smaller: 2/21 or f?
f
Let d(h) = h**3 + 3*h**2 + 2*h - 6. Let s be d(-2). Let n be s/80*-1*60/2115. Is n <= 0?
False
Let s be (10156/(-22))/(-2) + 58/319. Let t = s + -1156/5. Which is greater: t or -1/4?
t
Suppose 0*k + k + 48 = 3*a, -258 = 5*k + 3*a. Let i be -2 + k + 1 + (8 - 3). Do i and -48 have different values?
True
Let x(f) = f**3 + 2*f**2 - 2*f + 6. Let m be x(-3). Let w(p) be the first derivative of -2*p**3/3 + p**2/2 + p - 2. Let l be w(m). Is l bigger than -15?
True
Let f(l) = 6*l - 31. Let u(z) = 8*z - 32. Let v(i) = 5*f(i) - 4*u(i). Let p be v(-8). Is p at least -8?
False
Let g(o) = -2*o + 61. Let n(m) = m - 61. Let r(s) = -2*g(s) - 3*n(s). Let k be r(-22). Let d be (40/6)/(3/18). Is d < k?
False
Let v be (-1029)/(-11761) + ((-708)/228 - -3). Which is smaller: -1 or v?
-1
Let m be 445830/252 - 1/(-6)*5. Is 1771 < m?
False
Suppose -30*c = -81*c + 25*c + 6682. Suppose -1024 = -j - 3*j. Are j and c non-equal?
True
Let z be 6 - (-6 - -3) - -1. Let p(o) = -o + 9. Let k be p(z). Let f be (-112)/26 + 10 + -8. Which is greater: k or f?
k
Let b be (3 - -12) + (-8806840)/587160. Let j be 0 - (-1)/(-3)*3. Which is smaller: b or j?
j
Suppose 4*a = -l - 666, -3*l - 6*a - 2031 = -5*a. Which is smaller: l or -679?
-679
Let u(g) = 18*g**2 - 96*g + 835. Let h be u(30). Is h smaller than 14155?
False
Let u(d) = 27*d + 580. Let t be u(-28). Is t bigger than -1224/7?
False
Let d = -31729/4 - -7932. Is 521/13 at most d?
False
Let i be (-163)/(-865) - 3/15. Suppose 6*t = -t - 18106 + 18099. Is t smaller than i?
True
Suppose 3*a = 5*a - 4, 0 = o - 2*a + 211. Which is smaller: -2290/11 or o?
-2290/11
Let r = 85.3718 - 1.3718. Which is greater: -37 or r?
r
Let h(w) = -38*w - 167. Let j be h(-4). Let i be -6*(7 + j/2). Is 125 bigger than i?
True
Let s = -0.0108 + -4.6192. Let n = -4 - s. Let q = n - 0.73. Is q less than or equal to 0.35?
True
Let l be (-157 + 10)/(-5 - -6). Is -1185/8 smaller than l?
True
Let z be 22/((-176)/(-56)) - ((-202 - 1) + 3). Is 203 at least z?
False
Let i be ((-393)/(-6))/((-3)/18*3). Let n = 0.092 + -0.192. Is n at most as big as i?
False
Suppose -3*j + 22 = -q, -2*q + j = 3*q + 138. Let z be ((-1188)/q)/(-9) - -4. Which is smaller: -4 or z?
-4
Suppose -152 = 32*y - 51*y. Let k(r) = 12*r - 21. Let t(v) = 23*v - 42. Let c(j) = 7*k(j) - 4*t(j). Let u be c(y). Is u < -43?
False
Let k = -2/4173 - -8524/371397. Let c be (-3)/(-2)*8/(-12). Which is greater: k or c?
k
Suppose 0*t - 3*j - 195 = 4*t, 4 = -4*j. Let l = 48 + t. Suppose 4*w = 20, l = -4*c - 3*w + w + 2. Are c and -5 equal?
False
Let y be 2*(2 - (-21)/(-6)). Let b be ((y - -4) + -1)*1. Let p be b + 1 + 3 + 1 + 3. Which is greater: 17/2 or p?
17/2
Let d be (-109531)/2992 + 41 + 2*(-1 - 1). Which is bigger: 1 or d?
1
Let b be 3*3/(-4)*880/90. Let u(k) = k**2 + 17*k - 110. Let w be u(b). Is 7/19 less than w?
False
Let i be (-11919)/(-4851) - 1 - 49/((-9163)/(-102)). Which is bigger: 0 or i?
i
Suppose -13*j - 7477 = 4626. Let o be 9/(-12) + j/28. Is o greater than -32?
False
Let h = 21516 - 20085. Which is smaller: 1427 or h?
1427
Suppose -5*t + 227*t - 6*t - 53136 = 0. Which is smaller: 1234/5 or t?
t
Let k = -104/3 + 35. Let x = -171501.625 + 171502. Which is greater: x or k?
x
Suppose 2*l = 3*b + 1088, -341 = 5*l + 4*b - 3084. Which is smaller: l or 550?
l
Let m be 319/(19/(-76) + 2/(-8)). Is -638 smaller than m?
False
Let i be 30/(-70) + (-118)/(-210). Which is bigger: i or 411?
411
Let w(v) = v**3 + 3*v**2 + v + 19. Let b(m) = m**2 - 14*m + 29. Let c be b(11). Let x be w(c). Is x at most -17/26?
True
Let l = 8293.787 + -8294. Is l at most as big as 2?
True
Let t be 10638/135 - (36/15)/(-2). Suppose 3*u - 3*x - 266 = -32, 3*u - 5*x = 228. Is u at least t?
True
Let n(z) = -2*z**2 + 2. Let v be n(-1). Suppose -g - 8 - 13 = v. Let a be g*(-5)/33 - (-1 + 4). Which is smaller: 1 or a?
a
Suppose 4*f = -12, -3*i + 4*f + 9 = -0*i. Let g = -567/11 - -5543/99. Let c = g + -1394/315. Which is smaller: i or c?
i
Suppose 36*a - 37*a = -5. Suppose -11*x - 2*h + 188 = -9*x, -a*h = 0. Which is smaller: x or 95?
x
Suppose 44*r - 314 + 2954 = 0. Let y be ((-1)/27)/(r/72). Which is smaller: y or 1/4?
y
Let n = -271/9 + 545/18. Let d = -20/59 - -926/295. Is d greater than or equal to n?
True
Let t = -173.1 - -166. Let a = 7.24 + t. Let w = -0.23 + a. Which is smaller: 0.1 or w?
w
Let t = -90 + 209. Is 353/3 smaller than t?
True
Let f(u) = -14*u + 178. Let t be f(20). Let w be (-2 - t)*(-8)/(-16). Is 53 at least as big as w?
True
Let t be (-46)/(-3 + (-27)/(-8))*-3. Let f = t + -334. Is 228/7 equal to f?
False
Let o = 2258 + -2300. Is -42 greater than o?
False
Let h(g) = -g - 24. Let o be h(-9). Let i = o + 15. Suppose -y + i*y + 18 = 0. Which is greater: y or 0?
y
Let l(y) = -215*y - 3057. Let t be l(13). Is t less than -5850?
True
Let c be -3 + 1 + 7/((-42)/(-402)). Suppose 0 = -4*f - 0*f. Suppose 0*q = -4*q + 2*p + 268, f = 3*q - 4*p - 211. Is q bigger than c?
False
Let k be 598692/504 - (-4)/14. Let c = k - 48115/42. Which is bigger: c or 42?
c
Let f be (-33)/(-5)*150/90. Let o be 30 + 0/(-3 - -1). Let i be (-36)/o*5*-2. Are i and f unequal?
True
Let w = -118 - -111. Let z(i) = -25*i + 350. Let f be z(w). Which is smaller: 526 or f?
f
Let m(j) = 503*j - 3018. Let g be m(6). Let a = 621 - 26702/43. Is a > g?
True
Let k(x) = -2047*x + 8294. Let r be k(4). Which is bigger: 1174/11 or r?
1174/11
Suppose 35 = -3*z - 4*g, 0*g + 31 = -3*z - 5*g. Suppose 3*t = -4*j - 68, 58 = -j - 2*j - 4*t. Which is smaller: z or j?
z
Let y be (27/15)/((-3)/(-5)) + -2. Let d = 3.04 - 0.04. Let u = d - 17. Which is bigger: u or y?
y
Let m = 34 + -71. Let v = 79 + m. Let o = 50 - v. Which is smaller: 0 or o?
0
Let a = -10545 - -11147. Which is bigger: 593 or a?
