7
Let x be (-6)/5 - 534/(-445). Suppose 0 = 3*h + 722 + 643. Let q = h + 35944/79. Which is smaller: x or q?
q
Let r = 873/26 + -849221/25298. Is r != 1?
True
Let s = -21728738 + 9937733. Let j = s + 65451868268/5551. Let c = 5/91 + j. Is 0 at least as big as c?
True
Let r be ((-21)/4)/(-7)*4. Suppose 0 = -r*q - 0 + 24. Suppose -2*a = -2*w - 6, -q - 1 = 3*w + a. Which is bigger: -7 or w?
w
Let i(l) = l**3 - 7*l**2 - 7*l - 5. Let n be i(8). Suppose -n*o = 4*u - 43, o - 22 = -o + 4*u. Suppose -o*f = -10*f + 135. Which is bigger: f or -43?
-43
Let c = 145 - 77. Suppose c*l = 84*l + 1216. Is l not equal to -76?
False
Let d = -0.04412 + 5.82412. Is d bigger than -2?
True
Let s = -142 + 139.5. Are 1/9 and s equal?
False
Suppose 0 = 2*b - 2*r - 164, 2*b = -0*b - 2*r + 156. Let x be 6272/b + (-6)/(-10). Suppose -x = -5*v - 269. Is v at least as big as -39?
True
Let k be ((-308)/12 - -1)/((-2)/12). Suppose -5*w - 140 = -5*v, -5*v = 7*w - 3*w + k. Let x be (3/(-12))/(40/w). Are x and 0 nonequal?
True
Let h(b) = -44*b - 572. Let x be h(-6). Is x > -312?
True
Let m be ((-3)/(-6896))/(-3)*(9 + -19 - -11). Which is greater: -1 or m?
m
Let i be (0 + -2)*(-5)/55. Let f = -1067/21 - -351/7. Is f at most i?
True
Let w be (-117)/(-36) - (-57050)/(-17544). Is w <= 0?
True
Let r be 3/((15/3090)/((-5)/3)). Let i = r - -95789/93. Which is bigger: 0 or i?
0
Suppose -5*h - 171 = 3*u, 26 = -2*u + 3*h - 69. Let q(t) = -t**3 + 6*t**2 - 8*t - 4. Let a be q(6). Let m = a - u. Do m and -15 have the same value?
False
Suppose 72 = -2*x - 5*n + 213, -4*x = -3*n - 269. Let c = -14282 + 14352. Which is smaller: x or c?
x
Let p be (-1)/2 + ((-94506)/36)/(-19). Let o = p - 138. Let b(z) = -z + 7. Let h be b(6). Which is greater: h or o?
h
Suppose 2*t + 62 = 5*c + t, 5*c - 70 = 5*t. Suppose -d + c = d + m, 3*m - 8 = d. Let q(x) = -x**3 + 2*x**2 + 12*x - 10. Let s be q(d). Is 5 <= s?
True
Let g = -56311/3710 + 104/265. Is g != -15?
True
Let s = 7143 - 7140. Which is bigger: 0 or s?
s
Let w = 286 - 281. Suppose w*g + 23 = -52. Which is greater: g or -23?
g
Suppose 0 = 77*m - 73*m - 484. Let y = m + -117. Is 37/8 less than y?
False
Let w = -1064 - -58518/55. Let t = -45 + 43. Let x(u) = -2*u**2 - 4*u + 1. Let h be x(t). Which is smaller: h or w?
w
Let c(l) = 2*l**3 - 51*l**2 + 25*l + 18. Let u be c(25). Suppose -15*g = -6*g + u. Is 54 smaller than g?
False
Suppose 10 = 5*w - 15. Suppose 3*c + 0*o = -o - 40, 0 = c + 4*o - w. Let n be 2/c*7/(-21). Is n > -1?
True
Let z(u) = -2*u**3 - 53*u**2 - 15*u - 1894. Let x be z(-26). Which is bigger: x or -2183?
x
Let q = -5777/6276 - -2/523. Let w be 29/(-12) + (-6)/(-3). Let r = w - q. Is r smaller than 14?
True
Let q be (-18)/24*(-16)/18*135. Let p = q + -7383/82. Is -1 greater than p?
False
Let m = 4.41 + 178.59. Let z = 182 - m. Is z at least 0.9?
False
Let n = -0.83 - 76.17. Let f = 76.9 + n. Let d = 2.2 - 0.1. Does f = d?
False
Let a be (-17 + 15)/(2/56). Let k be 7/2*(968/a)/(-11). Which is smaller: k or 6?
k
Let w be 22 + -1 + -6 + 0. Let z be -2 + 31/w - (-11)/33. Is z bigger than -26?
True
Let j be (49/(-7) + 32)*1. Suppose 0 = -13*d - 27 - j. Is -24/5 != d?
True
Let k be (4/(-14) - (-74)/112) + 3139375/(-1000). Is -3137 bigger than k?
True
Let n = -0.0496 + 634.0496. Let g = 615 - n. Which is smaller: -0.07 or g?
g
Let l = 0.39872 - 0.26092. Is 5 greater than l?
True
Let c = 209.5 - 210.469. Let g = 0.031 - c. Let j = -1 + g. Which is smaller: 10 or j?
j
Suppose -182 = h - 85. Let n = -96 - h. Which is bigger: -1/118 or n?
n
Let p be (-4)/(-3 - (-135)/15). Which is smaller: 44/113 or p?
p
Let w(x) = -7*x**2 - 133*x - 2756. Let l be w(-25). Is -3805 bigger than l?
True
Let t(q) = 54*q + 1294. Let u be t(-24). Is u bigger than -135/86?
False
Let r = 50/7 - 7. Let h(d) = -d**2 - 38*d. Let s be h(-38). Which is smaller: s or r?
s
Let k(i) = i**2 + 6*i - 3. Let s be k(-6). Let c(d) = 4*d - 10. Let w be c(3). Suppose -3*f = w*n + 10, -6 = -4*n + 3*n + 4*f. Is n < s?
False
Suppose h - 4 = 3*p, -492*p + 12 = -489*p + 3*h. Which is bigger: p or 1/4937?
1/4937
Let u(d) = -395*d + 1375. Let v be u(4). Is v not equal to -203?
True
Let h = 2839 - 2879. Is 28 bigger than h?
True
Let s = 15 - 12. Suppose s*w - 1 = 4*y - 11, -2*y + 2*w + 4 = 0. Suppose -20 = 6*h + y. Is h less than -5/2?
True
Let c(z) = -4*z**2 + 27*z + 6. Let f(t) = 21*t**2 - 134*t - 28. Let v(j) = 11*c(j) + 2*f(j). Suppose -5 + 65 = 4*w. Let l be v(w). Which is greater: l or -4?
-4
Let d(c) = -11*c + 18. Let u be d(7). Let r = 64 + u. Suppose -144 = r*q + 7*q. Which is smaller: q or -14?
-14
Let z(x) = -9*x - 590. Let b be z(20). Which is greater: b or -767?
-767
Let v be 120/(-24)*3/(30/272). Is -2/23 bigger than v?
True
Let j(o) be the first derivative of -o**4/6 - 2*o**3 + o**2 + 3*o + 15. Let m(s) be the first derivative of j(s). Let k be m(-6). Which is greater: k or -4?
k
Let b(p) = 4*p**2 - 4*p - 112. Let t be b(0). Is t at most -116?
False
Let v = -9141 - -3184. Let i = v + 65463/11. Is -6 less than i?
True
Let x = -6665 + -1044. Does -7708 = x?
False
Let d be ((-230)/4278)/((-175)/(-105)). Let a = 0 + 1. Is d greater than or equal to a?
False
Let t = -0.159 - -0.258. Let i = 0.155 - t. Are i and 1 unequal?
True
Let g = 181 - 178. Suppose -2*v + 4*o - g*o = -42, -5*v - 2*o = -123. Which is greater: 21 or v?
v
Let n(c) = -16*c + 778. Let t be n(47). Let o be (-4)/(-2) + 4/(-1). Let d be (2 + t)/o + 0. Which is smaller: d or -15?
-15
Suppose -44*o - 3960 = 6*o - 90*o. Which is greater: -0.1 or o?
o
Let i(h) = -8*h**2 + 40 - 41 - h**3 - 15*h**2 + 17*h**2 + 4*h. Let t be i(-7). Is t >= 16?
True
Let c = -6016 + 7270. Is c greater than or equal to 1252?
True
Suppose 93*o = 16*o + 237853. Which is smaller: 3088 or o?
3088
Let p = 17608 - 22035. Do p and -4426 have different values?
True
Let u = -19 + 3. Let a = -15.96 - u. Let v = 0.14 - a. Which is smaller: v or 0?
0
Let x(s) = -8*s**3 + s**2 + 2*s - 2. Let j be x(1). Let h be (j - (-3 + -5))*355. Which is smaller: h or 354?
354
Let m = -26742 + 26741. Let g = 2.4 + -2. Are g and m non-equal?
True
Let u(o) = 107*o**2 + 47*o + 166. Let y be u(-4). Let l = -552632/327 + y. Which is smaller: l or 1?
l
Let i be (-18)/444*(-672)/(-72). Which is smaller: 1 or i?
i
Let r = 1.64 + 2.36. Let n = r + -4. Is n at most as big as 0.2?
True
Let u be (10/(-6))/((-3)/27). Suppose -u = -0*r - 3*r. Let y be (128/(-10))/2*r. Is -32 less than y?
False
Let c = -4.41 - 25.49. Let d = 24.9 + c. Is d smaller than -2/9?
True
Suppose -3*z + 15 = 5*c, c - 405*z + 20 = -401*z. Which is smaller: c or 22/37?
c
Let h be 12/(-15)*(3 + (-2463)/6). Let l = h - 374. Let r be 2/(2/1) - 49. Are l and r nonequal?
False
Let g(p) be the first derivative of -p**3/3 + 19*p**2/2 + 11*p + 36. Let k be g(18). Let h be ((-4)/9)/(4 + k/(-6)). Is 0 greater than h?
False
Let m be (-975)/195 + 0 + -93 - 8/(-2). Suppose 0 = 5*t + 384 + 81. Which is greater: t or m?
t
Let s = 1/60 - 37/60. Let d(o) = o**2 - o - 1. Let u be d(3). Suppose 5*p - 2*q = 0, p - u*p = 2*q. Is p > s?
True
Let x = 655 + -770. Let a(c) = 2*c + 13. Let m be a(-6). Which is smaller: x or m?
x
Suppose -3*k = 33*k - 1580 - 940. Is k greater than or equal to 44?
True
Suppose 31*g - 57*g - 104 = 0. Let u(d) = d + 9295. Let z be u(0). Let f be g + 11/(z/3390). Are f and 1 equal?
False
Let r(j) = 17*j + 21. Let i be r(5). Let x = 107 - i. Let p = -14 - -15.8. Which is smaller: p or x?
x
Let v be (6/(-4) + 3)*-22. Let u = 38 + v. Let a = -74.8 + 75. Which is smaller: a or u?
a
Let s be (-3536)/(-255) + -21 - -7*1. Let y(g) = -g**3 - 5*g**2 - g - 5. Let o be y(-5). Let t = o - 2. Which is smaller: s or t?
t
Suppose 279*y = -5*b + 276*y - 14, 0 = 2*b + 5*y + 36. Is 114/43 equal to b?
False
Let s = 95.678131 - 1.775831. Let i = 0.0977 + s. Is 4 bigger than i?
False
Let m = -2246/67 - -35992/2077. Which is smaller: m or -16?
m
Let b(x) = -x**2 + 6. Let m be b(0). Suppose m*t - 10 = 4*t. Let p be (-18)/(-4) - (-7)/(-14). Which is greater: p or t?
t
Suppose -4*a + a = -4*c + 596, -a - 4 = 0. Suppose -5*x - c = 3*s, -3*s + 106 = -34*x + 30*x. Is x equal to -34?
False
Let i be (-98)/(-28)*20/14. Which is smaller: 337 or i?
i
Let y be (1 + 0/(-8))/1*12/1. Is 49 bigger than y?
True
Let g be (-51 - -20) + 6 + 4. Which is s