+ 3*q + 8. Suppose 4*x - 1 = -l, -5*l - 3*x + x + g = 0. Which is bigger: -1/4 or l?
l
Let m be (-32)/(-144) + (-20)/9. Let v be m + (0 - 0)/4. Suppose h - 3*h = 4. Is v less than h?
False
Suppose 0 = -0*a - 4*a + 16. Suppose -a*m - m = -80. Suppose -5*w = -1 + m. Are w and -1 nonequal?
True
Let i = -61 + 60.73. Let b = i + 0.2. Let n = 0.03 - b. Is 1/3 > n?
True
Let l = -6 + 7. Is -0.2 <= l?
True
Let x(u) be the second derivative of u**4/12 + 2*u**3/3 + 5*u**2/2 - 2*u. Let g be x(-3). Do 5/7 and g have different values?
True
Let u = 41/10 + -247/70. Which is smaller: u or 0?
0
Let z = 2.3 - -0.7. Is 0 greater than or equal to z?
False
Let u be (1/(-5))/((-2)/562). Let c = 56 - u. Is c >= 1?
False
Let m = -209 - -3757/18. Is m greater than or equal to 0?
False
Let w = -0.08 + 0.13. Let z = -2.05 + w. Let g = 1.9 + z. Is g at least 0.2?
False
Suppose 794 + 251 = 11*y. Which is smaller: -0.1 or y?
-0.1
Let h(k) = -k**2 + 7*k + 13. Let c be h(9). Let w be (1 - 0 - -1) + c. Suppose r = -2*r - 6. Which is smaller: r or w?
w
Suppose -3*o + 4*o - 5*c - 7 = 0, 4 = -4*c. Suppose 0*i - 3*i = -12. Suppose o*m = i*h + 11 + 3, 4*h - 7 = -5*m. Which is smaller: h or 0?
h
Let i(h) = h - 2. Let n(c) = -1. Let p(x) = i(x) - n(x). Let t be p(1). Let k be (2 - 5) + -1 - -1 - -4. Which is smaller: k or t?
t
Let j(i) = -i**3 - 3*i**2 - i + 1. Let x be j(-2). Let d be -1 - -2 - ((-6)/(-1))/2. Does x = d?
False
Let m = -10/9 + 16/9. Which is smaller: m or 1?
m
Suppose -r = -b - 10, -5*b - 30 = -r - 0*r. Suppose -r + 4 = d. Is -4/15 at least as big as d?
True
Suppose 4*c - 3 = 9. Let o be c/3 + (3 - 1). Let u = 102 + -101. Are u and o unequal?
True
Suppose 0 = 2*i + 3 - 7. Suppose 5*d + 1 = 5*y - 4*y, -i*y = -3*d + 5. Let k be ((-8)/10)/(d/(-5)). Do -4 and k have the same value?
True
Suppose l - 4*w + 2 = 0, -5*l = -4*w - 1 + 11. Let c = -3 + l. Let n be -2 + -1 - -6 - 7. Is c less than n?
True
Let r be (0 - 0)*(-3 + 2). Suppose -t - 5 = -4. Which is smaller: t or r?
t
Let x = -3 - -3. Let m = 49/403 + 1/31. Which is smaller: m or x?
x
Let c be (-2)/(-5) - 561/1265. Are 1 and c non-equal?
True
Suppose -3*s - 3*f = -39, 0 = -3*s - 5*f + 11 + 22. Is s equal to 18?
False
Let q = -2.2 - -2. Let y = -0.3 - q. Let c = y - -0.3. Is 1/5 <= c?
True
Let j = -1 - 37. Which is smaller: -39 or j?
-39
Let t(r) = 5*r + 9. Suppose 0 = 4*x + c - 27, c - 4*c - 31 = -4*x. Let z be t(x). Let s be (2/5)/(z/40). Which is smaller: 0 or s?
0
Let s be -3 - -11 - (-1)/1. Let n be (-1)/((-3)/s) - 11. Does n = -8?
True
Let g be 15 + -13 - ((-7)/(-2))/1. Suppose 5*u + 3 + 2 = 0. Is g greater than u?
False
Let x be 3/(-5) + 6/10. Suppose x = k + 3*k. Is k bigger than 2/3?
False
Suppose -b = 2*i - 10, -2*b + 17 = 5*i - 8. Suppose b = -5*w + w + 4*p + 20, -10 = 2*p. Are 5/6 and w non-equal?
True
Let g(u) = -3*u + 6. Suppose 3*r = 2*s + 18, -2*s - s - 17 = -2*r. Let t be g(r). Let o be (3/(-2))/((-15)/t). Which is smaller: o or -2?
-2
Let d be (-19)/8 + 4 + -2. Is d equal to -1?
False
Let j = 8 + -1. Let a = -6 + j. Is a greater than -0.06?
True
Suppose -32 = -5*r + g, 2*r - 3*r + 3*g = -12. Let d be 23/(-5) + (-5 - -4). Let u = r + d. Are u and -0.2 equal?
False
Let t(z) = -2*z + 26. Let s be t(17). Which is smaller: s or -2?
s
Let y = -34 + 23. Are -9 and y equal?
False
Let b = 3 + -4. Let u = -4 - b. Let f = -2 - u. Which is smaller: -1 or f?
-1
Let b(t) = t - 1. Let f be b(3). Let c(s) be the third derivative of s**4/24 - s**3/2 + s**2. Let g be c(3). Which is smaller: f or g?
g
Suppose 0*o - o + 17 = 0. Let z = o - 17. Let a(q) = q**2 - 2*q - 2. Let g be a(3). Which is bigger: z or g?
g
Let m = 10 + -8. Suppose 3*a = 2*w - 4*w + 12, 0 = 3*a - 3*w - 27. Let s = 11/2 - a. Which is greater: s or m?
m
Suppose 2*c = -3*c + 5. Let w = 14 + -41/3. Which is greater: w or c?
c
Suppose 2*b - 75 = -97. Is b equal to 1?
False
Let x = 12 - 11.9. Let o = 532/5 + -106. Is x > o?
False
Let q = 48 + -49. Let a = -6/19 + 11/95. Is a at least as big as q?
True
Let n(z) = z**3 - 1. Let p(x) = x**2 - 6*x - 1. Let y be p(6). Let j be n(y). Which is bigger: -5 or j?
j
Let p = -271 - -152. Let z = 73829/4 - 18577. Let y = p - z. Is 2 at most y?
False
Let y(s) = -s**3 - 7*s**2 - 7*s + 2. Let x be y(-6). Let z(i) = -i**3 + 8*i**2 - i - 3. Let f be z(x). Which is bigger: f or 0?
0
Let d(f) = -f - 10. Let h be d(-6). Let u be (1 - 0)*(-1)/h. Which is smaller: u or -1?
-1
Let m be 246/30*65/(-6). Let i = 89 + m. Which is bigger: i or 1?
1
Let t = 1.92 + -28.52. Let a = -29 - t. Let d = 0.4 + a. Which is bigger: -0.3 or d?
-0.3
Suppose 666 = -3*o + 4*d, 4*o + 869 = 2*d - 3*d. Let t = -3055/14 - o. Let j = t + 13/28. Which is greater: j or 0?
j
Let v be 6/(-21) + 52/(-14). Let a be 0 + (18/v - -3). Let x be -3 + (-2 - -1 - -3). Which is smaller: x or a?
a
Let w = 0.3 + -1.3. Let a = -3.1 - 10.9. Which is smaller: a or w?
a
Let v = -7 + 9. Suppose 5*w + 28 = -3*h, 19 = -v*h - 2*w + 7. Which is smaller: h or -2/5?
h
Let z be (-6)/(-9) - 4/15. Which is smaller: z or -0.17?
-0.17
Suppose 0 = 2*n + 5*f + 19, f + 3 = -4*n - 2*f. Suppose 0 = -n*d + 2*g + g, 0 = 5*g + 5. Let k = -15/22 - -2/11. Which is smaller: k or d?
d
Let r be 3/1 - (-1 - -1). Let v(f) = -f - 2. Let i be v(r). Is i greater than -5?
False
Let p be (25 - -1)*(-32 + 31). Which is smaller: -28 or p?
-28
Let a be ((-1)/3)/(5/15). Suppose 60 = -4*i - 4*x, 0*i + 4*x = 2*i. Let q be (3 - 4)*6/i. Is q <= a?
False
Let o = 55 + -383/7. Is o != -17?
True
Let h be 27/12 + 2/(-8). Which is greater: h or 12/13?
h
Let l be ((-4)/3)/(14/(-21)). Is l > 5/2?
False
Let s be -5*4*(-35)/50. Is 15 equal to s?
False
Let n = -2.2 - -2. Let f be -1 - ((-105)/(-27))/(-5). Which is smaller: n or f?
f
Let b = 180 - 180.51. Which is bigger: b or -1/5?
-1/5
Let l = -3.6 + 1.6. Which is smaller: -0.1 or l?
l
Let a = 61 - 307/5. Let r(g) = -g - 1. Let z = 21 - 21. Let b be r(z). Is a at least as big as b?
True
Let z = 8 - 6. Let c be ((-1)/4)/(z/(-8)). Suppose 4*b - 3*b = 0. Which is smaller: b or c?
b
Let m = 551/132 + -45/11. Which is bigger: -1 or m?
m
Suppose x + 2*x + 4*w = 8, -3*x + 4 = 2*w. Are x and -2/51 non-equal?
True
Let d = 47/260 + 1/52. Is -1 not equal to d?
True
Let w = 4 - -3. Let c = 8 - w. Are c and 3/7 nonequal?
True
Suppose 0 = n - v - 2, 2*n - 2*v - 7 = 3*n. Which is smaller: 1/12 or n?
n
Let j = -14 + 15. Are -0.2 and j equal?
False
Let f = -0.4 - -0.3. Let g = 4 + -4. Is f bigger than g?
False
Let u be -3 - ((-15)/(-5) + -3). Let n(b) = b**3 - 4*b**2 - b + 5. Let q be n(4). Let g = -2 + q. Is g <= u?
False
Let c = 63 + -19. Which is greater: 43 or c?
c
Let v(m) = -5*m - 5. Let g be v(-5). Let q = -10 + 13. Suppose 5*l = -g, q*t - 10 = -l + 2*l. Are t and 3/5 nonequal?
True
Let n = -0.05 - -0.05. Which is bigger: 8 or n?
8
Suppose 3*d + 0*d = -5*w + 17, -4*w + d = -17. Suppose l = -w*l. Is -2 <= l?
True
Let v = 40 - 40. Is 3/17 at least v?
True
Let i = -206 - -1447/7. Suppose -u = -5*y + 2*y - 4, 5*y - 12 = -3*u. Is i less than y?
False
Let h(l) = 90*l**2 + 11*l + 11. Let t be h(-1). Which is greater: 91 or t?
91
Let c be (1 - 15/6)*2. Let d = 12 + -13. Which is smaller: d or c?
c
Let c be 19/(-152) + (-18)/(-16). Is c greater than or equal to -2/5?
True
Suppose -2*m + 1 = -9. Suppose -m*w + w = -12. Which is greater: w or 0?
w
Let p = 19/40 - 3/40. Let c(b) = b - 1. Let s be c(1). Which is smaller: s or p?
s
Suppose -3*u + c = 2*c, 0 = -5*u - 5*c. Let f be 2 - (6/3 - 1). Let l be 5/4*f/(-5). Which is smaller: l or u?
l
Let d(f) = 3*f**2 - 38*f - 7. Let n be d(13). Is n less than 6?
False
Suppose -2*g + 3*g = -2*g. Is g >= -1/23?
True
Let y = 230/3 + -76. Let j(q) = q**2 - 4*q. Let c be j(6). Suppose -5*n + 20 = 0, 3*n - c = -x - 3*x. Is x equal to y?
False
Let t be 0/1*(-4 + 9)/5. Is t < -1?
False
Suppose -4*o - 10 = o + 5*k, -8 = 3*o + k. Let t be -1 + o + 2 - -6. Suppose 4 + 0 = t*j. Which is smaller: j or -1?
-1
Let q be (-12)/63*6/(-4). Let p = -8 - -2. Let u be 9/p + (1 - 0). Is u at most q?
True
Let m = -2/247 - -23/494. Is m bigger than 0?
True
Let d be (-6)/45*25/(-20). Which is greater: -1 or d?
d
Suppose -8 = -2*u + 4*u. Let v(w) = w + 1. Let k be v(-5). Is k bigger than u?
False
Suppose 3*j + 52 = -4*u, 2*j - u = -0*j - 42. Let c be 50/8 + 5/j. Suppose 0 