 -22. Suppose 0 = 5*g - 2*z + q + 3, 3*g = 2*z - 10. Which is greater: 2 or g?
2
Let l = 5173/11 + -470. Suppose -4*u - 6 = -2. Which is greater: l or u?
l
Let d be 921/(-165) + 6 - 6/10. Let a = -100 - -82.8. Let t = a - -17. Do t and d have different values?
True
Suppose 3*s + 16 = -s. Let r be (s/10)/((-1)/5). Let u be 160/(-60) + (-5)/(-3). Which is greater: u or r?
r
Suppose -2*x = -5*f + 128, 2*x + 3*f - 65 = 3*x. Let i be 1/(0 + 1/x). Which is bigger: -56 or i?
-56
Let m = 1.344 + 974.856. Is m equal to -0.1?
False
Let n = -621 + 1079. Suppose 451*y + 168 = n*y. Is y < 27?
True
Let s = 45 + -43. Suppose s*c + 798 = -5*y - 331, 0 = -4*y - 12. Is -557 at least as big as c?
True
Let c(p) = -108*p + 13353. Let f be c(140). Let d = 178 - 102. Let v be (f/d)/(-1 + 6/4). Are -48 and v non-equal?
True
Let r = -109310542649881853/18160003810 + -122319/16243295. Let v = r - -6019301. Let j = v + 19/26. Is j smaller than 0?
True
Let n(b) = b**3 + 3*b**2 - 1. Let f be n(-3). Let c be 0 + (4 - (0 - f)). Suppose 0 = 2*s + c*s - i - 8, 0 = -5*s + 4*i + 2. Which is smaller: s or 4?
s
Let r = 7 - 8. Let y = -1.4 + r. Suppose 6 + 0 = 3*u + k, 0 = -2*u - 5*k + 17. Does y = u?
False
Let c be (2/7)/((-63860)/1736). Which is greater: c or -0.4?
c
Suppose -6 + 16 - 29 = -19*a. Let t = -2242/1911 - -60/49. Which is greater: a or t?
a
Let x be 1 - (-2 + 28/10). Let h = -2837 - -2837.39. Is h smaller than x?
False
Let n(i) = -34*i - 46. Let l be n(2). Let t = -1833/16 + 33/16. Which is smaller: t or l?
l
Let z be (-350 - (2 - -1)) + 2/((-8)/28). Which is smaller: z or -358?
z
Let r = 248 + -258. Let h be (r/210*7)/(34/6). Which is smaller: h or -6/13?
-6/13
Let v be ((-1)/2)/((-30751)/2737). Which is smaller: v or 0?
0
Let p be -7 + (-7)/4 + 11455/1300. Let h be (-2)/1 - (-2 + 1). Which is bigger: p or h?
p
Let q = 2.354 + -14.354. Let n = 16.8 + -5. Let l = q + n. Which is greater: 1 or l?
1
Let j be 42/(-7) + (-1300)/(-225). Which is smaller: j or 6446?
j
Let r(j) = 2*j**3 - 6*j**2 - 3*j - 15. Suppose -56*p - 25 = -61*p. Let i be r(p). Let a be ((-4)/14)/((-60)/i). Which is smaller: a or -27?
-27
Let l(f) = -4*f - 234. Let t be l(-23). Let x = t + 137. Which is greater: x or -17/4?
-17/4
Let a(p) = 3*p - 6. Let r be a(4). Let z be (3*1)/((r/14)/1). Suppose -3*j = -13 + z. Do j and 3 have the same value?
False
Let g be (2 + 0)/(79/158). Let m be (-70)/(-84)*(-1)/(45/(-228)). Which is smaller: m or g?
g
Let p(g) = -4*g + 1. Let w(m) = -20*m + 6. Let k(q) = 33*p(q) - 6*w(q). Let x be k(3). Let n be (-22)/(-26) + 3/x*-2. Is n > 6/5?
False
Let p(v) = 23*v + 9. Let n be p(-5). Let d = -109 - n. Which is smaller: d or -21/8?
d
Let k = 203 + -207. Let c be (6/k)/((-30)/(-1900)). Which is greater: c or -97?
c
Let x = -9840 - -9864.4. Which is bigger: x or -2.1?
x
Let z be (-33534)/(-70) - 122/2135. Does z = 2/5?
False
Suppose 18 = 5*o + 23. Let g = -10184776 - -23170364687/2275. Let l = -1/175 - g. Are o and l equal?
False
Let c be -11 + 6 + 4 + -29. Which is smaller: -10 or c?
c
Let u(f) = -5*f - 2. Let g(n) = n - 19. Let i be g(17). Let p be u(i). Suppose l = -7 + p. Which is greater: l or -2/71?
l
Let r(y) = -y - 15. Suppose -14*j + 13*j = 2. Let q(z) = 1. Let k(n) = j*r(n) - 22*q(n). Let s be k(-4). Which is smaller: s or -2/21?
-2/21
Let t = 73356/43 - 1706. Is t less than -0.1?
False
Let d be 243/728 + (-4 - 78/(-21)). Let s = -3400 + 3400.1. Which is smaller: s or d?
d
Let q = -109 - -124. Is 4/3 less than q?
True
Let o = -6044 - -6045. Let h = -9/6281 + 2469018/408265. Let v = h + -50/13. Is v greater than o?
True
Let l = 4894 + -4496. Which is greater: l or 401?
401
Let p(u) = u - 4. Let v be p(3). Let x be -3 + 1 - v - -14. Let n = 186529 + -186529.3. Is n at most as big as x?
True
Let d be ((-1)/10)/((-53960)/3173 - -17). Is d greater than 18?
False
Suppose -6 = -3*f, 2*s - 5*s - 13362 = 3*f. Let k = s + 138158/31. Is k at least as big as 2?
False
Suppose 22*l - 3 = 21*l, -m - 3*l - 41 = 0. Is -652/13 >= m?
False
Suppose 44 + 244 = 3*x. Suppose a = -3*c + 84, 0*c - 5*a = 3*c - x. Let t = 27 - c. Is -3/16 greater than t?
False
Let y(u) = -3*u - 38. Let x(r) = -5*r + 18. Let t be x(6). Let v be y(t). Let p be ((-2)/4)/((287/v)/7). Which is smaller: p or 0?
0
Let j = -53.4 + 50. Let c = -3.7 - j. Let o = c - -0.1. Is -1/5 less than o?
False
Suppose 5*w = -0*w - 3*u - 16, 0 = -5*u + 15. Let k = w + 7. Let d be (k - 1) + -15 - -3. Which is smaller: -12 or d?
-12
Let i(c) = -c**3 - 2*c**2 + 2*c - 2. Let b be i(-3). Let k be 5/((-45)/(-1314))*(-1)/22. Let w = k + 80/11. Is b at most as big as w?
False
Suppose 0*f = -2*f + 18. Suppose -1064 = f*m - 173. Let g be (-3)/(m/105) + -3. Are g and 0.2 equal?
False
Let r(s) = -4*s**2 + 41*s - 6. Let z be r(10). Let n be 0/((2/4)/((-2)/z)). Let c = 10.16 - 10. Is c at least n?
True
Let v be (-8)/(-20)*488535/(-228) + 5. Let p = -852 - v. Which is smaller: 1 or p?
p
Let o = 4287 + -4231. Which is smaller: 57 or o?
o
Let b be ((-48648)/1380)/(8/(-55)). Let a = -971/4 + b. Is 0 less than a?
False
Let n = 0 - -2. Let p be (-1 - 21/(-30))*369/(-108). Let l = p + -2/5. Which is bigger: l or n?
n
Let r = -285 + 5417/19. Let q(z) = 36*z + 16. Let y be q(-6). Let w = y - -200. Which is smaller: w or r?
w
Suppose 158*v = -162*v + 3200. Do 111/11 and v have the same value?
False
Let b = 4/3347 + 3327/16735. Is b bigger than -1/229?
True
Suppose 10*q = 18*q - 24. Suppose -5 = -r - q. Which is bigger: r or 5/8?
r
Let n = -2.0777 - 0.3223. Are -0.13 and n equal?
False
Let c be 0/(-2 + 1)*1. Suppose o + 3*g = 5, -g + 35 = 18*o - 21*o. Does c = o?
False
Let y(o) = o**3 + 9*o**2 - 1. Let q be y(-9). Let p be 72/(-54)*(45/6)/5. Let f be (p/(-6))/((-6)/18). Is q at least f?
True
Let o = 16728 + -16623. Does 2 = o?
False
Suppose 0 = -70*t + 749 - 49. Is t at least as big as 1/342?
True
Let b = 217476 + -1810705173/8326. Is 0 bigger than b?
False
Suppose 9*h = 5*h + 3*r + 327, -2*h + 141 = 3*r. Let w be (-2)/13 + 90/h. Is 4/23 at most as big as w?
True
Let g be (63/18)/((-52)/80 + 4/10). Let v be (-16 + -2)*(-4)/(-6). Is v at least g?
True
Let k = -5536 - -5537. Which is smaller: -22/1215 or k?
-22/1215
Let u = 17.3 - 13.9. Let c = u - 4.2. Are c and -1/4 non-equal?
True
Let p = -18 + 29. Let i = -14527 + 14535. Which is smaller: i or p?
i
Let v be -3*4/66 - (-123)/11. Suppose 4*n - 2*n + y = 0, 4*n = -3*y. Suppose 3*m - 54 = -3*a, 3*m - 17 + 2 = n. Which is smaller: v or a?
v
Let q = 18 + -31. Let i be (0 - 2/(-6)) + 288/(-428). Let t = -2/321 - i. Which is greater: q or t?
t
Let w = 0.1 + -0.1. Let n = 0.05 + -0.0456. Let j = -3.2956 - n. Which is smaller: w or j?
j
Suppose 3*x - 7 = 2. Suppose 2*z - 12*z - 4*z + 280 = 0. Let l be (-8)/z - 1*(-3)/x. Which is smaller: 0.4 or l?
0.4
Let c = 61.18 - 61.58. Do 133/12 and c have different values?
True
Let l = 96272912/823 - 116978. Which is bigger: 1 or l?
1
Let a(k) = 4*k**2 + 267*k - 2237. Let z be a(8). Which is greater: z or 152?
z
Let c be (42/105)/((-8)/120). Which is smaller: -188/29 or c?
-188/29
Let r be 13 + (1 - 2) - 2. Suppose -3*c = 2*d - 39, 2*d + 4*c - 7 = 35. Suppose 2*n - d = 2*f - 3*f, f - n - 9 = 0. Which is greater: f or r?
f
Let i(h) = h**3 - 11*h**2 + 3. Let l be (-22)/((-9)/((-27)/(-6))). Let g be i(l). Suppose -g*u + n + 10 = 40, -4*n = -2*u - 20. Are -19/2 and u unequal?
True
Let g = 40/23 + 179/69. Let j(m) = -m**3 - 2*m**2 + 14*m + 1. Let n be j(-5). Suppose -2*y - 5 = -3*a, -a + 30 = -y + n*y. Is g bigger than a?
False
Let p = -0.06 + 0.1. Let m be (-101104)/(-2840) - 128/(-20). Is m bigger than p?
True
Let k = 101/2 - 29411/582. Which is smaller: 1 or k?
k
Let o be -107 - (-3)/(-3) - -4. Let h(i) be the first derivative of -i**3/3 - 13*i**2/2 + 64*i + 31. Let y be h(8). Is o less than y?
False
Let g be 3/120 - 4192/(-11520). Let y = 0.3 - 0.1. Are g and y non-equal?
True
Let i be ((-4)/(-24))/((-130)/884). Let o(t) = t**2 + t - 13. Let n be o(-4). Are i and n non-equal?
True
Let f be -2*(-8 - -13) + -377. Which is greater: -399 or f?
f
Let k be (-21)/(-105)*10/(-4). Suppose 2*j - 79 = -9. Which is greater: k or j?
j
Let o be ((-1)/(-4))/(11 + -10). Which is smaller: 4.65 or o?
o
Let o = 1811 + -1638. Is 174 greater than or equal to o?
True
Let a = 4.04 - 4. Let m =