 - -1). Let r be (u/33)/(3/(-18)). Which is bigger: r or 0.14?
r
Let s = 418611074 - 15023951444727/35890. Let v = s + -14/485. Which is smaller: v or -1?
-1
Suppose 15 = 4*k - 4*x - 1, 20 = -3*k - 5*x. Is -1/61 bigger than k?
False
Suppose q = 6*u + 23467, 32*u = 30*u + 2*q - 7814. Which is smaller: u or -3911?
u
Let o = -304 + 81. Let y = 242.84 + o. Let h = -20 + y. Is h at least 1?
False
Let t be 9/21 - 8/(-14). Suppose 4*q + 4*i = t - 5, 0 = q + 4*i + 10. Let y be (0 - 2 - 21/q)*-2. Which is bigger: -0.1 or y?
y
Let b = 9.6 - 9. Let m = -39.5 + 39. Let q = b + m. Which is greater: -3/2 or q?
q
Let b(h) = -3*h - 17. Let l be b(-7). Suppose 2*o - l = -2*o - 4*f, 3*f = -4*o + 1. Let c(m) = m**3 + m**2 - 5*m - 2. Let w be c(o). Does w = 6?
False
Let p be 11496/(-8) - 6/(-48)*4*2. Is p less than -1436?
False
Let k(i) = -i**3 - i**2 + 111*i - 9. Let u be k(10). Let l be -2 - 21*(-74)/530. Let d = l - 7/53. Is u != d?
True
Let k = -4 + 7. Let c = k + 2. Let a = -8 + c. Which is smaller: 14 or a?
a
Let g = -57.859 + -0.141. Let l be (9/((-9)/(-2)))/(1 + 1). Is l smaller than g?
False
Let n = -6979 + 9487. Is n bigger than 2508?
False
Suppose -2*h - 52324 = 4*v, 415*v - 65420 = 420*v - 5*h. Is -13082 != v?
False
Suppose -d + 72*d - 17111 = 0. Does 242 = d?
False
Suppose -2*b = -k - 119, 28*b + 64 = 29*b + 4*k. Which is bigger: b or 1?
b
Let n be (-4 + 3/(-6))*(1 + (-33)/36). Which is smaller: n or 0?
n
Let s be 24/12*-62 - (-24)/(-6). Is s less than -5?
True
Let f = -30 - -8. Let i be f/9*4 - 14/63. Let t = i - -10. Which is greater: t or 14?
14
Let r be ((-6)/(-8)*4)/(-10 - -9) - 218. Which is bigger: -219 or r?
-219
Let u = -140403/55 - -2553. Let g = u - -2/495. Let o = 3.619 - 2.419. Which is smaller: o or g?
g
Let c be 2/(-6)*(-900)/40*2/3. Which is smaller: c or 127/21?
c
Let x = 4.92 + -4.559. Let g = -149.361 + x. Which is smaller: g or -1/5?
g
Let f(z) = z**2 - 616*z + 166. Let q be f(0). Are -19 and q unequal?
True
Let c(d) = -d**3 - 17*d**2 + 18*d - 24. Let u be c(-18). Let m = u + 21. Let z be m/(-2) - 33/110. Is z at most 0?
False
Let a be 136/(-4) - ((-2)/(-1) + -2). Let k = a + 38. Let l = k + -22. Are -18 and l unequal?
False
Suppose -2*r - 12 = -r + 2*s, 0 = 3*r - 2*s + 4. Let a be (-5 + 5)*(1 + r/3). Let d be 2*(22/110 - 54/245). Is d bigger than a?
False
Let l = -2037193/93325 + -41/3733. Which is greater: -22 or l?
l
Let p be 318/81 - 2 - 2. Let u be (2 - -20) + (-18 - -24). Suppose u*s = 9*s + 19. Which is smaller: s or p?
p
Let h = 618/55 - 124/11. Let v(u) = -u**3 + 33 + 16*u - 19*u**2 + 5*u**2 - 18. Let i be v(-15). Which is smaller: i or h?
h
Let x be 3/((-15)/6 - 3/(-2)). Let t be 1/3*x*-7. Suppose -2*g - 51 = -t. Which is smaller: -21 or g?
g
Let y(j) = -6*j + 4*j + 4 - 2*j. Suppose -s = -3*s - 3*q + 4, -5*q = 0. Let h be y(s). Is -4 equal to h?
True
Let j = -1.3 - -7.3. Which is smaller: j or -86?
-86
Let u(f) be the third derivative of -f**6/120 - f**5/60 - f**4/24 - 4*f**3/3 - 30*f**2 + f. Let y(k) = k**3 - k. Let a be y(-1). Let i be u(a). Is -3 at most i?
False
Suppose -5*g - 3*v + 25 = -7*v, 4*g + 5*v = -21. Let b = -2/13367 + 5721098/147037. Let n = b + -39. Is g greater than n?
True
Let o = 39 - 29. Let j = o - -12. Let h be (-2)/4 - j/(-36). Which is greater: -1/4 or h?
h
Let p(l) = 52*l + 33. Let y be p(4). Let q = y - 256. Let o(i) = i - 9. Let x be o(-7). Which is smaller: x or q?
x
Suppose -j + v = -0 - 7, -v + 5 = 2*j. Let n be 374*j/372 + -4. Suppose 4 = f + 3*f. Which is greater: n or f?
f
Suppose -14 = -2*l - 12. Let z be (-1 + 0)*(-1)/(l/(-3)). Let f = -22 + 22. Which is smaller: f or z?
z
Suppose -49 = -4*q + 67. Let l(c) = 16*c + 71. Let i(o) = 9*o + 35. Let d(u) = -7*i(u) + 4*l(u). Let r be d(-10). Is r greater than q?
False
Let w be ((-27)/(-2))/(15/(20 + 790)) - 5. Is w at least 724?
True
Suppose -23*j + 4 = -157. Suppose j*n = -31 + 3. Which is smaller: n or -8?
-8
Let x = 187 - 65. Let j = 117 - x. Suppose -i + 4*q = 3*i + 16, -4*i + 5 = 3*q. Is i greater than or equal to j?
True
Let o = 12696 + -12833. Is -1/3 bigger than o?
True
Let j(k) = 2*k**2 - 98. Let f(q) = q**2 - 49. Let m(i) = 5*f(i) - 2*j(i). Let w be m(7). Is -2/165 greater than or equal to w?
False
Let n = 6/137 - 697/274. Let b be (142/(-30) + 2)/(16/5). Let z = -3/16 - b. Is n greater than or equal to z?
False
Let r = -76597/1855 + -40/371. Is r at least as big as -40?
False
Let a = 1214069/13869 + -2013/23. Is 0 >= a?
False
Let r be (37 + 6)/((-1)/37). Which is bigger: r or -1592?
r
Suppose -103*h = -101*h. Suppose h*c - 10*c = -10. Let b be c*(4 - -1) - -49. Are 55 and b unequal?
True
Suppose -118 = -5*p - 113. Suppose -4*q = -b + p, -4*b - 1 = 5*q - 5. Is 3/49 at most q?
False
Suppose 4299 = 17*h + 491. Which is greater: h or 223?
h
Let q = 12 + -5. Let f be 6/((-1848)/(-2485)) - 8/(-44). Which is bigger: q or f?
f
Let i = 6911 + -6910.973. Which is greater: -1/3 or i?
i
Let l(y) = 3*y**2 - 22*y + 59. Let w be l(8). Let u = w - 75. Which is smaller: -86 or u?
-86
Let o(h) be the first derivative of -3*h**2/2 - 11*h - 14. Let q be o(-5). Suppose -14*l = 10 + q. Which is greater: l or 0?
0
Let k = 254338/113685 + -92/1749. Which is smaller: k or 3?
k
Let o(a) = a**2 + 44*a + 121. Let k be o(-38). Are k and -1190/11 non-equal?
True
Let z = 1227 + -1232. Are 1014/7 and z unequal?
True
Let b = 4 + 0. Suppose -l - 3*v + 21 = -4*l, -5*l - b*v + 1 = 0. Let f = 23834 + -23839. Which is greater: l or f?
l
Let v = -4904 + 14737/3. Which is greater: v or 7?
v
Let t(q) = q**2 - 17*q + 10. Let b be t(16). Let s be (b/(-1))/(6/9*3). Suppose n - 7 = 4*h - h, h = -s*n + 11. Is h at least as big as -1/26?
False
Let f be (390/650)/((-2)/10). Which is greater: f or 766/7?
766/7
Suppose -c = 4*c - 60. Suppose -2*w - c = -6*w. Suppose -m - 5*q - 13 = 0, 0 = -0*m - w*m - 4*q - 94. Is 0.1 != m?
True
Suppose -4*p + 3*z + z = 12, -2*p - 4*z + 18 = 0. Let n = -14444 + 3611001/250. Is p > n?
True
Suppose -9770 = -5*w - 4*v, 5*w - v = 4*v + 9770. Let g = -297007/152 + w. Which is smaller: g or 1/5?
g
Suppose 0 = x - 4*l + 316 + 29, 7*l = 0. Is -338 at least as big as x?
True
Let x(d) = -72*d - 3747. Let m be x(-41). Which is greater: m or -794?
-794
Suppose 63*u + 5*z - 835 = 68*u, -2*z = -4*u - 682. Which is greater: u or -184?
u
Let a = -234 + 232.22. Let v = 1.68 + a. Is -9 at most v?
True
Let z = 1.1052 - 0.6452. Is 44/7 equal to z?
False
Suppose -4*p + 2*t + 48 = 0, 5*p + t - 56 = -10. Suppose 6*o + 5*n + 10 = 5*o, -8 = -4*o - 4*n. Suppose 5*z + o*l + 38 = z, z = -l - p. Is z smaller than -12?
False
Suppose 23*r + 7 = 28*r + 2*x, -19*r + 45 = 3*x. Which is bigger: 28 or r?
28
Let b = 43954 + -43848.965. Let m = 105 - b. Let h = 4.035 + m. Is -15 at most h?
True
Suppose -2*y - y + 34 = 5*j, -2*y = -5*j + 19. Suppose 2*o + 25 = -y*o. Let q = 15 + o. Are 10 and q nonequal?
False
Suppose 1071 = -14*s - 7. Let g(a) = 3*a + 8. Let y be g(-28). Which is bigger: y or s?
y
Let i = 6061 + -6258. Which is smaller: i or -182?
i
Suppose 5*j + 2*m - 11 = 5*m, 4*j + m - 2 = 0. Let c = -71731/13 + 5518. Is c not equal to j?
True
Let j = -60 + -84. Let s = j - -146. Do s and 0 have different values?
True
Suppose -12*t + 8*t = -b + 1369, -5*b + 2*t + 6953 = 0. Is b greater than 4178/3?
True
Let r = -230/73 + 394136/125049. Which is smaller: 1 or r?
r
Let v = -17/3427 + 198817/10281. Suppose -9 = -4*u + 67. Which is smaller: v or u?
u
Suppose 39*p - 18*p = 7*p + 434. Let c = -13 - -29/2. Which is smaller: p or c?
c
Let y(a) = a**2 - a - 8. Let s(t) = 20*t - 3. Let v be s(2). Suppose 0 = -v*j + 35*j - 10. Let b be y(j). Is 2 smaller than b?
True
Let y = 33.1 - 70. Let t = y + 32.8. Is 0 greater than or equal to t?
True
Let f be (216 + 8 + -18)/(-2). Which is smaller: 28 or f?
f
Let n = 5913472 - 19869265531/3360. Let p = n - 22/105. Which is smaller: p or 0?
p
Suppose 0 = v + 5*o - 14, -3*o + 79 = 7*v - 147. Which is smaller: v or 52?
v
Suppose -5*y - 2376 = 4*d, -2*d - 5*y + 2*y - 1190 = 0. Let w = -588 - d. Which is bigger: 1/692 or w?
w
Let d = -6372 - -7277. Is d less than or equal to 916?
True
Let g = -27 - -49. Let n = -442 + 467. Let m = g - n. Which is smaller: -3/16 or m?
m
Suppose 4*o - 8 = -2*g, -16 = -4*o - o - g. Suppose -2*b + 6 = 4*c, 0 = -o*b - 2*c - 