*i - 2*i - 91, -4*i + 487 = -5*a. Let d be a/(-24)*(-18)/(-27). Is d != -2/5?
True
Let s = 83163/2 - 41582. Is 0.04041 >= s?
True
Let b(y) = 22*y - 388. Let c be b(18). Which is bigger: c or 2?
c
Let q = -17.0836 + 0.0836. Let n = -30 + 11. Let l = n - q. Is l < -19?
False
Let l = -0.9381 + -0.0619. Which is smaller: l or -877?
-877
Suppose 114*t - 115*t + 1 = 3*b, t = 4*b + 8. Is b smaller than 974?
True
Let f be (53 + 3 + 5)/(4/4). Suppose -2*y + l - 317 = -7*y, -4*l - 332 = -5*y. Which is smaller: y or f?
f
Let l = 60 + -60.33. Let j = -3.131 - -3.231. Is l >= j?
False
Suppose m - 15 = -2*m. Let g(y) be the first derivative of -y**2 + 9*y + 6. Let r be g(m). Do 3/20 and r have the same value?
False
Let o(y) = 17*y**3 - 1. Let v be o(-1). Let z be ((-7)/2 - -2)*(14 - -4). Let t be v/z*(-1)/10. Are -0.03 and t equal?
False
Let v = -253 - -217. Let d(b) = -b - 8. Suppose 2*x = -9 - 9. Let c be d(x). Which is greater: v or c?
c
Let o(v) = -72*v**3 - 59*v - 158. Let d be o(-3). Is 1964 at least as big as d?
True
Suppose -2*j - 3*j + 2*j = 0. Suppose j = 4*u - 8*u + 2*a - 12, -2*u - 22 = -5*a. Let l(c) = c + 8. Let m be l(-9). Is m < u?
False
Let q be (-3)/21*-370 + -11 + 7. Which is smaller: q or 50?
q
Let g be (2/(-22))/(4/(-26)). Let o be -33*(-34)/(-51) - -23. Which is bigger: o or g?
o
Let r = 472 - 471. Is 19/2040 at most as big as r?
True
Let k = -3393/4 + 856. Suppose 4*b - i - 27 = 0, -13*b - i + 45 = -8*b. Let f = k - b. Which is smaller: 10 or f?
f
Suppose -62 - 253 = -15*d. Let c be (4 + -9 - d/(-4))*-5. Is -2/3 at least c?
True
Let a = 2.46325 + 0.53675. Let p be (-3 + 2)*1*-20. Is a != p?
True
Let g = 14100 + -14366.5. Is g > 1/4?
False
Suppose 3*i = 458 + 163. Is 205 at least i?
False
Let k = -748171 - -748171.1. Let a = -888.0533 - -888. Is k less than a?
False
Let o(d) = -2*d**3 - 3*d**2 - 12*d - 94. Let j be o(-8). Let p = j - 433. Is p at most as big as 400?
False
Let c = -143 + 713/5. Suppose -4*q + 18 = 3*a + q, -5 = a - 2*q. Let b be 5 + 0 + -1 + (-5)/a. Which is smaller: b or c?
b
Suppose -2*h = i + 3*h + 62, 3*i + 154 = h. Let w = i - -52. Suppose -5*c + 18 = -3*v - w, -5*c + 17 = -2*v. Which is greater: -6 or c?
c
Suppose 5*j + 48 = -2*k - 5, -2*j - 4*k - 34 = 0. Let n(w) = w + 12. Let i be n(-12). Suppose -5*s + 5*p - 50 = i, -2*s - 3*p - 16 = -p. Is j not equal to s?
False
Let l(r) = r**3 - 6*r**2 - 8*r + 9. Let q be l(7). Let n be (41 + -1)*(-3)/(-15). Suppose -q = n*k - 10*k. Is 6/5 != k?
True
Suppose 0 = -4*l + 4*f + 12, 19*l + f = 17*l - 9. Let g be l/26 + (-40770)/(-702). Is 51 at least g?
False
Let i(k) = k**2 + 8*k - 21. Let x be i(-11). Let n be x/(-24)*2*(-2 - -1). Which is smaller: -1/44 or n?
-1/44
Let o(j) = j**2 - 24*j + 129. Let r be o(7). Suppose -10*f + 5*f = r*f. Which is smaller: 8/141 or f?
f
Suppose -19*p + 1835 + 939 = 0. Let k = p + -145. Which is smaller: k or 8/31?
8/31
Let i(z) = -2*z - 4. Let n be i(-7). Let c be (n/(-3) + 3)*-477. Suppose c = -4*q - j, -q - 14 - 23 = 3*j. Which is smaller: q or 0.1?
q
Suppose -u = -t + 150, 3*u + 4*t = -91 - 394. Let y be -3*(-18)/(-27)*(-2)/12. Are u and y non-equal?
True
Suppose 8*f - 26 = 6. Let v(h) = h**3 - 8*h**2 + h - 5. Let a be v(8). Are f and a equal?
False
Let n = -284.1 - -65.1. Let z = 218.84 + n. Is z not equal to 0.05?
True
Suppose 0 = -191*y - 38377 + 7053. Is -494/3 greater than or equal to y?
False
Let s(z) = 6*z**2 - 33*z + 60. Let l be s(13). Suppose 4*a = 2*y + 79 - l, -3*y + 840 = 3*a. Which is smaller: y or 280?
280
Suppose -5*v + 22 = -3. Let i = 4 - v. Let g = -1/89 + 429/6497. Is g at least i?
True
Let x(l) = 9 + 0*l - 3*l - 6 + l. Let h(g) = -2*g + 4. Let b be h(-2). Let d be x(b). Is d at most as big as -12?
True
Let r = 190 - 204. Let l(p) = -3*p - 47. Let h be l(r). Which is greater: -16 or h?
h
Let v be (-28)/(-14)*1/(-4). Is -777 greater than v?
False
Let g(y) = -1280*y + 239. Let v be g(-8). Which is smaller: v or 10480?
v
Suppose 3*h = -12, -n - 17 = -0*n + 4*h. Let m = -51 - -50. Let v be (-4)/m*135/15300. Is v < n?
False
Let n(q) = -2*q**3 - 19*q**2 + 17*q - 92. Let v be n(-11). Let u = 33 + 47. Suppose 0 = -4*f - v - u. Is -40 bigger than f?
True
Suppose -3 = 2768*l - 2769*l. Let v be l*28/(-12) - -6. Is v less than -1/5?
True
Let g = 69 + -150. Let q = -17 - g. Let t = -42 + q. Which is greater: t or -2?
t
Let f = -414302 + 414302. Let p = -4051 - -93158/23. Which is smaller: p or f?
p
Suppose -76 = 3*t + 5*w - 42, 0 = 3*t - 5*w + 74. Which is greater: 2/9 or t?
2/9
Let b(v) = -v**2 - 17*v + 2378. Let z be b(-58). Is -1/4814 <= z?
True
Let q(i) = -i**3 - 17*i**2 - 2*i - 35. Suppose -5*k - 72 - 13 = 3*c, -4*k = -3*c + 68. Let g be q(k). Which is greater: g or -2/59?
-2/59
Suppose 2*k = 515 - 7. Let g = 257 - k. Which is greater: 0.26 or g?
g
Let t = -140 + 698/5. Let h(z) = -z**3 - 17*z**2 - 3*z - 47. Let s be h(-17). Suppose -s*w + 2*w + 27 = -5*x, 0 = w + x + 4. Is t >= w?
False
Let x = 4530 - 4152. Which is smaller: 2/11 or x?
2/11
Suppose 0 = -d + 3*h - 192, -3*d + 5*h = 121 + 443. Is d not equal to 8?
True
Let v = -382.57 - -1031.57. Which is smaller: 0.1 or v?
0.1
Let d be (80/(-48))/((-10)/(-12)). Let i be (-11)/968*14*16/d. Which is bigger: 1 or i?
i
Let y = -13887 - -13878. Is -2 at most y?
False
Let u be (-6)/100*(416/364 - (-66)/(-21)). Are u and -1 unequal?
True
Let f(v) = v**3 - 25*v**2 - 1. Let m be f(25). Let k(n) = 91*n**3 - 2*n**2 - 4*n - 3. Let g be k(m). Is -92 at most as big as g?
True
Let v(w) = -w**3 + 9*w**2 - 1. Let a be v(6). Suppose 0 = 18*y - 1206 - 756. Which is greater: y or a?
y
Let z = 25153/38180964 + -5/6107. Which is bigger: z or 0?
0
Let q = 3004.7 + -3904.7. Is q equal to -0.8?
False
Let g(u) = -2*u**2 - 12*u + 13. Let i be g(-9). Let q(p) = 1420*p - 17076. Let n be q(12). Is n != i?
True
Let u = 289.264 + -0.264. Let b = u - 278. Which is smaller: 1/7 or b?
1/7
Let f = -108 + 106. Let b(q) = 2*q - 3 - 12 - 7 + 5. Let k be b(6). Is f equal to k?
False
Let n(a) = 5686*a + 5621. Let o be n(-1). Let f be (5/2)/((-1)/26). Is f less than o?
False
Suppose 4*m - 2 - 2 = 0. Let f be -33*m*(1 - 2). Let k(g) = -290*g - 6639. Let y be k(-23). Is f smaller than y?
False
Let p be (-12)/(-21) - (-2)/(-7). Let d = -73186/3 - -24396. Is p > d?
False
Suppose -9*c = -370 + 1. Suppose -c = -9*g - 1247. Which is smaller: -133 or g?
g
Let g be (-4)/(-40)*(-3)/36*-2. Let v = 108 - 111. Which is greater: g or v?
g
Let t be 40/1000 - (-212993)/10175. Is 21 < t?
False
Let o = 12.8 - 12.84. Let u = -1318/5 - -263. Which is bigger: u or o?
o
Let j = -13 + 25. Let t(y) = 41*y - 3718. Let h be t(91). Does h = j?
False
Let r = -60 + 42. Let f be ((-4)/12)/((-15)/r). Let j = 434/5 - 86. Which is smaller: j or f?
f
Let c = 328/2028017 + 84687715903/1521012750. Let x = -3/250 + c. Is 55 at most as big as x?
True
Suppose 69*f = 13002 + 2040. Does 3268/15 = f?
False
Let w be 222/57 + (-6)/(-57). Suppose i + 0*r = w*r + 15, 0 = -i - 4*r - 17. Is -2/223 at most as big as i?
False
Let m be (671/(-55) - -13)/((-1)/(-15)). Suppose 32*n = m*n - 20. Which is smaller: -2/341 or n?
n
Let c = -3107.7 + 3105. Are -15 and c non-equal?
True
Let j be (76 + -103)*(-2)/114. Let d = 474 - 475. Which is bigger: d or j?
j
Suppose 29*r = 13*r + 192. Let v be (r/10)/(46/345). Is -4/5 > v?
False
Suppose 960 = 4*z + 4*z. Let w be (3/(-5))/(z/(-50)). Which is smaller: w or 2/9?
2/9
Suppose 0 = 3*h + 5*l + 77, 93 + 23 = -5*h + 4*l. Suppose 0 = -2063*t + 2013*t + 12 - 1112. Is h less than t?
True
Let l(p) = p**3 - 13*p**2 - 20*p + 28. Let u be l(13). Let j = u - -200. Do -29 and j have different values?
True
Suppose -5*f - 2*t = -5, f = 2*t + 35 - 34. Which is smaller: -3/2905 or f?
-3/2905
Let s be (-27060)/(-24435) + 20/(-18). Is s bigger than 1?
False
Let b = -120.9 + -232.1. Let c = -23 + 23.1. Which is bigger: b or c?
c
Suppose 56*w - 276 = 54*w. Let k be 206*2/w + -3. Which is smaller: k or -1?
-1
Let a = -1240 - -6307/5. Which is bigger: a or -1/3?
a
Let f = -11943 + 322456/27. Let z = -0.16 - -0.16. Is z at least f?
True
Let s = -305.24 + 101.24. Which is bigger: 0.07 or s?
0.07
Let n(h) = 14*h**2 + 16*h + 47. Let q(t) = 5*t**2 + 5*t + 16. Let x(z) = -6*n(z) + 17*q(z). Let j be x(-7). Let s = j - 128. Do -7 and s have different values?