s a equal to -1/9?
False
Let l(i) = -4*i - 7. Let j be l(-3). Suppose -z - 2*z - 2*x + 4 = 0, -j*z + 4*x - 8 = 0. Let s be 3/31*2/3. Is s less than or equal to z?
False
Let a = -255/8 + 32. Suppose t = 5*t. Suppose -20 = -3*g + 5*r, 4*g + 2*r - 1 + 9 = t. Is g greater than or equal to a?
False
Let k(s) = -4*s - 40. Let u be k(10). Let w = 51 + u. Is -29 smaller than w?
False
Let h = 9.1 + -0.1. Let p = 3 - h. Let g(t) = 14*t - 99. Let f be g(7). Which is bigger: p or f?
f
Suppose -2*g - 2 = -v, 11*g - 14*g - 2*v = -4. Is -8/79 != g?
True
Suppose 4*z - 71 = 3*g, z + 103 = -g - 4*g. Let i = 13 + g. Which is smaller: -7 or i?
i
Let x(w) = w**2 + 6*w - 15. Let a be x(-12). Let n(l) = 2 - 1 + a*l - l**2 - 63*l. Let f be n(-6). Which is smaller: f or -22?
-22
Suppose -4*i - 5*w = 21, -w + 0*w + 3 = -i. Let f be i/5 + 3/(-15). Which is smaller: f or 4/23?
f
Let d = -0.2 + 0.5. Let s = 389/5 + -77. Which is greater: d or s?
s
Let m(l) = -8 + 8 + 6*l**2 - 2*l - l**3 + 2. Let i be m(5). Which is bigger: i or 16?
i
Let c be 2 + (-975)/122 - (1 - 7). Do c and 1 have the same value?
False
Let r be (-5)/2*8/10. Let g be 1/(r + (-3)/(-1)). Let k be 6/81*(g + 2). Is 1 at least k?
True
Suppose -3 = -3*g, -4*y - 3*g + 6 = -21. Suppose 1 - y = 5*j + 5*i, -16 = -5*j + 2*i. Let u be (36/(-15))/(22/(-10)). Which is greater: u or j?
j
Let a = -33 + 18. Let b = 27 + a. Let o = -7 + b. Do 5 and o have different values?
False
Let o be -8*4/(-48) - (-214)/(-6). Let z(c) = c**2 - 6*c + 4. Let k be z(6). Let v be (-70)/(-30)*k/o. Which is smaller: v or 1?
v
Let j be 204/2*16/(-96). Let h be (-2)/(4/10*1). Let w(g) = -g**3 - 7*g**2 - 6*g + 2. Let q be w(h). Is q at most j?
True
Suppose -6*m - m + 7 = 0. Let z(u) = -u - 10. Let n be z(-6). Let r be n + 6 + 28/(-15). Which is greater: m or r?
m
Let k = -22.2 + 123.2. Let h = k + -101. Which is smaller: -7/6 or h?
-7/6
Let m be (-40825)/250 + (-9)/(-30). Is m at least -164?
True
Suppose 4*s + 3*t + t + 16 = 0, -2*s - 23 = 5*t. Let m = -1154 - -31148/27. Which is bigger: m or s?
s
Let d = 83/6 - 182/15. Which is smaller: 2 or d?
d
Suppose -108 = 3*a + 18. Let x = 38 + a. Is x <= -7?
False
Let o = -1 + 5. Let y be (-2)/(-5) - (78/30)/(-1). Which is smaller: y or o?
y
Let u(a) = 3*a + 4. Let y(d) = -d**2 + 8*d - 12. Let s be y(6). Let z be u(s). Suppose z*l + 9 = 29. Which is smaller: 6 or l?
l
Suppose 35 = 4*j - 29. Suppose 3*n - j = 11. Let g be 2 - (-1 + -8 - -2). Are g and n unequal?
False
Let x(q) = -2*q**3 + 21*q**2 + 12*q + 7. Let m be x(12). Is m smaller than -281?
False
Let r(k) = -2*k + 26. Let n be r(12). Suppose -t - 8 = 3*a, -7*a + n*a = -t + 16. Is t less than -1/225?
False
Let v(l) = 2*l**2 + l - 6. Let k(i) = -i**2. Let n(a) = 3*k(a) + v(a). Let q(r) = r. Let s be q(0). Let w be n(s). Which is smaller: -5 or w?
w
Let v(g) = g**2 + 3*g + 2. Let b be v(-4). Which is greater: b or 52/9?
b
Let q be 2/3 + 6/(-9). Suppose i + 13*i + 56 = q. Does i = 1/6?
False
Let h = -0.52 + 0.4. Let a = h - -0.35. Let g = -4.23 + a. Is 1 at most g?
False
Suppose -3*w - 2 + 8 = 0. Let s(y) = y**3. Let j(p) = -5*p**3 - 16*p**2 - 2. Let c(k) = -j(k) - 6*s(k). Let v be c(16). Is v equal to w?
True
Let f(z) = -z**3 - 6*z**2 - 7*z + 4. Let c be (-5)/(-45) + (-74)/18. Let l be f(c). Which is bigger: l or 4/9?
4/9
Let b = 17 + 20. Let t = b - 62. Is -24 at most t?
False
Let k be 36/40*66 + 2/(-10). Which is bigger: k or 58?
k
Let v be ((-4134)/(-117) + -36)/((-4)/6). Let q(r) = -31*r - 6. Let l be q(-5). Let s = l + -3424/23. Which is smaller: s or v?
s
Let y(k) = 6*k + 24. Let o be y(-4). Which is smaller: -1/120 or o?
-1/120
Let t(r) = -r**3 - 11*r**2 - 11*r - 9. Let w = -14 + 16. Let l = -8 - w. Let v be t(l). Is 0 >= v?
False
Let q be (-1)/(4854/16 + 5/40). Which is smaller: q or 1?
q
Let m be 2/7 - ((-7839)/(-91))/(-3). Which is greater: m or 149/5?
149/5
Suppose 4*b + 16 = 2*n, 5*n + 4 = -b - 11. Let w(j) = -5*j + 2. Let u be w(n). Let r = u - 11. Which is smaller: 1/3 or r?
1/3
Let x = 539/6669 + -2/513. Is x >= -4?
True
Let o = -10.231 - -0.231. Let c = -5 - -5.2. Which is smaller: c or o?
o
Let q(c) = c + 3. Let n be q(-3). Suppose -2*b - b - 12 = n. Let y = 1226 - 1231. Is b bigger than y?
True
Let c = -64092 + 181829006/2837. Which is smaller: c or -1?
-1
Let w = -29.72 + -0.28. Let l = w - -30.01. Let u = l - -0.09. Is u less than or equal to 3/4?
True
Suppose 2*v = -1 + 7. Let t(w) = -2*w - 3. Let u be t(-3). Suppose -u*f - 27 = v*m, 3*m - f + 19 = -0*f. Is -1/4 greater than or equal to m?
True
Let f = -8 - -15. Let x(y) = y**3 - 8*y**2 + 7*y + 6. Let j be x(f). Suppose -j*t + 7*t = -1. Is t equal to 1/4?
False
Let l be ((-144)/96)/(9/186). Is -4 not equal to l?
True
Let w(k) = k + 2. Let c be w(-1). Let l = 25075/609 - 1473/29. Let b = -58/7 - l. Which is smaller: b or c?
c
Let b(a) = -a + 5. Let w be b(23). Let m(l) = l**3 + 17*l**2 - 19*l - 40. Let f be m(w). Is -20 less than f?
False
Let c = 1892 + -2033. Is c less than 1?
True
Suppose -2*x - 1 = -1. Suppose -m + 4*r = -15 - 2, x = -2*r. Suppose -4*f + 44 = -24. Is f != m?
False
Let q = 6.3 + -17.3. Let r = -11 - q. Is r not equal to 36?
True
Let j(o) = 44*o - 1. Let n be j(-1). Suppose -9*g + 26 = 440. Which is smaller: g or n?
g
Let w = -1.63 + -0.09. Let y = 1.42 + w. Which is smaller: 18 or y?
y
Let v = 11833/45 - 1307/5. Let x = 3 - 2. Is x < v?
True
Let y = 84 - 84. Suppose -4*c - 2*i = 3*i + 30, y = -5*c + 3*i - 19. Which is greater: c or -6?
c
Suppose 2*v = -3*d - 1661, 35*v + 4*d - 2534 = 38*v. Is v less than or equal to -837?
True
Let j(b) = -b**2 + 46*b + 30. Let r(h) = -9*h - 6. Let q(k) = 2*j(k) + 11*r(k). Let m be q(-2). Which is bigger: m or 1/53?
1/53
Let z = 470 + -472. Let k(i) = i**2 - 3*i - 1. Let c(m) = 4*m**2 - 10*m - 4. Let d(w) = 2*c(w) - 7*k(w). Let t be d(z). Which is smaller: t or -1/16?
-1/16
Suppose 0 = 324*a - 327*a + 6. Let q(x) = -x**3 - 2*x**2 + x - 4. Let z be q(-3). Does a = z?
True
Let u = -12218/15 + 815. Is u less than or equal to -3/4?
False
Let m = -1.1 + 1.11. Let w = 8.01 - m. Let d = w - 8.1. Is d at most -6?
False
Suppose 5*f - 230 - 1353 = -2*p, 4*p + 1559 = 5*f. Let a be (-10)/f - (22/(-18) + 1). Is 1 greater than a?
True
Let p(q) = q**3 + 4*q**2 - 9*q - 20. Let c be p(-3). Which is greater: 12 or c?
c
Suppose -13*u = -0*u - 169. Suppose 10*v + 9 = u*v. Which is smaller: v or -27?
-27
Suppose -14 - 4 = 3*q. Let r = 6 + q. Let n = -6234/13 - -480. Is n at least as big as r?
True
Suppose 3*a - 125 = 2*p + 31, -156 = 2*p + 3*a. Is p >= -233/3?
False
Suppose 5*k = 4*b + 25, b - 5 - 10 = -3*k. Suppose b*o = o. Which is smaller: o or -7/8?
-7/8
Suppose 0 = 5*j - 2*j. Suppose m + 69 = 3*k - 5, j = -2*k + 3*m + 54. Which is greater: 25 or k?
25
Let b(w) = w**2 - 32*w + 43. Let o be b(30). Let r(a) = -3*a**3 + a**2 + 3*a - 2. Let j be r(2). Which is greater: o or j?
j
Let u be (-10)/30*(-46 + 1). Let y be (4/10)/(6/u). Which is smaller: y or 6/5?
y
Let z = -184989/130 - -1423. Which is smaller: 1 or z?
z
Let m(q) = q + 13. Suppose -6*p - 69 = -3. Let r be m(p). Is r bigger than 6/5?
True
Suppose 0 = 5*f - 12 - 13. Suppose -2 = 2*b - 2*t, -t - 2*t = f*b - 11. Is b != 1?
False
Let a(s) = s - 25. Let k be a(25). Suppose w + z + 19 = k, -w - 5*z = w + 50. Which is smaller: w or -17?
-17
Let l(n) be the first derivative of -n**2/2 + 4*n - 5. Let q be l(4). Let d be 14/33 - 1/3. Which is smaller: d or q?
q
Let v = -6.41 - -0.41. Suppose -j = 4*y - 24, 0 = j + 2*y - 7*y + 21. Suppose 0*q - j*q = 0. Which is greater: q or v?
q
Suppose 14 + 22 = -4*t. Let a be (-50)/15*3/(-1). Let z = a + t. Which is bigger: z or 7/5?
7/5
Let f = -12/19 - -1239/2413. Which is greater: 0 or f?
0
Suppose 379*c = 382*c - 180. Suppose 0 = 5*p + c + 145. Is -41 less than p?
False
Let n(u) = -u - 66. Let a be n(-10). Which is smaller: a or -2/7?
a
Let x = 27 + -21. Suppose 2*m + m + 18 = 0. Let p be ((-4)/m)/(2/x). Is p >= 2/3?
True
Let a = -2.556 - 0.044. Which is smaller: 0.08 or a?
a
Let p(d) = d**3 + d + 1. Let y be p(-1). Let a be 1 + -4 + (2 - -4). Let t = 5 - a. Which is greater: y or t?
t
Let r be (-5)/((-90)/(-48))*(-21)/2. Let u = 28 - r. Are 1/37 and u unequal?
True
Let z = -158/5 - -6473/205. Which is smaller: 1 or z?
z
Suppose -t - 5*k = -34, 28*t - 32