Which is smaller: -2/2357 or u?
-2/2357
Let r(c) = -18*c + 59. Let b be r(7). Let m = 68 + b. Which is bigger: m or -1/53?
m
Let s be 4 + (3 - -1) + -9. Let w = -1427/1068 - -1/356. Is s >= w?
True
Suppose 10 = 2*h, -2*f + 4*h = -0*h. Suppose -10 = 5*o - f*o. Suppose -5*g = o + 3. Which is smaller: -3 or g?
-3
Let p = -145 - -144. Suppose -2*w - 4*m + 3 + 11 = 0, 2*w + 4 = 2*m. Let k = w + p. Which is bigger: 2 or k?
2
Suppose -2*i + 0*l + 2*l - 4 = 0, -9 = -3*l. Is i at least -1/208?
True
Suppose 31*s - 41*s = 2630. Is s < -263?
False
Let v = 0 - 55. Let t = v + 66. Is 13 greater than t?
True
Let a(x) = -x - 24. Let k be a(-6). Let w = 92/5 + k. Let q = 4395/28 + -157. Is w greater than or equal to q?
True
Let x = 89/146 + -50203/83074. Which is smaller: -1 or x?
-1
Suppose -n + 5 = -4*b - 17, -14 = b + 4*n. Are b and -17/3 non-equal?
True
Let j = 0 + 0.3. Let v = -0.55 + j. Let d = v - -0.05. Which is bigger: 1/3 or d?
1/3
Let f = 705 - 802. Which is greater: f or -100?
f
Let i be -1*(-4 - (2 + 0)). Let s be ((-8)/i)/(-2)*3. Let y = 260 - 259. Is y < s?
True
Let n = 15.03 - 15. Let k = n + 17.97. Let f = 18.1 - k. Which is smaller: f or 2/3?
f
Let b be -8 - (0/(-1) - 3). Let s be 12/b - 14/(-35). Let i be s + (-3)/(-12)*4. Is -1/6 at least i?
True
Let x = 0 + -1. Let q = -337 - -16849/50. Is q greater than or equal to x?
True
Let u be (6/(-102))/((-82)/1394). Let r = -90/13 - -181/26. Which is smaller: u or r?
r
Let v be ((49/(-56))/(-7))/(10/(-344)). Is v greater than or equal to -5?
True
Let p(l) = 4*l + 21. Let o be p(-6). Let z be (1/o)/((-56)/(-42)). Is -27 greater than or equal to z?
False
Let j = 152 - 148. Suppose 59 = 3*z + 5*n, z = -3*n + 17 + j. Which is smaller: z or 20?
z
Let k = -187/8 - -7/8. Let t = -23 - k. Which is greater: t or -2?
t
Let w(r) = r**2 + 8. Let j be w(-8). Let i = 214/3 - j. Let t = -0.5 + 0.3. Which is smaller: t or i?
i
Let u(y) be the first derivative of y**4/4 - y**3 - 5*y**2/2 + 4*y + 13. Let j be u(4). Suppose 2*x + 8 + 0 = j, 4*f + 5*x - 20 = 0. Is f less than 11?
True
Suppose -3*g + 2*m = -125, 2*g - 3*m - 41 = 49. Suppose j - 6 = -y + 3, -j = -5*y + g. Which is smaller: y or 6?
6
Let i be 26/((-1)/1) - 3. Let n = i + 26. Suppose 0 = 3*j + 2*j. Are j and n nonequal?
True
Let v be ((-2)/6)/(-18 + 19). Which is smaller: v or 9?
v
Let s = -27 - -41. Let n(p) = 4*p**2 - 8*p - 1. Let q(k) = -7*k**2 + 16*k + 2. Let u(x) = -5*n(x) - 3*q(x). Let m be u(8). Is m < s?
True
Let u be 74/90 + (-28)/126. Let a = 27 - 44. Let w = 18 + a. Are w and u equal?
False
Let a(x) = -x**3 + 3*x**2 - 12*x - 6. Let c be a(10). Let h = 47080/57 + c. Which is bigger: 2 or h?
2
Let k = 175 + -339/2. Suppose 2*y - 30 = -5*g, -4*g - g = -2*y - 30. Is g bigger than k?
True
Let y(w) be the third derivative of 5*w**4/6 - 2*w**2. Let x be y(1). Suppose -5*q + 7*t - 2*t + x = 0, 0 = q - 3*t - 12. Is 12/11 >= q?
True
Suppose 4*n - 49 = 3*y + 2, 5*y = 4*n - 61. Suppose -l - 1 = n. Which is greater: l or -11?
l
Let g(v) = -v**3 + 6*v**2 - 7*v + 1. Let d be g(5). Suppose -3*n + 3*z = 6*z + 18, -2*z = -8. Is n > d?
False
Suppose o = -o. Let p(z) = 9*z - 6. Let k be p(8). Suppose k = 2*d - 3*q + 25, -90 = -5*d + 5*q. Is o < d?
True
Let d be (-28)/(-6)*(-21)/(-2). Let o be (-3*5/(-90))/(1/(-298)). Let i = d + o. Which is greater: 29 or i?
29
Let v = 0.1767 - 0.0767. Is v smaller than 17.3?
True
Let w be ((-496)/10)/(13/65). Let n be (-2 - 0) + w/(-126). Which is smaller: 0 or n?
n
Let d(p) = 12*p**2 + 5*p + 6. Let a be d(6). Let l be a/(-1539) - (-4)/(-18). Is -1 greater than or equal to l?
False
Let g = 522 + -521. Which is smaller: g or 40/29?
g
Suppose 0 = -0*b - 3*b - 4*n - 9, 0 = -3*b + 2*n + 9. Let y be (b + (-4)/12)*-36. Let l be y/35 - (-10)/25. Is -2 at most l?
True
Let c be (0/(-2))/(-3)*(-6 - -5). Let n = 541/28 + -130/7. Is c less than n?
True
Let r(o) = 2*o**3 - 4*o**2 + 2*o - 4. Suppose 5*b + 3*v = 15, 2*b - 3 = b + v. Let i be r(b). Suppose -3*d + i - 8 = 0. Is d >= 17/5?
True
Let l = -6/41 + 1195/8446. Let t = l + -391/4326. Which is greater: -1 or t?
t
Suppose 5*l = -3*n + 7, 4*l = -8*n + 3*n + 3. Which is bigger: 2/145 or n?
2/145
Let d = 1.08 - 0.08. Suppose 0 = 4*g + 22 - 2. Let m = -3 - g. Is m less than or equal to d?
False
Let d = 2513.33 - 2569. Let c = d - -56. Let x = c - 0.23. Which is greater: x or -0.5?
x
Let o = -2/1128883 + -590386871/10689393127. Let f = 2/557 - o. Let l = -46 - -45. Which is smaller: l or f?
l
Let l be ((-18)/45*1)/(13/(-15)). Suppose 0 = -0*d + 5*d + 15. Let c(q) = -q**3 - 2*q**2 + 2*q - 4. Let h be c(d). Which is smaller: l or h?
h
Let f(c) = -c**3 + 3*c**2 + 3 + 4*c + 0*c**2 + c**2. Suppose 4*q = 18 + 2. Let l be f(q). Is -1 at most as big as l?
False
Let x = -570 - -628. Is x < 57?
False
Let m be 4/((-32)/(-6)) - 20075/80. Let h = m - -250. Which is bigger: h or 1?
1
Let r = -0.013 + 0.363. Let p = r - 0.25. Which is smaller: -1 or p?
-1
Suppose 0 = 4*k - 2*p + p - 37, k + 5*p = -17. Suppose 6*g = k*g + 4. Let t = 161/5 + -34. Which is smaller: t or g?
g
Let o be 3 - 3 - 47/(-5). Which is greater: o or 8?
o
Let s = 0.4 + -0.3. Let w = 24.4 - 24. Is w greater than s?
True
Suppose 330 = -4*q - 18*q. Is -8 >= q?
True
Suppose 0 = 26*i - 2149 - 1543. Is 5 less than i?
True
Let l(d) = d**3 + 6*d**2 - 6*d + 9. Let s be l(-7). Suppose -s*r - 60 = -12*r. Is r >= 9/2?
True
Let m(v) = 31*v - 488. Let b be m(7). Is b <= 4?
True
Let p(i) = i**3 + i - 44. Let b be p(0). Let x = 26 + b. Let u be ((-12)/x)/((-1)/9). Is -6 >= u?
True
Let s be (88/36)/11 + 1640/(-7515). Which is smaller: s or 0?
0
Let s(b) = 2*b**2 - b - 7. Let h be s(4). Suppose 5*m = -41 + h. Let i be -1 + 0 - (0 + -1). Which is greater: i or m?
i
Let m(d) = -d**3 + 7*d**2 - d - 2. Let v be m(7). Let c(w) = -w - 9. Let t be c(v). Suppose t = -7*z + 8*z - 11. Which is smaller: z or 10?
10
Let c = -213 + 244. Which is bigger: -4 or c?
c
Let f(r) = 35*r**2 + 3*r + 3. Let k be f(-1). Let t(m) = -m**3 - 4*m**2 + 6*m - 1. Let d be t(-6). Is k greater than or equal to d?
True
Let f(g) = g**3 + 8*g**2 - 4. Let w be f(-6). Suppose 27*l + 5037 = 100*l. Is l at least w?
True
Let i = 0.2 - 0.57. Let q = -0.27 - i. Is q bigger than 3/28?
False
Let x be ((-3)/9)/(1/21). Let y be -2 + (444/182 - (-2)/x). Let q be ((-3)/(-9))/(1/(-3)). Which is bigger: y or q?
y
Let r(o) = -7*o + 7. Let n(m) = m**3 + 7*m**2 - 19*m - 11. Let v be n(-9). Let k be r(v). Is k less than or equal to 22?
True
Suppose 0 = z + 2*z - 4*f - 147, 5*f = -4*z + 196. Let s = 49 - z. Which is greater: s or -1/4?
s
Let x(l) = -4*l - 7. Let w be x(-2). Which is smaller: 1/156 or w?
1/156
Let w = -280 + 273. Is w bigger than -3?
False
Let p = 1.1 + -1. Let q = -7.2 + 1.8. Let n = -5.8 - q. Is p != n?
True
Let t = -2/607 + 3043/2428. Let k be (-8)/6*(-6)/(-52). Is k not equal to t?
True
Suppose -6*m = -3*m + 3. Let d be 44*2/8*2. Let g be (-17)/d - 3/(-6). Which is bigger: m or g?
g
Let b = -2601 + 10271/4. Let o = 33 + b. Let j = 2.519 - 0.519. Which is bigger: o or j?
j
Let m = -18.23 - 0.37. Let g = 19.1 - 0.1. Let l = m + g. Which is bigger: -2 or l?
l
Let n be (-1)/14*(-15 + 296/16). Which is smaller: n or 46?
n
Let x = 1.2 + -0.8. Let m = x + -0.36. Is m <= -0.3?
False
Let j(u) = -11*u - 136. Let c be j(-13). Is 2 bigger than c?
False
Let w be ((-6)/28)/(2/3168). Let n(t) = t**3 - 7*t**2 + t + 30. Let h be n(10). Let z = w + h. Which is greater: 2 or z?
2
Let r = 1725.9 - 1726. Let x be (0 + -5)/(2/(-10)). Does r = x?
False
Suppose -6 = 4*v + 5*t, -5*v - 18 = -2*v - 3*t. Let o(z) = z**3 + 14*z**2 + 10*z - 18. Let x be o(-13). Suppose -x*j + 24*j = -15. Does v = j?
False
Let o = -162.813 - -163. Let r = o - 19.587. Let c = r - -18. Which is smaller: c or 2/7?
c
Let k(u) = u**3 - 17*u**2 - 17*u - 15. Let c be k(18). Suppose 0 = -5*b + 2*z + 32, c*b + z - 2*z - 19 = 0. Let n be (-59)/3 + 4/b. Which is greater: n or -18?
-18
Let r be (2/(-5))/(252/(-450)). Do 2 and r have different values?
True
Let o = 749/9 + -1400/9. Let m = 73 + o. Is m != -0.4?
True
Let d be (-135)/(-4) + (18/(-8))/3. Let v = 31 - d. Which is greater: v or -14?
v
Let g(w) = w**3 + 10*w**2 - 24*w + 8. Let d be g(-12). Let b(r) = r**3 + 4*r**2 + 3*r - 3. Let y be b(-3). Let o be y + 11 + 2 + -1. Which is smaller: o o