(-4)/y). Which is greater: 1 or w?
1
Let b be (-2 - 1)*230/(-30). Let f = 17 - b. Which is greater: -9 or f?
f
Suppose -4*g = -3*h - 3089, -12*h = 4*g - 13*h - 3099. Which is smaller: g or 1?
1
Let s be (93 + 9)/(-6) - -6*1. Which is smaller: s or -29/3?
s
Suppose -q + 4*q + 9 = 0. Let h = 3 + q. Let z = -1405/6426 - -2/459. Which is greater: h or z?
h
Let d(c) = -c**3 + 2*c**2 + 4*c. Let k be d(3). Suppose -4*r = -4, 8*l = k*l - 3*r + 3. Let u be 11 + l/1*-1. Is 11 at least as big as u?
True
Let a = 430 - 7308/17. Let v = -8 + 8. Which is greater: a or v?
a
Let w be (9/(-6))/((-3)/12). Let u = 1742 - 1742.04. Is u at least w?
False
Let s = 2 + -4. Which is smaller: s or -3/34?
s
Let d(f) = 7*f**3 + 14*f**2 + 23*f + 29. Let v(p) = -3*p**3 - 7*p**2 - 11*p - 15. Let t(s) = -2*d(s) - 5*v(s). Let y be t(-6). Which is greater: 4/23 or y?
4/23
Let o = -951780272/231 - -4120269. Let z = o + -57/7. Which is smaller: 1 or z?
z
Suppose 0 = -2*b - 3*n + 8, 0 = 4*b - 0*b + 3*n - 22. Suppose -u = -1 + b. Let y(l) = l**3 + 2*l**2 - 15*l - 6. Let d be y(3). Is u at most d?
True
Let a be 52*(-4)/(-8)*4/(-2). Let r = -52 - a. Are 2/17 and r unequal?
True
Suppose 0*h = -h. Suppose h*q + 1920 = -4*q. Let w be (-2 - -4) + q/237. Which is greater: w or -1?
w
Let o = -5 - -2. Let u be (24/10)/(o/15). Let m = -1808 - -1795. Which is smaller: m or u?
m
Suppose 0 = 2*u + 2*b - 7*b - 15, b = 5*u - 3. Which is greater: -3/542 or u?
u
Let k = 502 - 562. Is -58 greater than k?
True
Let c = -16.05 - 4.85. Let w = c + 21. Let m = -0.07 - -0.14. Are m and w non-equal?
True
Let j = -205.1 + 205. Is 27 < j?
False
Suppose 3*z - 29 = 5*k, -6 = z - 5*k - 29. Suppose 20 = 4*u, z*u - 287 + 77 = 5*a. Which is bigger: -40 or a?
a
Let a = -36 + 17. Let t(d) = -d**3 - 20*d**2 - 18*d + 19. Let h be t(a). Which is greater: -5/12 or h?
h
Let y be (-2422)/(-11) - ((-36)/33)/(-6). Suppose -5*g + y = 3*s + 7, -3*g = -9. Which is greater: 65 or s?
s
Suppose -a + 3 = -y, -52*y + 54*y = a - 11. Let c(z) = -z**3 + 8*z**2 - 9*z + 1. Let t be c(6). Let n = y + t. Is n at most 10?
False
Let b = -5 - -8. Let i be b + (2 - (1 + 3)). Suppose 3*o = 4*m - i + 18, o - 4*m - 11 = 0. Is 3 greater than or equal to o?
True
Let s be 2752/(-5) + 27/(-45). Let v = 1670/3 + s. Is 7 at most as big as v?
False
Suppose 0*q + 367 = -q + 2*l, 0 = 5*q + 3*l + 1822. Let j = q + 6937/19. Is -1 >= j?
False
Suppose b = 3*n + 26, -3*n + 2*b + 7 = 35. Suppose 4*v + 5*k - 74 = 59, 4*k + 88 = 4*v. Let y = v + -34. Which is smaller: y or n?
n
Let w be (135/50*-4)/((-9)/30). Let x be 4 - (20/65)/(3/w). Is 0 < x?
True
Let o = 1752 - 1753. Which is smaller: 6/139 or o?
o
Let p be (2/28)/(-10*16/560). Let w = 9.22 - 0.22. Do p and w have the same value?
False
Let g = 228.26 + -225. Let d = -0.06 + g. Let l = d + -8.2. Is l smaller than -1?
True
Let z = -26 + 20. Let k = -6 - z. Which is smaller: k or -1/39?
-1/39
Let t = -1784 + 1784. Let f = -38 - -14. Which is smaller: f or t?
f
Let p be (-9146)/(-1482) - (-12)/(-78) - 6. Suppose -4*z - 1 = l - 8, 4*l = -3*z + 2. Is p at most l?
False
Let f(z) = z**3 + 12*z**2 + 9*z - 5. Let l be f(-11). Let a = -9 + l. Are a and 9 unequal?
True
Suppose -137*l + 70 = -142*l. Which is smaller: -13 or l?
l
Let u be (0/2 - (-10)/120)/11. Which is smaller: u or -1?
-1
Let g = -2/4843 + -8268/3433687. Are g and 1 unequal?
True
Let k(j) = -5*j**3 + j. Let f be k(-1). Let u(l) = l**3 - 6*l**2 + 8*l + 4. Let t be u(f). Which is smaller: 7 or t?
t
Let y(h) = h**3 + 44*h**2 + 121*h - 84. Let s be y(-41). Let w = -5875/3133 + 7/241. Is s <= w?
True
Let g(h) = -5*h**3. Let o be g(-1). Suppose 0 = -0*f - o*f + 15. Suppose -2 = f*k + 1. Are k and -3 equal?
False
Let y = 127/1449 - 11/63. Let a(s) = 11*s + 9. Let t(u) = 7*u + 6. Let m(q) = 5*a(q) - 8*t(q). Let d be m(-3). Which is bigger: y or d?
d
Suppose 4*z = i - 5*i - 2508, -2*z - 5*i - 1242 = 0. Which is greater: z or -634?
z
Let c be (-127)/(1*(-5)/(-15)). Let x = -1190/3 - c. Which is greater: x or -15?
-15
Suppose 2*k = 2*t + 22, 2*k - 41 - 1 = 4*t. Let l = t + 7. Let u be -7*4/(17 - l). Is 0 greater than u?
True
Let d be 65/260 - 2377/20. Is -119 != d?
True
Let m = 1790 + -1870. Do -5 and m have different values?
True
Let a = 1945.1 - 1856. Let y = a - 92.99. Let b = y + -0.11. Do 0.1 and b have different values?
True
Suppose -24 = d + 2*f, 4*f = -3*d - 67 - 1. Let p = 349/3 + -116. Is d at most p?
True
Suppose -35 = -6*s + s. Let g = -0.66 - -0.86. Which is bigger: g or s?
s
Let u(y) = 93*y - 587. Let c be u(12). Is 528 >= c?
False
Let k = -154 - -120. Is k > -36?
True
Let q = 0.05 + -12.85. Let v = -7.2 + q. Are 0.1 and v non-equal?
True
Let x be 2/(-6)*36/(-44). Let j = -5 + 4. Which is smaller: j or x?
j
Suppose 5*h + 2*t + 120 = 0, 2*h + 37 = -0*t - 3*t. Is 5 less than h?
False
Let c(p) = -p - 1. Let k(h) = -2*h + 3. Let q(j) = 4*c(j) + 2*k(j). Let i be q(2). Which is greater: -1 or i?
-1
Suppose 10*q + 42 = 7*q. Let x be (2 + -2)/(-3) + q. Let r be (5 - -2)*(-2)/x. Is r greater than or equal to 2/13?
True
Let n be 96/(-924)*(-6)/(-4). Do n and 2/5 have the same value?
False
Let n(g) = 11*g**2 + 141*g - 24. Let b be n(-13). Let m be 11/3 + 1/3. Let r = m + -1. Which is bigger: b or r?
r
Let x = -19/18 - -211/234. Which is smaller: -0.04 or x?
x
Let b be (2/(-35))/((-4)/(-466)). Let d = 47/7 + b. Let m be (8/(-40))/((-1)/5). Which is smaller: d or m?
d
Let o = -598 + 589.9. Is o less than or equal to -1?
True
Let c = -113 + 1357/12. Let k(h) = h**2 - 8*h + 10. Let m be k(7). Suppose -m*z + 20 = -7*z + 4*j, j - 9 = 5*z. Which is smaller: c or z?
z
Let b = 9 + 16. Let q be (b/10)/(-5)*-14. Which is smaller: 8 or q?
q
Let h(w) = -w**3 + 3*w**2 + 4*w + 1. Let p = 9 + -11. Let z = p - -6. Let f be h(z). Is f at most 1/3?
False
Let m be -2 - (9/3 - 4). Let r be 33/(-22)*m/6. Do -47 and r have different values?
True
Let x(i) = -i**3 + i**2 - i. Let l be x(0). Let j = 6 + -3. Suppose j*v - 2 = 1. Is v equal to l?
False
Let i(b) = 6*b + 2. Let d be i(-4). Let f be 18/22 + -1 - (-7)/d. Is -14 at most as big as f?
True
Let o = -629 - -192. Which is smaller: o or -438?
-438
Let i be (-15)/12 - (300/272 - 2). Let a(r) = r + 10. Let m be a(-9). Let q be ((0 + -1)/(-1))/m. Which is smaller: q or i?
i
Let k = 1 + -2. Let n = -5 - -17. Suppose -13*f + n*f = -1. Which is smaller: k or f?
k
Let b = 13 + -7. Let s(w) be the second derivative of w**4/12 - 3*w**3 - 19*w**2/2 - 4*w. Let j be s(19). Which is smaller: b or j?
j
Let w = -1576379276823/1286869817 + 12/18124927. Let q = -1850 + 625. Let u = w - q. Are u and 0 nonequal?
True
Let f = -342 - -1419/4. Let y = 520 + -507. Is y != f?
True
Let f be (-78)/13 + 8 + 4/(-4). Are f and 7/61 nonequal?
True
Let b = -9 + 8.1. Let r = -0.76 - b. Let o = r + 1.86. Which is bigger: o or 0.5?
o
Suppose -23*r - 13 = -24*r. Suppose -o - 3*o + 3*f = r, 3*o = -f. Which is greater: o or -15/11?
o
Let c(o) = -6*o + 32. Let b be c(6). Let n be b + 0 - -6 - 2/2. Does 5 = n?
False
Suppose -3*n = 16*n. Are n and 2/137 unequal?
True
Let x(f) = -f**2 + 9*f - 16. Let d be x(6). Suppose -4*w = 14 + d. Let c be -3 + (1 + 0 - 0). Which is bigger: w or c?
c
Suppose 120*o - 126*o = 42. Suppose -v + 0 = 1. Let n be 0 + v + (-9)/o. Which is smaller: n or 1?
n
Suppose -516 - 86 = -14*o. Suppose -o = -c - 42. Is c greater than or equal to -0.38?
True
Let f = 15 + -15. Let s be (-8)/(-6) + 20/(-15) - 1. Is f greater than s?
True
Let u be 6/(-8) + (-190)/(-40). Suppose -u*k + 1 - 9 = 0. Is -17 <= k?
True
Let i(k) = -74*k**2 + 32*k**2 - k - k + 1 - 3. Let b be i(2). Let r be 10 + -9 - b/(-178). Which is smaller: r or 1?
r
Let p = 24 - 24. Suppose p = -4*v + 4*b + 24, -8 + 3 = b. Let r = -0.04 - -0.01. Which is smaller: v or r?
r
Let f(y) = -8*y - 128. Let c(a) = 12*a + 192. Let b(s) = 5*c(s) + 8*f(s). Let q be b(-16). Is 1/97 not equal to q?
True
Let f = 635.79 - 636. Which is greater: 0 or f?
0
Let o = 17 - 52. Let r be 2*(-9)/24 + o/(-20). Is r < 5/4?
True
Let x(g) be the second derivative of -g**3/3 - 9*g**2/2 + 31*g. Suppose -3*p + 8 = -5*q - 9, -q - p = 5. Let f be x(q). Is 0 greater than or equal to f?
True
Let m(r) = r + 5. Let v be m(-9). Let h be 3/(-12) - 1/v. Is h at least as big as 1/3?
False
Suppose 0 = 2*m - 5*v + 2, -3*v - 5 + 3 = 