: u or -1?
-1
Let c = -0.19 - -0.05. Let t = -9.16 + c. Is t < -1/4?
True
Suppose 5*g - 25 = 0, -2*m - 4*g - 31 = -5*m. Let s = 11 - m. Let o(j) = j**3 - j**2 - j - 1. Let k be o(-1). Is s less than or equal to k?
True
Let b = 279.2 - 279.1. Which is bigger: 2360 or b?
2360
Let g = 4869 + -4869.7. Which is greater: -273 or g?
g
Let b be (438/(-38106))/((-2)/(-1138)). Is -7 < b?
True
Suppose z = -5*f + 13, -3*f = -5*z + 15 - 6. Suppose 111 + 141 = 7*c. Let b be 4*(c/48 - (-25)/(-44)). Which is bigger: b or f?
f
Let p be (-1014)/(-507)*9/(-2). Which is smaller: p or 27.6?
p
Let o = 12511 - 12290. Do 218 and o have different values?
True
Let l = 120 + 10. Let g = l + -151. Suppose -5*j - 15 = -2*j, 0 = 5*w + 2*j + 110. Are g and w non-equal?
True
Let t = -126959 - -126980. Let g = 161/4 - 40. Which is smaller: g or t?
g
Let l = -1.02 - -2.2. Let n = -1.28 + l. Let g = -83/1098 - -8/61. Is n smaller than g?
True
Suppose 35 = -25*n - 40. Suppose 4 = -5*g - 1. Let l be (-4)/(-6) - (g + 4). Which is greater: l or n?
l
Suppose -4*z = -3*c - 2*z + 21, z + 28 = 5*c. Suppose -3*p = 5*a - 50, 0 = -3*p - 3*a + 192 - 150. Is p greater than c?
True
Let n be ((-2936)/(-1473) - 2)*156/390. Is n bigger than -1?
True
Let f = -45/116 + 5351/17980. Which is greater: f or 0.2?
0.2
Let p = 0.9186 - -2.0814. Is p not equal to -90/7?
True
Suppose 4*s - 16 = o - 0*s, 5*o - 4 = -s. Suppose o = -24*g - g. Do g and 3/20 have different values?
True
Let h = -42 - -41.97. Let l = h - -0.03. Is l at most as big as -9/11?
False
Suppose -884 = 3*u + 316. Let n = -269 - u. Is n equal to 131?
True
Let i = 117422 - 117405. Let k = -19.7 - -22. Let f = 0.3 - k. Which is greater: f or i?
i
Suppose 2*j = -2, -3*s = j + 2*j - 612. Which is bigger: 210 or s?
210
Let n be (26/39)/((-2)/18). Is -147/31 at most n?
False
Let y be ((-8)/1104*-12)/((-2390)/(-20)). Is y >= 1?
False
Let u = -9995 - -9984. Which is smaller: u or -126/11?
-126/11
Let g(c) = 2*c + 9. Let m(y) = y**2 - 2*y - 5. Let u be m(0). Let p be 1 + u - (13 - 12). Let h be g(p). Which is smaller: -28 or h?
-28
Let v = -139 - -140. Let u be 12 + (-828)/42 - -3*v. Let r be 14/(-2) - (-6)/3. Is r > u?
False
Let d = -0.0078 + -358.9922. Let k = d + 360. Is 2.8 smaller than k?
False
Let l be ((-198)/36)/(2/(-8)). Suppose -3*d + 3*p - 216 = -8*d, 8 = 4*p. Let h = d + -18. Is h at most as big as l?
False
Let i = -5 - -10. Suppose -g - 3*g + 27 = -f, -i*f - 3*g - 112 = 0. Which is bigger: f or -26?
f
Suppose 0 = -13*j + 137 + 19. Let m be (-2)/(-4)*24/j. Which is smaller: m or -1/144?
-1/144
Let t(h) = -h**2 + 10*h + 3. Let k = 5 + 5. Let z be t(k). Suppose 0 = -11*f + z*f + 16. Are 12/11 and f nonequal?
True
Let z be 2*2/(-12)*690/(-5). Suppose 4*p - 7*p - 2*f + 69 = 0, -4*f = 2*p - z. Let j = -23 + p. Is 0 < j?
False
Let o(d) = d**2 - 3*d + 1. Let w be o(1). Let x be (-2425280)/7743830 + 6/19. Which is greater: x or w?
x
Let w = -708 - -754. Suppose w*u - 27 = 19. Which is smaller: u or 1/172?
1/172
Suppose -a + 9*w = 13*w - 9844, -2*a + 6*w + 19632 = 0. Is a > 9828?
False
Let n = -26.008742 - -0.008742. Let o(v) = -2*v**2 - 7*v + 17. Let g(u) = u**2 + 3*u - 9. Let q(m) = 5*g(m) + 3*o(m). Let k be q(-7). Which is greater: n or k?
k
Let b = 818/609 - 2/203. Let l = 16.15 + 3.15. Let y = -19 + l. Is y greater than b?
False
Let z = 11 - 34/3. Suppose 95*a - 93*a - 8 = -2*k, -5*a + 20 = k. Does z = k?
False
Let q = 73/8 - 13043/1432. Which is smaller: 0 or q?
0
Let x be ((-69)/92)/((-2)/(-24)). Let c = x - -23. Is 15 < c?
False
Let a(w) = 6*w**2 - 4*w - 4. Let j be a(-1). Suppose 8*b - j*b = 2. Let r be b/(21/(-6)) + 80/(-14). Which is bigger: -5 or r?
-5
Let y(i) be the first derivative of i**4/4 - i**3 + i + 5. Let s be 36/6*1/(-2) + 4. Let r be y(s). Which is smaller: r or -4/7?
r
Suppose 0 = -5*m + z - 5, 0 = 5*m + 4*z + 5 - 0. Is m bigger than -3/670?
False
Let q = 719 - 1103. Let l be (3 - 0)/(q/36 - -11). Which is bigger: 19 or l?
19
Suppose 0 = -4*h + 2*i - 30, -5*i = 5*h - h + 37. Let w be (-28)/h*(-40)/14. Which is greater: w or -31?
w
Let y be (420/45)/(5/300). Which is smaller: 2 or y?
2
Let y be (-2)/4*18/(-27). Let q(f) = -41*f**2 - f. Let b be q(-2). Let v = b - -331/2. Which is smaller: v or y?
y
Let b be -1 - -1*(-52)/(-66). Let v be -6*11/8712*-6. Let f = b + v. Is f at least as big as 3?
False
Suppose -34 - 31 = 5*v. Let j be (13208/(-24))/v + 1/(-3). Let c = 47 + -6. Which is bigger: j or c?
j
Let o be 11951/627 - 28/462. Let j = 2/5 + -3/20. Is o equal to j?
False
Let r = 12426 - 12426. Which is smaller: -1/4364 or r?
-1/4364
Let p = 5736 - 5735. Is -2/2589 > p?
False
Let s(v) = -6*v + 147. Let q be (2 - -11) + 4 + -2. Let d be s(q). Is 55 at least d?
False
Let u = 180147/43 + -4193. Is u at most as big as -5?
False
Suppose 5*o - 2 = 3. Let u = 2961557/7 - 421474. Let y = u + -1613. Does y = o?
False
Let s = -0.64 - -46.64. Suppose -861 + 711 = -10*m. Let f be (-300)/288 - m/(-40). Is s less than or equal to f?
False
Let l(x) = -263*x**2 + 2359*x + 11. Let u be l(9). Is u at most as big as -1049/17?
False
Suppose -20*m = 4*h - 19*m - 8, -3*m = 3*h - 15. Which is smaller: h or 2/1141?
2/1141
Let w be 400/(-1000) - 48/(-70). Which is smaller: -27.8 or w?
-27.8
Let p = -693 - -6176/9. Let f = p - -1775/261. Is 1 bigger than f?
True
Let m be (-4)/(-38) - 11502/(-114). Suppose 84*c = m*c + 1411. Are c and -82 equal?
False
Let p(n) = -2*n**2 - 15*n - 5. Let x be p(-7). Suppose -x = -2*d + 6. Suppose -2*w - 22 = 4*r, -3*r + d*r = 2*w + 12. Which is greater: w or -1/3?
-1/3
Let v be (150/(-100))/((-6)/(-52)). Let j be 1/v*223 - 10/(-65). Which is bigger: j or -21?
j
Let x = 6253 + -6248. Which is bigger: x or -22.4?
x
Let v be (-30)/6*(-4)/110. Let m = -38.6 - -34. Let b = -2.6 - m. Is v greater than b?
False
Let r = 10 - 20. Let t = 257 + -297. Let y = -37 - t. Which is greater: y or r?
y
Let t = 149014/63 - 16736/7. Which is smaller: t or -25?
t
Let o = -442 - -300. Suppose 10*p - 36*p = -148*p - 17568. Is p at least as big as o?
False
Let m = -8579 - -25489/3. Let t = m - -83. Is -52 < t?
True
Let d = -34.2 - -90.7. Let m = d - 58. Let p = 10 - 9.9. Is p <= m?
False
Let j = 2825 + -2825.1. Is -430/3 > j?
False
Let o(c) = -c**3 - 20*c**2 - 52*c + 9. Let i be o(-21). Is 1544 equal to i?
False
Let i(o) = o**2 - 31*o - 206. Let z be i(0). Let c = 1032/5 + z. Let v = -11.95 + -0.05. Is v at least c?
False
Suppose -110*a = -112*a + 208. Suppose -2276 = -a*h + 108*h. Is -568 greater than h?
True
Let i(z) = -z**3 + 36*z**2 - 4*z - 39. Let v be i(12). Is v not equal to 3369?
False
Let t be (-3)/(-78)*1/62*-8. Let s = 10 + -10. Is s bigger than t?
True
Suppose 4*d + 1263 - 293 = -5*i, -2*d - 2*i = 484. Which is greater: d or -241?
d
Let i(k) = -k**2 + 6*k + 1. Let c be 4*1*(1 - (-8)/(-4)). Let m be i(c). Let p be (-34)/(-10) - m/65. Is p at least 1/2?
True
Let p(c) = -30*c**2 - 6*c + 4. Let i be p(1). Let v = i + 32. Let h be (-2 - -2) + (-2 + v)*1. Which is greater: 0 or h?
0
Let c(z) = 3*z - 23. Let a(x) = 2*x - 15. Let n(q) = 8*a(q) - 5*c(q). Let f be n(7). Let w = f + -6. Which is smaller: w or -3?
w
Let o(w) = -228*w + 2306. Let a be o(10). Which is bigger: a or 467/19?
a
Let r = 0 - 0.4. Let k(m) = m**3 + 14*m**2 + m + 13. Let w be k(-14). Let c be (-2)/9 - 24/(-378)*w. Are c and r equal?
False
Suppose p = -w + 6374, -92*p = -88*p + w - 25484. Is p at most 6370?
True
Suppose -4*k + 9*k + 5*w = -3495, 3*k + 4*w + 2101 = 0. Is -692 less than k?
False
Suppose 3*t - 2 = -4*v, -4*v + 5*t = 23 - 9. Which is smaller: v or -36/185?
v
Let x be (0 - -1*2) + 73831/808. Are 0.1 and x equal?
False
Let z = 9925070/1099 - 9031. Is z > -1?
True
Let d be ((-3)/(-5) - (-1959)/30*538)*1. Is d < 35132?
False
Let j = 2/49321 + 2317531/13711238. Which is greater: j or -1?
j
Let h = 0.4 - 0.6. Let m = 6.51 + -3.65. Let y = 3.09 - m. Are y and h unequal?
True
Let v(t) = -t**2 - 10*t - 48. Let y be v(13). Let j = y + 334. Which is greater: j or -14?
j
Let u = -178 - -265. Let l be 7/(35/(-25)) - (-4 - 2). Is l less than u?
True
Let k(u) = 6*u + u**3 + 4*u**2 - 15*u - 10 + 0*u**2 - 1. Suppose -2*l + 0*l = 0, -l = -4*j - 20. Let g be k(j). Is g bigger than 5?
True
Let f be (-4)/(-6) - (33 + (-2068)/66). Is f <= -36/107?
True
Let g(d) = -2*d + d