 is bigger: t or c?
t
Suppose -4*l + 15 = -7*l. Let q = 9 + l. Suppose 5*w - p - q*p + 10 = 0, 4*p = 8. Is w > 1?
False
Let a = 19/5 + -3/10. Suppose 0 = v + 2 - 5. Which is greater: a or v?
a
Let o(r) = r**2 + 9*r + 8. Let t be o(-8). Let w be 26/8 - 1/4. Let j = w + -4. Is j at least as big as t?
False
Let t = 16/3 + -5. Is -1 less than t?
True
Let a(z) = -z - 1. Let y = 7 - 11. Let n be a(y). Which is smaller: n or 4?
n
Let u = -5 - -24. Which is smaller: 18 or u?
18
Let g = -331/6 - -1871/30. Is g >= -0.1?
True
Let u = 0.59 + -0.19. Which is greater: 0.5 or u?
0.5
Let z = -4 - -2. Suppose -7 = -7*g - 14. Is g > z?
True
Let i = 2.8 - 3. Which is smaller: -6 or i?
-6
Let x be (1 + -16)/(9/(-6)). Let v be (x/4 - 2)*-8. Suppose 0 = -10*m + 5*m - 15. Which is greater: v or m?
m
Let s be 44/(-7) + (-4)/(-14). Suppose -14 = 3*i + 2*l, 4*i - 2*l - 3*l + 11 = 0. Which is greater: s or i?
i
Let v = -1 - -7. Let w = v + -6. Which is smaller: 0.02 or w?
w
Let d = 29 + -30. Does -14 = d?
False
Let y be (-2)/(-3)*(5 - -4). Suppose -y + 1 = -5*o + f, 3 = 3*o + 4*f. Are o and 1 nonequal?
False
Suppose -8*i + 4*i = 0. Let z = 142 - 992/7. Which is smaller: i or z?
i
Suppose 1 = -0*t - t. Let a(x) = -x**2 - 4*x + 3. Let d = -14 - -9. Let l be a(d). Is t greater than or equal to l?
True
Suppose -1 = j - 2. Let n be j/5 + 3/(-15). Let o be (-8)/(-3) + 1 + -3. Which is bigger: n or o?
o
Let z(t) = t - 9. Let m be z(6). Which is smaller: -1 or m?
m
Let b = 34 - 50. Do b and -16 have the same value?
True
Let m = -0.22 + 0.22. Which is smaller: m or 8?
m
Let s = 0.03 + -2.03. Let g = -2.2 - s. Let a = -0.1 - g. Which is smaller: -1 or a?
-1
Suppose -25 = 15*d - 10*d. Does -6 = d?
False
Suppose 2*z + 6 = -2*w, 4*z + 5 + 8 = -3*w. Let h(i) = -i**2 + 10*i - 9. Let g be h(8). Let l = g - 10. Which is greater: l or z?
l
Let q = 5 + -4. Let i(p) = -2*p - 2. Let f be i(-2). Let m be f - ((-64)/14)/(-2). Which is smaller: q or m?
m
Let b(m) = -m**2 + 9*m - 8. Let o be b(7). Suppose 28*j + 24 = 32*j. Is o at most as big as j?
True
Let z be 174/54 - 3*1. Does z = -1?
False
Suppose -4 = 2*s + 2*s. Let o be ((-1)/s)/((-18)/2902). Let x = o + 161. Do 1 and x have different values?
True
Let a be -2 - 13/(17628/(-2720)). Which is smaller: a or -1?
-1
Let d be (-2)/(-13) + (5 - 5). Let n = -1.6 - -0.6. Which is greater: n or d?
d
Let c = 7.3 + -3.3. Is c <= -2?
False
Let i = 23 - 21. Is i at least -3?
True
Let b = 73/2 - 1677/46. Which is smaller: 2/3 or b?
b
Let r = -419.9 + 445. Let m = -27 + r. Let b = -2 - m. Is b smaller than 2?
True
Let d be (-4)/25*10/(-4). Let h = 0.7 - 1.9. Let y = -1 - h. Is y > d?
False
Let p = -13/3 + 5. Is p at most 4?
True
Suppose 0 = -4*d + y + 2, d - 2*y = 6 - 2. Is d at least 2/103?
False
Let b = -8 - 0. Which is smaller: -9 or b?
-9
Let h(i) = -i + 10. Let r be h(3). Is r bigger than 6?
True
Let d = 25 + -24. Let g be (-2 + 0)/((-2)/3). Suppose g*b = -5*h + 26, -h = -0*h - 4. Which is smaller: d or b?
d
Let r = 9 - 7. Let a be (2 + -2)/(r - 0). Are a and -1/5 nonequal?
True
Let h be 6/(-1*3) - -1. Let l be (-4 - -3) + (1 - h). Let x be (4/7)/2 + 0. Is x at least as big as l?
False
Let i = -3 - -3.1. Let c = 71 + -71. Is c bigger than i?
False
Let l = -483 + 6765/14. Let r = -3 + 2. Is r less than l?
True
Suppose n + 58 = -4*h, -5*n + 4*n = 5*h + 72. Is h != -16?
True
Suppose -4*g + 0*g = 4. Let s = g + -9. Do s and -10 have the same value?
True
Let u be -4 + (1 - (-4)/((-44)/(-37))). Is -1 smaller than u?
True
Let v be 3 - (-159)/96*4/(-2). Do v and -1 have the same value?
False
Let v = -17 + 20. Suppose -2*j - 5*h - 18 = 0, -2*j = -5*j + 5*h + 23. Suppose 0 = m - j + v. Is -2 less than m?
False
Let j(q) = q**2 + 17*q + 30. Let p be j(-12). Do p and -30 have the same value?
True
Let n = -0.17 - -7.17. Let l = n - 7.1. Which is smaller: l or 2?
l
Let r(o) be the second derivative of -o**4/12 - o**3/3 + 2*o**2 - 3*o. Let y be r(-3). Is -2/5 != y?
True
Suppose 31*j - 18 = 25*j. Which is bigger: j or 2?
j
Let n be -2*6/4 - -7. Suppose v - x - 7 = 0, 0 = -0*v + 3*v + n*x. Let m be ((-3)/(-18))/(1/v). Is m greater than or equal to 0.04?
True
Let m = -37 + 35. Is -9 bigger than m?
False
Suppose -3*w = 3*m + w - 22, -44 = -4*m + 2*w. Let r be 192/(-140)*(-15)/(-6)*7. Let t be (-4)/m - r/10. Is t less than 3?
True
Let v(f) = 132*f + 1. Let p be v(-1). Is 1/4 >= p?
True
Suppose 4*p + 5*b + 25 = 0, p + b + 5 = -4*p. Which is smaller: p or 3/7?
p
Let x be 1456/21*(-3)/2. Is -104 greater than x?
False
Let u(s) = 2*s + 9*s**2 + s - s**3 + 13 - 5*s. Let c be u(9). Which is smaller: -1 or c?
c
Let f be 3/6 - (-10)/4. Let j be f + -1 + 0 + -2. Let q be -5 - -4 - (-5)/7. Which is greater: q or j?
j
Let i = -29 + 18. Let v = i - -11. Which is smaller: v or -3/28?
-3/28
Let u(p) = -p**3 + 8*p**2 - 13. Let v be u(7). Is v smaller than 35?
False
Let a = -12 - -11. Let v be 58/8 - a/(-4). Which is smaller: 6 or v?
6
Suppose -2*p + 25 = -2*w + 3*w, -5*w = -15. Let i = -14 + p. Let t be -1 + (2 + -1)*-1. Is i smaller than t?
True
Suppose -6*k = -3*k + 9. Let j = 8 + k. Suppose j*n = 5*x + 25, -2*n = 4*x + n - 8. Is x at most as big as -1?
True
Suppose 4*u + 4*p = -12, 0 = 5*p - 9 + 24. Suppose 2 = 5*o - 13. Let g be (0*o/6)/(-1). Is g bigger than u?
False
Suppose 4*v + 64 = 12. Which is smaller: -12 or v?
v
Suppose 2*o + o - 54 = 3*z, o = 5*z + 98. Let c = 10 - 4. Let w be 6/(-9)*c/z. Do w and -1 have different values?
True
Let b = -19 - -20. Are 5/16 and b non-equal?
True
Let t = -0.23 + 0.23. Are t and -2 nonequal?
True
Let a = 2558 + -92081/36. Let s = a - -1/36. Let t = -65 + 193/3. Is t > s?
False
Let c(j) = -j**2 - 3*j + 3. Let u be c(-3). Suppose -9*z + 6*z - u = 0. Are 1/31 and z unequal?
True
Suppose 31 - 119 = 8*i. Is i less than -12?
False
Suppose -9*t + t - 472 = 0. Is t smaller than -59?
False
Let y be (2/16)/((-3)/(-6)). Let n = -0.2 + 0.1. Let o = 0 - n. Which is smaller: o or y?
o
Let k = -114302/609 - -3937/21. Let n = k + 2/29. Let v = 101.9 + -102. Is v bigger than n?
True
Suppose 0 - 6 = -3*v. Let a be (1/5)/(5/15). Which is smaller: a or v?
a
Let q = -6.91 + -0.09. Let y = q - -6. Which is bigger: y or 0.1?
0.1
Suppose -i = -y + 2*i + 1, 4*i + 14 = -5*y. Suppose -13 = 4*a - 10*f + 5*f, -f + 4 = -a. Let d = a - -5. Are y and d equal?
True
Let r = 19 - 4. Let f = r + -7. Let t = -5 + f. Is t less than 0.1?
False
Let f be 1/(-4) - 195/420. Which is greater: f or -2?
f
Let u = 15.18 - 0.18. Let r = u + -15.2. Are r and 6 equal?
False
Suppose 5*g - 6 = -y + g, 3*y - 18 = -4*g. Let x be 2 + (-2 - y/(-27)). Is x less than -1?
False
Let v(b) = -b**3 + 3*b**2 + 5*b - 4. Let q be v(4). Suppose -2*z + 2 + 10 = q. Suppose -x - 4*x - z = -4*p, -5*p - 3 = -x. Is p at least -2?
True
Let y be 1/(-3) - 8/(-6). Let o(b) = b**2 + 5*b - 4. Let f(i) = -6*i**3 - i + 1. Let u be f(1). Let q be o(u). Which is bigger: y or q?
q
Let y be 7/(-2)*7/((-49)/(-14)). Is y <= -7?
True
Let k(m) = 3*m**2 + 15*m - 3. Let r be k(10). Let a = 7601/17 - r. Is 0 at least as big as a?
False
Let x = 7 + -10. Let l = 2.5 + x. Let y = 185/3 - 61. Which is smaller: l or y?
l
Let f(j) = -j**3 + 6*j**2 - 4*j - 6. Let o be f(5). Let t be -1 - o - 8/56. Is t at least -0.1?
False
Let x(n) = -2*n + 4 + 0 + 3*n. Let w be x(-6). Let a be (-2 - (-16)/10)*5. Is a greater than w?
False
Let p(a) = -a**3 - 4*a**2 + 4*a - 6. Let g be p(-5). Let i = 2/501 - -956/11523. Which is smaller: i or g?
g
Let o(d) = 12*d. Let g be o(1). Let a be 16/g*(0 + 3). Suppose -c = h, a*h - h = 5*c - 8. Are 0 and h non-equal?
True
Suppose -2*m + 2 = -m. Let r be (-3 + m)/((-15)/(-6)). Is r equal to -0.6?
False
Let j = -37 - -45.1. Let s = j - 8. Let k = s - 1.1. Do 4 and k have the same value?
False
Let r = -90 + 158. Is 68 greater than or equal to r?
True
Let s(c) = -c - 6. Let o be s(-7). Is -4/9 at most o?
True
Let w be 1535/(-260)*(-12)/454. Let y = 1/454 - w. Which is smaller: 1 or y?
y
Let h(b) = -b**3 + 10*b**2 - 9*b + 3. Suppose 0*y + 27 = 3*y. Let q be h(y). Suppose -4*n + 6 = 2*d, 0 = -d + 6*d + q*n - 15. Is 3 >= d?
True
Suppose 4*v = -5*w + 53, 7*v = 12*v - w - 30. Is 10 at least as big as v?
True
Let k be ((-3)/(-2))/(6/(-32)). Let x be 21/(-4) - 2/k. Is x less than -5?
False
Let t be -1*1/2*2. Let x = -1 + t