= 728752/11 + -66062. Let p = 188 - u. Suppose 4*c + 3*g = -10, -3*g = 3*c - 0*c + 9. Which is bigger: p or c?
p
Let h be (10/4 - 0)*(-16 + 18). Which is smaller: h or 0.4?
0.4
Let z = 16 - 21. Let q = z - -10. Is 0 greater than q?
False
Let c(n) = 3*n**2 + 98*n + 7 + 0*n**3 + n**3 - 94*n + 3*n**2. Let s be c(-5). Is 12 less than or equal to s?
True
Let u = 1/676 - 8791/2028. Which is bigger: -4 or u?
-4
Let y = -321.96 + 313. Let s = 0.04 - y. Let i = s - 9.04. Is 1/3 >= i?
True
Let q be (-4)/(-28)*-2 + (-9)/(-7). Is q <= -6/13?
False
Let j(h) = h**3 - 3*h**2 + 6*h - 6. Let g be j(2). Let f(o) = -o**2 - 7*o + 1. Let b be f(-7). Which is greater: b or g?
g
Let a = 2 + -2.2. Let p(l) = 3*l - 3. Let g be p(-1). Let k(h) = -h - 5. Let q be k(g). Is q at least as big as a?
True
Let k(j) = -4*j - 21. Let v be k(-5). Is v bigger than -2/27?
False
Suppose 31 - 3 = 4*b. Let q = b + -4. Suppose q*m + 4 = -8. Which is greater: -2 or m?
-2
Suppose -9*n = -11*n. Let s be n + 0 + (-7 - -4). Is -5/2 at least as big as s?
True
Suppose -2*a = 4*r + 10, a + 2 = -3. Suppose 4*z + 13 = 3*s, -4*s = z - 30 - r. Is s at most 8?
True
Let k = 17 + -8. Let f = k - 8.9. Does 0.4 = f?
False
Let h = 4/157 + -374/2355. Let q = 0.9 + -1. Do q and h have the same value?
False
Let f be 4/4 - (1 + -7). Let j = f - 7. Which is smaller: -7 or j?
-7
Let f = 505/7 + -72. Which is smaller: 1 or f?
f
Let g = -2/7 - 1/7. Let j = 1 - -4. Suppose -j*t + 5*w + 10 = 0, 0 = -t - 3*t + 5*w + 10. Is g bigger than t?
False
Suppose 14*u = 11*u - 3. Which is bigger: -5/7 or u?
-5/7
Suppose -6 = 4*l - 2. Is 2 at least l?
True
Suppose 2*m = -31 + 11. Are m and -11 unequal?
True
Let c(l) = -l**3 - 6*l**2 + 7*l - 3. Let a be c(-7). Let s = 0 - -1. Which is bigger: s or a?
s
Let o = 1 + -2. Let l be 14/6 - 8*(-2)/(-8). Is l at least as big as o?
True
Let l = 9.4 + -8. Is 0 greater than or equal to l?
False
Let z = -1 + 1. Let k(u) = u**2 - u. Let w be k(z). Is w greater than or equal to 0?
True
Let m = 34/39 + -20/13. Let k be -94*3/39 + 4. Let b = -184/65 - k. Do b and m have the same value?
False
Let s = -0.4 + 0.2. Which is bigger: s or -2?
s
Let o = 6 + -3. Suppose o*y - 20 = 2*l + 5*y, y = -5*l - 50. Do -9 and l have the same value?
False
Suppose -1 = -3*x + 2*s + 7, -5*s + 6 = -x. Suppose 2*y - 8 = -2*z, -2*y = -x*z + z + 12. Let n be 2 + y + 16/(-7). Is -1 < n?
True
Let j = 0.4 + -14.4. Is 1 at least j?
True
Suppose -3*n + 9 = 3. Let w be n/5 - 6/15. Suppose -2*y = 5*r + y, w = r + 3*y. Which is smaller: 1 or r?
r
Let u(t) = 3*t**3 - t**2. Let f be u(-1). Let y be -1 + -2 - f/(-2). Let w = y - -24/5. Is -1 smaller than w?
True
Suppose 2*y + 28 = 5*k, 2*k - 2*y - 4 = k. Let c be (k - 1)*(-9)/(-15). Let i be 9/4 + 2/(-8). Which is bigger: i or c?
c
Let v = 10 - 3. Let g = 12 - v. Is g < 7?
True
Let d(h) = -h**2 - 6*h + 5. Let r be d(-6). Suppose n = -2*n - 4*t + 4, 2*n - 5*t = -r. Suppose 2*f - 1 - 1 = n. Do f and 2/11 have different values?
True
Let o = -0.12 + 0.01. Let x be 1*(1 - (-3 - -5)). Are x and o equal?
False
Let s = 140 + -149. Is s equal to -13?
False
Let s be ((-9)/(-171))/(-1 - 5/(-6)). Which is smaller: s or -1?
-1
Let g(o) = o**3 - 8*o**2 + 7*o + 2. Let f be g(7). Let v be (-1)/((-1)/(f/8)). Suppose 3*z + 0*z + 12 = -3*w, -4*z + 5 = -3*w. Is z at least v?
False
Let z = -0.9 + 0.86. Let g = -0.36 + z. Which is bigger: -2/7 or g?
-2/7
Let x be (-7)/1 + 2 + 0. Let d = 2.3 - 1.3. Which is bigger: d or x?
d
Let x = 0.05 + -3.15. Let p = 1.1 + x. Which is bigger: 2/9 or p?
2/9
Let m = 0.4 + -0.1. Which is smaller: -0.4 or m?
-0.4
Let z(l) = -3*l**2 + 8*l - 14. Let x(n) = -2*n**2 + 5*n - 9. Let s(m) = -8*x(m) + 5*z(m). Let r be s(0). Let t be r/1 - (-4)/(-6). Which is greater: 1 or t?
t
Let d be (-768)/2288 + 4/26. Which is smaller: -1/6 or d?
d
Let x = 0.02 - -4.98. Let y = x + -4. Is -1 < y?
True
Let o(p) = p**2 - 4. Let g be o(-4). Let d be (-6)/(-4 - -1)*(-26)/(-4). Which is smaller: d or g?
g
Let u = 4 - 0. Suppose -3*g + 0*g = 2*m + 2, 2*m = u*g - 16. Let z(a) = a**2 + 4*a + 4. Let t be z(-3). Which is smaller: t or g?
t
Let j(n) = n**3 - 5*n**2 - 6*n + 1. Let i be j(6). Do -0.004 and i have different values?
True
Let s = -9 + 25. Are s and 0 equal?
False
Suppose 0*v + 4*v = 16. Do v and 4 have different values?
False
Suppose 2*a + 12 = 14*a. Which is smaller: a or 2/125?
2/125
Let g = -2 + 1. Suppose 2*z + 6 = 2*o, -o - 2*z + 5*z = -13. Let i = o + 0. Which is bigger: i or g?
g
Let g(c) = c**2 - 5*c - 1. Let i be g(5). Let l = 8 + -4. Suppose -w - 3 = -l*w. Is i less than w?
True
Let m = -1 - -21. Let d be -1*1 - m/(-25). Let u be (2 + 0)*(-2)/(-4). Which is smaller: d or u?
d
Let z = 283/8 - 231/8. Let m = 9 + -3. Which is smaller: z or m?
m
Let x = 10 + -9. Let u = -2 + x. Is u smaller than -2?
False
Suppose 0 = -0*i + 3*i + 3. Let c(j) = 3 - 3 - j - 1. Let s be c(-1). Which is smaller: i or s?
i
Let y = 0.3 - 1.3. Which is smaller: y or -10?
-10
Suppose -4*k + 3*k + 26 = 0. Let j be (3/9)/(k/(-12)). Do j and 0 have the same value?
False
Let i be (-5)/(5/2)*-2. Let t be i/18 - (-851)/585. Let x = 14/13 - t. Which is greater: -1 or x?
x
Let s = -34/3 + 13. Let n be 1/6*(-6)/(-4). Is n < s?
True
Let k = -26/5 - -5. Which is smaller: 0.02 or k?
k
Suppose 7 + 3 = q. Let w = q - 10. Which is smaller: w or 2/27?
w
Let c = 0.8 - 3.8. Let b = c + 3. Let l be 4/(-2) - 15/(-8). Which is smaller: l or b?
l
Let i(b) = b**2 + 9 + 9*b - 4 - b**3 - 8*b**2. Let v be i(-8). Let f = -9 - -7. Which is smaller: f or v?
v
Let p = 23 - 22. Let c = p - -4. Which is greater: -3/5 or c?
c
Let s = 4 + -1. Suppose -u + 47 = s*f, -6*u + u = 4*f - 224. Let b be (u/(-18))/(-2) + -1. Is b greater than -1?
True
Let h be (-6 + 3/(24/52))*0. Let l = 4/13 + -132/91. Is h at least l?
True
Let m be 9/(-3) + 11 + -1. Suppose u + 1 = -2*k, -5*u - 2*k + 10 = -m*k. Do 1 and u have different values?
False
Let r = 101 + -708/7. Let k = -10 + 10.1. Which is smaller: r or k?
r
Let m(z) = -z**2 - 3*z - 4. Let o be m(-2). Which is smaller: o or -11/9?
o
Let a = 1.8 - 4. Let f = 3.2 + a. Is f greater than 8?
False
Let n = -2 + 1. Let x = 5 - 4.2. Let s = 0.2 + x. Which is smaller: s or n?
n
Let w = 44 + -44. Is -9 < w?
True
Let l be 1/(-6)*(21/14 - 0). Is -1 less than l?
True
Let h = -39 - -20. Let z = 18 - 37. Is h not equal to z?
False
Suppose 2*j + i = 5*j + 8, 3*j = 2*i - 13. Suppose m = 3*x - 19, -m + 2*m = x - 3. Let q = 15/2 - x. Which is greater: j or q?
q
Suppose -5*c - 13 = 2. Let l = c - -6. Which is smaller: 4 or l?
l
Let s = -6 + -14. Is -18 at most s?
False
Let g(m) = -m**3 + 11*m**2 - 10*m + 4. Let n be g(10). Suppose -i + 2 = 0, 5*c + n*i - 2 - 11 = 0. Is c at most -19?
False
Let m be (-3 + 4)/(5/1). Let b be 33/(-39) + (-6)/39. Is m > b?
True
Let i = 18.8 + -29. Let b = 9 + i. Let n = 3.8 - b. Is 2/5 less than n?
True
Let q = 0 - -6. Let m = q - 8. Is -2/3 < m?
False
Let m(x) = -x**2 - 3*x - 4. Let p be m(-7). Which is smaller: p or -34?
-34
Let z = -7 - -8. Suppose -x + 2 = 0, -4*t = -4*x + 3*x - 10. Are t and z non-equal?
True
Let h be 6/(6/9 - 1). Let p = h + 56/3. Which is greater: -0.1 or p?
p
Let a = 4 - 5. Is -1/6 bigger than a?
True
Suppose 6*o - 2*o + 4 = 0. Let j = 55/3 - 18. Which is greater: j or o?
j
Suppose -2*m + d = -3*d - 20, 2*d = 4*m - 22. Suppose m*f + 0 - 36 = 0. Which is smaller: f or 11?
f
Let d be 4/12 - (-5)/3. Suppose d*i + 1 = 5. Let x be -1*(-1)/(-1)*0. Which is smaller: i or x?
x
Let t = 0.2 - 0.5. Let z = t + 0.4. Let q = -0.1 + z. Which is smaller: q or -3?
-3
Suppose -2*m - 4 = -4*c, 0*c - 2*c + 18 = 3*m. Let z be (-1)/(-1) + 0 - -4. Which is smaller: z or m?
m
Let g be 1 + 16/(-6) + 6/(-18). Suppose 0 = -w + 4*i - 8, 0*w - 2*w = -3*i + 11. Is w bigger than g?
False
Suppose -2*w - 36 = -2. Is -18 < w?
True
Let r(h) = h**2 - 3*h. Let x be r(3). Suppose q - 1 = -x. Is 2/3 equal to q?
False
Let o be 1/(2/(0 - 10)). Suppose 0 = h + 2*h - 5*g, 0 = h - 5*g - 10. Is o at most as big as h?
True
Let k = -0.01 - -3.01. Let o = k - 4. Let g = o + 0.8. Which is bigger: 2/3 or g?
2/3
Let b be (-1)/9 + 608/(-36) + 2. Suppose -46 = 4*w + 18. Which is smaller: b or w?
w
Let h be 3/(-9) - 86/(-6). Suppose h*r - 40 = 12*r. Which is smaller: r or 19?
19
Let q be ((-30960)/26)/5 - -1. Le