 Which is bigger: x or 1?
1
Suppose o - 5 = 5*j + 8, 0 = -5*o + 4*j + 23. Suppose -o*c + 4 = -7*c. Let k = -25.89 - -26. Is k at least c?
True
Let i = -105 - -71. Suppose 12*y = 6838 - 7258. Which is smaller: y or i?
y
Suppose -3*u + 297 = -a, -u + 18 = 5*a - 97. Let b = u + -86. Which is greater: 11 or b?
b
Let f be -6*1*(-3 - -39)/(-9). Let a = -1 - f. Do a and -26 have the same value?
False
Let j = 0.83 - 0.8. Let t be (-5)/(-10)*(-6)/(-1). Let s be 4/12 + 1/t. Is s less than j?
False
Suppose 4*s - 74 = 5*c, 2*s - 2 = -0. Let h = -19 - c. Is -5 smaller than h?
False
Let z(o) = -o**2 - 6*o - 6. Let g(d) = d**3 - 15*d**2 - 14*d - 25. Let l be g(16). Let u be z(l). Are u and -97 equal?
True
Suppose 30*p - 155 = -215. Let u = -8 - -4. Let w = u + 6. Is w smaller than p?
False
Let z be (4/(-16))/(486/8). Let v = z + -647/243. Suppose -5*o = -6*c + 3*c + 19, o - 3*c + 11 = 0. Does v = o?
False
Let q(w) = -w**2 - 9*w - 3. Let o be q(-8). Suppose 0 = h + 1, 2*m + 3 = -0*m + o*h. Let n be (-3)/(-2)*m/(-3). Are n and 4 equal?
False
Let t = 48 + -41. Let z(x) = x**3 + 7*x**2 + 5*x - 5. Let h be z(-6). Suppose 0*j + h = -j. Is j >= t?
False
Let o = -4.2 + 4.51. Let z = 0.21 - o. Let c = -0.06 + 0.03. Is c bigger than z?
True
Let i = 27 - 26.403. Let t = i + -0.097. Let s = 513/5 + -103. Is s greater than or equal to t?
False
Let k = -40.85 - -0.85. Let f = k + 38.7. Which is smaller: -0.01 or f?
f
Let m be 2/4*(-80)/30440. Which is greater: m or -1?
m
Let r = 0.332 + -0.432. Which is smaller: -1125 or r?
-1125
Suppose -11*u = -7*u - 32. Suppose 0 = 2*k - u + 52. Let m = 148/231 - -2/77. Is m at least as big as k?
True
Let x be (-12)/(-1032)*158 + -3 + 1. Is x at least as big as -1?
True
Let t(y) = -2*y**2 - y - 3. Let p(v) = -3*v**2 - 3*v - 5. Let i(d) = 3*p(d) - 5*t(d). Let r be i(4). Let u be ((-4)/20)/(21/35). Which is smaller: u or r?
u
Let n(f) = -87974*f + 1. Let p be n(-1). Let w = 22433707/255 - p. Let m = w - -4/51. Which is bigger: m or 6?
6
Suppose 435*n - 436*n = -12. Are 54/5 and n equal?
False
Let t be 18/(-99) + 70/22. Suppose -t*l + v = -202, -2*l = 3*l - v - 334. Let r be 3*(-4)/l + 0. Is -1 bigger than r?
False
Suppose 991 = -12*z - 197. Which is smaller: -100 or z?
-100
Suppose -g - 2 = 0, a - 5 = -0*a + 3*g. Let b = -7.5 + 8. Which is smaller: a or b?
a
Let o = -605 + 545. Are 11 and o unequal?
True
Let p(s) = -2 + 3 - 2 + 2 + 2*s - s**2. Let k be p(-1). Is k < -1?
True
Let s(q) = -24*q - 2. Let p be s(3). Let d = -119 - p. Let f be (-10)/d - 51/(-135). Is 2 bigger than f?
True
Let n(j) = -14*j - 3. Let v be n(-2). Suppose 6 = -0*b - 3*b - 3*r, 0 = 5*b - 2*r - v. Let c(h) = 4*h + 6. Let f be c(-1). Is f bigger than b?
False
Let b = 63 + -65. Let u(m) = -3*m - 7. Let j be u(b). Suppose -p = -4*p - 6. Is j >= p?
True
Suppose -23*h = -11*h - 3516. Which is smaller: h or 292?
292
Let s = 5.47 + -4.57. Is -4 bigger than s?
False
Let l(o) = -2*o**3 + 4*o**2 + 4*o - 1. Suppose 4*m + 3*r = r - 10, -2*r = -5*m - 8. Let q be l(m). Let b = q - 27. Which is smaller: b or -6?
-6
Let p = 14.4 - 12. Let s = 9.6 + p. Let r = 3.19 + -3.39. Which is smaller: s or r?
r
Let p be 743/7239 - 178/1691. Which is bigger: p or 1?
1
Let l(u) = u**2 - 8*u - 16. Let q be l(8). Let s(d) = -d**3 - 15*d**2 + 17*d - 8. Let c be s(q). Which is bigger: -22 or c?
-22
Let t = -20 - 2. Let p = 18 + t. Let q be p/(-5) - 4/(-20). Which is smaller: q or -1/30?
-1/30
Let u = -8/3491 - -1860727/10473. Do 179 and u have different values?
True
Let u be 96/(-336)*7/2. Is -39/19 < u?
True
Let j be (637956/1968)/27 - 12. Is j less than or equal to -8?
False
Suppose -37 = 2*i - 4*q + 37, 31 = -i - q. Let z be (1/5 - i/55)*-25. Which is greater: -2/5 or z?
-2/5
Suppose 3*k = -3*b - 144, 2*k + 198 = -3*b - b. Let x be 1/9 + b/(-27). Suppose 0 = x*p + 2*f - 14, 0 = 3*f - f. Which is greater: p or 4?
p
Let c(f) = f**3 + 4*f**2 - 6*f - 6. Let z be c(-5). Let o(x) = -x**2 - 6*x - 11. Let y be o(-5). Which is smaller: z or y?
y
Suppose -2*h = -10*h + 376. Suppose 4*t - 236 = -t - 2*m, 3*m = t - 54. Is h >= t?
False
Let f be (-56)/(-12)*9/6. Let t = f - 8. Which is greater: t or 4?
4
Suppose 0*i - 5*i = -10. Let t(j) = -j**2 + 3*j - 3. Let d be t(i). Suppose 0 = 5*o + 4*o + 9. Is d greater than o?
False
Suppose 12*q = q. Suppose q*v + 3*v = -39. Is v bigger than -15?
True
Let g = -256 + 243. Is g greater than -0.11?
False
Let b be 612/(-4590) + -14*(-79)/(-30). Which is bigger: -38 or b?
b
Let l = 12.1 - 12. Which is smaller: -3.89 or l?
-3.89
Let b be (-16)/9762*(13 + 385/(-28)). Which is smaller: 1 or b?
b
Suppose 2*m + 0*m = 0. Let n = 21 - 9. Let w be n/7 - (-3)/(-3). Is w equal to m?
False
Let c = 30 - 28. Suppose -4*p = -c*o + 34, -3*p - 57 = 4*o - 4. Which is greater: p or 0?
0
Let a(d) = 19*d - 2. Let k be a(5). Let v = k + -162. Which is bigger: v or -68?
-68
Suppose k - 1 = 7. Suppose 0 = -11*n + k*n + 6. Is 0.07 >= n?
False
Suppose 0 = -4*u + 3*v + 183, -11*v = -5*u - 8*v + 225. Are 42 and u nonequal?
False
Let d be (5 - (8 - 4))/((-7)/1211). Which is smaller: d or -175?
-175
Suppose 5*l = 4 + 1. Suppose -2*x + 3 + 5 = 0. Suppose -v - x = -8. Which is smaller: l or v?
l
Let s = -277.9 + 276.9. Is s != -2458?
True
Let o(t) = t**3 + 4*t**2 + 6*t + 12. Let a be o(-3). Suppose -5*q + a - 23 = -5*x, -3*q - 4*x - 12 = 0. Does q = -11?
False
Let v(d) = -d**2 + 25*d - 27. Let t be v(30). Do -177 and t have the same value?
True
Suppose w = -0*w - t - 5, t - 19 = 2*w. Let k be (9 + w)*1/4. Let h = 1 - 0. Which is smaller: k or h?
k
Let l = 100.1 + -135.1. Do l and -3 have the same value?
False
Let p = 171 + -154.2. Let s = 19 - p. Let i = s + -2.3. Is i bigger than -1/7?
True
Let s be 2810/(-2292)*52/975. Let h = s - -4/191. Which is smaller: h or 1?
h
Suppose -46 = -3*v - 4*a + 6, 0 = -3*v + a + 32. Let z = v - -2. Is z at least 14?
True
Suppose -2*j + 0 = -6. Suppose v - 14 = j*f, -4*v - 2 + 31 = -3*f. Let i = -17/3 - -10/3. Is i less than f?
False
Suppose 4*z + 2*q + 8 = -q, 4*z + 8 = -5*q. Let v = 875 - 876. Is z at most v?
True
Suppose 50*x - 19*x = -6200. Is -199 smaller than x?
False
Let v(z) = z**3 - 14*z**2 - 2*z + 29. Let c be v(14). Which is smaller: -69 or c?
-69
Let r = -2.04 - -0.04. Suppose 232 = -5*d - m - 12, -3*m = 12. Let p = d + 45. Is p less than r?
True
Let i(a) = 15*a + 48. Let w be i(15). Does 272 = w?
False
Suppose 24*n = -15*n - 41574. Is n smaller than -1067?
False
Let c be (-1)/((-15)/(-18))*-10. Let f(j) be the third derivative of j**6/120 - j**5/5 - j**4/12 + 5*j**3/2 + 22*j**2. Let m be f(c). Are -8 and m nonequal?
True
Let m(i) = 15*i + 13. Let n be m(-3). Let f = n + 226/7. Let d = 8 + -7. Is d > f?
True
Let h(j) = -j**3 + 5*j**2 - 4*j - 1. Let i be h(4). Let m = 37 - 102. Let d = m - -73. Which is greater: i or d?
d
Let k = -2.6 + -13.4. Let j = k - -16.8. Which is smaller: j or -3?
-3
Let s(v) = -v**3 - 5*v**2 - 15*v - 127. Let l be s(-6). Is -5/64 smaller than l?
False
Let m be (-8 + (-2152)/(-32))/1. Which is greater: -2/3 or m?
m
Let a = -2229.9 - -2232. Let v = 0 - 0.2. Is v >= a?
False
Let p = -432346/141355 - 2/8315. Let o = p + 432/119. Suppose 0*b + 2*b = 0. Is o at least b?
True
Let g be 1 + -8*(-3)/6. Suppose 3*y + 1 = -g. Let a be y + -2*3/(-2). Is a <= 1/11?
False
Suppose -2*q - 106 = 9*s, -s - 19*q + 22 = -23*q. Let t be (36 - 1)/((-8)/2). Do s and t have the same value?
False
Let c be ((-164)/(-10) - 24/60)/1. Let b = 15 - c. Let r be (-9)/8 - (1 - 2). Which is greater: r or b?
r
Let s(i) = -5*i**2 + 8. Let b(u) = 14*u**2 - 23. Let t(h) = -4*b(h) - 11*s(h). Let c be t(3). Let a be 12 + c/((-5)/(-4)). Which is smaller: 7 or a?
7
Let d = 0 + -13. Let a = d - -38/3. Let b(v) = -5*v - 27. Let q be b(-5). Which is smaller: q or a?
q
Let f = -178 + 45. Let l = f + 134. Does l = -75?
False
Let v = -487 + 489. Which is greater: -126 or v?
v
Let c be (16/(-6)*6)/((-2)/1). Let v be (-5)/(-1) + -3 - c*1. Do -8 and v have the same value?
False
Suppose -5*x + 4 - 24 = 0. Let t be (x/10)/(56/(-20)). Which is bigger: -1 or t?
t
Suppose -2*v + c - 2 = 4, -3*v = -2*c + 11. Let a(n) = 18*n - 2. Let t be a(v). Are -17 and t nonequal?
True
Suppose 0 = 4*y + 4*r + 24, 5*y + 9 = r + 3. Which is bigger: y or -90?
y
Let p = 3.1 + -3. Let k = -299 + 298.2. Ar