q, 0 = -4*q - 0*x - 2*x + 32. Suppose -3*c + q = -2*u, -4*u - 5*c + 4*c = 2. Let f = -313/7 + 45. Is u > f?
False
Let f = -0.6 + 0. Let w = f + 0.4. Let c be 6/(-42)*(-21)/30. Which is smaller: w or c?
w
Let t(d) = d**3 + 7*d**2 + 4*d - 12. Let z be t(-6). Suppose -5*v - v - 576 = z. Let c be 4/v*4/3. Which is smaller: c or 0?
c
Let s = 256.2 - 256. Let h = 2.7 + -3. Let t = h + -1.7. Are t and s nonequal?
True
Let z = 265 + -255. Is z at most 96/11?
False
Let g(d) = 5*d**3 - 45*d**2 + d - 57. Let a(p) = -p**3 + 11*p**2 + 14. Let z(x) = 9*a(x) + 2*g(x). Let l be z(-9). Which is smaller: -11/2 or l?
l
Let z be 4/14 - (-544)/56. Suppose -5*j = -0*j + i - z, 0 = 2*i. Suppose -4*t + j = -6*t. Which is smaller: t or -1/9?
t
Let a(w) = -w + 2. Suppose -8 = -7*f + 3*f. Let b be a(f). Let j = 1761 + -8806/5. Which is smaller: b or j?
j
Suppose -n + f + 11 = 4*n, n + 5*f = 23. Let y = n - 3. Suppose 3*x + 5 = 2*t, y*t + 3*t - 12 = 0. Is x >= 2?
False
Suppose 3*d = g + 293, 2*g = 4*d + 5*g - 395. Let k = 66 - d. Is k less than -34?
False
Let c = -152 + 565. Is 413 > c?
False
Let q be -4 + (-28)/(-1 + -3). Suppose 5*b + 0*b = -3*d - 503, 0 = 4*d - q*b + 719. Let z be (-4)/(-10) - d/(-490). Does -1 = z?
False
Let r be 28/(-15) - (0 + 6/(-9)). Let o = -4/5 - r. Suppose 0 = -2*d - d. Is o at least as big as d?
True
Let h be (-3 + 15/5)/3. Suppose 3*f - 9 = h, -3*f = 3*w - f + 12. Let v be w/(-21) - 48/70. Is 0.1 at least v?
True
Let q be 0/5*(-3)/(-6). Let c(h) = -5*h**2 - 1 + q*h**3 + 10*h**2 - h**3 - 2. Let f be c(5). Which is greater: f or -7?
f
Let r be ((-96)/7 - -11)/1. Which is bigger: -3 or r?
r
Let g = 1354/3 - 451. Which is smaller: g or 230?
g
Let n = -147.6 + 148. Which is bigger: 3 or n?
3
Let k be 16/(-96) - (19/(-24) - -1). Let c be 5/3*(-66)/(-55). Suppose -5*t + c*m = 11, -t = 4*m - 6 - 5. Which is smaller: t or k?
t
Let z = 136 - -119. Which is bigger: 256 or z?
256
Suppose l = -2*d - 2, l + 4 = 4*d - 10. Is 0 < l?
False
Suppose -5*u - 5*v - 85 = 0, 3 = -2*u + 5*v - 3. Let n be (45/(-2))/5*2. Which is bigger: n or u?
n
Suppose 4*r = 2*r + 6. Suppose 0 = -r*q + 5*q - 8. Let j be ((-4)/(-8))/(q + -2). Which is bigger: j or 3?
3
Let n be 1/(-4) - 6/(-88). Let o = 55/3 - 89/6. Let f = o + -23/6. Is f bigger than n?
False
Suppose 3*i = 1 + 5, 2*m - 2*i + 2 = 0. Which is smaller: m or -157?
-157
Let a = -7 - 1. Let z = a - -6. Let c = -64.6 + 65. Are c and z equal?
False
Suppose 964 = -3*w - 242. Do w and -403 have the same value?
False
Let u = 0.01 + -23.01. Let t = u + 18. Which is smaller: 4 or t?
t
Let r(b) = -b**2 + 32*b - 258. Let m be r(15). Which is smaller: -8 or m?
-8
Let j(v) = -v**2 + 15*v + 2. Let h be j(15). Let i(l) = l - 2*l + 5*l**h - 4*l**2 + l**3. Let z be i(1). Is z < 3?
True
Let n = -7882 - -291632/37. Suppose 5*t - 5*u + 20 = 0, -3*t = -t + 5*u - 27. Is t bigger than n?
True
Let t = 14.05 + -14. Let r be ((-3 - -4) + -1)/(-1). Which is smaller: t or r?
r
Let k = 11785 + -1190297/101. Is 0 greater than or equal to k?
True
Let n(g) = 3*g**2 + g - 8. Let h be n(4). Let k = h + -34. Are k and 11 nonequal?
True
Let h be 3 + 6 + 4 + -7. Suppose 2*u = h*u. Suppose 3*g - 6 + 12 = u. Which is greater: g or 2/13?
2/13
Let w(x) = -2*x**3 - x**2. Let u be w(-1). Let z be 10 - ((-1 - -2) + 2). Suppose -7*i + 14 + z = 0. Is u >= i?
False
Let v(z) = 3*z**3 - 28*z**2 + 10*z + 13. Let n be v(9). Is n greater than or equal to 2/3?
True
Let z = 383 - 4207/11. Let r = -87.9 + 95. Let q = r - 7. Do q and z have the same value?
False
Suppose -44 = -13*i + 9*i. Let u be (-2 - (-236)/154) + 2/i. Which is bigger: 4.7 or u?
4.7
Let d = -51.2 - -25.4. Let w = d + 26. Is -49 >= w?
False
Let b = -25841 + 158381/6. Let l = b + -554. Are 1 and l equal?
False
Suppose -3*x + 2*m - 3*m = 248, 4*m + 90 = -x. Is -80 >= x?
True
Let p(w) = w**3 - 24*w**2 + 31*w + 22. Let o be p(23). Are 1/2 and o equal?
False
Suppose 4*z = -3*g + 278, 5*g - 634 = -z - 199. Suppose 4*r - b + g = b, -r + 3*b = 29. Is -20 < r?
False
Let v = -31.058 - -0.058. Let m = -16 - v. Let y = -16 + m. Is y >= -10?
True
Suppose -3*b = -5*c - 7, 3*c - 12 = -c - 2*b. Let q be 1*(c + (0 - 2)). Let m be ((-1)/(-1) - 0)*172/(-2666). Which is greater: q or m?
m
Let v = -35 - -54. Let o = v + -19.1. Which is smaller: 5 or o?
o
Suppose 8*b - 13*b = -15. Let g = -3 - -8. Are b and g equal?
False
Let y be (-2)/(8/20) - -2. Let j be (1/y)/((-7)/(-6)). Is j not equal to 0?
True
Let m(a) = a - 7. Let q be m(-14). Is q at least -152/7?
True
Let a = -3 + 3.1. Let d = 0.07 - 0.02. Is d < a?
True
Let v = 22 + -86.3. Is v greater than -1?
False
Let p be (150/8)/(33/88). Is 1/6 greater than or equal to p?
False
Let m(x) = -x**2 + 5*x + 11. Let b be m(8). Let n = 13 + b. Let c be (-2 - n/4) + 1. Is c bigger than 4/7?
False
Let b(q) = -5*q**2 + 4*q + 4. Let o(z) = -1 + 13 - 7 - 6*z**2 + 4*z. Let m(y) = 5*b(y) - 4*o(y). Let f be m(3). Is -2 < f?
True
Let d(h) = -4*h**2 - h + 1. Let p be d(1). Suppose -s = -4*s + 15. Let z = 2 - s. Which is greater: z or p?
z
Let a be (0 + 33)*6/9. Suppose -3*b + 54 - 6 = 3*l, b = -5*l - 4. Which is greater: b or a?
a
Let j = -28 + 28.03. Is j < 2/7?
True
Suppose -5*c = -4*s + 20, 3*c + 1 = -11. Suppose s = m + 2*j - 8, -4*m + 3*j = 1 - 0. Let t be (-20)/6 - m/(-6). Is t smaller than -5?
False
Let q = -28 - -33. Suppose 17 = q*p + 22. Which is greater: p or -3/4?
-3/4
Let n be 85/34 + (-142)/57. Do n and -1 have the same value?
False
Let u = -1019.76 - -1020. Let o = -1.8 - -1.66. Let b = o + u. Which is smaller: 2 or b?
b
Let i = 481 + -349. Which is bigger: -0.1 or i?
i
Let b be (-4)/14 - (-93)/7. Suppose 4*g - b = 11. Let t = 8411 - 8406. Is g at most t?
False
Let b(n) = n**3 + 12*n**2 - 14*n + 1. Let a be b(-13). Suppose 2*l + 14 = -a. Which is smaller: -12 or l?
l
Let b = -259 + 88. Let l be (-2 + 1)/((-3)/b). Let n be l/(-6) - 1/2. Are n and 9 equal?
True
Let c = -1.1 - -3.5. Let i = 0.06 - -0.54. Let v = i + c. Does -0.2 = v?
False
Let u(k) = k**3 + 4*k**2 - 4*k + 7. Let n = -7 + 2. Let z be u(n). Let s be (-6*z - -3)*1. Which is smaller: s or -10?
-10
Let p(f) = 0*f**2 - 13*f**3 + 24*f**3 + f**2. Let r be p(1). Suppose -r*j - 18 = -15*j. Is 5 at least as big as j?
False
Let r = 176.42 + -315.65. Let w = -140 - r. Is -2/7 bigger than w?
True
Let o(n) = -n**2 + 10*n - 1. Let g be o(8). Let v = -7 + g. Let a(s) = -s**3 + 9*s**2 - 8*s + 8. Let i be a(v). Is i equal to 7?
False
Let g be ((-1)/1)/(8/(-16)). Let h be ((g + 0)*-1)/9. Is -4/27 >= h?
True
Let u = 763 - 3109/4. Let c = -14 - u. Is 1 greater than c?
True
Let g = 854 + -98209/115. Which is greater: 1 or g?
1
Suppose -4*q + 2*a = -34, 30 + 14 = 4*q - 4*a. Let l(n) = -n**3 + 7*n**2 - 7*n + 6. Let h be l(q). Let v be (-18)/(-66)*1/(-3). Is v greater than or equal to h?
False
Let o = -86039/28365 - 1/18910. Let t = 23/6 + o. Is 2 less than t?
False
Let u = 268 + -8. Is 259 smaller than u?
True
Suppose -2*h = 5*x + h - 337, 0 = 5*h - 20. Suppose -69*g - 16 = -x*g. Is -13/5 at most g?
False
Suppose -h = h - 4. Suppose -h*u + u + 8 = 0. Let r be u/10 - 6/3. Which is smaller: r or -2?
-2
Let f(i) be the third derivative of i**5/60 - 11*i**4/24 + 47*i**3/6 + 42*i**2. Let p be f(9). Which is bigger: 0 or p?
p
Let a be (-20)/2 + -4 + (0 - -2). Let k(t) = -t**3 - 11*t**2 + 14*t + 23. Let o be k(a). Is o smaller than -2/73?
True
Suppose 5*o = -5, -5*o + 2*o = 2*v + 21. Let c = -8 - 2. Let i = c - v. Is i smaller than 3/14?
True
Let j be (40/(-15))/((-2)/(-9)). Let z = j + 12. Is z > 1/21?
False
Let m = 8 + -15. Suppose 4*r + 32 = -0*r. Which is smaller: m or r?
r
Let d be (-28)/(-42) - 4/6. Suppose d = -3*l + 23 + 16. Is 15 at most as big as l?
False
Suppose -5*i = -3*i - 8. Suppose -i*y = g + 25, -5*g = 3*y + 33 - 10. Let j be 12/20*y/9. Do -13/2 and j have the same value?
False
Let p = 11.23 - -12.77. Are -2.9 and p non-equal?
True
Let m = 2.11 + -2. Let o = 0.61 - m. Let n = o + -0.6. Is -0.2 != n?
True
Suppose -38 = -12*c + 13*c. Is c greater than or equal to 1/4?
False
Suppose m - 3*m + 8 = 0. Suppose 97 = -4*w - t - 34, -m*w + 5*t = 137. Which is smaller: -34 or w?
-34
Let l be 0/1 + -57*(1 + -2). Is l less than 56?
False
Suppose 0 = -15*d - d + 2032. Which is bigger: d or 121?
d
Let f = 34 + -22. Let k be (f/(-90)*-3)/(