 Is 2/63 > g?
True
Let o be 5*(-8)/(-70) - (-552)/14. Which is smaller: o or 33?
33
Let l be ((-2912)/80)/(4/(-10)). Is l greater than or equal to 91?
True
Let h = -205 - -271.9. Let t = 67 - h. Suppose 0 = v - 1 - 0. Which is bigger: v or t?
v
Let a = 1 - -2. Let q be (3/15)/((-2)/10). Let j(b) = -3*b**3 + b**2 - b - 1. Let r be j(q). Which is bigger: r or a?
r
Suppose -2*c - 56 = -4*c. Let s = 7 - c. Let g be 1/(s/(-44)) - 2. Is 0 at most g?
True
Let z = -37/70 - 1/14. Let i be (-22)/(-15) - (-66)/(-99). Let t = z + i. Is -2 <= t?
True
Suppose -7*j - 3 + 17 = 0. Which is smaller: -103 or j?
-103
Let k = -1/19 - 15/76. Let x be (17 - 13286/784)/(1/2). Which is smaller: x or k?
k
Let g(x) = 2*x**3 - 6*x**2 + 3*x + 2. Let l be g(2). Let m(c) = c - 9. Let a be m(0). Let n be (2/(-18))/((-3)/a). Which is smaller: l or n?
n
Suppose -8*m = -3*m - 95. Let s = m + -17. Which is bigger: s or -0.01?
s
Let r = 2369/4 - 592. Let a(x) = x**3 + 10*x**2 + x + 10. Let h be a(-10). Is r at most as big as h?
False
Let w be -1 - ((148/1)/(-2) + 1). Let z be 27 - ((-1)/3)/(8/w). Are z and 31 unequal?
True
Let n = -8 - -5. Let s = 35 + -23. Let z be 14/s + 8/(-16). Is z >= n?
True
Suppose 2*s - 37*s = -4480. Is 126 less than s?
True
Let v(l) = 3*l + 18. Let u be v(-11). Let w = u + -42. Let y be (1 - w/24) + -3. Is y != 2/15?
True
Let s be (40/15)/((-1)/(-12)) + -4. Is s > 28?
False
Let g be (4/(-120))/(3 - 55/20). Suppose 0*u + 3*u + 4*s = -11, -2 = s. Is u != g?
True
Let r = 37.1 + -37.12. Which is greater: -0.1 or r?
r
Let z = 1610584/1669 + -965. Which is smaller: -1 or z?
-1
Suppose 372 = 4*y - 8*z + 11*z, 3*y = -5*z + 268. Which is greater: 97 or y?
97
Let c = -12.7 + 17. Let v = c - 5.3. Which is smaller: v or -48?
-48
Let b = 161.653 + 1.347. Is 0.3 at least b?
False
Suppose -3*q + 83 = 2*q - 4*g, 64 = 4*q - 4*g. Let a = -15 + q. Let w be ((-14)/30)/(4/(-24)). Are a and w unequal?
True
Suppose -3*l + 938 = -2*w, -3*l - 11*w + 12*w + 937 = 0. Which is greater: 314 or l?
314
Let k(p) = -p**3 + 10*p**2 - 8*p + 7. Let o be (7/(-5) + 2)*15. Let n be k(o). Suppose -n = 5*c - 2*a, -2*c + 0 = -3*a + 2. Which is smaller: -3 or c?
c
Let t = 0.8 - 1. Let f = -7441 - -7454. Which is greater: f or t?
f
Let s = 43 - 42.987. Which is bigger: 0.1 or s?
0.1
Let z = -1.7 - -1. Let x = 0.63 + z. Let h = x - 0.93. Which is bigger: 2 or h?
2
Let k = 8.1 + 1.9. Let q = 12 - k. Which is smaller: -2/5 or q?
-2/5
Let g(x) = -x - 13. Let v be g(0). Suppose 289 - 343 = 6*t. Is t > v?
True
Let t be (-2)/9 - (-16)/18. Suppose 9*r = 3*x + 11*r + 5, 5*r = 5*x. Which is smaller: t or x?
x
Let p(g) = 2*g + 9. Let m be p(-6). Let i = 4 + m. Let b be (-6)/13*(-4)/12. Which is smaller: b or i?
b
Suppose a = 2*y + 6 + 4, -4*y = -3*a + 22. Let h(r) = 2*r**2 + 5*r + 2. Let k(j) = j**2 + j. Let u(q) = -h(q) + k(q). Let l be u(y). Are l and -2 nonequal?
False
Let y = -73 - -90. Let l = -16.74 - 0.26. Let k = y + l. Which is greater: k or -1?
k
Let h be -6 - (-7 - (-4 + 3)). Which is smaller: h or -4/57?
-4/57
Let m = -21 - -7. Let n be 5/m - (-4)/8. Let o = -5/2 - -3. Which is bigger: o or n?
o
Let t be (-14)/(-7)*4/2. Let m be t/10*(-1 + 0 - -46). Which is smaller: m or 19?
m
Suppose 3*z = -9, -2*b = -3*b + 5*z - 1242. Is -1257 greater than or equal to b?
True
Suppose 4*f - 2*a = 2, -3*f + 7*a + 12 = 2*a. Let j be 22/33*f/(-2). Which is smaller: 1/18 or j?
1/18
Let r be (4 - 90/21) + 424/14. Let t be 68/r + 16/(-24). Let d = 2/15 + 8/15. Which is greater: t or d?
t
Let n = -0.6 + 0.3. Let k = -0.2 - n. Let v = 0.685 - -0.315. Which is smaller: v or k?
k
Let x = -4278650/192423 - -4/11319. Are x and -22 equal?
False
Let m = -15332 - -3327053/217. Which is smaller: m or -1?
-1
Suppose -6*u - 18 = 3*u. Let b be (32/12 + -2)/(u/(-15)). Let y be (-2)/3*27/(-2). Which is smaller: b or y?
b
Let n be 1 - ((-918)/(-99) - 8). Which is smaller: n or 3/7?
n
Let k = 193/4 - 3289/68. Suppose -5 = -3*z - 4*l, -2*z + 3*l = -1 - 8. Suppose -z + 1 = 2*o. Is o <= k?
True
Let q = 0.88 - 0.838. Which is bigger: q or 0?
q
Let l be 249/(-6) - (-1)/(-2). Let w be 18/l - (-8)/(-14). Which is bigger: 1 or w?
1
Suppose -2*r = -335 + 337. Which is greater: -6 or r?
r
Let d = 10.3 + 6.4. Let l = -0.3 - d. Is l bigger than -0.3?
False
Suppose w - 3 = 0, -f - 2*f = -4*w + 30. Let i(m) = 129*m + 3 + 132*m - 257*m + m**2. Let a be i(f). Which is bigger: a or 16?
16
Let c be 3/18 - (-444)/(-72). Which is greater: -8 or c?
c
Let a = 1481 - 25179/17. Is a at most 3/14?
True
Let j be -1 + ((-108)/44)/(-3). Suppose 0*y + 2*y - 6 = -v, -y - 9 = -v. Suppose 0 = 3*h + 6, 0 = 4*b - 0*b - 4*h - v. Is j > b?
False
Let i = 277 - 289.9. Let d = i + 13. Which is greater: 56 or d?
56
Let a = -12 - -25. Let k = 5 - a. Is -9 > k?
False
Let j = -2.28 + 2.1. Let s = j - 3.1. Let k = s - -0.28. Which is smaller: k or -0.1?
k
Let z = 556/5 + -110. Which is bigger: z or 5?
5
Let z = -10 + 7.6. Let x = z - 1.6. Is 3 smaller than x?
False
Let b = 274 + -270.55. Is b > 0?
True
Let l be (-10)/765*(-2 + 14). Do 0 and l have the same value?
False
Suppose 63 = -2*l + 61. Are l and -46/11 unequal?
True
Let g(d) = d**2 + 9*d + 11. Let z be g(-8). Suppose -4*l - 41 = 5*m, -4 - 7 = -m + 4*l. Let q = z - m. Which is greater: 7 or q?
q
Suppose -13*i - 2 = 128. Let n be (-16)/i*(-11)/22. Which is greater: n or -1?
n
Let c be ((-2)/(-1) - -4) + -12. Suppose -2*j + 1 - 13 = 0. Is c < j?
False
Let w = 26.6 - 26. Let g = -1.5 + w. Are -2 and g equal?
False
Let u(z) = z**2 + 4. Let a be u(0). Let q be 2/13 + a/(-26). Let l = -4 - -19/5. Is l less than or equal to q?
True
Let a be (7/(-616))/((-14)/(-7)). Are -1 and a nonequal?
True
Let w(c) = c**2 - 6*c. Let g be w(6). Suppose g = 5*x - 3*x + 56. Let s = x + 32. Are -1 and s equal?
False
Suppose -4*p = -4*g + 42 - 18, 0 = 4*g + p - 9. Let v be g/(-6) + ((-6)/(-4))/(-3). Is 5/17 greater than v?
True
Suppose -10*h + 95 - 115 = 0. Let w(z) = z - 7. Let o = 9 - 4. Let b be w(o). Is b at most as big as h?
True
Let x be (-3)/(-4) - (-2439)/(-36). Let y = 133/2 + x. Is -7/3 smaller than y?
True
Let m(b) = b**3 - 5*b**2 + 9*b - 20. Let n be m(4). Let a be -5*(1 - n) - -3. Is -6/5 > a?
True
Let p(n) = -n**3 - 23*n**2 - 45*n - 62. Let b be p(-21). Which is smaller: -1/15 or b?
-1/15
Suppose -4*y + 0*y - 5 = 5*n, 4*n = -4*y. Suppose -x = i + 4, 34 = -x - 3*x + 5*i. Do x and n have the same value?
False
Let n(g) = g**3 - 12*g**2 + 8*g + 15. Let y be n(11). Let t be (1 + 15/9)/((-12)/y). Which is bigger: t or 16/5?
t
Let g(f) = 38*f + 427. Let i be g(-13). Which is greater: i or -48?
-48
Suppose -5*y = -0*y - 25. Let v be 33/6 + (-6)/(-4). Which is greater: v or y?
v
Let f = -206 - -594. Suppose 5*u + f = 4*q, -3*q = -2*u - q - 154. Let k be ((-2)/(-5))/(u/(-250)). Which is bigger: 1 or k?
k
Let j be 24/60 + 1*(-2)/(-10). Which is smaller: 14 or j?
j
Let c(s) = -8*s - 12. Let r be c(-9). Suppose 2*j - 6*j + r = 0. Suppose -3*v + j = -0*l - 5*l, 5*v = 4*l - 1. Is l less than -7?
False
Suppose o + 60 + 17 = 0. Let v = o + 79. Which is greater: -4/9 or v?
v
Let c = 49822711/1222 + -81543/2. Let n = 6/47 + c. Which is greater: -1 or n?
n
Let g = -207 - -205.14. Let y = -1.7 - g. Is -1 smaller than y?
True
Let c(a) be the first derivative of -3*a**2/2 + 12*a + 2. Let s be c(-8). Is s >= 37?
False
Let x = -1371391508/4455 + 307832. Let a = x - 2/55. Is 1 at most as big as a?
False
Let w(x) = -4*x + 27. Let m be w(5). Suppose -g + 32 = 3*g - 5*o, -5*g - 4*o = -40. Is g <= m?
False
Let f = -3 - 3. Let s be (4 + 1)*f/10. Let p(l) = 2*l + 6. Let u be p(-5). Which is greater: u or s?
s
Let r = -846 - -928. Is r < -1/2?
False
Suppose -165*j + 162*j + 3 = 0. Which is smaller: -6/91 or j?
-6/91
Let x = 128 + -120. Suppose -u = 4*f - x*f - 16, 5*u = -4*f + 8. Are f and -13/5 nonequal?
True
Let s = -38 + 61. Let z be 3 - -1*s/(-7). Which is smaller: z or 5?
z
Suppose -7*k - 489 = -62. Let a = -59 - k. Which is bigger: 4 or a?
4
Let z be (-8)/12*(-2 + -391). Let v be (-1)/((2/1)/z). Let a = -657/5 - v. Which is bigger: a or 2?
2
Let d = 4 - 3. Let z be d + -1*(-2)/(-4). Let c be (4/(-6))/(29/(-9) - -3). Which is smaller: c or z?
z
Suppose d = -o - 13, -d - 3 = o - 2*d. Let x be (-1)/(o/(-4))*10. Let a = 13 - 14. Which is bigger: x or a?
a
Le