 - 21. Which is greater: q or f?
q
Let s = 0.54 + -0.7. Let u = -3.34 + 3.4. Let v = s + u. Which is bigger: -3 or v?
v
Let x = 6.09 + -6.91. Which is bigger: x or -1?
x
Let n = -245 + 343. Suppose s - n = 8*s. Is -15 smaller than s?
True
Let k(d) = -d**2 + 11*d + 15. Let v be k(12). Suppose -v*o = 5*t + 25, -4*o - 4*t = -0*o + 20. Suppose o = 10*w - 6*w - 12. Is w not equal to 6?
True
Let u(i) = 1. Let b(l) = -l**2 - 7*l - 16. Let f(a) = b(a) + 6*u(a). Let c be f(-4). Suppose -1 = -c*o - 3. Is o less than or equal to -13?
False
Let f = 2/83 - 277/1162. Which is smaller: -2 or f?
-2
Suppose 128*p - 146*p = 0. Which is smaller: p or 10/43?
p
Suppose 4*p = 3*j + 5, 0 = j - 5*p + 1 - 3. Let b(w) = 23*w - 5. Let d(i) = 5*i. Let r(m) = b(m) - 5*d(m). Let g be r(j). Which is smaller: 10/7 or g?
g
Suppose 0 = 3*s, -2*m - 6*s + 10*s = 0. Are -2/57 and m nonequal?
True
Let w = -14.7 - 0.3. Let n = w - -24. Let v = n - 8.7. Which is smaller: -0.2 or v?
-0.2
Suppose -3*d + 947 = 4*j + 384, 3*j - 558 = -3*d. Which is greater: 361/2 or d?
d
Suppose 6 = -z - 4. Let x be ((-88)/(-55))/((-4)/z). Is 3 smaller than x?
True
Let c = 42 + -39. Suppose c*o + 18 = -0*o. Suppose a + 3*f = -2, 0 = -6*f + 5*f. Which is smaller: o or a?
o
Suppose 0*x + 13*x = 78. Let b be (76/6)/((-22)/x - -3). Which is bigger: 0 or b?
0
Suppose -k - 35 = -4*w, -w + 3*k = -8 - 9. Suppose -w*o + 12*o = 4. Suppose 5*v = -2*x + 16, -2*x - 2 + 8 = 0. Which is bigger: o or v?
v
Let y be 10004/(-17458) + (-6 - 276/(-42)). Are 1 and y equal?
False
Let d = 145098/5 + -29140. Let v = d + 120. Is -36 <= v?
True
Let o(m) = 2*m + 4. Let b be o(3). Suppose b = 5*t + 4*v, -2*v - 1 - 3 = -2*t. Suppose g - k - 6 = 0, k + 3 = t. Which is smaller: g or 9/2?
9/2
Let q(n) = -2*n**2 + 26*n + 62. Let i be q(8). Is i bigger than 148?
False
Let s(q) = -q**3 - 10*q**2 + 57*q - 10. Let d be s(-15). Which is bigger: d or 261?
261
Let r = -0.25789 - -0.05789. Let p be (-16)/(-6)*(-1)/6. Which is bigger: r or p?
r
Let u(t) = 2*t - 1. Let n be u(1). Let p be -1 + n + 4/(-20). Suppose 0 = 5*x + 5*c - 28 - 2, -21 = -x - 4*c. Which is greater: x or p?
x
Let g = -45/4864 + 24118189/4864. Let k = g - 123535/26. Let b = k + -207. Is -1 != b?
True
Suppose 25*l = l + 4*l. Is l at most 3/8?
True
Suppose -5*d + 4 = 3*p + 8, 4*d + 6 = -p. Let m(x) = -4 - p*x - 3*x + 1 + 4*x. Let n be m(-2). Which is greater: n or -1/20?
-1/20
Let h = -5890 - -5944. Let p be 526/10 - 4/(-10). Which is smaller: h or p?
p
Let b(d) = d**2 - 9*d - 23. Let y be b(11). Are 1/30 and y equal?
False
Let l be (-4)/22 + (-6828)/(-36828). Let k = l + 263/4464. Which is greater: -1 or k?
k
Let u = -71096.93 - -70442. Let q = -649 - u. Let g = -0.07 - q. Which is smaller: 1/3 or g?
g
Let n = -0.0526 + 5.0526. Is 2/15 smaller than n?
True
Let d = -0.1 + 0.1. Suppose -4*w + 2*v + 39 = 11, -14 = -4*w - 5*v. Suppose w*l - 2*a = 2*l + 54, -5*a = -l + 18. Which is greater: l or d?
l
Let p be -2 - 15/(-6) - 46233/(-288). Let n = 161 - p. Suppose y - 4*j - 11 = 1, 2*j + 6 = -y. Which is smaller: y or n?
n
Let k be (-42)/4*70/(-15). Let m be (12/k)/((-8)/(-28)). Is 1 at least as big as m?
True
Let g = 1.7 - 0.83. Let r = -0.13 - g. Let x = 5 - r. Is -2/5 >= x?
False
Let o = -304 - -1064. Let x be 2/(-9) - o/(-2610). Let c = 68/145 - x. Is c > 3/11?
True
Let u = 2/1907 + -5725/3814. Is -9/5 greater than or equal to u?
False
Suppose -19*p + 135 = -4*p. Are 11 and p equal?
False
Let b = 0.1 + 0.9. Let i = 2 - b. Let s = 511/3 - 170. Which is bigger: s or i?
i
Let q be 0/(-2*(-2)/(-2)). Let t be (2 + q + -2)/1. Let i = -336 - -5038/15. Is t less than or equal to i?
False
Let q be (1 - -2)*(-2)/(-2). Let k(b) = b**3 + 7*b**2 + 5*b + 4. Let t be k(-6). Suppose -3*o - q*u = u + t, 5*o - u = 14. Which is smaller: 3 or o?
o
Let h = -1.7 + 1.5. Let v = -0.3 + h. Let n = v - -0.2. Is n greater than 1?
False
Let a = -55.6 - -52. Let v = -3.5 - a. Which is smaller: v or -2/13?
-2/13
Let f = 2360211 - 21209111/9. Let k = -3648 + f. Does -5 = k?
False
Let n be 128/(-224) + (-64)/(-14) + 4. Is -7 bigger than n?
False
Let j = -418 + 105. Which is smaller: j or -315?
-315
Let s = 315 - 559. Let q = 4879/20 + s. Which is greater: q or -1?
q
Suppose y + 2*y = 4*p - 4, -p - 2*y + 1 = 0. Let a = 37.5 + -35. Let j = 2.5 + a. Is p >= j?
False
Let q = -95 - -179. Let p = q - 83. Let l be 24/14*1/4. Which is smaller: l or p?
l
Let n = -481 + 508. Are n and 21 equal?
False
Let a = -0.3 - -0.1. Let j = 1501.3 + -1585. Let x = 84 + j. Is a at most x?
True
Suppose 5*m - 2*y - 38 = 0, 0*m - y - 31 = -4*m. Let x = m - 9. Let r = -6 + 4. Is x at least as big as r?
True
Suppose 2*w = 1 + 23. Suppose -w = -2*n - 4. Suppose 2*o = b - 2*b, -2*b + 4*o + 24 = 0. Which is greater: n or b?
b
Let r be (3 + -9)/((-18)/(-924)). Which is smaller: -306 or r?
r
Let k be -7 + (-6 + 6 - -8). Which is greater: -2/1155 or k?
k
Suppose 2*x - 28 = 9*x. Let f = -1 - -1. Let m = 1 + f. Is m less than x?
False
Let f be (9 - 11)*(-3 - (-2)/2). Suppose f*i + 24 - 36 = 0. Is -2 != i?
True
Suppose -2*x - 7 = -9. Let v be (-265)/(-813) + 5/(-15). Is x smaller than v?
False
Let v = -421/3 - -135. Suppose 12*x - 19*x = 35. Let r = x - v. Which is greater: -2/3 or r?
r
Let p be (3 - (2 + -1))/((-32)/(-1744)). Do p and -0.2 have different values?
True
Let a be ((-7)/3)/(4/28). Which is bigger: a or -15?
-15
Let x(s) = 6*s + 59. Let y be x(-11). Let n(j) = -10*j - 1. Let z be n(y). Are 68 and z non-equal?
True
Suppose -2*m + 14 = 2*x, 0 = -5*x - 4*m + 39 - 5. Let p be x/2 - (5 - (-77)/(-35)). Let l = 341/5 - 68. Is p <= l?
True
Suppose 2*q + 80 = -2*s, -68 = 3*q + 4*s + 56. Let g be 2/4 - (-126)/q. Let f = 1 + -6. Is f at least as big as g?
False
Let a = -11/80321 - -494616927/1526099. Let w = -324 + a. Let y = 6 - 3. Is w not equal to y?
True
Let w = -1374 - -1154. Is -222 <= w?
True
Let u(j) = -6*j + 251. Let i be u(42). Is i less than -2/401?
True
Let k = -280229 + 2527126/9. Let o = -559 + k. Is o less than 1/3?
False
Let y be (91/84)/((25/(-20))/(-5)). Which is smaller: y or -8?
-8
Let y = -1386 - -15236/11. Let w(c) = c**2 - 7*c - 980. Let x be w(35). Is x < y?
False
Suppose -z + 0 = 1, 2*q + 1 = 3*z. Let w(f) = 2*f**3 + 2*f - 1. Let b be w(q). Suppose -10*t + 12*t + 86 = -4*c, c - 4*t + 26 = 0. Which is smaller: b or c?
c
Suppose 16 = 2*y + 2*s, 9*y - 4*s = 7*y - 8. Suppose 7*m - 11*m = -2*k - 10, 19 = k + y*m. Let c = -1 - -1. Is c bigger than k?
False
Let z be -3 + -6*(-1)/2. Suppose z = 4*n - 38 + 14. Let t(w) = w**3 - 7*w**2 + 5*w + 5. Let a be t(n). Is 3/7 at most as big as a?
False
Let d = -16.2 - -16.2. Is d >= 340?
False
Let q be -6 - -5 - 130/(-126). Which is smaller: 0 or q?
0
Let q = -2950/9 + 328. Is -181 greater than q?
False
Let p = -409 + 411. Which is smaller: 3/5 or p?
3/5
Let q(k) = -k - k**2 + 2*k - 21 - 2*k**3 + 26 + 3*k**3. Let t be q(0). Suppose 2*g - 20 = 5*p, 2*g + 20 = -3*g - t*p. Which is greater: g or -1/4?
g
Let b(w) = -11*w**2 + 1. Let d be b(1). Let v = d - -10. Let o be 6/4 - 9/6. Is o bigger than v?
False
Let k(z) = z**3 + 5*z - 3. Let g be k(-4). Let m = 87 + g. Which is greater: 7/5 or m?
7/5
Let z(y) = -y**3 + 14*y**2 + 37*y - 82. Let g be z(16). Which is greater: g or -8/11?
-8/11
Let s = 816/5 + -8871/55. Is s at most as big as 1?
False
Let t = 72 + -137. Which is greater: -67 or t?
t
Let n = -15.5 - -18.5. Is -0.2 less than n?
True
Let d be 60/(-18) + (-2)/(-6). Let g(y) be the second derivative of 3*y**5/20 + y**4/12 + y**3/6 + 5*y. Let v be g(-1). Is v <= d?
True
Let s = -0.081 + -4.019. Let i = 4.2 + s. Which is smaller: 6 or i?
i
Let c(o) = -64*o**3 - 11*o + 11. Let v be c(2). Are v and -521 nonequal?
True
Suppose -5*u + 4*r + 35 = -34, -4*r - 35 = -3*u. Which is bigger: 11 or u?
u
Let f = 2608 - 112138/43. Are 1 and f non-equal?
True
Let l(r) = -17*r**2 + 6*r + 14. Let y(q) = 6*q**2 - 2*q - 5. Let j(z) = 3*l(z) + 8*y(z). Let x be j(3). Which is smaller: -20 or x?
-20
Let z be (-2164)/30 - 0 - 34/(-255). Let o be ((-48)/z)/(1/3). Which is bigger: o or 1?
o
Suppose 3*l - 9 = 15. Let q = l + -20. Let d be q/(-1 - 3) + -2. Which is greater: 2 or d?
2
Let h = 253.3 - 253. Let f = 6 - 5.7. Is h at least as big as f?
True
Let k be 1/4 + 35/(-60). Suppose -h - 12 = -3*h. Let i be h/(-3