ose 0 = 5*s + 138 + 47. Let b = 34 + s. Let g(h) = -h**2 - 3*h - 7. Let m be g(b). Which is greater: -5 or m?
-5
Let g(r) = -28*r - 3. Let x be g(6). Let j = -126891/5 - -25209. Let h = j - x. Do h and 1 have the same value?
False
Let g be (-1105)/5040 - -2*(-5)/(-45). Is 1 less than g?
False
Suppose 0 = -o + 2*c - 208, -2*o - 419 = -4*c + 3*c. Is o > -209?
False
Let s = 21.51 + -21.6. Is -5/4 equal to s?
False
Suppose -22*p - 4*c = -18*p, p - 3 = -2*c. Is -38/23 greater than p?
True
Let x = -30.99 - 0.01. Let w = x - -34. Does w = 4?
False
Let q = 6 + -5. Let p be (q - 5) + (26 - -3). Do p and 1 have the same value?
False
Let k be (1/(-1)*-1)/(21/24). Let m = -2.7 + 3.7. Which is greater: m or k?
k
Let k(o) = -o**2 - 5*o - 5. Let t be k(-4). Let p be 0 + t + 68/120*2. Is p less than -11?
False
Let u(y) = 4*y**3 - y**2 + 2*y - 1. Let l be u(1). Suppose 0 = -l*c - 0*c, 0 = 2*a + c - 10. Let x be -2*(-9)/6 + 1 + 1. Is a at most as big as x?
True
Let v be ((-3)/2)/(2/(-36)). Suppose -2*u - u + v = 0. Let f be (-93)/(-12) - u/12. Which is greater: -2/5 or f?
f
Suppose 1 + 5 = 3*t. Suppose 0 = -6*b + b - 35. Let z = -5 - b. Is z bigger than t?
False
Let n = -0.2055 + 0.0055. Is -366 > n?
False
Let s = 199068/3455 - 12/691. Is s at most as big as 59?
True
Suppose 0 = -3*t - 3, -4*c = t + 2*t - 21. Let w be (c/4)/(20/8). Suppose -3*j + 4*j = 0. Is j bigger than w?
False
Let h be (-4723)/1574 - ((-54)/6)/3. Let i = 6251/70830 - h. Which is bigger: 0 or i?
i
Let t(s) = -2*s**2 + 33. Let b be t(4). Which is smaller: b or 5/182?
5/182
Suppose -5*l + 95 = m + 441, 0 = -5*l + 3*m - 362. Let j = l + 70. Is -3/4 bigger than j?
False
Let t = 507 - 506.9. Let g(r) be the third derivative of -r**4/4 - r**3/3 + 2*r**2. Let i be g(-2). Is t bigger than i?
False
Let k(n) = n**2 - 9*n + 12. Let c(v) = v**2 - 8*v + 13. Let w(g) = 3*c(g) - 4*k(g). Let y be w(11). Suppose 0 = o - y + 3. Does 1/2 = o?
False
Suppose -5*w + 7 = -2*h, 2*h - 23 + 6 = -3*w. Suppose -8*o = -w*o + 65. Is -14 at most as big as o?
True
Let d be (1 - (-455)/2)*2 - -7. Which is smaller: 466 or d?
d
Let b be (-4)/(-300)*53 - 2/3. Is -2.5 less than b?
True
Suppose 3*a + 3 - 9 = 0. Let y be -3 + a + 165/(-156) + 2. Which is bigger: -1 or y?
y
Let t = 14.96 + -15.0221. Which is smaller: 0.2 or t?
t
Let f = 32 - 54. Let y = -13 + 51/4. Which is greater: f or y?
y
Let m = 9/247 + -16841/1235. Is m greater than or equal to -13?
False
Suppose -3*a + 4*a = 5*r + 8, -3*r - 24 = a. Let w be (-31)/4 - 9/a. Are 1/8 and w nonequal?
True
Let m = 0.19 + -0.21. Let o = m - -1.02. Which is smaller: o or 15?
o
Let s(u) = -u**2 - 11*u + 6. Let m be s(-11). Let k(d) = -d + 13. Let y be k(m). Let x(p) = -p + 17. Let b be x(y). Does b = 10?
True
Let u be 440/55 + 3412/(-426). Which is bigger: 0 or u?
0
Let p be (38/(-6))/(13/78). Let t be (-4)/38 - (-148)/p. Suppose d = -2*d - 6. Is t > d?
False
Let u = -1103/11 - -101. Let o = 4162 - 4162. Is o at most u?
True
Let r = -44/28425 + 277258022/369525. Let x = 752 - r. Is 1 less than or equal to x?
True
Let x be (-15 - (-276)/16)*8/(-3). Suppose -3*k - 28 = k. Which is greater: x or k?
x
Suppose -g - 20 = -4*a, g - 3*g - 8 = 0. Suppose -a*y = -y - 12. Let k be 6/y + 10/20. Is k <= 2?
True
Let h be (1239/39)/(13/65). Let v = -159 + h. Suppose s = -4*s + 2*a + 15, s + 4*a = -19. Which is smaller: s or v?
v
Let k be -4 + (-5)/(-15) - (-14 + 10). Let f = -80.37 - -80. Is f greater than k?
False
Let x = 49.03 + 0.97. Let s = x - 51.1. Let d be 14/12*4/28. Which is greater: s or d?
d
Let n be ((-2)/49)/((-4)/5404). Is 54 at most as big as n?
True
Let b(l) = -l**3 - 17*l**2 - 17*l - 24. Let h = 35 + -25. Suppose 0*j + 4*r = 4*j + 52, h = -j + 2*r. Let t be b(j). Which is smaller: t or -1/2?
t
Suppose 0*c = c + 5*b - 141, 3*c - b - 359 = 0. Let a = c + -119. Which is smaller: 18/25 or a?
18/25
Let l = -20 - -20. Let x = 2 + l. Which is bigger: x or -0.2?
x
Let s(u) = 2*u - 6. Let p(r) = -r + 4. Let q(k) = -8*p(k) - 5*s(k). Let a be q(-2). Suppose y + 5 - 30 = a*t, 5*y = -2*t + 5. Which is bigger: t or -8?
-8
Suppose 2*y - 3*d = -8 - 19, -5*y - 54 = -3*d. Let n(o) = 9*o - 4. Let a be n(y). Let i = a - -257/3. Which is smaller: -13 or i?
-13
Suppose 5*s = -2*p + 966, -p - 381 = -91*s + 89*s. Is 193 <= s?
False
Let s = -23 + 38. Let p be (-20)/24*(-16)/s. Is 1 greater than p?
True
Let x = 26 - 32. Let a = x + -1. Let v = 7 + a. Is v at least 21?
False
Let g(r) = 16*r - 1. Let a be g(0). Which is greater: 3/53 or a?
3/53
Let d = -82 - -146. Let g = 63 - d. Which is greater: g or 1/68?
1/68
Let u be (-682329)/(-1071) + (-4)/42. Is u equal to 636?
False
Let h = 224 + -223. Let b = 39/11 + -535/154. Which is smaller: b or h?
b
Suppose 0 = -16*y + 6*y. Which is bigger: -8/7 or y?
y
Let c(g) = -g**3 - 4*g**2 + 6*g - 6. Let l be c(-6). Suppose 5*a + 5*q = -l, 3*a - q - 2*q = -18. Let z be (-27)/(-6)*4/a. Which is smaller: z or -4?
-4
Let z be (4 - (-24)/(-3))/2. Let g be 2/((-1)/1)*z/(-4). Is g > -5/7?
False
Let t(h) = -7*h + 8. Let k be t(0). Let b = 2624/13 + -202. Is b equal to k?
False
Let i = -203 - -204. Which is greater: 2/633 or i?
i
Let z = 12 - -1. Let y = z - 12.2. Let j = 0.2 + y. Which is smaller: j or 3?
j
Let y = -12 + 9. Let q be -1*(2 - (y + 6)). Suppose -6 = 3*n - n, i - n - 3 = 0. Which is bigger: i or q?
q
Let v = 372 - 4834/13. Is 0.07 > v?
False
Suppose -2*l - 5 = -l. Let x(h) = h**2 + 10*h - 11. Let n(c) = -c + 1. Let p(s) = 6*n(s) + x(s). Let v be p(l). Which is smaller: v or 1/5?
v
Suppose -2*h - 2 = x + 7, 0 = 2*h + 3*x + 3. Which is bigger: -37/7 or h?
-37/7
Let f(d) = d**2 - 8*d - 6. Suppose 40 = 5*x - 2*m, 5*x + 3*m - 40 = 4*m. Let t be f(x). Let w be (-3 - -1)*t/4. Is w bigger than 2?
True
Let l be (2/2 - 1)/2. Let k(d) = 3*d**3 - 8*d**2 + 14*d - 4. Let b be k(4). Let v = 695/6 - b. Is l at least v?
True
Let h be 4/(2/(1 - -291)). Let w be (3 - (-13)/(-5)) + h/(-1410). Does w = -1?
False
Suppose -2*n + 10 = 2. Suppose -c - c - 12 = -n*g, 9 = 3*g + 5*c. Suppose -4*o + 4*a + 8 = -0*a, -a = g*o - 22. Which is bigger: o or 7?
7
Let b = -15.2 - -12.2. Is b smaller than 74?
True
Let y = -11330690 + 872432871/77. Let w = y + 393. Which is smaller: w or 0?
0
Suppose s - 2*f - 32 = 4*s, -28 = 2*s + 3*f. Let n = -13 + 7. Let c = n - 2. Does s = c?
True
Let l be ((-2)/(-12))/(12/16). Let w = 0.054 + -15.054. Let z = -15.5 - w. Is z bigger than l?
False
Let w = -4.9 - -5.1. Let n = 0.2 + 0. Let k = n - w. Which is bigger: -1.1 or k?
k
Let x = 28 - 20. Let d be (144/6 - -2)*2/x. Suppose 6*y - 40 = y. Is d <= y?
True
Suppose 8*k - 2 = 30. Suppose k*n + 1 = 5*a + 11, 0 = 4*a + 5*n - 33. Suppose -6*c + a*c = 44. Which is bigger: -10 or c?
-10
Let g be (-8)/11*26/104. Is g != -2/17?
True
Let q = -122 + 45. Let c = q - -69. Let i = 1/4 - -1/12. Which is greater: c or i?
i
Let m be 52/(-468) - (-122)/666. Which is smaller: m or 0?
0
Suppose t + 14 = 4*h, -3*t + 2*h + 3*h - 14 = 0. Let c be 0 + -1*(t + -3). Suppose -c + 4 = -3*v. Which is greater: v or -1/3?
-1/3
Suppose 6*r + 8 = 8*r. Suppose -2 + 18 = -4*z + 5*t, -11 = 5*z - r*t. Suppose 4*x = -9 + z. Which is bigger: x or -1?
-1
Let p = -14 - -16. Suppose p*w + 2*b + 4 = 0, 4*w - 8*w + b + 2 = 0. Let t = -12/13 + 37/26. Is w < t?
True
Let k(c) = 37*c - 18*c - 4*c**2 + 9 - 19*c - 22*c. Let d be k(-6). Let f be 2*(-2)/(-4) - 2. Which is smaller: d or f?
d
Let v = -327 - -332. Suppose -3*d = -2*d + 4. Which is smaller: v or d?
d
Suppose 275 = -119*v + 37. Let j = -2286 - -29704/13. Is j at least as big as v?
True
Let x = 27 + -34. Which is bigger: -1/4 or x?
-1/4
Let f = -0.025 - -1.645. Let k = -1.6 + f. Let x = 1 + 0. Are x and k non-equal?
True
Let d = -226 + 140. Let m be (-6)/(-24) + d/(-8). Let v = m - 10. Which is smaller: 1/5 or v?
1/5
Let z = -218 + 251. Which is smaller: 1/3 or z?
1/3
Let o be (-6)/(-1 - -3) - -85. Suppose 3*w - o = 3*a - 5*a, -4*w + 100 = 5*a. Suppose -w = -5*x - 0*x. Which is smaller: 4 or x?
4
Let p be (-4)/(-14) - (-28)/(-98). Which is bigger: -1/2 or p?
p
Suppose a = -4*d - 109, 48 = -a + 4*d - 21. Is a bigger than -89?
False
Let o = 3 + -7.5. Let i = -4.6 - o. Is 1.3 bigger than i?
True
Suppose 10 = 2*n - 4*r, 3*n + 32 = -n - 5*r. Which is smaller: n or -29?
-29
Let m = -2.14 - -3.14. Which is