greater: n or 22?
22
Let u be 1/(-3)*(5 + -1). Let h = -702 + 718. Suppose -5*g = 15, -19*g = 4*s - 15*g + h. Is u equal to s?
False
Suppose 60 = -107*v - 47. Which is smaller: v or 6/1021?
v
Let l = 30.1 + -29.961. Let s = l + -72.139. Let n = s - -71.8. Are n and -2/39 equal?
False
Let v = 1097.9947 + -1097.9. Is -1/3 <= v?
True
Let a = 41286 - 41259. Suppose q + 60 = 5*s - 71, s - 3*q - 15 = 0. Is a at most as big as s?
True
Let x(a) = a**3 + 4*a + 8. Let s be x(-4). Let p be s/(-44) + (-2)/1. Let l be (2/(-8))/1*(-48 - -52). Does p = l?
False
Let c be (-7 - -2)/((-240)/(-96)). Do -1297 and c have different values?
True
Let f = 3.27 - -0.13. Let i = -868 + 871.5. Let v = f - i. Is -0.55 less than v?
True
Let h(g) = g**3 - 4*g**2 + 2*g + 6. Let x be h(5). Suppose -x = j - 24. Is j greater than or equal to -12?
False
Suppose -4*p - 3*f = -9167, 7*f = -3*p + 6*f + 6869. Which is bigger: p or 2290?
2290
Let t be 18949/(-945) + (-1280)/(-64). Do 0 and t have the same value?
False
Let a = 23 - 209/9. Let f = -37/45 - a. Which is greater: 0.01 or f?
0.01
Suppose -6*y + 349 = 3*w + 37, 0 = 4*w + 5*y - 416. Is w <= 103?
False
Suppose -1 = 11*f - 12*f - 3*d, -2*f + 3*d = -2. Let b be (f - -1)*609/(-147). Which is bigger: b or -7?
-7
Suppose -10*n + 4*n - 12 = 0. Let i be (0 - n) + (-164)/70. Which is greater: i or 1?
1
Suppose 35*s + 13*s = 166 - 118. Which is greater: s or 7/48?
s
Suppose -145*h + 294*h - 7 = 142*h. Is h less than -5/69?
False
Suppose -4*g - 6 = 2*a - 4, -5*a = -g - 28. Let k be (300 + 1 + g)/((-6)/3). Is k equal to -150?
False
Let l = 667.745 + -0.745. Which is bigger: 0.1 or l?
l
Let z = 54 + -28. Let u = z + -32. Let b be 12/(-3 - u) - -17. Is 20 at least as big as b?
False
Suppose -3619*s + 3630*s + 4048 = 0. Does s = -370?
False
Let b(w) be the second derivative of 9*w**5/20 - w**4/6 + w**3/2 + w**2 - 10*w. Suppose -44 = 4*f - 26*f. Let r be b(f). Which is greater: 73 or r?
73
Let h = 43 - 47. Let c(l) = l**2 + 3*l + 5. Let b be c(h). Suppose -d = 15 + b. Are d and -23 nonequal?
True
Let r be (9/(-2))/(((-3)/(-4))/1). Let d = 3 - r. Let q be (5/2)/(d/(-6) - -1). Which is smaller: q or 1/3?
q
Suppose 3*f - 40 = -2*f, -j = -3*f + 2408. Which is greater: -7154/3 or j?
j
Let t = 43 - 42. Let l be (50/(-4) - -5)*(t + -27). Which is bigger: l or 194?
l
Let t(q) = -q**2 - 14*q + 18. Let u be t(-15). Suppose -u*d = 16 - 70. Let z be d/(-30)*4/6. Is -2 > z?
False
Let t = -130 - -136. Let r = t - 7. Let y = 454/11 + -41. Which is greater: y or r?
y
Suppose -r = 40 - 43. Suppose 219 = 2*k - 5*k + r*s, 0 = 3*k + 3*s + 237. Is -77 at least as big as k?
False
Let y = -1 - 4. Let v be 3/(-4)*y/((-20)/96). Let j be 44/45 + (-4)/v. Which is smaller: 2 or j?
j
Suppose 3*u - 5*h + 7 = -0, -2*u - 13 = -5*h. Suppose 30*z + 72 = u*z. Which is smaller: z or -17?
-17
Let d be 4539/3*(26 - 27). Are d and -1513 unequal?
False
Let s be (-4)/3 + (-525)/(-252)*(-254)/(-20). Let j(g) = 2*g**2 - 3*g - 2. Let l be j(-3). Is l smaller than s?
True
Let u = -3021 - -3105. Which is greater: 165/2 or u?
u
Let f = 1643 - 3758. Is -2113 at least f?
True
Let r = -340 - -339. Let u = 0.038 + -149.038. Is u at least as big as r?
False
Let f(v) = 21*v + 51. Let x be f(9). Suppose x = 23*g - 31*g. Which is bigger: -6 or g?
-6
Let q = 25180 - 25502.93. Let b = 325 + q. Let y = -0.07 + b. Which is bigger: -0.5 or y?
y
Let a = 0.106 + 0.064. Let m be (-15)/(-9)*(-36)/15. Is a greater than m?
True
Let o = -537 + 339. Let s = -5677.9 - -5678. Do s and o have different values?
True
Suppose 4*p + 36 = -f, 3*f - 4*f + 5*p - 81 = 0. Let t be ((-18)/f)/((-72)/3168). Which is smaller: -15 or t?
-15
Let v be 2 - 1 - (-3)/(3/2). Let t be (-25)/105 - ((-20)/6 + v). Suppose -4*c - 2*p + 0*p - 10 = 0, 15 = -5*p. Which is smaller: c or t?
c
Let g = -17731433/90 - -197016. Suppose 2 = -2*l - 4*m, 4*l + 3 + 1 = -5*m. Which is greater: g or l?
g
Let r = -19734 + 19763. Which is bigger: 52 or r?
52
Let h = -6892158/155 + 222377/5. Let p = 184/31 + h. Let t = p + -1022/65. Is -1 equal to t?
False
Let r(j) = -3*j**2 + 43*j + 4319. Let s be r(46). Let x(h) = 12*h - 2 - 2 + 0. Let i be x(-4). Is s > i?
True
Suppose 82*t - 80*t - 44 = 0. Let s(d) = d**2 + 2*d - 3. Let k be s(-4). Suppose -18 + 106 = 4*m - j, k*j = -4*m + 112. Which is bigger: m or t?
m
Suppose -a - 2*a - 4*a = 0. Let x(z) = 2*z - 28. Let t be x(a). Let h = t - -35. Is h at most 9?
True
Let y = -173.5 + 184.5. Which is smaller: y or 0.234?
0.234
Let s be (-134)/((-1890)/459 + 4). Is s at most 1157?
True
Suppose 4*n = -5*h + 28, -1234 + 1220 = -2*n. Let i = 8 - 4. Which is greater: h or i?
i
Suppose 3*c - 5*r + 7 = -0*c, -5*c - 5*r = -55. Suppose 4*y + 4*u = -4, -c + 4 = -u. Which is smaller: -33 or y?
-33
Suppose 9*r = 3*v + 12*r - 2598, -4*r + 1742 = 2*v. Is 861 equal to v?
True
Let m = 9883/153384 - -1/1992. Let y = -1605 + 1605. Is m at most y?
False
Let i = -36 + -2. Let z = -0.53 + 36.53. Let p = z + i. Is -0.08 not equal to p?
True
Let d = 24801.96 + -25266. Let q = 464 + d. Is q at most as big as -15?
False
Let d(h) = h**3 + 10*h**2 + 10*h + 9. Let m = 27 - 36. Let a = -18 - m. Let f be d(a). Which is smaller: f or -2?
-2
Let n(q) = 15*q - 169. Let i be n(3). Are -76 and i unequal?
True
Suppose 5*b = 9 + 1, 0 = -2*t + 3*b - 26. Let c = -2491 - -2489. Is t greater than c?
False
Let z = 104 - -3181. Which is bigger: z or 0?
z
Let x be (3 + (-50)/15)/(117/(-73359)). Which is greater: 237 or x?
237
Let t = -5820 - -5802. Which is smaller: t or -31?
-31
Let q = 201.2 + -199.2455. Let w = 0.0455 + q. Which is smaller: w or 0.081?
0.081
Suppose 611*l = 204*l + 168822 + 390396. Is l at most -13?
False
Let q = 3/940 + 5607/10340. Suppose 0 = 3*x + 4*m + 6, -6*m + 6 = -3*x - m. Let l be (-2 - -2) + (-4)/x. Is q greater than or equal to l?
False
Suppose 3*y = 5*r - 10*r + 920, 0 = 2*y - 4*r - 628. Suppose 110870 = -1221*m + 490601. Is y at most m?
True
Let z be 16*9/(-72)*(3/(-2))/1. Let b be (-1 - 141/(-135))*85. Is z bigger than b?
False
Let l(j) = 1 - j**3 - 4*j + 1 - 7*j**2 - 3*j**3. Let k be -2*24/216*54/4. Let v be l(k). Is v at most 60?
True
Suppose 212*g + 366421 = -558747. Is g equal to -4364?
True
Suppose -8*w - g = -6*w - 12, 2*w + 2*g - 16 = 0. Suppose a + 2 = -2*o - 4, 4*o = 3*a - 22. Suppose -2*u + 3 = -1, -a*t + 8 = 3*u. Are t and w equal?
False
Let y = -421 - -374. Let j be -3 + 1 + (-106)/y. Which is bigger: j or 1?
1
Let w = -6411 + 6413. Which is smaller: 15.08 or w?
w
Suppose 3*c - 21 = -11*c - 7. Which is greater: c or 6/1139?
c
Let w be -3*(-3)/(36/16). Suppose -3*b = -w*r - 204, 4*r = -6*b + 4*b + 116. Let g = -63 + b. Are g and 3 equal?
False
Let x = 9 + -580. Suppose 0 = -162*m + 160*m - 1144. Are m and x unequal?
True
Suppose -5*m + 20 = 0, 5*m = -y + 8*m + 5. Let g = -18 + y. Which is smaller: g or 3?
g
Let g(t) = 2*t**3 + 15*t**2 - 8*t - 152. Let h be g(-6). Do 69 and h have the same value?
False
Let b(s) = -5*s**2 - 77*s - 320. Let o be b(-21). Is -904 at least as big as o?
True
Suppose s - 4*q = 5*s - 160, 5*q + 15 = 0. Let u be 43 + 2*4/24. Is u greater than s?
True
Let i(l) = -19*l - 5. Let q be i(-4). Suppose -s = 3, 2*f - q = -0*f + 5*s. Suppose f = 2*h - 14. Is 19 less than h?
True
Suppose 4*w - 1226 = 7586. Which is smaller: w or 2202?
2202
Let m be (-31)/(-2) + (-25)/50. Let b be (-125)/45 + (-2)/9. Is b at least m?
False
Let n(w) be the first derivative of w**3/3 + 5*w**2 - 5*w + 22. Let z be n(-10). Let q(t) = -t - 4. Let b be q(z). Is b != 3/58?
True
Let t = -2882.15 - -2882. Which is smaller: 29 or t?
t
Let t(d) = 10*d - 57. Let g be t(5). Let b be ((-28)/(-16))/(g/(-2)). Let i = -1.29 - -1.2. Which is smaller: i or b?
i
Let l = -179454 + 893218/5. Which is smaller: l or -811?
-811
Let y(s) = 7*s + 46. Let i be y(-6). Suppose 2*k + 5*b - 2 = 0, -3*k + 4 = -i*b + 1. Is -1/153 > k?
False
Suppose w - 4*s = 23, -76 = -2*w - 2*s - 0*s. Let t be (3/(-9))/(w/15). Suppose 0 = -y - 2*y - 3*j - 6, -5*j = 4*y + 11. Is t less than or equal to y?
True
Let y(q) = -19*q + 57. Let w be y(3). Suppose -4*l - 3*g + 3 = w, 2*l - 5*l + 5*g = 5. Which is smaller: l or -21/17?
-21/17
Let q = -1346 - -1488.9. Let v = -416 + 273. Let k = v + q. Are k and -5 non-equal?
True
Let s be (6 - (-4166)/(-696))*(-220)/5. I