Let z be ((-1)/f)/((-6573)/(-126))*-5. Which is smaller: z or 0?
0
Let l(o) = -12*o - 176. Let c be l(0). Let r = c + 170. Is r > 4?
False
Let w = 413/155 + -13/5. Suppose 400 = 6*f + 520. Are w and f non-equal?
True
Let w = 158 + -166. Let p be 20/45*68/w. Does -3 = p?
False
Let y be 3/(5 + -2) - (-40)/(-42). Suppose 15 = 5*r + 3*w, 8*r + 4*w = 4*r + 4. Suppose 0 = -3*k - 4*t - 8, k - r*t - 10 = -t. Which is bigger: y or k?
y
Let n be 8 + 1/4 + (5810/56 - -15). Is n less than or equal to 883/7?
False
Let d = 250 - 230.9. Let v = -18.8 + d. Is -3/19 at least as big as v?
False
Suppose 5*i + 6*i = 0. Let q be (7 - 6)*(i + 2). Suppose q*s = -4, -s = 2*l - 0*s. Are -8 and l nonequal?
True
Suppose -4*m = 89 - 145. Suppose 0 = -k - 2*t - 397, -m*k + 15*k = 3*t - 377. Which is smaller: -390 or k?
-390
Let m(g) = 2*g + 29. Let y be m(-12). Suppose 5 = 4*j - y*h, 3*j + 4*h - 2*h = 21. Suppose j*l - 20 + 5 = 0. Is 4 at most l?
False
Let a be ((-7 - -8) + 65 + 0)/(2/(-49)). Do a and -1615 have the same value?
False
Suppose -f - 12 = 4*c, 4*c + 12 = 2*f - 0*c. Let u = 2527 - 1799. Let r be 1113/u - 4/26. Which is smaller: r or f?
f
Let r = 46 + -42. Suppose -5*x + 41 = 2*o, 2*o = r*x - 5 - 35. Let a = -80 + 175/2. Are x and a equal?
False
Suppose 4*j - 2*z = 7*j + 41, 5*z + 44 = -3*j. Let d be (416/j)/(6/9). Is d greater than or equal to -48?
True
Suppose -4*q + 23 = -m, -4*m - q = 87 + 22. Is m at least as big as -85/3?
True
Let k be 54*10*10/75. Suppose -168*x = -162*x + k. Is x > -56/5?
False
Let k(t) = t**2 - 12*t + 4. Let m be k(12). Suppose -4*h - 2*u - 310 = 0, -m*h - 215 = -4*u + 125. Let r be (3/4)/((-85)/h). Is 2 >= r?
True
Let q be 6/1684*(-16)/12. Suppose 0 - 4 = 2*x, 4*x = 3*i - 11. Which is bigger: q or i?
i
Let s be 16/6*4/(-48). Suppose -2*f + 19 = -i - 2*i, 0 = -3*f + 6. Let g(a) = a**3 + 3*a**2 - 6*a - 3. Let m be g(i). Which is bigger: m or s?
s
Suppose -21*a = -40*a + 8132. Which is bigger: 429 or a?
429
Let g(i) = -2*i - 12. Suppose 0 = 3*u + 6, -2*t - 2*u - u = 18. Let r be g(t). Suppose -3*p = -4*p + 5*b - 27, 48 = -3*p + 4*b. Which is bigger: p or r?
r
Let p be 4/(-3)*18/(-132) + 2520/(-17248). Suppose 0 = 4*g - 2*g + 14. Which is greater: g or p?
p
Let a = 47595 - 47594.8. Let d(h) = -h**2 + 3*h + 2. Let b be d(3). Let f(c) = -c**3 + 3*c**2 - 3*c + 3. Let g be f(b). Are g and a equal?
False
Let r(b) = 25 + 11 - 38 + 8 - b. Suppose 3 = 2*q + 7. Let o be r(q). Is 6 at most o?
True
Let b be ((-3)/(3/(-4)))/(4/(-14)). Let v be ((-46)/360 + b/63)*-328. Is 116 at most v?
False
Let n(a) = -805*a - 109. Let u be n(-3). Which is smaller: 2303 or u?
2303
Let c(q) = q**3 - 11*q**2 - 11*q - 10. Let t be c(12). Suppose 0*d + t*l - 116 = -5*d, -4*d + 94 = l. Let n = 38056 + -38035. Which is bigger: n or d?
d
Let n = -3.66 - -0.72. Let l = -8.94 - n. Is l at least as big as 12?
False
Let r be 1/(-5)*54/3*-5. Let u = -8 - r. Which is smaller: -27 or u?
-27
Suppose 0 = 13*x - 11*x, 4*l - 3*x - 24 = 0. Let d be (-84)/(-588) + l/7. Is d bigger than 14/27?
True
Let d = -83 - -84. Let u be 40/(-520)*(-3)/6. Is d smaller than u?
False
Suppose 0 = 5*a - 343 + 53. Suppose -a = 3*z - 4*o, -31 = 4*z + o + 59. Let j = 29 + z. Is j >= 4?
True
Suppose -1998 - 2842 = 20*l. Let k = 242 + l. Let d be 8*(351/(-114) + 3). Is k at least as big as d?
True
Suppose 512 - 556 = -44*m. Is m equal to 11/213?
False
Let p = -13553 - -135527/10. Which is greater: p or 31?
31
Let x(l) = -16*l + 15 + 18 - l**3 + 18*l**2 - 19. Let i be x(16). Are 270 and i non-equal?
False
Suppose 0 = s + 3*r - 16, 13 = -4*r - 3. Suppose -3*h + 8 + 20 = -4*a, 5*a - 4*h = -35. Let q(y) = 3*y**2 + 19*y + 15. Let n be q(a). Which is bigger: n or s?
n
Let q(s) = -s**3 + 8*s**2 + 8*s + 11. Let a be q(-4). Let x = a - 167. Do 54/13 and x have different values?
True
Suppose 0 = 2*l + 3*l. Suppose 2*c = 5*o + 51, -3*o = 4*c - l*o - 63. Let m be 1 - (4 + -25 + 5). Is c at least as big as m?
True
Let r = 1.3209 + -1.3489. Which is smaller: r or -7?
-7
Let o = 2133/10 + -1074/5. Which is smaller: o or 123?
o
Suppose 0 = -41*u + 9111 - 22361 - 21395. Is u > -847?
True
Let u be (9 - 288/30) + (73248/(-5))/(-6). Is 2442 != u?
True
Let h = -14869/85 + 175. Let k = h - -152/255. Is -5.7 greater than or equal to k?
False
Let j = -705 + 1336. Let x = j + -470. Which is greater: x or 160?
x
Let x be ((-29)/(-87))/(2060/8). Which is smaller: 0 or x?
0
Let j = -2/34434231 - -8200305507590/5612779653. Let p(l) = -134*l - 13. Let r be p(-11). Let d = r - j. Which is smaller: -1 or d?
-1
Let d be 24*((-9)/(-18))/((-1)/2). Let x(u) = -u + 10. Let w be x(d). Which is smaller: w or 0.6?
0.6
Let c = 13.3 - 13.6. Let f(n) = 7*n**3 - n**2 - n. Let v be f(-1). Let g be (20/(-35))/(6/v). Is g > c?
True
Suppose 2*z - 23 - 75 = 0. Suppose -11 = 4*u + z. Suppose 19*s + 65 = 14*s. Do u and s have the same value?
False
Let s(z) = 7*z**2 - 84*z - 449. Let t be s(-4). Which is greater: t or 8/2883?
8/2883
Suppose -2*u - 839 = 4*q + q, -3*q - 2*u - 505 = 0. Let c = -875 + 707. Which is smaller: q or c?
c
Let v = -1371 - -1277. Which is greater: -92 or v?
-92
Let x = -25 + 17. Let j = 1923 + -3361. Let s = 1432 + j. Which is smaller: x or s?
x
Let n be ((-14073 - -9)/(-12))/(1/1). Which is smaller: n or 1174?
n
Let r be 10 + -2 + (-3)/(-300)*-803. Is -28 at least r?
False
Let s = 79.58 - 41.99. Let o = -39.5 + s. Do -1/2 and o have the same value?
False
Let j = -52268135/468 - -111684. Which is smaller: j or -1?
-1
Let y(w) = -68*w - 10 + w**2 + 41 + 57*w. Let r be y(5). Which is smaller: r or 3/14?
3/14
Let g = 31671 + -2501937/79. Which is smaller: g or 1?
g
Suppose 5*n + 8*f - 3*f = 1085, 3*n - 643 = 5*f. Suppose -3*j + 5*t + 58 + 573 = 0, 3*t = 2*j - 422. Which is smaller: j or n?
n
Let b = 0 - 0.5. Let m = -118.136 + 118. Let x = m + 0.436. Is x >= b?
True
Let k(o) = 4*o + 130. Let d be k(-31). Let g be (-12)/132*(-6)/d. Which is smaller: g or -2/3?
-2/3
Suppose -1749*z = -1774*z + 10325. Is z at most as big as 406?
False
Let k = 372599/19 - 19605. Let i = k - 748/95. Which is smaller: -3 or i?
-3
Let x = -206299/33 + 18739/3. Which is smaller: x or -4?
x
Let v be (27/88)/(3/(-12)). Let x = v - -8/11. Let l(c) = 1042*c - 15690. Let a be l(15). Which is bigger: x or a?
x
Let x = -913 + 914. Let s = 0.2 + -3.2. Let u = s + 3.35. Do x and u have the same value?
False
Let b = 1653 - 1436.85. Let t = b + -221. Let a = t - -5. Which is bigger: a or -2/9?
a
Let q(n) = -n**2 + 2*n + 19. Let g be q(3). Suppose 671 = -g*m - 337. Which is bigger: -65 or m?
m
Let s = 7/244 + -1133/1220. Which is greater: s or 0?
0
Let x(z) = 1 - 3*z - 12*z + 16*z. Let j be x(8). Suppose -65 = -j*y - 2. Is 6 > y?
False
Let o = 2/9091 + 5079/18236546. Are -1 and o non-equal?
True
Suppose s = 22 - 18. Suppose 3*m + s - 13 = 0. Suppose m*g - 4 = 7*g. Which is smaller: g or -3?
-3
Let x = -0.4645 + 2.2745. Is x at least 3.1?
False
Suppose 30*x = -12*x - 44*x - 170624. Is x not equal to -1984?
False
Suppose -4*n = 329 - 321, 0 = -5*z + n - 5043. Which is greater: -1008 or z?
-1008
Let i = -3053 + 12615. Is i less than or equal to 9562?
True
Let u = 153/5 + -146/5. Let l(h) = 2*h**2 - 17*h. Let b be l(9). Suppose r + b = 10*r. Which is bigger: r or u?
u
Let v be (6/((-8)/(24/57)))/(-3). Is 4 greater than v?
True
Let m(n) = -30*n + 2661. Let w be m(87). Which is smaller: 37 or w?
37
Let l = 69 - 67. Suppose -5*u = 4*f + f - 15, 0 = l*u + 4*f + 2. Suppose 5*s = u*s - 2. Is s > 0.1?
True
Let r(f) be the first derivative of 4*f**2 + 87*f + 93. Let c be r(0). Which is bigger: c or 86?
c
Let i(y) = -3*y**2 - 2 + 106*y**3 + 4*y - y - 107*y**3. Let a be i(-3). Let z = -179 - -166. Which is smaller: z or a?
z
Let v be (-8)/(-8) + -2 + 1. Let x(t) = -t**3 + t**2 + 2*t - 5. Let l be x(v). Which is bigger: -3 or l?
-3
Let q = -268/1365 - -26/105. Which is greater: -30 or q?
q
Let y = -6717 + 6718. Is 1.5385 at least y?
True
Suppose -2*k - 2*g + 1748 = -g, -3468 = -4*k + 5*g. Are 1/3 and k equal?
False
Let t be 0 - 10*(-14)/(-5040). Are -126 and t equal?
False
Let g be 2/8 - 99/(-36). Suppose 2*y = 4*r - 62, 0 = -r + g*y - 2*y + 15. Which is greater: 69/4 or r?
69/4
Let j be (15/(-10))/((-30)/88)*-401. Let q = j + 1774. Let p = q - 10. Which is smaller: p or 0?
p
Suppose