j be -2 + 4/(4/(-3)). Let z = 111 + -79. Suppose 0 = -4*h - 3*b - 4, -3*h - 2*h - z = -3*b. Which is bigger: j or h?
h
Suppose -g + 1 = -0*g. Are g and 10 nonequal?
True
Let i be 1 + (0 - (-3025659)/(-36)). Let q = 84165 + i. Let j = q - 120. Which is bigger: 1 or j?
1
Let f(o) = 32*o. Let v be f(1). Let g = 63/2 - v. Which is bigger: -2 or g?
g
Let p = 97 - 22. Let k be (10/p)/((-2)/(-6)). Let v = 71/20 + -19/5. Is v equal to k?
False
Let b be (-63)/42*((-4)/(-162))/(-2). Which is smaller: b or -1?
-1
Let p = 12.1 - 12. Let d = p + 0. Is d greater than or equal to -4?
True
Let t = -771 + 26988/35. Is -1 bigger than t?
False
Let j = 0.17 - 0.07. Suppose 0 = -2*u - 4*c - 6, 2*u + 3 = -2*u + c. Which is smaller: j or u?
u
Let i(z) = -z**2 + 4*z + 8. Let a be i(6). Which is greater: -3 or a?
-3
Let x be (2/(-1))/(1*-1). Suppose x*z + 3*z = -5. Is z >= 1/5?
False
Let l(q) = q**2 - 3*q + 2. Let u(d) = d**2 - 4*d + 3. Let y(x) = -3*l(x) + 2*u(x). Let g be (-3)/6*-1*0. Let b be y(g). Is b less than or equal to 4/3?
True
Let r = -9 + 8. Which is bigger: 2/19 or r?
2/19
Let h be (2/1)/(8/12). Suppose 3*u = 5*t - 5 + 10, 2*t + 4*u - 24 = 0. Suppose t*v = 0, 4*y - h*v = -0*v. Which is smaller: 0.09 or y?
y
Suppose l - 38 = 4*a, 3 = 3*l - 3. Which is smaller: a or -31/4?
a
Let f = 1 + -1. Let p be 11 - 3 - (f + 2). Let k = -4 + p. Which is bigger: 1 or k?
k
Let x be (1/(-7))/(2/(-10)). Let j(c) be the third derivative of c**5/60 + c**4/4 - 5*c**3/6 + 8*c**2. Let l be j(-7). Which is smaller: l or x?
x
Suppose -8 = -2*t - 2*t. Are t and 4 nonequal?
True
Suppose -19 = -5*y + 1. Suppose -y*c + 8*c = 16. Suppose s + 6 = r, 5*r - 28 + 1 = 4*s. Is r bigger than c?
False
Let q = 10 + -14. Let i(t) = 7*t + 5. Let l(z) = -6*z - 5. Let g(o) = -5*i(o) - 6*l(o). Let w be g(q). Does -0.2 = w?
False
Let n be 6 + -1 - (-4 - -4). Suppose -5*a - s + 15 = -0*s, -5*s = n*a + 5. Suppose 3*m - 10 = -a. Are 3/5 and m nonequal?
True
Suppose 1 + 0 = h. Is h bigger than -16/7?
True
Let q be (-1)/1 - (7 + -5). Let z = q - -2. Which is smaller: -3 or z?
-3
Let i be (12/(-18))/((-616)/(-1410)). Let t = -2/77 - i. Are t and 2 unequal?
True
Let k = 1.01 - 1. Let a = 31 + -19. Let u = a + -11. Which is smaller: k or u?
k
Let b be (5/(-2))/((-4)/(-8)). Let z = 9 + b. Which is bigger: z or 3?
z
Let r(h) = h + 4. Let g be r(4). Suppose -4*b - 24 = v + 2*v, -v + 4*b + g = 0. Which is bigger: v or -2?
-2
Let m be 6/(-21) - 8/(-77). Let x be 3/12 - 1/4. Which is bigger: m or x?
x
Let y be 1 + -4 + (-1 - -3). Let w = -0.03 + 0.93. Let c = w + -1. Is y greater than or equal to c?
False
Let i = -1 - -1. Let w = -1 - i. Suppose 0 = a - 3*k - 15, a - k - 8 = -3. Which is greater: w or a?
a
Let s = 7 + -15. Let x be (s/72)/(2/3). Which is smaller: 1 or x?
x
Suppose 0 = -5*b + 2*p - 30, 3*b - 4*b = -p + 9. Which is greater: b or 7?
7
Let i = 3 + -1. Suppose -i*r = -3*r. Is r not equal to 0?
False
Let q = -1 - 2. Let x be 0 + q/((-21)/2). Let i = 0.1 + -0.2. Which is greater: i or x?
x
Let y = 3 - 2.7. Let z = 0.6 + -0.4. Let x = 1.2 - z. Which is smaller: x or y?
y
Let o = -13.85 + -0.15. Let w = 14.2 + o. Suppose z = 4*z. Which is smaller: w or z?
z
Let o be ((-1)/2)/(2/(-16)). Let r be o/(-20) + (-111)/(-30). Which is smaller: r or 5?
r
Let a(r) = r**3 + 8*r**2 + 8*r + 8. Let u be a(-7). Let y = u + -4. Which is greater: y or -4?
y
Let m be (-289)/4 + 2/8. Let a be (27/m)/((-9)/(-4)). Which is greater: a or 1?
1
Suppose -4*h - 5*x = -25, 5*h + 0*x - 29 = -4*x. Suppose -3*m + 2*p = -5, p + h = -4*p. Do 2/13 and m have the same value?
False
Let s = 0.002 - 0.202. Is -1 less than or equal to s?
True
Let y be 2/(-4)*-2 + 1. Let l be (-10)/(-15) + 4/(-6). Suppose -5*u + k + 15 = l, y*k = -12 + 2. Are 2 and u unequal?
False
Let v(f) = 5*f. Let l be v(1). Suppose -l*u + 20 = -0*u. Suppose 3*h = u*y + 12, -3*y + 12 = -7*y + 5*h. Is -3 smaller than y?
False
Let z(r) be the second derivative of -r**6/360 + r**5/24 + r**4/12 + r**3/2 - 3*r. Let n(b) be the second derivative of z(b). Let o be n(6). Does o = -6?
False
Let j(m) be the first derivative of -m**4/4 - 4*m**3/3 - m**2/2 - 3*m - 2. Let i be j(-4). Suppose 5*l - 6*l = -i. Is 2 not equal to l?
True
Let f(h) = 14*h. Let x be f(-1). Let d = x - -5. Let o be 1 + (1 - (-12)/d). Is o < 1?
True
Suppose 0*d - 4 = -2*d. Let i be (-5)/(15/d) - -30. Let h = i - 29. Is 1 > h?
True
Let y = -11 - -9. Let v be (-1)/2 - (-1)/y. Which is smaller: 4/13 or v?
v
Let m = 5 + 1. Let l = m + -4. Let n = 4 - 0. Which is smaller: n or l?
l
Suppose -2 = -s - 2*l + 2, 0 = 2*s - l + 2. Let i(k) = -k**2 + 4*k - 3. Let v be i(4). Let n = -4 - v. Which is smaller: s or n?
n
Let z(n) = -n + 14. Let j be z(6). Let r be ((-1)/20)/((-66)/j). Let m = 67/165 - r. Is m smaller than 3?
True
Let r = -0.3 - -1.3. Let v be 1*-2*84/(-560). Which is bigger: v or r?
r
Let s = -29.02 + 29. Is s at least as big as -0.1?
True
Let x = -6.6 - -0.6. Let w = x - -8. Which is smaller: -2 or w?
-2
Suppose 4*p - 31 = -r + 3*p, -5*r - 3*p = -147. Let c be (-8)/(-6) + (-9)/r. Which is smaller: 5 or c?
c
Let u be (-2 - 1067/(-612)) + 5/20. Which is greater: -1 or u?
u
Let q = -62 + 50. Which is greater: -1/4 or q?
-1/4
Let b be 3 + -2 + 12 + -1. Let t = b - 11. Which is smaller: 1/4 or t?
1/4
Let w be (6/(-10))/(-1)*(-144)/216. Let x be (0 + 2)/108*-4. Is w greater than x?
False
Suppose -22 = 2*c - 3*x, -x - 10 = c - 2*x. Let b = -10 - c. Which is smaller: -7/5 or b?
b
Let g(r) = -r - 6. Let c be g(-6). Suppose c = -2*l + 4*l - 6. Let s(m) = -m**3 + 4*m**2 - 2*m - 3. Let t be s(l). Is 1 != t?
True
Suppose -3*d + g = -9, 3*d - 1 - 2 = 3*g. Suppose 6*p = -d*a + p - 22, a - 1 = 2*p. Which is smaller: -4 or a?
-4
Let q = -108/13 + 3158/377. Suppose 10*d - 4 = 6*d. Is d greater than or equal to q?
True
Let u(x) = -x + 5. Let l be u(7). Let o be -2 - (3 + l + 2). Let i = -18 - -13. Is o != i?
False
Let h = 3/4 + -1. Let t = 2 + -1. Let o = 0.8 - t. Which is smaller: h or o?
h
Let b = 1 + -2. Let x be (18/(-10))/(12/(-30)). Let k = x + -5. Is k equal to b?
False
Let b = 1.4 - 1. Which is smaller: 0.1 or b?
0.1
Let w = -0.9 - -0.8. Is w less than 0?
True
Suppose -2*q = -4 - 6. Suppose q = n + 3. Suppose 0 = n*g + 3*b - 10, 5*b + 0*b - 16 = -4*g. Is g at least 2/13?
False
Suppose -k - 4*h = 16, -k + 4*k - 5*h = 20. Do 0 and k have different values?
False
Let q = 1 - -3. Is 4 not equal to q?
False
Suppose -4*q = s + 183, 2*q + 69 = -4*s - s. Which is smaller: q or -46?
q
Let p = 45 - 45. Which is smaller: 1 or p?
p
Let b(u) = 5*u + 2. Let k be b(2). Is k less than 2?
False
Let m = 2 - 4/3. Which is greater: 6 or m?
6
Let i(v) = 4 - 3*v - 1 + 5*v. Let t be i(-2). Let d be (2 - 3)*(t - -3). Which is greater: -3 or d?
d
Let y(x) = 17*x**3 - 2*x**2 - 5*x - 3. Let r be y(-1). Which is greater: r or -1/4?
-1/4
Let w = -22 - -13. Suppose -3*g = -g + 20. Is w bigger than g?
True
Let h = 0.2 - -0.8. Let p = 11 - 6. Let m = p + -5.1. Which is greater: h or m?
h
Let o = -0.015 - -9.115. Let k = 9 - o. Is 0.06 bigger than k?
True
Let k = -3332 + 56672/17. Is k smaller than 3?
True
Let v = 42 + -41. Is v not equal to 2/49?
True
Let r = -0.115 - -0.145. Let u = 2 + -1.9. Is u > r?
True
Let k(c) = c**3 + 7*c**2 + 6*c - 2. Let s be k(-6). Let x be s + 20 + 2 + -2. Let t = x - 73/4. Which is smaller: 0.1 or t?
t
Let z = -17 - -24. Let p = z + -7. Is -1/30 less than p?
True
Let o = 319/5 + -64. Which is smaller: -7 or o?
-7
Let v be (4/2 + -2)/1. Let d be (-6)/(-2)*(-6)/(-3). Let q be 2/(3/(d/8)). Which is greater: q or v?
q
Let a be (-22)/(-6)*1*24. Suppose 3*o = -o + a. Let f = o + -89/4. Which is smaller: f or -1?
-1
Suppose -2*q + 3 = w + 7, -q = 4*w - 5. Which is greater: q or -18/11?
-18/11
Let z = -10 - -10. Suppose 0 = -2*h - z*h. Is h at least 6/7?
False
Let z be (-24)/36 + (-2)/(-2). Is 2 >= z?
True
Let n = -59 + 53.3. Let l = -6 - n. Let o = l - -0.4. Is 2/5 not equal to o?
True
Suppose 0 = 3*a + 13 - 106. Is a at least 31?
True
Let w = 2641/6 - 437. Which is bigger: 3 or w?
w
Suppose -5*y + 13 = -4*t, 3*t + 3*y - 13 = 8*t. Let d be 5*(24/10 + t). Let j(x) = -x - 1. Let m be j(-4). Do d and m have different values?
True
Let a = -8 - -6.4. Let q = -1.7 - a. Do 4 and q have the same value?
False
Let m = -18.1 + 7. Let q 