**2 - g + 1. Let u be t(-2). Let a(v) = -v**2 + v + 4. Let k be a(3). Let s be ((-184)/(-50))/4 - (-1 - k). Which is smaller: u or s?
u
Let y be 78/14 - -2 - 18/(-42). Suppose 3*t = y*s - 13*s + 894, 0 = -5*t - 10. Is 181 at most as big as s?
False
Let b be (10/8)/(2/(-8)) + (-29028)/58764. Which is smaller: -6 or b?
-6
Suppose -47*y = -232 - 50. Let j(i) = -8*i**3 + i + 1. Let c be j(-1). Suppose 50 + y = c*d. Is 7 > d?
False
Let v = -27 - -37. Let x = 35 - v. Let c = -13 + x. Which is smaller: 34/3 or c?
34/3
Let a = 518 + -447. Let u = -71 + a. Let h = -818 - -4077/5. Which is greater: h or u?
u
Let j(n) = -n**3 - 2*n**2 + 10*n - 3. Let f be j(6). Let v = f - -207. Which is smaller: v or -23?
v
Let c(j) = -j**2 - j + 35. Let z be c(0). Let o(t) = 2*t**3 - 60*t**2 + 5*t + 26. Let s be o(30). Let v be 6116/s - (-2)/8. Does z = v?
True
Suppose 29590 = 13*s + 29837. Which is bigger: 231 or s?
231
Let q be 6*14/(-6895)*15/(-6). Is -1 > q?
False
Let k = -10072 + 9288. Is k > -784?
False
Let z(y) = y - 22. Let o(w) = -3*w + 42. Let p(n) = 2*o(n) + 5*z(n). Let d be p(3). Is -29 equal to d?
True
Let v be -8 + 5 + (-2 + 1)*-2. Suppose 3*m - 4 + 1 = 0. Let j be -28*((-15)/12 + m). Is v > j?
False
Let d = 3818 - 3802. Are d and 144 nonequal?
True
Let x = -5289 - -822. Is x greater than -4466?
False
Let a = 94 - -240. Let p = a + -333.83. Which is greater: -0.1 or p?
p
Suppose -x - 350 = -5*d, -d - 438 = 4*x + 920. Let k be (-1 - 7/(2345/x))*4. Which is bigger: k or 0?
k
Let m = 93923/165 + -5823/11. Let d = 40 - m. Let h = 0.3 + -1. Which is smaller: d or h?
h
Suppose 4*u = -4 - 12. Let d(m) = 2*m**2 + 6*m + 2. Let s be d(u). Let p be s/(-20)*(-4)/(-2). Is 0.16 at least p?
True
Let u = -50098/3 + 16700. Is 5191 < u?
False
Let x = 2322.1 + -2437.31. Which is bigger: 2/7 or x?
2/7
Let v = -8678/13547 - -20/31. Suppose 26*f = 9 - 35. Which is greater: v or f?
v
Let f = -62042 + 1985349/32. Suppose 4*k + 0*k = 2*b + 8, -5*b = 0. Suppose 4*d - k = -6. Is f != d?
True
Let m = -0.06176 + 12.06176. Is 31 < m?
False
Let i = 61395/4 + -15726. Is i less than or equal to -378?
False
Let r = -3865 - -3923. Which is greater: 21 or r?
r
Let d(u) = 8*u**2 + 52*u - 451. Let r be d(-11). Is -1144/21 greater than r?
True
Let f(y) = 2*y - 10. Let d be f(3). Let a be (6 + -4)/(1 - (-6)/d). Let c be (-5)/40 - a/8. Which is smaller: 0 or c?
0
Let y be (6 + (-2 - 6))*3/8*-8. Is 24 greater than or equal to y?
True
Let k = -277 - -447. Let j = -169 + k. Which is bigger: 9.2 or j?
9.2
Let j = -122691/5 + 384913/15. Let q = j - 1112. Let u = 19 + -9. Which is greater: u or q?
q
Suppose s = 6*s + 50. Let k(r) = -r**3 - 5*r**2 - 11*r + 4. Let y be k(-4). Suppose -5*w - 3*w - y = 0. Is w >= s?
True
Suppose 0 = -2*h + 2*g - 12, 65 = -5*h - 5*g - 15. Let f(z) = 2*z**2 + 21*z - 14. Let t be f(h). Let o be (4/(-6))/((-22)/9) + t. Which is smaller: o or -4?
-4
Suppose 10*n = 12*n - 4. Suppose 4*l - 49 = -4*w - l, n*w - 4*l = 44. Suppose -2*r + 14 = 3*y, 2*y - r = r + w. Is 2 <= y?
True
Let g = -5 + -77. Let i = -81 - g. Is i greater than -0.15?
True
Let o be (-699078)/(-2453682) - 2/7. Which is greater: o or -1?
o
Let n(f) = -f**3 - 2*f**2 + 2*f. Let z be n(-3). Let i be (-2)/(5 - 7) + 1 + 0. Suppose i + z = p. Which is bigger: p or 17/3?
17/3
Let s = 5567.949 + -5642. Let p = 0.051 + s. Which is smaller: 0 or p?
p
Let a = 62.8 - 60.8. Is a bigger than 1.54?
True
Let r = 11/7 - 37/28. Which is smaller: -1634 or r?
-1634
Let q = -687 - -721. Let c be (54 - 96)*2/q. Is c != -0.2?
True
Let j = 290 + -321. Let g be (22/(-8))/(2/24). Which is smaller: g or j?
g
Let w be 8712/6960 - (-9)/5. Is w greater than 2?
True
Let u = 1387.3 + -8458.3. Is 0.1 != u?
True
Suppose -3*p - 3*v + 6 = 0, 0 = 2*p + 5*v - 7*v - 4. Suppose 4*x = -2*h, h - 3 = p*x - x. Is h equal to 44/19?
False
Let j = -93.42 - 47.58. Is 2/9 greater than or equal to j?
True
Let k = -89 - 2945. Is k greater than -3034?
False
Let p be (-6)/(-14)*(20 - 19). Is 6/5 greater than p?
True
Let c(i) = -i**3 + 20*i**2 - 18*i - 20. Let y(p) = p**2 - 11*p - 4. Let b be y(-7). Suppose -b = -5*z - 27. Let o be c(z). Which is smaller: o or -4/7?
o
Let r be (-9 + 4)/(1 - 2). Suppose 14 = -r*y - 6. Let k be (y/(-165))/((-13)/65). Which is smaller: k or -1?
-1
Let j = -11869.15 + 11870. Which is greater: j or 7?
7
Suppose c - 3*y = -2 + 10, 2*c = 5*y + 12. Let s(u) = -4*u - 4. Let t be s(-4). Let x be (1/(-2))/(1/t). Is x > c?
False
Let r be ((-54)/120)/((-4407)/65)*4/3. Does -4 = r?
False
Let h = -0.1035 - 2.3965. Is -11 at most h?
True
Let s(h) = 16*h - 2296. Let x be s(37). Which is smaller: -0.06 or x?
x
Suppose -l - 30 = -7*l. Suppose -5*w + 4*y - 9*y = l, 0 = 2*w - 5*y - 12. Are w and -3/41 equal?
False
Let t = 1891 + -1703.7. Let v = 188 - t. Does v = -28?
False
Suppose -3 = 3*x + 40*l - 44*l, -3*l + 5 = -5*x. Are x and 5/174 non-equal?
True
Let u(z) = 5*z + 428. Let o be u(65). Which is smaller: o or 752?
752
Let m be (-1731)/(-4215) - 6/15. Let q = m - -2789/1967. Is 1 less than or equal to q?
True
Let n = 200452 + -1532054634/7643. Which is smaller: n or 2/5?
n
Suppose -6*o = -7*o + 3. Let s be (o - 6 - -4) + -1. Suppose 38*p - 37*p = s. Which is greater: p or -3/37?
p
Let w be 1*5 - (95/19 + 1). Which is greater: 3/76 or w?
3/76
Suppose -2*w - 3*i = 11 - 178, 3*w - 254 = -4*i. Is 89 at least as big as w?
False
Suppose 0 = -4*s - 4*c + 40, 19 = 5*s - c - 19. Suppose -4 = 3*b - 4*b - x, -s = 3*b - x. Let z = 987 - 1008. Which is smaller: b or z?
z
Suppose 2 = -137*s + 138*s. Let c be (-1)/2 + 1 - (-1)/s. Which is smaller: c or 2/233?
2/233
Suppose i = 4*d, 2*d + 17 = 4*i + 3. Suppose 0 = -3*u - z + 1 + 8, 12 = i*u + 3*z. Is 60/19 greater than or equal to u?
True
Let u = -0.21 - 39.79. Let k = u + 13. Let x = -64 - k. Which is greater: -2/3 or x?
-2/3
Let v be 22/(-152) - 1/4. Suppose -24 = -423*k + 399*k. Which is greater: v or k?
k
Let c = 3567 + -3566.92. Is c bigger than 31?
False
Let r = -201 - -171. Let p = 30 + r. Which is smaller: 0.06 or p?
p
Suppose 1 = 8*k - 47. Let j be 1*(k/3 - -1). Let b = 1231/115 - 168/23. Is j at least as big as b?
False
Let m be -2*(-3)/(-3336)*(-4 + -184826). Let b = m + -665/2. Is b less than or equal to 0?
True
Let c be 5/(15/36) - 0. Let i be (-50)/(-16) - (-7)/392*-7. Suppose 27 = i*a - c*a. Which is greater: -7/4 or a?
-7/4
Let o be 175/(-1125)*35 - (0 + -7). Suppose 3*n = 7*n - 4. Does o = n?
False
Let z = -175 + 172. Let m be 12/8*(79/3 + z). Is 35 equal to m?
True
Let b be ((-8)/6)/(34/1377). Let p = 78 + b. Are p and 23 equal?
False
Let c be (8/12)/(128/8496) - (-3)/(-12). Let p = 0 - 0. Suppose -11*q + p - c = 0. Which is bigger: -2 or q?
-2
Suppose 4*f = -s - 9, 3*s - 4*f - 13 = -120. Let a = s + 28. Is 2/123 > a?
True
Let w = -0.7 + -0.1. Let m = w + 0.8. Let g = 11713 + -11718. Which is smaller: g or m?
g
Suppose 4*v - 2*p - 2268 = 10432, v = -3*p + 3168. Is 3175 bigger than v?
True
Let s = 30.105 + -0.105. Let t = -31.041 + 0.041. Let c = s + t. Is -2/23 smaller than c?
False
Let z = -9.1 + 182.1. Let m = z - 172. Which is greater: 0 or m?
m
Let y = 435 - 422. Suppose -4*b + 33 = 3*r, -17 = -y*r + 11*r - b. Which is greater: 5 or r?
r
Let z = 106.388 - 106. Let c = z + 0.102. Let h = 0.59 - c. Is 2/15 > h?
True
Suppose 0 = -5*a - 5*t - 435, -4*a + 7*a + 256 = 2*t. Let l(r) = 38*r + 105. Let v be l(-5). Is a > v?
False
Let y(j) = 6*j**3 + 2*j + 3. Let x be y(-2). Let g = 74 + x. Let r be ((-8)/(-4) - 4)/g. Are 1 and r unequal?
True
Let l = 1912.9 - 1913. Which is bigger: -709 or l?
l
Let d = 335 + -335.044. Let v = -50.044 - d. Is 3/4 at least v?
True
Let h be (1683/(-221) - -7) + -4. Let s be (-2)/1*5/2. Which is smaller: s or h?
s
Let q(p) = p**3 - 9*p**2 + 14*p + 24. Let l be q(6). Let a be (-207)/10 - (-84)/(-280). Is l <= a?
False
Suppose 3*n + 18 = -2*w, 4*w = -4*n + 6*n - 4. Let j be (-29565)/(-6228) + -4 + 3/n. Which is smaller: j or -1?
-1
Let a be 2/9 + 6/54 - 76/3. Which is smaller: a or 0.027?
a
Suppose -6*f = 479 - 539. Suppose -3*j - 2*h + 3 = 0, f = 3*j - 5*h + 28. Is 3/58 smaller than j?
False
Suppose -12*y = 1930 - 5830. Suppose 2*m + 872 = 4*v - 418, 3*m - 9 = 0. Is v less than y?
True
Let j = -5791/2 - -2773. Let u = 123 + j. Is u less than -11.4?
False
Let l be -37 + 