/12). Is g less than or equal to -1?
False
Suppose 0 = -2*f + 3*r + 756, 3*f - 187*r = -189*r + 1121. Is 376 at least f?
True
Suppose -4*n - 5*i + 2284 = 0, 4*i = 9*i - 20. Suppose n = -5*t - 3*u, 5*u = 5 + 10. Do -113 and t have the same value?
False
Suppose -6 = -n - 10, 5*s + 2*n = 227. Let q be (8 - (7 - -2)) + s/51. Which is bigger: q or 0?
0
Let c(x) = -2*x**3 - 15*x**2 - 4*x + 24. Let u be c(-7). Let l be (u + -4)*(0 + -1 - 1). Let p = -9 - -16. Which is greater: p or l?
p
Suppose -11*s = 26*s + 35*s - 416160. Which is smaller: s or 5779?
5779
Let u be (-6)/21 - 10/(-35) - -2. Suppose 0*z - 24 = -u*z. Which is smaller: 24 or z?
z
Let g = 92 + -100. Let f = -11 - -15. Suppose -2*k = 2*k + f*d - 12, 3*k - 1 = d. Is g at least k?
False
Suppose 2*q - 8 = -2*t, 4*t = 2*q + 8*t - 16. Let f(s) = s**3 - 8*s**2 + 4*s + 15. Let p be f(7). Let r be p/(-15)*-1*40/48. Is q > r?
True
Let r = 32 - 36. Suppose -3*d + 4 = -2*q, -2*q - 4*d = d + 20. Is q at least as big as r?
False
Suppose 5*f + 5 = 0, f = g + 3*g - 5. Which is bigger: -45 or g?
g
Let s = 160 - 161. Let i be s/10 + 8 + (-7983)/1170. Which is greater: 1 or i?
i
Let r = 7.034 - 8.034. Is -1/1083 < r?
False
Suppose 1951 = 1216*f - 1177*f - 4211. Which is smaller: f or 2.5?
2.5
Let r = -8938 - -5828. Are -3111 and r nonequal?
True
Let k(d) = 3*d + 111. Let z be k(-18). Suppose -p - b + 3 = -16, -3*p + 5*b + z = 0. Which is bigger: p or 27?
27
Let t = -4439 + 13315/3. Is t at least -2.991?
True
Let i = -103 - -115. Let s = -12 + i. Is -0.067 greater than or equal to s?
False
Let c = -0.4 - 1.6. Let q = 245.69 - -2.31. Which is smaller: q or c?
c
Let l = -6428 + 6441. Which is bigger: l or -10/3?
l
Let i be ((-1245)/60 + 19)*((-1)/(-7) + 0). Which is smaller: 1/627 or i?
i
Let y(h) = -h**2 + 7*h - 3. Let s be y(6). Suppose 4*q - s = -7. Let w = -1349 + 1315. Is w at most q?
True
Let t = -280686/187 - -1501. Let p(m) = -m + 17. Let a be p(17). Is t greater than or equal to a?
True
Let h = 5/129 - -340/7869. Suppose -4*r - 6 = -s, r = 3*s - s - 5. Is h at most r?
False
Suppose 32*g = 9 - 9. Let t be 728/(-735) - (-3)/3. Is g smaller than t?
True
Suppose 12*y = -y + 403. Suppose -y*l + 32*l - 1246 = 0. Let j = -6204/5 + l. Is j smaller than 4?
False
Let f(w) = -2*w**2 + 9*w + 6. Suppose -3*u + 400 = 7*u. Suppose -4*y = 4*y - u. Let l be f(y). Which is bigger: -4/21 or l?
l
Let w(m) = -2*m + 37. Let h be w(0). Let y(j) = 0*j + h - 11*j + 14*j - 6*j. Let v be y(12). Which is smaller: v or 2/15?
2/15
Let w = 138 - 204. Let v = -53.018 + 0.018. Let q = w - v. Which is bigger: 0.2 or q?
0.2
Let p be (17741/(-9577) - (0 - -7)) + 10. Which is bigger: 3 or p?
3
Suppose 13*q - 9*q - 52 = 0. Suppose 6*a - 180 - 4 = -16. Is q < a?
True
Let o(y) be the second derivative of -y**5/20 - 3*y**4/4 + 3*y**3/2 - 2*y**2 + 12*y. Let n be o(-10). Let a be (3 + n/(-16))/(3/2). Is 1 bigger than a?
False
Let k be (-2 + 2793/(-12) + 1)/((-76)/304). Which is smaller: 937 or k?
k
Let i = -82 + 133. Let s be (-168)/224 - 4406/(-8). Let b = -499 + s. Are i and b nonequal?
False
Let q be ((-8)/(-6))/(-4)*3/(-1). Let v be (-500)/(-10)*q*-2. Which is smaller: v or -101?
-101
Let i = -317 + 411. Let y = i + -96. Which is greater: y or -54?
y
Let s = -2.588 - -550.588. Which is smaller: 4 or s?
4
Let b(h) = -133*h - 6. Let r be b(1). Let m = 381 + r. Let l be 246/m + 3/(-8 - -5). Which is greater: -1 or l?
l
Suppose -r - 105 = 4*t, -3*t + 2*r - 4*r - 80 = 0. Suppose 5*g - a - 90 + 242 = 0, -5*g - 146 = 2*a. Which is bigger: g or t?
t
Let l be ((-4)/6)/(4/(-6)). Let v = 3 + l. Let j(d) = d**3 + 9*d**2 - 53*d - 7. Let x be j(-13). Which is smaller: x or v?
v
Let g be (51580/6368)/5 + 33/88. Let w = g - 2. Which is smaller: 1 or w?
w
Let k = -2/4391 + 6093/3736741. Let i = -504/295297 - k. Which is bigger: i or 1?
1
Suppose -16*u + 272775 = -4*u + 13*u. Is u < 10911?
False
Let w = -11015 - -11014.4. Are w and -3.53 non-equal?
True
Let t = -2195 - -4315. Is 1/3 at most as big as t?
True
Let q = -1014 - -1672. Which is greater: q or -0.01?
q
Let n = -23/3 - -394/51. Let w = 111 - 105. Let j = 7 - w. Is n smaller than j?
True
Suppose 3*m = -2*n + 8239, 4*m - 5*m + 4*n = -2751. Is m < 10983/4?
False
Let v(g) = 142*g - 426. Let y be v(3). Is y < -1/4854?
False
Let w be (-3)/(76/(-24) - (-3)/18). Let d be (-10)/4*(-16)/(-1). Let z be d/170*(-2)/(-4). Which is smaller: w or z?
z
Suppose 35 = -125*b + 132*b. Let w be ((-64)/(-12) - b)*-3. Let r be (-4)/18 + (-41)/(-306). Is r at most w?
False
Suppose 100 = -5*b + 555. Let a = b + -93. Which is bigger: a or -3?
a
Suppose -2 = 5*b - 2*b - 4*i, 0 = 4*b - 4*i + 4. Let k be (2 - (1 - b))*-5. Suppose 0*g - 3*g - 17 = -k*c, 4*c = 2*g + 10. Which is bigger: -12 or g?
g
Let l(q) = -14*q**2 - 8*q - 10. Let x be l(-2). Let r = -28 - x. Let f be (4 - r/6) + 0. Which is bigger: 20 or f?
20
Let x be 4/(-18) + 105/(-135). Let l be 4*1/2 + (-4 - x). Let r = -86 - -2320/27. Which is bigger: r or l?
r
Let k = 4338/13 - 368444/1105. Is -1 > k?
False
Let a = 59.61 - -16.09. Let c = a + -78. Which is bigger: -1/4 or c?
-1/4
Let p = 6027 + -6028. Are 4/1913 and p non-equal?
True
Let a be -1 - (-240)/42 - 5. Is 0.514 at most as big as a?
False
Let w = -419 + 809. Let o = -349 + w. Is 39 not equal to o?
True
Let k be (4/3)/((-9)/27). Let y be 3 - ((-98)/k)/7. Suppose 3*u = 3*r + 2*r, 0 = -r. Which is bigger: u or y?
u
Let s be (-4 - 2342365/(-795))/1261 - (-21)/(-9). Which is bigger: s or -1?
s
Let q = -67 + 95. Let n be (q/(-56))/(1 + (-278)/284). Is -25 at least as big as n?
False
Let i = -10498 - -10430.865. Let n = -0.135 - i. Let l = 66 - n. Is l at least as big as 30?
False
Let r be ((-20)/(-65))/(47/227903). Is r at least 1488?
True
Let x be 2/11 + 0 - (-502)/22. Let r be (-92)/x + 238/58. Suppose 0 = 3*t + 4*m - 20, -t + 3*m - 15 = -4*t. Is t at most r?
True
Let d(n) = -3*n**2 + 97*n - 265. Let i be d(3). Which is smaller: 7/3832 or i?
i
Let f = -33 - 5. Let h = -37 - f. Let b = 134 + -45. Which is smaller: h or b?
h
Let r be 2/4*(-2 - 0). Let u be (((-3)/2)/(-3))/(10/29920). Let z = -91258/61 + u. Is r >= z?
False
Let c be 2/(-13)*4108/(-632). Which is smaller: c or 43/522?
43/522
Let i = 953 - 373. Let a = i + -602. Is a greater than 5?
False
Let g be 210/21*(-8)/(-1). Suppose g = 5*x - 180. Is x at least 52?
True
Let u be 4/((-44)/(-143)) - 13. Does u = -3/65?
False
Let g = -6259 - -6271. Which is greater: g or 250/13?
250/13
Suppose -153*t + 151*t = -2*j + 50, -j = -4*t - 82. Which is greater: t or -18?
-18
Suppose -3*z = -286 - 44. Let l be 5 + z/(-18) - 4. Which is smaller: -5 or l?
l
Let c = -1.03 - 182.97. Let x = c + 185.4. Which is smaller: x or -1?
-1
Let z be (2/(-7))/(1204/(-2107)). Which is bigger: -4324 or z?
z
Let d(r) = 4*r + 99. Let h be d(31). Let u = h + -222. Is 7/5 at most as big as u?
False
Suppose -69*f + 8466 = -128*f + 20148. Suppose 5*k - 970 = -5*b, 2*b = -0*k - 3*k + 384. Is f equal to b?
True
Let v = 2713 - 2711. Let x = -38 - -14. Is v at least x?
True
Suppose 10*l = 76 - 36. Let v be (-2852)/(-1023) + (l*1)/(-1). Is v smaller than -1?
True
Let r be 284/14 - (-2)/(-7). Let i be 18/r - 3/6. Let d = 9138.8 - 9100.8. Which is greater: d or i?
d
Let j = -9208.37 - -9247. Is j at least 0.2?
True
Let k(d) = d**3 + d**2 - 1. Let z be k(1). Let i = 293 - 297. Let t be (1/i)/(696/(-32)). Which is bigger: t or z?
z
Let d be -67610*(-1 - (-33808)/33806) - (224 - 228). Is -1 greater than d?
False
Let j be (44/(-8))/1*-2. Let v(i) = j - 13*i + i**2 - 7*i + 19 + i. Let q be v(15). Which is smaller: -29 or q?
q
Let z(u) = 24*u**2 - 2. Let s be z(-2). Suppose d = -3*y - 48, -d + 4*d = 5*y + s. Let c be (-284)/(-6) - y/(-51). Which is greater: -1 or c?
c
Suppose 14*v + 10*v - 96 = 0. Suppose v*s = -16*s + 360. Which is greater: 21 or s?
21
Suppose -2*z + 5*o + 22961 = -363, 5*z + 3*o = 58341. Is z < 11667?
False
Let m = -38.94 - -39.04. Which is smaller: m or -0.359?
-0.359
Suppose 12*d = 1681 + 2243. Let k = d - 2321/7. Is -5 >= k?
False
Suppose -2*m - 4 = -4*m. Let w(v) = v**3 + 5*v**2 - 12*v - 11. Let f(r) = -r**3 + 16*r**2 - 30*r + 21. Let b be f(14). Let s be w(b). Which is bigger: s or m?
m
Let y = -8395.43 + 8382. Let j = 0.037 + 0.393. Let c = j + y. Does c = 1?
False
Let l(m) = -