 = -5*n + o - 3055, -4*o = -2*n + 7*n + 3080. Let t be (1/(-5))/(n/(-120)). Which is greater: t or p?
t
Let z(a) = -479*a**2 + 480*a**2 + 4*a + 6 - 21*a. Let q be z(16). Which is greater: -74/7 or q?
q
Let a be -7 - (3380/(-332) - -3). Which is bigger: a or 1?
1
Let g = 2 + -2.1. Let r = 0.0521 - -2.0479. Is g equal to r?
False
Suppose -16 = 9*t - 7. Which is smaller: t or -2/1513?
t
Let r = 470 - 475. Which is bigger: r or 22?
22
Let p = -35.872 + 0.772. Let l = p - -36. Is 1 <= l?
False
Let y be (-416)/(-70) + -6 - 2/14. Is y at least as big as 3/13?
False
Let j be (350/2200)/((-2)/16). Suppose 2*f = -2*f. Is j greater than f?
False
Suppose -7*m + 88 - 375 = 0. Let g = m - -40. Which is smaller: -1/47 or g?
g
Let l = 160 + -145. Suppose -2*d = d - 48. Does l = d?
False
Let p(v) = v**3 - 7*v**2 - 19*v + 11. Let u be p(9). Suppose 5*b - 88 = b. Let y be b/8 + u/(-4). Are y and 3 equal?
False
Suppose -5*c = 3*h - 17, -4*h + 2*c - 14 = -2. Let b(m) = -5*m**3 - m**2 + m + 1. Let q be b(h). Let v be (q - 1) + 37/(-11). Which is bigger: -1 or v?
v
Let u = -23 - -44. Let c = u - 13.2. Let q = c + -8. Is 0.1 greater than or equal to q?
True
Let h be (-2)/(-9) - (9184/(-6876))/(-7). Which is greater: h or 1?
1
Let u = -29.7 + 28. Let g = -0.43 + -1.27. Let z = u - g. Is -1 at least as big as z?
False
Let n(u) = -u**2 + 31*u - 29. Let k be n(30). Let v(d) = 9*d + 1. Let h be v(1). Let f = h + -9. Are k and f equal?
True
Let t(u) = u. Let b be t(-1). Suppose 0 = 2*a + 2*a - 4. Let n be -1*(a/(-9) + (-4)/(-12)). Which is smaller: b or n?
b
Let y(g) = -25*g + 49. Let x be y(2). Is x smaller than -5/244?
True
Let d = -9.3 - -9.5. Is d bigger than 16.6?
False
Let i be 3/(-20) - (-1)/(-4). Suppose -84 = -7*b - 7. Which is bigger: b or i?
b
Let u(s) = 6*s - 68. Let b(q) = -3*q + 34. Let i(p) = 11*b(p) + 6*u(p). Let a be i(6). Is a <= -16?
True
Let p = -661/56 - -80/7. Let r = 144 + -143. Which is greater: p or r?
r
Let v be (-3)/27 - 152168/(-2070). Are v and -2 non-equal?
True
Let g(h) be the second derivative of 3*h**3/2 - 3*h**2/2 - 21*h. Let f be g(1). Which is smaller: -1 or f?
-1
Let b = -169 + 251. Let w = -92 + b. Which is greater: -1 or w?
-1
Let u(i) = i**3 - 3*i**2 - 3*i - 4. Let l be u(4). Is l at least -1/371?
True
Let x = -28 + 27.95. Let p = 0.75 + -0.5. Let r = p - x. Is r < 0.3?
False
Let u = 5.2 - 4.78. Let a = -0.17 + u. Is a equal to 2/7?
False
Let a(z) = 19*z**2 + 2*z. Let q be a(1). Let f be 3*(-19)/q + 3. Is 44 less than f?
False
Let t be ((-15)/6)/(4 + (-27)/6). Let i(p) = -p**2 + 3*p + 5. Let h be i(t). Let l be (-2 - 4) + (-1 - 0). Which is smaller: l or h?
l
Suppose f + u + 2 = 4*f, -3*u + 3 = 0. Which is bigger: f or 30/29?
30/29
Let v(j) = -2*j**3 + 22*j**2 - 23*j + 32. Let u be v(10). Is -0.032 < u?
True
Suppose -2*n - 14 = -0*g + 3*g, 4*g + 24 = -4*n. Let l be (n - -1) + -2 + 4. Let w = -1493/11 - -136. Which is bigger: w or l?
w
Let k = -10.4 - -4.4. Let z = -0.06 + -1.94. Is k greater than z?
False
Suppose -t + 0*t = 4*k + 472, 590 = -5*k + 5*t. Is -117 less than k?
False
Let p(u) = 20*u**3 + u**2 - u - 2. Let x be p(-2). Let d be (-9)/6 - 250/x. Which is smaller: d or 0?
0
Let j(a) = -a**3 + 16*a**2 - 28*a + 14. Let p be j(14). Suppose p*z - 12*z + 12 = 0. Which is smaller: z or -4?
z
Suppose d + 3*o = 282, 5*d - o + 241 - 1667 = 0. Is d < 2?
False
Suppose -b - 3*o + 18 = -o, 4*b = 4*o + 24. Are 10 and b unequal?
False
Let j = 13 - 13. Let b = -1.8 - j. Let x = b - -1.79. Which is greater: 2/9 or x?
2/9
Let q(d) = 2*d**3 - d**2 - d - 2. Let c be q(-2). Let x be 40/16*2/c. Which is smaller: 0.4 or x?
x
Suppose 0*a - 18 = a + 4*u, 3*u + 18 = -3*a. Suppose -3*g - 6 = -5*v, 0 = -4*g - 3*v - 8. Let i = g - 0. Is a bigger than i?
False
Let a(x) = x**2 + 5*x - 2. Let r be a(1). Suppose 12 = -3*v + 33. Let u = v + -4. Which is bigger: u or r?
r
Let p = -196 - -196. Which is bigger: 9 or p?
9
Suppose -6*l + 2*l - 192 = 0. Let o be 11/((-44)/l) + 2. Which is smaller: 15 or o?
o
Suppose 0 = 96*h - 98*h + 112. Let m = 58 - h. Do 2/3 and m have the same value?
False
Let p = -4.5 + 25.5. Let v = 19 - p. Which is smaller: 6/11 or v?
v
Suppose 8*f = 3*f + 35. Suppose m + 2 = f. Suppose 7 = v + 4. Is v smaller than m?
True
Let y be 0 + 0 + (-2 - -3). Suppose -y = 6*p - 7*p. Let o be -2*((-82)/(-42) + -2). Which is smaller: o or p?
o
Let p(k) = -13*k - 59. Let m be p(-8). Let o be (-8)/14 - m/105. Is -3/38 <= o?
False
Let y be (-1)/(-3) - (-30)/(-54). Let z = -2.5 + -1.5. Are z and y equal?
False
Let x = -1137 - -1137. Let z = -1.05 - -1. Which is greater: z or x?
x
Let s be (-4 + 14/6)*8/20. Let b = 2.98 + -3. Let l = 6.02 + b. Which is smaller: s or l?
s
Let n = -20 + 14. Let d = 81 - 82. Let s = n + d. Which is smaller: -9 or s?
-9
Let g(q) = -q**2 + 6*q - 7. Let h be g(6). Let w be 16/(-10) + (-8648)/920. Which is smaller: h or w?
w
Let v = -161 + 161.05. Which is greater: 19 or v?
19
Let i = 1.188 - 0.288. Let c be 22/(-18) - (-6)/27. Is c at most as big as i?
True
Let l be (-7 - -7)/(1*2). Let p = 0 + l. Suppose p*h - v - 7 = -2*h, 2*v = -3*h. Is h < 2?
False
Suppose 3*h - 4 = -5*s - 24, -h = -4*s + 1. Which is bigger: -1/39 or s?
-1/39
Let d be (-5 + 0/(-1))*(0 + -1). Suppose -2 - 3 = -c + d*s, -3*s + 63 = -5*c. Is c at most as big as 0?
True
Let f = -108713817 + 4073615437408/37471. Let o = -2/707 - f. Is -1 at most o?
True
Let d = -1 - -0.9. Let t = -10625849/246 + 43195. Let c = t - -1/123. Is c > d?
True
Let z = 0.9 + 0.3. Let o = z + -6.2. Which is bigger: 3 or o?
3
Let z be 2/(-8) + (-3)/(120/(-250)). Are z and -0.09 nonequal?
True
Let n = -322 - -314. Let g be -2 - -14*(-2)/4. Which is greater: g or n?
n
Let y be (-2)/(-13) - 80685/(-546). Let b = y + -148. Which is smaller: 1 or b?
b
Let t = 432 + -433. Is -2/3755 > t?
True
Let g = 33 - 67/2. Let v = 7.1 + -8. Which is smaller: g or v?
v
Let j = -475 - -94997/200. Which is greater: j or 0?
0
Let y be (-6)/(-8)*-4 + 2. Which is smaller: -4/227 or y?
y
Let q = -310 - -313. Let r = -41.1 - -43. Let d = r + -2. Is q less than or equal to d?
False
Let m = -109 - -132. Let p be 1*2 + 10/(-5). Suppose 4*f = j + 16 + 1, p = -3*j + 5*f - m. Is 8 at most as big as j?
False
Suppose 7 + 78 = 17*o. Suppose 0*z - c - 50 = -5*z, -o*z + 50 = 4*c. Do z and 10 have the same value?
True
Let m = -98376 - -397069/4. Let z = 887 - m. Is z smaller than -5?
False
Let q = 5086889/193 + -26357. Which is greater: -1 or q?
q
Suppose 0 = 4*p - 21 - 15. Let k be (-80)/24*p/(-42). Is 0 bigger than k?
False
Suppose 4*i + 48 + 16 = -b, 0 = 5*i - 5*b + 55. Let l = 10265 + -10267. Is i less than l?
True
Let b(v) = 3*v**3 - 4*v**3 - 14 - 2*v - 2*v + 15*v**2 + 5*v. Let l be b(15). Let a(h) = h + 1. Let o be a(l). Is o < 2?
False
Let f = 0.1216 - 0.0746. Let a = 0.5 - 0.6. Which is smaller: f or a?
a
Suppose 0 = b + b + 2*c - 10, 0 = b - 5*c + 7. Let k be ((-324)/(-160) - b) + 3/5. Let h = 1 - 0. Which is greater: h or k?
h
Let m be -5*2/(-25) - (-273)/(-195). Let w = -1453/510 - -52/15. Let p = w + -845/1258. Which is smaller: m or p?
m
Let d = 32.6 - 32.5. Is d >= 638?
False
Let k = -151 - -150. Which is greater: k or 73?
73
Let c be ((-28)/8 - -1) + 3. Let d = 11 + -10. Let j = d + 0. Is c less than j?
True
Let x = -187/4 - -47. Let k be 4745/1638 - (-4)/(-14). Let r = k + -17/6. Which is smaller: r or x?
r
Let q = -85 - -208. Suppose 6*y + 219 = -q. Is y < -56?
True
Let l = 13.2 + -17.2. Let y = 0.067 + -1.067. Which is smaller: y or l?
l
Let a = 19 - 20. Let c be (a - 0)/((-14)/238). Suppose -p = -2*u - 6, 0 = 4*u + u - 3*p + c. Which is smaller: -2/13 or u?
u
Let f = 208 + -208. Which is smaller: 1.72 or f?
f
Suppose 10*r - 6*r + w - 422 = 0, 2*r + 5*w = 220. Which is greater: r or 103?
r
Let r be 31/(26/(-273) + (-20)/(-14)). Which is bigger: r or 22?
r
Let v = 29 + -18. Let y = v - 10.6. Let d = y + -0.5. Which is greater: -0.8 or d?
d
Let z(o) = -o**2 - 6*o - 17. Let n be z(-6). Which is smaller: -15 or n?
n
Let o = 66 - 63. Is -12 <= o?
True
Suppose -3*f - 2*c - 27 = 0, -5*f - 33 = c + 5. Let s be ((-12)/5)/(f/980). Let z be 2/7 - 159/s. Which is smaller: 1 or z?
z
Let l(x) = x**3 - 2*x + 5. Let m be l(0). Suppose 3*o = m*o. Is -2/41 <= o?
True
Suppose 39*w = 44*w + 50. Let j = 13 + -23. Are j and w e