- 2*f - 25820 = 0, 6454 = -x - 2*f + f. Let l be (-66)/176 - (12585/x)/5. Which is smaller: l or 0?
0
Let c(p) = p**3 + 17*p**2 + 15*p - 13. Let l be c(-16). Let m be 0 + (0 + 0)/l. Suppose -n - 14 = 3*u, 4*n = 6*u - 4*u - 56. Which is bigger: n or m?
m
Let n(z) = 3*z**2 - 49*z - 567. Let y be n(-21). Which is smaller: y or 1787?
y
Let u = -5408.1 + 5408. Which is greater: u or 2580?
2580
Let v be ((-172)/(-48))/(19/(-57)). Are -10 and v nonequal?
True
Let q = -930 + 4631/5. Suppose 5*m = -4*n - 23 - 12, 0 = 5*m + 15. Which is greater: q or n?
q
Suppose r + 27 = 269. Suppose 1793*b = 1795*b + n - 487, -5*b + 5*n = -1225. Which is bigger: b or r?
b
Let f be -4 + 5 + -4 + 4. Let l be f + 330 + -1 - (5 + -4). Is 328 at least as big as l?
False
Let r be (0 + -13)*(8 - (-10515)/(-1314)). Is 1 >= r?
True
Suppose 24*a - 4 = 25*a, 5*x - 3*a - 3602 = 0. Which is smaller: x or 717?
717
Suppose -2*m - 2*m + 56 = 0. Suppose -c + 42 = 15*v, -c + 22 = -5*v + 10*v. Which is greater: c or m?
m
Let v be 66/9*10494/(-330). Which is greater: -232 or v?
-232
Suppose -47*b + 45*b - 254 = -2*q, -3*q + 261 = -2*b. Is 2/73 > b?
True
Suppose 0 = -450*k + 448*k + 84. Which is smaller: 50 or k?
k
Let t = -71 + 61. Let c = t + 25. Let m = c - 18. Which is smaller: m or 0?
m
Let t be ((-108)/27 + (-242)/(-2))/1. Suppose -120*n + t*n = -12. Is n > 4?
False
Let o = -10 + -75. Let d = 89 + o. Suppose d*z + 6 = -2*z. Is -17 != z?
True
Let t = -838 + 896. Suppose t = -47*u + 46*u. Which is greater: u or -60?
u
Let b be (-171)/(-38) + (-3)/2. Suppose 3*s = -s. Suppose b*u - 6*u + 5*a + 38 = s, 0 = -3*u - 5*a - 2. Is 4 <= u?
True
Suppose 0 = 58*s + 126292 - 22240. Is -1791 at most as big as s?
False
Let z be ((-18)/(-135)*-51 - -6)/(1/(-265)). Which is smaller: 219 or z?
z
Suppose 2*x - 33 = -5*v, 4*x + 3*v - 15 = 3*x. Let u = -28 + x. Suppose 5*g - 5 = -0*g. Which is smaller: g or u?
u
Let m = -113.32 + 117. Let d = -93.32 - m. Which is bigger: d or -1?
-1
Let b be (816/6)/(-8) - -8. Let n be 203/(-87) - 3/b. Which is greater: -30/31 or n?
-30/31
Let j be (-272 + 1)*(-10)/(-40). Let k = j + 67. Let p = 13 - 14. Is k bigger than p?
True
Let o be 27*-1 + 0*3/12. Let c be 6/o - 2694/27. Is c < -101?
False
Let c(p) = -4*p**3 + 1. Let d be c(1). Let b be 2 - 1 - ((-180)/42)/d. Is -1 >= b?
False
Let k(z) = z - 9. Let h be k(22). Let m = 3 + h. Let p be 1*6/(-4)*m/(-24). Is 16/11 equal to p?
False
Suppose 20 = 8*p - 28. Let b be 9/(1 + -4)*(-28)/p. Suppose g - 2*f + 2 = -g, 2*f = -2*g + b. Which is bigger: g or -1?
g
Let y be 2/(-8)*(-3298296)/(-477). Which is smaller: y or -1730?
-1730
Let g = 13 - 16. Let d be 10/15*g - 112/3. Is -38 equal to d?
False
Let f be (28/(-10))/(-6 + 192/30). Let a be ((-10)/15)/((-4)/102). Let p be -2*a/44 - f/14. Which is bigger: 0 or p?
0
Let k = 1487 + -547. Is k >= 939?
True
Suppose -5*o - 297 = -32. Let z = -51 - o. Suppose -z*s - 77 = 5*q - 8*q, 0 = 5*q - 3*s - 127. Are 0.1 and q equal?
False
Suppose 1296*k = 1285*k - 14509. Is k at least 1/3?
False
Let r = -6.113 + 2.113. Let b = 46.8 - 47. Are r and b equal?
False
Let q(c) = -9*c + 76. Suppose -26*b + 21*b + 50 = 0. Let m be q(b). Which is smaller: m or -1?
m
Let z = -11/12 + 2/3. Let m = 290 - 656. Let u be ((-5040)/m)/7 + -2. Is u > z?
True
Suppose 2709 = 4*s + 309. Let h be 4/(-3)*1*(35 + 11658/(-24)). Is s bigger than h?
False
Let w = 13509 + -17291. Is w at most as big as 1?
True
Suppose k = -2*k - 90. Let y be (k/(-9) - 5)*(1 + -13). Let r = 29 - y. Is r greater than or equal to 12?
False
Suppose -5*a + 4*o - 32 = 0, -5*a + 0*o - 44 = 2*o. Let c be ((-2)/10)/((a/20)/(-1)). Which is bigger: c or 15/13?
15/13
Let j be (-176)/6 + 6/(-9). Let m be ((-3)/j)/((-3)/12). Let p = -5.74 + -2.26. Which is greater: p or m?
m
Let c be -709 - (4 + 7 + (2 - 8)). Is -714 at least c?
True
Let y = -2653 + 2599. Is 17 less than y?
False
Let b be ((-13418)/882 - 6) + 8/72. Which is smaller: -20 or b?
b
Let f be 1/6*4 - 3792464/624. Which is greater: -24313/4 or f?
f
Let r be 6 + 3935598/(-629688) - ((-21)/(-28) - 1). Which is smaller: 0 or r?
r
Let q(c) = c**3 - 5*c**2 - 4*c - 3. Let v be q(6). Let t = v + -4. Suppose -3 + t = -2*g. Is g equal to -12/5?
False
Suppose 57*k = 54*k + 726. Let w = -443 + k. Let n = w + 115. Is -86 < n?
False
Suppose 148 = -4*l - 3*a, -2*l - 3*a - 54 - 26 = 0. Let g = -27372/7 - -3910. Which is bigger: l or g?
g
Suppose -247*n + 2717 + 86483 = -24*n. Is n at most as big as 4402/11?
True
Let s be (-14)/(-4) + -3*(-1)/(-6). Suppose -h - a - 5 = -s*a, -8 = -2*a. Suppose -3*j = -12, 2*u + h*j - 44 = -2*u. Is 3 at most u?
True
Let y = -275993/17 + 16235. Do 88 and y have different values?
True
Let r = -1694 + 1695. Suppose -3 + 6 = 3*s. Let i be (199/(-201))/1 + s. Which is bigger: i or r?
r
Let z = 851 + -832. Let v(d) = d**3 - 21*d**2 + 37*d + 20. Let a be v(z). Which is smaller: 30/49 or a?
30/49
Let x be 18/(-8)*(-72)/(-27). Let c be (-2996)/(-42) - (-14)/x. Is 69 >= c?
True
Suppose 2*j = -4*n - n - 19, j - 5*n + 2 = 0. Let r(o) = o**2 + 301*o + 2621. Let c be r(-9). Is c < j?
False
Let r(b) = -b**2 - 127*b - 2636. Let f be r(-46). Which is greater: f or 1099?
1099
Suppose -3*t - 4*k = 15911, 49*t - 51*t = -5*k + 10592. Which is smaller: t or -5305?
-5305
Let v(k) = -k**3 + 5*k**2 - 2*k + 16. Let h be v(5). Let q be ((-14)/h - -1)*39/(-26). Let x be q/(-7) + 650/3549. Which is bigger: x or 1?
1
Suppose -2*d = -5*q - 8884, 0 = -2*d - 498*q + 500*q + 8872. Is 1/2 smaller than d?
True
Suppose -2*u + 8*z = 3*z + 5, 0 = -4*u - 3*z + 3. Suppose -89*d + 94*d + 195 = u. Let q(i) = -40*i. Let y be q(1). Which is smaller: y or d?
y
Suppose 647*v - 646*v - 104 = 4*u, 299 = 3*v + u. Which is bigger: 89 or v?
v
Let w = 1 - 1. Let q = 1.0962 - 40.0962. Which is greater: w or q?
w
Let v = -339 - -687. Let w = v - 194. Which is smaller: 155 or w?
w
Let c = -234.54 - -215.54. Which is greater: 3/118 or c?
3/118
Let y(s) = s**2 - 9*s - 6. Let o be y(9). Let t be 21/((-315)/20)*9. Are o and t unequal?
True
Let w be ((-5)/(25/10))/(-2). Let p be (-3)/9 + w - 717/1089. Is p at most as big as -1?
False
Suppose -6*g - 11 = -23. Suppose 270 = m - 3*o, 0 = g*m + 4*o - 85 - 485. Is 278 < m?
True
Let b = 2354 - 1179. Let s = 9413/8 - b. Let y = -7/8 - s. Which is smaller: y or -2?
y
Let x(m) = m**2 - 4*m + 1. Let u be x(4). Suppose -i - 5*g - 83 = 79, 5 = g. Let n = i + 1306/7. Is u less than or equal to n?
False
Suppose -5040 = 47*d - 62*d. Suppose 512*y = 516*y - d. Is y < 416/5?
False
Let l be (-20)/(1400/(-62))*3/2. Which is greater: 1 or l?
l
Let b be (12/(-8))/(6/920). Let f = 200 + b. Let d = 3/29 + -41/116. Is f less than d?
True
Let b = 220706 - 220756.0205. Let k = 0.0205 + b. Let l = -0.3 + -0.7. Which is smaller: k or l?
k
Suppose -2*k + 5*v = 20 + 4, 3*v = -k + 10. Let d be -7*1/(105/(-885)). Is k != d?
True
Let t = -2.213 + -0.257. Let s = -109.53 + t. Which is smaller: s or -1/4?
s
Let l = 10 - 5. Let p = -39559 + 39523. Is p at least l?
False
Let r = 22371 + -22371. Which is smaller: r or -1334?
-1334
Let z be (-4550)/110 - ((-8)/22)/1. Is -24 smaller than z?
False
Let v = 11.8 - 15.8. Let u = v - -4.03. Is u < 7?
True
Let n = 1.54 - 1.61. Suppose -b - 2*b - 32 = 2*h, 5*b - 2*h = -80. Which is smaller: n or b?
b
Let j = 45 - -18. Suppose -58*i = -j*i + 415. Suppose 7*g - i - 162 = 0. Is g less than 34?
False
Let d(l) = -l**3 + 28*l**2 - 47*l + 105. Let j be d(29). Is -2100 greater than j?
False
Let g = 2790 - 55781/20. Which is smaller: 1 or g?
g
Let s(r) be the third derivative of r**5/60 + r**4/12 - r**3/3 - 4*r**2 + 1. Let v be (1 - 0)*(1 - 0). Let h be s(v). Is h bigger than -1/37?
True
Let p be (-12)/(-1) + -4 - (-8589)/(-7). Is -1219 < p?
False
Let p be 208 - 1/((-7)/28). Suppose -10*s = p - 32. Suppose 4*h - 2*b + 56 = 0, 2*h - 2*b + 20 = b. Which is greater: h or s?
h
Suppose 4*z + 139 = u, 33 = -z + 2*u - 0*u. Suppose l + 2*k = 3*l - 500, 3*k = l - 246. Let q = l + -288. Which is greater: q or z?
z
Let v = 25.68 + -13.92. Which is smaller: v or 1?
1
Suppose -4*l - 8 = -4*j, 5*j + 19 + 21 = -5*l. Let t(g) = -17*g - 12. Let q be t(j). Let i be 32/(-260) - (-6)/q. Which is smaller: i or 1?
i
Let i(b) = -b**3 - 11*b**2 + 13*b - 9. Let x be i(-12). Let q be 3/(-1) - (x + 4). Let v = 14