*t. Is j > t?
True
Let f = 0.298 - 0.56. Let p = -0.472 - f. Is p > -1?
True
Let i = 52861/12 - 4310. Are i and 96 equal?
False
Let o = 84 + -82. Suppose -o*p = x - 2, 2*x - 7*x - 32 = -4*p. Which is greater: p or 21/8?
p
Let w be (-15)/12 + -2 + 8151/2596. Is 1 at least as big as w?
True
Let x = -2986.22571 + 0.22571. Is 1 at least as big as x?
True
Let k be (4 - (-2378)/(-793)) + (5 - 6). Suppose -12*p = -25*p - 29*p. Which is smaller: p or k?
p
Let s be (-22)/165*229428/16. Let d = s - -1914. Which is bigger: 3 or d?
3
Suppose -2*h = -6*h + f + 91, -5*f = 5*h - 95. Suppose 0 = -3*u - 5*b + 8, -4*u + h = -0*u + b. Suppose 6 = u*i - 0. Is -2/47 less than i?
True
Let n = -557 - -507.5. Let o = -52.24 - n. Which is bigger: 1 or o?
1
Let w be (2/(-10))/((-4)/(-1404)). Let c = w - -70. Suppose -1 - 10 = 9*z - 56. Is z at least c?
True
Suppose 4*h + 3224 = -v, 2222 + 990 = -4*h + 2*v. Do h and -804 have different values?
True
Suppose 3*t + v - 2 = 0, -5*t - 16*v = -18*v - 18. Let j = 6269/4476 + 6/373. Is t bigger than j?
True
Let u be (-2)/(-6) + ((-4)/(-24) - 0). Let j be ((-21)/189)/(4/1164). Which is bigger: j or u?
u
Let j be 1/4*13/(-9100). Are j and -1 non-equal?
True
Let k be 30/(-12) + 6/12 - 56. Which is smaller: -42 or k?
k
Let w = -8202 + 8316. Which is bigger: w or 9.3?
w
Let k = 15 - 13. Let u = 1638.99 - 1627. Let q = u + 0.01. Is k at least as big as q?
False
Suppose 0 = -l - 2. Let z be -1 + (43331/63 - 2/9). Let j = z - 688. Is l smaller than j?
True
Let h be ((-21 - -10)/(-165))/(4/18). Let x = 4196054/29197 - 4/4171. Let m = 144 - x. Which is bigger: m or h?
h
Suppose 5*i + 24 = -4*x + 135, -3*i + 105 = 4*x. Let j be (-12)/x + -1 + 2. Is 85 at most as big as j?
False
Let k = 134.2 + -158.2. Let x = -31 + 8. Let b = k - x. Is 4.6 < b?
False
Let j be 83250/1875*180/(-22) + 9/33. Let x = -270 - 94. Which is smaller: x or j?
x
Let m = 353564/87 + -4064. Let d = m + -296/1131. Let k be 3/(-1 + -2) - (-21 - -20). Is d less than or equal to k?
True
Let n(y) = 5*y**2 - 37*y - 18. Let t be n(8). Let b = 715/6354 - 1/706. Which is greater: t or b?
t
Let g be (6663/(-1110) - -6)*(-1 + (1 - -2)). Is 1 < g?
False
Let x be 130/40*((-39)/9 - -3). Suppose 6 = -3*g + 2*g + 2*b, 2*b - 12 = -2*g. Suppose 0*s = -g*s - 10. Which is greater: s or x?
x
Suppose 0 = -25*c + 11*c + 70. Suppose 0 = 7*z + c*z - 60. Is z < -8?
False
Let t = -10.03 - -479.03. Is t greater than 0.03?
True
Let j = 10108 + -10120. Which is smaller: j or 172?
j
Suppose -2*c + 0*o = o - 790, 0 = -c + 3*o + 388. Let a = c + -1607/4. Suppose -36 = 6*n - 2*n. Is a greater than or equal to n?
True
Let a(w) = 4*w + 2. Let m be a(-38). Which is smaller: -149 or m?
m
Let l be ((-2)/(-2258))/((-54)/(-8)*(-258)/387). Is l smaller than -1?
False
Let a = -86182227/205 + 420402. Let r = -12/41 + a. Which is smaller: r or 10/39?
10/39
Let m(p) = -p**2. Let b be m(1). Let q be (7 + 2/(-10))/((-592)/1805). Let k = -165/8 - q. Is k >= b?
True
Suppose 103*y - 206*y - 630 = -110*y. Let p = -2881 - -11883/4. Which is smaller: y or p?
p
Let l = -59.12 - 4.58. Let p = l + 61. Let j = p - -2.9. Do 2/7 and j have the same value?
False
Let w be (-1 - 75/9)*775/217*8. Which is bigger: -8 or w?
-8
Let d = 3283/55 + -323/5. Let g(t) = -10*t - 90. Let u(p) = -19*p - 180. Let i(q) = -5*g(q) + 3*u(q). Let y be i(-12). Which is smaller: y or d?
y
Suppose -2*m + 51 = 2*x - 27, -132 = -4*x + 2*m. Let o = x - 34. Suppose 0 = -3*a + i - 17, 2*i - 18 - o = 3*a. Is a bigger than -4?
False
Suppose -502*h + 497*h + 2*t - 12 = 0, -h - 16 = 3*t. Is 12 > h?
True
Let t be (-176)/(-18) - 56/(-252). Is t < 14?
True
Suppose 2*j = 1 + 1, 1708 = -t - 4*j. Let a be t/14 - 9/((-189)/6). Let v = a + 233/2. Is -2 < v?
False
Let y = 2272 - 2413. Which is smaller: y or 0?
y
Suppose 7*z = 3*z - 3*y + 77, 0 = 5*z - 4*y - 73. Suppose -f + z - 23 = 0. Let h = 98 - 104. Is h at least as big as f?
True
Let m = 34528/11 - 943/33. Let n = 3143 - m. Let f(w) = 8*w**2 + 2. Let c be f(-2). Is n at least c?
False
Let j = 322 + -321.8. Let a = 2.44 + -1.67. Which is greater: a or j?
a
Suppose -206*j + 204*j + 381 = -g, j - 222 = 5*g. Let b = 283 + -96. Are b and j unequal?
False
Let m be (1 - 0)*-1*(-3 + -1). Suppose 0 = -2*u + r - 6, 0*r = -2*u + m*r - 6. Is -28/15 smaller than u?
False
Let o = -374 + 233. Let v = o - -178. Is 71/2 at most v?
True
Let p be -21 - 7624 - -4 - 22. Is -7662 at least as big as p?
True
Let m = -137 + 150. Suppose -m*w + 17*w - 72 = 0. Is 84/5 < w?
True
Let t = -354685/132 + 2687. Let z(i) = i**2 + 7*i + 9. Let q be z(-5). Is q less than or equal to t?
True
Let q = 1320359515229/31702 + -41649092. Let d = q + -1/262. Which is smaller: d or 1?
d
Let f be (3 - (-74018)/(-24667))/1. Which is smaller: f or 0?
f
Let n = -68.5 - -68.5239. Let m = -3.0239 + n. Do m and -2 have different values?
True
Suppose -x = p - 4, 26*x = 28*x - 4*p + 16. Let z be (1 + 0)/((-1)/((-2)/(-1303))). Which is greater: x or z?
x
Suppose 0 = -3*h + n - 5, 0 = h - 0*h - 2*n + 5. Let g be ((4316/(-9))/(-1))/(-29 + 26). Let u = -160 - g. Is u < h?
False
Suppose 3*h - 4*p - 111 = -6*p, 4*h + 3*p - 149 = 0. Let n be -1*49/h + 6/(-10). Let s be (-2)/((-1)/3*(1 - n)). Which is smaller: 3/2 or s?
3/2
Let f(g) = g**3 - 11*g**2 - 101*g + 6. Let q be f(-6). Which is greater: q or -0.637?
q
Let l(v) = -v**2 - v. Let u(k) = -k**3 - 11*k**2 - 6*k + 42. Let c(p) = -l(p) - u(p). Let o be c(-11). Which is smaller: o or 5?
o
Suppose -542*d = -458*d + 84. Is 2912 at most as big as d?
False
Let j(s) = s**3 - 8*s**2 + 2*s - 19. Let m be j(8). Let b = m - -3. Suppose -2*g + 9 + 9 = b. Is g at most as big as 17/2?
False
Suppose -2*v + 62 = -3*z, 77 = v + 79. Which is greater: z or -29?
z
Suppose 0 = -8*h + 3*h - 45. Let s be ((-64)/(-12) + 1/(-3))*h. Let q = s - -43. Is -0.11 bigger than q?
True
Suppose 2 + 28 = 30*n. Suppose 5 - 21 = -4*y. Let u be (y/8)/(n/(-16)). Which is smaller: -20/3 or u?
u
Let b = 609.153 + -0.153. Let s = 619 - b. Which is smaller: -0.19 or s?
-0.19
Suppose 68*c = 87*c + 513. Let i be 16/(-24) - 6/c*3. Which is bigger: i or -9/17?
i
Let f = -4004 - -4005. Which is greater: 2/3555 or f?
f
Let s(d) = 112*d - 624. Let n be s(6). Is 54 less than or equal to n?
False
Let k(u) = 4034*u - 2057. Let j be k(1). Is 1983 <= j?
False
Let t = -2071 + 2089. Suppose 3*z + 22 = 82. Which is bigger: z or t?
z
Let m be 2/(-4) - (-6)/(60/5). Suppose -5*b + 2974 + 526 = m. Let q = b + -10504/15. Is q at least as big as -1?
True
Let i = -809 + 825. Suppose 0 = 2*o - 6*z + 3*z + 27, o + z = -26. Let x = o + i. Which is smaller: x or 5?
x
Let b(h) = -114*h - 2393. Let y be b(-21). Let x be (-82)/96 + 36/48. Which is smaller: x or y?
x
Let a be (-3 + 4)*-1*2/34. Let d = -56/85 - a. Is 3/2 equal to d?
False
Suppose -29*r = 5*j - 30*r + 2720, 2*r = j + 535. Let d = j - -571. Which is greater: d or 24?
d
Let c = -7983 + 10816. Do c and 2830 have different values?
True
Suppose -4005 = -31*i + 10751. Is i at most 474?
False
Let n be (142 + -144)/((-2)/9748). Which is greater: n or 9749?
9749
Let p = 139.26 + -0.26. Let u = -145 + p. Which is smaller: u or -2?
u
Let c be (-120)/(-9)*27/12. Suppose -2*b = -5*b - c. Let v = -1739/20 - -777/10. Which is smaller: b or v?
b
Let z = 8732 + -8469. Is z > -0.05?
True
Suppose -921*b = -924*b + 72. Let u = 10 - b. Which is greater: -19 or u?
u
Let m = 7 - 7.01. Suppose -2*b - 2*b - 5*c = -39, -3*c + 39 = 5*b. Suppose -6*r + 18 = b. Which is greater: r or m?
r
Let z be ((-22479)/354)/((-3)/6). Does 1637/13 = z?
False
Suppose 0 = 127*t - 139*t + 5868. Suppose t*a + 426 = 491*a. Which is smaller: 212 or a?
212
Let n(b) = 213*b + 1278. Let f be n(-6). Which is bigger: f or -47/17?
f
Let m = -95.7599 - -95.7. Let t = -0.089436 - 0.010564. Is t smaller than m?
True
Let a = 339.9 - 342. Which is bigger: a or 9?
9
Let j = -0.3 + 0.076. Let k = j + 0.024. Let d = -0.8 + k. Which is bigger: d or -4/25?
-4/25
Suppose 5*g + 695 = -5*r, 2*r + 0*r + 4931 = -35*g. Is g != -144?
True
Let w(k) = -k**3 - 32*k**2 + 4*k + 640. Let h be w(-33). Is h bigger than 1594?
True
Let s = 180 + -180. Suppose -153*m + 149*m = s. Are 2/145 and m equal?
False
Let l be ((238/(-4))/7)/(59/(-49442)). Which is smaller: 7121 or l?
7121
Let h = -440431/672 + 793/9