t c be z(2). Let d be 4/(-18) + 4/18. Suppose -5*q - 4 + 9 = d. Which is greater: c or q?
q
Let q(f) = f**3 - 8*f**2 - 4*f + 11. Let n be q(8). Let g be (-3)/(-2*n/(-4)). Is -2/5 greater than g?
False
Let a be -4 - (-4 + 3)*68. Let g be 4/(-10)*240/a. Which is smaller: 1/3 or g?
g
Let c(m) = 3*m - 6. Let z be c(5). Is z less than or equal to 9?
True
Let g = 4 + -3. Suppose -2*f + z - g = f, 3*z + 11 = -5*f. Let l = 10 + -9. Which is smaller: f or l?
f
Let a(l) = l**3 - l**2. Let i be a(0). Let p(k) = -k**2 - 1. Let h be p(i). Let v(x) = x**3 + 2*x**2 + x. Let o be v(h). Is -2 less than o?
True
Let s(x) = -x + 4. Let u be s(4). Let c be (-1)/(-2*(-3)/(-24)). Suppose -3 = z - c. Is u at least z?
False
Let z be -2 + 1 + (-1)/(-1). Let t be ((-22)/33)/((-5)/(-6)). Are z and t unequal?
True
Let v = -0.43 + 5.33. Let x = v + -5. Is -1 not equal to x?
True
Suppose -2*w + 3*w = 3. Suppose 0 = -u + w*u. Which is smaller: 1/5 or u?
u
Let i = 184/35 + -34/7. Is i greater than or equal to 6?
False
Let l = 56 + -69. Which is bigger: l or -12?
-12
Suppose -5*p + 3*f + 120 + 30 = 0, -4*p + 2*f + 120 = 0. Let i be (-62)/(-180) - 12/p. Let q = i + -13/9. Is q less than -3?
False
Suppose 4*a - 68 - 12 = 0. Suppose -a = -0*v - 4*v, -18 = -2*x - 4*v. Let b be ((-2)/(-8))/(x/(-2)). Which is smaller: b or 0?
0
Let l = -25 - -15. Let d be ((-5)/l)/(2/(-4)). Let b = -42/25 + 412/275. Which is bigger: b or d?
b
Suppose 5*a = -20, 2*y = 5*a + 29 - 5. Let h = 0 - -2. Is y at least h?
True
Let s(t) = -1 - 3*t**3 - 2*t**2 + 2*t**2 - 2*t. Let a be s(-1). Let r be (-2)/a*2/(-1). Which is bigger: r or -3/7?
r
Let j be (-1 - 0)/((-1)/(-1)). Let m = -1 - j. Let i = 6/65 + 4/13. Which is smaller: m or i?
m
Let b = -5 + 7. Suppose 5*l - 3 = -t - 13, -b*t + 10 = -5*l. Let q(j) = j**2 - 5*j + 3. Let o be q(3). Which is smaller: l or o?
o
Let b = -3.14 + 0.14. Do b and 11 have different values?
True
Suppose -3*v - 266 = -2*m, -4*m - 174 = 2*v - 6*m. Let i be 3/(-6) + v/8. Are -11 and i non-equal?
True
Let p = -5005/9 - -557. Which is smaller: p or 1?
p
Let f be (2 - 0)/(7 - -4). Let q = 1.2 - 0.2. Which is smaller: f or q?
f
Let u be 44/(-7) - 2/(-7). Let x be (0 + 2)/((-4)/14). Which is bigger: x or u?
u
Let d = 0.22 + -0.23. Let i = -3 - -2.99. Let y = d - i. Which is smaller: y or 6?
y
Let y(t) = -t**3 + 4*t**2 - t. Let b be y(3). Let q be 7/b + (-1)/(-2). Is q at most as big as 2?
True
Let x(g) = -8*g - 1. Let b be x(1). Let n be ((-4)/(-3))/((-6)/b). Suppose 6*l - n*l = 0. Is 2/9 equal to l?
False
Let i be 1/(0 + 1)*1. Are i and 3 non-equal?
True
Let f(h) = -h**2 - 19*h - 23. Let g be f(-18). Which is greater: -2 or g?
-2
Let g(q) = -q + 2. Suppose 4*d + 5*s = 3*s - 16, -3*d + 5*s = -1. Let w be g(d). Suppose -2*p = -4*c + 12, -w*c - 5*p + 15 = -p. Which is smaller: 4 or c?
c
Let u be 85/(-35) + 6/3. Are 1 and u equal?
False
Let c(i) = 5*i**2 - i + 1. Let p be c(1). Suppose 4*x - 8 = -3*g - g, -5*g + 4*x + 28 = 0. Is g at least p?
False
Suppose -2*b = g - 2*g - 17, 0 = 4*b. Which is smaller: g or -15?
g
Let c = 0.09 + -0.09. Let d = c + 0. Is d at most as big as 0.7?
True
Let g = -10 + 4. Let j be (0 + (-2)/(-4))*-8. Let x = j - g. Which is smaller: x or 1?
1
Let v = -0.03 + 0.09. Let w = 46 + -45.8. Is v at least w?
False
Let v = 15 - 14. Which is smaller: v or -0.09?
-0.09
Let q = 1.12 - 0.72. Are q and 1 equal?
False
Let j be (4/274*-1)/(-1). Is j >= 0?
True
Let l(u) = -u**2 + 4*u + 2. Let p be l(4). Let h be (60/(-7))/5 + p. Which is smaller: h or -1?
-1
Let t be 13/(-52) + (-349)/(-4). Suppose -12 = 5*j - t. Which is smaller: j or 14?
14
Let q = 15 - 16. Which is bigger: 0.13 or q?
0.13
Let a = -1/82 + 62/41. Which is smaller: a or 3?
a
Suppose 5 = 2*q - 3*n + 2*n, -2*q + 11 = n. Suppose -2 = 5*x - 12. Is x bigger than q?
False
Let g(i) = i**2 - 4*i + 3. Let d be g(3). Let s = -1 - -1. Is d >= s?
True
Let q = -1 + 2. Let x = 23 - 22. Is q at least x?
True
Let n = -28 + 41. Suppose 0 = 9*w - n*w. Let b = -57/784 - -1/98. Which is bigger: w or b?
w
Let a = 37883719/572 - 264937/4. Let v = -42/11 - a. Which is bigger: -1 or v?
v
Let o be 1/1 - (-7 - -4). Suppose -o*d + 10 = -4*u - 6, u = -4*d + 21. Let i be u/(-4) - 50/(-264). Which is smaller: i or -1?
-1
Let r be (0 + (-1)/(-3))/(14/714). Is r not equal to 16?
True
Let j = 0.2 + 0.7. Is j >= -2?
True
Suppose 0 = 5*h - 27 - 43. Let u = 44 + -222/5. Is u less than or equal to h?
True
Let n(d) = -d**3 - 7*d**2 - 7*d - 1. Let c be n(-5). Let b be (-18)/8*c/(-6). Let g be b/4*(-1)/3. Is g at most 1?
True
Let i = 3/5 - 11/10. Do i and 1/7 have the same value?
False
Suppose 0*c + 3*c + 6 = 0. Let t be 2/c*1/1. Which is greater: t or 0?
0
Let r = 20 - 16. Which is greater: r or 6?
6
Let r(f) = f**3 + 2*f**2 - f - 1. Let z be r(-1). Suppose 5*j + z = 11. Suppose 12 = 2*i + 5*b, -4*i - j*b + 3*b = -2. Which is smaller: i or -1/7?
-1/7
Let z(d) = -d + 1. Let u be z(-9). Let l = u - 8. Suppose 9 = 3*k - 3*q, 4*k - 8 = k + 2*q. Is l < k?
False
Let m = 1 - 0.6. Let x = 4.6 - 6. Let w = x + m. Is 0.3 greater than w?
True
Let h = -411/910 - -11/26. Let u = h - 33/70. Which is smaller: -2 or u?
-2
Let f = 2/295 - 608/2655. Let d be 1/(-4 + 2 - (-3 + 2)). Which is smaller: f or d?
d
Let p be 1280/4578 - (-4)/(-14). Which is smaller: p or -1?
-1
Let h(k) = -5*k + 2. Let b(z) = z + 1. Let c(s) = -4*b(s) - h(s). Let t be c(5). Let n = 5/8 + -9/8. Which is smaller: t or n?
t
Let g be (122/(-5))/(4/(-5)). Let s = 32 - g. Is -2 at least s?
False
Let m(z) be the first derivative of z**4/4 + 4*z**3/3 - 5*z**2/2 + 3*z - 2. Suppose -4*h - 16 = j + 1, 5*h - j = -28. Let a be m(h). Which is bigger: 1 or a?
a
Let i(j) = j**3 - 5*j**2 + 1. Let m(t) = -2*t**3 - 5*t**2 + 2 - 10*t**2 + 5*t**3. Let x(d) = -11*i(d) + 4*m(d). Let k be x(5). Is -2 > k?
True
Let k(m) = -m**3 - 6*m**2 - 7*m - 8. Let r be k(-6). Suppose -r = -5*n + h - 12, 4*n - 14 = 2*h. Suppose -2*i + 10 = -2. Is i at least n?
True
Let x = 131 - 131. Let l be 2/(-7) + 86354/(-238). Let k = 363 + l. Which is smaller: k or x?
k
Suppose 3*t + 3252 = 2*p - p, -t = -p + 1086. Let u = t + 24903/23. Let c = u + 81/46. Is c smaller than 1?
False
Let g(b) = b**3 + 11*b**2 + 10*b + 1. Let f be g(-10). Let v(m) = -2*m**2 + f - 3*m**2 + 4*m**2 - 2*m**3. Let s be v(-1). Is 0 > s?
False
Let r = 145/3 + -47. Which is smaller: r or 1?
1
Let c = -9 - -24. Let y = -13.1 + 2.1. Let u = c + y. Which is smaller: u or 1?
1
Let i = 31/2 + -17. Which is smaller: i or -3?
-3
Let b = -0.41 + 0.31. Is -15 equal to b?
False
Suppose 0 = -3*d - 5*c + 23, 4*d + 0*c - 3*c + 8 = 0. Let j be 2 + ((-68)/(-9))/(-4). Is j > d?
False
Let r be (12/(-3))/8 - 107/(-222). Is 0 less than r?
False
Suppose -4*j = 3*x + 51, -5*x = -j + 3*j + 29. Which is smaller: j or -2/5?
j
Suppose 0 = -4*g - 3*l - 19, g + 21 = -6*l + 2*l. Which is smaller: g or -8/11?
g
Let p be 4 + (-4)/(4 - 2). Let c be (-3)/(p/(8/(-6))). Let g be (-7)/21*-6*1. Is g >= c?
True
Let n = 1963/6 - 325. Is 2 smaller than n?
True
Let n(c) = c**3 + 17*c**2 - 37*c + 23. Let j be n(-19). Are -0.2 and j equal?
False
Let q = -3.4 + 3. Let l = q - -0.5. Let p = l + -0.2. Is p smaller than -0.1?
False
Let n be (6/9)/(0 - 6/9). Let d = 47/286 + -7/22. Are d and n equal?
False
Let u be (-30)/8*-4*8. Let n be u/(-273) + (-2)/(-13). Is n at least -1?
True
Let a be 160/28 - (-4)/14. Which is greater: 7 or a?
7
Let r = 11 - 16. Suppose -d = 2*g + 1, -2*d + 4*d + 2 = 5*g. Let o = d - r. Is o bigger than 5?
False
Suppose 0 = -7*v + 8*v - 7. Are 1 and v nonequal?
True
Suppose s = -3, 5*v - 4*s - 4 - 68 = 0. Which is smaller: v or 11?
11
Let r(x) = -x**3 - 2*x**2 - x. Suppose o + 1 = -k - o, o + 5 = -5*k. Let m be r(k). Suppose m*b = 2*b - 2. Is b < 2?
True
Let x = 356 + -370. Let b = 0.1 - 0.1. Which is smaller: b or x?
x
Let y be (-2)/(-4)*(-4)/(-2). Let c be -6*y*(-3)/9. Suppose c*s = 6 - 8. Which is greater: s or 1/7?
1/7
Let v be 2*-5*(-2)/4. Suppose -2*f + 7*f = v. Does 2 = f?
False
Let b be 4/8*13/3. Is 3 not equal to b?
True
Let n be 19/(-4) + 2/(-8). Let d = -51 + 45. Is d >= n?
False
Let o = -1 + 0. Let s be 189/39 + 2/13. Let z = s + -4. Which is greater: o or z?
z
Let a(z) = -z**3 - 7*z**2 - 5*z + 8. Let h be a(-6). Suppose -h*f - 2 = 3*k + 4, f + 4*k + 8 = 0. Which is small