 26 = q, 4*c + 8 = -4*q. Let n = -98.9 - -100. Which is bigger: c or n?
c
Let u be (-56124)/84*((-15)/(-27))/(-5). Are u and 73 unequal?
True
Let g be 33/22*(-80)/(-3) + -4. Let k be 1/(6/g) + -7. Suppose -4*c + 7 = -3*f, -8*f - 4 = -4*f. Is c >= k?
True
Let m(s) = -2*s**3 + 4*s**2. Let q be m(-3). Let x be ((-8)/(-6))/(24/q). Are 15 and x non-equal?
True
Let j = -0.38 - -5.38. Let v = -43 + 41. Which is bigger: j or v?
j
Let k = 6 - 6.029. Let d = 22.971 - k. Let z = 28 - d. Is 2 not equal to z?
True
Let s(y) = -5*y**2 - 3*y + 5. Let v(l) = -6*l**2 - 3*l + 6. Let c(h) = -3*s(h) + 2*v(h). Let i = 1 - 6. Let m be c(i). Which is smaller: 56 or m?
56
Suppose 0 = 3*b + 2*d + 102, 3*d = -b + 8*d - 34. Are b and -229/7 equal?
False
Suppose -a + 70 = -10. Suppose -4*i - 5*l - a = 0, -i + 4*i + 57 = -3*l. Is i != -16?
True
Let r(c) = -c**3 + c**2 + 2*c - 3. Let m be (126/35)/((-6)/(-15)). Suppose -2*k = -k + m*k. Let y be r(k). Are -14 and y non-equal?
True
Let b = -10.15 - -0.15. Let k = b - -9.9. Let v(i) = i**2 + 18*i + 103. Let f be v(-6). Are f and k equal?
False
Let x(n) = 26*n**2 - 43*n - 17. Let c be x(10). Suppose c = 8*h + 361. Suppose 0 = -12*q - 4*q + h. Is q > 17?
False
Suppose 3018 = 2*j + 3*p - 809, 4*j = -4*p + 7652. Is j > 5735/3?
True
Let h = 3804 - 3804.0634. Is h greater than -0.2?
True
Suppose -4*s = -16, -5*n + 14*s = 11*s - 5943. Which is bigger: -5 or n?
n
Let a be (-22 + 946/44)*(617/9 + 1). Which is bigger: -35 or a?
a
Suppose -5*n + 3*n = 0. Suppose -3*h = -n*h - 78. Let x be ((-1935)/(-129) - (1 - 13))*1. Is h not equal to x?
True
Let g = -144 - -145. Suppose 2*d = -0*d - 4*r + 48, -81 = -4*d - 5*r. Suppose -40 = -d*v + 18*v. Is g less than or equal to v?
False
Let k = -42/43 + 921/1075. Let d(i) = -19*i + 20. Let j be d(1). Is k != j?
True
Let n = -50 - 15. Let m = 1043 + -1110. Are n and m equal?
False
Let j = -230 - -232. Suppose -j*i = -5*k - 73, 4*k - 2*i = -3*i - 61. Which is smaller: -17 or k?
-17
Let a = 171751 - 171750. Let q = -96374 + 679440/7. Let r = 690 - q. Which is smaller: r or a?
a
Let z be ((-6)/(-8)*-9)/(-7 - (-534)/48). Which is smaller: 5.1 or z?
z
Let v = 178017 - 712958081/4005. Which is smaller: 0 or v?
0
Let w = -56326/9 - -2196800/351. Let c = w + -44/27. Suppose 5*y - 2*v + 12 = 0, 32*y - 33*y + 3*v = 5. Which is bigger: c or y?
c
Let w = -10146 - -679794/67. Let f be 22/(-10) - (-8106)/6755. Is w at least as big as f?
True
Suppose 198 + 139 + 147 = 22*b. Do -33/4 and b have the same value?
False
Let a(b) = 6*b**2 - 2*b - 8. Let y(q) = -5*q**2 + 2*q + 7. Let t(j) = 4*a(j) + 5*y(j). Let d be t(2). Which is smaller: 0 or d?
0
Let r be (16/5)/((-10)/(-25)). Let w(m) = m - 8. Let q be w(r). Suppose q = z + z + 20. Is z >= -9?
False
Let k = -0.09 + 8.09. Let a = k - 5. Let j be (1665/567 - 4/18) + -3. Is a smaller than j?
False
Let o = 86 + -168. Let m = -315 - -239. Let v = m - o. Which is greater: v or -2?
v
Let x = 636 - 19713/31. Let v = x - -397/62. Is v smaller than 1?
False
Let v be -1*3*1/(-3). Let m be v*2 - (1152/102)/8. Let f = 13/51 - m. Is f at least 3/25?
False
Let r = 153 - 117. Let y be ((-513)/6)/(r/96). Is -227 at least as big as y?
True
Let j(w) = -w**3 + 8*w**2 + 9*w - 24. Let i be j(9). Let c be (-148)/14 + (-28 - i). Is c not equal to -14?
True
Let a = -1400 + 928. Let y be (56/7)/40 - a/(-10). Is -48 less than y?
True
Let t(v) = -4*v**2 + 3*v - 7. Suppose 6*x = 3*x + 9. Suppose 0 = -x*a - 27 + 39. Let d be t(a). Are d and -58 unequal?
True
Let w = -365/618 + 28/309. Which is greater: -1250 or w?
w
Let w = 1018 - 212764/209. Suppose -17*l + 15*l = -4. Suppose -d = -3, l*g - 12 + 3 = -3*d. Does w = g?
False
Suppose 13*j - 149 = -18*j - 118. Is -2/913 at most as big as j?
True
Let f be ((-9)/5 - -2) + 217/(-12005)*-7. Which is bigger: f or 1?
1
Let q be (-4)/(-14) + (-552)/(-126). Let x be (-2 - 3)*12/10. Let m(n) = -n**3 - 7*n**2 + 37. Let b be m(x). Which is smaller: q or b?
b
Let n = 3/131 - 176/1965. Let b be (-1)/((-5)/(-20)) - (1 + -4). Which is smaller: b or n?
b
Suppose -28*k - 6*k + 306 = 0. Suppose 3*l + k*u - 7*u = -8, 0 = 2*l + 2*u + 2. Let o(i) = i**2 + 10*i + 3. Let d be o(-9). Is l less than d?
False
Suppose -3*i - 10 = -8*i - 5*w, 26 = i - 5*w. Let v(x) = -477*x + 1909. Let j be v(4). Is i less than j?
False
Let u(v) be the second derivative of v**4/12 + 5*v**3/3 + 5*v**2 - 3*v. Let p be u(-9). Let l be (p/(1/1))/(-13 - -2). Which is bigger: l or -6?
l
Let v = -27 + 40. Let x be 2 - (3 - v)/5. Suppose -x*w + 56 = 4*w. Are 8 and w equal?
False
Let m be -344*(4431/182 + (-20)/(-130) - -1). Which is smaller: m or -8771?
m
Let q = -1325 + 1277. Is q > 39?
False
Let s = -464.4 - -464. Let q = s - -0.334. Is -2 bigger than q?
False
Let j = -157962 + 9162483/58. Which is greater: 11 or j?
j
Let m be 7 - (24 + -9 + -9). Which is greater: m or 2/2981?
m
Suppose 3*f - 82 - 602 = 5*j, 0 = -4*f - 5*j + 877. Let x be 223/3*-1*-3. Does x = f?
True
Suppose 20*b = w + 16*b - 14, 5*w - 36 = 3*b. Which is smaller: w or -34?
-34
Let q = -114.228 + 114. Let c = -2.228 - q. Let f be ((-2)/(-2))/(-1) + -44. Is f greater than or equal to c?
False
Let t = -60 - -95. Let y be 49/(t/5) - 44. Which is bigger: -40 or y?
y
Let m(n) = 2*n - 24. Let y(l) = -2*l - 1. Let o be y(-5). Let c be m(o). Let b be c/9*555/(-8 + 3). Do b and 74 have the same value?
True
Let i be (12/(-11320))/(21/(-4) - -9). Is 0 bigger than i?
True
Let u(x) = -x**3 - 24*x**2 + 86*x + 137. Let y be u(-27). Which is smaller: y or -171?
-171
Let j(r) = -r**2 + 10*r - 7. Let w be j(9). Suppose p - 4*b = -4 + w, p = -2*b + 10. Suppose -p*d + 7 = 1. Which is smaller: -0.06 or d?
-0.06
Let d be (8/((-512)/488))/((-15)/(-140)*7). Let u be (-83 - 3)*(-1)/2. Suppose -5*q - 4*p = 41, -4*q = q + 2*p + u. Do d and q have the same value?
False
Let w = -0.11021 + 4553.11021. Which is smaller: -0.1 or w?
-0.1
Let r be 2/(-4) - 77/(-210). Suppose -5*m = -5*i + 13 + 7, 5*m = -2*i + 1. Let h be (m - 4)/5 + 0. Which is bigger: r or h?
r
Suppose -25*x - 43 + 68 = 0. Which is greater: x or -2/10521?
x
Let n = -3049/4 - -20551/28. Let r = 28 + n. Let f = -158.7 - -158.2. Which is bigger: r or f?
r
Let a = 9 + -9.06. Let k be (-4 + -1)*(22/5 + 2). Let o be k/(-7) + (15 - 20). Is a > o?
True
Let d(l) = -18*l + 98. Let h be d(-21). Let k be 2 - 1 - 468/h. Which is greater: k or -1?
k
Suppose 3*c = -5*v - 317, 3*v + 147 = -5*c - 40. Let r be ((-18)/(-15)*5)/((-3)/34). Is v less than r?
False
Let q be -13*4/((-8)/(-6)). Let o(m) = -2*m**2 + 20*m + 110. Let j be o(-4). Let l = j - q. Is l greater than or equal to 37?
True
Let x = 16941 + -19443. Which is greater: x or -2509?
x
Suppose -253*s - 118*s = 18921. Is s bigger than -17?
False
Suppose 0 = -2*f - 3*f - 20. Suppose 0 = -25*b + 41*b - 64. Let n be -1 - (-45)/f - (b + -5). Are n and -12 unequal?
True
Suppose 3*y - 8 = 4. Let m = y - 1. Let p = 0.1695 + -0.2695. Which is greater: p or m?
m
Suppose 4*t + 2 = v, t + 34 = 5*v + 5*t. Is v bigger than 76?
False
Let m be (72 + -192)*4/(-129). Let u = m - 41077/11051. Are u and 1 nonequal?
True
Let n(q) be the second derivative of -7*q**3/3 + 7*q**2 - 59*q. Let g be n(-4). Is g equal to 71?
False
Suppose 7*x - x - 6132 = 0. Let s be (-22 + 21)/(x/126172). Let f = -864/7 - s. Which is smaller: f or 1?
f
Let u be ((-4)/(-56))/((16506/(-24))/21). Do u and -1 have the same value?
False
Suppose -3*o + 7 = -4*k, -2*o = -4*k + 3*k - 8. Suppose y = o*y - 48. Suppose 10*t = y*t - 14. Is 9 bigger than t?
True
Let a = 299572 - 2093160/7. Which is bigger: 550 or a?
550
Let t = -64.873 - 0.127. Let p = -45 - t. Let a = p + -19.9. Which is bigger: a or 13?
13
Suppose 5*c + 114 - 89 = 0. Let m(q) = -q**2 - 10*q - 23. Let a be m(c). Let v be 1786/247 + -2*2. Which is bigger: a or v?
v
Let j be 2*2772/(-96) + 1/(-4). Let o be (j/6 + 9)*(21 + 0). Suppose -4*h = 2*r - 0*r + 22, -3*r - 48 = h. Which is bigger: o or r?
o
Let t be 3 - (-5)/(255/(-156)). Let h = t - 83/34. Let d be 0 + 26/10 + -1 + -2. Is h smaller than d?
True
Let i = -331 - -330. Let d = -384 - -11902/31. Which is smaller: i or d?
i
Suppose 0 = a - 25 + 18. Suppose 5*h + a = 37. Suppose -h*c + 85 = -c - 5*r, c + 3*r - 21 = 0. Is c bigger than 16?
True
Suppose -7*n = 43*n + 10800. Let i be n*50/45*6/(-1