, -17*k = -2*u - 18*k - 371. Is -192 at least as big as u?
False
Suppose -2*b + 1384 - 3704 = 0. Let r = b - -3652. Let u be 1 + (3 + 1 - r/490). Which is bigger: 1 or u?
1
Let m(n) = -n**3 + 5*n**2 - n - 15. Let x be m(4). Which is smaller: 1045 or x?
x
Let t(p) = -6*p - 85. Suppose 9*a = -14*a - 322. Let j be t(a). Is j not equal to 3/59?
True
Let b(h) = 25*h**2 - 37*h + 154. Let w be b(5). Which is smaller: 595 or w?
w
Suppose 8 = -3*x + 4*i, -5*x + 6*x + 11 = 3*i. Suppose 2*c - 2 + 12 = -2*f, f = 2*c + x. Let o(w) = 2*w**2 - 3. Let l be o(f). Are -6 and l nonequal?
True
Let m = 2166 - 2166.055. Which is smaller: m or -2?
-2
Suppose 30*z - 26*z = -2*k + 234, -5*k - 14*z = -585. Which is greater: k or 1887/16?
1887/16
Let l = 11602 + -1543076/133. Which is smaller: l or -0.2?
-0.2
Let w be 2 - ((-222)/710 + -1). Let v be 48/(-18)*(-12)/(-284). Let q = w + v. Which is smaller: 3 or q?
3
Let m = 347 - 331. Suppose 11*v - 27 + m = 0. Let b be (-74)/(-264) + (-1)/4. Are b and v nonequal?
True
Suppose 283*f - 284*f = -6, 0 = -6*r + 2*f - 1416. Which is bigger: r or -231?
-231
Let c be (2/(-9))/(-2)*-122. Let m = -74/9 - c. Let v be (-378)/315 - (-36)/5. Is v greater than m?
True
Let k = 40393/1659 - 8/553. Let g = -371/15 + k. Is g less than -38?
False
Let f be 2/(-21) - ((-7672)/294 - -25). Which is smaller: 2/737 or f?
2/737
Let t = 209.97 - 243.9. Let p = 0.93 + t. Let h = 25 + p. Is h less than or equal to -7?
True
Let s be (4 - 52/12) + 361/1065. Suppose 4*y = -2*y. Is s greater than or equal to y?
True
Let s = -23 + 37. Let m be ((-21)/(-7) + s/(-4))*-4. Suppose 4*j + 4 = m*d + 5*j, -d - 5 = -3*j. Is d < 1/14?
False
Let w be ((-75)/30 + -7)*72/(2 + 1). Which is smaller: -232 or w?
-232
Let c = 99.801 - -0.199. Let s = -1.46 - 125.54. Let u = s + c. Which is bigger: u or 1/3?
1/3
Let s(o) = o**3 - 8*o**2 - 17*o + 4. Suppose -7*p + 66 = -2*p - 4*a, 0 = -4*p + 2*a + 48. Let v be s(p). Is v less than 32?
False
Suppose 5*j + 39 - 69 = 0. Let f(m) = -1 + m**2 - 2*m**2 + j - 4*m. Let n be f(-6). Is n equal to -7?
True
Let t = 2161394/862589 - 228/91. Is t at least as big as 1?
False
Let k(j) = 99*j + 396. Let w be k(-4). Is w at least 1261/6?
False
Let x = -3552.4 - -3489.491. Let t = x + -0.091. Let g = -63.049 - t. Are g and 0 unequal?
True
Suppose 0 = -3*x - 15, 2*z = 4*z - 5*x + 213. Let o be (-51)/z - (-20)/(-14). Let l = o - -3. Is -1 at least as big as l?
False
Suppose -4*l + 5910 = 390*l. Let w(o) = -3*o - 5. Let s be w(-6). Which is greater: s or l?
l
Let a(f) be the third derivative of 0 + 0*f + 1/12*f**4 + 15/2*f**3 - 38*f**2. Let z be a(-24). Which is bigger: -1 or z?
-1
Let w(n) = -189*n - 19. Let c be w(1). Let k = -210 - c. Which is smaller: k or 61?
k
Let d = -477 - -325. Let z = 151.8 + d. Which is bigger: 21 or z?
21
Suppose -i = -17*r + 20*r - 11, 5*i + 25 = 5*r. Suppose -11 = -d - 10, -d = r*v + 99. Which is smaller: 4 or v?
v
Let s = -3819/295 + -15/59. Let q be 4/(-16)*0 + -1 + -1. Which is smaller: q or s?
s
Let m be (1/3)/((-17)/(-6)). Let y(k) = -91 + 55*k + 76*k - 154*k. Let h be y(-4). Is m bigger than h?
False
Let z = -4688/43 - -662726/5977. Which is smaller: 1 or z?
1
Let h = -28404 - -28403.8298. Which is smaller: 1 or h?
h
Let k be 11/33 - (-3 + (-56)/(-6)). Let m(s) = s**3 + 4*s**2 + 8. Let l be m(k). Is l greater than -64?
False
Suppose -4731*n - 562980 = -4698*n. Is n at least as big as -17062?
True
Let u = 389 - 409. Let b = 20.9 - 1.9. Let c = b + u. Are c and -2.2 nonequal?
True
Let j = 61 - 429/7. Let q = 274 - 262. Let w be (q/24)/(1/100). Which is smaller: w or j?
j
Suppose 87*j - 20295 = -289473. Which is greater: j or -3095?
j
Let m be ((-8 + -3)*1)/((-5)/25). Which is smaller: 60 or m?
m
Suppose -3*a + 219 = 4*q, -75*q + 80*q - 273 = -4*a. Suppose -42 = -4*u + v, 5*u - 7*v + 3*v = 47. Let t = -10 + u. Is t at least as big as q?
False
Suppose -19 = 3152*k - 3171*k. Does -3/21140 = k?
False
Let a = 36 + -87. Let f = -0.3639 + 0.0639. Let i = 0.7 - f. Is a != i?
True
Let f = -23/205 - -21/41. Which is smaller: 3521 or f?
f
Let u be (-4)/3968*6*1/(-4). Which is smaller: u or 0?
0
Suppose -4*u = 0, 0*u - 20 = -4*a + 5*u. Suppose 3*y - 3*h - a = 1, 22 = -4*y - 2*h. Suppose 1 = b - 0. Is y at least b?
False
Let a = -942.5 + 758. Let f = a + 184. Let w be 13/13*(-6)/8. Which is bigger: w or f?
f
Suppose 0*m = -m - 3*b + 3, -3*m + 35 = -4*b. Let i be 6 + -5 + (10 - 1). Is i greater than m?
True
Let s = 920 + -381. Which is bigger: 543 or s?
543
Let f(x) = 7*x + 128. Let p be f(-18). Suppose 3*y + p*u = 5*u - 33, -u = 1. Is -65/6 > y?
True
Let m = 34985 - 34980. Which is smaller: -2431 or m?
-2431
Let c = -2823 + 2729. Which is smaller: -97 or c?
-97
Let i(h) = h + 6. Let c be i(-3). Let l be (c - 1)*((-329)/84 + 4). Is 15 at most l?
False
Let k = 5972 - 4078. Are k and 1892 non-equal?
True
Let v(l) be the third derivative of -2*l**3 + 0*l - 6*l**2 + 0 - 1/12*l**4. Let r be v(-11). Which is smaller: 11 or r?
r
Let o = -71.346 - -4.346. Which is bigger: o or -11?
-11
Let w = 768.2 + -1143. Let s = 375 + w. Is s at least as big as 7/15?
False
Let q(i) = 16*i + 94. Suppose -11*c - 107 = -52. Let f be q(c). Is 14 greater than or equal to f?
True
Suppose f = 4, -d - 2*f + 0*f + 8 = 0. Let i be -2 + 4/(-2) - (37 + -41). Let b(c) = 21*c + 2. Let r be b(i). Which is smaller: r or d?
d
Let y = 15.737 + 7.358. Let k = 0.095 - y. Is 11 smaller than k?
False
Let o = -7/73 - 131/1679. Let u = o + -7/92. Let p = 15 - -69. Which is smaller: p or u?
u
Suppose 5*n = -2*k - 296, -5*k + 3492*n = 3487*n + 670. Which is bigger: k or -145?
k
Let v be 6/9*((-3)/6 + 195/(-6)). Suppose 4*m = d + 17, -2*d - 2*d = 4*m + 108. Which is greater: d or v?
v
Suppose -4*s - r = 2243, 4*r + 2228 = -4*s - 0*s. Let t = -796 - s. Which is smaller: -233 or t?
t
Suppose 0 = -3*g + 3*o + 741, 5*o - 15 = 5. Let k = 16313/65 - g. Let r be 1/2*220/495*(-9)/2. Which is smaller: r or k?
r
Let p = 7 + -2. Suppose 0*v - 57 = -2*v - p*t, t = v - 11. Suppose -18*x + v = -16*x. Which is bigger: x or 10?
10
Let t = 856 + -3095. Let b = t + 8999/4. Which is smaller: b or 12?
b
Let j = -7137.00669 + 7137. Is j > -0.2?
True
Let o be 25*(-1)/5 + (-8250)/(-54). Which is bigger: o or 148?
148
Let o be 6 + -771*(-6)/(-81). Let h = 107 + -55. Let c = h + o. Is 0 greater than or equal to c?
False
Let a = -2991 - -2990. Is 2/9535 > a?
True
Let g(x) = x**2 + 2*x + 10. Let j be g(-3). Suppose -2*v + j + 63 = 0. Which is smaller: v or 31?
31
Suppose 67*p + 13*p + 1680 = 0. Are p and -26 equal?
False
Suppose 2*p - 2*m + 212 + 80 = 0, 0 = m. Suppose 0 = -20132*a + 20095*a - 5365. Is a at least p?
True
Suppose -5*n + 0*m + 5*m = -60, 4*n - 2*m = 52. Let c be (-7)/n + (-53)/6. Let s be (-34)/(-187)*(115/20 + -3). Which is bigger: c or s?
s
Let a be ((-264)/555)/(-2)*-1. Let v = -6/37 + a. Suppose f + 0*f + n = 22, -5*f = -4*n - 74. Is f at most v?
False
Let m be ((-4790)/(-8))/(70/56). Let q = -479 + m. Which is smaller: -2/47 or q?
-2/47
Let y = 54.985 - -0.015. Let z = -93 + y. Let i = 18 + z. Which is smaller: -2 or i?
i
Let g = 7028 - 7030. Are -39/23 and g unequal?
True
Let t(q) = q**3 - 9*q**2 + 19*q - 1. Let n be t(6). Suppose 3*u + 90 = 3*l + 6*u, 69 = 2*l + n*u. Let r be 129/l + -2 + -3. Which is smaller: 1 or r?
r
Let u be (-78)/13 + 11/((-22)/(-12)). Are u and 564 non-equal?
True
Let o = 25668 - 23865. Which is smaller: o or 1801?
1801
Let s = -256 - -256.147. Let q = -0.237 + s. Is 21 at least as big as q?
True
Let b be (-2)/794*(16 + 573/(-36)). Is 1 at least as big as b?
True
Let b = 6.73 + -0.03. Let p = 7.1 - b. Which is smaller: p or 17?
p
Let u be (6647 + 15/5)/(82/(-205)). Which is smaller: -16624 or u?
u
Let f(m) = -2*m**3 - 7*m**2 + 98*m + 11. Let r be f(14). Which is smaller: -5478 or r?
-5478
Suppose 12 = 2*v, 0 = -0*i + 4*i - v + 150. Which is bigger: -62 or i?
i
Let j = -408/137 + 7204/2603. Is j greater than -0.59?
True
Let f = 4190 + -4136. Which is bigger: -6 or f?
f
Let b(v) = v**2 + 16*v - 24. Let o be b(-18). Let i(d) = d**3 - 11*d**2 - 13*d - 11. Let c be i(o). Let h = 24 + c. Is h greater than or equal to 6/7?
True
Let o be (2714/(-885))/(8/10). Is -1/5 at most o?
False
Let g be (-4 + 17)*-16*26/13. Which is smaller: g or -829/2?
g
Let k(s) = 4