o = -2*u + 354 - 20. Let y be (-4)/(-34) + 180/o. Let f be (y/(-55))/(-2 + 7/(-5)). Which is greater: 0 or f?
0
Suppose -114688 = 144*d - 176*d. Is d < 3583?
False
Let m(p) = -p**3 - 3*p**2 + 3*p + 5. Let d be m(-1). Let l = 42 - 63. Let q be (-3)/l*(-7)/(-7). Is d less than q?
True
Let o be -7 + 56/(-411)*377*9/(-66). Is 1 >= o?
True
Let z be ((-1)/4)/(123/2460) + 6. Which is smaller: -3/1045 or z?
-3/1045
Suppose s - 1 = -0*s - 0*s. Which is bigger: -202 or s?
s
Let d(m) = m**3 - 8*m**2 + 5*m + 10. Let f be d(6). Let y be (-26 + 6)*f/(-10). Does -63 = y?
False
Let m = 32/1743 + -4346859/581. Let s = m + 7551. Which is smaller: 68 or s?
68
Let k(t) = -21 - 5 - 66 - 7*t. Let z be k(-14). Suppose 0 = 4*n + 4*f, -5*n + 2*f + 6 + 8 = 0. Is z at most n?
False
Let t = -0.02638 + -5458.97362. Let z = -5423.37 - t. Let n = z - -0.37. Is n at least -1?
True
Suppose -y = -7, -3*d + 88*y = 84*y - 2699. Is d at least as big as 915?
False
Let c(d) = 55*d - 3633. Let z be c(66). Suppose 4*j - 4 = -l - 24, -2*j - 16 = 2*l. Is z at most l?
False
Let p = 90 - 150. Let x = -43 - 19. Let r = p - x. Which is smaller: r or 13/4?
r
Let a be 3/(7/(-10)*24/56). Let u be 145/87 + a/6. Is -10/39 at most u?
True
Let g = -240/8189 - -306877/73701. Let r = -41/9 + g. Which is bigger: 1 or r?
1
Let s = 421 + -25259/60. Suppose -289 = 5*m + 296. Let r = m - -116. Which is greater: r or s?
s
Let w be ((-133)/(-532))/(3/(-12)). Is -138/167 at least as big as w?
True
Let r(x) be the first derivative of -2*x**3/3 + 7*x**2 - 17*x - 15. Let v be r(17). Let o be v/(-147) - (-1)/(2/(-6)). Is o <= 0?
True
Suppose 16*b - 508 = -940. Which is greater: -9 or b?
-9
Let l = -14512 - -15432. Is l >= 916?
True
Let b(z) = -z**3 - 4*z**2 + 196*z + 26. Let m be b(12). Is m at least as big as 68?
True
Let p(d) = -2*d**3 + 12*d**2 + 36*d - 167. Let y be p(7). Let z(m) = 18*m**3 - m**2. Let a be z(-1). Let b = a - -6. Is b smaller than y?
False
Let q be (-85)/(-10)*5/((-40)/16). Which is greater: q or -266/17?
-266/17
Suppose -3*g = -2*p + 8, 15 + 1 = -5*g + 4*p. Suppose g = 4*q - q, -x - 4*q - 3 = 0. Is x at most -4?
False
Suppose 5*b - 4*s = 36, -3*b - 2*b - 4*s + 4 = 0. Suppose 2*q + 4*u = b*q + 12, -u = -3. Which is smaller: q or -1?
-1
Let l = 6221/81 - 1183981/14742. Let v be 366/182 + (-10)/5. Let x = l + v. Which is smaller: x or -3?
x
Let k(b) = -14*b**2 - 23*b - 18. Let c(i) = 5*i**2 + 8*i + 6. Let g(x) = 17*c(x) + 6*k(x). Let z be g(3). Let a be (z/(-9))/1 - (-4 - -4). Is a != 38?
True
Suppose 0 = 2*m - 4*g - 250, 5*m - g - 317 - 263 = 0. Which is smaller: 122 or m?
m
Let o = 43 - 25. Let p = 1.06 - -0.18. Let s = p - 0.94. Which is bigger: o or s?
o
Let h = 21 - -1. Let a(l) = -16*l + 110. Let w be a(29). Let x = -334 - w. Which is greater: h or x?
h
Let p(s) = -s**2 + 12*s - 2. Let h be p(11). Suppose 0 = -h*i + 40 - 4. Suppose -i*d + 6 = -7*d. Which is smaller: d or -5/3?
d
Suppose -6*o + 12 + 0 = 0. Suppose -4*q - l = 120, o*q - 27 = -2*l - 93. Which is smaller: q or -32?
-32
Let v = 563 + -158. Is 405 bigger than v?
False
Let j be (11/(-22))/((-2)/(-80)). Let i(y) = y**2 + y - 2. Let c be i(2). Suppose 3*d + 62 = -3*x + c*d, -3*x = -2*d + 64. Is j < x?
False
Suppose 5*w + 5*j - 22565 = -4500, -5*j + 10855 = 3*w. Which is smaller: 3604 or w?
3604
Suppose 2*m = 8, i = 5*m - 13 - 4. Suppose -4*r - 9 = 3*f - 6*r, i*r = 3*f + 6. Which is smaller: f or -7?
-7
Let j be (25536/(-56))/(1/(-1)). Suppose 0 = j*i - 451*i + 25. Is i greater than 11?
False
Let g = 0.127 + -0.076. Let l = 4659 + -4666.151. Let s = g + l. Is 1/3 <= s?
False
Let y be (-4)/(-56) + 4512995/630. Let o = 7184 - y. Which is bigger: 20 or o?
o
Let m = 10340.2 + -10340. Which is smaller: 5687 or m?
m
Let f be (-4562)/3*3 + 297/27. Is -4552 at most f?
True
Let g = -27703/5 + 5563. Let o = -862 + 883. Which is bigger: g or o?
g
Let r(s) = -s**3 - 7*s**2 - 9*s - 2. Let d be r(-4). Let u be 2/d + (-341)/14 + 8. Which is smaller: -17 or u?
-17
Let m be (1/(-11))/(6/(-192)). Let i = -35900 + 35903. Which is bigger: m or i?
i
Let x(a) = -332*a**2 + 48*a + 52. Let y be x(-1). Is -339 < y?
True
Let o be (-2)/3 + (-64)/(-24). Let m be (-16 - -14) + (o - 2 - -1). Which is smaller: m or -2/147?
m
Let w = -1410.1 - -1410. Which is smaller: 2985 or w?
w
Let i = 4 + -2. Suppose -2*n + 3 = -c, -n = -3*n + i*c + 2. Let k = 3153/2981 + 9/271. Is n less than or equal to k?
False
Suppose 40 = o - 5*h, 0*o + o - 3*h = 44. Suppose 3414*q - 3443*q + 750 = -700. Are q and o nonequal?
False
Suppose -4*w + 692 = 3*z + z, 5*z = 5*w + 905. Suppose -z = -9*c + 84. Is 27 equal to c?
False
Let z(t) = t - t**2 + 3*t + 16*t - 22. Let i be z(20). Is i less than -65/3?
True
Let d = -114 - -46. Let b = 2536.9 + -2335. Let i = -202 + b. Which is bigger: d or i?
i
Let l = 490.7 + -490.622. Which is smaller: -20 or l?
-20
Let v = 2/7413 + 7405/29652. Is v greater than or equal to 9/85?
True
Let f = -10840.37 + 10840.6. Let b = -2 - -2.1. Which is greater: f or b?
f
Let c = -19 + 21.5. Let q = -571.5 + 572. Which is greater: c or q?
c
Let q = -36 + 39. Suppose 5*l = q*s - 10, -5*s + 3*l = -2*s - 12. Suppose 35 = m - i, s*m + 0*i = 4*i + 177. Which is greater: m or 38?
38
Let x(a) = -a**2 + 4*a - 2. Let t be x(3). Let k = -66811867/126936 - -1081/2952. Let n = 526 + k. Which is greater: n or t?
t
Let o be 5*(2 - 0)*(-13 + 11). Let s be (-415)/o + 6/(-8). Suppose -s = 3*i - 17. Is i less than 3/11?
True
Let u = 479/2 + -939/4. Let o(y) = -y**3 - 4*y**2 + 2*y + 3. Let t be o(-4). Let j = t + u. Is 0 smaller than j?
False
Let h = -145.643 - 1.257. Let f = -147 - h. Which is bigger: f or 213?
213
Let r be 4 - (-20)/2 - 828. Which is bigger: -812 or r?
-812
Let f be 14/(-2) - (-44)/4. Let n be (f*5/270)/(-27). Is -1 >= n?
False
Let s be (-5195)/2 + 15 + (-1)/6. Are s and -2583 non-equal?
True
Suppose 128 = -4*z - 2*p - 2*p, 4*z - 3*p = -156. Let v be z/(-7)*9/(-18). Which is greater: v or -4?
v
Let g = 80 - -116. Let d = g - 223. Which is smaller: d or 3?
d
Let y = 3124 - 2790. Is y equal to 334?
True
Let s be (-8)/144*(-3297)/49. Which is smaller: s or 5?
s
Let i be 18/(-36) + ((-49555)/(-10) - -2). Is 4958 at most i?
False
Let g = 26 + -25.53. Let n = 271577 - 543155/2. Is n >= g?
False
Let g be (-6*2*-2)/1. Let f = -259 + 262. Let v be 2 + 184/(-40) + f. Which is bigger: v or g?
g
Suppose 4*h = -l + 2325, -2*h + 622 = l - 1691. Is 2301 smaller than l?
False
Suppose 2*j = 6, 0*t - t - 5*j = -205. Let u be 4 - (t/(-11))/(-5). Let y = -0.1585 + -0.0415. Which is bigger: u or y?
u
Let l(j) = -j**2 + 134*j + 1450. Let s be l(-11). Is s greater than or equal to 0.15?
False
Let p = 62 - 62. Suppose 3*h - g = -p*g - 2, -h - 5*g = -10. Suppose h = 7*c + 31 + 18. Which is smaller: -2 or c?
c
Let r = -25552 + 24926. Which is smaller: r or -641?
-641
Suppose s = 4*t + 371, 2*t + 3*s = -141 - 20. Is t <= -47?
True
Let r(a) = a**3 - 3*a**2 + 24*a - 56. Let q be r(4). Is 49 less than q?
True
Let x be ((-36)/(-8))/(75/(-100)). Is 18 at most as big as x?
False
Let k(x) = x**2 - 9*x - 30. Let h be k(12). Suppose h*n = 33 - 27. Which is smaller: -2/855 or n?
-2/855
Let y(i) = 47*i - 52. Let d be y(9). Let t = d - 441. Is t less than -70?
False
Let j = 42.9 + -12.3. Let w = 22.6 - j. Let t = -2.02 + 2. Which is bigger: t or w?
t
Let o = -1380 - -2206. Let u = 826 - o. Which is smaller: u or -2/89?
-2/89
Suppose -89*g - 2*f + 1085 = -92*g, -1428 = 4*g + 2*f. Are -377 and g non-equal?
True
Suppose 104*w - 110*w + 60 = 0. Suppose -171 + 41 = w*a. Do a and -61/5 have different values?
True
Let w(v) = v**3 - 2*v**2 - 5*v + 21. Let y be w(5). Suppose -4*m - 58 - y = o, -3*m = 5*o + 84. Which is smaller: -32 or m?
m
Let k = 755/9 + -3663997/43677. Is k at least -1?
True
Let c(h) = 4*h**2 - 60*h + 2. Let r be (45/3)/(6/6). Let u be c(r). Is 0 bigger than u?
False
Suppose -3*r + 4 + 2 = 0. Let v be (0*4/12)/(r + 1). Let f = -2/23 - -19/483. Do f and v have the same value?
False
Suppose 0 = -2*g, -4*k + 6*g = 2*g. Suppose -3*c + 2*o - 3*o + 230 = k, 235 = 3*c - 4*o. Let d = 323/4 - c. Which is smaller: 0.3 or d?
0.3
Suppose 0*w - w - 2*u + 9 = 0, 2*w + 3*u - 15 = 0. Suppose 4 = -4*f, 5*o = 15*f - 22*f - 2. Which is greater: o or w?
w
Suppose -5*s - 3*n = -10*s + 60, -s - 3*n = -30. Sup