Let b = -14 - -16. Suppose 0 = -b*g - 8 - 18. Is -14 equal to g?
False
Let n be ((-9)/(-15))/((-2)/(-10)). Let q = -6 + n. Suppose -w = -4*i + 1 + 9, -5*w - i = 8. Is w bigger than q?
True
Let v(l) = l**3 + 3*l**2 - 6*l - 5. Let z be v(-3). Is 13 less than or equal to z?
True
Let t be (-2 + 16/14)*7. Let h(z) = -z. Let c be h(t). Suppose -k = -c*k. Is 1 >= k?
True
Let h = 13.9 + -6.9. Which is bigger: h or 3?
h
Suppose a = -2*c + 2, 5*c + 2 - 6 = -3*a. Let k = -50453/903 + 391/7. Let h = 28/43 - k. Which is bigger: c or h?
c
Let v = 0.24 + -2.44. Let o = -2 - v. Suppose 4*r - c - 2 = 3, r + 3*c + 15 = 0. Is r >= o?
False
Let w be (196/(-24))/(-7) - 3. Is w not equal to -1?
True
Let i be 58/18 - 6/27. Suppose 3*s - 5 = -i*z + 4, 2*s = -3*z + 5. Which is smaller: 0 or z?
z
Let m be (-24)/(-3) - 2 - 2. Let n be ((-2)/(-8)*-2)/m. Which is smaller: 1 or n?
n
Let i be 2/8*(-12)/3. Does -8/5 = i?
False
Let h(c) = -c**3 - c**2 - 6*c - 5. Let d be h(-1). Which is smaller: 2/153 or d?
2/153
Let v = 9 + -4. Suppose v*j = 3*j - 4. Is j < -4/3?
True
Let t(x) be the third derivative of x**5/60 - x**3/3 + 2*x**2. Let v be t(0). Which is bigger: -5 or v?
v
Let a = 258197/5 + -51309. Let h = 329 - a. Which is smaller: -1 or h?
h
Let l(x) = -x**3 + 14*x**2 - 13*x + 10. Let f be l(13). Suppose 0 = 2*k + 2*c, -f = 3*k - 5*c - 26. Is 3 less than k?
False
Let f be (-18)/(-12)*(-1)/3. Suppose -8 + 0 = 4*k. Is f >= k?
True
Suppose 5*t + 20 = 5. Let y(m) = -11*m**3 + 19*m**2 - 11. Let p(g) = -5*g**3 + 9*g**2 - 5. Let a(o) = 13*p(o) - 6*y(o). Let q be a(t). Is q < -1?
False
Let t(n) = n**2 + 5*n - 6. Let q be t(-7). Suppose 4*w - q = -5*c, c + 6 = -0*c + 3*w. Which is smaller: 1 or c?
c
Let j(r) = -r**2 + 2*r + 8. Let n be j(6). Let y be (-1)/(-4)*n/18. Let v(t) = t**2 + 3*t - 1. Let m be v(-3). Is y at least as big as m?
True
Suppose 0 = 4*n - 5*w + 47 - 7, -3*n - 19 = -w. Let b be 0 - (n + 1 + 2). Suppose t = -f, -3*t + 2 = b*t + 3*f. Is 2 <= t?
False
Let i be ((-386)/(-4))/((-10)/28). Let m = 438 + -167. Let n = i + m. Which is smaller: 1 or n?
n
Let s be (-3 + -2)*(-8)/10. Let m(j) = -j**3 + 4*j**2 + 2*j + 1. Let u be m(s). Let d be 6/u*(-2)/(-6). Which is bigger: 1 or d?
1
Let j be (-112)/(-24)*4/14. Let u be ((-3)/(-9))/((-1)/(-3)). Which is smaller: j or u?
u
Let g(f) = -f**2 - 16*f + 1. Let n be g(-16). Suppose 5 = 4*o - y - 7, 5*o - y - 14 = 0. Which is smaller: o or n?
n
Let p be 2/(-8) - 298/(-8). Are 36 and p unequal?
True
Let s(r) = r**3 + 11*r**2 + 9*r - 6. Let w be s(-10). Let x(m) = -m**2 - 5*m + 3. Let y be x(-5). Which is bigger: w or y?
w
Let c(z) = -z**2 + 5*z - 5. Let y be c(2). Is y equal to -1/32?
False
Let i = -74 + 52. Which is bigger: -2/5 or i?
-2/5
Suppose 0*m = -2*m + 2, -9 = -3*k + 3*m. Let y be (2/k)/((-3)/(-6)). Which is bigger: y or 3/2?
3/2
Let j = 1.7 + -1.7. Are -0.02 and j nonequal?
True
Let f = -1 + 0. Let h be 1 - (444/(-280) + 2). Let n = 3/10 - h. Which is smaller: f or n?
f
Let l = -12 + 6. Let i = -4 - l. Suppose -6*k + 16 = -i*k. Is 4 bigger than k?
False
Let r be 0*2/6*-1. Let k be (-1)/(0 + -3 - -2). Which is smaller: k or r?
r
Let h be (1/2)/(3/(-30)). Which is greater: h or -3?
-3
Let w = -25 + 25. Let l = 38 + -26. Is w bigger than l?
False
Let i(c) = -c**2 + 8*c - 5. Let g be i(7). Let a be 0*(2 + (-5)/g). Suppose a*u = 2*u. Which is bigger: -1 or u?
u
Suppose -3*n + 2*k + 31 = 0, k - 16 = -6*n + 3*n. Let o(c) = c**2 - 8*c - 12. Let p be o(10). Which is smaller: n or p?
n
Let z(u) = 2*u - 3. Let w be z(-4). Is -12 smaller than w?
True
Suppose -5*g = 0, 20 = -4*k + 3*g - g. Suppose 43 = -7*z - 13. Let y = k - z. Is 2 less than or equal to y?
True
Let a(b) = -3*b. Let l(o) = 2*o**2 - 1. Let t be l(1). Let z be a(t). Let n(f) = f**2 - 3*f - 2. Let h be n(3). Which is smaller: h or z?
z
Let q = -8 + 7.4. Which is bigger: -2 or q?
q
Let b = -17 + 20. Suppose 0 = -b*u - 0*u + 18. Which is smaller: u or 2?
2
Let c(n) = n**2 + 6*n - 4. Let b be c(-7). Suppose z - b - 3 = 0. Let j be z/((1 - -1)*1). Which is greater: j or 4?
4
Let g be (-21)/9 + 2/12*8. Which is greater: -3 or g?
g
Let z be (-3)/(((-150)/(-1156))/5). Let v = z - -116. Is v > -6/5?
True
Let p(y) = -y**3 + 5*y**2 + 7*y - 4. Let h be p(6). Let t be (5*(-2)/24)/(7/(-42)). Which is greater: h or t?
t
Let d = 2 - 1. Let z = d - 2. Let w(u) = u**3 - 3*u**2 + u + 2. Let v be w(2). Which is smaller: v or z?
z
Let d = -8 - -11. Suppose 0 = -t + d*t - 2. Let n = -1069/9 - -119. Are n and t non-equal?
True
Suppose 0 = 3*t + 64 - 67. Which is smaller: -2/75 or t?
-2/75
Let b be (-1 - -5)*19/(-38) + -5. Is b > 1?
False
Let y = -160 - 13. Which is smaller: -172 or y?
y
Let d(h) = -h**2 + 3*h - 6. Let g be d(3). Which is smaller: -5 or g?
g
Let a = 1.4 + 0.1. Let r = -0.5 - a. Are -0.1 and r equal?
False
Suppose 0*r - 6 = r. Let w = r + 4. Let y be (-27)/6*(-1)/(-6). Is y greater than w?
True
Suppose -2*b + 4 + 12 = 0. Let i be (-4 + b)*(-2)/(-20). Let f(r) = r - 1. Let d be f(4). Which is bigger: i or d?
d
Let l(y) = -2*y**2 - 8*y + 17. Let x be l(5). Does -73 = x?
True
Let w(g) = -4*g**3 - g**2. Let n be w(-1). Suppose d + n*c = 23, 13 = d + 4*c - 12. Suppose d = -x - 5*y, -y + 3 = -x - 2*x. Which is bigger: -3 or x?
x
Suppose 5*j = -22 - 13. Let w(d) = -d - 6. Let i be w(j). Suppose 0 = 4*h + 5*g + 24, 3 = h + 3*g + 16. Which is greater: i or h?
i
Let l = 14 + -20. Let r be (-2)/(-8)*(-3)/l. Suppose -2*t - 7 = -3*j - 4, 0 = -2*t + 4*j - 4. Is r < t?
False
Suppose 6*c - 4*c + 3*t = -14, -3*c + 3*t = -9. Suppose 5*q = 258 + 52. Let s = q - 432/7. Are c and s equal?
False
Let v = 7 - 11. Let z = -2 - v. Which is smaller: z or 0.1?
0.1
Suppose 2*o = r + 1, -5*o - 1 + 23 = 4*r. Suppose 2*n + 4 = -o*n. Which is bigger: n or -10/7?
n
Let k = -58 + 57.93. Let s = -3.9 + 4. Is k at least as big as s?
False
Let c = -0.04 + -0.66. Let l = c + 0.7. Does l = 0?
True
Suppose -l + 68 = 65. Let b = 3 + -5. Let o = b - -3. Which is smaller: o or l?
o
Let d be (-1)/(3/18*-3). Which is greater: d or -2?
d
Let p = -109 - -95. Which is bigger: p or -15?
p
Let d = -2 - -3. Let f(m) = -m**3 - 5*m**2 - m - 7. Let x be f(-5). Let b be (x/14)/((-70)/49). Is d not equal to b?
True
Let j = 9 + -10. Which is bigger: j or 1/134?
1/134
Let t be (-290)/125 - -2 - 0. Which is greater: -1 or t?
t
Suppose -i + 0*i + 2*d + 1 = 0, -2*d - 3 = i. Let j be 5360/(-1155) - (0 + -3). Let k = j + -2/77. Is k at most as big as i?
True
Suppose 0 = 4*b - 4*u + 12, 7 = -3*b - 0*u + u. Let k be (b + 5)*(-10)/55. Which is bigger: k or -2?
k
Suppose 0 = p + 2*p - 30. Let h be (-88)/p - 1/5. Is -9 smaller than h?
False
Suppose 285*d = 288*d + 6. Which is smaller: d or -18/11?
d
Let g = 25 - 87. Let i be (10/15)/(g/6). Is 0 > i?
True
Let i be (4/(-6))/((-4)/(-12)). Suppose 5 = n - 4*a - 3, 5*n = -5*a + 15. Let h be (i + n/2)/2. Which is greater: 2/3 or h?
2/3
Let k = 51/8 + -1189/184. Suppose 5*i + s + 5 = 0, -2*s - 5 = 5*i - 4*s. Do i and k have the same value?
False
Suppose 3*n = 2*n - 14. Let i be (-62)/n - 3/7. Are i and 4 unequal?
False
Suppose 0 = z - 21 + 17. Which is smaller: 11/3 or z?
11/3
Let d = 161 - 2577/16. Which is greater: 0 or d?
0
Let m be -2*1*(5 + -7). Suppose 8*c - m = 4*c. Which is smaller: 2/21 or c?
2/21
Let m be 4 + 92/(-12) - -3. Let s be 4/14 + 16/(-7). Does m = s?
False
Let d = 0.07 + -2.07. Let s = -37 + 36.04. Let w = s + -0.04. Is w != d?
True
Suppose 0 = 3*t + 37 - 40. Which is greater: t or 5/26?
t
Let q be 7 + (-1)/((-1)/3). Suppose -q = w + w. Let v be 3/w + 4/(-10). Which is bigger: v or -2/19?
-2/19
Let t = -7.9 - -8. Are t and 15 equal?
False
Let c be (6/(-4))/(4/8). Let f = 0 + 2. Suppose 5*m - 20 = 0, -w - m + 8 = f*m. Is c > w?
True
Let m be (108/16)/(6/16). Which is smaller: 19 or m?
m
Let n(q) = -q**3 + 2*q**2 + 2*q - 2. Let u be n(2). Is u < 2?
False
Let s be 10/25 - (-14)/(-10). Is -3/8 smaller than s?
False
Let i = -8 - -4. Let g = -4 - i. Let y be (54/(-20) - -4) + -1. Is y greater than or equal to g?
True
Let z = 0.176 - 0.176. Which is greater: 11 or z?
11
Let i = -19/2 - -10. Which is smaller: 1 or i?
i
Let g be ((-4)/(-14))/(4*(-4)/(-40)). Which is greater: g or 2?
2
Let y = 15 + 5. Suppose -4*j + 12 = -y. Let g(i) = i - 11. Let m be g(j). Is m greater than or equal to 0