: c or -17/4?
-17/4
Let f = 9 + -10. Let x(b) = -5*b**3 + 14*b**2 + 25*b + 23. Let m(z) = 3*z**3 - 7*z**2 - 13*z - 11. Let l(w) = -7*m(w) - 4*x(w). Let i be l(-6). Does i = f?
False
Let q = 3195 + -3972. Is -777 >= q?
True
Let y be (-4)/(-24) + 100/(-24). Let v = -65.16 - -61.46. Is v < y?
False
Let r(w) = -4*w**2 + 17*w + 18. Let j(c) = 3*c**2 - 11*c - 12. Let l(i) = 7*j(i) + 5*r(i). Let p be l(-8). Let b be (-86)/(-3) - (-8)/p. Is b > 31?
False
Let k = -8.12 - -8. Let z = 13.9 + 64.1. Let r = z + -78. Which is greater: r or k?
r
Let w be 2*(3 - 56/20). Let z be 3 + (-4 - 3)*1. Let g be z - ((1 - -1) + -2). Is w bigger than g?
True
Let t(c) = -28*c + 36 - c**3 - 22*c + 88*c - 16*c**2. Let v be t(-18). Which is smaller: -1/150 or v?
-1/150
Suppose -5*j = -2*r - 3*r + 15, -j = 1. Suppose 4*q - 12 = 2*u + r*q, 3*q = -12. Let t(p) = p**2 + 12*p - 3. Let y be t(u). Do y and -23 have different values?
False
Let u be (1 - (-360)/(-303))*(18 + -17). Is -1 equal to u?
False
Let l = 26044 - 17527606/673. Do l and 1 have the same value?
False
Let o = 144 - -190. Let x(n) = 5*n + 732. Let d be x(-80). Is o not equal to d?
True
Let r be ((-3 + 2)/(-1))/1. Let c = -116210/3 + 39112. Let z = -376 + c. Is r >= z?
True
Let m be (38/4)/(44/88). Suppose m*f - 66 = 13*f. Is f at most 78/7?
True
Let y = -14.66 + 33.7. Let g = y + -4.04. Which is smaller: 1 or g?
1
Let h = 100.61 + -16.51. Let z = h + 60.9. Which is smaller: z or 1?
1
Let d = 18.52 - 18.8. Let i = 0.72 - d. Is 0.139 smaller than i?
True
Suppose -90*s - 16728 = 6*q - 87*s, -5*s = 2*q + 5552. Which is bigger: -2789 or q?
-2789
Suppose 3*n + 3*w + 339 = 0, 0 = 2*n + w + 104 + 120. Let q be (-1 + 4)/(-1 + (-120)/n). Let r = q + -40. Which is greater: -3/2 or r?
-3/2
Let c = -3970 + 9632. Which is smaller: c or -0.1?
-0.1
Let p be (3/24)/(45371/(-354)). Is p not equal to -1?
True
Suppose 0 = k - 5*g - 15, -3 = -14*k + 16*k + g. Let j be ((-8)/(-412))/(2/(-3)). Is k equal to j?
False
Let p = 25.5 + -19.05. Let s = -6.3 + p. Is -0.08 greater than or equal to s?
False
Let b be (-4)/(-10) + 1508/130. Let p be 0 - ((-5)/(-295))/(8/b). Which is bigger: -1 or p?
p
Let i(o) = 0 + 8 - o + o**3 - 2*o - 7*o**2 + 2*o. Suppose 6*g + 19 = 61. Let z be i(g). Which is greater: 2/5 or z?
z
Let c be (-42)/(-35) + (-1448)/(-10). Let u = c - 210. Which is greater: u or 3?
3
Suppose -2*t + 5*p = -67, -2*t = -3*t - 3*p + 39. Suppose t = -11*y + 17*y. Suppose -3*m - 4*x + 5 = -y*x, -5*m + 4 = x. Which is bigger: m or 10/7?
10/7
Let p = -2301 + 1196. Which is smaller: -1 or p?
p
Let o be ((-6835)/(-450) - 16) + (-12)/(-15). Which is bigger: o or -1?
o
Let p = -71.1146 + 0.2146. Which is greater: p or -0.1?
-0.1
Let l = -208207997/150150 + -1/50050. Are -1387 and l nonequal?
True
Let o = 27.87 + -27.53. Let g = 12 - 7. Let d = g + -5.2. Is d < o?
True
Let s be 0/(2 + -3 + 2). Suppose 8*j - 341 = 6*j + 3*a, -3*j = 5*a - 559. Let o = 217 - j. Is o at most as big as s?
False
Let i = 67/596 + 41/298. Suppose 0 = 5*m - 0*m. Is i equal to m?
False
Let g be ((-9670)/(-30))/(45/27). Which is smaller: g or 192?
192
Let j = 4.731 + -4.72. Which is smaller: 1/2 or j?
j
Let k(j) = j**2 - j - 156. Let v be k(13). Let x = -844 + 1321. Let f = x + -4297/9. Is v less than f?
False
Let v(u) = -u**2 + 9*u - 5. Let r be v(8). Let p be 9/27 - (-77)/r. Let l = p + -25. Which is smaller: 6/13 or l?
6/13
Let q = 128 - 136.4. Let t = -7.98 - q. Which is greater: -1 or t?
t
Suppose -5*g = -2*z - 1, 0*z + z - 3 = -g. Let q(s) = -12*s + 6. Let u be q(1). Let v be (u/12*20)/(-3). Which is smaller: v or z?
z
Let w be (-77)/7 + 1/((-3)/(-12)). Suppose -34 = 3*t - 0*t - 5*b, 5*t = -3*b - 34. Is w less than t?
False
Let s be (891/(-22))/27 - 6/(-4). Is s >= 16/107?
False
Let w = 32 + -62. Let a = w + 0. Let x = a + 30.1. Is 4 < x?
False
Let i be (-205)/1886*472/6. Let a = 28/23 + i. Is a less than or equal to -7?
True
Let h = 618.9056 + 0.0944. Let g = 619 - h. Let p = -29 - -17. Which is smaller: g or p?
p
Let o = 2131.47 + -2841.338. Let m = 710 + o. Is m not equal to -0.1?
True
Let x = 2655 + 1777. Which is bigger: -1/4 or x?
x
Let m be (1/(-9))/(385/(-30) - -13). Let c = 184 + -172.8. Is m at most as big as c?
True
Let r be (-3585)/(-71910)*(-3 + -1)/(-2). Let a = 4/51 - r. Is a at least as big as 1?
False
Let r = -17516 + 20059. Which is smaller: 2542 or r?
2542
Let x be -4 + ((-13)/(-1) - (3 - -1)). Suppose -16 = -x*a - 1. Suppose -3*u = 2*j - 12, a*j = -3*u - 11 + 26. Is u smaller than 13?
True
Let m(x) = x - 4. Let a be m(6). Let f be -183*((-49)/21)/7. Suppose 3*d = a*u + 8*d + f, 0 = -2*u - 3*d - 63. Which is smaller: u or -34?
-34
Suppose f = 3*y - 2*f - 6, 3 = -f. Let m be 3 - (-2 + 3 - (1 + y)). Let l be m - 7 - (-3 + -2). Is 6/55 greater than l?
True
Let q be (-2)/(1*(-13 - 25455)). Which is bigger: q or -1?
q
Let b(o) = 14*o**3 - 4*o**2 + 5*o - 2. Let u be b(3). Let m = u + -8167/23. Suppose -5*j - 4*g - 26 = -17, -j = -g. Is m less than j?
False
Suppose 20*k + 320 = 60*k. Let l be ((-57)/(-228))/(2/k). Is 3/430 at least as big as l?
False
Let f be (-1)/2 - (-134)/188. Let b(c) = -2*c**2 + 55*c - 26. Let t be b(27). Are t and f equal?
False
Let c(d) = -312*d - 274. Let p be c(-1). Let j(b) = b**2 + 6*b + 3. Let g be j(-6). Suppose y - p = n, y - 4*y = g*n - 132. Is y equal to 42?
False
Let g be 792/144 + 3/(-2). Suppose -5*t - 2*y = 10 + 5, 3*t + 9 = g*y. Which is greater: t or -13?
t
Let u = 11370 - 37951. Is u equal to -26582?
False
Let u = -147 - -148. Let g be u/(-7) + 8840/4256 + -2. Which is bigger: g or 1?
1
Suppose 15 = 54*i - 59*i. Let r(g) = -6*g**3 - g**2 + 2*g - 2. Let x be r(2). Let a = -45 - x. Is a at most as big as i?
False
Suppose 35*w - 33*w + 2 = -2*f, 23 = -3*f - 7*w. Which is smaller: 50/17 or f?
50/17
Suppose 4*d = -2 - 2. Let t(n) be the second derivative of n**5/20 - 5*n**4/12 - n**3/3 + 11*n**2/2 - 27*n. Let s be t(5). Which is bigger: s or d?
s
Let r = 1/7001497 + -725992225520/651139221. Let n = -1115 - r. Which is smaller: n or 0?
n
Let l = 26 - 25.965. Let c = 9030 - 18059/2. Which is smaller: l or c?
l
Let n = -14228 + 15090. Which is bigger: n or 865?
865
Suppose -4*c + 26 = -2. Suppose -g - 2*i = -12, -3*g + 9 = 3*i - 24. Is g not equal to c?
True
Let l = 110 - 59. Let j = 3.19 - 2.99. Which is bigger: l or j?
l
Let j(i) be the first derivative of -i**3/3 + 15*i**2/2 - 8*i - 2. Let o be j(13). Let v be 1/6*98 - (-12)/o. Which is greater: v or 15?
v
Let r = -135622135 + 13426425142/99. Let v = r - -1679. Is v < 0?
True
Suppose 21*q - 14*q = -0*q + 7. Which is smaller: q or -16/1817?
-16/1817
Let q be (-3 - (-34)/13)*14/(-5). Let z(h) be the third derivative of -h**5/60 + 5*h**4/12 + 11*h**3/6 + 8*h**2. Let k be z(11). Is q smaller than k?
False
Let c(x) = 3*x**2 - 26*x - 39. Let u be c(19). Suppose -2*n - 3*n = u. Which is smaller: n or -111?
-111
Let x be (-2)/4 - (14/(-21))/((-6)/(-43)). Is 4 < x?
True
Let t = -14439 + 10383. Is t less than or equal to -4057?
False
Let u = -991 + 1001. Which is smaller: u or 185?
u
Let b = -229.726 - -228.87. Which is greater: 2 or b?
2
Let v(r) = r**2 + 25*r - 66. Let h be v(-29). Suppose b - 52 + 182 = 3*j, -j + h = -2*b. Is -3 greater than j?
False
Suppose -5*p + 0*p - 350 = 0. Let i be -5*(3 + 215/p). Let j = i - 109/70. Is 2 <= j?
False
Let f = -170 + 162. Let p be (f/14)/((-9)/336). Are p and 21 equal?
False
Suppose 26*f = 22*f + 144. Suppose -f = -8*g - 12. Suppose 8*a = 4*a - 4. Is a != g?
True
Let a = -39.161 - -38.7. Let y = -0.061 - a. Let c = -4.1 - -4.17. Is y not equal to c?
True
Let q = 212.2 + -219. Let x = -6.75 - q. Which is smaller: x or -1/7?
-1/7
Suppose 133 = 10*w - 127. Suppose w = -10*i - 34. Let x be (-38)/20*5/2. Is i at least as big as x?
False
Let y(q) = -3 + 5*q + 18*q - 8 + 2*q**2. Let x be y(-12). Suppose -h + x = 6. Which is smaller: -4 or h?
h
Let l(k) = k**2 + 6*k - 147. Let r be l(8). Which is smaller: 89 or r?
r
Let p be 0/((-16 - -11)/5). Are -2/11693 and p unequal?
True
Let s(c) = c**3 - 26*c**2 - 82*c - 66. Let w be s(29). Is w at least 10?
True
Let y be ((-12)/(-8))/((-3)/(9/(126/28))). Suppose 4*c - m - 18 = 3, 0 = -5*c - 4*m + 21. Which is bigger: y or c?
c
Suppose 24*s - 20*s - 3900 = 0. Let q be (16 - 1)*(-60)/s. Let u be 2/(-1) 