Which is smaller: 680 or y?
y
Suppose 2 - 10 = 4*l. Let p be 32 + -4*l/(-4)*1. Let v be (-16)/(-7) - p/105. Is 18/7 greater than v?
True
Suppose 16*m = m + 8*m - 98. Which is greater: m or 59?
59
Let w = -14.368 + 5631.368. Is w greater than -2/7?
True
Let s be 2*2/4*(-2 - 3). Let d(l) = 17*l**3 + 2*l**2 - 8*l + 7. Let a be d(1). Is s less than a?
True
Suppose -5*c - 5 - 10 = 0. Let i be c/(-2) + 152/16. Let t = 551 + -539. Which is smaller: i or t?
i
Let o = 32 - 18. Suppose l - 3*l = -y + o, 2*y + 5*l = -8. Let f be ((-8)/y + 0)/(12/54). Which is bigger: f or -2?
-2
Suppose -349 = -2*y - a, -a + 4*a = 9. Let t = -131 + y. Which is bigger: 43 or t?
43
Let f = 296 - 245. Suppose 4*a - f = -11. Is 12 greater than or equal to a?
True
Suppose -4*u - 79*i - 14 = -82*i, -2*u = i - 8. Which is smaller: u or -4/4673?
-4/4673
Suppose -8*c + 3*c + 810 = 0. Let a = 22 + c. Suppose a = g - 9*g. Which is bigger: -22 or g?
-22
Let j = 1110 + -1043. Which is smaller: j or 65?
65
Let y = -192 - -68. Let h = y + 122.3. Let n = -121.7 - h. Are n and 1 unequal?
True
Let j be -2 + (-14044)/132 + 4/6. Is -108 equal to j?
False
Let f(k) = 0*k**3 + 2*k**2 + k**2 - 7 + k**3 - 2*k + 2*k**2. Let q be f(-5). Suppose -y + q*x - 4 = -3*y, -8 = -y - 3*x. Which is smaller: 2 or y?
y
Let v = -0.116 + 0.024. Let k = -4.092 - v. Is -1/5 <= k?
False
Let l = 7417 - 5623. Is l > 1793?
True
Let q be (-3)/((-2 - -8)*(230/(-60) + 4)). Is q at most as big as -44?
False
Let z = -4271 - -4271. Is -2/45 at most z?
True
Let f be (0 + 1)/(-3 - -4). Let t be 7 - 4/((-24)/(-66)). Let v be (t - 1442/483) + 7. Is f > v?
True
Let q = 558 - 552. Let c be (q/14)/((-40)/(-4760)). Which is smaller: 52 or c?
c
Let a be 28/(-3) - (-59)/(1947/330). Is a at least -1129?
True
Let a = -27 - -67. Suppose r + 4*q = 10, 0 = -4*r + 5*q - 9*q + a. Suppose u - 11 = -r. Is 2 at least u?
True
Let i be (76/24)/((-36)/(-3624)). Let p = -321 + i. Is p at least 0?
False
Let x(r) = -49*r + 7. Suppose 3*u - 5*u - 3*y - 10 = 0, u = 5*y + 21. Let p be x(u). Suppose 4*l - 42 = 5*l. Is p < l?
False
Let x be (-294*1)/(19/19). Let q = 295 + x. Which is greater: -0.24 or q?
q
Suppose -2*d + 7*r - 4*r + 10 = 0, 0 = -5*d + 3*r + 25. Suppose 298 = d*v - n, 3*v + 2*n - 223 = -39. Suppose 7*t = 11*t + v. Is t equal to -55/4?
False
Let p = -283/31 - -34387/62. Which is bigger: 545 or p?
p
Suppose 5*t + o + 5913 = -5241, 0 = 5*t + 4*o + 11151. Are -2230 and t equal?
False
Let w = 708.4 - 707.4. Which is bigger: -474 or w?
w
Let q = -365/9 - -460/9. Which is smaller: q or -2/5?
-2/5
Let u = -76 + 73.28. Let y = -5.72 - u. Which is greater: y or 15?
15
Let d(u) = u**3 + 41*u**2 + 64*u + 40. Let r be d(-26). Is r smaller than 8515?
False
Let z = 205 + -199. Let g be 8/z - 20/(-12). Which is greater: -2 or g?
g
Let r(n) = -7*n**2 - 35*n - 4. Let w be r(-5). Let u = 4 - w. Let k(x) = -2*x + 16. Let h be k(u). Which is smaller: -3/89 or h?
-3/89
Let x = -1161 - -495. Is x > -668?
True
Let k = 55 - 51. Suppose 0 = m + k - 14. Let h = -65 + m. Which is smaller: -53 or h?
h
Let s(x) = 897*x - 1797. Let h be s(2). Are -55/13 and h non-equal?
True
Let w(h) = 3*h**2 + 2*h - 15. Let f be w(10). Let t be (f + -5)/6*(-1)/(-7). Which is smaller: 6 or t?
6
Let x = -38 - 24. Let f = x - -36. Let j = f - -63. Which is bigger: 1 or j?
j
Let i be (21/(-18))/(((-10)/270)/((-2728)/(-24))). Which is smaller: 3580 or i?
3580
Suppose 4*z - o + 4 = 0, -4*z - 3*o = 9 + 11. Let d be 7505/(-2451) + 1/(z/(-6)). Which is bigger: d or 0?
0
Suppose -2*a + 57 = -5*j, 4*a + 148*j + 18 = 146*j. Suppose 3*n - 2*n + 1 = 0. Let r be 5 + -7 - (61 + n). Which is smaller: a or r?
r
Let t be -11*(-4 + 2 + 1). Suppose 2*l = w - 23, -w + 12*l = 16*l - 35. Suppose 3*s + 3*g - 6 - w = 0, 0 = 2*s - 5*g - 43. Is s not equal to t?
True
Let d be 87200/305172 + 38/(-133). Is d bigger than 0?
True
Let h = 26 - 21. Let n be (-2 + 1 + h)/1. Let d be 5 + (-4 - n - -2). Is -2/41 less than or equal to d?
False
Suppose 3*b - 16 = 116. Let r = 18 - b. Which is greater: r or -27?
r
Suppose 3*h + 5*s - 681 + 691 = 0, 5*h + 10 = -5*s. Let o(q) = 3*q**2 + 2*q + 6. Let v be o(6). Let r = v + -636/5. Which is greater: r or h?
h
Let v = 145 + -145. Let n be (0 + 1)/(-1)*v + 17. Suppose 0 = 5*f - 65 - 20. Is n <= f?
True
Let i be (-6)/24*(-3 + -1) - -3. Let f be (-63)/(-105) + i/10. Which is greater: -2/97 or f?
f
Let b be (60/(-25))/((-3)/15). Suppose -b*i + 1082 + 238 = 0. Are 109 and i unequal?
True
Let u be 5*(-6)/(-495) + (-946496)/1408. Is u > -672?
False
Let v(f) = 9*f - 43. Let r be v(4). Which is smaller: r or -248/39?
r
Let t = 0.368 - -0.221. Let r = -0.111 - t. Is r > 1?
False
Let c = -57 + 59. Let n be -1 + (1 - (c - 0) - 86). Does -87 = n?
False
Suppose 11 = -b + 3*y, 2*b - 18 = 90*y - 94*y. Which is smaller: b or 3/322?
3/322
Let f be 66 + 5/(15/(-6)). Let c(s) = 98*s**2 + 2*s + 2. Let i be c(-2). Let y be (-4 + (-56)/(-12))/(4/i). Which is bigger: y or f?
y
Let g(h) = h**3 + 15*h**2 + 2*h + 35. Let b be g(-15). Let n(w) = 1 - 13 + 15*w - w**2 + 19. Let u be n(15). Is b at least u?
False
Suppose 2*s - 6 + 2 = -2*b, 2*s = 5*b - 38. Suppose -b*c - 180 = -2*c. Let n(u) = 2320*u - 48766. Let k be n(21). Which is greater: k or c?
c
Let h be -1 - -3 - (2 - -1). Let d be (-4)/(-10)*5*(-24)/(-1932). Is h >= d?
False
Let a = -1222 - -2002. Which is bigger: 781 or a?
781
Let q = -6282 + -319. Is q >= -6600?
False
Let l be ((-60382)/(-60354) - 1)*-3. Which is greater: 1 or l?
1
Let c be -7 + 8 - (-80)/(-192). Is c at most 1?
True
Suppose -2*h + 3*p - 68 = -17, -5*p = -3*h - 75. Is 54 bigger than h?
True
Let k(t) = -2*t**2 - 247*t - 1429. Let q be k(-6). Which is bigger: q or 3/16?
3/16
Suppose 0 = 34*m - 33*m + 57*m - 51388. Which is smaller: 2 or m?
2
Let f be (3/(-5))/(-3)*8/(-24). Which is bigger: f or -13?
f
Let n be ((-9)/2)/(-9)*0. Suppose 8 = -4*o, 5*r = -n*r + o + 12. Suppose -r*c + 4*b = -8, 2*b - 2 - 14 = -c. Is 9 >= c?
False
Suppose 0 = 3*j - 2*w - 12, j - 8*w - 15 = -11*w. Let x be 2/10 - j/(-30)*-1. Let o = -6.83 - -7. Which is bigger: o or x?
o
Let r = 56/9 - 6. Which is greater: r or -0.42?
r
Let b = 1002 + -895.2. Which is greater: 7 or b?
b
Let b(y) = -10*y**2 + 11*y + 1. Let w = 159 + -158. Let x be b(w). Is 1 at least as big as x?
False
Let y(z) = -6*z - 7. Let t be y(6). Let v = 270 + -314. Is v at least t?
False
Suppose 16 = 4*l, -10*d + 4*l - 4096 = -14*d. Let y be 20/(-170) - 968/d. Are y and -0.1 unequal?
True
Let s be -3*(-2)/(25/(-75) - (-38)/6). Is s smaller than -33/178?
False
Let j be (-2 - 1) + 14 + 24/(-3). Let x be ((-5)/2 + j)*(-350)/7. Which is smaller: -15 or x?
x
Let r = -352 + 670. Let y = r - 354. Suppose 5*u + 3*x = -184, 3*u + 29 = 2*u + 2*x. Is u at most y?
False
Suppose -13*c = -8 + 21. Are c and 7/262 unequal?
True
Let n be (12 - -1)/(-390)*8/118. Which is bigger: -1 or n?
n
Let l(j) = 56*j - 4809. Let c be l(94). Which is bigger: c or 458?
458
Suppose 16*t + 36 = 12*t. Let i be (18/(-8))/(((-45)/20)/t). Let x(m) = -m**2 - 6*m + 19. Let f be x(i). Which is greater: f or -4?
-4
Let f be (24552/930)/(16/(-100)*(-10)/(-444)). Is -7324 >= f?
True
Suppose -2*q - 2720 = 84*x - 81*x, 4*x + 3596 = 5*q. Which is bigger: -901 or x?
-901
Suppose -7*x - 2073 - 9791 = 22254. Is x at most 0?
True
Let w = 1.92 - -3.15. Let l = w - 7.07. Which is greater: -0.91 or l?
-0.91
Let w = -1767 - -10631/6. Let m = w + -43/2. Let l = -1579 + 1562. Is m equal to l?
False
Let f(q) = q**2 - 11*q + 3. Suppose 0 = -8*u + 3*u + 50. Let v be f(u). Let x = -993 + 989. Which is greater: x or v?
x
Let y(j) = -17*j - 122. Let w be y(-7). Let t be (-9 - -7 - 1)*-6. Is t <= w?
False
Let a = -197272 + 43597012/221. Which is bigger: 0 or a?
0
Let a = -97081/21 - -4623. Which is greater: -1/5 or a?
a
Let v be (-8)/(-30)*18/12*55. Is v != 465/22?
True
Let c(j) = 486*j + 11184. Let b be c(-23). Let o be (-51)/(-2) - 7/14. Which is greater: o or b?
o
Let c(f) = -9 - 25 + 10*f**2 - 11*f**2 - 42*f + 20*f. Let p be c(-19). Suppose 2*d + p = 3*v, 7 + 28 = 5*v - 5*d. Are 13 and v unequal?
True
Suppose 3*t - 4*i = 18, -2*t + 7*i = 8*i - 23. Which is greater: t or 366/37?
t
Let h = 21353.13 - 21353. Which is bigger: 0.04 or h?
h
Let n be (-3)/36 - (-62855)/(-156). Let z = 464 + n. Is z greater th