ater than or equal to z?
True
Let b = -742 + 790.04. Let y = b - 1.04. Let k = y - 46. Which is bigger: k or -11?
k
Suppose 0 = -0*s + 2*s - 30. Suppose -2*l = -5*y - s, l = 4*l + 4*y + 12. Let t = 11933/78 - 153. Is l at least as big as t?
True
Let w be (1/(-2))/(66/24618) + 9/18. Which is smaller: w or -172?
w
Let t(r) = r**2 - 9*r + 29. Let f be t(5). Let x be 1 + (5929/630 - (-2)/(-18)). Does f = x?
False
Let c = 7.79 - 1.39. Let k = 0.035 - 19.635. Let t = k - c. Is t < 0.2?
True
Let k = 6041.076 + -5975. Let r = k + -0.076. Let v = 66.2 - r. Is v smaller than 1/2?
True
Suppose -287 = 12*n - 2039. Suppose -253*y + 717 = 5*j - 249*y, 3*j + 3*y - 429 = 0. Which is smaller: j or n?
j
Let u = -0.4 - -0.3. Let d = 309203/41 + -7541. Let w = d + -3/82. Is u equal to w?
False
Let m = -0.23498 - -0.14498. Suppose -3 = -2*s - b + 2, 0 = -5*s + 4*b + 19. Let c be (3/(-6))/(s/2). Is c bigger than m?
False
Let q be 467 + -9*(-8)/24. Let c = q - 376. Which is greater: 93 or c?
c
Let a(l) = -l**3 - 12*l**2 - l + 1. Let o be a(-12). Suppose -o*k = -12*k. Suppose 5*q + 0*q = 5*z + 135, 5*z - 20 = k. Is q bigger than 1/4?
True
Let n = -10424 - -10301. Which is smaller: n or -2093/17?
-2093/17
Let f = 5474 + -8463. Do f and 1 have the same value?
False
Let f = -0.125 + 79.125. Let a = -82.63 + f. Let m = 3.5 + a. Is m >= 0.1?
False
Let n = 9 + -12. Let w = n + -11. Let b = 443/44 - 108/11. Which is smaller: b or w?
w
Suppose 3435 = -6*c + 297. Which is smaller: c or 3?
c
Let a = -4 - -2. Let g = 162 + 43. Let z = g + -1643/8. Which is greater: a or z?
z
Let k = 44001 + -44023. Suppose o + 3*n = 59, 2*o - 5*n - 215 = -3*o. Suppose -84 = 4*q + 4*c, -o = 2*q - c - 2*c. Is q < k?
False
Suppose 0 = -2*p - 5*c - 3, -3*c = p + 2*p + 9. Let a be (-1 + -2)/(p/20). Let b be (1988/(-426))/(1/(-3)). Is a equal to b?
False
Let d(m) = m + 23. Let v be d(-8). Let o be 18/v*90/9. Which is bigger: o or 25/2?
25/2
Let s = -121335 - -1332451/11. Which is bigger: s or 0?
0
Let h be ((-78)/65)/(2/5). Let m be (53/(-1590))/(((-4)/h)/2). Is -1 >= m?
False
Suppose 3*n - 15 = 0, -10*g + 45 = -5*g + 5*n. Suppose 0 = -2*f + 3*i + 1, -7*f + 3*i = -g*f + 6. Is -8 greater than or equal to f?
False
Let v = 20.29 + 61.81. Let z = -80 + v. Let m = z + 1.9. Is m greater than or equal to -2/21?
True
Let d = -473 + 617. Let g = -141.66 + d. Is g > -1?
True
Let x be 6 + 27/(-6) + (-2)/(-4). Suppose -4*s - x*b - 46 = 0, -b + 2*b = -3*s - 34. Are -12 and s nonequal?
True
Let l(t) = t**2 - 6*t - 16. Let v be l(10). Let a be v/11 + -1 + (-45)/(-55). Suppose 2*g + 13 - 3 = -4*n, 9 = 3*g - a*n. Which is greater: g or -20?
g
Let v = 250936 - 250577. Let k be (4 + 0)*(89 - -1). Is v < k?
True
Let q be (-4472)/(-520) + -6 + (-3)/1. Does -629 = q?
False
Let x be (3666517 + 1)*(-2 + (-124)/(-64)). Let h = x - -228709. Let r = h + 447. Is -1 >= r?
True
Let h be 363/(-11) - (0 + -1)*-2. Let i be -2 + ((-200)/h - 4/(-14)). Suppose 2*c + 8 = 4*a, -40 = -i*c - 5*a - 17. Which is smaller: 9 or c?
c
Let v be 2/((-26)/(-15)) + (-4)/26. Which is smaller: -13/115 or v?
-13/115
Let o be 12/5*(-260)/(-39). Suppose 5*t - 2*f = 3, 14*t + 10 = o*t - 3*f. Is 10/41 equal to t?
False
Let q be (((-27)/1)/(-9))/24. Is -1.86 equal to q?
False
Let i be (-630)/21*1/((-6)/(-2)). Is i greater than -8?
False
Suppose 4*t = -2*b + 4*b - 14, -3*b = 5*t + 12. Let k(d) = 3*d - 20. Let r be k(11). Suppose 16*p - r*p = 0. Which is greater: b or p?
b
Let h = 5603 - 6775. Is -1174 < h?
True
Let r(n) = -n**2 + 13*n - 2. Let q be r(13). Let h be (q/6)/((-4)/132). Let k(y) = -y**2 + 12*y - 11. Let v be k(h). Is 1 < v?
False
Let a = 190 - 118. Let w = a - 38. Which is smaller: w or 0?
0
Let h = -13/75 + -17/75. Which is greater: -985.6 or h?
h
Suppose 0*q + 5*r = -q - 16, -q + 3*r + 8 = 0. Let u be 2 + -1 + 2 + 29 + 5797/(-176). Is u at least as big as q?
True
Suppose -7 = -4*f - 3*v, 5*f - 4 = -v + 2*v. Let n be 3/(-6)*0 + -2*f. Let j be n/(3 - (-25)/(-8)). Which is bigger: 17 or j?
17
Let s be -1*4/10*5. Let a be (-2 - -21)*(s + 3). Suppose -f + 376*c + 26 = 375*c, -3*c = f + 6. Which is smaller: f or a?
f
Let f = 1406 - 1711. Is -306 at least as big as f?
False
Let h(d) = 191*d - 986. Let x be h(6). Let b be (1 + 26/3)*(-33)/(-2). Which is smaller: b or x?
b
Let h = 1128464/83 + -13596. Is h bigger than 0?
False
Suppose -10 + 1 = 4*a + 3*p, -2*a + 5*p = 37. Let t(c) = -c**2 - 5*c + 8. Let v be t(a). Let y be (-560)/1100*5/v. Which is bigger: 0 or y?
0
Let f = -5335 + 5321. Let q(k) = 4*k**3 + 3*k**2 - k - 2. Let v be q(-2). Which is bigger: v or f?
f
Let w = -1876068/133 - -14106. Which is smaller: w or -1?
-1
Suppose -a + 4*g = 47, -411*a = -408*a + 3*g + 66. Which is greater: a or 13?
13
Let l(a) = a**2 + 7*a - 4. Let b be l(-8). Suppose -2*g + 0*f + 16 = -f, -b*g + 26 = f. Suppose -g*r = 2*r + 45. Which is smaller: r or -6?
-6
Let p = -13443 + 174862/13. Let s = p - 331/91. Which is smaller: s or 4?
4
Let x = -2874 + 2499. Is -379 at least x?
False
Let c = 106.23 + -98.23. Which is greater: -0.112 or c?
c
Let n = -2 + 14. Let j = n - 10. Suppose -j*z - 15 + 13 = 0. Which is smaller: 1/12 or z?
z
Let i(v) = -251*v + 419. Let h be i(3). Which is bigger: h or -324?
-324
Let r = 16520 - 16767. Which is greater: -248 or r?
r
Suppose -62*c = -70*c - 384. Let f = c + 136. Which is smaller: f or 92?
f
Let p = -16539 + 16497. Is -17 < p?
False
Let a = 2950.071 + -2950. Which is smaller: a or 0.8?
a
Suppose 3*s + 5870 = 2*p - 3760, s + 4*p + 3224 = 0. Which is smaller: -3210 or s?
s
Let h = 390 + -380. Let v be (-18)/h*154/66. Is v less than or equal to -5?
False
Let s be 25/10*1044/73515. Which is greater: 2/21 or s?
2/21
Let n be -350*(8 + (4 + (-168)/40)*42). Which is greater: n or 136?
n
Suppose 37*a - 163 + 83 = -80. Is -1/2436 smaller than a?
True
Let q = -68669 + 68671. Let n = 18 - -12. Which is bigger: n or q?
n
Suppose 51*f = -3194 + 1001. Is -50 < f?
True
Let q = -4711 + 4717. Is -393 at most as big as q?
True
Let v be -18 - (8 - 12400/(-60)). Are -233 and v unequal?
True
Let s be (23/(-4186))/(4/(-406)). Is s less than or equal to 2?
True
Let d be (8/(-3))/(1/(-3)). Suppose d + 3 = k. Suppose -2*p - 2*g = -12, -4*p + g + 16 + 28 = 0. Is p at least k?
False
Let v(p) = 36*p + 505. Let c be v(-14). Is c greater than or equal to -17/652?
True
Suppose -4*m + 2*k = -1274 - 3212, 2*m + 3*k - 2231 = 0. Which is bigger: m or 1124?
1124
Let l = 62 + -503. Which is smaller: -442 or l?
-442
Let t = -22/573 - -2402/2865. Is t >= 447?
False
Suppose 2*y = 210 + 212. Suppose 5*h - y = -0*r - 2*r, 0 = -h - 4*r + 53. Suppose -2*q + 53 = b, 4*b + 11*q = 16*q + 134. Are b and h non-equal?
False
Let g = -2/13 - 9/26. Let l = 119764 - 119763.907. Is l less than g?
False
Let p(w) = 29*w**2 - 86*w - 1889. Let g be p(-18). Is g greater than 9055?
False
Let i = -28.865 + -1.095. Let v = i + -0.04. Let o = 30 + v. Which is smaller: 3 or o?
o
Let n = 1429529/615505 + 1/19855. Which is smaller: 1 or n?
1
Let f be 18/(-15)*(-19)/57. Let j be (-3 + -1)/((-4)/(-10)). Let l(x) = -x**3 - 11*x**2 - 13*x - 3. Let m be l(j). Is f at most m?
True
Suppose 2*b + 7 = 21, 4*c + 35 = 5*b. Is c smaller than 4/2567?
True
Suppose -n - 1137 = -4*m - 2*n, 3*m - 840 = -5*n. Suppose w = 5, 4*u + m = w + 52. Which is bigger: -55 or u?
-55
Let i = -41 + 51. Suppose -g = 2*w + 11, w = g - 2*g - i. Let l(c) = -3*c - 27. Let k be l(g). Which is smaller: k or -1?
-1
Let c = 51001 - 713721/14. Which is bigger: 21 or c?
21
Let i be 1*44/(-11) + (1 - -4237). Is i at most 4234?
True
Let o(s) = -10*s + 7*s + 5*s + 3*s**3 - s**2 + s + 6*s**2 + 1. Let r be o(-1). Which is greater: r or 91?
91
Let m = 7445 - 59543/8. Let b = -49 - -48. Do b and m have the same value?
False
Let s = 545 + -301. Let u = s - 245. Which is greater: -194 or u?
u
Suppose -207*i + 202*i - 17749 = -b, 3*b = 3*i + 10659. Do -3549 and i have the same value?
True
Suppose 16*x = -0*x + 2*x - 133392. Is x <= -9527?
True
Let b be -11 + (-4899)/(-21) - (-2)/(-7). Suppose 0 = h - 2*p + 63, -2*p - b = 4*h - 4*p. Suppose 155 = -3*x - d - 3*d, 0 = 4*x - 5*d + 217. Is x at least h?
True
Let k = 103642 + -103612. Let b = -35 - -65. Is k at least as big as b?
True
Let n = -14 - -14.97. Let x = 1.03 + n. Is 119 <= x?
False
Let x(n)