?
h
Suppose -8*p - 5*c - 7 = -11*p, 0 = 5*p + 5*c + 15. Let y be (0 - 28/(-21)) + p. Which is smaller: y or -0.047?
-0.047
Let t(q) = -q**2 - 344*q - 342. Let n be t(-1). Which is greater: -5/2762 or n?
n
Let q be -1 - 9/438*-48. Suppose -4*i + u + 2 = 0, -593 = 3*u - 599. Which is greater: i or q?
i
Let u = 523.38 + -481. Let d = u + -42. Let j = d - 1.38. Which is smaller: 1 or j?
j
Let l(q) = 52*q - 68. Let h be l(2). Suppose -h*g - 153 = 63. Which is greater: -12 or g?
g
Let x = 14282 + -14287. Which is smaller: 0.1179 or x?
x
Let m = -2.3 + 13.8. Let p = -12 + m. Are -2/9 and p equal?
False
Suppose -13*t + 166 = -81. Let m(j) = -j**2 + 22*j - 63. Let s be m(t). Is s at most as big as 24?
True
Let v = -5390 - -4508. Which is smaller: -881 or v?
v
Let s = 93 - 66. Suppose s = 85*l - 86*l. Let u = -28 - l. Is 1/33 less than u?
False
Let p = 1/733 - 5879/10995. Suppose z + 6 = 2*u, 5*u - z - 3*z = 15. Suppose 2*m = -r + 3, r + 5*m + u = 6*m. Which is smaller: p or r?
r
Let r(p) be the first derivative of -7/3*p**3 + 1/4*p**4 - 10 + 9/2*p**2 + 6*p. Let g be r(5). Is 8/11 < g?
True
Let s(u) = 38*u**3 + 10*u**2 + 9*u + 6. Let h be s(-5). Which is smaller: -4540 or h?
-4540
Let h be ((-71522)/825)/(2 + -214 + 2). Let i be 10/20*100/126. Let w = h - i. Are w and 1 non-equal?
True
Let b be (-6)/(-27)*216/(-48). Which is smaller: b or 4/283?
b
Let s = 0.1136 + -0.3106. Which is bigger: s or 0.09?
0.09
Let b = -227928/115 + 1982. Let d = -374 - -375. Let r be d/(85/(-75) + 4/30). Which is greater: r or b?
b
Let l(b) = -37*b**2 - 2*b + 1. Let z be l(1). Let r(v) = 6*v + 25. Let k be r(-5). Let h be (k/10)/((-5)/(-10)). Is z at most as big as h?
True
Suppose 3275 = -44*x + 459. Is -69 at most as big as x?
True
Suppose 5*a - 5*l = -0*l + 105, 0 = a - 5*l - 25. Suppose -5 = -3*w + h, -5*w - 2*h = -w - a. Let o be (-1)/w - (-26)/42. Which is bigger: 0.7 or o?
0.7
Suppose -125 - 119 = -2*n. Let d = -80 + n. Is d greater than 40?
True
Let q(r) = -r**3 + 4*r**2 - r. Let s be q(3). Let h be 1/(-3) - s*3/(-81). Which is smaller: 4 or h?
h
Let v = -6717.32 + 6718. Which is smaller: v or 1/4?
1/4
Let l(u) = -2*u**3 - 3*u**2 + 11*u + 9. Let k be l(4). Let f = -123 - k. Is f < 1/8?
True
Let k = 1272.91 + -1240. Let d = 33 - k. Let o = d - 10.09. Is o greater than 3?
False
Let p = -6 - -8. Let w be (-75)/(-10) + (-3)/p. Suppose -g = 5*a - 13, 4*a - 2*g - 11 = -9. Which is greater: a or w?
w
Suppose -2*b - 5*w = -0*b - 8, -3*b + 3*w + 54 = 0. Let h = 168656/3 + -56736. Let v = -504 - h. Which is smaller: v or b?
v
Let h = -6.44 + -252.56. Let z = h - -183. Let m = z + 81. Which is greater: m or -0.2?
m
Let g(y) = -y**3 + 43*y**2 + 142*y - 202. Let q be g(46). Is -15 > q?
True
Let g = 541 + -1477/3. Let m = -5104/105 + g. Let l = 51 + -51. Are l and m nonequal?
True
Let w = -0.11155 + -16.88845. Which is smaller: 28 or w?
w
Let s be 362/(-1022) - (-2)/7. Let m = 206/16283 - -414251/53489655. Let r = s - m. Which is greater: r or 1?
1
Suppose -38 = -t - 35. Suppose 3*l - 5*l = -26. Which is smaller: l or t?
t
Let d = -24/95 + 15533/190. Suppose -4*c = -2*c - 2*s - 162, -2*s = c - 84. Which is bigger: d or c?
c
Let q(w) = w**2 + 7*w + 7. Let x be q(-5). Let l be -3 - (3 + x) - -3. Suppose 0*i + 4*i - 44 = l. Which is smaller: i or 9?
9
Let a(f) = f + 3. Let k(z) = -24*z - 235. Let s(l) = -6*a(l) - k(l). Let n be s(-12). Are n and -7/50 nonequal?
True
Let o(h) = 4*h**2 - 143*h + 140. Let l be o(1). Suppose 5*d + 0*r + 3*r = -3, -3*r = 3. Suppose 3*j = -d*j - 6. Is j less than or equal to l?
True
Let g(x) = -559*x + 41927. Let a be g(75). Let j = -43 + 43.95. Let p = j + -1. Which is smaller: p or a?
p
Let u = -1337.2 - -1511.2. Is -5 less than or equal to u?
True
Let r(t) = t**3 - 2*t**2 - 3*t + 3. Let y = 9 + -3. Let f be r(y). Are f and 130 nonequal?
True
Suppose -370 = 5*r + 4*t, r - 5*t + 74 = -7*t. Let s(p) = 2*p**3 + 2*p**2 - 6*p - 1. Let i be s(-4). Let v = r - i. Which is bigger: v or -1/53?
-1/53
Let b(z) = z + 8. Let r be b(-6). Let y = 1016.84 + -1017.35. Which is smaller: r or y?
y
Let h = 6550 - 22993/4. Let g = -802 + h. Which is smaller: g or 104?
g
Let z = 0.697 + -0.7144. Let i = z - 3.9826. Is i less than -42?
False
Let o = -10/157 - 164/2355. Which is smaller: o or -610?
-610
Suppose -l + 3*l = -t - 96, -106 = t - 3*l. Is t > -92?
False
Let n = 11245 - 11233.123. Let l = -0.123 - n. Which is greater: 0.1 or l?
0.1
Let s be 77/(-21) + (-8)/24 - 25916/(-6482). Is -1 at most s?
True
Let h = 2105.77 - 2117. Let f = 9.77 - h. Is 3 >= f?
False
Let h be -32 + (-1)/(1/(-2)). Let b(c) = c**3 - 5*c**2 - 9*c + 13. Let y be b(5). Let i = y - h. Are 0 and i nonequal?
True
Let v = 49541/13 + -3811. Which is smaller: -6/167 or v?
v
Suppose 2*h - 38 = -4*j, 7*j = 4*j - 5*h + 25. Suppose 9*y = -j*y. Let t(f) = f**3 - 6*f**2 + 2. Let w be t(6). Which is bigger: y or w?
w
Let f = -321 + 44. Let g = f + 239. Is g bigger than -38?
False
Let a = -4.2 - -4. Suppose 19*l + 256 = 11*l. Let i be (l + 0)*8/(-32). Which is bigger: a or i?
i
Let f be -8*10/(-160) - (-429)/582. Is f at most as big as 2?
True
Let s(m) = -88*m + 308. Suppose -87 + 24 = -7*d. Let k be s(d). Which is smaller: k or -485?
-485
Let u(a) = -a**3 + 2*a**2 - a. Let p be u(1). Suppose -5*l - 19 + 64 = p. Let b be (18/16)/((-21)/28)*2. Is l at least b?
True
Suppose -72 = 3*n - 6*n - 2*c, -5*n = -c - 133. Let b = 44 - 76. Let u be -2 - 1*(3 + b). Which is smaller: u or n?
n
Let a(z) = 567*z + 8554. Let k be a(39). Which is greater: k or 30668?
30668
Suppose -4*w + 13*w - 45 = 0. Suppose -w*m = -4*m + 27. Let y = m + 57. Which is smaller: y or 31?
y
Let t = -4 + 5. Let q be (-28 - 1083/(-38))/(67/(-20)). Which is greater: q or t?
t
Let p be (-38 - 0)/(41/2460*-15). Are -1/23 and p equal?
False
Let w be (-21)/((-3087)/4452) + (-2)/7. Is w less than or equal to 60?
True
Let x = -3/245996 - 434641/4702705532. Which is smaller: 0 or x?
x
Let f = 0.16168 + -0.00168. Is f greater than -104?
True
Let g = -4 - 515. Let r be -6 + (-5 - -10) + -519*1. Which is smaller: r or g?
r
Let m = -22 + 18. Let q be 5 + -4 - (-12 - m). Let p = 371 + -371.3. Which is smaller: p or q?
p
Let z = -1601/3 + 545. Suppose -16 = -3*m + 5*n, -2*m - 4*n - 3 = -43. Are m and z nonequal?
True
Let x = -25.6 + 4.6. Let c = 4.5 - -14.5. Let y = x + c. Is -8 greater than or equal to y?
False
Let i = 2.251 + -1.451. Let u = -19 + 18.8. Is i smaller than u?
False
Let s = 794 - 926. Let w = -291 - s. Which is greater: 0 or w?
0
Let w = -12 + 11. Let h be 9/39*(-1 + w). Let j = -300 + 300.1. Is h less than j?
True
Let s = -117 - -128. Let m be 9/((-18)/(-10)) - -6. Is s greater than m?
False
Let u be -7 - (998136/(-1068876))/(-1 + 34/30). Is u bigger than 0?
True
Suppose 28*u - 1588 = 820. Let m = u - 85. Which is smaller: m or -2?
-2
Let h = 3.425 - 46.425. Let g = -0.09 + 43.09. Let t = h + g. Which is greater: t or 34?
34
Let g = -292/5 - -10218/175. Let c be (42/(-63))/(-1 - (-5)/3). Is g > c?
True
Let a be (2/4)/((-2)/(-4)). Let f = 942 - 960. Let s be ((-48)/(-27))/(f/(-81)). Which is smaller: s or a?
a
Let z = 11598/23 - 504. Suppose -3*c = -8*c + 40. Let d = 8 - c. Which is bigger: z or d?
z
Let d be 1*(-12 - 7) + 7. Suppose -4*q + 3*m = 103, -3*q + m = -2*m + 75. Let p = 16 + q. Is d at least p?
True
Let u = 167 - 121. Let c = u - 273. Is -228 >= c?
False
Suppose -3*b - 515 = 5*v, 851*b - 853*b - 346 = 4*v. Is b >= 2?
False
Let a = 96951 + -874145/9. Is -175 at least as big as a?
True
Suppose 25*j - 189 = 18*j. Suppose -1224 = 35*i - j*i. Which is smaller: i or -154?
-154
Suppose 5*l + 4*b = 106, -2*b = -b - 4. Suppose -6*s = -3*i - 3*s + l, -2*s = 3*i - 33. Is i > 5?
True
Let x(k) be the third derivative of -49*k**5/60 - k**4/12 - 3*k**3/2 - 196*k**2. Let h be x(3). Which is greater: -457 or h?
h
Suppose -w = 4*w + 125. Let k = -30 - w. Let y be (-8)/2 - 30*(-6)/k. Are 0.1 and y unequal?
True
Let a(f) = 18*f + 1819. Let v be a(-103). Are -45 and v nonequal?
True
Let b = -12 + 17. Suppose 3*a - b = -2*a. Let n be 47/((-1)/a*(-3)/3). Is n at most 46?
False
Let f be ((-26)/6)/((-1)/12). Let p(r) = -f + 121*r + 119*r - 245*r. Let n be p(-10). Is -2.5 greater than n?
False
Let z be -7 - 4/((-24)/35082). Is 5840 >= z?
True
Let t = 19 - 23. Le