 (-4)/6 + ((-35)/15 - 5). Let o = 1.827 - 1.727. Which is greater: o or i?
o
Suppose 0 = -54*z + 51*z + 18. Suppose 4 = -z*d + 4*d, 4*x = 4*d + 4. Which is smaller: x or -7/16?
x
Suppose -3*c + 15 = -3*m, -m + 55 = c + 4*c. Let l be 42/(-105) + 14/c. Is l less than or equal to 4/17?
False
Let d = 26.2 - 105. Let j = 79.2 + d. Is j <= -2/95?
False
Let y be (3 + 2 - 16) + -2694. Which is greater: -2703 or y?
-2703
Let k = -68230315/1102 - -61915. Let r = 331777/5510 - k. Which is bigger: 59 or r?
r
Suppose -2*d + 26 = 4*a, 0 = 4*d - 2*d - 3*a - 47. Suppose -5365 = d*c - 48*c. Are c and 185 non-equal?
False
Let y = 9 + -6. Let j = 43 + y. Let i be 1/((-18)/4)*23/j. Are i and 2/7 equal?
False
Let a(c) = c**2 + 13*c - 33. Let k = 1 + 3. Let p be a(k). Is p not equal to 42?
True
Let y(j) = -12*j + 386. Let b be y(-57). Let f = b - 1056. Which is smaller: 6 or f?
6
Suppose f - 2*r = -3*r - 14, 5*r = 3*f + 10. Let q be 1/f*77 + (-19)/(-38). Is -6 < q?
False
Let q be 329/(-63) - -5 - (5 - 27671/(-18)). Is q greater than or equal to -1542?
False
Let a = 23028 + -10607. Which is bigger: 0.1 or a?
a
Let v be (-26)/(-8)*2*(-1596)/(-6). Is 1730 less than or equal to v?
False
Let n be ((2349/(-203))/27)/(4/2107). Which is smaller: -227 or n?
-227
Let p(g) = 12*g - 121. Let w be p(10). Let s = -6520 - -1766922/271. Which is smaller: w or s?
w
Suppose -4*a + 8 + 4 = 0. Let u = 96 - 95. Let h be ((-12)/2 - -56) + a/u. Is 52 < h?
True
Let g be (-18)/(162/63) - (0 - 33). Is g < 25?
False
Let g be ((-9812)/8028)/(1 + (-59)/3). Which is greater: 2 or g?
2
Let w = -207636088657613/11115 + 18680709759. Let z = 254/9 - w. Does z = 1?
False
Let a = -28 + 24. Let c be (2 + 0)/((-41)/(-10) + a). Suppose 5*l + c + 5 = k, k = 3*l + 15. Is 2 at most k?
False
Let y(h) = h**3 - 21*h**2 - 22*h. Let f be y(22). Let i = -944/145 + 31/5. Which is greater: f or i?
f
Let h = -159 + 48. Let p be h/(-30) - (-2)/((-8)/4). Is 4 < p?
False
Let d be (-14)/(-84)*-3*2. Is 15/91 less than or equal to d?
False
Let g(x) = -x - 5. Suppose -m = 3*d - 33, -3*d + m = -2*m - 33. Let z be g(d). Is -18 at least z?
False
Let b(o) be the third derivative of 7*o**4/24 - 10*o**3/3 + 73*o**2. Let u be b(5). Suppose 2*x + 2*x + 2*q = 68, x = -3*q + 22. Is x less than u?
False
Let i be (-9 - (-4608)/513)/(2/140). Is i at most as big as 0?
True
Let l(j) = j**3 + 13*j**2 - 3*j + 18. Let p(s) = -2*s**2 - s - 1. Let f(g) = -l(g) - 3*p(g). Let b be f(-8). Which is smaller: b or 17?
b
Let r = -0.046 - 0.109. Let s = 13.545 - r. Let u = 12.7 - s. Which is smaller: u or -1/74?
u
Let o = 1030571/216475 + -6/8659. Is o at most as big as 4?
False
Let j = 50.98 + 1.02. Let a = -81148 + 81146. Are j and a equal?
False
Suppose 25305 = -21*m + 56*m. Which is bigger: m or 724?
724
Let u be 28/(-98)*(28/(-8))/1. Which is greater: -2/17 or u?
u
Let g = 451 - 453. Let t be (-4498)/(-1131) + (g - 0) + -2. Is t not equal to -1?
True
Let w = -5890 + 5894. Do 94/27 and w have different values?
True
Let b = -17 - -16. Let k be 222317/189 + (-12)/(-21). Let j = k - 1177. Which is smaller: b or j?
b
Suppose 3*k = 5*y + 147, 4*y + 3*k = -10 - 86. Suppose -2*a - 2*a = 4, 0 = 5*m - 5*a - 35. Let x(r) = -3*r**2 + 13*r + 2. Let t be x(m). Is y bigger than t?
True
Let j be ((-4)/36)/(5/(-90)*2). Let i be (-36)/1032*1/(-9). Let h = -179/1806 + i. Is h less than j?
True
Let j be (-2)/6*(11 + -14). Suppose -3*x = -2*q - 128, -4*x + 10 + 153 = 5*q. Let h be 5/(-15) - x/360. Which is smaller: j or h?
h
Suppose 0 = 5*u + 4*m - 155, 6*u - 4*u + 4*m = 50. Suppose -u = -17*s + 10*s. Is s < -25?
False
Let d = 1525 - 1577.39. Let k = -5.51 + d. Let g = 58 + k. Which is smaller: -0.049 or g?
-0.049
Let p = -174 - -8181/47. Let r = -119 - -124. Suppose -v + 7 = 2*c, 5*v + r = 4*v + c. Are p and v equal?
False
Suppose 0 = 6*q - 3*q - 18. Let m be (q*(-4)/(-16))/((-50)/9536). Let i = -286 - m. Are i and 0 equal?
False
Let q be (-1)/2*(-1263 - 1). Let v be (-20)/(-12)*(-6)/4*(-14182)/(-56). Let p = q + v. Which is smaller: p or -2?
-2
Let q = -2746.1 - -3436. Let x = q - 690. Which is bigger: x or 2/247?
2/247
Let r = 0.1976 - -156.8024. Which is smaller: r or -29?
-29
Suppose -14*s - 301 = -3339. Let l = s - 217. Which is bigger: l or 2/47?
2/47
Suppose -4*r = -2*x - 14, -3*x + r - 31 = -0*r. Let y be (-4)/(-22) - (-1 + (-68)/x). Let z = -359 + 1773/5. Is y not equal to z?
True
Let t = 166/5 + -33. Let q(l) = l**2 + 87*l + 1160. Let j be q(-16). Is j >= t?
True
Let g = 7466 - 7484. Which is greater: g or 2/19?
2/19
Suppose -3*p - n = 8, -2*p + 17*n - 18*n - 7 = 0. Let w = 1374 + -203353/148. Is p at most as big as w?
True
Let p be (-6)/2*1787 - (55 - 64). Which is greater: -5354 or p?
p
Let b be (9/36 - (3 - 62/8)) + -5. Is b less than 2/213?
True
Let c be ((-26355)/70)/((-9)/96*-2). Which is bigger: c or -2007?
-2007
Let t be 32/144 - (-1915)/9. Let x = -186 + t. Which is greater: 80/3 or x?
x
Let d = -98 - -60. Let b = 38 + d. Let y be 20/(3/(9/(-3))). Which is greater: b or y?
b
Suppose -2*y = -2*n - 8, -5*y + 0*n + 14 = -2*n. Suppose -2*k - y = 3*b - 2*b, 3*b = -2*k - 14. Let o be 0 - (-7)/(0 - 1). Which is greater: b or o?
b
Let r = 20333638523/32277 + -629973. Which is bigger: 0 or r?
r
Let z = 1/4 - 0. Let r = -2.477 + 2.35. Let k = 0.127 + r. Are k and z unequal?
True
Let z = -13931 + 13931.3. Which is greater: z or 90/11?
90/11
Suppose -o = t + 4, 0 = 16*o - 12*o - 4*t. Is -74/125 < o?
False
Suppose 53*i - 56*i - 12 = 0. Let c be 126/(-7) + 9 + i. Let u = -8 + 11. Are u and c nonequal?
True
Let p = 877 - 877.2. Is p less than -6526?
False
Let d = -0.548 + 57.548. Let c = -58 + d. Do -32.4 and c have the same value?
False
Suppose -1288 = 17*s - 40*s. Suppose -3*z = -5*u + z + 289, 0 = u - 3*z - 49. Let g = s - u. Do g and -2 have the same value?
False
Suppose 3*i = 2*d + 88, -2*i - 2*d + 47 = -15. Do i and 1/23 have the same value?
False
Let q = 2/11537 - 23684/3518785. Which is greater: -25 or q?
q
Suppose 0 = -70*c + 90*c + 20. Is c <= 23.91?
True
Let c(y) = -7*y - 47. Let f be c(-5). Let a be f/20 - -2*2/(-10). Is -1/144 >= a?
True
Let g be (-6)/3 - (273/(-152) + (-2)/16). Are -6/37 and g equal?
False
Let y = 80 + -77. Suppose 2 = -2*w - a - 4, -w - y*a = 3. Let t be 27 - 3/(-6)*4 - w. Is t != 34?
True
Let s be 2/(2382/474 - 5). Suppose -3*n - 17 = s. Are -37 and n equal?
False
Let j = 7599.27 + -7601. Is j less than -3/4?
True
Let j(y) = -24*y + 117 + 39*y**2 + y - 41*y**2. Let f be j(6). Which is bigger: -91 or f?
-91
Let k be -5 + 6 - 1 - (-138)/7. Let h = k - 1975/21. Which is smaller: h or 0?
h
Let l = 4032 + -3865. Which is greater: l or 169?
169
Suppose 2*q + 5 = 5*y, -2*y = -q + 1 - 2. Suppose -y*g + 1 = -k, k - g + 11 = 2*k. Suppose 3 + 5 = -k*c. Is -4/19 <= c?
False
Let n = -150.017 - -0.017. Let b = n + 150. Let m be 178/(-11) + (-20)/(-110). Which is smaller: b or m?
m
Suppose -4*z = -4*n + 260, -n - z = z - 62. Suppose -2*a - n = -3*a. Suppose a + 5 = -3*w. Which is smaller: w or -25?
-25
Suppose -7*l + 3*l - 24 = 0. Let p(j) = -j - 5. Let i be p(3). Let h be (-3 - (i + 4 + 4))/(-1). Which is smaller: h or l?
l
Let b = -87 + 81. Let w(g) = g**3 + 5*g**2 - 8*g - 13. Let y be w(b). Which is smaller: 2/397 or y?
y
Let x be (159/4)/((-2387)/124 - -19). Which is greater: x or -178?
x
Let x = 0.1141 + -0.1141. Suppose -2*w + 480 = 20. Suppose w = 3*b + 4*v, 4*b - 357 = -5*v - 51. Is x >= b?
False
Let p = -1380 + 1352. Is p less than -39?
False
Let a(q) = q**3 + 4*q**2 - 3*q - 2. Let h be a(-3). Suppose 2*u - 5*u = 3*m - 3, -4*u = -2*m - h. Let t be 200/(-72) + 2/(-9). Which is smaller: u or t?
t
Let f = 0.15 - -0.15. Let t = 7.3 - f. Let d = t + -7.1. Is 3 != d?
True
Let y = 62769/34 - 1846. Let w be (-6)/(-9) + (-10)/6. Let a(q) = q**3 - q**2 - q. Let s be a(w). Which is smaller: s or y?
s
Let o = 217/10 + -267991/12350. Which is smaller: 1 or o?
o
Let c = -199 + 206. Suppose c*j - 35*j = 196. Which is bigger: j or 2/65?
2/65
Let n(m) = 20*m**2 - 3. Let g be n(2). Suppose 5*k + 4*y + 558 = 0, -3*y + 137 = -2*k - g. Let f be (-8)/(-44) - (-64)/k. Is 0.022 equal to f?
False
Let k = -14 - -5. Let j be k*(13/3 + -3). Let y be ((-114)/j)/(2/(-4)). Is -19 bigger than y?
False
Let g = -38807 + 25263. Let r be g/(-132) + (-4)/(-6). Let 