reater: y or -1/7?
-1/7
Let z(o) = o**3 - 6*o**2 - 5*o - 5. Suppose -4*k + 3*p = -37, -6*k - 4*p = -k - 23. Let d be z(k). Let a = 9 - d. Which is bigger: 1/3 or a?
1/3
Suppose 477 = -2*o + 2*x - 837, -o - 3*x - 673 = 0. Which is greater: -663 or o?
o
Let j(c) = c**2 - 13*c + 4. Let k be j(11). Let b be (-5 - k/4)*2. Which is smaller: -2/9 or b?
b
Let q be 257/9 - 24/(-54). Let n = 12 - q. Which is bigger: -4 or n?
-4
Let o = 55.195 + -26.214. Let m = o - -0.019. Let s = m - 28.7. Which is smaller: 1/2 or s?
s
Let f be (5 - -1)/(5 + -7). Let y be -2*4 - (-5 - f). Suppose o = -4*w - 2*o - 15, -o = -w - 9. Is y <= w?
True
Let a = -16201592/205578519 - -118/1497. Let l = 14966315/159848628 + a. Let c = l + -1/97. Which is bigger: 1 or c?
1
Let c be (74/540)/((-200)/(-2656)) - 2. Let k = -4/125 - c. Are k and 0 non-equal?
True
Let a(o) = 3*o**3 + 50*o**2 + 69*o - 3. Let w be a(-18). Is -2540 > w?
True
Let c(z) = -z**2 - 2*z + 1. Let h(q) = q**2 + 3*q - 2. Let b(x) = -6*c(x) - 7*h(x). Let j be b(-10). Let v be (3/(-4))/(18/(-12)). Which is smaller: v or j?
j
Let o = -18 + 17.948. Let p = 0.008 - o. Which is smaller: p or 2?
p
Let m = 24.7 - 25. Let p = -0.4 - m. Which is greater: 16 or p?
16
Let o = 622915/42 - 14830. Let n = 1/7 - o. Which is smaller: -1 or n?
n
Let n be (-96)/72*((-4)/8 - 39/(-6)). Let r = 0 - 0.04. Is n greater than r?
False
Let o(h) = -3*h**3 + 2*h + 1. Let d be o(-1). Suppose 0 = 2*c, -i + d*i - 2 = 2*c. Is i < 7/9?
False
Let t be (2/(-6))/(19/(-855)). Let s be 1/(-5) - (117/t - -3). Is s at least -8?
False
Let t(f) = -f**2 + 3*f - 2. Let q be t(2). Suppose -4*h + m - 2*m - 30 = q, -4*h + m - 26 = 0. Do -8 and h have the same value?
False
Let c be (-2)/2 - (-34 - -16). Which is smaller: 18 or c?
c
Let f = -293/3 + 7337/75. Is -1 not equal to f?
True
Let h be ((-1206)/8)/(9/(-6)). Let b = h - 12249/122. Let j = 13/488 + b. Which is greater: j or 0?
j
Let i = 537/2 + -266. Is i smaller than 8?
True
Suppose 75 = -5*d + 5*t, -3*d = -d - 5*t + 39. Let h = d + 12. Let n be -4*(3/18 - 0). Which is smaller: h or n?
n
Suppose 30 = -4*h - 5*f, 5*h = h - 3*f - 26. Suppose 4*p - 20 = -2*o, -4*p = 4*o + p - 28. Does o = h?
False
Let z = -46.21 - -46. Let w = -218 - -216.79. Let j = z - w. Does -5 = j?
False
Let c = 6.85 - -0.15. Let l = 3.02 + 43.08. Let x = l - 46. Which is smaller: x or c?
x
Let b = 184 + -52. Let c be (-18)/(-4)*b/90. Let o = c + -8. Which is greater: -2 or o?
o
Let g(c) = c**2 - 3*c - 1. Let y be g(-2). Let x be 3/(-3)*(y + -1). Suppose 4*m = -b - 0*m - 3, m = 1. Which is smaller: x or b?
x
Let c(j) = -19*j - 133. Let u be c(-7). Which is smaller: -1/794 or u?
-1/794
Suppose -5*v - 20 = h - 10*v, 0 = 3*h + 3*v - 12. Is h less than 2/4977?
True
Let u(r) = 3 + 6 + 9 - 17 - 4*r. Let k be u(-2). Which is smaller: 8 or k?
8
Let w be (-2)/141*(-2763)/48. Let f = w - 9/47. Which is smaller: 0 or f?
0
Suppose -16 = -2*h + 6*h. Let l = h + -15. Are -17 and l nonequal?
True
Let q be -3 - (-2 - (-306)/(-30)). Is 9 equal to q?
False
Let v = 2484 - 2448. Which is greater: v or 4/7?
v
Let r = -11 + 13. Suppose -4*v - y + 4 + 17 = 0, r*v = -y + 11. Suppose 1 + 1 = o, -q = -v*o + 9. Is 7/8 less than q?
True
Let h(t) be the third derivative of -t**6/15 - t**4/24 - 4*t**2. Let y be h(1). Let p be (-2)/9*(-9)/y. Which is bigger: p or 1?
1
Let h = 1342396611/155 + -8660583. Let z = 201/5 - h. Which is smaller: 1 or z?
z
Let w = -22 + 21.87. Let f = -11 - -10.93. Let q = f + w. Is -1/4 equal to q?
False
Suppose 4*y = 4*v + 297 - 49, -4*v - 245 = -3*y. Let l = v - -30. Is -28 >= l?
True
Let o = 1318 - 1310.87. Let q = -0.13 + o. Let d = 3 + -2.8. Is q equal to d?
False
Suppose -2*h - 38 = 42. Let n = 38 + h. Which is smaller: 0.16 or n?
n
Suppose -g + 2*g - 15 = -4*p, -p = 4*g. Is -2/15 less than g?
False
Let p(m) = -22*m**2 + 1. Let g be p(-1). Let z = -18 - g. Suppose s + 2*k = -2 - 1, s = 2*k + 5. Does s = z?
False
Let r = -16 - -16. Let x be (-15 + r)/((-15)/75). Let n be x/(-117) + (-4)/(-12). Is n > -1?
True
Let u be (-2 + 2)*-1 - -2. Suppose -4*k + u + 2 = 0. Suppose -s - 5 = 0, t = 3*s + 7 + 5. Is t at least k?
False
Suppose -4*r + 56 = 4. Let l be (1 - r/15) + 0. Suppose -6*v = 3*n - 3*v + 3, 3*n + 2*v - 1 = 0. Are n and l equal?
False
Suppose 0 = 4*a - 0*w + 4*w - 24, -2*a + 2*w = 0. Suppose 5 = 3*x - 2*k, -5*x + 2 + 5 = -a*k. Is x at most as big as 2/13?
True
Let q = -580 + 34219/59. Let w = 11 - 10. Which is bigger: q or w?
w
Suppose 3*b = 9 + 6, -100 = -3*v + b. Suppose -v = 4*q - 119. Which is smaller: 19 or q?
19
Suppose 3*i - 6 + 5 = z, -3*z + 6 = 0. Suppose -i = q + 5*l + 15, 5*q - l = -80. Is q < -18?
False
Let w = 19 + 38. Is 58 at least as big as w?
True
Let y be 3/2*(-22)/165. Suppose 117*r - 120*r = 0. Which is bigger: r or y?
r
Let q be -1 + (-35)/(-21) + 1849/7. Let c = q + -749/3. Which is smaller: 15 or c?
15
Let y(k) be the first derivative of 7*k**2/2 + 5*k + 5. Let w be y(-2). Let h(o) = o**2 + 8*o - 1. Let t be h(w). Which is smaller: 7 or t?
7
Suppose -104 + 23 = 3*b. Let f = b + 33. Suppose -f*u - 7 = -1. Is -2/11 >= u?
True
Let b(j) = -j**3 - 8*j**2 + 6*j - 17. Let l be b(-8). Let c = l - -40. Is c less than -25?
False
Let h = -5 - -6. Let z = 1/95 - 99/380. Which is bigger: z or h?
h
Let m = 4.9 - -1.1. Which is bigger: -1 or m?
m
Let k = -78.605 - -1.505. Let s = k - -77. Is s < -12?
False
Let o(x) = x**2 - 4*x - 9. Let s be o(6). Suppose 0 = s*j - 9*j + 534. Which is bigger: 88 or j?
j
Let u = -19.13 - 39.87. Is u less than 0.9?
True
Suppose 0 = -8*u + 5*u + 21. Suppose -6*j + u*j = 7. Let n(r) = -r**3 + 8*r**2 - 6*r - 9. Let y be n(j). Are -4/3 and y non-equal?
True
Let l be -1 + 0 + (3 - 2). Suppose 2 = -3*q + 4*a, -2*q - 2*a - 2 + 10 = l. Let z be (1/3)/(q/(-6)). Is -2 at least as big as z?
False
Let d(h) = -h**2 + 0 + 2 - h**2. Suppose -65 = 4*u - 73. Let o be d(u). Is o greater than -2?
False
Let j = -160 + 129. Which is smaller: -33 or j?
-33
Let z be (-48)/(-32)*2/(-3). Which is smaller: 12/95 or z?
z
Let h be (-9 + -13)/(4/(-54)). Is h greater than 298?
False
Suppose -3*n = -l - 6, 1 = 4*n - 3*l + 4*l. Suppose 0 = q + n - 3. Suppose 5*r + q*g + 4 = 0, -2*r + 3*g - 1 = -7. Is r != 1/3?
True
Let q = 1415/12 + -118. Let l = 0.6 - -1.4. Is q smaller than l?
True
Let h be (10/30)/1*-181. Which is greater: -61 or h?
h
Let s(f) = -2*f**2 - 35*f - 37. Let u be s(-9). Which is bigger: u or 118?
118
Let s be (-2)/(-8) - 2/8. Suppose 4*v - 6 = q, s*q + 4*q + v = 10. Suppose -j = -q*j + 1. Which is greater: j or 2?
2
Let i be (2/(-4))/(3/(-2)). Let o be ((-238)/14)/(2/4). Let w = 42 + o. Which is smaller: i or w?
i
Let b be (-12)/4 + 0 + 3. Suppose b = 6*n - 5*n - 6. Suppose -8 = t - 13. Which is smaller: t or n?
t
Let s(j) = 3*j**3 + 47*j**2 - 9*j - 18. Let x be s(-16). Which is smaller: -1045/8 or x?
-1045/8
Let p(w) be the first derivative of w**3/3 + 4*w**2 - w - 61. Let c be p(-8). Let s be 1/(-14) - 2/(-7). Which is bigger: c or s?
s
Let l = 3049 - 3052. Let y = -8 + 5. Let k = 3.06 + y. Is l less than k?
True
Let i be -12 + 13 - (-260)/(-258). Let h = i + 523/903. Does 0 = h?
False
Let k = 2593 + -2584. Suppose 5*u + 0 - 35 = 0. Which is smaller: k or u?
u
Let c = -27 + 60. Let y = 33 - c. Which is smaller: 5 or y?
y
Let h be (-12)/(12/(-32)*-2). Let n = -13 - h. Suppose 3 = -3*p + 4*i, p = n*i - 0 - 1. Which is bigger: p or -2/7?
-2/7
Let d = 0.128 + -5.638. Which is greater: 2/3 or d?
2/3
Suppose 6*f = 72 + 18. Let a be 2/(-10) + (33/f - 0). Are a and 0.2 nonequal?
True
Suppose 0 = -4*h + 2*f + 1372, -202*f - 6 = -205*f. Is 343 < h?
True
Let n(t) = -t**2 + 3*t + 27. Let a be n(-4). Which is greater: 2/253 or a?
2/253
Let m be (-6)/(-9) + (-497)/710. Suppose 0 = -5*y - 4*b + 20, -3*y = -b - 2*b + 15. Which is smaller: m or y?
m
Suppose -773 = 12*s + 55. Which is bigger: -71 or s?
s
Suppose 6*x = -3*x - 27. Let v be 4*(2/4)/(6/x). Which is greater: v or -1/22?
-1/22
Let g = 314.184 + -314. Which is smaller: -1/3 or g?
-1/3
Let u(x) = x + 5. Let k be u(0). Let d = k - 3. Let c(h) = -h**2 + 2*h. Let o be c(d). Are o and 1 unequal?
True
Suppose h + t = -7, -2*h = h + 5*t + 15. Let a = -14 + -9. Let v = a + 15. Which is greater: h or v?
v
Let g be (-2)/(-6) + 11/3. Suppose 0 = l - 4*d + 3 + 9, -2*d + 