). Let u = z - -10. Suppose -t = u - 39. Which is greater: -0.1 or t?
t
Let m = -27 + 30. Let c(n) = -8 + 7*n**2 - 5*n**m + 5*n + 10*n**3 - 4*n**3. Let x be c(-6). Which is smaller: x or 7?
x
Let h be 26/117 + (-1606)/(-63) - -4. Are h and 30 unequal?
True
Let q = 63809/865 - -28/865. Which is smaller: 75 or q?
q
Let x(v) = v**3 + 5*v**2 + v - 4. Let l be x(-4). Let w be (-2 + l - 4) + 0. Let h = -133/3 + 46. Which is smaller: h or w?
h
Let y(l) = l + 4. Let z be y(-7). Let u be ((-48)/(-18))/((-2)/z). Suppose u*k + 2*m = -1 - 23, -4*m = 8. Is k greater than -7/2?
False
Let o be 360/16*72/(-20). Which is bigger: o or 4?
4
Suppose -5*u + 36 = -p - 0*p, 0 = -5*p + 20. Suppose 0 = -7*c - u*c - 60. Let m = -0.7 + 0.4. Do m and c have different values?
True
Let j be ((-16)/(-10) + 20/(-5))/(3/(-20)). Let a = -8 + 7.7. Let w = a + 0.4. Is w at most as big as j?
True
Suppose 36*q - 34*q = 2. Let l = 14 - 8. Let g be (-8)/l*3/(-2). Is q greater than or equal to g?
False
Suppose -3*j - 2 + 11 = 0. Let l = j - 3. Suppose -8*u + 7*u = l. Is -2/7 at most as big as u?
True
Let z = 159.2 + -160.7. Are 39 and z unequal?
True
Suppose 20 = -8*b - 28. Is -9 >= b?
False
Let r be 12*((-78)/54 - 2). Which is smaller: -40 or r?
r
Let y = -100 + 25. Which is bigger: -77 or y?
y
Let s be (-30)/12 - (-1)/(-2). Let f be s*(-2 - -1)/(-2). Let x = 5 + -8. Is f greater than x?
True
Let n = -42 + 42. Let u = 0 + n. Which is smaller: 18/13 or u?
u
Let d = 0.336 + -0.536. Do 0.48 and d have the same value?
False
Let q = -212/2667 - 2/127. Suppose -2*t - 5*k + 3*k = -4, 0 = 2*t + 3*k - 7. Which is smaller: q or t?
t
Let g = -6 + 0. Let n be (-6)/(-4)*64/(-24). Which is greater: g or n?
n
Let z be (2/6)/(-20 - -19). Which is bigger: 56 or z?
56
Let b be -4 + 0 + 1 + (-399)/(-131). Is -1 less than b?
True
Let v = -359/706 + 3/353. Which is smaller: v or 0.68?
v
Let r = 1115/2 - 613. Let n = r - -60. Let o(v) = -v**3 + 4*v**2 - 2*v + 2. Let t be o(3). Is n greater than t?
False
Let d = -7.7 + 14.8. Let v = -7.2 + d. Is 0 at most as big as v?
False
Let l = 545 + -546. Which is bigger: 1/298 or l?
1/298
Let q = 791/8 + -433/8. Which is smaller: q or 45?
q
Let z = -0.566 + 0.266. Is z > 2/213?
False
Suppose 0 = -4*a + 4*k - 4, 3*k + k = -5*a - 5. Let j = -670 + 667. Which is smaller: j or a?
j
Let j = 53 - 28. Let h = j + -26. Is 1/14 at least h?
True
Let u be -2*(0 - 4/(-2)). Let x be (3/54)/(u/(-60)). Which is smaller: x or 0.1?
0.1
Let n = -6.99 + -0.01. Let j = n + 4. Let v = -80 + 80.2. Which is smaller: v or j?
j
Let n = 17 - -55. Suppose 3*l - n = -0*l. Is 23 < l?
True
Let c = 1.29 - 1.39. Let p be -1 + -3 + 0 - -38. Which is greater: c or p?
p
Suppose 0 = -28*c - 17 - 487. Suppose 4*d + 51 = d. Are c and d nonequal?
True
Suppose -4*q + 70 = 538. Is -118 at least as big as q?
False
Suppose -5*j = -f + 4*f - 26, -2*f - 8 = -3*j. Suppose 2*i + 5*u = -0*u + 4, -2*i - j*u = -4. Which is smaller: 30 or i?
i
Let u(k) = 8*k**2 - 206*k - 54. Let a be u(26). Suppose 0 = -0*b + b - 2. Let n be ((-1)/b)/((-2)/4). Which is bigger: a or n?
n
Suppose 5 = -g + 6*g. Suppose b - 5*j = 27, -j - 19 = -b + 2*j. Let w = b - 29/4. Which is smaller: g or w?
w
Let j = 666884973071/19908 - 33498341. Let d = -3/316 - j. Which is smaller: 1 or d?
d
Let h be (-6)/30*(1 + -24). Suppose -y = -2*y + 5. Is y < h?
False
Let j = -2313/140 + 3/140. Let d be 68/8*(-1 + -1). Let f = j - d. Is f >= -2/7?
True
Suppose 4*z + 3*o + 1 - 2 = 0, 0 = -3*o + 9. Let m be -2 - ((-6296)/4417 + z). Let g = 2/631 + m. Is g greater than or equal to -1?
True
Let c = -175.8 + -36.2. Which is bigger: c or 3?
3
Let f be 115 - (-24 + 25)/(2/6). Which is smaller: 0 or f?
0
Suppose 0*r - 5*r = -10. Suppose -t = -r + 4. Let u = -127/4 - -125/4. Are u and t non-equal?
True
Let l = -114936/59 + 1948. Are 1 and l unequal?
True
Suppose 1479 = 59*r - 291. Which is smaller: r or 29?
29
Suppose -3*h - 21 = 4*x, -4*h - 3*x - 15 = -2*x. Let p = 119 - 119. Are h and p non-equal?
True
Let d be 10 + -13 + (-130)/(-42). Let z be 0 + 0 - (-4)/(-34). Which is smaller: z or d?
z
Let p = -2 - -3/2. Let u be (20 + -21)/(1/2) - -2. Which is greater: u or p?
u
Let u be ((-24)/(-1656))/((-4)/(-24)). Which is greater: -12 or u?
u
Let s = -0.3 + 0.1. Let t = -69 + 184. Let u = 125 - t. Is s < u?
True
Suppose 2*v = -4*h - 10, 0 = -3*h - 7*v + 5*v - 8. Let z be ((-6)/(30/25))/((-2)/h). Which is bigger: -54/11 or z?
-54/11
Let o(y) = -y**3 + 4*y**2 - 2*y - 1. Let q be o(1). Suppose 4*i - 24 - 4 = q. Let b = 2.9 - 3. Is i at most as big as b?
False
Let r be ((-152)/(-32) - 10)/(23/4). Which is smaller: -1 or r?
-1
Let v(n) = n**3 - 19*n**2 - 21*n + 22. Let r be v(20). Let p = -103/4 - -547/20. Is r at least as big as p?
True
Suppose 5*u + 4*k - 31 = 4, 5*u - 4*k - 35 = 0. Suppose 2*b + u - 3 = 0. Let s be 4/(-3) + 16/24. Which is greater: b or s?
s
Let t be 28/(-28)*(12/14)/2. Which is smaller: -3.9 or t?
-3.9
Let b(s) = s**3 + 5*s**2 + s - 4. Let f be b(-5). Let r(g) = 5*g + 8. Let y be 16/88 - (-35)/(-11). Let z be r(y). Which is smaller: z or f?
f
Suppose 2*j - 7*j = -480. Let a be j/10 - (-9)/(-15). Let p be (6/(-27))/(6/a). Is -1 bigger than p?
False
Suppose 0 = 4*v - 4, 0*c - 2*c = -2*v - 176. Let x = 90 - c. Which is bigger: x or 4?
4
Let x = -1071/10 + 107. Suppose 34 = 3*h + 37. Which is greater: h or x?
x
Let v = 16/85 - 149/340. Is 16/11 equal to v?
False
Let l be (7 + 1/(-1))/2. Suppose -5*s = -7*s - 2. Which is smaller: l or s?
s
Suppose 5*h - 39 = -2*v, 2*h - 4*h + 12 = -v. Suppose -4*j + h*j = 66. Are 21 and j non-equal?
True
Let v(s) = s**2 - 10*s - 33. Let m be v(10). Which is bigger: m or -234/7?
m
Let k = 2469685/9 - 274130. Let y = 279 - k. Is 1 at least y?
True
Let g = -4017/2 - -12967/6. Let f = -154 + g. Is -2 greater than f?
False
Let b = -280 + 280. Is 1/338 > b?
True
Let u = 16.37 - 5.37. Let s be 1/(-3)*(1 - 4). Which is greater: s or u?
u
Let f be (-16)/40 + (-118)/(-20) - 2. Which is smaller: f or 4?
f
Let t be (-76)/(-5) + (-2)/10. Suppose -4*x - t = 1. Let z = x - -5. Which is greater: z or 2/15?
z
Suppose 3*p + 2*g + 59 = -2*p, g + 62 = -5*p. Let i = p - -3083/237. Is i at least 0?
True
Let o = -13 + 18. Suppose -n - 2*p = -o*p - 17, -p - 14 = -2*n. Suppose n*g = 5*f - 30, -4*g + 5*f - 23 = -6*g. Which is greater: 1/8 or g?
1/8
Let u = 2 - 3. Let s = u - 1. Let g = 2473 - 2479. Is s <= g?
False
Let z be (7/(-28))/(20/24). Suppose 8*l - b = 4*l + 32, -3*l + 41 = -5*b. Let m(d) = -d + 6. Let j be m(l). Are j and z equal?
False
Let v = -14.7 + 11.7. Let w = 0.4 + -0.28. Let h = -0.02 + w. Are v and h unequal?
True
Let m = -1603 + 36876/23. Which is smaller: m or -1?
-1
Let h = 0.05 - 0.02. Let z = h + -0.03. Let o = 1.62 - 1.55. Which is smaller: o or z?
z
Let n be -3 + (-2)/(-2 - 0). Let x(y) = -23*y - 87. Let b be x(-6). Let k = 50 - b. Which is smaller: k or n?
n
Suppose 0 = 4*r - 0*r - 124. Let c = r - 31. Let q = 14/45 + -521/1530. Is q at least as big as c?
False
Let g(k) = 2*k + 6. Let d be g(-19). Let i be d/24*(-45)/2 + -4. Which is smaller: 0 or i?
0
Let g(l) = -2*l - 7. Let s be g(-6). Let t be (-13 - s)*(-4)/12. Which is greater: 4 or t?
t
Suppose -3*c + 0*c - z + 56 = 0, 3*c - 5*z - 26 = 0. Suppose 2*w + c = 9. Let v be (-12)/18*2/w. Is v greater than or equal to -1?
True
Suppose x = -3*x. Let p = -5.1 + -3. Let s = p + 8. Is s bigger than x?
False
Let g(s) = 10*s + 272. Let c be g(-23). Which is bigger: 297/7 or c?
297/7
Let w(f) = -7*f + 12. Let c be w(-9). Suppose 23*n = 17*n + 456. Is n > c?
True
Suppose 20*q - 28*q + 112 = 0. Is q != 14?
False
Suppose 4*w + 125 - 5 = 0. Let b = 293 + -324. Which is bigger: w or b?
w
Suppose -3*g + 5 = 20. Let c(b) = b**3 + 4*b**2 - 6*b - 3. Let r be c(g). Suppose x + r*x - 18 = 0. Is 5 bigger than x?
False
Let z = -0.599 + 0.6. Let g = z + -1.001. Is g at most as big as 0.1?
True
Let c = -20 - -24. Suppose 3*j = 0, -6*o - c*j = -4*o - 6. Is o equal to 9?
False
Suppose 53 = 2*w - 55. Suppose -8*q + 11*q = -w. Which is greater: -17 or q?
-17
Let h = 0.15 + 23.85. Let f be 0/((-140)/84 - 2/6). Which is smaller: h or f?
f
Let x = -4 - -12. Let u = x - 6. Suppose 8*h = 3*h - 2*r + 1, 4*h = u*r - 10. Which is smaller: 1/3 or h?
h
Let h be (-1)/((2 - 1) + -2). Let g = -170 + 164. Le