Is j at least 2?
True
Let j be (1 - -2) + 1/(-1). Let g be j - 3 - (-1579)/(-8). Let z = -198 - g. Which is smaller: z or 1?
z
Let u be 10/(6/(-3))*1. Let v be u*2/6*-3. Is v > -0.1?
True
Let k = -1945/14 - -139. Suppose 4*w + 20 = -3*v + 7*v, 4*w - v = -8. Which is greater: k or w?
k
Let j be 2/3*15*(-1)/13. Is j at least -2?
True
Let s be 1716/1755 + (-2)/(1*2). Is -1 not equal to s?
True
Let j = 80 - 54. Suppose 5*f - 44 = j. Let s = f + -41/3. Which is bigger: -3/2 or s?
s
Let w(r) = -r**3 - 15*r**2 - 13*r - 6. Let q be w(-14). Is q less than or equal to -1/4?
True
Suppose -5*m = l + 4*l - 15, -5 = -5*l. Let k be ((-1)/m)/(55/20). Which is smaller: 0 or k?
k
Suppose 0 = 5*m - 5 - 0. Which is greater: 1.2 or m?
1.2
Let y = -67 - -738/11. Let w = y + -13/22. Do w and -2 have the same value?
False
Suppose -7*g = -3*g + 4. Do g and 2/25 have the same value?
False
Suppose 0*u + 5*y = 3*u - 20, 2*y - 13 = -3*u. Let t = 15 + -11. Is u < t?
False
Let i = 623/4 + -155. Let y = -1.5 - -0.5. Is y != i?
True
Suppose 0 = -c + 5*z - 3, c = -4*z - 7 - 23. Do -18 and c have different values?
False
Let c = 3/2 - 2. Is 0.1 less than c?
False
Let g be (-4)/(-126)*12/(-16). Which is smaller: 0 or g?
g
Let k be -4 + 6/(6/3). Suppose 5*r = -2*y - 33 - 0, -5*y - 2*r - 30 = 0. Is k less than or equal to y?
False
Let i be ((3078822/8)/(-3))/(-25). Let a = 5131 - i. Let u = -3/25 - a. Is 1 < u?
False
Let f be (-13)/(702/(-132))*-2. Which is bigger: -0.1 or f?
-0.1
Let g = 1.6 - 1.6. Which is smaller: -12 or g?
-12
Let s(a) = 5*a + 2. Let m be s(-2). Let h be 4/6 - m/(-12). Let f = 43/4 - 11. Does f = h?
False
Let c(j) = 5*j + 10*j**2 - 1 + 4 - 4*j**2 - j**3. Let m be c(5). Let s = -161/3 + m. Which is smaller: 1 or s?
s
Let w = -1 + -91. Let m = 23608/9 + -45557/18. Let d = m + w. Is d at most as big as 0?
False
Let z(d) = -d**2 + 16*d + 13. Let y be z(17). Which is smaller: y or -6?
-6
Let d be ((-5)/(-10))/((-2 + 0)/54). Which is bigger: -13 or d?
-13
Let p = -14.2 + 15. Which is smaller: 0 or p?
0
Let s = 2 - -1. Let l be s*(-2 - (-13)/7). Does l = 0?
False
Let r = 58 + -59. Is r greater than or equal to -1/2?
False
Let g = -6.8 - -7. Let j = g - -0.7. Let w = j + -1. Is -0.1 not equal to w?
False
Let q = -1 - 3. Let v = q + 5. Which is greater: v or 3/2?
3/2
Let w = -0.17 + 0.07. Let i = w + 0.9. Let q = i - 0.74. Which is smaller: -1/3 or q?
-1/3
Let y(b) = b + 1. Let t be y(1). Suppose -2*s - t = -4. Are -2/15 and s non-equal?
True
Let h = -4/147 - 2197/294. Is -8 bigger than h?
False
Suppose 0*m - m - 1 = 0. Which is smaller: 2/175 or m?
m
Let c = -126 + 5797/46. Is c at least -1?
True
Let a be (-6)/(2/(-2) - 1). Suppose 1 + 2 = -a*m. Which is smaller: 2/11 or m?
m
Let a = 20 - 14. Is 2 at least a?
False
Suppose 5 = -3*z - 4. Let f = 1 + -1. Suppose f*v - 5 = v - j, j = 4. Which is smaller: z or v?
z
Let j = -1/801 - -713/801. Let w = -5/9 + j. Which is bigger: 1/2 or w?
1/2
Let m be 4/10 + (-6)/(-10). Let r = 737 + -50852/69. Let g = r + 133/345. Which is bigger: g or m?
m
Let s = -6.1 - -6. Let b = -4 - -4.2. Let o = b + s. Is 2 at least o?
True
Let r be 1 + 0/(-2 + 0). Let m(t) = 5*t**3 + 1 + 4*t**2 - 4*t**2 - 2*t**2. Let n be m(r). Which is greater: 3 or n?
n
Let p = 0.59 - 0.09. Let m = 0.7 - p. Which is greater: m or 1/7?
m
Suppose 3*a = 7 - 1. Which is greater: a or 30?
30
Suppose 2*b + 0*b = 0. Suppose 0 = 5*i - 5*h + 20, 3*h - 2*h - 5 = b. Are -1 and i nonequal?
True
Let h = 9 + -9. Let z = -0.01 - 0.29. Let r = h + z. Which is greater: 0 or r?
0
Let p = 4 + -3. Let o = -50 - -50. Are o and p non-equal?
True
Let x(t) = -t**2 + 7*t - 1. Let v be x(7). Let p be v + 3 - 3/2. Which is smaller: -0.3 or p?
-0.3
Suppose 4*b + 0 - 8 = 0. Let g be 4/3*(-15)/b. Is -10 at most g?
True
Let m = -8 + 13. Suppose 2 = a - 0*a. Suppose 6 = 2*r - a. Which is smaller: r or m?
r
Suppose -33 = -2*f + t, 0*f - 3*t = 4*f - 51. Do 14 and f have the same value?
False
Let f = 2 - 0. Suppose -5*l + 38 + 2 = 0. Let w be (-1*l/(-18))/f. Is 0 < w?
True
Suppose 3*v + 1 = 13. Let t be (2/v)/((-5)/10). Are -6/11 and t equal?
False
Let k = -8 - -9. Is 1/3 less than k?
True
Let a(y) = 4*y**2 - 3*y - 2. Let n be a(3). Let i be ((-2)/5)/(40/n). Which is smaller: 0.02 or i?
i
Let c(r) = -r - 4. Let v be c(-4). Suppose w = -v*w. Suppose w*u = -4*u. Which is greater: 1/5 or u?
1/5
Let z(t) = t**2 - 6*t - 1. Let o be z(6). Let h be (o/3)/(4/(-12)). Which is greater: -3 or h?
h
Suppose 0 = -0*h - 2*h + 4. Suppose -3 - 5 = -h*p. Is 3 greater than p?
False
Suppose -3*b + 7*b - 4 = -4*a, -b = 5*a - 13. Let v = -4 + a. Let k = 1 - 4. Do v and k have different values?
True
Let q be 1/4 + -3 - (-24)/32. Suppose 5 = -3*r - 7. Is q <= r?
False
Suppose 2*v - 7*v + 10 = 0. Let h = -9 + 11. Is v at least as big as h?
True
Suppose m = -3*m. Which is greater: -1/8 or m?
m
Suppose 0 = -5*d - 5*w - 30, -3*d - 16 = -d - 2*w. Which is smaller: -6 or d?
d
Let k be ((-14)/49)/((-2)/56). Is 8 at least k?
True
Let v(b) = 2*b**2 + 7*b + 13. Let h be v(-4). Which is smaller: 18 or h?
h
Let o be 2/13 + (-300)/(-78) + -12. Is -2 at least o?
True
Let m be -1 + 0 + 3 - 88. Let b = -689/8 - m. Suppose 2*w - 2 = -0*w. Do b and w have different values?
True
Let h be (-1)/3 + 2/(-4). Let r = h - -1/3. Are r and -1 non-equal?
True
Let r = 8 + -7. Is 14/9 >= r?
True
Let m(q) be the third derivative of q**4/24 + 5*q**3/6 + q**2. Suppose 0*y + 2*y = 2*k - 4, 0 = -5*y - 2*k - 24. Let c be m(y). Which is smaller: 4/9 or c?
4/9
Suppose -y + 5*o + 25 = 0, -y + 4 + 1 = -o. Let l be (y + (-6)/(-4))*2. Suppose -5*t - l = -2*t. Which is bigger: t or 2/7?
2/7
Let o = -0.02 + 6.02. Let q = o + -5.8. Are q and -1 unequal?
True
Let f be 15*(-1)/198*-251. Let x = -113/6 + f. Let h = -173 + 172. Is x at most h?
False
Suppose 4*l - 16 = k, 5*l - 20 = k + k. Which is smaller: -1 or l?
-1
Let c be (-7)/(-84)*-2*4/(-14). Which is bigger: c or -0.1?
c
Let i = 14 - 8. Let a = i - 5. Which is bigger: 0.2 or a?
a
Let m be (-8)/(-20) + 234/15. Is 18 greater than m?
True
Suppose 5*o = 5*f + 35, -o + 9 = -2*f + 3*f. Which is smaller: 10 or o?
o
Let o = -14 - -16. Let z = o - 2.1. Is z >= -5/2?
True
Let k = 0.45 + -0.4. Which is bigger: k or 5/6?
5/6
Let s be 1/(((-3)/(-1))/(-9)). Let o = -6 - -4. Let x be (-44)/24 + o/(-6). Which is bigger: x or s?
x
Let n(p) = -p**3 - 7*p**2 - 7*p - 3. Let m be n(-6). Suppose -m*s - 21 = -0*s. Suppose 0 = 4*u + 121 - 93. Are u and s non-equal?
False
Let b = 8 + -6. Let z = -0.66 + 0.56. Which is smaller: z or b?
z
Let u = -52 - -27. Which is greater: -26 or u?
u
Suppose 112 = 4*y - 0*y. Let w be (y/10 - 3) + 2. Which is smaller: w or 3?
w
Let t(b) be the second derivative of b**5/20 + b**4/3 + 2*b**3/3 + 3*b**2/2 - 2*b. Let u be t(-3). Is u <= 1/22?
True
Let m = 13/3 + -13/2. Which is greater: -1 or m?
-1
Let c be (24/29130)/(2/(-5)). Let q = -2879/16507 + c. Which is smaller: q or -1?
-1
Let w = -169 + 2199/13. Is 1 equal to w?
False
Let f be (-2 + 2)*1/(-3). Suppose 0 = -z - 4 - f. Which is greater: -3 or z?
-3
Suppose 2*f + 2*s - 128 = 0, -4*f + 5*s = f - 310. Let t be 14/18 + 14/f. Suppose -4*u = 3*o - 2*o - 4, 2*u - 16 = 3*o. Which is smaller: t or u?
t
Suppose 2*f = -2*f - 4. Which is smaller: f or 3?
f
Let a = 68 + -68. Let z be 1/(4/((-12)/27)). Which is greater: z or a?
a
Let v = 0.79 + -4.49. Let b = -0.7 - v. Which is greater: 1 or b?
b
Let r = 12 - 10. Suppose 2*o = o - r. Which is smaller: -3/2 or o?
o
Suppose 3*a - v = -0 - 12, -2*a + 2*v - 12 = 0. Let k be (-1)/a + (-65)/15. Let d = -4 - -1. Which is smaller: d or k?
k
Let l = 9 + -8. Which is smaller: -2/29 or l?
-2/29
Let i = 17 - 17.1. Let o = -0.1 - -0.3. Let h = o + i. Do -1 and h have the same value?
False
Let a(x) = 4*x - 3. Let h be a(2). Does 0 = h?
False
Let f = -76/135 + -1/27. Is f greater than -1?
True
Let s be 6/4*(-4)/6. Let y(a) = a + 1. Let i be y(s). Is i less than -1/14?
False
Let h = 0.022 - 7.022. Is h >= -0.2?
False
Let p be (0 - 1/(-4))*-1. Let h = -12 + 14. Suppose 0 = 4*u - h*u. Which is smaller: p or u?
p
Let z = 2008 - 845370/421. Let y = 5900/1263 + z. Is y greater than 5?
False
Let u be -5*(-2 - (-9)/5). Suppose 4*n = b + 2 + u, -5*n - 2*b + 20 = 0. Which is bigger: n or 5/4?
n
Let v be ((-3)/(-2))/(3/2). Let u be ((