 0, -5*v = -5*g + 527 - c. Is g <= 98?
False
Let v = -87 - -167. Let r = v + -76. Is 4 at most r?
True
Let u = -399.76 + -3.24. Let x = -364.7 - u. Let l = x - 38. Is l smaller than 4?
True
Let s = -159.1251 + 0.1251. Do s and 7/4 have different values?
True
Let l(a) = a**3 + 405*a - 19 - 7*a**2 + 18*a**2 - 397*a. Let o be l(-10). Let f be 0/(-3)*o/(-2). Is f > -1/57?
True
Let q be (-1)/26*42/(-7). Let p = 0.28 - -59.72. Let t = p - 59. Is t greater than or equal to q?
True
Let l be (5 - 88/4)*-125. Let b be ((-3)/(-9))/(l/(-354) - -6). Is b bigger than -118?
False
Suppose -w + 3 = 2*q, 5*w - 13 = 12. Let o(g) = 3*g**3 + 2*g**2 + g - 1. Let h be o(q). Which is greater: h or -2?
-2
Let k = 783/34 - 74717/2958. Is -1 at least as big as k?
True
Let p be -3 - (-1 - 15/1). Let q(s) be the third derivative of -s**4/24 + 7*s**3/6 + 228*s**2. Let c be q(p). Which is bigger: 0.1 or c?
0.1
Suppose 0 = -d - 5*d + 90. Let t(b) = -b**2 + 14*b + 7. Let o be t(d). Let z(a) = -a**3 - 7*a**2 + 4*a - 24. Let j be z(o). Which is bigger: 2 or j?
j
Let q be (-408)/28*1464/(-1098). Let h(o) = -10*o - 1. Let m be h(-2). Which is smaller: m or q?
m
Let p = 8 + 26. Suppose 29*d = 6*d + 69. Is p bigger than d?
True
Let p(a) = -a**3 + 7*a**2 - 4*a + 1. Let c be p(7). Let h be (-4)/(16/(-10)) - 156/72. Which is smaller: c or h?
c
Let r be (-23)/((-2829)/1461) - (-2 - -13). Is -17 at most as big as r?
True
Let i = 0.0834 - -0.0166. Is 0.04908 less than i?
True
Let n(b) = 28*b + 1792. Let q be n(-64). Suppose -w + 2*w + 5*z - 17 = 0, -z = -3*w + 3. Let p be w/(-6) - 366/(-1206). Is q at most p?
False
Suppose -a + 3*j - 5960 = j, j = -3*a - 17908. Are -5967 and a non-equal?
True
Suppose 0 = 47*p - 361 + 11312. Is -233 <= p?
True
Let l be 7 + (5 - (1 + 6)). Let a(d) = -d**2 + 7*d + 23. Let j be a(l). Which is greater: j or 20?
j
Let v = 16739 + -16564. Is -8 at most as big as v?
True
Suppose 3*y - 89 = 259. Suppose -y = 9*o - 38*o. Let v = 0.13 - 0.04. Which is greater: o or v?
o
Suppose -2*t + 5*j = 37, -j + 42 = -4*t + 31. Let i be (-1 - (2 - 4)) + 1. Let d be i + (36/13)/(-1). Which is greater: d or t?
d
Suppose -4*x + 12 = 4*i, x - 43 = 4*i - 40. Which is greater: i or -20/121?
i
Let i = 1203.996 + -1206. Let p = 0.004 + i. Let g = p - 5. Which is smaller: g or -2/9?
g
Let h = -768016 - -23811158/31. Which is bigger: h or 87?
87
Let n = 427 + -256. Let a = -109 + n. Is 190/3 less than or equal to a?
False
Let y be (2 - 261/(-14))*(-32)/1296. Let c = y + -5/81. Is c at most -1?
False
Let x = 14.5 - -203.5. Let y = x - 207. Which is greater: 2/17 or y?
y
Let s = -157/1872 + -325121/624. Is -520 >= s?
True
Suppose o = -5*z - 22, -z + 1 = -0*o + 2*o. Suppose -11*y = -o*y - 4224. Let f be 1/(-2)*y/60. Is -0.1 at most as big as f?
False
Let w = 18027 + -18070. Which is smaller: -18 or w?
w
Suppose 3 = -5*k + 8, -2*m - 9 = 3*k. Let j = m + 9. Which is greater: 24/11 or j?
j
Let h be (3 + (-20)/6)*-9. Let d(c) = -c**3 - c**2 - 2*c - 2. Let s be d(-2). Suppose -4*z = 20, s*b = 4*b - 4*z - 18. Is b greater than or equal to h?
False
Let l = 41450 + -59073. Do -0.1 and l have different values?
True
Let y(g) = 14*g - 4. Let w be y(4). Suppose 4*j - 4*s + w = 0, -j - 3*s - 31 = 2*s. Is j >= -12?
False
Suppose -2*g - 2*k + 30 = 0, -3*k - 33 = -8*g + 5*g. Suppose 15 - 2 = g*v. Which is smaller: v or 5/68?
5/68
Let h be (-3616)/3 - (-550)/1650. Which is smaller: h or -1206?
-1206
Suppose 0 = 2*i - 2, i + 241 = -5*y + 2*i. Let z be 15/y*-4*-36. Let w be (4 - (-55)/(-15))/(3/z). Which is greater: w or -18/5?
-18/5
Suppose 5*a - 3*p - 6784 = 0, 0 = 5*a + p - 4965 - 1847. Is a smaller than 1361?
False
Let r be (-1 + 570/21)*(-2)/(-6). Let b = 9 - r. Let g(w) = w - 10. Let x be g(9). Is b less than x?
False
Let p be (-4)/4*18/2. Let u(s) = -s**3 - 16*s**2 + 2*s + 37. Let d be u(-16). Suppose -7 - 18 = d*l. Is p < l?
True
Suppose -35 = -5*l + 30*d - 25*d, -3*d = 2*l + 16. Which is smaller: l or -3/2935?
-3/2935
Suppose -t - 27 = q + 28, 153 = -3*t + 3*q. Do -205 and t have the same value?
False
Let j = 12.068 + -12. Let q = j + -0.036. Let p = -0.012 + q. Which is smaller: p or -2/5?
-2/5
Let h be (-2)/9 + 444/54. Let a be ((-2)/h)/(225/(-36)). Let y = -117/200 - a. Is y at least 0?
False
Let n = 21802.6 + -21804. Suppose -10 = a - 6*a. Do n and a have different values?
True
Let a(q) = -q**3 + 30*q**2 + 65*q - 34. Let t be a(32). Suppose f = -v + 8, -5 = -v - 0*v. Let k be (1/(-5))/(1*f/(-15)). Which is smaller: k or t?
t
Let a(m) = -m + 11. Let r be a(6). Suppose 4*q - 536 = -r*u + u, 4*q - 496 = 4*u. Which is smaller: q or 0?
0
Let b = 4206.1 - 4206. Is b >= -4840?
True
Let i be 0 - -6 - (0 - (-2 - -1)). Suppose f = 3 - i, -5*t = -5*f - 30. Let d be 441/(-18) - (2 - 2/t). Is d greater than -26?
False
Let l(q) = 4*q - 3 - 6 - q. Suppose 243 = 116*r - 105. Let b be l(r). Which is bigger: 2/65 or b?
2/65
Let r(b) = -b**3 + 6*b**2 - b - 9. Let l be r(4). Suppose -l*d = -3159 - 2978. Is d at most as big as 0.1?
False
Let r be 5/1 + 6 + 75. Let n = 110 - r. Which is smaller: 25 or n?
n
Let m = 178 + 188. Let s = 335 - m. Which is smaller: -28 or s?
s
Let q(i) = -i**3 + 4*i**2 + 23*i - 9. Let k be q(7). Let g(r) = 3*r**3 - 3*r**2 - 8*r - 1. Let l be g(k). Are l and 259 equal?
True
Suppose 0 = -46*q + 119 + 61 + 372. Is q less than 85?
True
Suppose -2*k - 16*u + 17*u - 2 = 0, 2*k - 14 = 5*u. Suppose -2*y - 27 = y. Which is greater: y or k?
k
Suppose -k - 24 + 2 = -3*z, 0 = -4*z + 2*k + 30. Let h be 198/(-42) - 2/z. Let y(r) = r**3 + 12*r**2 + 26*r - 13. Let s be y(-9). Is h less than s?
True
Suppose -4*u + 3 = -f + 7, 0 = -3*f - 4*u + 12. Let k be f/2*4/24. Is 39 at least as big as k?
True
Suppose 4*s = 5*q - 1174, 4*q + s = -s + 934. Suppose 6*c - 1062 = -q. Let h = c + -101. Is 36 equal to h?
False
Let v = -331.9 - -140.9. Which is bigger: v or -4?
-4
Let y(p) = -7*p + 91. Let w(r) = -13*r + 181. Let s(z) = 6*w(z) - 11*y(z). Let o be s(29). Is 56 != o?
False
Let y = -3 - -2. Let b be 2 + ((-600)/66)/5 + (10254/2772 - 4). Is y > b?
False
Let k be (-5 + 1)*3/(-4). Let c be (1*k)/((-38)/114). Are c and -2 equal?
False
Suppose 4*x - 3*f + 0 + 32 = 0, 2*x + 30 = 5*f. Let a be (-1)/((1/x)/(13/(-65))). Let c be (-1)/3 + 88/282. Is c at most as big as a?
False
Suppose 6*k - k - 15 = -5*l, 2*l = 5*k - 1. Let s(w) = w**3 - 2*w**2 + 5*w - 4. Let u be s(l). Suppose 2*a - r = 24, -r = -4*a - u*r + 20. Is a != 11?
True
Suppose -3*q - 132 = -48. Let y be 2*(-50)/q*(-398)/6. Let r = y - -237. Is r at least 1?
False
Suppose -20*t - 13*t - 19*t = -2964. Let b = 13 - -44. Is b not equal to t?
False
Let r be (2028/(-117))/(2*1/(-15)). Suppose 0 = 3*z + 2*z + r. Let t = z + 15. Is t < -29/3?
True
Suppose 10*y - 267 = 313. Suppose -550*a = -552*a - y. Which is bigger: 1/2 or a?
1/2
Let n(c) = -c**3 + 13*c**2 - 9*c - 43. Let v = 34 + -22. Let r be n(v). Suppose 4*f = -2*i - 4, 0 = 4*i - 0*f - f + 8. Is i at most r?
False
Let b = -0.08 + 1.08. Let f = -243 - -244.02. Which is greater: b or f?
f
Let y = -9613.955 - -9465. Let f = y + -0.045. Let w = 148.8 + f. Which is smaller: -1.6 or w?
-1.6
Suppose 0 = -2*n - 2*d + 520, 17*d - 272 = -n + 18*d. Which is bigger: 271 or n?
271
Let b be (-869550)/105 - 6/(-14). Which is smaller: b or -8282?
-8282
Let l = -729263/163 - -4474. Do l and -1 have the same value?
False
Let s be 21/28*-24*2/(-3). Suppose 4*m + m + 4*k - 132 = 0, -3*m + 3*k = -90. Which is smaller: s or m?
s
Suppose -5*q = 2*s - 19, 0*q - s - 8 = -q. Suppose -273 = q*k - 318. Is k > 11?
False
Let r(g) = -15*g + 95. Let t be r(6). Let l be 30/20*16/(-6). Let k be 5*1/(l - -5). Is k > t?
False
Let q = 39136/11 + -3616. Are -58 and q non-equal?
True
Let p be ((-28)/35 - 5367/10)*(-40)/50. Which is smaller: p or 431?
p
Suppose 0 = -3*x + 3*b - 219 - 39, 5*b = 4*x + 346. Which is smaller: -57 or x?
x
Let p = 32217 + -32218. Which is bigger: p or -2/22265?
-2/22265
Let g = -4677 + 4676.9. Do 2710 and g have the same value?
False
Suppose 2*b = -5*t + 232, 3*t + 10*b - 124 = 5*b. Suppose 3*z = z + 90. Let d = t - z. Which is smaller: 5 or d?
d
Let r = 495.4 - 329.92. Let u = 166 - r. Is 2/3 < u?
False
Let p be ((-45)/(-12))/(15/(-880)). Let j be (-28)/35 - p/150. Which is smaller: j or 0.175?
0.175
Let a = -3 + 2.97.