= -4*z - 5*u. Which is greater: z or 20?
20
Let d = -1762 + 17617/10. Let v = -0.16 + 12.16. Which is smaller: d or v?
d
Suppose 38*o - 147 = 3539. Is 52 greater than o?
False
Let y = -302 - -351. Let o be ((-74)/8 - -3)*-8. Does y = o?
False
Let v(b) = -b**3 + 15*b**2 + 71*b + 267. Let l be v(15). Do l and 1337 have the same value?
False
Let m = -85311 + 9298975/109. Is m < -1?
False
Let i = 6562797065878/555 + -4011187833585044713/339216555. Let v = 1/107859 - i. Let k = v - -872. Which is greater: -0.1 or k?
-0.1
Let r(f) = f**2 + 11*f + 24. Let p(x) = -x**2 - 6*x - 12. Let g(j) = -5*p(j) - 3*r(j). Let k be g(4). Suppose a - 54 = -k*a. Is a smaller than 1/5?
False
Suppose -p - 168 = -4*r, -602 = -370*p + 374*p - 2*r. Which is smaller: p or -1632/11?
-1632/11
Let t = -47.21 + 45.11. Which is smaller: 121 or t?
t
Let q(d) = 248*d**3 + 9*d + 18. Let x be q(-2). Which is smaller: x or -1986?
-1986
Let a be 1/(40/16)*5/(-3056). Which is smaller: a or 1?
a
Let r = 104 + -58. Suppose 0 = 4*k - 0*k - 12. Let t be (2/3)/(2/432*k). Is r != t?
True
Let u = 211.8 + -126.6. Which is smaller: -4 or u?
-4
Suppose 0*d + 2*d - 8 = 0. Suppose -i + s = -4 - 4, 5*i - d = -4*s. Suppose 2*t - 2*o + 4 = 0, -i*t - 7*o + 6*o = 8. Is t >= -5/9?
False
Let b be (-18)/4*((-3359846)/(-81942) + -41). Is 0 at most as big as b?
False
Let f be (2/17 + 47/34)*20. Let n be (36/f)/((-2)/115). Is -69 < n?
False
Suppose -17*r = 3199 + 1034. Let j = r + 357. Which is smaller: j or 110?
j
Suppose -5*v + 2240 + 3560 = 0. Let s = v - 1675. Let x = s - -5659/11. Which is smaller: -2 or x?
-2
Let q = 3 - 4. Suppose 0 = -t - 271 + 87. Is q less than or equal to t?
False
Let c(y) = -y - 1. Let j(v) = -152*v**2 + 5*v + 4. Let b(w) = -5*c(w) - j(w). Let m be b(-1). Let s be m/27*3*-1. Which is smaller: s or -18?
-18
Let p be (12/144)/((-76)/(-2102096)). Let q = p - 2305. Are q and -1 equal?
False
Let c(n) = 5*n**3 - 23*n**2 + 13*n - 2. Let u be c(4). Is u at least 79/60?
True
Let f = -659 - -284. Let r = f + 186. Is r greater than or equal to -189?
True
Let n be (-6)/(-4)*4/42. Let m be ((-4)/6)/(4/(-624)*1). Let h = 103 - m. Is n greater than or equal to h?
True
Suppose -143*z - 136214 = 65273. Which is smaller: -1395 or z?
z
Let x = 39 + -234. Let c = x - -176. Is c bigger than -20?
True
Suppose 5112*f + 13 = 5099*f. Which is smaller: f or 3/818?
f
Let o be ((-2)/(-7))/((-3)/133)*-3. Let z be ((-3)/(-2))/(2/12). Suppose z*s = -128 + o. Is -9 less than or equal to s?
False
Let c = -44 + 50. Let x be c/(-4)*5696/(-960). Do 10 and x have different values?
True
Suppose -4*z + 705 = -2339. Suppose 30*h - 109 - z = 0. Is h at most 29?
True
Suppose 51*o = 27*o + 80376. Which is smaller: o or 3350?
o
Let h(l) = -10*l**3 - 6*l**2 + 14*l + 58. Let y be h(-3). Which is greater: y or -4/15?
y
Let c = -40 + 25. Let f be (13 - 6)/(c/(-16) + -1). Let b = 113 + f. Which is greater: -2.2 or b?
b
Suppose 5*a = -3*w - 1042, -2*a + 3*w + 82 - 524 = 0. Is a greater than -204?
False
Suppose -31*i + 32*i + 12 = 0. Let g be (-26)/76 - 6/i. Which is smaller: 0 or g?
0
Suppose -5*s - 1432 = -2*x, 33*x - 29*x - 1148 = 4*s. Let u be (-4)/(-6) - 76/6. Let p be (s/(-65) - 6/(-10))/u. Do p and 0 have different values?
True
Let c = 1795 - 1790. Let z = 4 + -4. Suppose -5*x + 0 - c = z. Which is bigger: -4 or x?
x
Let y = 16.19 - 11.19. Let p be (-12)/15 - (-1008)/910. Is y greater than p?
True
Let a(o) be the first derivative of 2*o + 4 - 1/3*o**3 - 1/2*o**4 + 0*o**2. Let z be a(1). Is z at least 9/19?
False
Suppose 5*l = -25, -285 = -3*u + 3*l - 0*l. Suppose -u = 2*q + 152. Is q less than or equal to -119?
True
Let z be ((-11)/(11/10))/((-4)/(-390)). Let h be (8/(-3))/(5/(z/(-10))). Let o = h + 53. Is -33 at most as big as o?
True
Let s be -3 - -191 - ((-195)/325 - 84/10). Let i be 4*49 - 2/(-2). Do s and i have different values?
False
Let p = 59.39 - -2657.61. Which is smaller: p or -1/3?
-1/3
Let o = 8640 - 8641.7463. Let g = 0.0537 - o. Is -1.3 >= g?
False
Let d(s) = 1686*s + 11825. Let f be d(-7). Which is smaller: 690/29 or f?
f
Let h be ((-1656)/90)/(36/888*8/30). Is -1703 < h?
True
Let x(o) = -14*o - 54. Let h(j) = 7*j + 27. Let c(z) = 7*h(z) + 4*x(z). Let y be c(-6). Let r be 1/(-3) - y/54*-3. Which is smaller: r or 1?
r
Suppose v + 128*i = 130*i - 13, -v - 3*i = -22. Which is smaller: -1/1331 or v?
-1/1331
Let i = -28462 + 28425. Which is bigger: i or -1118/31?
-1118/31
Let t(n) = -n + 23. Let s be t(8). Let m be 1*(-2)/s - 1173/(-1035). Which is bigger: m or 17/10?
17/10
Let u be (-876)/(-144) + -6 - (-10075)/(-119460). Is 0 at least as big as u?
True
Let m(t) = -3*t + 11. Let l be m(10). Let n be 8/(8/l)*-1. Is 1 at most n?
True
Let m be (1064/(-6))/4 + 25/75. Let c be (1/2 + 1)*m. Is -65 not equal to c?
True
Let x(s) = -17*s**2 + 260*s + 2392. Let d(c) = -3*c**2 + 52*c + 478. Let t(z) = 11*d(z) - 2*x(z). Let i be t(-13). Which is greater: -22 or i?
-22
Let v = -51 - -181/2. Let d(t) = 3*t**2 - 154*t + 2010. Let n be d(27). Is v bigger than n?
True
Let j be 2*4/4*29. Let v be (-5 - j/(-12))*0. Which is greater: v or 2/33?
2/33
Let d = -0.15394 - -0.05394. Do d and -66 have different values?
True
Let l(r) be the second derivative of r**5/20 + r**4/4 - r**3 - 5*r**2 + 8*r. Let g be l(-4). Which is bigger: g or 0.062?
0.062
Let d(z) = 29*z - 617. Let i be d(22). Suppose 15 = 5*t - 60. Is i > t?
True
Let n = 65 + -62. Let q be n/((-79731)/(-159480)) - 6/1. Does 1 = q?
False
Let o = 13183 + 5346. Which is greater: o or 0.1?
o
Let u be 24 - 0*(-2)/6. Let q(z) = 35*z - 54. Let i be q(-10). Let r = i - -425. Is r equal to u?
False
Let y = -21064 + 399981/19. Which is smaller: y or -1?
y
Let a be (-9)/(-45) + (-1)/5. Suppose a = 10*l - 14*l. Let j = 5/57 - 212/1767. Which is smaller: j or l?
j
Let p = 519 + -518. Let q = 29.3 - -167.7. Is q greater than p?
True
Let o = 3275 + -1419. Is -1 greater than o?
False
Suppose -116 = 4*g - 2*g. Let v = 30 + g. Let f = v - -6. Is f at least as big as -23?
True
Let i(k) be the first derivative of k**2/2 + 25*k - 23. Let s be i(-23). Suppose -8*z + 38 = -s. Which is greater: z or 0?
z
Let z(x) = x**3 - 9*x**2 + x - 5. Let h be z(9). Suppose 3*p - 4 = h*b, -4*p + 4 = -3*p. Let n be 49/49 - (-1)/(-10). Which is smaller: b or n?
n
Suppose 2*k - 2*m - 138 = k, 3*m = -2*k + 262. Let b = k + -73. Is b less than 0?
False
Let w = 340.09958 - -0.00042. Are 2 and w equal?
False
Let o(t) = -9*t + 29. Let l be o(9). Let v be l/13 - (-2)/((-6)/(-225)). Let c = -134 + 205. Is c equal to v?
True
Let d be (-12)/(-14)*(-49)/7. Let q be (d/16)/((-144)/(-64)). Let u = 1.226 - 1.326. Which is bigger: q or u?
u
Let f = 491 - 722. Let o = f - -289. Is 58 greater than or equal to o?
True
Suppose 11*w - 1657 - 1324 = 0. Suppose 6*i - 23 = w. Suppose p = 137 - i. Are p and 89 equal?
False
Suppose -322 - 682 = s. Let y = -3745854/17 + 219340. Let g = y - s. Is 2/9 >= g?
True
Let i be (4 + 94 + 4)*(-7)/(-91). Let d = i - 4985/637. Is -1 at least d?
False
Let f(o) = -4*o + 19. Let q be 29*(-4 + 3)*1*-1. Let i be f(q). Let c = -75 - i. Are 22 and c non-equal?
False
Let d = -49097 + 32137. Which is smaller: -16962 or d?
-16962
Let i = 96 + -77. Let k(x) = x**3 - 20*x**2 + 19*x. Let s be k(i). Let t be 3/((-6)/4*-17). Which is smaller: t or s?
s
Let u(i) = -i**2 + 3*i. Let m be u(3). Suppose -2*b + 0*b + z + 25 = m, 80 = 4*b + 4*z. Let y = 244088 + -244075. Are b and y unequal?
True
Let b(s) = -2*s - 66. Let c be b(-24). Let o(a) = 10*a + 71. Let q be o(c). Which is smaller: q or -106?
q
Let y = -0.06 - 0.22. Let z = 23151/119 + -1361/7. Which is smaller: y or z?
y
Let f be (-4)/(-24) + 154870/(-20) - 4/6. Which is smaller: f or -7743?
f
Let a = 95 + -7. Let m = a - 86. Is 74 greater than or equal to m?
True
Suppose 2*j - 5 = -s + 11, -s + 34 = 5*j. Suppose c - j = -10. Let y be (2 + -1 + 1)*(-10)/c. Which is smaller: 2 or y?
2
Let v be (0 - 1)/2*-58. Let a = -102006 + 102041. Which is smaller: a or v?
v
Let s(r) = -13*r**2 - 149*r - 41. Let f be s(-11). Let b be (-1)/5*485/(-4). Is f < b?
False
Let d = -0.047 + -8.503. Let j = d - -8.5. Which is smaller: j or -1.3?
-1.3
Suppose -929 = -7*v + 135. Let m = 154 - v. Which is smaller: -1 or m?
-1
Let m = -115313/63 + 15428/9. Is -115 at most as big as m?
