ual?
False
Let v be 2909/9*(-2)/((-4)/3). Let z = -483 + v. Which is smaller: z or -2/3?
-2/3
Let m = 451/1505 + -3/215. Is -198 at least as big as m?
False
Let g = -103/91 - -11/13. Is g greater than or equal to -381?
True
Let u = 25 - 26.3. Let p = u + 0.3. Is -1/56 equal to p?
False
Suppose 4*j + q = -3*q - 196, -q - 205 = 4*j. Suppose 0 = b - 3*p + 38, 197 = -8*b + 4*b + 3*p. Is b equal to j?
False
Suppose 144 = 2*w + 5*u - 153, 3*w = -5*u + 438. Are 137 and w equal?
False
Suppose -6 = -q + f, 0 = -3*q + 4*q + f. Let v be ((-6)/(-27))/(q/(-180)). Let i = -14 - v. Which is smaller: -2 or i?
-2
Let a be (2/4)/(3/(-327)). Let i = -53 - a. Let u = 2 - 1. Is i > u?
True
Suppose 3*o = 8*o - 30. Let x(r) = -r**3 + 8*r**2 - 16*r + 12. Let q be x(o). Which is smaller: -11 or q?
q
Let g be 62 - 50 - 13*1. Which is smaller: -1/4587 or g?
g
Let x be (14/(-4))/((-7)/(-28)). Let o be (x/66)/(-7)*-10. Which is smaller: o or 1?
o
Let c(s) = -3*s - 30. Let n be c(-12). Let b = -17 + n. Which is greater: 1 or b?
1
Let g(b) = -b**3 + 2*b**2 - 4*b + 6. Let v be g(4). Let f = 40 + v. Do f and 0.08 have the same value?
False
Let x be ((-15)/7 + 1)/((-8)/28). Suppose -x*t = -14*t - 140. Let z = -19 - -6. Is t not equal to z?
True
Let i = -25.8 - -2.5. Let g = 23 + i. Which is greater: -1 or g?
g
Let u(k) be the second derivative of -k**5/20 + k**4/12 - k**2/2 + k. Let v be u(-1). Let d = -340/161 + 65/23. Which is smaller: v or d?
d
Let g(b) = -b**3 + 9*b**2 - 19*b. Let f be g(4). Suppose -4*v + 8 = -3*v. Suppose -4*c - v = -f. Which is bigger: c or -5?
c
Let i be 27/6*12/18. Suppose -3*a + 3*k = -39, -k = -i*a + 40 - 3. Let j be (8/(-234))/((-8)/a). Which is bigger: j or 0?
j
Let v = -1022 + 889. Which is bigger: v or -128?
-128
Let z = -44.6 - -44.6. Which is bigger: 112 or z?
112
Let t(k) = k**3 - 3*k**2 + 3*k - 2. Let r be t(3). Let v = 4121 - 4115. Do r and v have the same value?
False
Let g = -11/7133 + 11613019/320985. Let i = g - 182/5. Suppose 2 = -5*o + u, 3*u = 3*o + 6*u + 12. Are i and o nonequal?
True
Let b(c) = 2*c**2 - 23*c + 11. Let g be b(11). Let t be (25/(-116) - g) + 20/80. Is t greater than or equal to 1?
False
Let c be -2 - (-31 + 5/(-5)). Suppose -j = -f - c, 2*j - 69 = 5*f + 78. Are -29 and f non-equal?
False
Let q(p) = -p + 5. Let l be q(7). Let a(o) = 2*o - 2. Let h = 9 - 9. Let b be a(h). Is b bigger than l?
False
Suppose 0 = -9*y - 507 + 264. Is 2 greater than y?
True
Let x be 41854/272 - 1/(-8). Which is smaller: x or 153?
153
Suppose 0 = r + 4*p + 73, 4*p + 340 = -10*r + 6*r. Do r and -353/4 have the same value?
False
Let h be (-9)/12 + 2 + -1. Let p = -7 - -67/8. Is p less than h?
False
Suppose -8464*y = -8486*y. Let t = 234 + -3982/17. Is y less than t?
False
Let a(v) = 4*v**3 - 3*v**2 - v - 9. Let w be a(3). Is -1/2 > w?
False
Let i(h) = 44*h - 44. Let v be i(1). Which is greater: v or -11/39?
v
Suppose k = -4*c + 213, 7*k + 4*c = 4*k + 663. Are 225 and k non-equal?
False
Suppose 2*g + 13 = -3*b, -g + 0*g - 9 = 2*b. Is 1/30 > g?
False
Suppose 2*f + 4*m = 51 + 89, -m = 5*f - 359. Suppose -34*z + f = -30*z. Is 19 smaller than z?
False
Let o(k) = -k**3 - 4*k**2 + 2*k + 5. Let z be o(-4). Let y(a) = a**3 - 2*a**2 - 2*a - 7. Let b be y(3). Is b smaller than z?
True
Let u = -43162/9 - -4878. Let n = u - 82. Let a be (4/3)/(-2) + (-57)/171. Which is greater: a or n?
n
Let m = -0.018 + -13.982. Let c(t) = -2*t**2 + 4*t - 3. Let o be c(1). Is o at most m?
False
Suppose -5*v - 8 = j + 10, j + 4*v = -15. Suppose 0 = -x - 0*x + 3. Suppose -2*s - x*s = 20. Which is smaller: s or j?
s
Let a(x) = 119*x - 440. Let y be a(-4). Which is greater: -0.2 or y?
-0.2
Let u be (-6)/16 - (99308/(-8736) + 11). Is 0 bigger than u?
True
Let o = 1/5174 - 310451/56914. Which is greater: -5 or o?
-5
Let d(c) = -23*c**3. Let t be d(-1). Suppose 0 = 5*p - 12*v + 14*v - 108, -5*p + v = -111. Which is bigger: t or p?
t
Let c be (-8)/6 + (-204)/(-18). Let d be c - (-2 - (-3 - 1)). Suppose -2*i - 10 = -2*k - 0*i, 4*k - d = i. Is 3 at most k?
False
Let j be 4 + (4/(-9408))/((-2)/(-18814)). Which is smaller: j or 0?
0
Let d = 142.2 + -142. Suppose 3*l - 4 = -67. Is d < l?
False
Suppose 5*g - 31 = 2*a - 61, 2*g = 3*a - 23. Suppose -2*d - l = l - 18, -3*d + 3*l + 45 = 0. Let c be (-19)/g + (-9)/d. Which is greater: c or -1?
c
Let k = -408 - -407. Which is bigger: k or -1/87?
-1/87
Let n(t) be the first derivative of -t**4/4 - t**3/3 + 3*t**2 - 14. Let a be n(-3). Is -0.16 bigger than a?
False
Let j(d) = 10*d + 38. Let i be j(-4). Let h(v) = -13*v**3 - 2*v**2 + 2*v + 4. Let x be h(i). Is x at most 97?
True
Let i be 288/(-20) + (-8)/(-20). Let g = -13 - i. Suppose -2 + g = -p. Which is bigger: p or -2/19?
p
Let m = -400 + 407. Which is smaller: 13 or m?
m
Let w be -5 + 8 + 2/(-2). Suppose -w*p + 0*p + 14 = 2*r, -5*p + r + 11 = 0. Let l be -4 - (-3 - (-1 + p)). Which is smaller: 1/21 or l?
1/21
Let w = 6/859 + -1748/4295. Let h be (-4)/(-14) - (-19)/7. Suppose -h*z + 9 + 3 = 0. Is z < w?
False
Suppose -c + 2*z = -4, 3*c = z - 5*z + 12. Suppose 0 = c*n + 5*n - 3*n. Which is smaller: n or -1?
-1
Let r = 0.0097 - 2.4097. Let z = 2.5 - -2.9. Let x = r + z. Which is greater: x or -0.1?
x
Let o be 15/(-36)*(-17)/(53720/16). Which is smaller: o or 1?
o
Let v(u) = -u**3 - 12*u**2 - u - 22. Suppose -9 = 2*f - 5*s, -3*f - 51 = f + s. Let l be v(f). Is l less than or equal to -4?
True
Let p = 5.7 + -1.3. Let w = -18 + 22. Let k = p - w. Is 2 at least as big as k?
True
Let c(h) = -h**3 - 8*h**2 + h + 6. Let x be c(-8). Let t be -2 + (-3 - 9)/(-1). Let z = -12 + t. Is z greater than x?
False
Let y = 113 + -112. Let p be 2 + (0/(-2))/(-3). Let s be p/(-7) - (-39)/63. Which is bigger: s or y?
y
Let b = 36478/11 - 3314. Is b at least 0?
True
Let t = -30.9 - -29. Let k = 72 + -74. Let x = k - t. Is 7 less than or equal to x?
False
Let h be -1 + -3 + (-1502)/6. Let t(v) = -124*v + 2. Let j be t(-2). Let s = j + h. Is s less than -3?
True
Let l = 30 - 28. Suppose -n + l*n = 0. Which is greater: n or -6?
n
Let l = 0.33 - 9.33. Let c = l + 9.1. Which is smaller: -0.07 or c?
-0.07
Let z = 81 - 51. Let q = 25 - z. Is -2 not equal to q?
True
Let j = -0.2 - 0.8. Let w = -19.63 - 0.37. Let r = w - -20.1. Is r < j?
False
Let l(t) = -t**3 + 19*t**2 - 37*t + 3. Let d be l(16). Which is bigger: d or 2/9?
d
Let i = -114 - -115. Which is smaller: i or 26/37?
26/37
Let y(l) = l**3 + 13*l**2 + 11*l - 15. Let a be y(-12). Let n(q) = q**2 + 4*q. Let o be n(a). Let s be ((7 - 3) + o)*-2. Which is bigger: s or -4?
s
Let w be (-29)/(-3) - (-2)/(-3). Let h = 641 + -632. Is w > h?
False
Let r be ((-3)/(-4))/(-8 + (-803)/(-88)). Which is smaller: 183 or r?
r
Let c = 28 - 27.98. Let x = 68 - 74. Is c <= x?
False
Suppose 0 = 3*m, 5*c + 2*m - m = 230. Let o = -1114 + 1113.8. Are c and o unequal?
True
Let t be (-370)/4 - (-11)/(-22). Which is greater: t or -1/2?
-1/2
Suppose 0 = -2*w + 3*x - 7 - 25, -x - 37 = 3*w. Let n(r) = -r - 13. Let j be n(w). Suppose 4*m = -m - 3*u - 45, -m - 5*u - 31 = j. Is m <= -6?
True
Let w(s) = 9*s + 21. Let t(q) = q - 1. Let h(z) = -6*t(z) + w(z). Let r be h(-9). Let p(l) = l**3 + l**2 - l + 2. Let d be p(-2). Is r greater than d?
False
Let u = -0.2 - -0.2. Suppose 0 = -5*r + 2*o + 52, 3*o - 68 = -4*r - 2*o. Suppose -10*f - 8 = -r*f. Which is bigger: u or f?
f
Let t be (0 + 1)/(11 - 0). Suppose 5*i + 16 = 9*i. Suppose -i*o = -o. Is o < t?
True
Let c(x) = -x**3 - 11*x**2 - 10*x + 3. Let l be 4/18 - 552/54. Let b be c(l). Let h be (-2)/2*b/3. Which is smaller: h or -6/7?
h
Let h = 2/9 + 1/9. Let b = -0.1 - -0.3. Let k = b - -7.8. Is h less than k?
True
Suppose -3*f + 142 = -5*f. Let i = -1351/19 - f. Let g = 2206 - 15444/7. Which is smaller: i or g?
g
Let a = -89 + 85.7. Let v = 2.8 + a. Which is smaller: -1/3 or v?
v
Let h = 2 - -4. Let v be 0 + -4 + 1 - 26/h. Is v not equal to -7?
True
Let i = 6 + -5.83. Let b = i - -0.23. Which is smaller: -2 or b?
-2
Suppose 3*g - 24 = 6*c - 3*c, -5*c = -4*g + 37. Suppose -30 = -3*j + g. Let v = j + -13. Is 0 less than or equal to v?
False
Let d(n) = 23*n + 0*n**2 - n**2 - 21*n. Let h be d(2). Let m be ((-2 + h)/(-2))/(-17). Which is greater: -1 or m?
m
Let u = 16973881/953 - 17811. Which is smaller: 1 or u?
u
Let b = 153 - 145. Which is smaller: -3