alues?
False
Let c = 318 + -319. Is c less than 5/92?
True
Let g be 80/(-12) - 2/(-3). Let r(w) be the second derivative of w**4/12 + 4*w**3/3 + w**2 + 26*w. Let h be r(g). Which is smaller: -9 or h?
h
Suppose 3*g + 20 = -2*g. Let o = -1 + g. Let w(n) = -n - 11. Let i be w(o). Are -5 and i non-equal?
True
Suppose 0 = -36*x + 19*x - 170. Which is smaller: x or 64?
x
Suppose 0 = 15*r + 4 - 4. Suppose -2 = -k, 2*b - 4*b - 2*k + 6 = r. Are 2/31 and b unequal?
True
Let r be (-10)/(-24) + 18/(-108). Which is smaller: r or -68?
-68
Let c = 251 - 5772/23. Let w be (-9)/(-36) - (-5)/(-4). Which is smaller: c or w?
w
Let g be (14/35)/(9624/20). Let o = -29723202703/3609 - -8235854. Let p = g + o. Does p = -1?
False
Suppose 3*u - 4*u = -4*b - 9, -u + 19 = b. Which is smaller: 4 or u?
4
Suppose 5*n = -3*w - 2*w + 315, 4*n - 3*w = 224. Let s = n - 58. Are 1/44 and s equal?
False
Let v be 4/14 + (-5053)/217. Is v less than -27?
False
Let m = 4084/13 - 314. Let o be 5/3 - -7 - 1/(-3). Suppose 9 = -2*s + 4*d - o, 5*s - 3*d + 10 = 0. Which is smaller: s or m?
m
Let r(g) = 2*g + g**2 + 5 + 4*g**2 - 4*g**2. Let u be r(4). Let c = 18 - u. Which is greater: -10 or c?
-10
Suppose -x = -4*b - 8, 5*x - b = 2*x + 13. Let w be (1 - (-2 - -2))*5. Suppose x*z - a = 7*z + 5, -w = -z + a. Which is smaller: -1/7 or z?
-1/7
Let q = -113/549 - 1/61. Let u = 6.2 + -6. Is u at least q?
True
Let r = -332 - -331. Which is smaller: -17/29 or r?
r
Let p be 3 + (-3 - 0) + 213/(-660). Let w = 1/44 + p. Is w bigger than 2/3?
False
Let z = -0.055 - 3.645. Let o = z - -5.7. Is o greater than -0.17?
True
Let s = 64 - 3. Do s and 61 have the same value?
True
Suppose 4*j = 9*j + 10, 3*j = 5*w - 41. Let f be 20/2 + 2/(-1). Which is smaller: f or w?
w
Let v = 222 + -193. Suppose 0 = -t - 2, u - t = 24 + 8. Which is bigger: v or u?
u
Let t = -0.156 + 0.11. Let d = t - 0.954. Which is greater: 0.05 or d?
0.05
Let u = 82921/78 - 1063. Is u > -1?
True
Suppose -3*a + 12 = 3. Suppose -3 = -2*c + 3*c + a*v, -4*v = -c - 10. Which is bigger: -5 or c?
-5
Let s = -251.8 + 274. Let c = 1.2 - s. Let n = -22 - c. Does -1.3 = n?
False
Let y be (211 - 206)/((1 + 1)/274). Are y and 686 nonequal?
True
Let f(r) = r**3 + 23*r**2 + 23*r + 92. Let j be f(-22). Is 73 at least j?
True
Suppose 2*b - 1303 = -263. Is 521 > b?
True
Let t be (-265008)/(-110860) - 4 - -2. Let r = -1/1205 - t. Which is greater: 0 or r?
0
Let c = -27.4 + 25.4. Let f = 0.19 + -1.49. Let y = 0.3 + f. Which is smaller: y or c?
c
Let j = -312 - -312. Is j at most 169/5?
True
Suppose -2*u - 72 = 2*f, -u + 3*u - 2*f = -68. Let v = 31 + u. Is v at most -17/6?
True
Let i = -121 + 66. Let b = i - -27. Let y = b + 27.9. Which is smaller: y or -9?
-9
Let r = 0.06 + -0.07. Let h = 0.07 + r. Suppose 0*k + s - 2 = 5*k, -3*k - 10 = -5*s. Is h at least k?
True
Let a be -4 - (0 - (-2673)/(-669)). Let u = -677/1784 - a. Is u > 1?
False
Let d(x) = -2*x**2 - 61*x + 97. Let h be d(-32). Is h > 60/31?
False
Let i = -0.4 - -0.5. Let o = 0.06 - -0.09. Which is greater: i or o?
o
Let v be -1 - (4 - (1 - -5)). Suppose 0 = 3*h - v + 31. Do -10 and h have the same value?
True
Let f(i) = -7*i**2 + 0*i**2 + 4*i - 4*i - 1 + i**3. Let n be f(7). Let q be n + -2 + 135/21. Which is bigger: q or 2?
q
Let d = -10.718 - -0.018. Let w = d - -9.6. Which is bigger: 0.2 or w?
0.2
Suppose -3*f - 2*f + 5 = 0. Let a be f*2*(3 + (-45)/6). Is a at least as big as -12?
True
Let u be 1*((-15)/5 + 12). Let k be 0 - u/6*(-4)/(-18). Which is smaller: -1 or k?
-1
Let b(q) = 51*q + 63. Let g be b(-6). Which is bigger: g or 1/2?
1/2
Suppose 0 = 4*i - 0*i. Suppose -5*t + 2*t = i. Suppose 0 = f - 5*s - 4 + 3, t = 4*f - 2*s + 32. Which is smaller: -8 or f?
f
Let x(r) = -r - 79. Let d be x(-24). Which is smaller: -49 or d?
d
Let v = 29 - 27.8. Let h = -1.3 + v. Is h at most as big as 18/11?
True
Let g = 6 + -6. Let f = -42 + 27. Let x be (-1 + 4)/(f/2). Are g and x unequal?
True
Suppose -16 = n - 4*i, -4*i - 36 = 2*n - 28. Which is bigger: 0.09 or n?
0.09
Let r be (2 - -8)*(-168)/2590. Is -1 < r?
True
Let z = 1.421 - 1.49. Let h = z + 0.069. Is -0.23 at least h?
False
Let d be -95 - (-7 + 2 + -1). Does -93 = d?
False
Let h = -5.067 + 5. Let r = h - -0.067. Is 10 != r?
True
Let q be ((-104)/78)/((-1)/3). Suppose 1 = -2*f - y, 5*f + 3*y + 10 = -y. Suppose 0 = x - f - 3. Are x and q equal?
False
Let i = -133 + -2431. Let g be i/176 - -4*3/(-66). Which is smaller: g or -16?
-16
Let f be 404/(-28)*2/94. Let c = f + 1/47. Which is smaller: c or -5?
-5
Let t(i) = 110*i + 10. Let s be t(5). Let z be (102/(-4))/(42/s). Let d be 4/(-22) - z/55. Is d greater than -1?
True
Suppose 0 = a + 9 - 14. Suppose 0 = -8*c + 3*c - a*d, -5*c = -2*d. Let j = -49 - -981/20. Which is smaller: c or j?
c
Suppose 20 = 9*d - 7*d. Let q be 3/d*12/(-9). Which is smaller: q or 4?
q
Let m = 16 - 26. Let b = -3 + m. Let r = -12 - b. Is 0 >= r?
False
Let i(u) = -u**2 - u. Let a(v) = -v**3 + 14*v**2 + 5*v + 3. Let r(j) = a(j) + 5*i(j). Let f be r(9). Let b be ((-2)/f)/((-45)/108). Is 1 equal to b?
False
Let h = -1 - -5. Suppose -h*p + 28 + 4 = 0. Let k be (-1)/((-2)/p*-2). Which is smaller: k or -5/4?
k
Let r be 120/(-65) - (1 + -3). Let z = -0.02 + -6.68. Let g = z - -0.7. Is g equal to r?
False
Let j = -116 + 58.6. Let w = -57 - j. Which is greater: 10 or w?
10
Let o(n) = n + 4. Let u be o(5). Let z(f) = -2*f - 11. Let g be z(-10). Suppose -5 = -g*b + 31. Is b at most as big as u?
True
Let t(y) = -2*y + y**3 + 6*y**2 + 3*y + 1 + y - 7*y**2. Let o be t(0). Which is smaller: 0 or o?
0
Let m = -10109/18 - -3547/6. Is 30 >= m?
True
Let h = -1261.5 + 1270. Is 1 > h?
False
Let p be ((-4)/(-6))/(4/6). Let w = -81605/2459288 - -29/856. Let s = 28748/25857 - w. Is p < s?
True
Let b(a) = -a**2 - 3*a - 1. Let g be b(-2). Let x be 4/(-22) + 210/66 + 2. Suppose x*o + 21 - 16 = 0. Which is greater: g or o?
g
Let v = 154759/57 + -2715. Which is bigger: v or 1?
1
Let h = -126 + 126.146. Let i = -0.154 - h. Which is bigger: -1 or i?
i
Let z be (-1 + 171/150)*(-46)/(-69). Which is greater: z or -1?
z
Let y = 580 - 1747/3. Let i be (-1)/(-2) - 2/(-4). Let a = i + -4. Which is greater: y or a?
y
Suppose 0 = d + 5*d - 90. Suppose -23*a = -19*a - 56. Which is bigger: a or d?
d
Let y be -1 - 2/(-2) - 1. Let j be (y + 3 + -2)/2. Let n = -251 - -252. Which is bigger: j or n?
n
Let o(b) be the second derivative of -b**5/20 - 5*b**4/12 - 2*b**3/3 - b**2/2 + 3*b. Let r be o(-3). Let s = -6 - r. Which is smaller: s or 4/3?
s
Let b(m) = 15*m + 156. Let d be b(-8). Which is bigger: d or 44?
44
Let t(l) = 3*l - 5. Let n be t(5). Let a be 3/5 + 58/(-5). Let w = n + a. Which is greater: w or -1/6?
-1/6
Let l be -43*5*(-2)/(-10). Which is bigger: l or -42?
-42
Let w(u) = u**3 + 12*u**2 - 6*u + 4. Let s be w(-11). Is s at least as big as 190?
True
Let a = 0.45 - 0.15. Let i = -3.7 - a. Is i at least -1?
False
Let c be (429/(-612) + 0)*-9. Let w = -25/4 + c. Let i = 2 + -1. Is i at least as big as w?
True
Suppose 10*z - 3*j + 4 = 5*z, -j = -3*z. Let o = 167/6 + -4163/150. Is z less than o?
False
Let v be 6 + 3 - 6 - (11 - 0). Which is greater: v or -7?
-7
Suppose -20 = 4*u + 4*x, 2*u + 0*u - 2*x - 10 = 0. Suppose -3*c - 2*c - 35 = u. Let r(y) = -y**2 + 5*y + 1. Let b be r(6). Is c smaller than b?
True
Suppose -2*j - 4*m + 2 = -40, 3*m = -12. Let y = j + -32. Which is bigger: y or -4?
y
Let r = 13 - 10. Suppose 20 = 5*d + l, 5*l = -8*d + r*d. Let b = -0.16 - -0.06. Which is smaller: b or d?
b
Let q = 1761 + -1574. Which is smaller: 188 or q?
q
Suppose -5*i + i + 24 = 4*g, -2*g = 4*i - 14. Suppose -7 = -g*t - 7. Which is smaller: t or -0.12?
-0.12
Suppose 2*s - 8 = 4*y, -3*s + y - 1 = -33. Let g(f) = -f**3 + 12*f**2 - f + 17. Let k be g(s). Suppose 5*x - 25 = -2*r, 7*r + 4*x = 2*r + 37. Is r at least k?
True
Let t = -1015 + 2033/2. Let n(f) = -f - 1. Let g be n(-3). Which is smaller: g or t?
t
Suppose 0 = -5*m - 4*r - 12, -3*m + m - r = 3. Suppose m*t = 2*t. Is t at most as big as 1/27?
True
Suppose 3*b + z + 0*z - 182 = 0, 2*b - 120 = -z. Suppose w - 101 = 3*d, -2*d = 4*w + 24 + b. Let v be (-4)/d*25/10. Is v smaller than 1?
True
Suppose 0*r - 2*r = -5*y, -3*r = -4*y. Let p = -14 + -35. Let z = -195/4 - p. Is z at least r?
True
Let s = -2324 - -2329. Which is big