 (-8)/(-10)). Let j be o(x). Is 1 < j?
False
Suppose -5*j + 3*t + 10 = -4*j, 4*j + 2*t = -16. Suppose 0*r - 5*s + 29 = -r, 2*r + 3*s + 6 = 0. Let q be (-7)/9 - (-2)/r. Which is bigger: q or j?
q
Let s(g) be the first derivative of g**3/3 + g**2 - g - 3. Let v be s(-3). Let r(a) = a**3 + 4*a**2 + a + 5. Let w be r(-4). Is w less than v?
True
Let d = 5 + -7. Let t = 5 - 5.2. Which is smaller: d or t?
d
Let k be 6/8 - (-126)/(-72). Do -3/11 and k have different values?
True
Let i(p) = p**3 + 2*p**2 - 2*p + 4. Let g be i(-3). Let d(a) = -a + 16. Let z be d(0). Let v be z/(-30)*(-6)/8. Which is smaller: g or v?
v
Let b(m) = 10*m + 1. Let j be b(1). Is 1 > j?
False
Let a be 1 - (-31)/(-4)*(-8)/(-46). Is a at most as big as 0?
True
Suppose -5*j = -2*z - 1 + 18, -5*j - 10 = 5*z. Let q = -307 - -7674/25. Is q >= z?
False
Let p = -40 + 41. Let g be (2/(-5))/(2/(-10)). Let t be p/((-5)/(-2) - g). Is t at least as big as 2?
True
Let b(n) = -3*n**2 + 2*n + 19. Let u be b(-4). Which is smaller: u or -36?
u
Let n be -1 - -1 - (-44)/24. Let k = -25/12 + n. Let y = 368/5 - 74. Which is smaller: y or k?
y
Let z be 2/5 + (-77)/5. Which is greater: z or -11?
-11
Let u(n) = n + 5. Let d be u(4). Let k = d - 5. Is 4 at most k?
True
Suppose 4*x - 2*x - 10 = 0. Which is smaller: 3 or x?
3
Suppose -3*g + 2*l + 45 = 0, g - 13 - 15 = 5*l. Is 10 < g?
True
Let d = 641 + -24997/39. Let z = -61/429 + d. Which is smaller: 1 or z?
z
Let g be (0 + 1)/(3 + -2). Let h = 2 + g. Let b = -158 - -160. Is b bigger than h?
False
Let u = 13 + -6. Let j = -9 + u. Which is bigger: j or -1?
-1
Let l = 10 - 8. Suppose l*k + 0*k = 0. Let j = k - -5. Is j bigger than 6?
False
Let i = -22 - -20.7. Let v = 0.3 + i. Is v smaller than -12?
False
Let r = 21 - 12. Suppose 2*y - 21 = n - r, 3*y = 2*n + 20. Let p be 43/9 + 4/18. Is y not equal to p?
True
Let h be 2/(-8)*(-1332)/6. Let q = h + -53. Which is greater: q or 2?
q
Suppose -l = p - 2, -3*l + 4*p - 13 = -2*l. Let j(v) = v**3 - 4*v**2 - 2*v + 6. Let n = 11 + -7. Let b be j(n). Is l bigger than b?
True
Let k(h) = h**3 + 4*h**2 + 2*h + 2. Let b be k(-3). Suppose -f - w + 1 = -4*f, -3*w = -b*f - 7. Which is smaller: 2/17 or f?
2/17
Suppose 4*w = 3*n + 5 + 6, -w + 5*n - 10 = 0. Suppose 2*m = -j - 4*j - 16, -20 = w*j. Is m < 2?
False
Let r be (-3)/251*12/18. Let s = -492/1255 + r. Which is bigger: -1/2 or s?
s
Let w = 0.08 - 20.08. Are w and 0 unequal?
True
Let v = 255.98 + -245. Let y = -11 + v. Which is smaller: y or 1/4?
y
Let l be 2*(3 - (-5)/(-2)). Let t = 2 - l. Which is smaller: 4/3 or t?
t
Let y = -67 + 58. Is -9 >= y?
True
Let y = 47/20 - 11/4. Let t = 81/10 - 38/5. Which is greater: y or t?
t
Let a = 26 - 6. Suppose -h - 4*h = -a. Which is smaller: 3 or h?
3
Suppose -25 - 15 = -5*v. Let u be (-4)/(-3)*12/v. Is u >= -2/7?
True
Suppose -t + y + 4*y = -19, -5*t = 5*y + 25. Which is bigger: 3/8 or t?
3/8
Suppose 3*c - 4*c = -2. Is 5/4 less than c?
True
Let j(k) = 11*k**3 - 2*k**2 + 2*k. Let z be j(1). Suppose -r + 1 = -11. Is r greater than or equal to z?
True
Let q(f) = -6*f + 1. Let c = 1 - 0. Let j be q(c). Are j and -4 equal?
False
Let c = 3 - 1. Suppose 18 = -c*n - n. Let k be (-4)/(-18) - n/(-27). Which is smaller: -2/11 or k?
-2/11
Let s be (-10)/(-15) - 8/3. Let c = s - 1. Suppose -v - 3*v - 12 = 4*y, -y + 1 = -v. Do v and c have different values?
True
Let f = 455/6 - 76. Is f smaller than -0.02?
True
Let y = 496238 - 6941609/14. Let m = y - 409. Which is greater: m or 1?
1
Let p = -60 - -33. Let k be 3/5 - p/180. Which is greater: k or -1?
k
Let j = 24 + -22. Which is greater: j or 16/5?
16/5
Let q be 4/10 - (-10)/(-25). Which is smaller: 6/13 or q?
q
Suppose 35 = 8*t + 11. Which is greater: t or -1?
t
Let o be (5 - 5) + (-24)/(-1) + 0. Is -1 >= o?
False
Suppose -26 = h - 30. Is 32/9 > h?
False
Let t(u) = 2*u**2 + 7*u + 6. Let q be t(-4). Let f = q + -7. Let x = 7 + -4. Is f >= x?
True
Suppose n = -n - 8. Suppose -11*o + 6*o + 50 = 0. Let t(k) = -k + 7. Let y be t(o). Is y != n?
True
Let l = -7 + 2. Let f = 8 + l. Is f less than -1?
False
Let o(z) = 25*z**3 - 2*z + 1. Let h be o(1). Let a be 88/h + (-1)/(-3). Suppose u = -a*u - 10. Are 1 and u non-equal?
True
Let k = 32 + -37. Is -5 < k?
False
Let l be 28868/(-21080) + 6/4. Let c = l + -2/155. Which is bigger: c or -1?
c
Let d = -5/82 + -1769/574. Let f = d - -51/14. Is 0 bigger than f?
False
Let m = 27 + -19. Suppose -4*k + j = -j + 8, 4*k + m = 4*j. Let y = 17 + -18. Which is smaller: k or y?
k
Let w = 1 + 3. Let h = w - 5. Let r = 4 + h. Is 0.1 smaller than r?
True
Suppose 3*f = 15, 2*l - 5*l - f = 13. Which is smaller: -7 or l?
-7
Let d = -1 + 0.93. Let n = 0.17 + d. Are -1/4 and n nonequal?
True
Suppose -2*b + 2*s = -18, 0*s + 2*s + 33 = 5*b. Which is greater: 2 or b?
b
Let m = -4/23 - -75/299. Let d = 9/52 + m. Let t be -3 + 12/24*1*6. Which is smaller: d or t?
t
Let t = 271/204 + 1/204. Is 0 at most as big as t?
True
Let u = 24 + -25. Which is bigger: u or 2/23?
2/23
Let v = -13 + 12. Is v greater than or equal to -2?
True
Suppose -4*s + 10 = -5*d, -5*s + 19 - 2 = -4*d. Does 5 = s?
True
Let f = 2/435 + 848/4785. Let g(z) = z**3 - 4*z**2 + 5*z - 7. Let i be g(3). Which is bigger: i or f?
f
Suppose 6*n - 3*n - 66 = 0. Let l be 9/12 - n/72. Is l greater than -1?
True
Let s be (3 + -5)/((-4)/(-5)). Which is smaller: -4 or s?
-4
Let q = 157999/7 + -22390. Suppose -2*a + 356 = -0*a - 3*o, -3*a = -3*o - 537. Let l = a - q. Which is bigger: l or -1?
l
Let v = 1.23 - 0.23. Is 5 at least as big as v?
True
Let c be 3*4/3*1. Suppose c = 5*a - 1. Are a and 0 equal?
False
Let r(o) = o**3 + 20*o**2 - o + 7. Let i be r(-20). Is -0.1 > i?
False
Suppose -3*c - 8 = -5*s, 2*c + 0*s = 2*s - 4. Suppose 0 = 5*i + 5 + 5. Which is smaller: c or i?
i
Suppose -1135 - 137 = -2*y. Let k be ((-3)/y)/((-6)/(-8)). Let a = 311/1113 - k. Which is greater: a or -1/3?
a
Let h = -19 + 9. Let j = 10 + h. Let k = j + 1. Which is greater: -2 or k?
k
Suppose 3 = 3*m + 6. Let h be 58/(-2)*(m + 0). Suppose h = 5*t + 2*i, 4*i - 13 = -3*t + 2*t. Which is smaller: t or 4?
4
Let t(r) = -r**2 - 3*r + 7. Let b = 7 + -12. Let j be t(b). Which is greater: -2 or j?
-2
Let n be ((-2065)/90)/7 + (-3)/(-1). Which is bigger: -1 or n?
n
Let m = 29230/29 - 502428/377. Let a = 325 + m. Which is greater: a or -1?
a
Let s = 2.1 + -0.1. Let b be 52/8 - (-2 + 0). Let z = b + -89/10. Is s <= z?
False
Let k be -2*(-1)/4*-2. Let w be (16/6 + k)/(-1). Which is bigger: w or -1?
-1
Suppose -2*q - 2*q = 52. Which is greater: -14 or q?
q
Suppose -l + 3*s - 29 = 4*l, -s - 13 = 4*l. Is l < -5?
False
Suppose -1 = -3*n + 2*n + o, 13 = 4*n - o. Suppose -m + n*m = 0. Suppose m = 2*u - 4*v - 10, v = u - 3*v - 9. Which is smaller: u or -2?
-2
Let p(v) be the first derivative of v**2/2 - 5*v - 4. Let c be p(8). Let w be 6*c*1/30. Which is smaller: w or 2?
w
Let g = 30 - 27. Which is bigger: 4 or g?
4
Let x be (30/8)/(6/16). Let m be (8/x)/(1/(-5)). Let k = 26 - 30. Is m <= k?
True
Let t(a) = -a**3 + 6*a**2 + 6*a + 7. Let d(l) = l**2 + 3*l - 3. Let w be d(2). Let s be t(w). Let q = -48 - -145/3. Is s less than q?
True
Let s = 6 + -4. Let o be (((-2)/6)/((-4)/(-24)))/2. Does o = s?
False
Suppose r = 2*r. Let l be (4 - 4 - r)/1. Is l > -3/5?
True
Let w = -483 - -4343/9. Suppose 3*u + 11 = 2*h, 4*h - 12 = -3*u + 1. Is u not equal to w?
True
Let w be 248/(-3) - 5/(-10). Let b = 82 + w. Let i = -1/3 + b. Which is smaller: 1/4 or i?
i
Let x = 0 - 9. Suppose -5*r = q + 46, 0 = 2*r - 5*r + q - 34. Is r less than x?
True
Let f be -1 + 3 - (-3 + 3). Suppose -f*s = 3*s + 10. Let v be (-2 + (s - -4))/2. Which is smaller: v or -0.1?
-0.1
Let b = 1.3 + -17.3. Let k = -18 - b. Are 1 and k non-equal?
True
Suppose 4*c - c + 9 = 0. Which is smaller: -0.2 or c?
c
Let a = -6 + 1. Let x = -5 - a. Let l = -1239/10 - -124. Which is bigger: x or l?
l
Let l = -4 + 2. Let y(q) = -q - 1. Suppose -2*z = -7*z. Let u be y(z). Is l greater than u?
False
Let s(n) = 2*n**2 + 3*n - 2. Let f be s(1). Let y be (-4)/(-1)*f/30. Which is smaller: y or 0.2?
0.2
Let g(d) = -d**2 + 5*d + 13. Let t be g(6). Is t > 6?
True
Let l = -9 - -13. Suppose 6*g = -x + g - 4, -l*g - 8 = -4*x. Let b = 6666/17 - 392. Which is greater: b or x?
x
Suppose 3*c - 3*o = -3, -5*c + 4*o = -3*c + 6. Which is grea