 o or -2/7?
o
Suppose 6*u - 109 = 23. Suppose -y - 19 = -u. Let b(p) = -p**2 - 7*p - 4. Let c be b(-6). Is y at most as big as c?
False
Let x(v) = v**2 + 10*v. Suppose o - 13 = -5. Suppose -o = z + 2. Let q be x(z). Which is bigger: -2/17 or q?
q
Let o(l) = -45*l + 16. Let h be o(1). Is h >= -31?
True
Let t = -126 - -181. Let m = t + -19. Let s be 6/21 - m/224. Is 1 smaller than s?
False
Let y be (518/(-28) - -20)/(-2 - 0). Which is smaller: y or -4/27?
y
Let l = 219.77 - 221. Let s = l - -0.23. Which is smaller: s or 4?
s
Let i = 0.9 + -0.69. Let r = i + -1.21. Which is smaller: -0.16 or r?
r
Let d = -5 + -6. Let f = d - -16. Let m = -2 - -7. Is f < m?
False
Let u = -5 + 8. Suppose -2*v + 17 = 3*s, -2*v - 5*s = u*v - 30. Let a = 914 - 19190/21. Is a at least as big as v?
False
Let u(r) = r**2 + 6*r - 25. Let k be u(-9). Let l be (-6 + -32)*(-1)/k. Which is smaller: 18 or l?
18
Let l(f) = -2*f**2 + f - 2. Let r be 0*(-3)/9 - 2. Let x be l(r). Let k be (3/42)/((-4)/x). Which is smaller: 0 or k?
0
Let v = 1 - 0.9. Let o = 998 - 998. Is v equal to o?
False
Let j be 124/217*-1*7 - -3. Is j at most -2/7?
True
Let w(y) be the second derivative of -7*y**3/3 + 7*y**2/2 - 2*y. Let o be w(2). Let i = -22 - o. Which is smaller: -3 or i?
-3
Suppose 5*m = -v + 4, -3*v + 3 - 7 = -m. Is -3/286 greater than v?
True
Suppose 2*d - 4*n + 2 = -6*n, -n = 2*d + 2. Which is smaller: 3/10 or d?
d
Let m = -38485 + 9197929/239. Which is greater: m or 1?
1
Let v be 14*-1*1/19. Let q = v - -137/57. Suppose -4*o = -19 + 11. Which is greater: o or q?
o
Suppose 0 = -n + 4*a + 6, a - 5 + 0 = -3*n. Suppose -4*s - 24 = -5*c, -s - n*c + 4 = 3*s. Let t = 1/13 - -4/117. Which is smaller: t or s?
s
Let d(u) = 24*u - 11. Let s be d(7). Suppose 187 = 4*g - s. Let w = 260/3 - g. Is w greater than 1?
False
Let w(d) = d**2 + 3*d - 2. Suppose 0*i = i. Suppose i = 5*u + 15. Let m be w(u). Is -1 > m?
True
Let l(s) = -s**2 - 9*s - 18. Let g be l(-4). Let r(b) = b**3 - 7*b**2 - 9*b + 9. Let x be r(8). Let t = 3 - x. Is t >= g?
True
Let v(f) = 4 - f - 3 - 6. Let s be v(-4). Let m = 0.14 + -0.04. Is m >= s?
True
Suppose -14 = -0*n + 4*n + 2*b, -3*n = 5*b. Let z be (-2)/n - 2024/(-115). Is z < 19?
True
Suppose 11*m + 3*d = 6*m + 1, m - 2*d = -5. Is m smaller than -7/93?
True
Let j = 2.8 - 3. Let u be (-510)/(-225)*(-90)/(-12). Are j and u nonequal?
True
Let x(j) be the second derivative of 1/3*j**3 + 4*j - 37/2*j**2 + 0. Let v be x(16). Is v at least -5?
True
Let c(p) = -p**2 + 14*p - 39. Let t be c(10). Let g(f) = f**3 - 11*f**2 - 12*f - 4. Let u be g(12). Let y be (u/(-14))/((-2)/(-1)). Is t at least y?
True
Let c = 1.18 + -0.98. Is c bigger than 11?
False
Let y = 80096542/2123 + -37728. Are 1 and y equal?
False
Let s be ((-12)/170)/((-496)/(-40)). Which is bigger: -1 or s?
s
Let u be -1 - (0 + -2 + 0). Let y = -21 - -33. Suppose 13 = -25*j + y*j. Which is smaller: u or j?
j
Let o = 0 + 31. Let c = 31.2 - o. Is 1 at most c?
False
Let k = -14 - -10. Let a(c) = c**2 - 20*c + 91. Let z be a(7). Which is greater: z or k?
z
Let f be (-2)/(-3)*(-3)/(-56). Let h(a) = a - 10. Let q be h(9). Is f <= q?
False
Let f = 228.1 + -228. Is -47 at most as big as f?
True
Let u = 33/4 + -223/28. Suppose -5 = -i - 5*d - 21, 2*i - 5*d + 2 = 0. Which is bigger: u or i?
u
Let n be 18/(-63)*(-2)/(-170). Do 1 and n have the same value?
False
Let l = 222 + 146. Is l at most -3/5?
False
Let s(h) be the first derivative of 3*h**2 - 4/3*h**3 - 3 + 6*h - 1/4*h**4. Let p be s(-5). Which is smaller: -0.1 or p?
-0.1
Suppose 236 + 89 = 5*k. Is 62 > k?
False
Let d = -0.091 - 1.089. Let h = d + 1.28. Let x = 1.3 - 0.3. Which is bigger: h or x?
x
Suppose 95 = -4*r + 2*b + 853, 3*b = -9. Which is bigger: r or -1/9?
r
Let i(o) = -o**3 + 10*o**2 - 6*o - 5. Let d be i(6). Which is smaller: 104 or d?
d
Let b = -369594 - -10716313/29. Let r = 66 + b. Suppose 0 = -4*l - 2*y + 12, -y + 10 = 2*l + y. Do r and l have the same value?
False
Suppose 2*v + o + 1209 = 0, -424 - 779 = 2*v + 3*o. Let p be v/582 - (-1 - (1 + -1)). Which is smaller: p or -1?
-1
Suppose -p + 97 = -2*c, 2*p - 506 = -3*p + 3*c. Suppose 4*a - p = 17. Do a and 61/2 have the same value?
False
Suppose 0 = -h, -w = 5*h - 1 + 2. Let u = 8 + w. Suppose -b = -u + 2. Which is smaller: b or 4?
4
Let w = 1/5101 - 841672/35707. Which is bigger: w or -25?
w
Let i be ((-584)/(-36))/((-10)/15). Which is bigger: -25 or i?
i
Let x be (-2821)/(-6138) + (-6)/(-27). Which is smaller: 1 or x?
x
Let l = 0.44 + -0.04. Let m = -0.4 + 0.6. Let j = l - m. Is j bigger than -2/19?
True
Suppose -913 = -5*t - 3*q + 2664, 4*q = 16. Is t less than or equal to 713?
True
Let h = 90 - 92. Let a = 8.7 - 4.8. Let z = -4 + a. Is h >= z?
False
Let i(x) = -2*x - 2. Let a be i(-2). Suppose -1 = c - a*c. Which is smaller: -4 or c?
-4
Let p = 2485 - 52187/21. Let a be (0 - 1) + 93/57. Let v = a - 55/57. Is p equal to v?
False
Suppose -4*g = -y - 1, 6*g - 7*g - 21 = 4*y. Is g at most -2/15?
True
Let a = 16/81 - 284/891. Let k = a + 109/627. Which is smaller: k or 1?
k
Let w = 73 + -1389/19. Suppose 0*v - 2 = -v. Suppose -v*i + 4 - 7 = 3*u, 2*i = -2*u - 2. Is w smaller than u?
False
Suppose 4*f - f - 42 = 0. Let n be f/70 - (-6)/(-80). Let x = -5.1 + 5. Is x at least n?
False
Let x = 11 - 8. Suppose 2*g - 8 + 3 = -f, -2*g - 4*f = -2. Suppose -2*i + 2 = -s + 6*s, x*i - g = -4*s. Do s and -6 have different values?
True
Let w = 654/5 + -4558/35. Which is bigger: w or 1.2?
1.2
Let s = -766 + 820. Are s and 58 nonequal?
True
Let y = 1740 - 1857. Which is smaller: -112 or y?
y
Suppose -2*j = 2*j + 4. Let h be (j/2)/((-2)/(-16)). Let n = 925/6 - 154. Is h at least as big as n?
False
Suppose -41 = -4*d - 5*n, 118*d - 123*d + 3*n = -42. Is d at most as big as -38?
False
Let g be 0/(-1) - 10/(-2). Let l be 0 + (-22)/(-4) + 6/(-12). Suppose g*i = -0 - l. Which is bigger: 0.04 or i?
0.04
Suppose 0 = -51*w + 55*w. Suppose w = -5*x - 56 + 51. Which is smaller: -15/8 or x?
-15/8
Let q(b) = 4*b**2 + 49*b - 99. Let p be q(-14). Let w = 13 - 20. Do p and w have different values?
True
Let n(o) = -12*o**2 - 267*o - 9. Let l be n(-22). Is l greater than or equal to 58?
False
Let s(a) = -a**3 + 45*a**2 - a + 36. Let m be s(45). Let l = 20 + -33. Let u be (-2 + l/(-2))*-2. Is m < u?
False
Let l = -2670 + 2747. Which is bigger: 78 or l?
78
Let p be (70/(-75))/((-22)/(-80)). Which is greater: p or -2?
-2
Suppose 16 = 3*s + a, 2*s + 2*a = -2*a - 6. Let q = -10 + s. Let f be (-5 + 2)*q/(-9). Which is greater: f or -15/7?
f
Let a(b) = -2*b**2 - 3*b + 10. Let l be a(-3). Suppose -l = -2*w - 3*t, 0 - 4 = w - 3*t. Which is smaller: w or -8/5?
-8/5
Suppose 3*w = 3*g + 7*w + 42, 4*w - 102 = 5*g. Let s(n) = n**3 + 18*n**2 + n + 16. Let v be s(g). Let j = 15 - 6. Which is smaller: j or v?
v
Let y be 192/(-33) - (-4)/(-22). Let t be (0 - (-4)/y)/4. Which is bigger: -2/21 or t?
-2/21
Let p = -18 + 17.3. Let s = p + 0.3. Let t = s + 4.4. Which is smaller: t or 1?
1
Let p(h) = -58*h - 244. Let l be p(-5). Suppose b - f - 3*f - 42 = 0, 0 = 4*b + f - 185. Is l less than b?
False
Let u(n) = 10*n - 84. Let i be u(10). Let x = 37 - 21. Is i at most x?
True
Let s = -47 + 46.95. Let b = s - -0.05. Is b < 2/5?
True
Let t = 1/134 + 397/670. Let n = -104/3 - -35. Is n at most as big as t?
True
Suppose 1243 - 1207 = 9*j. Which is greater: j or 52/15?
j
Let s = 50 + -50. Which is smaller: -232 or s?
-232
Let t be -5 + (-3)/6*-2. Let g be 3/t + 13860/(-80). Let q be (-3)/12 + g/(-760). Does q = 1?
False
Let c(u) = 10*u**3 + 2*u**2 - 1. Let k be c(-1). Let a be 0/1 + 3 + k. Suppose -6*g + 8 = 44. Is a at least as big as g?
True
Suppose 0 = -m - 5*t + 6, 4*m = t - 0*t + 3. Let w = 1342 - 1359. Let z = w + m. Do -16 and z have the same value?
True
Let y be (2 - (-4)/(-2))/(-1). Let f = 155 - 158. Which is bigger: f or y?
y
Let j be 12/36*507/91. Is j less than 3?
True
Let w be (2*(-1)/6)/((-63)/567). Is w bigger than 2?
True
Let d(r) = r**3 + 4*r**2 - 2*r + 9. Suppose -6*x + 35 = -13*x. Let i be d(x). Let w = 390 - 1579/4. Is i greater than w?
False
Suppose -3*x + 16 = b + 4*b, 5*x = -3*b. Suppose 3*a - 5*w + 4 = 0, b*a = -0*a + 5*w. Let g(j) = -140*j + 6999. Let y be g(50). Is a greater than y?
True
Let c be (10/35 + (-33)/42)*462. Let x = c + 8548/37. Which