True
Let s(f) = -f**3 + 22*f**2 - 43*f + 46. Let t be s(20). Let i = -67 + -5. Let x = i + 58. Are t and x nonequal?
False
Let c be -1 - ((-3)/(-6) - 20/16). Let u = 0.0801 + 4.9199. Which is smaller: c or u?
c
Suppose -2*l - 1 = -f + 125, -3*f = -2*l - 134. Are l and -681/11 equal?
False
Let r = 5 - -1. Let s be 9/3 + (-4 - (-12)/4). Let q be (-7)/((2 + (-15)/6)*s). Are q and r equal?
False
Suppose -183 = -53*f - 8*f. Suppose -5*x + 305 = -1625. Let b = 2715/7 - x. Do b and f have different values?
True
Suppose 0 = -h - 4*h. Suppose h = -2*b + 1 + 11. Let u = -113800/3 - -37939. Is b > u?
True
Suppose 0 = 18*q + 58 + 86. Let a be -3 - q - 18941/3783. Which is bigger: 2 or a?
2
Suppose 20 = 18*f - 13*f. Suppose -j + 2 = -5*k + 17, 4*k - 12 = f*j. Let s be j/(((-6)/18)/(2/(-6))). Is -1/13 at least s?
False
Let g = 230 - 210. Suppose 0*n + g = -10*n. Which is greater: n or -24/29?
-24/29
Let f(o) = -o**2 - 12*o - 12. Let k be f(-4). Suppose -69 = -k*z + 21*z. Let s = 69 + z. Is -6/31 greater than s?
False
Let v be 35/(-385) - 225768/(-770) - 21/(-35). Which is bigger: 294 or v?
294
Suppose -158 = 4*p - 2*s, -3 = 2*p + 4*s + 81. Let o = p + 40. Is o <= 12?
True
Let f = 11341 + -8022. Do f and 3321 have the same value?
False
Let o be 2/90 + ((-1702)/207 - (-7 + -1)). Which is smaller: -34/19 or o?
-34/19
Suppose -4*l + b - 12178 = -3765, 6*l = -4*b - 12592. Is -2103 at most as big as l?
True
Let o = -5759 + 5915. Is o less than or equal to 2/5?
False
Let w = 7 - 4. Suppose -4*l - w = p, 0*p - 20 = -4*p. Are -0.008 and l equal?
False
Let a(w) = -17*w + 247. Let p be a(38). Let q = 369 + p. Suppose -2*u + 4*x - 82 = 0, -4*u - 112 = 5*x - 13. Which is bigger: u or q?
q
Let i be (-13 - -2)/(-7 + 6). Suppose j + 10*l = i*l - 5, -4 = -2*l. Let g(m) = -6*m. Let s be g(1). Is j >= s?
True
Suppose -3*p - 297 = 3*o, 0 = 6*o - 4*o - 10. Let u be ((-106)/56 + 2)*p/(-39). Is 10/11 greater than u?
True
Suppose 0 = 2*s + 14, -34*m + s + 29 = -36*m. Let i = 1 + -3. Let x be i/(-2 + (-40)/(-18)). Which is greater: x or m?
x
Let y(t) = t**3 - 3*t**2 - 3*t. Let m be y(0). Is 563/9 >= m?
True
Let s be (-12)/(-27)*(-2)/(-4). Let j = -1158.2 - -1151. Let q = 36.2 + j. Which is bigger: q or s?
q
Let f = 30.091 - -2.909. Let p = 0.37 + 31.63. Let g = p - f. Which is smaller: g or 0?
g
Let l = -1963/2 - -190417/194. Suppose -14 = -5*w + 11. Suppose 9 = -3*i + 2*h, -3*h = w*i - 0*h - 4. Is i at most as big as l?
True
Suppose -18*q + 10*q = 384. Let b = 47 + q. Let a be -1*b/(-2)*2. Which is smaller: 1/32 or a?
a
Let f = 55122506062/3904065 - 381220/27. Let c = -1599943639/867570 - f. Let i = c + 1840. Is i smaller than -4?
True
Let q = 7347 + -896335/122. Is -4 smaller than q?
True
Suppose -5*k + 5*m + 252 = -13, 2*k - 118 = -2*m. Which is bigger: 71 or k?
71
Let w = -462 - -492. Let n(x) = 4*x**2 + 6*x + 6. Let z be n(-5). Let q = w - z. Which is smaller: 0 or q?
q
Let w be (-6)/7 - 9972/(-756) - (-10)/15. Which is bigger: 272/21 or w?
w
Let t(f) = 2*f**3 - 61*f**2 + 40*f - 239. Let w be t(30). Which is smaller: w or 76?
w
Let a = -33335.732 + 33224. Let o = 0.268 - a. Let f = -108 + o. Which is smaller: -2 or f?
-2
Suppose -629*g + 9945 = -680*g. Do g and 1/4 have the same value?
False
Let y = -0.15 - -0.22. Let f = y - 3.07. Which is smaller: f or 29?
f
Suppose -2*f + 5*f + 2*q = 16, 4*q - 20 = 0. Let d be 9/6 - f/(-4). Suppose 6*a - d*a + 32 = 0. Which is smaller: a or -6?
a
Let a be 62/2015*(-1371)/(-102). Let y = a + -3/221. Let k = -42 - -3. Which is greater: k or y?
y
Let g(k) = -2*k**3 - 4 - 15*k + 6*k**2 - 10 - 2*k**2 + 3*k**3. Let m be g(-6). Let s be 7 + -3 + 2/m*-17. Are s and -6 nonequal?
True
Suppose -w = -3*z + 160 - 159, -5*w - 23 = 3*z. Is z at least -32/445?
False
Let b = 6010 - 42068/7. Let h be (6/(-4))/(3/(-4)). Let o = 3 - h. Which is smaller: o or b?
b
Let l = -1751 + 1808. Do l and 15 have the same value?
False
Let n be (0/5 + 3)/1. Suppose 4*d + 0*d - 2*u - 14 = 0, 4 = n*d + 5*u. Suppose -3*v = -2*v + d*v. Which is bigger: 13/11 or v?
13/11
Let s = 451 + -800. Which is smaller: -1743/5 or s?
s
Let l = 34.152 - 0.152. Let y = 33.883 - l. Is y smaller than -2/3?
False
Let t be (-3)/90*4/3. Let n be 1 + 4 + -22 - -16. Are n and t unequal?
True
Suppose -9*y - 293 = 13. Let a be (y/5)/((-4)/10). Are 17 and a unequal?
False
Let k = 16 + -28. Let t be 3 + (1 - (-45)/k). Let u = 4/305 + 484/305. Which is bigger: u or t?
u
Let d be (-11 + 385 + -2 + 1)*1. Suppose a - 93 = -h, 4*h - d = 12*a - 17*a. Are 87 and h equal?
False
Let p = 381 + 309. Let d = p + -690.2. Which is greater: d or 10/11?
10/11
Let y = 5416.4 + -5336. Is 0.02 smaller than y?
True
Let c = 615049/3 + -207544. Is -2527 at most as big as c?
False
Suppose 25 = 5*d - 3*p - 53, -4*p - 84 = -5*d. Which is smaller: d or 90/7?
d
Let n(c) = -5*c - 95. Let s = -219 + 201. Let i be n(s). Do -6 and i have different values?
True
Let h = 60.019 + -0.019. Let f = 60.002 - h. Is 1 < f?
False
Let w(b) = b**3 + 5*b**2 + 5*b + 3. Let x be w(-4). Let l = 781/2 + -403. Let y = l + 307/26. Does y = x?
False
Let t = 78.2 + -72. Suppose -4*i = -479*n + 474*n + 12, -6*n + 2*i = -6. Are n and t unequal?
True
Let y = -9337 + 9338. Which is smaller: -394 or y?
-394
Let i(s) = -4*s**3 + 46*s - 42. Let t be i(-13). Let u be (-16304)/t + (-11)/(11/(-2)). Which is greater: u or 1?
1
Let u = -3 - -2. Let g = 1/960 - 12601/960. Let b = 929/72 + g. Is b != u?
True
Let c(m) = -m**2 + 32*m - 160. Let f be c(26). Is 5 at most as big as f?
False
Let v = 3001 + -1278. Is v greater than 1722?
True
Let v = 272 - 285. Let u = 77.7 + -61.7. Do v and u have the same value?
False
Let t = 59 + -22. Let d = -2301956/3 - -767319. Which is bigger: t or d?
t
Let o = -136 - -388. Suppose 0 = 11*c + c - o. Does 22 = c?
False
Let m = -3/122 - -1735/1098. Which is smaller: m or -71?
-71
Let c = 30 + -15. Let z = -108 - -108. Let a be (-75)/9*(z + 18/(-10)). Is a not equal to c?
False
Let g(h) = -2*h**3 + 11*h**2 + 103*h - 9. Let u be g(-5). Which is smaller: u or 3/520?
3/520
Suppose 0*h - h - 4 = 0. Let l = 14 + h. Let x = 79379.9 - 79380. Is l less than or equal to x?
False
Let g(h) be the first derivative of -h**3/3 - 26*h - 65. Let l be g(8). Is l smaller than -92?
False
Suppose 4*w = 3*p - 1050, -39*p + 262 = -w - 38*p. Let y be 0 + (-7)/(-6) + 44/w. Which is greater: y or 23/24?
y
Let c(s) = 9*s**3 + 11*s**2 - 18*s - 28. Let g be c(8). Do g and 5140 have the same value?
True
Let l(s) = s + 11. Let m be l(-5). Suppose -r = -m*r + 15. Suppose 7*u = r*u - 8. Which is smaller: -4/5 or u?
u
Let y be ((-132440)/5760 + 23)/((-906)/(-8)). Is 0 less than y?
True
Suppose -4*h - 8 = -3*n, -3*h = n + h - 24. Let z be -8*(1 - 12/n). Let p be (-6)/(((-6)/z)/((-3)/(-4))). Is 2 >= p?
False
Suppose -3*u = 193 + 2. Let b be (u/78)/((-1)/2). Suppose -2 = 4*j - 5*j. Are b and j non-equal?
True
Let z be 8491/21112 + 1/(-2). Let g = z - -3/104. Suppose s - 9 = j - 4*s, -4*j - 3*s + 10 = 0. Is j greater than g?
True
Suppose 75 = -9*z + 4*z. Suppose 506*w + 585 = 441*w. Do w and z have the same value?
False
Let p = 142 - 84. Suppose -p*d = -60*d - 10. Let t be 8 + (-7 - -4) + d. Which is smaller: -1/63 or t?
-1/63
Let l be (380/(-26030))/(1 + 146/(-150)). Which is greater: l or -2?
l
Let x = 60 - 59. Let g be (0 - x/3)*-15. Suppose 5 = -g*s + 15. Which is smaller: 0 or s?
0
Let s be (68/12 - 6)/(20/(-12)). Let l = 15.8 - 0.8. Is s at least l?
False
Let p be (-36)/234 + 60/130. Is p equal to 17?
False
Suppose 59 = -5*h - 3*o, 0 = -64*h + 61*h - 5*o - 45. Let q be 16/(-6)*408/(-32). Let s be (-2)/(1 - 26/q). Is s smaller than h?
False
Let r(y) = y**3 - 2*y**2 + 7. Let m be r(7). Let h = -258 + m. Let q(b) = -b**2 + 5*b + 1. Let g be q(6). Which is smaller: h or g?
h
Let q be ((-35)/15 - -6)/((-1)/3). Is 1 > q?
True
Suppose -114*p - 242 = -3*c - 113*p, -420 = -5*c + 5*p. Is c at least 96?
False
Let s be (715/2)/11*-184*(-46 - -49). Which is smaller: -17941 or s?
-17941
Let n = -261 + 344. Let h = n + -152. Is -2 <= h?
False
Let t = 257 + -243. Suppose 2066*w = 2059*w - t. Which is smaller: -15/17 or w?
w
Suppose 19 = 4*h - 167*y + 172*y, -h + y - 2 = 0. Let k be 2/(-5) + 134/160. Which is smaller: k or h?
k
Let c = 149 - -489. Let l be 9/(-45) - c/(-3090). D