. Which is greater: f or 1?
1
Suppose 0 = u - 14*f + 13*f - 5163, 3*u - 7*f - 15493 = 0. Which is smaller: u or 5161?
5161
Let q(l) = -l**3 + 7*l**2 - 8*l + 10. Let j be q(6). Let z be (j/(-12))/((-8)/(-6) + -1). Let b = -2.94 + -0.06. Which is smaller: b or z?
b
Suppose 4*r = -0*p + p + 15, -2*r + 3 = p. Suppose -r*g + 5*o = 94, -2*g - 2*o - 105 = 3*g. Let x = 23 + g. Is 5/9 bigger than x?
True
Let j = -30302 + 30225. Is -998/13 at least j?
True
Let k be -1 + -99 - (14/4 + 64/(-128)). Is -97 at least as big as k?
True
Let j(m) = -m**2 + 39. Let t be j(6). Let h = 14 - t. Is 14 <= h?
False
Let h(b) = b**2 + 6*b + 6. Let i be h(-5). Let a = -1.772 - -1.59. Let s = 0.078 - a. Is s smaller than i?
True
Let n be 30/((-16)/(-24)*6*1/28). Which is greater: n or 2736/13?
2736/13
Let n(d) = 159*d**2 - 12*d + 13. Let r be n(1). Let b = 131.1 + -131. Which is smaller: b or r?
b
Let g = -0.825 + 45.825. Which is bigger: 2/5 or g?
g
Suppose -3*j = -4*j + 3. Suppose -2*y - j*x = -299, -5*y - 3*x = -2*x - 767. Let d be y/126 + (-4)/18. Is 12/13 at most as big as d?
True
Let o = -0.04294 - -1831.04294. Is -1/4 <= o?
True
Suppose 2*v - j = 267 - 51, 5*v = 4*j + 543. Are v and 109 equal?
False
Let t = -349 - -8. Let j be 1*t/(-44)*(-16)/6. Is -22 at least j?
False
Let r = -6066 - -6065. Which is smaller: r or 15?
r
Let h be ((3 + -2)/(-1))/(-1 + 0). Suppose -6*d = -7 + h. Let m be (d + (-92)/24 + 3)/(-1). Is m > 8?
False
Let n = -298.51 - -294.51. Which is greater: 425 or n?
425
Let w(n) be the third derivative of -n**5/60 + 5*n**4/8 + 11*n**3/2 + 14*n**2 + 2*n. Let m be w(16). Which is bigger: m or -2?
m
Let c(t) = -3*t**3 - 2*t**2 + t - 2. Let x be c(-2). Suppose 22*p + 10 = 27*p. Suppose x*j - p = 10*j. Which is smaller: j or -2?
-2
Let j(m) = -5*m**2 + 146*m + 87. Let y be j(29). Let k = 13 + -13. Which is greater: y or k?
y
Let g = -1290024/1544687 + -6/19553. Which is smaller: -1 or g?
-1
Suppose 0 = d + d + 4, 2*y - d = -4*d. Which is smaller: y or -5.8?
-5.8
Let u = 836 + -1196. Let s be (2/(-126))/(60/u). Suppose 3*v - 1 = 4*v. Are s and v nonequal?
True
Let p be ((-7)/(-35))/((-2946)/10). Which is smaller: 1 or p?
p
Let m = 318713/71535 - 254/57. Which is greater: m or 0?
0
Let s be -6 - (-8)/(0 + 8)*2. Let a be 6/(-45)*-21*10/4. Which is greater: a or s?
a
Let s(g) = -g**2 + 4*g + 3. Suppose 0 = -4*j + 3*d + 19, -2*j - 5*d = 1 - 4. Suppose -j*a + 10*a + 12 = 0. Let z be s(a). Do z and -9 have different values?
False
Let a(t) = 109*t + 4293. Let c be a(-57). Is -1920 <= c?
True
Suppose 0 = 5*w + 3219 + 106. Is w less than 4?
True
Suppose 3*n = 6*n. Let z be -1 - (-42)/(-276)*-6. Which is greater: n or z?
n
Let w(t) = -t**2 + 18*t - 32. Let g be w(16). Suppose -3*x - 2*j - 3*j - 53 = g, -31 = 2*x - j. Are x and -29/2 equal?
False
Let x be -10 + (-20)/(-5) + 6. Suppose x = 94*o - 100*o. Which is smaller: -14/37 or o?
-14/37
Let z be 11/(-143) + 20944/182. Is 130 at most as big as z?
False
Let h(z) = -3*z**3 + 15*z**2 + 77*z + 63. Let a be h(-1). Let x(f) = 17*f**2 + f - 1. Let l be x(1). Which is greater: a or l?
l
Let m = -3951/2 - -5926/3. Which is smaller: m or 609?
m
Let s = -2.3 - -153.3. Let q = -155 + s. Let a = -0.03 + 7.03. Which is greater: a or q?
a
Suppose 4 = -4*i, -3*i - 4 - 8 = -3*s. Suppose 0 = -2*x + 3 + s. Suppose -2*n + 14 - 54 = 2*h, x*n + h = -60. Are -19 and n unequal?
True
Suppose 2*y - 90 = -2*m, 8*y + m = 4*y + 177. Suppose g - 5*h = 80, 5*g + 47*h - y*h - 540 = 0. Is g greater than 104?
True
Let x be (-2)/(47/23 + -2). Suppose -4*g - 184 = 4*o, 145*g - 150*g = 2*o + 230. Are g and x nonequal?
False
Let u(w) = w + 1. Let s(l) = -l. Let n be s(3). Let i be u(n). Let f = -878/327 - -2/109. Which is smaller: f or i?
f
Let w = -1.462 + -7.538. Is w greater than 374?
False
Suppose 219*j - 256*j = -93 - 18. Is j greater than or equal to -104.3?
True
Let y(n) be the second derivative of -1/6*n**3 - 3*n**2 - 2 - 4*n. Let o be y(26). Is -29 at most o?
False
Let x = 2239 + -3282. Which is smaller: -1044 or x?
-1044
Let y = -363 - 48. Let m = -275 - y. Is m greater than 136?
False
Let q = -172/79 - -127954/58697. Let o be (0 - -5 - 7) + 1. Is q > o?
True
Suppose 5*h + 2457 = -3*p, 97*h + 805 = -p + 93*h. Is p <= -827?
True
Let j(u) = u**2 + 16*u - 32. Let k(g) = -7*g - 1 + 3*g + g + 2*g. Let z(m) = j(m) + 4*k(m). Let a be z(-14). Is -10 at least a?
False
Let m = -828.6 - -1566.72. Let n = m + -738. Does 3 = n?
False
Let o = 1260.6 - -169.4. Which is bigger: o or 2?
o
Suppose x = -4*p + 9, -160*x + 164*x + 3*p - 10 = 0. Which is smaller: x or 1/12035?
1/12035
Suppose -523 + 11 = 8*s. Let j be (1 + 500/16)*(-2 + 0). Is s at least j?
True
Let g(t) = -t**3 - 9*t**2 - t - 4. Let a be g(-9). Let k be 4*(1 - 0 - -3). Suppose 2*x + k + 96 = 2*p, x = -a*p - 38. Is -54 equal to x?
False
Let s(i) = -8*i**2 - 60*i + 9. Let r be s(-10). Let b = r + 192. Which is smaller: 1/7 or b?
1/7
Suppose 6*l - 1455 = -405. Let q be (35/l)/((-1)/5). Which is greater: q or -10/51?
-10/51
Let f(k) = -3*k + 12. Let j(n) = 16*n - 61. Let v(s) = -11*f(s) - 2*j(s). Let h be v(0). Let u(l) = -4*l + 6. Let m be u(4). Is m >= h?
True
Let o(y) = -243*y + 4. Let r be o(-1). Let b = 219 - r. Which is bigger: b or -26?
-26
Let w be (1 - 8/6)*((-9054)/(-117) - 4). Which is greater: 0.2 or w?
0.2
Suppose a + 5 = 0, -218*f + 4*a + 736 = -220*f. Is f bigger than -360?
True
Let f be (-2)/(-10) - 1/(45/(-44766)). Is f smaller than 996?
True
Suppose 34*p - 765 = -51*p. Let o(j) = j - 9. Let r be o(13). Let i be (-24)/(-9)*6/r. Which is greater: i or p?
p
Let k(z) = z**3 - 3*z**2 - 9*z - 6. Let u be k(5). Is -1/818 <= u?
False
Let o = 531 + -115. Suppose 411*s = o*s - 5. Is 2/27 less than s?
True
Let y = 0.92 + -0.15. Let q = y - 0.3. Let b = q - 10.47. Is 0 at most as big as b?
False
Suppose -2*o = -3031 + 2929. Let s be (-6*((-25)/15)/(-5))/o. Is s less than -2/5?
False
Let d = -8 + 7. Suppose 9*a - 665 = 4*a. Let y = 6383/48 - a. Which is smaller: d or y?
d
Suppose -u + 299 = -4*d, 371 = -4*d - d + 4*u. Let z = d + 116. Suppose -2*m - 39 - z = 0. Which is bigger: -41 or m?
m
Let z = 5532.7 - 118.7. Is -1/2 at most z?
True
Suppose 206*i - 192 = -2*r + 203*i, -i + 454 = 5*r. Let y = 100 - 10. Let u = r - y. Is u bigger than -6/23?
True
Let r(b) = -36*b + 105. Let u be r(3). Which is bigger: -5.31 or u?
u
Let a be 20/(-5) + 4 + 0. Suppose -21*k + 27*k + 12 = a. Is k != 22?
True
Let c(d) = 13*d + 190. Let i be c(-14). Suppose -i*g + 4*g + 207 = 5*x, -5*x + 205 = 5*g. Which is greater: 0.2 or x?
x
Let u = -1394.908 + 2.908. Is 2 <= u?
False
Let u = -120 - -119.971. Let y = u + 28.029. Let p = y - 24. Which is smaller: p or 0?
0
Let d be 15/(-10)*20/(-6). Suppose 0*n - 5*f + 64 = -3*n, -d*n - 4*f = 82. Let l = -562 - -544. Is l equal to n?
True
Let a(d) = 30*d - 6. Let j be a(-9). Let p = 325 - 601. Are p and j equal?
True
Let y = -2283 + 47935/21. Suppose 2*f - k - 3 = -2*k, -2*f = -3*k - 7. Suppose 5*s - 20 = 5*j, 2*j + f*j = s - 13. Is y equal to s?
False
Let z = 10604.37 - 10611. Which is smaller: z or 8?
z
Let p = -22 + 21. Let l = -86 + 144. Let t = -81 + l. Which is greater: t or p?
p
Let o(q) = q**3 + 10*q**2 + 11*q + 18. Let g(t) = t**3 + t - 1. Let h(f) = 2*g(f) - o(f). Let y be ((-2 - -3) + -12)*-1. Let m be h(y). Is m <= 6?
True
Let x be -1 + 5 + (18 - 16). Suppose -5*v + x = m, 6 = 2*m - m + 3*v. Let w be 8/6 + 8/2. Which is greater: m or w?
m
Let l be ((-2841)/45 - (-9)/(-45))*18/12. Is -126 > l?
False
Let j = -0.11 - -0.06. Suppose 7*y - 30 = 12*y - 15*k, -2*y - k - 5 = 0. Which is smaller: j or y?
y
Suppose -8*y - 26 = -90. Let x be (y - 1)*13/((-65)/15). Which is bigger: x or -19?
-19
Suppose -5*l - 29 = -2*h, -5*h + 0*h = 5*l - 20. Suppose -h*t + 360 = 8*t. Is 11 at least as big as t?
False
Let j(c) be the second derivative of c**4/12 - c**3/2 - 7*c**2/2 - 13*c. Let t be j(5). Suppose t*o - 12 = 4*o. Is o less than or equal to -12?
True
Suppose 4*r = -2*o + 14, -12 = -3*o + 5*r - 2. Suppose -2*t - 15 = 4*m + 3*t, o*t - 20 = 3*m. Is m at least 2/53?
False
Suppose 5 + 55 = -10*c. Let z(m) = 7*m**2 + 3*m + 1. Let g(t) = -13*t**2 - 5*t - 2. Let u(y) = c*g(y) - 11*z(y). Let b be u(2). Which is greater: b or 3/2?
3/2
Let f be (-2183)/18 + (-24)/(-540)*-5. Let h = f + 122