 is smaller: u or 0?
u
Suppose 0 = -5*t + 10, 3*d - 6*t = -2*t + 25. Let k(u) = u - 34. Let s(x) = -1. Let a(o) = k(o) - 2*s(o). Let p be a(d). Which is bigger: p or -20?
-20
Let d = -73 + 9122/125. Which is greater: 1 or d?
1
Let y(h) = h**2. Let o(f) = 2*f**3 + 2 - 2*f**3 - 5*f**2 + 2*f - 2*f**3. Let b(g) = -o(g) - 3*y(g). Let k be b(-2). Do -0.1 and k have different values?
True
Suppose -4*z = -448 - 888. Which is bigger: z or 332?
z
Suppose b = 3*b. Let c(v) be the third derivative of -v**4/24 - v**3/6 + 7*v**2. Let f be c(b). Which is smaller: f or 14?
f
Let j = -6 - -7. Let h be (-4)/(-6 + (-2)/3). Which is bigger: h or j?
j
Let z = 25.9 + -26. Let s = 0.9 - z. Are s and 1/8 nonequal?
True
Let q = -242 + 237. Let n = 16 - 27. Let y = n + 7. Is q not equal to y?
True
Suppose k + 56 = 3*k - 2*u, 0 = -3*k - 3*u + 96. Suppose 3 = -9*r + k. Let t be 18/(-8) - 1/(-4). Is r > t?
True
Suppose 2*w = -2*m + 56 + 68, -3*w - 2*m = -186. Is 61 bigger than w?
False
Let f = 102 + -78. Let s be -16*10/(-1044) - f/108. Which is greater: 0 or s?
0
Suppose -j + 4*d - 14 = -19, 3*j - 5*d = 8. Which is greater: j or 13/12?
13/12
Let k(u) = 2*u - 2*u + 12 + u - 2. Let p be k(-8). Let w be 0 - (3/1 + -5). Is p less than w?
False
Let y = 390 - 404. Which is smaller: y or -1/6?
y
Let m be 7/(-18)*(-16)/24*3. Which is smaller: m or 1?
m
Let u = 38.5 - 50. Let h = 10 + u. Which is greater: 0 or h?
0
Suppose -3*y + 5*d + 25 = 0, -5*y + 0 - 20 = 4*d. Suppose 5*u - 5 + y = 0. Let f = 73/105 - 1/35. Which is bigger: u or f?
u
Suppose -60 = 172*v - 177*v. Is 12 < v?
False
Let c be 3 + (1224/(-27))/(2/6). Is -133 at least as big as c?
True
Let o = -11 - -23. Let b = -29 - -47. Let v = b - o. Is -1 at least as big as v?
False
Let m(g) = -25*g. Let a(o) = 126*o. Let t(n) = 4*a(n) + 21*m(n). Let u be t(-1). Suppose -u = -5*r + 4. Which is smaller: r or 6?
r
Let n(i) = -3*i - 25. Let s be n(-12). Suppose 113 = -s*u - 96. Which is smaller: -18 or u?
u
Suppose 3*j + 3*b + 38 = 14, 19 = -3*j - 2*b. Let p be -3*58/24 - -4. Which is smaller: j or p?
p
Let q be (-7*(-8)/56)/((-10)/(-4)). Which is smaller: -0.031 or q?
-0.031
Let n = -42.17 + 42. Let b = n - 9.83. Let f = b - -12. Does f = 2?
True
Let f(r) = 20*r**2 + 12*r + 3. Let h be f(-3). Is h greater than -0.1?
True
Let i = -166 - -66. Which is bigger: -1 or i?
-1
Let o(h) = 9*h - 35. Let p be o(14). Let u be (-1)/(-6) + (p/(-24) - -4). Let z(m) = -m**3 + 7*m**2 - 5*m - 6. Let t be z(6). Which is smaller: t or u?
t
Let j = -276 - -265. Are j and -12 equal?
False
Let v be (-4)/(-22) + (-160)/(-88). Suppose -3 = -5*l - v*q - 43, 4*l + 5*q + 32 = 0. Which is greater: -4 or l?
-4
Let s = 245 - 91. Let b be (-15)/45 + s/354. Is 0 greater than or equal to b?
False
Let w be 1/(-8) - 375/(-504). Let h = -10/21 + w. Which is bigger: 0 or h?
h
Let z be 30/45 - -4*140/6. Let h = z - 110. Which is bigger: 2 or h?
2
Let r(z) = 6*z + 117. Let v be r(2). Which is greater: 131 or v?
131
Let a(i) = i**2 - 2*i - 5. Let q be a(4). Let c(h) be the first derivative of h**4/4 + h**3 - h**2/2 - 2*h + 1. Let f be c(-2). Is q at most as big as f?
True
Let o = -0.0091 + -4.9909. Which is greater: 6 or o?
6
Let t = 2003 - 2002. Which is smaller: -1/49 or t?
-1/49
Let k be (-9 - -15)*1*-1 - -5. Which is greater: k or -3/14?
-3/14
Let r be (-22)/(-10) - (-4)/10. Let y be (-1184)/(-416) - 4/(-26). Which is smaller: y or r?
r
Let l be (-1464)/(-1620) + (-12)/10. Are -0.3 and l non-equal?
True
Let g = -1 - -0.9. Let b = g - 3.9. Let x = b - 1. Is -2/7 > x?
True
Let z be (-13)/(-5) + (-4)/(-10). Suppose 0*c + 10 = -z*c - 2*l, -5*l - 25 = -4*c. Let n be -1 + c + 4/2. Is n greater than or equal to 12/7?
False
Let j be ((-7)/(-42))/(1/(-4))*3. Let y be (9/12)/(57/(-6) - j). Let t(l) = -l + 1. Let v be t(1). Are y and v non-equal?
True
Let g be ((-2)/(-5))/((-456)/760). Is g less than or equal to 238?
True
Let t = -4 - 129. Let u = -125 - t. Which is greater: 7 or u?
u
Let g(i) = -i**2 + i + 5. Let v be g(6). Let k = v + 17. Suppose 0 = 78*m - 91*m - 117. Is k greater than m?
True
Let x = -3 - 9. Let z be 2/(2 - (-52)/x). Suppose 4*k + 2 = r, -2*r + 8 = -3*k + 2*r. Which is greater: k or z?
k
Let r = -2.245 + -0.055. Let u = r - -0.2. Let i = u + 2. Which is smaller: i or 5?
i
Suppose 5*b + 70 = x - 84, 2*b = 3*x - 410. Are 134 and x equal?
True
Let j = 0.02 - -0.02. Let i = j + -1.14. Let v = -0.1 - i. Is v >= 2?
False
Let g = 83 - 84. Which is smaller: -2/463 or g?
g
Let g(j) = j**2 + 13*j + 18. Suppose 3*d = 12, -2*k - 6 = d + 14. Let v be g(k). Suppose u = -0*u + 2*h + v, 4*u - h - 3 = 0. Which is smaller: u or -8/7?
-8/7
Let n = 16 + -14. Suppose -3 = -n*v - v. Let u = v + -1. Is -1 != u?
True
Let f = 32.15 + -106.3. Let c = 74 + f. Are 0.1 and c unequal?
True
Let t(s) = s + 16. Let l be t(-15). Which is greater: l or -2/13?
l
Let n = -1.66 + 1.76. Which is smaller: n or -36?
-36
Suppose 8*d - 44 = 4*d. Let g be (d/11)/(3 - 1). Which is smaller: g or -9?
-9
Suppose 2*f - f + 2*u = 8, 3*f - 10 = u. Suppose -f*g + 0*g + 4 = 0. Is 9/2 bigger than g?
True
Let u(b) = -b**3 - b + 2. Let q be u(0). Let v be (-2 - 0)/(q + 2). Is v bigger than 8?
False
Suppose -4*v - 4*v = 208. Let l = -11 - v. Is 15 greater than or equal to l?
True
Suppose -16*n + 23*n = -581. Let m = 84 + n. Is 8/19 <= m?
True
Suppose 3*b = -0*b - 21. Let h be (-6)/2 - (-978)/b. Let a = h - -142. Is a at least as big as -2?
True
Let n(a) = a**2 - 10*a + 7. Let k be n(9). Let c be 24/14 - k/7. Suppose -10 = 4*y + c*u, -7 - 9 = 4*y + 4*u. Is -1/3 > y?
True
Let p = -55.7 + 59. Let n = 0.39 + 0.61. Is n at most p?
True
Let r = 131 + -105. Which is bigger: r or 22?
r
Let s(y) = -2*y**3 + 5*y**2 - 3*y + 17. Let x be s(3). Is -17 less than or equal to x?
True
Let y = 0.047 + -0.097. Let i = -0.8 - -1.4. Let b = -1.6 + i. Is y bigger than b?
True
Let i be 7/10 + 14/(-28). Is i > 6?
False
Let q(d) = -4*d - 12. Let l be q(-5). Suppose 0*k = k + l. Let a be ((-6)/k)/((-9)/(-2)). Is a < 1?
True
Let o(h) be the first derivative of -h**3/3 - 5*h**2 + 13*h + 4. Let k be o(-11). Let i = 0 - k. Which is bigger: -1 or i?
-1
Let h = -19 + 1. Let n = h + 3. Let b = n - -15. Is -14 greater than b?
False
Suppose 0 = -4*f + 90 - 94. Is -4/61 greater than f?
True
Let c be (-12)/9*-4 - (-12)/18. Suppose 4 = 2*t + 2. Is c at most as big as t?
False
Let p = 735 + -734. Is p greater than or equal to -6/89?
True
Let d = 7578 + -2478008/327. Which is greater: 1/2 or d?
1/2
Let y(p) = 16*p - 2. Let r be y(3). Suppose 3*c - 3*o + r = -7*o, 2*c - 5*o = -23. Let f = 15 + c. Is f greater than or equal to 1/6?
True
Let x be (22/5)/((-56)/(-4684)). Let b = x - 368. Let z(r) = r**3 + 8*r**2 + 9*r + 15. Let i be z(-7). Which is bigger: b or i?
i
Let d = 65 - -18. Let g = d - 51. Suppose -25 = 4*y - 3*a, -2*y - g = -4*a - 12. Is -3 greater than y?
True
Suppose 44 + 0 = -4*p. Let w = 11 + p. Which is greater: 1/10 or w?
1/10
Let v be ((-718)/2)/(19 + -18). Is -361 greater than v?
False
Let f(h) = -h + 17. Let j be f(12). Let p be (j/2 - 2)/((-111)/12). Suppose -z + 2*z + 3 = -d, 0 = 4*d - 2*z. Which is smaller: d or p?
d
Let q = -1479 + 1479. Let y be (18/15)/((-1)/(-5)). Let r be y/(-21) + (-64)/(-175). Are q and r non-equal?
True
Let y = 25.039 - 0.039. Let x = -28 + y. Is 7 at most x?
False
Let v be (-24)/(-27) + (-2)/9. Let m = 663 - 663. Which is bigger: v or m?
v
Let d be (-29 - 1)/(-5) + -1. Suppose -4*r - 9*s - 172 = -d*s, 5*s + 175 = -4*r. Is -39 less than or equal to r?
False
Let u be (-10)/3*(-31 - -1). Which is bigger: 101 or u?
101
Let z = 868 - 697. Which is smaller: z or 0?
0
Let c = 20169/919 + 72845625/37679. Let f = c - 1956. Let x = f + -118/287. Is -1 not equal to x?
True
Let n = 0.5 + -0.2. Let p = n + -0.4. Suppose -12*k + 9 = -3*k. Which is smaller: p or k?
p
Let o(c) = -c**3 + 7*c**2 + 8*c - 2. Let w = -10 - -18. Let m be o(w). Let x = 2 - 4. Is m smaller than x?
False
Suppose -8*f = -4 + 92. Which is bigger: f or 0?
0
Suppose 3*c - 165 = -5*v, 3*v - c - c - 118 = 0. Let w be 5/10 + 4198/v. Let b = -117 + w. Is b less than or equal to -1?
False
Let o be 2/(-4) + (-3)/6. Let h be 3/(1 - (-1)/(-2)). Let l be (-18)/39*(-2)/h. Which is greater: o or l?
l
Let v = 15.73 - -0.27. Let u = -49 + 34. Let q = u + v. Do