(-4*1)/(-12)). Suppose p*l = -l. Which is greater: l or 1?
1
Let d = -130 - -124. Let b be -3 - (-12)/d - -15. Let h = -15 - -24. Is h > b?
False
Suppose -3 = 3*n - 6*t, 4*n - 8 = -2*t - 2. Let p be ((-469)/94 - -3) + 2. Which is bigger: p or n?
n
Let s = 9.65 - 0.65. Let q = s - 12. Is q greater than -2/15?
False
Let w be 36/15 - 5/10. Which is bigger: w or 1?
w
Suppose -4 + 23 = b. Suppose -b*k = -20*k + 1. Which is smaller: 26 or k?
k
Suppose 0*u + u = 2*l + 38, -5*l = -25. Suppose 3*c + u = 3. Which is smaller: c or -17?
-17
Suppose 0 = j - 4, 4*j = 2*u - 6 + 8. Suppose -u = 3*w + 2*p, 0 = -2*w + 5*w - 3*p - 18. Which is greater: w or -2/39?
w
Suppose 73*g - 1500 = 53*g. Is 71 at least as big as g?
False
Let q = 817/5 + -162. Do q and 0 have the same value?
False
Let l be (-4)/((-10)/3 - -4). Let q be l/(-10) - 4807/95. Are -50 and q non-equal?
False
Suppose 0 = -3*n + n - m + 323, 5*n - m = 797. Is 160 equal to n?
True
Let a = 8 - -2. Let q = 84.971 + -0.071. Let b = q - 85. Are b and a equal?
False
Let o be (-2)/(-7) + 9/(-7). Let w be (o/2)/(1/2). Suppose -1911*f + 1907*f = 8. Is f not equal to w?
True
Let q be 23/3*3/8. Let m be -38 - -40 - 1/(-5)*4. Let c = m - q. Which is greater: c or 0?
0
Let z = -206/13 + 2287/91. Let n = z + -309/28. Let p be -3*-8*6/(-48). Is n greater than p?
True
Let n = 72/109 - 10078/15587. Let r = 89/3861 + n. Which is greater: r or 0?
r
Let u = -180 - -263. Let n = 83 - u. Which is smaller: -6/13 or n?
-6/13
Suppose -2*q + 4 = 0, -3*w + q + 81 = 17. Let y = w - 21. Is y at least 1?
True
Suppose 18 = -v - 5*v. Let m be (-4)/v*(7 - 6). Which is smaller: m or -4?
-4
Let w = -30 + 31.8. Let t be 6/8*(-1)/(-3). Is w less than t?
False
Let h be 24/30 + 8/(-10). Suppose h = -5*k + k + 3*p - 37, -4*p = 2*k + 2. Is k greater than -2?
False
Let j(x) = -x - 11. Let h be j(-12). Let b(p) = p**3 - 2*p**2 + 1. Let u be b(h). Is u < 1/138?
True
Let z be 3*(136/6 - 2). Suppose z - 2 = 5*i. Let q be 4/(i/9) - -2. Which is greater: q or 2?
q
Let r = -1114 + 1115. Let h = -17/12 - -71/52. Which is smaller: h or r?
h
Let g(z) = -2*z**2 - 11*z + 7. Let c(b) = -2*b - 20. Let y be c(-7). Let s be g(y). Let k = 226/91 + -36/13. Which is bigger: s or k?
s
Let r(c) = -c**2 - 25*c - 19. Let n be r(-24). Let l be (-3)/n + 68/5. Is l >= 12?
True
Let y(s) = -s**3 + 10*s**2 - 9*s + 3. Let r be y(9). Suppose o = u + u - 18, -25 = -r*u + o. Is 7 < u?
False
Let a(s) = -s - 3. Let j be a(-5). Suppose -293*c - 24 = -281*c. Is j smaller than c?
False
Let d = -0.0543 - 3.1757. Let z = d + 0.23. Is -1 >= z?
True
Let k = 1.2 + -0.2. Let r = 1.7 - 0.7. Let n = r - 0.2. Which is bigger: k or n?
k
Let c = 0.069 + 35.931. Let k = 22 - c. Let o = 14.2 + k. Which is bigger: o or 2?
2
Let b = -411 + 708. Let o be (-6)/27 - 2094/b. Let y = -1062/143 - o. Is 1 less than or equal to y?
False
Let t = -78.92 + 81. Let n = t - 2. Let g = -432 - -431.8. Is n != g?
True
Let o = -1417 + 1417. Let f = -4967/6875 + -3/625. Is f equal to o?
False
Suppose s = -2*s - 12, 4*c + 588 = 5*s. Let u = -174 - c. Which is smaller: -21 or u?
u
Let b(c) = -c - 6 + 6*c - 4*c. Let m be b(6). Let z = -8/105 - -604/2415. Which is smaller: m or z?
m
Suppose -j + 5*j - 16 = 0. Suppose -3*u - 18 = 5*d + 7, d = j*u - 5. Let k be (u - -1)*(1 + 0). Is k smaller than -8?
False
Let g be 55/(-15) + 3/(-9). Let r be (-5 - g) + 0 + -20. Let u be (-18)/(-14) + 6/r. Is 1/4 equal to u?
False
Suppose 2*k - 32 = 2*p, 10*p - 5*p - 28 = -k. Let x(f) be the second derivative of -f**3/2 - f**2 + 5*f. Let j be x(-6). Is j greater than or equal to k?
False
Let v(k) = -5*k**3 - 4*k**2 + 15*k + 6. Let n(l) = -4*l**3 - 5*l**2 + 14*l + 6. Let m(o) = 4*n(o) - 3*v(o). Let b be m(-9). Is -11 != b?
True
Let s = -1.3 - -0.3. Let u = s - -0.9. Suppose 5*n - 32*i + 24*i + 12 = 0, -5*i + 20 = 0. Which is greater: u or n?
n
Let c(o) = o**2 + 8*o + 19. Let p be c(-5). Suppose 0*t = t - p*t. Are 14/17 and t non-equal?
True
Let w be (-2)/11 - (-25196)/54120. Let i = -2/123 - w. Which is smaller: 1 or i?
i
Suppose 5*x + 85 = 5*d, -2*x + 4*d - 6 = 38. Let s = -24472/3 - -8076. Let w = -82 - s. Which is smaller: x or w?
x
Suppose 0 = -4*q + 1 + 11. Suppose -2*v = -q*v + 86. Let y be ((-6)/v)/(6/4). Do 1 and y have different values?
True
Let j = -18 - -21. Suppose j*q + 13 = 34. Which is smaller: 6 or q?
6
Let q = -2.94 - -5.94. Which is smaller: -16 or q?
-16
Let p be (-4)/14 + 2916/9912. Let z = 127/1062 - p. Is -1 less than z?
True
Let u be (-12)/(-42) + (-205)/7. Are 1 and u nonequal?
True
Suppose 14*o + 108 = 150. Is 23 equal to o?
False
Let f be 60/(-6) + 16 - -687. Is 694 >= f?
True
Suppose 48 = 4*i - 4*q, 0 = -q - 5. Suppose -i*c + 36 = 8. Suppose 5*r + 12 = -0*j - c*j, 0 = r - 4*j - 12. Is r <= 1/4?
True
Let j be 2/5 + (-36)/65. Suppose 13*r - 16 = 9*r. Suppose -2*s + r*s = -3*s. Which is greater: s or j?
s
Let r = 343991 + -80838021/235. Let w = 1/47 - r. Is w > 1?
False
Let m = -34/7 - -74/21. Let r(h) = -h**3 - 10*h**2 - 10*h - 7. Let v be r(-9). Let u = -3 + v. Does m = u?
False
Let l(n) = n**2 + 15*n - 15. Let k(s) = -3*s**2 + 5*s - 4. Let z be k(3). Let b be l(z). Which is bigger: -5/3 or b?
b
Let o = 16/87 + -1/58. Let g(j) = -j + 10. Let a be g(4). Let n be (a + -3)*(-2)/21. Which is bigger: n or o?
o
Let a(f) = -19*f - 129. Let i be a(-7). Which is bigger: i or 6?
6
Let b be (-4)/(-22) - 108*3/(-33). Suppose 5*m - 4*f - b = 0, 2*m = 12*f - 14*f - 14. Suppose y - 4 = 2*y. Is y greater than m?
False
Let i = -17 + -44. Let r = -62 - i. Which is smaller: 2/117 or r?
r
Let s = 15.262 - -1.738. Is 0.059 less than s?
True
Let p = 1172 - 51565/44. Which is smaller: p or 0.02?
0.02
Let s be (-2 - -2) + (-12)/(-10). Let r = 19 + -18. Let g(a) = a**3 - 1. Let k be g(r). Are k and s unequal?
True
Let u be (4/6)/(-1 + 544/546). Which is smaller: u or -180?
u
Let v = 13941/4 + -3477. Let z(s) = -6*s**3 + s**2 - s - 1. Let i be z(-1). Which is greater: v or i?
v
Suppose 30*n - 4*q - 30 = 29*n, 2*n + 2*q - 30 = 0. Is n > 15?
True
Let j be 24/(-16) - 10/(-4). Suppose w = -4*w + 10. Suppose w*z + 0 = 16. Which is smaller: j or z?
j
Suppose -2*y - 12 + 2 = 0, -2*k = 2*y + 8. Which is smaller: -1/96 or k?
-1/96
Let m = -74309/7 + 10595. Is -21 < m?
True
Let o(x) = -x - 1. Let t be o(-1). Let k = t + 4. Suppose 3*l - 9 = 4*s, -9*s + k*s = -5*l + 10. Is -4 less than s?
True
Suppose 15*r - 9*r - 1956 = 0. Which is smaller: r or 325?
325
Let x(o) be the third derivative of -o**6/120 - o**5/60 + o**4/24 - o**3/6 - 6*o**2. Let l be x(-2). Suppose -l = 3*f - 16. Which is greater: f or 1?
f
Suppose -3*o + 24 = -w, 5*w - 14 - 10 = -o. Let g be -3 + (-3)/(-6)*4. Let c be g/1*1 - -8. Which is smaller: c or o?
c
Let t(f) = -5*f**2 + 63*f. Let w(d) = 2*d**2 - 21*d. Let a(g) = -3*t(g) - 8*w(g). Let b be a(-21). Let v = 37/56 + -2/7. Which is bigger: b or v?
v
Suppose u = 2*u + 26. Let x = u + 33. Which is bigger: 8 or x?
8
Let r = -310042009223874673/768485479696383120 - -1/4265169692560. Let o = r + -1/15805. Let u = o - 5/19. Which is smaller: 17/4 or u?
u
Let f be 474/(-1071) + 100/225. Which is greater: f or 1?
1
Let t(p) = p**2 - 13*p + 28. Let j be t(9). Which is greater: -12 or j?
j
Let r = 460884/8671 + -1542/29. Which is bigger: r or 0?
0
Let n be (-1 + 2)/((-1)/4). Let d be (-12)/4*-1 + 4. Let v be 6*(3 - (-2 + d - 1)). Which is smaller: n or v?
v
Let d = -28 + 201.6. Let p = -150 + d. Let c = p + -24. Which is smaller: c or -0.2?
c
Suppose -2*k - 4*a - 8 = 0, -5*k - 5*a - 1 = 4. Suppose 5 = 3*t + k. Is -2 greater than or equal to t?
False
Let w be (-28)/294 + 3741/39501. Which is greater: w or 0?
0
Suppose 3*s + 3 - 42 = 0. Let r(g) = -13 + 2*g - 15 + 15. Let n be r(s). Which is bigger: n or 12?
n
Let k = -108558/55 - -1974. Which is bigger: k or -1?
k
Let j = 603396558044/16589 + -36373293. Let k = -3/313 - j. Let h = 0 - 0. Which is bigger: h or k?
h
Suppose -4*f + 12 = -0*f. Let j be (-11)/(-7) + 20/35. Which is bigger: j or f?
f
Suppose -a + 71 = 8. Suppose 156 = 67*u - a*u. Is u < 0?
False
Suppose -45 = 7*f - 38. Which is bigger: f or -16?
f
Let c = -1171 + 1172. Which is smaller: 3/19 or c?
3/19
Let a be ((-252)/(-8))/(-3)*2. Let n = a + 18. Which is greater: 1 or n?
1
Let x = 526.94 + -522. Let n = 5 - x. Let u = 