10. Let o be j(h). Suppose 0*m - 2*m - 20 = 0. Which is greater: o or m?
m
Let w = 13.972 + -14. Is w bigger than -1/2?
True
Let w = 36 - 30. Suppose -w*m - 2*z = -4*m - 2, -z = -3*m - 9. Let s = 1/2 + m. Is s at least as big as -1?
False
Let j(i) = -i + 16. Let w be j(7). Suppose -3*o - 63 + w = 0. Let q be o/21*(-4)/(-132). Which is smaller: q or 0?
q
Let c = 82.9 - 82.8. Which is greater: -1.23 or c?
c
Suppose -5*i - 80 = 25. Let k = -17 - i. Let m be 4/(-16) + 1/k. Is -2/85 less than m?
True
Let b = 462 + -490. Is -34 at most b?
True
Let j(c) = -6*c**3 + 2*c**2 - 3*c + 11. Let y be j(5). Are -705 and y unequal?
True
Suppose 4*k + 10 = 2. Suppose 60 + 30 = 5*z. Let s be (-12)/(-50)*((-6)/z + -3). Which is smaller: k or s?
k
Let a = 0 - 0. Let z be (3/(-2))/(a + 3). Suppose -7999*m + 7954*m - 315 = 0. Are z and m non-equal?
True
Suppose 2*n = 4*q + n - 874, -q = -5*n - 209. Let j = q - 5473/25. Is 1 at most as big as j?
False
Suppose -5*n - 66 + 1 = 0. Suppose 4*i = -2*x - 3*x - 10, 0 = 2*x + 4*i + 4. Is x at least n?
True
Let c = -259 - -2544. Is 2/5 bigger than c?
False
Let w(i) = -i**2 - i + 1. Let l be w(3). Let g = l + 12. Which is greater: 2 or g?
2
Suppose 0 = -4*n + 9*n. Suppose -u - 5*w + 3 = n, 33 - 6 = 2*u + 3*w. Let d = 17 - u. Which is greater: d or -10/11?
-10/11
Let s be -687 - (-1 - -1) - -2. Let w = s + 63703/93. Let p = 382/465 + w. Which is greater: 1 or p?
1
Let d = 8 + -4. Suppose -81 = -12*b + 3*b. Suppose b - 69 = -d*v. Which is bigger: v or 16?
16
Let g = -262 + -12. Is -274 at most g?
True
Suppose -6*f = 9 - 3. Which is bigger: 2/147 or f?
2/147
Let k = 629/3520 + 1/320. Let a(m) = 3*m**3 + m**2 - m. Let f be a(1). Suppose 0*p + 9 = -f*n - p, 4*p = 0. Is k >= n?
True
Let a = -131 + 225. Let i = a + -94.47. Which is smaller: i or -2/3?
-2/3
Let y = -0.2 + 10.2. Let o be (-1 - (-3)/4)/(10/(-10)). Is o < y?
True
Let t = -750.9 + 714. Let x = 37 + t. Let g = -8 - -5. Is x <= g?
False
Let m = -83 - -41. Let r = -41.9 - m. Which is bigger: 15 or r?
15
Let v be (-50 + 4/(-2))/1. Let j = v - -30. Which is greater: j or -20?
-20
Let r = -7 + 18. Let a = -12.4 + r. Let k = a + 1.4. Which is bigger: 10 or k?
10
Let m = 52 - 46. Let k be (9/2)/((-5)/m). Are k and -6 non-equal?
True
Let u = -56102/55 - -1020. Which is smaller: 1 or u?
u
Let a = -11 + 10. Let t = -0.07 - -0.32. Let z = 0.05 + t. Which is greater: a or z?
z
Let b(j) = 11*j**2 + 76*j - 232. Let m be b(3). Is 94 >= m?
False
Let g(h) = -4*h**2 - 3*h + 8. Let p be g(2). Let o = 212 + -137. Suppose -4*l - o = l. Does p = l?
False
Let t = -72 + 45. Suppose 5*u = -5*x - 140, 0 = x - 2*x - 5*u - 32. Is t >= x?
True
Suppose 7*f = 12*f - 120. Suppose -10*d + 6*d - f = 0. Let s = -20 + 15. Which is smaller: s or d?
d
Let h = -188 - -187. Is h at most as big as 1/51?
True
Let f = 4.1 + -4. Let m = -39.1 + 37. Let i = m - -2.15. Which is smaller: f or i?
i
Let a(v) = -2*v**3 - v**2 - 3*v + 35. Let o be a(0). Is 103/3 at most o?
True
Suppose u - 36 = 4*x - 0*x, 0 = 3*u - 3*x - 72. Let z be (3/190)/(4/u). Is z != 1?
True
Let z = 3.5 - 0.3. Let i = 3.6 - z. Which is greater: i or 5?
5
Suppose -6*q + 5*q = -3*b - 8, q - 4 = -b. Suppose -2*g - 208 = q*v + 81, -2*g + 183 = -3*v. Which is smaller: -58 or v?
v
Suppose 2*t - 5*s - 854 = -7*s, 0 = 3*t + s - 1273. Which is smaller: 424 or t?
t
Let j = -35 + 11. Let s = j + 41. Let z = s - 16. Is z > 1?
False
Suppose -3*u + 16*u - 156 = 0. Is u smaller than 8?
False
Suppose -3*o = -4*k - 1821, 0 = 57*k - 59*k + 3*o - 909. Is -456 < k?
False
Suppose 3*w + 4*x = -2 + 11, -15 = -5*w - 2*x. Suppose 5*c + g + 2 = 0, 5*g = w*c - 5 + 23. Which is greater: 3/77 or c?
3/77
Let n(g) = -14*g + 2*g**2 + 33*g - 3*g**2 - 17*g. Let j be n(0). Let c be (1 - j/3)/(-1). Is -0.1 smaller than c?
False
Suppose 5*k = -2*s - 2 - 0, 2*k + 20 = 4*s. Let z = s - 32/9. Suppose r + 4*r = 0. Which is greater: z or r?
z
Let n = -5 - -4.8. Let m = n + 0.4. Let u = 0.3 - m. Is 0.4 at least u?
True
Let d be ((-1)/27)/(1/(-2)). Suppose -4*h - 22 + 34 = 0. Suppose 0 = h*u + 8*u. Is d at most as big as u?
False
Let b be -5 - (-8)/4 - -207. Suppose z - 5*z = b. Let u be (-52)/(-153) + 6/z. Is -1 less than or equal to u?
True
Let y = 15 - 11. Suppose -5*q + 25 = 0, 16 = 2*o - 4*o + y*q. Suppose -2*i + 3*n + 2 = 6, o*n - 4 = 0. Is i less than or equal to -2/13?
False
Let x = 0.714 + -153.714. Which is smaller: -1 or x?
x
Let m be 3/(-102)*-4 + 127533/(-714). Which is greater: m or -179?
m
Let q be ((-2)/173)/(3 - 7/3). Let f = q - 110/3633. Is f smaller than -1?
False
Let t = -24 - 14. Let x = t - -16. Let f = x + 18. Which is smaller: f or 4?
f
Let c = 17 - -10. Let v = 4 - c. Let p = v - -22. Which is smaller: 2/9 or p?
p
Let m(j) = -j**3 + 18*j**2 + 3*j - 39. Let b be m(18). Suppose -5*i + i + 57 = 3*c, -3*c - i = -48. Are c and b nonequal?
False
Let z = -0.208 - -235.208. Is z at most 2?
False
Let x be (9/6 - 0) + -3. Let i(j) = j**3 - 4*j**2 - 1. Let n be 0 + 5 + (-1)/1. Let p be i(n). Which is smaller: p or x?
x
Let c = 28/253747 + 36487684/470193191. Let a = c + 30/109. Which is smaller: a or 1?
a
Let v = 216 - 216. Which is smaller: 4/57 or v?
v
Let i be 21582/135 + 4/30. Suppose 2*a + i = 70. Is -46 greater than or equal to a?
False
Let t = -14 + 33. Let h = -19 + t. Suppose -5*n - 2*m = 9, 4*n - 4*m - 1 - 3 = h. Which is bigger: 3/7 or n?
3/7
Let v(q) = q**3 - q**2 - 5*q + 4. Let m be v(8). Is m less than or equal to 414?
True
Suppose -11*h = -20*h + 684. Which is smaller: h or 75?
75
Suppose -4*u - 6*u = 4*u. Which is smaller: 2/565 or u?
u
Let l = -22/17 - -287/51. Let p = l + -4. Let h = -11 - -18. Is h >= p?
True
Let g(s) = -s**3 - 8*s**2 + 14*s - 7. Let r be g(-9). Which is smaller: r or -53?
-53
Let x = 3.7 + -3.64. Let i be (1/1 - 3)/(-17). Is x at least as big as i?
False
Suppose 2*s = 5*b + 7*s - 20, -3*b + 15 = 4*s. Let l = 21 + 21. Let q = -42.19 + l. Is b < q?
False
Let r(z) = -z**2 + 330*z - 1945. Let u be r(6). Let d = 0.05 - 0.18. Which is bigger: d or u?
d
Let f = 5746 + -5715. Suppose 2*t + 3*y - 64 = 2*y, -4*y = -t + 41. Is f less than t?
True
Let q = 12769/8 + -1600. Is q not equal to -4?
True
Let l = 226 - 103. Let i = l - 121. Which is smaller: i or -2?
-2
Let p = -4.93 - 0.07. Let k = p - -5.5. Let d = -0.4 + k. Which is bigger: 1/2 or d?
1/2
Let a = 2 - 10. Let c be (-10 - a)/((-2)/(-12)). Let t be (16/c)/(4 + 2). Is 2/11 less than t?
False
Suppose 2*w = -4*j - 2*w + 1148, -2*j - 5*w + 565 = 0. Suppose 690 = 14*n - j. Do n and 71 have different values?
True
Let u(r) = -r**3 - 3*r**2 - 4*r - 8. Let j be u(-3). Let b be (-4)/1*2/j. Is b < -4?
False
Let c = -3.547 + 0.047. Let p = 0.2 - -0.3. Let y = c + p. Are y and -1 nonequal?
True
Let j(s) = 20*s - 321. Let c be j(13). Let w(l) = -3*l**3 + l**2 + 3*l + 3. Let b be w(3). Is c at most b?
True
Let v be (7/(-6))/(-1) - 7/42. Let o be (-2*(-5)/20)/(v/20). Which is bigger: o or 11?
11
Let r be (-54)/88 + (27/18 - 1). Which is smaller: 0 or r?
r
Let m = -19 - -21. Suppose -z + 3 + m = 0. Is 7 greater than or equal to z?
True
Suppose m - 4*n - 8 = 0, -2*m + 28 = 2*n + 2*n. Is 10 at least as big as m?
False
Let f = -66 + 75. Suppose -4*d = 6*o - f*o - 282, 2*d + 104 = -o. Which is smaller: -97 or o?
o
Let r = -9 + 11. Let h be 12 - ((-6)/(-3))/r. Let q be ((-3 - -2)/(-1))/((-15)/(-120)). Which is smaller: q or h?
q
Let n = 1.08 - 0.58. Let c = 15 - 16. Which is smaller: n or c?
c
Let r(v) = -v**3 - 5*v**2 + 11*v + 37. Let b be r(-6). Let z(u) = -3*u + 55. Let k be z(b). Is k less than 36?
True
Let i be (4/(-20) + 0)/((-1)/5). Let d = 1 + i. Let h = -2 + 0. Which is greater: d or h?
d
Let b = 427 + -444. Are 0.1 and b equal?
False
Let z = 1640 - 1636. Let v be (1/(-3))/((-1)/3). Let w be (v - 0)/((-3)/(-6)). Which is smaller: z or w?
w
Suppose 5*i + 2*u + 14 + 16 = 0, -5*u + 17 = i. Let c = -8 - i. Let o = -31/56 - -1/8. Which is bigger: c or o?
c
Let w = 72 + -68. Suppose 8 = -w*v - 48. Which is greater: v or -17?
v
Let k(j) = -31*j**2 + 17*j + 50. Let t be k(-4). Is -513 less than t?
False
Let r be 65 - (-7)/(56/24). Which is smaller: 137/2 or r?
r
Suppose 17*l = 14*l + 9. Suppose 25 = 5*a, -4*a + 3*a = l*u + 13. Is u less than -46/7?
False
Let w be (-12)/10*(-2)/(-4). Let x(j) = -j. Let a(z) = 3*