d. Is o > -38?
False
Let n(v) = v**3 + 5*v**2 - 4*v - 12. Let c be n(-4). Let z be (-2)/21 + 0/c. Is z < -1?
False
Let x = 41903641/166096 + 1/23728. Is x bigger than 251?
True
Let l(x) = -3*x - 93. Let v(j) = -2*j**3 + 6*j**2 - 6*j - 6. Let y be v(3). Let h be l(y). Which is greater: -16 or h?
-16
Suppose 88*s = 4119 - 112975. Is -1247 smaller than s?
True
Let f = -1 - -1. Let q be 249/(-2079) - (-4)/36. Which is bigger: f or q?
f
Suppose 5 = -n, -5*g + 5*n + 34 = -1. Which is smaller: 4.33 or g?
g
Let q be -2 + 148 + (-1 - 23). Let k = 157 + -34. Which is smaller: k or q?
q
Let r = 976 - 1412. Which is smaller: r or -431?
r
Let c = 0.811 + -0.811. Is -2370 greater than or equal to c?
False
Let u be 3 - 12 - 60504/10. Let m = 6089 + u. Which is greater: m or 29?
m
Let v(j) = j**2 + 5*j + 2. Suppose -26 = -3*y + 2*z, 0 = 3*y + 6*z - 2*z - 56. Suppose -2*b + b - y = -2*w, 0 = b + w. Let c be v(b). Is c >= -2?
True
Let d = -25805.2 - -25792. Which is smaller: 0.27 or d?
d
Let k be 0*2/(-8)*-2. Let n = k + -11. Suppose -59400 = 36*y - 59544. Is y at least n?
True
Let t be ((-15)/6)/(3 - (-164)/(-48)). Let x be (15/(-10))/(933/t). Is -1 less than x?
True
Let u = -103.5 + -27.5. Let w = 170 + u. Which is bigger: -0.2 or w?
w
Suppose -5175 = 26*u - 56915. Which is smaller: u or 11933/6?
11933/6
Suppose 923 = -14*s - 239. Let n = s + 73. Let t be 2 + n/4 + 2. Which is smaller: -6 or t?
-6
Let o = 3 - 2. Suppose -2*b + 18 = -5*g, 14 = b - 5*g - 0*g. Let z be 2 - (-1)/b*-2. Is o >= z?
False
Suppose 2 = -2*a + a. Let g(h) = 2*h**2 - 12*h + 10. Let f be g(5). Let j be (-5 - f) + 1710/418. Which is bigger: a or j?
j
Let m = -4.37 + 4.37. Is m at most as big as -1591?
False
Suppose 19 = 4*n + 5*w, n - w - 3*w + 11 = 0. Let x be (-2 - (24/(-18) + -2))*-12. Which is bigger: x or n?
n
Suppose n - 22 = -22*n + 12*n. Let x = -0.25 - -0.19. Which is bigger: n or x?
n
Suppose 3*o - 7*o = -2*l + 1042, 4*o = -l + 551. Suppose 117*q - l = 126*q. Is -6 equal to q?
False
Let s = -1208 + 1209. Let z be (-120)/(-115) + 0/1. Which is smaller: z or s?
s
Let g be (-3)/((-18)/10) + 1442/(-309). Let a(l) = 8*l + 44. Let n be a(g). Is 16 greater than n?
False
Let r be (-7)/6 + 5731/6. Let i = 905 - r. Is i < -47?
True
Let y = -17.50991 + 0.00991. Is -15 at most as big as y?
False
Let x = 23/4 - 5283/916. Suppose 0 = -3*r + 325*b - 329*b - 19, -3*r = -2*b - 5. Which is smaller: x or r?
r
Let j be 2*2/(-8)*(-238 + 16). Let d = -69 + j. Suppose 0 = 47*t - d*t + 295. Is -60 at most t?
True
Let f = -439.41 - 8.49. Let c = f + 448. Which is smaller: c or -29?
-29
Let g(n) = -n**3 + 9*n**2 - 15*n - 4. Let r be g(5). Suppose 4*v = 3*c + r, 2*v - 2 = -v + 5*c. Suppose -50 = -v*w - w. Is 5 <= w?
True
Let w = -0.149 - -0.279. Let f = 180 - 174. Which is smaller: f or w?
w
Let a be 4 + (-1 - 10) - (163592/1800)/(-13). Is a at most 0.13?
True
Let i(j) = -77*j - 10. Let l be i(2). Let f = 105 + l. Is -60 < f?
True
Let p be (3 + 172)*552/161. Is 603 greater than or equal to p?
True
Let m = -200.8 - -186. Let h = m + 15.2. Which is smaller: 4 or h?
h
Suppose 0 = p - 2*l - 44, 31 = 2*p + 2*l - 57. Let d = p - 40. Let h = 3 - 1. Is d smaller than h?
False
Let w = 233569/10 - 233667/10. Suppose y = -2*y - 63. Let f = y + 12. Is w > f?
False
Suppose 7*x = 4*m + 59, -5*x = -0*x + 3*m - 7. Let u(h) = -2*h - 1. Let t be u(-3). Suppose -t*d + 2 = -3*d. Which is smaller: d or x?
d
Let m = -3662 - -3655. Is m < -2/615?
True
Let n be 154/(-66)*(-18)/7. Suppose -518 = -n*a + 796. Is 218 <= a?
True
Let h be 6/10 - (-184)/(-100). Let z(q) = q**2 - 114*q + 1398. Let l be z(100). Which is smaller: l or h?
l
Let t be (-8)/(-6)*1455/(-10). Let q be (-4)/((105/28)/(6/(-16))). Is t not equal to q?
True
Let a be (-1 + 0)*1*6. Let g(f) = 6*f + 8. Let u be g(a). Let k = 0.342 + 1.658. Which is smaller: k or u?
u
Let l = 45 - 44. Let t = -1/125 - -3/125. Are t and l equal?
False
Let v(f) = -f**3 + 6*f**2 - 9*f + 6. Let r be v(4). Suppose 22*x + 2900 = r*x. Which is bigger: x or -147?
x
Suppose 2*o + 3*o + 5*n - 1715 = 0, 0 = -3*n + 9. Is 1363/4 smaller than o?
False
Suppose 167271 = 74*m + 25*m - 286743. Does 4587 = m?
False
Suppose -3*r + 75 = -8*r. Let w be 2226/r - 4/(-10). Let j be ((-6)/w)/((-19)/4 + 4). Which is bigger: -1 or j?
j
Let v = 786 - 2332/3. Let c = -212/21 + v. Which is smaller: c or 1/2?
c
Suppose 472*x - 454*x + 32490 = 0. Which is bigger: -1798 or x?
-1798
Suppose 10*u = 7*u + 216. Suppose 6*p + 0*p = -u. Let y be 11/(33/p) - -106. Is y greater than or equal to -1?
True
Let w be ((-66)/9)/((-4)/30). Suppose -86*n + 32*n = 162. Let m be -3 - w/(-45) - (n - -1). Is m at most 0?
False
Let m be 496688/(-99344) - ((-5)/(-15))/(1/(-15)). Which is smaller: 0 or m?
0
Let s = -5053 - -5018.14. Is s < 2/3?
True
Suppose -3*h = -1027 - 1565. Let r = h - 52702/61. Let c(v) = v**2 - 5*v - 25. Let g be c(8). Is g bigger than r?
False
Suppose 0 = -74*t - 160 + 2084. Is t less than 51?
True
Let t(a) = -a**3 + 13*a**2 + 31*a - 6. Let v be t(15). Suppose 146 = v*j + 155. Which is smaller: j or 8/45?
j
Let p be 4/9*(-5328)/288. Is -11/4 < p?
False
Let v = 139.9 - 2.9. Let d = v - 140. Let s = 0.9 + -0.9. Is s at most d?
False
Let w be (-4)/12 + (-160)/(-930). Is w at most as big as 1?
True
Suppose 203 = -5*j + 1113. Let h = 161 - j. Is h at most as big as -22?
False
Let y = 3/134 + 387/670. Let s(n) = -n. Let m(r) = 2*r**2 + 24*r + 13. Let v(j) = m(j) - 3*s(j). Let o be v(-13). Which is smaller: o or y?
o
Let i be (-1)/28 + 1 + -1. Let l = -93 + 104. Suppose 14 = 3*m + l*m. Is m >= i?
True
Suppose 8*m = 66*m + 1914. Is m equal to -427/13?
False
Suppose -3*i = 5*q + 57, 3*q + 3*i - 6*i + 39 = 0. Let t(y) = y**3 + 8*y**2 - 2*y - 2. Let o be t(-8). Let d be (o/21)/(1/3). Which is greater: q or d?
d
Let s be 59*(-1)/2*-2. Let q be ((-2)/(-4) + 0*5/10)*114. Is s less than q?
False
Suppose p = -n - 19, -38 = -0*p + 2*p - n. Let l = -56/3 - p. Is l at most as big as 31?
True
Let c be 9/(-162)*231/308. Let m(r) = r - 1. Let z be m(3). Suppose 0*u + z*u = 0. Which is bigger: c or u?
u
Suppose -2*c - 64*p = -69*p + 98, 7*c + p = -417. Which is smaller: c or -60?
-60
Let h be 0 + 21 + (34 - 36). Suppose 16*c = h*c. Is 3/448 less than or equal to c?
False
Suppose -2*z - 648 = -14*z. Let p = z + -58. Suppose i + i + 12 = 0. Is i <= p?
True
Let d(q) = -4*q + 28. Let v be d(7). Suppose v = -134*o + 140*o - 12. Which is bigger: 5/3 or o?
o
Let h be (-4)/8 + (-9)/(-6) + -1. Let s be 6*4/12 - (h + -162). Is 165 greater than s?
True
Let s(d) = -d**2 - 3*d + 6. Let b be s(2). Let g be -5*5/(6 - b). Which is smaller: -4 or g?
-4
Let w = 1.9965 + -0.9965. Which is bigger: w or -1550?
w
Let s = 1/302984396 - 1655089530231355/196030904212. Let w = 8443 + s. Which is smaller: w or 0?
w
Suppose -48*j = -5*i - 47*j + 7, j + 7 = -5*i. Which is greater: i or -1/387?
i
Let n be (-18)/(-4)*(-20)/(-30). Let k be n/30 + 2696/(-1360). Is 1/3 at most k?
False
Let b = 1124940 + -1432048067/1273. Let s = b - 15/67. Which is smaller: 1 or s?
s
Let g(l) = 5497*l + 6. Let y be g(0). Suppose 22 = 4*k - 2*v, 4*k = -5*v - 1 + 16. Suppose -s + k*z = -2 - 19, s - 17 = 4*z. Is s at most as big as y?
True
Let l be (-2608)/12*(-105)/140. Which is smaller: 8 or l?
8
Suppose -5*x = 20, 59*x = -c + 63*x - 14621. Is -14637 less than c?
False
Let a = -0.42 + 0.32. Let p = 52 - 35. Let u = 16.9 - p. Is a greater than or equal to u?
True
Suppose -25*b + 121 = 4*m - 22*b, -3*b - 185 = -5*m. Let d be m/(-12) + 3 + 4625/150. Let c = 4 + 25. Which is bigger: d or c?
d
Let t(v) = 15*v + 34. Let q be t(5). Let a = q - 142. Suppose -236 = 8*m + 28. Is m equal to a?
True
Let z = 8599 + -8598.99. Which is bigger: z or 1545?
1545
Let c(k) = -k**2 - 560*k + 9808. Let h be c(17). Is 45/422 bigger than h?
True
Let j = -9 + 7. Let d = -8605 + 8648. Is j smaller than d?
True
Suppose -3*n + 10701 = -2*b, 4*b - 137*n = -139*n - 21442. Is b smaller than -5359?
False
Let s = -137.3851 + 0.3851. Which is bigger: -8 or s?
-8
Let p be (0 - (-1014)/9)/((-72)/1809). Let h = 2896 + p. Is h != 64?
True
Suppose -k + s - 1 = 0, -5*k + 7*k + 4*s - 10 = 0. Suppose 0 = -g - 13 - k. Which is bigger: g or -88/7?
-88/7
Suppose 0 = -3*b - w - 84, 4*w + 67 - 1 = -2*b. Let n be (-6)/b + (-914)/(-18)