. Which is smaller: g or s?
s
Suppose 2*i = 4*y + 2, -3*i + 18 = -0*i - y. Let z(x) = -x + 6. Let c be z(i). Which is bigger: c or -7/19?
-7/19
Let r(w) = -97*w - 1 + w**3 + 0 - 7*w**2 + 89*w. Let i be r(8). Let f be 3 + -5 + i + 3. Which is bigger: 8/9 or f?
8/9
Let g be 9/(-1) + (-4200)/(-448). Which is bigger: g or 1?
1
Let r = 0 + -24. Suppose -3*i - 84 = 3*a, 0 = 5*a - 7*a - 3*i - 61. Is r >= a?
False
Let p be ((-4)/10)/(13060/100). Which is smaller: p or -1?
-1
Suppose 5*c = 2*c - 12. Let b be 1/4 + 17/c. Let x be (-11 + 3 - b)/(-14). Which is smaller: 0.8 or x?
x
Let w be ((-2)/(6/11))/2 - -2. Are w and 35 nonequal?
True
Let m be (-29797)/(-59) - (-2 - 3). Let h = -510 + m. Which is bigger: h or -1?
h
Suppose 5*p + 4*u = 2288, p - 2*u = -6*u + 448. Is 459 bigger than p?
False
Let b = 627 - 628. Which is smaller: b or 10/89?
b
Let n(h) = h - 4. Let i be n(8). Let j(g) = -5*g + 5. Let y be j(i). Let d be ((-27)/y)/(3/15). Which is smaller: 8 or d?
8
Let j(l) = l - 27. Let y be j(19). Suppose t - 3*a = -20, 4*t + 3*a + 28 = 2*a. Are y and t unequal?
False
Let w(m) = -5*m**2 - 12*m - 10. Let o(k) = k**2 + k. Let c(l) = 4*o(l) + w(l). Let p be c(-8). Let x be (4/p)/(7/(-5)). Which is greater: -2 or x?
x
Let z(o) = -o**3 - 3*o**2 - o + 2. Let g be z(-2). Let c be 0 - (-6 - 2688/(-450)). Is g at least as big as c?
False
Suppose g - 3*g - 4*t + 14 = 0, -5*g - t = -8. Suppose 2*s - m = m + 14, 5*m = -s - 5. Is s bigger than g?
True
Let x = 7 + -15. Let t = x - -11. Which is smaller: t or -2/7?
-2/7
Let s = -1415.61 + 10.61. Is s < -0.2?
True
Let h = 70.1424 - 0.1424. Is -6 less than h?
True
Suppose -3 = 3*u + 6, -2 = 5*b + 4*u. Suppose b*n + 9 + 9 = 0. Is -9 not equal to n?
False
Suppose -n = 2*n - 3*f - 81, 4*n = 3*f + 107. Suppose 0 = n*j - 21*j - 45. Which is smaller: 7 or j?
7
Let l = 10085/36 + 121/36. Which is smaller: l or 284?
l
Let p(a) = 30 - 6 + 2 + 8 + 15*a. Let h be p(-7). Which is smaller: h or -72?
-72
Let a(w) = w**3 - 23*w**2 + 61*w - 19. Let k be a(20). Which is greater: k or -7/44?
k
Let z = -4.17 - -0.17. Let k = -24 - z. Let f = 20.1 + k. Is f bigger than 18?
False
Let x = -4.07 - -0.07. Let c = -24 - -22. Let z = x - c. Which is bigger: z or 1?
1
Suppose -3*r - 2*c = 138, -5*r - 31*c + 33*c - 214 = 0. Is r smaller than -45?
False
Suppose 8*b + 3 = 7*b, 0 = 3*j + 4*b - 462. Which is smaller: 159 or j?
j
Suppose -15 = -4*r + 9. Let y = -46 - -29. Let m = 23 + y. Is m <= r?
True
Let x(l) = 4*l - 85. Let c be x(18). Is c smaller than -12?
True
Let i be (-11)/(-5) - (-3)/(3/(-5)). Let o = 3 - 1. Suppose -u - 6 = 4*x, -o*u - x = -3*u - 1. Which is greater: i or u?
u
Let m be (-34)/8 - 5/(-20). Let d be m*(2 + (3 - (-26)/(-5))). Which is bigger: d or 0?
d
Let p = 1.819 + 0.081. Let q = 0.1 + p. Is q > 2/13?
True
Let y = 27 - 25. Let o = -0.2 + -0.2. Let a = o + -2.6. Which is smaller: a or y?
a
Let a = 15.7 - 3.7. Let u = -13 + a. Which is smaller: -5 or u?
-5
Let b(k) = -k**3 - 5*k**2 + 23*k - 9. Let y be b(-8). Let p be (48/88)/(-3 - y). Let q(x) = x**2 - 6*x + 4. Let u be q(5). Is u smaller than p?
True
Suppose -2*n + 253 = 3*i, -3*n = 5*i - 604 + 184. Which is smaller: i or 80?
80
Let q = 1528/1833 + -35/39. Let p = -229/94 + q. Suppose 4*x + 4 = -2*u, 2*x - u + 10 = -0*x. Is x greater than or equal to p?
False
Let l(o) = -2*o + 58. Let b be l(29). Suppose -w - 29 = 3*a, 3*a + b*a + 14 = 2*w. Is -2 greater than or equal to a?
True
Suppose 5*t = -0*t, -5*g = -4*t + 30. Let v be 18/4*g/(-45). Which is smaller: 2 or v?
v
Let j = -712 + 12100/17. Let k = 37/85 + j. Let p = 342 - 344. Which is bigger: k or p?
k
Let d be (-203)/(-58)*((-1)/(-1) - -1). Which is smaller: d or 12?
d
Let s(y) = -2*y**3 - 5*y**2 - 2*y - 1. Let m be s(-3). Suppose 2*q - 19 = -5*c, c - m = q + 2*q. Let z be 4/(-3)*3/2. Which is smaller: z or q?
q
Let c be 2 - 126/24 - -3. Let f = 1/31 - -181/155. Is f < c?
False
Let k(q) = -q + 14. Let z = 25 - 11. Let p be k(z). Suppose p = 3*g - 0*g. Which is bigger: g or 9?
9
Let l(b) = 4*b - 49. Let n be l(-13). Let g = 65 + n. Are g and -37 equal?
False
Let p(m) = m**3 - 6*m**2 + 5*m + 4. Let t be p(5). Let j be (27/10 + -2)/(t/(-8)). Is j less than or equal to -2?
False
Let k = 54 + -35. Let a(v) = -5*v - k + 11 + v**2 - 9. Let o be a(7). Is -1 <= o?
False
Let i be (8/32)/(1/(-4)). Let g be (-16)/(-16) - 41/42. Does g = i?
False
Let u(n) be the third derivative of n**6/120 - n**5/20 - n**4/24 + 2*n**2. Let p be u(2). Suppose 19 = -3*m - 2*z, -m = -5*z - 2 - 3. Is p > m?
False
Let b(g) = -13*g**2 + 45*g + 2. Let u be b(5). Which is greater: u or -100?
u
Let k(z) = z**3 + 11*z**2 + 29*z + 8. Suppose 5*j = -4*r - 51, -5*r + 0*r = 2*j + 34. Let w be k(j). Which is greater: 2/527 or w?
w
Let d(x) = x**3 + 12*x**2 + 23*x + 31. Let h be d(-10). Which is smaller: -3/17 or h?
-3/17
Suppose -4 + 1 = -t. Suppose -3*v = 4*c + 1, v + 1 = -t*c - v. Which is bigger: -3/8 or c?
-3/8
Let t be 1/(-9) + ((-132)/27 - -5). Which is bigger: -1/353 or t?
t
Let r = 48 + 16. Suppose r*h - 68 = 60*h. Let w(a) = 3*a**2 - 4*a + 3. Let s be w(3). Are h and s equal?
False
Let i(d) = d**3 + 3*d**2 - 8*d + 2. Let g be i(-7). Let z = -555/4 - g. Let x(o) = -o**3 + 9*o**2 - 11*o + 24. Let u be x(8). Are z and u nonequal?
True
Suppose -4*h = -2*c + 56, 2*h - 32 = 3*h - 5*c. Let d(t) = -t**3 - 13*t**2 - 12*t - 30. Let r be d(h). Which is greater: r or -28?
-28
Let l(m) = 9 + 14 - 2*m**2 + 2 - 10*m + m**2. Let o be l(-12). Which is smaller: o or -10?
-10
Suppose -5*w + 3*v + 245 = 0, -v + 257 = 5*w + 32. Let t(r) = 2*r**2 + 12*r + 62. Let i be t(-4). Do w and i have the same value?
True
Let z(w) = -w**3 - 7*w**2 - 7*w - 5. Let y(r) = -r - 6. Let q be y(0). Let l be z(q). Let n be 1/(-2)*(-195)/45. Which is smaller: l or n?
l
Let k(y) be the first derivative of y**4/4 + y**2 + 24*y + 16. Let n be k(0). Which is bigger: n or 26?
26
Let q = 0 - 88. Let k = 89 + q. Which is smaller: 4/53 or k?
4/53
Let j = 9 + -8.84. Let o = j + 0.04. Let q = 1 + -0.8. Is o >= q?
True
Let g = 0.31 - 0.215. Let b = g + 0.145. Is -3 equal to b?
False
Let h = -651 + 655. Which is smaller: h or 83?
h
Suppose -k + 5*m = -3, 0 = 2*k + 5*m - m - 6. Is k greater than or equal to 11/4?
True
Suppose -2 = -2*k + 2. Suppose -3*d = -d - k. Suppose 20 = 5*m, -7*i + 2*i + d = 4*m. Which is smaller: i or -0.2?
i
Let b = -0.031 + 51.031. Let m = -39 + b. Let o = -50 - -201/4. Does m = o?
False
Let z = -7369/6 + 1232. Does 5 = z?
False
Let m(z) = z**3 + 7*z**2 + 4*z + 2. Let f be m(-6). Let c be 152/4 - (-1)/(-1). Let u = c + -24. Is f at least as big as u?
True
Let f be (-3*(-12)/(-153))/((-6)/7). Is f smaller than 1?
True
Let w = -2366997/72385 - -3/28954. Is w at most -33?
False
Let r(d) = -d**3 - 2*d**2 - 3*d - 3. Let m be r(-2). Suppose 0 = 5*s + 108 - 128. Suppose -x = -u - 2*x + 5, -2*u = -x - s. Is u less than or equal to m?
True
Suppose -9*i + 170 = -14*i + 5*x, 2*x - 10 = 0. Are -28 and i equal?
False
Let f = -3 - -2.72. Let o = -0.35 - f. Which is smaller: o or 2?
o
Suppose -3*g - 4 = 2, 2*g = -2*f + 10. Which is smaller: f or -0.2?
-0.2
Suppose t - 12 = -3*n + 1, -2*n + 10 = t. Suppose -4*m = -2*p + 2, -n*p + 2*m = 2*p + 3. Let a be (-44)/(-286) - 142/416. Do p and a have the same value?
False
Let h be 4/1*45/12. Let n be h/(-40) + 82/240. Which is bigger: n or -1?
n
Suppose 12*c = 3*c + 252. Let g be (2/c)/(3/54). Which is greater: g or 2?
2
Let z = -38280/7 - -5564. Do 95 and z have different values?
True
Let p be (46 - 49)*1/(-3). Let c = 5128/7 + -731. Which is smaller: c or p?
p
Let l = 1 - -2. Let t = l - 0. Suppose -t*q - 3*c + 19 - 4 = 0, -5*q - c = -5. Is q at most -2/25?
False
Let k = -2/137 - 13142/685. Let x = k + 253/15. Which is smaller: -2 or x?
x
Let y = -20 - -18. Let s be (36/(-24))/(y/20). Is s at most 16?
True
Let b(o) = o**3 - 43*o**2 + 85*o - 55. Let d be b(41). Suppose -4*v + h + 270 = 0, 3*h = -3*v + 2*h + 206. Do d and v have the same value?
True
Let m = 46 - 32. Let f = -27 + 12. Let u = m + f. Is -2 not equal to u?
True
Let u be (-4 - -5)/((-3)/(-258)). Suppose 14 - u = 4*v. Let z = -7 - v. Which is greater: 10 or z?
z
Let l = -0.1 - -0.22. Let q = -26 - -11. Let u = q - -17. Which is smaller: l or u?
l
Let r be 14 - (28 + -6) - -7. Let a = 4 - 1. 