u(f). Let j be a(8). Is j greater than or equal to 2?
False
Let k(f) = -f**2 + 4*f. Let l be k(3). Let z be l/(-12) - 7/4. Let x be -3 - z - (-10)/4. Which is greater: 2 or x?
2
Let m = 43 + -42. Which is smaller: m or 7/6?
m
Let n = -0.8 - -0.7. Is -19/5 at most as big as n?
True
Let h = -1/4905 + 97126/34335. Let w = h + -17/7. Are 1 and w equal?
False
Let t be (6/5)/(6/40). Suppose -1 + 4 = a. Suppose 0 = a*v + 2*d - t, -5*d + 12 = v - 8. Is 1 greater than or equal to v?
True
Suppose y = -3*y - 8. Let s be -1 + 1 + y + 5. Suppose 0 = -s*t + 2*t + 1, 2*h - 4*t = -6. Which is smaller: 0 or h?
h
Suppose 50*k - 45*k = -90. Which is bigger: 3/7 or k?
3/7
Let z = 29 + -26. Are z and 15/8 non-equal?
True
Suppose -4*k - 10 = 5*s, -2*s = 3 - 7. Let t = -33 + 36. Suppose -5*f + 1 = -2*o + t, 2*f + 16 = -3*o. Is k at most o?
True
Let d = 933 + -17731/19. Is d smaller than -1?
False
Suppose -4*m + a = -1, 2*m - 5 = -a - 0*a. Let o = -2 - -3. Is m at most o?
True
Suppose -29 = -2*h - 7. Suppose 4*p - 1 = h. Which is smaller: p or 4?
p
Let d = -12.3 + 12.17. Which is smaller: d or 0.4?
d
Let c = 3 - 2.96. Let n = c - 0.14. Is n > 6?
False
Let t be (-856)/(-1302) + 78/(-117). Is -1 at least as big as t?
False
Let f = -255/77 - -38/11. Let z = -0.4 + 0.5. Which is bigger: f or z?
f
Let x be (1/(-10))/((-4)/30). Let a = 0.05 + -0.15. Is x not equal to a?
True
Let j be (-3 - -1)*(-5)/2. Let y be 31/7 + (-20)/(-35). Is j at most y?
True
Let u be 2/(-2 - -4) + -1. Let g = u + 4. Suppose g = 3*n + n. Is -2/13 smaller than n?
True
Let b be (-9)/15 + (-2)/5. Let c be (-2)/132 - b/(-6). Which is greater: 1 or c?
1
Let m be -3 + -3 + (-96)/(-15). Is -12 > m?
False
Let y = 1.3 + -1.4. Is 0.1 > y?
True
Suppose -i - 18 = j, 5*j + 136 = 4*i + 46. Which is smaller: j or -20?
-20
Let p = -32 + 32.9. Is p bigger than -3?
True
Let h = -16.89 - -13.9. Let s = h + -0.01. Which is greater: s or 0.1?
0.1
Let v(c) = c**3 - 6*c**2 + 6*c - 2. Let h be v(5). Suppose h*p = -4*t + 19, -2*t - 7*p + 22 = -3*p. Do 1 and t have the same value?
True
Let t = -1 - -4. Suppose 25 = t*x + 2*x. Let a = x - 4. Which is bigger: 1/4 or a?
a
Suppose -3*x - 12 = -7*x. Suppose -2 = -4*n + 2*o, 3*n - o - x = -n. Which is smaller: -2 or n?
-2
Let i(a) be the second derivative of a**5/5 - a**4/12 + a**2/2 - 3*a. Let q be i(-1). Which is smaller: -5 or q?
-5
Let k = -200 - -201. Which is smaller: k or 61/5?
k
Let g = 1 - -4. Which is bigger: g or -2/11?
g
Let p = -17 + 16. Which is smaller: -4/3 or p?
-4/3
Let b(x) = -x**2 + x + 1. Let p be b(1). Let d = 2 - p. Let u be d/1*1*-2. Is -2/3 equal to u?
False
Let s(k) = -k**2 + 5*k + 8. Let p be s(6). Suppose 5 - p = x. Is 0.1 greater than x?
False
Suppose -3*y = 2 - 5. Do -1/36 and y have different values?
True
Let d = 16 + -41. Let p = d - -25.3. Which is smaller: 2 or p?
p
Let n = -8227619/2509208 - -3/24127. Let t = n + 3/104. Which is smaller: -3 or t?
t
Let b = -52 + 207/4. Let i = 0.12 + -0.04. Is i equal to b?
False
Let j = 2/107 - 212/22791. Is 1 smaller than j?
False
Let r be ((-1 - 1)/2)/1. Let j be r/2 + 18/4. Suppose 0 = j*g - 7*g. Which is smaller: g or 5?
g
Let p = 60.9 + -61. Are -29 and p nonequal?
True
Let w(g) = 27*g - 28. Let m be w(1). Let p(b) = b**3 + 4*b**2 + b + 3. Let x(c) = c**2 + 1. Let n(i) = -p(i) + 4*x(i). Let r be n(1). Are m and r equal?
True
Let t = 16 - 16.11. Let s = 0.46 + t. Let q = s - -0.05. Which is bigger: q or 1/2?
1/2
Let t(w) be the third derivative of -w**5/60 + w**3/6 - 2*w**2. Let p be t(-1). Is 2 < p?
False
Let y = -0.089 - -0.289. Is -5 less than or equal to y?
True
Suppose 10*a + 84 = 4*a. Is 4 bigger than a?
True
Let g = -99 - -102. Which is smaller: 16/9 or g?
16/9
Let f = -16 + 15.3. Let z = f + 1. Let b = z + -0.3. Which is greater: -1 or b?
b
Suppose -20 = -5*k - 2*n, -k = n - 9 + 2. Let b = k + -2. Suppose -4*d + 2*d = b. Which is smaller: 1 or d?
d
Let i(t) = 4*t**2 - t. Suppose 5*v - 5*d = -10, -4*v + d = -d + 2. Let y be i(v). Let w be 1 + (y/2 - 2). Are 2 and w nonequal?
True
Let d = 1228/7 - 40664/231. Let w = -2002115/99 + 20223. Let i = d - w. Is i less than 1?
True
Let u = -4 + 7. Let h be ((-1 - 2) + u)/2. Is h >= 0?
True
Suppose 2*a = -0*a + 12. Let i be (-2)/(-4) + a/4. Let o be (-57)/126 - i/(-7). Do o and 0 have the same value?
False
Let x(o) = o**2 + 3*o - 5. Suppose -4*i = 5*v + 26, 4*i + 3*v = v - 20. Let g be x(i). Which is greater: -1/2 or g?
-1/2
Let n(l) = l + 10. Let b be n(-10). Are b and 2 unequal?
True
Let t be (3/11)/((-18)/28). Let n = -1/11 - t. Suppose -3 = -z - 4. Is z smaller than n?
True
Let l(n) = n - 7. Let d be l(6). Let j be (3/(-4) - -1) + d. Are -2 and j non-equal?
True
Let l be (1/(-1) - 1) + 3. Let i be l/5 - 9/35. Which is bigger: i or -1?
i
Let z = -1.78 + -57.22. Does 2/9 = z?
False
Suppose 0 = -5*z - 42 - 98. Are -27 and z non-equal?
True
Suppose 13 = 3*r - 3*q + q, 3*q + 3 = -r. Let v be 26/(-10) + (-2)/5. Let g = v + r. Which is greater: g or -1?
g
Let c(o) = o**2 + 5*o - 4. Let i be c(-6). Suppose i*l = -3*l. Is l at most -6?
False
Let a be 12018/(-105)*30/(-24). Let q(j) = -j**3 - 3*j - 3. Let n be q(5). Let k = a + n. Is k at least -1?
True
Let f = 61.9 + -62. Let l = 5 - 5.8. Which is bigger: l or f?
f
Suppose 5*m + 1 + 19 = -5*k, 2*m = 3*k - 8. Let s = 2.4 - 1.4. Is s smaller than k?
False
Let x = 0 - -0.1. Let h = 50.9 - 48. Let f = x + h. Is -2/5 at least f?
False
Let a be -1 + (-76)/10 - 0. Suppose 66*i + 18 = 64*i. Let k = i - a. Which is bigger: k or 2?
2
Let s = -39 - -53. Is 0 greater than s?
False
Let s = -35/8 + 1265/24. Let c = -49 + s. Suppose 4*t = -9 + 1. Which is bigger: c or t?
c
Let y be (-2)/(-3)*15/(-2). Let c(b) = -2*b + 3. Let x be c(y). Suppose -x + 1 = 4*f. Which is smaller: f or -5?
-5
Let t(q) = -q**2 + 14*q + 9. Let u be t(15). Is u != 3/2?
True
Let b be 144/33 + 8/(-2). Is b at least 1?
False
Let h = -18 - -17.8. Let n = -0.17 - -1.47. Let m = 0.3 - n. Which is bigger: m or h?
h
Let w(r) = -r + 8. Let n be w(0). Let z = n - 5. Is z at least 5?
False
Let j be ((-3)/(-36))/((-10)/(-16)). Let l(k) = 5*k**2 - k - 1. Let x be l(-1). Suppose 10 = 2*u - 7*u - x*r, -3*r - 6 = 0. Is u bigger than j?
False
Let z = 0.7 + 0.3. Let s = -1.1 + z. Let g = 31 + -29. Which is smaller: s or g?
s
Let m(a) = -a**2 - 9*a - 3. Let h be m(-3). Is h < 15?
False
Suppose a + 2 = -1. Suppose 0 = 6*c - 2*c. Suppose c = 4*z - b + 11, -3*b + 1 = -5*z - 4. Does z = a?
False
Let n = 0.429 - 0.129. Which is smaller: 0.12 or n?
0.12
Let y be 12/7 + 4/14. Suppose 0 = 4*a - 3*q + 2*q + 8, a + 9 = y*q. Let k be 14/(-18) + 3 + -2. Which is smaller: k or a?
a
Let j(m) = m**3 + 12*m**2 + 2. Let r be j(-12). Let p = 1 + -1. Suppose -4*z + r*z + 6 = p. Do 4 and z have the same value?
False
Let k = 78 - 78.02. Which is smaller: 0.5 or k?
k
Let y(r) = 16*r + 13*r - 28*r. Let f be 1 + -2 - (0 + 0). Let b be y(f). Is b less than -3?
False
Let y(l) = -4*l + 31. Let r be y(7). Which is bigger: 0 or r?
r
Let w be 2*1/(-6) - -1. Let m = 2/1483 - -143843/5932. Let r = m + -24. Which is smaller: r or w?
r
Let z = -26 + 49. Which is greater: 0 or z?
z
Suppose -5*p - 3*g - 10 = -0*g, -30 = 2*p - 4*g. Suppose 0 = -2*v - 11 - 1. Let i be (0 - 3)*(-8)/v. Which is bigger: p or i?
i
Let f be (-6)/(-5)*(-20)/(-6). Let m be 21007/(-60) - (-1)/f. Let d = m + 350. Does d = 0?
False
Suppose 2*t + 2*t = 0. Is t smaller than -5/8?
False
Suppose 7*d - 49 = 8*d. Does d = -50?
False
Let h = -8 - -12. Which is smaller: h or 11/4?
11/4
Suppose -2*y + 0*v - 3*v = -1, -4*y = 2*v - 6. Let c be 6*2*(-2)/(-4). Let j = 6 - c. Is j less than or equal to y?
True
Let x be (-80)/42*18/(-24). Is 2 at least x?
True
Suppose -5*r - 130 = -4*w, r - 104 = 5*r + 4*w. Are r and -24 nonequal?
True
Suppose -2*t - 225 = -63. Which is smaller: t or -80?
t
Suppose 8*k - k = 91. Are k and 59/5 equal?
False
Let r = -5.12 + 0.12. Let g = 3 + r. Let d = 1 - 1. Is g >= d?
False
Let o = 23 + -16. Suppose -2*a - o = -3*q + 7, q - 2 = 2*a. Let x = q + -1. Which is bigger: 4 or x?
x
Suppose 0 = -p - 4*p - 2*v + 108, -3*p + 4*v + 44 = 0. Suppose 0 = 2*j - 5*b + 16, 0 = 4*b - p + 4. Which is bigger: j or 3/4?
j
Let a = -15 + 9. Let y be 4/a - (-8)/3. Suppose u + y*u = 12. Is 0 > u?
False
Let w be -1 - ((-8)/4 - 2). Let p be