than -1?
True
Let c(n) be the second derivative of n**3/3 - n**2/2 + n. Let w be c(-4). Let u = 26083 - 26082. Which is smaller: u or w?
w
Let y be -11 + (-1)/(-2)*2. Suppose -2 = 2*m + 6. Let w = m - y. Is 5 less than w?
True
Let a(f) be the first derivative of -f**4/4 + 7*f**3/3 - f**2/2 + 3*f - 1. Let g be a(7). Let j be ((-8)/5)/((-78)/(-260)). Which is bigger: g or j?
g
Suppose -3360 = 3*c + 5*c. Let j = -12178/29 - c. Let f = 0 + 0. Are f and j unequal?
True
Let g be (3/(-6))/((-22)/20). Suppose -19 = -4*b + 1. Let c = 6 - b. Are c and g nonequal?
True
Let p = -0.31 - -10.31. Let s = -10.1 + p. Which is greater: -2/3 or s?
s
Suppose l - 4*r + 0 = 9, 0 = -2*l + 4*r + 10. Let z(j) = j**3 + 8*j**2 - 2*j - 62. Let o be z(-7). Is l < o?
False
Let z(o) be the third derivative of o**4/24 - 2*o**3/3 - 12*o**2. Let y be z(6). Are 3/10 and y non-equal?
True
Let y(q) = 5*q**2 - 17*q - 8. Let s(f) = -2*f**2 + 6*f + 3. Let d(u) = 8*s(u) + 3*y(u). Let p be d(-5). Suppose 90 + 63 = -17*i. Which is smaller: i or p?
p
Let i = 108.137 - 107.9. Which is smaller: i or -1/4?
-1/4
Let c(j) be the second derivative of j**3/6 + 2*j**2 + j. Let l be c(-13). Let k be -4 - 3/l*17. Are k and 2 equal?
False
Let l = -9974/4011 + 52/21. Which is greater: -1 or l?
l
Let v = 883 + -882.8. Which is bigger: -11/6 or v?
v
Suppose 7*j + 35 = -147. Suppose -4*b + 58 = -3*w, 5*w - 3*w + 3*b + 67 = 0. Are j and w equal?
True
Let m be 21/42 + (-3)/(-2). Let i be -2 + 63/15*2/m. Which is greater: i or 1?
i
Let k(j) = 3*j - 9. Let l be k(3). Let i be ((-76)/(-40) + -2)*8. Which is greater: i or l?
l
Let x = -18.8 + 18.823. Is -1/2 at least as big as x?
False
Let j be ((-471)/(-2))/((-3381)/56). Let k = -27/7 - j. Is k at most -1?
False
Let k = 0.216 + 0.014. Let p = k + -0.06. Let s = -0.13 - p. Which is greater: 0.2 or s?
0.2
Let k be 0 - 3 - 80/42. Let y = 19/3 + k. Does y = 2?
False
Let v be (-10)/540*190 + 4/18. Is v less than -3?
True
Let m = -8 + 11. Let f be m/18*20*3. Suppose -3*y = 2*y - f. Which is smaller: 5 or y?
y
Let l be 80 - 2*(2 - 1). Let z be 4 + -2 + (-165)/l. Is z > 1?
False
Suppose -4*z + 28 = -2*s, 4*z - 5*z = -2*s - 16. Let h be -6*(2 + 10/s). Which is bigger: h or -4/7?
-4/7
Let n = 7738/5 + -23962/15. Let x = 50 + n. Does x = -1?
False
Let u = -46772/489 - -287/3. Is u at least 0?
True
Suppose -3*s + 11 = -5*r, 10*s = -5*r + 5*s + 5. Let p = 350 + -2805/8. Is r at least as big as p?
False
Let m(f) = 2*f**2 + 3 + 10*f + 20*f - 7 + 3. Let p be m(-15). Which is bigger: p or 2/269?
2/269
Suppose 7 = 2*m - 9. Suppose -m*t + 4*t = -n + 3, -2*t = -3*n - 11. Let y be ((-1)/(-12))/((-1)/t). Which is smaller: -1 or y?
-1
Let o be 3/(-10)*1050/(-315). Is o greater than -35/23?
True
Let n = 0.57 - -28.63. Let u = n + -29. Is 0.02 >= u?
False
Let f = 113.147 - 0.147. Is 1/4 greater than or equal to f?
False
Let i be (14/(-3) + 4)*-15. Let u be (i - 5)*(6/(-15) - -1). Is u > -3?
True
Let t be (-21)/(-7) - 1*201. Let h be ((-12)/t)/((-3)/18). Is 0 <= h?
False
Let x = -5 + 4.99. Let l = -0.11 + x. Let b = l - 3.88. Is b at most 1?
True
Let s(t) = t**2 + 4*t + 2. Let k be s(-4). Let m(f) = f**3 - f**2 - f - 1. Let i be m(k). Suppose 5*y = -10, -3*h + 5*y + 16 = -0*y. Which is bigger: i or h?
h
Let s = 0.4 - 35.4. Let p = -35.16 - s. Which is greater: p or -1/3?
p
Let r = 48 - 44. Let h(d) = d**3 - 3*d**2 - 5*d + 3. Let c be h(r). Which is bigger: 2/9 or c?
2/9
Let i(s) = -s**2 - 9*s + 23. Let h be i(-11). Let q = h + -1. Which is smaller: 7/10 or q?
q
Let a = -2 - -2.07. Let t = -4.93 - a. Let f = -3 - t. Is -2 less than f?
True
Let i(x) = -x + 10. Let a be i(9). Suppose -2*w = 4*q - 10, w = 4*q + 4 - 5. Is q not equal to a?
False
Let q = -196 + 191. Is 6 not equal to q?
True
Let d be 4/(-10) + 645/(-75). Let l = d - -2. Is l < -5?
True
Let h = -421 + 167. Let i = h - -6859/27. Let x be 0 + (-16)/(-28) + (-3 - (-192)/56). Which is smaller: i or x?
i
Suppose 0 = -7*k + 3 + 11. Suppose -5*g - o + k = 0, -2*g - 5*o = -o - 8. Is -2/25 at least g?
False
Suppose 0 = 4*w + 138 + 14. Which is bigger: -34 or w?
-34
Let q be (-3)/(-7) - (-1592)/(-7). Is q at most as big as -228?
False
Let j = -99.9 - -99. Let a = -1.2 - j. Which is greater: a or 8?
8
Let z = -33 + 35.5. Let t = -2.5 - z. Let f = 12.3 + -12. Which is smaller: f or t?
t
Let o be (-2016)/(-62)*357/(-9). Let t = -1290 - o. Which is smaller: 1 or t?
t
Let z = -160/759 - -2/69. Is z bigger than 1?
False
Let r be (10/(-6))/(3/9). Let g be (3 + -3 - -1)/((-21)/(-6)). Is g < r?
False
Let f = -3130 + 3148.31. Let i = 18 - f. Is i != 1/6?
True
Suppose -15*c = -10*c. Which is bigger: c or 10/9?
10/9
Suppose -7020*h + 7012*h - 72 = 0. Are 8 and h equal?
False
Let g be (-6)/45 - 523/15. Is g equal to -30?
False
Let l(k) = k - 6. Let f be l(6). Suppose 2 = 2*v - 0*v - 3*o, -o = f. Let w = -1023/9899 - 1/521. Which is greater: v or w?
v
Let i = -207/2 + 689/6. Suppose 3*x = -3, 0 = 4*h - 3*h + x - 11. Is h at least i?
True
Let d be 2 - 25/5 - (-8075)/2737. Is d not equal to -1?
True
Let z(w) = -w**3 + 4*w**2 - w - 4. Let l be z(3). Suppose -l*y - 2 = -14. Is 4 at most as big as y?
True
Suppose 7 = s + 3*c, s - 3*c + 0 = 19. Let d = -3.36 + 4.36. Which is greater: d or s?
s
Let i(n) = 3*n - 6*n - 2 - 1 - n. Let d be i(-3). Let j be ((-3)/d)/1*-1. Which is greater: -1 or j?
j
Let o be -5 - (21/(-364))/(3/96). Which is bigger: o or -4?
o
Let y = 23.44 + -23. Let v = y + -0.04. Let j = -38.8 + 39. Is j greater than or equal to v?
False
Let c = -116 - -113. Which is smaller: 44 or c?
c
Let o be (10 - 10)/(1 + 0). Suppose 20 = 5*a - o. Suppose a*g = -0*g. Are g and 3/14 equal?
False
Suppose -4*k - 270 = -f + 306, -3*k + 3*f - 432 = 0. Let o = -145 - k. Are o and 1/77 nonequal?
True
Let m be ((-1)/2)/((-9626)/1604 + 6). Suppose 0 = -4*y + 5*r + 329, -5*y - 4*r = -0*r - m. Are y and 80 non-equal?
True
Let t(v) = v**2 + 5*v + 5. Let b be t(-4). Let u be (-6)/(-14) - (-35804)/280. Let k = u - 128. Is k greater than or equal to b?
False
Let t(r) = -r**3 - 8*r**2 + 11*r + 22. Let m be t(-9). Suppose -5*b - 5 = 5*a - 0, -4 = -5*a + 4*b. Suppose 2*o = -a*o + 8. Is m less than or equal to o?
True
Let c be (-3)/(-2)*(-4 + 2). Let b be (-5)/(-1)*(-2 + (-9)/(-9)). Is b at most as big as c?
True
Let k = 14.13 + 1.27. Let c = 0.6 + k. Let q = 16 - c. Is 7 smaller than q?
False
Suppose 0 = -38*l - 46 + 84. Which is smaller: -18/259 or l?
-18/259
Let c = 12.65 + -2.35. Let d = -10.1 + c. Which is bigger: d or 3/19?
d
Suppose 584 = -17*f + 3576. Is f >= 177?
False
Let h be 1/(-2) + (-65)/26. Let i(r) = -r - 3. Let y be i(h). Let z(m) = -2*m + 5. Let t be z(y). Are t and 6 nonequal?
True
Let o = 100 + -95. Suppose -o*n + 132 = 72. Is 11 greater than n?
False
Let q = 2/13 + 141/182. Which is bigger: 1 or q?
1
Let c(v) = -v**3 + 5*v**2 + 6*v + 1. Let b be c(6). Which is smaller: b or 4/7?
4/7
Let d(u) = -2*u**3 + 2*u**2 + u + 2. Let r be d(2). Suppose 0 - 3 = -l. Let x = l + r. Which is smaller: x or 1?
x
Let m = 17 - 14. Suppose m*r - i - 5 = 14, 2*i + 8 = 0. Suppose r*n - 3*k - 11 = 0, -3*n + 5*k = -2*n - 11. Which is greater: 1/4 or n?
n
Let b = 0.6 + -0.9. Let s = -1972 - -7901/4. Is s != b?
True
Let c be 280796/102*1/(-1002) + 3. Let n = -40/167 + c. Is n equal to -1?
False
Let f = 47/13 - 303/91. Which is bigger: 16/7 or f?
16/7
Let j(z) = -z + 625 - 2*z - 621. Let v be j(1). Is v at most 1/8?
False
Let b = -80 - -84. Suppose b = -g + 21. Is g at most 18?
True
Let w = 210 + -210.6. Is 3 bigger than w?
True
Let y = -4551 + 40918/9. Which is bigger: y or -5?
y
Let y(r) = r**3 + 45. Suppose 6*q = -0*q. Let b be y(q). Let w be 17*5/b - -1. Which is bigger: 2 or w?
w
Let o be (-1)/(5/(-71)) - (-4)/(-20). Suppose o*z = 144 + 10. Which is smaller: z or 6?
6
Let k be ((-12)/(-18))/((14/9)/7). Is -181 > k?
False
Let k = -0.01 + 7.01. Let d = 947 - 948. Which is smaller: k or d?
d
Suppose 2*m + 2 + 0 = 5*o, -m + 3*o = 1. Suppose 5*a + 15 + 14 = u, -50 = -2*u + 2*a. Let w be (-21)/(-30) - 3*4/u. Which is smaller: m or w?
m
Let h = -515 + 284. Are -230 and h unequal?
True
Let j = 11 + -19. Let l be (-55)/4 + 2/j. Let p = l + 22. Which is smaller: 6 or p?
6
Let k(b) = 4*b**2 - b - 3. Let x be k(4). Suppose -3*o + 3*l + x = -0*l, 3*l = 0. Is 20 at most as big