128. Let y = -6630 - -6565. Is z greater than or equal to y?
False
Suppose 4130*t = 4149*t. Is t at least -8/483?
True
Let m be (36/33)/(8/188). Which is greater: 27 or m?
27
Let o be 192/672 + 24778/(-42). Let v = -589 - o. Is v < 0.691?
True
Let y = -1243 - -2826. Let m = y - 11005/7. Let i = m + -298/21. Which is bigger: 2 or i?
2
Let t(l) = -9*l**2 - 1. Let g be t(-4). Let a be -165 + 361/38*2. Is g at most as big as a?
False
Let m = 17.095 - 17.025. Is m greater than -1.95?
True
Let j(q) = -2*q**3 - 9*q**2 - 7*q - 6. Let o be j(-4). Let l be 3*-32*o/((-36)/(-2)). Is -34 at most as big as l?
True
Let v be 2*(4 + -13)/18. Is v less than -11/78?
True
Suppose 2*u + 7*g + 413 = 35, -5*g = 3*u + 556. Do -211 and u have different values?
True
Let y be -73 - (-1)/2*-4. Let v = 87979 - 88053. Which is bigger: y or v?
v
Suppose 5*b - 5*r - 650 = 0, 0 = -9*b + 13*b + 5*r - 529. Are b and 123 equal?
False
Let s = 0.942 - 0.9. Let c = -28.0362 + -1.0058. Let h = c + s. Which is smaller: h or 0?
h
Let p(q) = -142*q - 18718. Let o be p(-131). Let v be (-2)/(-6) + (-26)/42. Is o at least v?
False
Suppose -2*q + 30 = -22. Let i be ((-13)/q)/((-2)/(-92)). Let u = 23 + i. Which is greater: u or -2/93?
u
Let f = -42.7444 - -0.0444. Let u = -65.7 - f. Which is smaller: u or 2?
u
Let k = -0.0171 - -29.6171. Which is bigger: -2/5 or k?
k
Let v = -0.116 + -3.884. Which is greater: v or -839?
v
Let c = 463 - 778. Let i = c + 314.978. Is i >= 0.1?
False
Let u be (1*-1)/(63085/(-12958)). Which is smaller: u or 1?
u
Let m(d) = -d**3 + 6*d**2 - 2*d + 12. Let r be m(6). Suppose -j - 7 + 6 = r. Which is smaller: j or 2/209?
j
Let z be (-76)/(-494) + 2/(-13). Suppose -11*c - 14 + 3 = 0. Let n be (-4)/c + (552/75)/(-2). Which is smaller: z or n?
z
Suppose 1409 = -7*y - 2301. Let s = y + 332. Which is smaller: -197 or s?
s
Let f = -2 - 2. Let y = -2.961 - 0.469. Let n = 0.43 + y. Which is smaller: f or n?
f
Let v be ((-93)/45 - (65 - 67)) + (-3)/5. Let w = 207 - 90. Is v less than or equal to w?
True
Let f(z) = z**3 + 28*z**2 - 32*z - 87. Let x be f(-29). Suppose x*q - 3 = 3*q. Which is smaller: q or -2/23?
q
Let w be 63/(-252) - (-31)/28. Which is smaller: w or 2?
w
Let v = -4/6265 + -24137/43855. Let m = v + 5753/392. Let h = m - 14. Is -1/6 greater than h?
False
Let z = 85/302 - 4733/23254. Let n(m) = -m + 8. Let j be n(7). Is j at least as big as z?
True
Let j = 16079 - 16079.3. Let q = 9 - -47. Which is greater: q or j?
q
Let j = -45 + 79. Let y = 641 + -1279/2. Which is bigger: j or y?
j
Let m = -91 + 373/4. Let q be 10 - -1 - (6 - -2). Which is smaller: m or q?
m
Let t(k) = k**3 + 24*k**2 - 28*k - 75. Let q be t(-25). Which is smaller: q or -3/508?
-3/508
Let n(i) = -i**3 + 8*i**2 - 1. Suppose 2*j + 28 = 3*q, 0 = 3*q + j - 10 - 12. Let v be n(q). Is v smaller than 1/36?
True
Suppose 45*h - 43*h - 22 = 0. Let q be (-3 + h)*9/18. Which is smaller: q or 3?
3
Let n(s) be the first derivative of -s**6/180 - s**5/10 + s**4/24 + 34*s**3/3 - 38. Let m(z) be the third derivative of n(z). Let a be m(-7). Is -4 >= a?
True
Let u(l) = -2*l**2 + 4*l + 12. Let h be u(-3). Let t be 4/h + (255/54 - 4). Let j = 2.5 + -0.5. Is t not equal to j?
True
Suppose -3*b + 9 = -2*s - 2, 0 = 5*s + 20. Suppose 0*f - f + 4*n - 10 = 0, -4*f = -4*n + 4. Let l be (-5)/(405/(-244)) - (5 - f). Which is greater: b or l?
b
Let l be (3 - 4860/176) + ((-45)/20)/(-9). Are l and -2/9 equal?
False
Let i be (-32)/(-3) - (-8 - -4)/12. Suppose -13 = i*k - 2. Which is bigger: 2/227 or k?
2/227
Let u = -217037569/297050060 + -1/479113. Let g be ((24/10)/4)/31. Let r = g - u. Is -0.03 at most as big as r?
True
Let q be (10/155)/(14 + -25). Which is smaller: 27 or q?
q
Let f = -2083 + 1130. Let b = 954 + f. Which is smaller: -12/43 or b?
-12/43
Let o = 40 + -30. Suppose 103 = 8*s - 73. Which is greater: s or o?
s
Let j = 162 - -273. Let a = -1346/3 + j. Is a greater than 0.1?
False
Let d(z) = z**3 - z**2 - 3*z + 1. Let r be d(2). Let l be ((-70)/21 - -2)*6/(-4). Let n be (1/l)/((-161)/(-92)). Is n at least r?
True
Suppose -159*y - 29 = 130. Which is smaller: 2/12647 or y?
y
Let d be (-8350)/(-6375) - 5*(-12)/(-45). Which is smaller: d or -112?
-112
Suppose -4*j - 7 = f - 6*j, -f + 8 = j. Let x be (-3*20/f)/1. Let p be ((-104)/(-30) + 384/320)/((-4)/18). Does p = x?
False
Let o = -5717 - -5697. Let v be 250/(-14) + -1*1. Is v > o?
True
Let q = -10741 + 118068/11. Is 4 smaller than q?
False
Let j be -46 - (-6 + 3)/(10 + -9). Is j < -12?
True
Let z = 502 + -498. Suppose -o = -2*o + 2*l, 0 = -z*l - 4. Suppose 3*k = 5*b + 7, 4*b + 4*k + 12 = -0. Is o not equal to b?
False
Suppose 11 - 67 = -4*z. Let g be 290/z - 40/(-140). Let m be (18/g)/(-2) + -2. Is m at most -3?
False
Let c be (7 - 41)/(1 + 6 + (-222)/30). Is -2 greater than or equal to c?
False
Let f(z) = -2*z**3 - 23*z**2 - 25*z - 36. Let t be f(-10). Is t < -932/11?
True
Suppose 0 = 24*r - 22*r + 30. Let s be r*4*4/(-256). Is s bigger than 1?
False
Let x be 0*4/(-4) + 2. Suppose 4*j - 17*z = -20*z - 181, -4*z = 3*j + 127. Which is greater: x or j?
x
Suppose 902 = 8*t + 2*w, 4*w + 134 = -51*t + 52*t. Let v = 109 + 6. Which is smaller: v or t?
t
Suppose 0 = -3*v - 84*a + 82*a - 122, -4*a = 3*v + 124. Which is greater: -12 or v?
-12
Let k = -0.0957 + 6.5657. Let i = -3.53 - k. Does i = -5?
False
Let z = 5518 + -9879. Which is bigger: -4362 or z?
z
Suppose 2*w + 2*w = -2*f + 36, -f - 12 = -4*w. Suppose f*z + 517 = 85. Which is greater: z or -52?
-52
Let w = -4 - -6. Suppose -38*a = -2731 - 621 - 1246. Is w bigger than a?
False
Suppose 2*q - 9*q = -161. Let n = q - 17. Let j(v) = 5*v - 1. Let h be j(1). Which is bigger: n or h?
n
Let i be (-17)/((-357)/(-14)) + (-2128)/12. Which is greater: -1944/11 or i?
-1944/11
Let w be (319/22 + -14)*30/17. Let h be -2 - (8/(-4) + 0). Are h and w equal?
False
Let l(n) = 9*n - 332. Let o be l(36). Let g be (-2)/o - 12909/(-3276). Is g <= 4?
False
Let r be ((-1)/(-2))/(18/(-4)). Let s = -174.7255 + -0.0745. Let y = s - -175. Which is smaller: y or r?
r
Let g = 26 - 11. Suppose 0 = 36*s + 128 + 160. Let y be (s/(-300)*-10)/((-2)/(-3)). Which is bigger: g or y?
g
Let t = 174/5 - 171/5. Let f = 9.6 + -11.48. Let r = f + -0.12. Is t at least r?
True
Let f be (-224)/28 + (-14 - (4 + 0)). Is -11 < f?
False
Let b(y) = 27*y - 331. Let p be b(12). Let c be 2/p + (-654)/798. Which is bigger: c or -1?
-1
Let b be (-849)/(-12) + 570/(-120) + (3 - -2). Is 425/6 greater than b?
False
Let d = -55174.065 + 55747. Let f = -0.935 + d. Is f at least -1?
True
Let r = 528001 + -17428373/33. Let p = r - -400/3. Which is bigger: p or 2?
2
Let f = -5126 + 1082. Which is smaller: -4045 or f?
-4045
Let i = -12 - -33. Suppose i = g + 2*g. Suppose 10*u - g*u = 0. Which is smaller: 1/5 or u?
u
Let a(v) = -149*v - 1158. Let o be a(3). Is o at least as big as -1607?
True
Let t be 3/(((-72)/(-45))/(-8)). Let v be 16/2 + 120/t. Is -74 bigger than v?
False
Let d be 6/33 - 155/(-55). Let n be 5/(-10)*d*(-6)/(-9). Which is smaller: n or 7/47?
n
Let v = -3/202216820 - -681440755310673/2224385020. Let s = v + -306626. Let w = s + 276. Which is bigger: 0 or w?
w
Let b(h) be the first derivative of -h**4/4 + 2*h**3 - 2*h**2 - 4*h + 553. Suppose q - 4*q = -m - 12, 1 = -q + 2*m. Let x be b(q). Is 4/5 < x?
True
Suppose -3*j + 15 = -4*j - 3*g, -5*j - 5*g - 105 = 0. Let p = -24 - j. Let t be (-4)/1 - (5 + 1056/(-114)). Is p less than or equal to t?
True
Suppose -6*k + 2*k - 20 = -4*y, 15 = -5*k - 5*y. Let d(g) = -4*g**2 - g + 1. Let z be (-9)/(-7) + (-2)/7. Let f be d(z). Are f and k nonequal?
False
Let k = 95 + -93. Suppose 24 = 3*d - z - 27, 4*d + 2*z - 78 = 0. Is d less than k?
False
Let s = 2026 - 2128. Let v = -109 + 7. Is s at least as big as v?
True
Suppose -4*d = -4*z - 72, -19*d - 5*z + 30 = -14*d. Suppose 3*m + m + 3*k = 65, k - 84 = -5*m. Which is greater: m or d?
m
Suppose 0 = 15*h - 13*h - 30. Suppose 2*j - 6*j + a = -h, 2*j + 2*a - 10 = 0. Suppose -5*d = -4*o + 109, -7 = d - j*o + 18. Does d = -20?
False
Suppose -3*j + a + 1 = 2*j, 3*a = -3*j - 3. Let s be 1 + 17/1 + 3. Suppose j*x + 5*x = l - s, 2*x = 2*l - 18. Is 7 less than l?
False
Suppose -2*f - 4 = -12. Let r(w) = -2*w**3 - 138*w**2 - 134*w + 119. Let g be r(-68). Which is bigger: f or g?
f
Suppose -3