 c?
False
Let x = 124/3 + -35. Let h(l) = l**2 - 5*l + 5. Let r be h(5). Which is bigger: r or x?
x
Let i = 1126 - 1112. Is 14 at least i?
True
Suppose 14*f - 999 = 625. Suppose -f = 5*z - z. Which is smaller: -30 or z?
-30
Let t = 2071777/229 - 9047. Let s = 6071/1832 + t. Which is bigger: s or 4?
4
Let x = -0.31 - -0.349. Let s = x + -4.039. Are -0.12 and s equal?
False
Suppose 2*g - 5*q - 20 = 0, 11*g = 7*g - q - 4. Suppose 0 = -5*v - 2*z + 13, 4*v + 0*v + 4*z = 20. Do g and v have the same value?
False
Let a be 117 - (-1 - -3 - -4). Are a and 110 equal?
False
Let o = 1.939 - 1.96. Which is smaller: o or -1?
-1
Let t = 12.495 + -12.6. Is -7 greater than or equal to t?
False
Let o(f) = 2*f**2 - 12*f - 7. Let k be o(6). Let y be (-2 - k)*4/20. Let a = -879/8 + 110. Is y > a?
True
Let l be ((-6)/4)/(12/80). Let z be l/(-2)*1*2. Suppose 5*m = 25, -2*u - 37 = -4*u - 3*m. Which is bigger: u or z?
u
Let x = -31.93 + 32. Let s = -0.83 - x. Is -2 > s?
False
Let z be 24/(-84) - (-10)/(-14). Let n be (-21 - -20) + (z - -4). Which is bigger: n or 5/2?
5/2
Let i = 4 - -4. Let f = -8.01 + i. Let d = f - -0.01. Is d smaller than 0?
False
Let c(l) = l**2 + 3*l - 10. Let h(m) = 2*m + 12. Let j be h(-7). Let n = -7 - j. Let g be c(n). Are g and -4 unequal?
True
Let s be 9/30*(-24)/(-15). Let h = s - 171/200. Let u be 2 - 1*(-1 - -2). Is u smaller than h?
False
Let s(y) = -y + 6. Let h be s(-10). Suppose -2*l - h = -6*l. Let k be (21/(-14))/((-3)/l). Which is bigger: k or -0.1?
k
Let d = -205 + 125. Let s be 90/(-12)*(-2)/d*2. Which is smaller: s or 0?
s
Let v = 39 - 33. Suppose -v*a + 11*a = 35. Suppose x + 2 = -2*t, -t = 3*x - 3*t - 34. Which is smaller: x or a?
a
Let i = 289684/229 + -1265. Which is greater: 1 or i?
1
Let b be -3 - 2 - ((-390)/(-18))/(-1). Is 17 greater than b?
True
Let i(v) = v**2 + 8*v + 7. Let c be i(-6). Let m be 1/c - 6/(-30). Let a be 3/3*1 + -1. Is a bigger than m?
False
Let h(g) be the second derivative of g**3/3 - g**2 + 5*g. Let t be h(-9). Which is smaller: -19 or t?
t
Suppose -i = -0*i - 17. Suppose -i - 3 = 5*r. Let w be (-15)/6*r/(-20). Which is smaller: w or 0?
w
Let a(b) = 3*b - 3. Let u be a(2). Let p be u/(-15)*(-1 + 3). Which is smaller: -21 or p?
-21
Let h = 4 - -1. Suppose 3*v - h = 4. Which is greater: v or 13/5?
v
Suppose 7*y = 2*y + 5. Let x be 18/99 - 14*y/44. Is x >= 1?
False
Let x(i) = -i**3 + 3*i**2 - i - 2. Let o = -12 - -14. Let t be x(o). Which is smaller: t or -2/11?
-2/11
Let a(c) = -79*c**2 + 9*c + 16. Let j be a(-2). Is j greater than -318?
False
Let h(j) = -j**3 - 6*j**2 + 6*j - 1. Let w be h(-7). Suppose -18 = -5*l + w*s - 2*s, 2*l - 2 = -s. Suppose 0*x + 3*x + 15 = 4*f, -f - x = 5. Is l < f?
False
Suppose 5*f = 5*s - 130, 0 = 52*f - 55*f - 6. Is s >= 5?
True
Let w = -7.02 + -589.98. Let i = w - -570.9. Let q = -26 - i. Are -11 and q non-equal?
True
Let y = 751 - 742. Which is greater: y or 31?
31
Let q = -709 - -771.8. Let x = q - 63. Are x and -16/3 equal?
False
Let s(m) = -12*m - 3. Let l be s(-1). Suppose 5 - l = 4*k. Let b = 122 + -1709/14. Which is greater: b or k?
b
Let w be (6 + -7)/(2 - 7/4). Let v be (w + (-18)/(-8))/((-2)/8). Is 8 <= v?
False
Let n = 1693/70376 + -2/463. Which is bigger: n or 0?
n
Let d be 364/12 + 180/(-135). Is 17 smaller than d?
True
Suppose -363*u + 297*u = 0. Let q be (2/(-7))/((-18)/70). Which is bigger: q or u?
q
Let b = 22 + -2. Let w = 19 - b. Is -2/71 greater than w?
True
Let x = -14 + 15. Let t = 50 + -68. Is t at least x?
False
Let y(w) = w**2 - 2*w - 11. Let d be y(6). Suppose d*a + 15 = 2. Let o be (1 + -2)/(10/4). Is a smaller than o?
True
Let m(r) = -6*r**2 + 15*r + 201. Let p be m(-11). Are 1 and p nonequal?
True
Suppose 36*q - 32*q = 3*n - 1076, n + 3*q - 350 = 0. Is 355 >= n?
False
Let b = 6 - -9. Suppose b*k - 19*k = -64. Which is bigger: k or 15?
k
Let h = 419.0994 - 0.0994. Which is bigger: -0.2 or h?
h
Let y = 1206 + -716. Is y at most 489?
False
Suppose 20 = 8*m - 20. Suppose 7*g = m*g - 16. Is g at least -9?
True
Let r(c) = -2 + 4 + 1 - c**3 - 2*c + 4*c**2. Let h be r(3). Let u be 4/(-14) + -3 + (-232)/(-28). Is h != u?
True
Let b(k) = 2*k**2 + 27*k - 4. Let w be b(-12). Is w greater than or equal to -40?
True
Let b = -1/5925 - 3533/130350. Is 2 != b?
True
Suppose -104 = -a - 101. Which is greater: 70 or a?
70
Suppose -37*r = -54*r + 17. Which is smaller: 0.164 or r?
0.164
Suppose -z = 2*t + 2*t - 3, 4*z - 3*t - 31 = 0. Suppose 3*r = -4*p - r - 20, 5*p = 3*r + z. Which is smaller: -12/11 or p?
-12/11
Let m = 139 + -41. Let a = -90 + m. Which is smaller: 1/2 or a?
1/2
Let r(x) = x - 5. Suppose 0 = 5*b - b + 80. Let d be ((-45)/(-75))/((-2)/b). Let v be r(d). Is v at least 1/21?
True
Suppose 3*p + 0*p = -2*v + 280, -280 = -2*v + p. Let u = -92 + v. Let o be 113/205 + u/(-80). Is o at least as big as 0?
False
Let n = -33.4 + 31. Let z = n + 2.3. Let r = -17/22 - -3/11. Which is smaller: r or z?
r
Let x = 240 - 235. Is 13 at most x?
False
Let x = 28 - 589/21. Which is smaller: x or 0?
x
Let c be 54/36*(-166)/3. Which is smaller: c or 0?
c
Suppose 0 = -33*a - 16*a + 3185. Is 1 < a?
True
Let u = 4.3 + -4. Suppose z + z + 16 = 0. Let q be z + 4 + (-60)/(-14). Are u and q unequal?
True
Suppose -4*v = -3*t - 27, v - 4*t + 9*t = -22. Suppose -1 = -v*i - 7. Which is bigger: i or -17/5?
i
Let b be ((-7)/3)/((-2)/24). Let p = b - 22. Let y(j) = j**2 + 3*j - 3. Let n be y(-5). Are p and n nonequal?
True
Let b = 28 + -26. Let p be b - 4*4/16. Suppose 3*r = -12, 4*r + 18 = 3*g - p. Which is smaller: g or 2/35?
2/35
Let v be (-147)/16807*(1 - (-5)/3). Is v > 0?
False
Suppose 0*j - 5*j + 4*l = -22, 2*l = j - 8. Suppose 7*r - 3*h - 28 = 2*r, -20 = -j*r - h. Is r at most 2?
False
Let s = -332 + 334. Do 8/15 and s have the same value?
False
Suppose -24*h = 19*h. Do -2/1019 and h have the same value?
False
Let p = -2.7 + -0.1. Let s = p - -2.7. Which is greater: s or -5/4?
s
Let c(t) = -13*t - 145. Let j be c(-11). Let s = 20/9 - 26/9. Is j equal to s?
False
Let c be 56/2*3/6. Let k be 170/12 - 2*(-1)/6. Which is bigger: k or c?
k
Let i(o) = o**3 + 4*o**2 - 35*o + 11. Let f be i(-9). Is f less than -80?
False
Let x = -19.85 + 10.85. Which is smaller: -1/48 or x?
x
Let u be ((-7)/10)/((-4 - -3)/2). Which is bigger: u or 4?
4
Let x = -7605/2 - -3387. Let b = x - -49033/118. Is b greater than 1?
False
Suppose 0 = -47*u - 3621 - 1549. Is u smaller than -219/2?
True
Let t = 1.984 - -0.016. Let x be (-5 - (-46)/10)/((-4)/(-16)). Which is smaller: t or x?
x
Let b = -63 + 30. Let u = -78 - b. Which is smaller: -46 or u?
-46
Let n = 3565 + -830637/233. Is -1 at least n?
False
Suppose -25*p = -44*p + 3 - 3. Let t(v) = -v**2 + 7*v + 1. Let f be t(-5). Let a = -294/5 - f. Is p less than or equal to a?
True
Let o = -3573 + 82176/23. Suppose 0 = 5*v - v. Is o > v?
False
Let j = 561 - 562. Is j != -2/417?
True
Suppose -r = 5 - 91. Let o = -260/3 + r. Which is smaller: -1 or o?
-1
Suppose d - 8 = -n, 5*n = -d - 3*d + 35. Suppose -n*u - 2*k = 7, k + 3 = -2. Which is smaller: u or -1/10?
-1/10
Suppose 2*g + 92 = 4*k, -5*k - 2*g = 2 - 108. Let p be (-33)/7 - k/77. Is -5 at least as big as p?
True
Let m(c) = -2 + 7*c**2 - 3*c + 7*c - 3*c**2 - 5*c**2. Let g be m(3). Let h = -81/4 + 21. Are h and g equal?
False
Let j = -116 - -118.85. Let t = 2.6 - j. Let b = 0.05 - t. Which is bigger: 5 or b?
5
Let d be 4/(-7) + (-1350)/210. Which is greater: d or -3/4?
-3/4
Let q = 37 - 556/15. Suppose -3*g + 3 = 3*l, -40*l - g + 1 = -35*l. Is l equal to q?
False
Let b(n) = n**3 + 2*n**2 - 4*n. Let q be b(-3). Suppose -q*p + p = 0. Let t be (2/60)/(126/210). Which is greater: p or t?
t
Let n be (28/5)/((-2)/(-5)). Suppose -n = -3*w - 17. Is w at least -26?
True
Let r = -1225 + 1224. Is r > 1/157?
False
Let t be (-9)/(81/18)*(-52)/(-8). Let y(d) = -4*d - 2. Let m be y(3). Is m at least as big as t?
False
Let l = -1300.204 + 1300.2. Let r = 0 + -0.1. Are l and r non-equal?
True
Let f be (2/5)/((-338)/10). Suppose 4*u - 2*v + 2 + 2 = 0, 3*u + 4*v + 3 = 0. Which is smaller: u or f?
u
Let i = -392 + 382. Is -43/5 less than i?
False
Suppose q + q = -4. Let x = 28.4 + -31. Let r = -3.1 - x. Is r at least as big as q?
True
Let y(o) = 4*o + 1. Let r be y(-1). Let t(n) = -n**3 + 18*n**2 - 35*n + 3. Let u be t(16).