et j(o) = o**3 + 5*o**2 + 6*o + 10. Let r be j(-4). Which is smaller: 1 or r?
1
Suppose -a + 4*b = 15, 0 = -9*a + 4*a + 5*b - 30. Is 3/8 < a?
False
Let l = 8.4 + -8.392. Which is greater: l or 1/2?
1/2
Suppose 0 = -3*j - 580 - 269. Let h = -20090/71 - j. Is h at least as big as 0?
True
Let m(x) = x**3 - 9*x**2 - x + 23. Let l be m(9). Which is smaller: l or 12?
12
Let j = 28 + -25. Suppose t + 15 = 2*t. Suppose 5*l = 3*p - t, -p - l - 6 = -j. Which is greater: p or -1?
p
Let z(g) = -9*g - 75. Let y be z(-17). Let c = y - 1008/13. Which is smaller: -8 or c?
-8
Let a = 140 - 112. Is 28 != a?
False
Let j be ((-3)/(-10))/(55/25 - 3). Let q(m) = -2*m. Let w be q(-1). Suppose -w*t + t = 0. Is j != t?
True
Let p be (-2)/(6/(-15) - (-12)/5). Which is greater: -4/221 or p?
-4/221
Suppose 5*b + 4*k = -52, -b + 3*b + k + 19 = 0. Suppose 0*t = 2*u - 3*t - 1317, -5*u - t = -3301. Let v be 435/u - (-6)/b. Which is greater: 0 or v?
0
Let s = 310 - 95. Is -1 > s?
False
Let w = 9.37 - -0.13. Let q = w + -8. Are -1 and q nonequal?
True
Suppose 16 = -3*g - g, -g = -5*i - 471. Let x = -1806/19 - i. Which is bigger: 0 or x?
0
Let o(i) = -2*i. Let r(y) = -y. Let c(s) = -s**3 + s**2 + s + 4. Let a be c(0). Let l(q) = a*o(q) - 9*r(q). Let n be l(-2). Is -3 greater than or equal to n?
False
Suppose -4*y = -2*f + 276, -f - 3 = 1. Let d = 21640 + -21712. Is d equal to y?
False
Let w be (-4*(-14)/(-4))/(-2). Let m = -290 + 296. Which is greater: w or m?
w
Let b = -4877/3 + 1626. Is b less than 5/204?
False
Let l(a) = a**2 - 9*a + 22. Let j be l(6). Let b be -1 + j + (-128)/44. Let w = 1 + -2. Is b not equal to w?
True
Let h = 13024009/158400 - 1/17600. Which is bigger: 82 or h?
h
Let f(h) = 4*h - 45. Let b be f(11). Let d be 4/6 - 4086/6372. Which is smaller: d or b?
b
Let y(g) = -g**3 - 27*g**2 - 51*g - 24. Let o be y(-25). Which is bigger: 13/110 or o?
o
Let b = 4.974 + -0.074. Let r = b + -5.9. Are r and -1/7 non-equal?
True
Let c = 8 + -9. Let a be 3/24 + (-42)/288*-2. Which is bigger: a or c?
a
Let p be (39 - (3 - 2))*(0 - 1). Which is greater: p or -39?
p
Let a be 12507/55 + 9/15. Which is smaller: a or 229?
a
Let b = 1007/2 - 503. Is b less than 772?
True
Let u = -589.3 - -590. Is 3 < u?
False
Let p be ((-126)/24 + 5)/((-1)/33). Which is smaller: 8 or p?
8
Suppose -5*f + 3*d - 40 = 0, 3*d = -3*f + f - 37. Let r be (0 - -2) + f/7. Let w(j) = -4*j - 4. Let o be w(-1). Is o < r?
True
Let t = -1 + 1. Suppose 5*n - 12 = -2. Let y be (39/4)/(-3) + n. Which is greater: t or y?
t
Suppose -10 = -5*f, -3*z + 6 = f - 2. Suppose 0 - 2 = -2*x + z*n, -1 = -3*x + 4*n. Do x and 3 have the same value?
True
Let y = -31 + 31. Let x be (y - -1)*1 + -1. Let b be (-3)/(63/(-6)) - 0. Which is greater: x or b?
b
Let x = -266.9 + 267. Which is smaller: x or 1/6?
x
Let k(o) = o**2 + 10*o - 10. Let r be k(-13). Let w(p) = p**3 - 8*p**2 + 6*p + 7. Let l be w(6). Let v = l + r. Is 2/41 at least v?
True
Suppose 3*d - n = 11 - 42, 29 = -d + 5*n. Suppose 7*t + 5*o - 33 = 9*t, -5*t - 57 = -4*o. Is t bigger than d?
False
Let t = -1/2825 + -121453/62150. Let h = t - -3/2. Is h != -1?
True
Let u(x) = -11*x - 4. Suppose -13 = -2*w + 4*a - 5, -5*w + 9 = a. Let l be u(w). Let b be (-14)/(-91) - 74/l. Which is smaller: b or -3?
-3
Let f = -1.522 - -602.522. Is -0.2 equal to f?
False
Let z(n) be the third derivative of n**6/120 - n**5/60 - n**4/4 + n**3/6 - n**2. Let k be z(3). Let s be (-6)/(6/(-2 - k)). Which is greater: -4 or s?
s
Suppose -33 = -3*l + 12. Let j be (l/(-30))/((-1)/48). Suppose j = -6*t - 12. Which is bigger: t or -4?
-4
Let w = -32 - -16. Let j = w + 17. Which is smaller: -3/7 or j?
-3/7
Suppose 8 = 4*f, -3*y - 6*f = -f - 28. Suppose 5*t + 14 = -y. Do t and -4 have different values?
False
Let o(y) = -y**2 - 2*y - 6. Let z be o(-3). Let p = z - -8. Let i be (4 - (0 - -3))/p. Is i < -2/57?
True
Suppose c = -0*c - 2, 7 = v - 5*c. Which is smaller: 2/11 or v?
v
Let m = -0.149 - 0.851. Is -2.4 equal to m?
False
Let m(f) = 6*f - 384. Let p be m(54). Is p less than -57?
True
Suppose -38*z + 35*z - 229 = 5*a, -a + 5*z - 57 = 0. Is a less than -44?
True
Let h(l) = 7*l - 1. Let v be h(-1). Suppose -5*g + 2*z - 5*z - 44 = 0, 3*g = 4*z - 9. Let b = -2 + g. Which is smaller: b or v?
b
Let w = 786.62 + 2.38. Which is bigger: w or -1?
w
Let j be ((-84)/(-5))/(-2)*30/(-9). Let p = -32 + j. Is p at most -5?
False
Let v = -49 + 50. Is 3/91 at least v?
False
Let m = -3 - -2. Let s = 116.41 - 117. Let p = s + 0.58. Which is bigger: p or m?
p
Let z = 3.7 - 1.2. Let u = z + -0.9. Let n = u + 0.4. Which is smaller: -1/2 or n?
-1/2
Let q be (-258)/220 - 4*7/(-70). Let g = q + 389/418. Which is bigger: 0 or g?
g
Suppose 53 - 13 = -4*q. Let h = -1.14 - -1.04. Is h greater than or equal to q?
True
Let w(j) = j**3 - 5*j**2 + j - 6. Let t be w(5). Let p be ((-25)/(-10))/5*t*2. Do p and -6/61 have the same value?
False
Suppose -4*x + 8 = 12. Which is greater: x or -4/19?
-4/19
Let q be 1 + (2 - 3/1). Suppose -p - 4*o + 20 = -3*p, -2*p + 5*o - 25 = q. Suppose 15 = 5*z - s - 8, 0 = 2*s + 6. Does z = p?
False
Suppose 4*m - 975 = 5*p + m, 3*p = 2*m - 584. Is -198 <= p?
True
Let i = 1243 + -1241. Let l = 2/23 - 33/115. Which is greater: i or l?
i
Suppose -2*q = -2*a + 2*q + 128, 0 = 4*q - 12. Are 71 and a equal?
False
Let z = -3797/2 + 1950. Let y = z + -56. Which is bigger: y or -5?
y
Let p = -32 - -34. Suppose -5*g + 0*g - 57 = p*m, -5*m + g - 129 = 0. Let w be (m/8 + 3)/(-4). Which is greater: w or -1?
w
Suppose -2 = -c, -4*c - 6 - 4 = -2*t. Let k(v) = 6*v - 20. Let f be k(t). Is -1 equal to f?
False
Let y = 611 - 607. Which is greater: y or 16/5?
y
Suppose 12*r + 47*r = 708. Let o be ((-10)/15)/(4/(-78)). Which is smaller: r or o?
r
Let i = 49 + -50. Let n be (1 + (-34)/33)/((-5)/45). Which is smaller: i or n?
i
Let p be 8*(-2)/((-2640)/(-486)) - -3. Is 1 at least as big as p?
True
Let l = 2 + -2. Let h be ((2/4)/((-17)/(-595)))/4. Let w = -2127/488 + h. Which is smaller: l or w?
l
Let f be -4 - (-1015)/10 - -4. Let u = 5885/58 - f. Do 0 and u have the same value?
False
Let k = 2.6 - 1.7. Let s = k - 1. Let r = 135 - 271/2. Is s >= r?
True
Let b = -8844278/1477 + 5988. Are -1 and b nonequal?
True
Let c = 30.8 + -85.8. Is c <= 0.3?
True
Let y(r) = -6*r**2 + 95*r + 9. Let s be y(16). Let c = 0.01 + 1.99. Which is bigger: c or s?
c
Suppose 2*w + 2*w = 16. Suppose 0 = -w*o, 4*t - 8*t = -5*o - 108. Let q be (-4)/6*t/(-6). Which is smaller: 1 or q?
1
Let p = 5753/10 - 576. Are p and 0 non-equal?
True
Let j(c) = -c - 16. Let p be j(-14). Let s = -6 - p. Let t be (-24)/(-35) + s/10. Which is smaller: -4/3 or t?
-4/3
Let f be 0/(2/(-4)*-4). Let t = 356/3 + -6034/51. Which is smaller: t or f?
f
Let b be 19/((-1064)/(-32)) + (-103)/21. Is b at least -0.2?
False
Let a = -72 - -77. Suppose s + o = -3, a*s - 5*o = -48 + 3. Is -29/4 smaller than s?
True
Let l be (-426)/(-21) + 2*4/(-28). Are l and 21 nonequal?
True
Suppose -2*x - 3*o + 13 = 0, -5 = 2*o - 3*o. Which is bigger: x or -2/113?
-2/113
Let q = -912 + 258. Is q at least -654?
True
Suppose 2*h = -0*h + 16. Suppose 4*b = h*b. Is b smaller than -3/19?
False
Let c = 0.0529 + -2.0849. Let t = -0.032 - c. Let b be (1 + 0)*(-1)/(-5). Which is smaller: t or b?
b
Let w = 82877/125 + -663. Let a = -57/2000 + w. Let g = 17/240 - a. Is -1 at most as big as g?
True
Let u = -1491 - -1490. Is u != 1/295?
True
Let x = -15 - -15. Suppose x = 2*y - y. Suppose z = -y*z - 3*a - 7, 2*a = -4. Is -1/4 < z?
False
Let x(g) be the first derivative of -g**4/4 + g**3/3 + g**2/2 + 3*g - 1. Let c be x(0). Suppose i - 8 = c*i. Do i and -10/3 have different values?
True
Let f(c) = 17*c**2 + 6*c + 6. Let o be f(-2). Do o and 64 have the same value?
False
Let f be (15 + 0 - 15)*(-2)/(-12). Which is bigger: f or -9/31?
f
Let d be (1 - -1) + -16 + 16. Suppose 0 = -d*q + 4, -10 - 26 = -4*z - 4*q. Suppose -4*x = c - z, -3*x - 1 = -7*x + c. Which is smaller: x or 1/26?
1/26
Suppose 0 = 5*j - 5*k - 635, -j - 16*k = -14*k - 121. Which is smaller: j or 120?
120
Suppose 3*o + 3*g = 0, -8 + 11 = o + 4*g. Do -2/987 and o have different values?
True
Let q = 793 - 172873/218. Do -1 and q have the same value?
False
Let i(d) = d**3 - 12*d**2 + 13*d - 4. Let u be i(11). Suppose -2*t + 4*s - u = -6, -t + 12 = 4*s. Wh