et m = 4 - 6. Let r be (-3)/9 + m/3. Let z be 1/(r/(-2) + -1). Which is greater: z or -3/2?
-3/2
Let p(l) = l**3 + 5*l**2 - 2*l - 7. Let h be p(-5). Suppose -k + 5*k = 36. Let u be (-8)/6*k/(-6). Is h smaller than u?
False
Let x = 36 - 250/7. Is x at least -1?
True
Let i = -42 + 43. Which is bigger: -1/33 or i?
i
Suppose 0*t = -5*t + 20. Suppose 0*n = 2*k + 2*n + 20, -3*k + t*n - 9 = 0. Is k >= -8?
True
Let x = -2865/2 - -1478. Which is smaller: x or 45?
45
Let j be ((-55)/(-57) - 1)/((-28)/(-42)). Which is greater: 0 or j?
0
Suppose -2*t - 1 - 5 = 0, -5*t - 21 = -3*k. Let w be k/14 - 43/7. Is 0 at least w?
True
Suppose -2*z + 3*j = -10, 0*z - 3*z - 4*j + 49 = 0. Let i(t) = -t**3 + 6*t**2 - 5*t - 2. Let h be i(4). Do h and z have the same value?
False
Let b be -2*((-2)/(-4))/((-8)/1016). Is 126 at least as big as b?
False
Let s = -2 + 0. Let b = -2/157 - 300/1099. Is s at least as big as b?
False
Let f be 2 + (-4 + 0 - -3). Let t be 8/38*1/(-2). Which is greater: t or f?
f
Let x(d) = 5*d**2 - 2*d. Let p be x(-4). Which is smaller: 87 or p?
87
Suppose 4*v + b - 5 = 2*v, 0 = 2*b + 2. Suppose 2*p - 15 + v = 3*y, -p + y = -5. Which is smaller: p or 4?
p
Suppose 0 = u - 2*u - 85. Let m = u + 167/2. Which is smaller: m or -1?
m
Let u(d) = -2*d + 12. Let g be 9*((-3)/9 - -1). Let l be u(g). Is -6 >= l?
False
Let v = -29/105 + -2/35. Suppose -27*t - 5 = -22*t. Which is bigger: t or v?
v
Let s(i) = i**2 - 7*i + 11. Let f be s(5). Which is bigger: 0 or f?
f
Let w(m) = 3*m**2 - 35*m + 6. Let l be w(7). Is l >= -93?
True
Let u(r) = -r**2 + 9*r + 43. Let w be u(-6). Are -47 and w equal?
True
Let r(w) = 10*w - 5. Let d be r(10). Let p = 2276/33 + 268/11. Let i = d - p. Is i at most as big as 1?
False
Let r be 2/(-186)*-1*(5 - 9). Do 0 and r have the same value?
False
Let s = -19.4 - -18. Let f = 2.6 - s. Which is smaller: f or -2/3?
-2/3
Let j = 5 + -5. Suppose j = -7*d + 4*d. Is -1/3 < d?
True
Let i be -1*(-6)/(-15)*30. Let a(w) = -w**3 + 3*w**2 + 7*w + 2. Let j be a(5). Which is smaller: i or j?
j
Let q = -2459/13 + 189. Which is smaller: q or -0.6?
-0.6
Let f be 1 + (2 - 0 - 0). Let t(g) = -g - 6 + g**f + 0*g**3 + 3. Let v be t(0). Which is smaller: v or -3/2?
v
Let o(q) = -q**2 + 4*q. Let y be o(3). Suppose 70 - 5 = 13*m. Which is greater: m or y?
m
Let g be (1/(-18))/((-16)/(-128)). Let j(u) = -u**2 + 5*u + 3. Let s be j(5). Let w(f) = f**3 - 3*f**2 + f - 3. Let a be w(s). Does a = g?
False
Let r = -46.93 - -47. Is r greater than or equal to -5?
True
Let t = 113 + -901/8. Which is smaller: t or 0?
0
Let y = 0.7 + 3.3. Let g = 4.3 - y. Are 0 and g equal?
False
Suppose 6*d = 5*d - 5. Let m(j) = j**3 + 6*j**2 + 7*j + 5. Let t be m(d). Is t greater than -6?
True
Let y = -0.04 + -1.96. Which is bigger: y or 7?
7
Let g(b) = -b**3 + b**2 - b + 5. Let f be g(0). Suppose -27 = -5*v + z, -f*v = -0*z + 5*z - 15. Suppose 2*m + 12 = 5*m. Which is greater: m or v?
v
Suppose 5*p + 12 = -4*a, 3*a + 0*a + 9 = 4*p. Let s be (-19)/(-21) + (-1)/3. Which is smaller: s or p?
p
Suppose -d + 3 = 1. Suppose -20 = -4*j + 2*l + l, -3*l - d = 5*j. Let i be j/(-12)*(2 - 6). Which is bigger: 0 or i?
i
Let m = -7 + 12. Suppose 0 = 4*b - 2*g - 4, b - m*g + 4*g = 1. Which is greater: b or 5/4?
5/4
Let r = -12 - -18. Let l = r + -11/2. Is l > 0?
True
Let y be (7/(-4) + 2)*4/(-4). Is -30 < y?
True
Suppose -4*t + 23 = 3*v, -3*t + 6*t + 21 = 2*v. Let w(m) = -7*m**2 - 2*m - 1. Let p be w(-1). Let a = v + p. Is a != 3?
False
Let u(x) = -x**2 - 10*x - 3. Let a be u(-10). Let j be (a - 0) + 0 + 4. Which is greater: -4 or j?
j
Let r(a) = 4*a**2 - a. Let v be r(1). Suppose -4*p = 4*d - 24, -3*p + d + 5 = -5. Do v and p have the same value?
False
Let o = -10/29 - -32/261. Let q = -3 + 1. Let a = 2 + q. Which is greater: o or a?
a
Suppose 0 = 3*m + 3*n - 6, -2*m - 2*n = 3*n - 7. Let u be (m/2)/(18/4). Which is smaller: -1 or u?
-1
Let s(o) = o**2 + 7*o - 6. Let g be s(-8). Let i be (-1 - 2)*g/(-6). Are 2 and i nonequal?
True
Let q(b) = -2*b + 13. Let a be q(7). Which is greater: a or -1/34?
-1/34
Let d(y) = 3 - 3 + 1 - y**2 - 2*y**3. Let k be d(1). Is k less than -1?
True
Suppose 0 = -3*c - 5*t - 8, 0 = -c + 5*t - 0*t + 4. Is 4/11 bigger than c?
True
Let h be 102 + (0 + -2 - 0). Let d be (-9)/168*h/6. Let i = 8/7 + d. Does i = 0?
False
Let q(g) = 8*g**2 - 13*g + 16 - 3*g**2 - g**2 - 3*g**2. Let h be q(11). Let c(z) = -6*z + 1. Let t be c(1). Is t <= h?
False
Let c = -0.9 + 1. Let n = 240454/35 - 6871. Let x = -9/7 - n. Is c less than x?
False
Let n(p) = 4*p**2 - p. Let j be n(-1). Suppose 0 = 3*x - j*x - 2. Is x > 2/13?
False
Let m(t) = -t**3 + 6*t**2 - 5*t - 3. Let r be m(5). Let c be ((-1)/(-3))/((-4)/r). Which is bigger: 0.2 or c?
c
Let t = 36 - 36. Let l = -1129/7 - -161. Which is greater: l or t?
t
Let o(l) = -8*l**3 + l**2 + 4*l - 5. Let g be o(2). Is g <= -57?
True
Let b(g) = g**3 - 6*g**2 + g - 4. Let w(r) = r**2 + 8*r + 6. Let c be w(-8). Let a be b(c). Which is smaller: a or 1/3?
1/3
Let i be ((-14)/21)/(4/18). Let n = 1 - -2. Suppose 0 = n*b, -b - 17 - 3 = 5*j. Which is smaller: i or j?
j
Suppose -4*y - 543 = 1917. Let h be (-3)/5 - 399/y. Let f = h + 33/164. Which is bigger: f or 2?
2
Suppose 2*w - 49 + 407 = 0. Let s = w - -62. Let m = -821/7 - s. Which is bigger: m or 1?
1
Let i = 103 - 93. Which is smaller: i or 11?
i
Suppose 0 = 2*u - 0*u - 2*o - 6, u + 1 = -o. Let g = 1.7 - 0.1. Let k = 2 - g. Which is smaller: k or u?
k
Suppose -3*r - 2*s = 2*s + 61, -s = 5*r + 79. Is r at least as big as -46/3?
True
Let t = 9 + -2. Let k be -10*2/(-4)*2. Let r = t - k. Is r at least -2?
False
Suppose -3*w + 5*y - 2 = 3, 5*y + 25 = 0. Suppose -2*p + 3*f - 39 = p, 3*f = -5*p - 41. Is p > w?
False
Let q be 26/(-117) - (-86)/(-18). Suppose 4*l - 8 = 2*g, 0*g - 4*l = -3*g - 8. Suppose -3*p - 1 + 4 = g. Is q greater than or equal to p?
False
Let x = -3 + 3. Let l be 4 - (x + -3 - -5). Which is smaller: l or 1/2?
1/2
Let p = -0.1 + 0.3. Let l = p - 0.2. Let h = l + -0.1. Is -2/3 not equal to h?
True
Let i(j) = j**3 + j**2 - j. Let c be i(0). Let m be 0 - 4/(-4) - (2 - 1). Let w = m - c. Is 2/3 less than w?
False
Let k = -0.04 - 0.06. Is 1/2 smaller than k?
False
Suppose v + 2 - 1 = 3*o, -v - 5*o + 39 = 0. Is v != 15?
True
Suppose 0 = 15*p - 6*p. Which is bigger: -1/18 or p?
p
Suppose -19*m = -20*m + 13. Is m <= 14?
True
Let r(l) = 4*l + 2. Let x be r(-1). Which is smaller: x or -2/3?
x
Suppose -3*p + 7 - 1 = 0. Let f = p + 1. Suppose 7*t - f*t + 8 = 0. Which is bigger: 0.1 or t?
0.1
Let k = 1 - 1. Let t(x) = x + 1. Let y be t(4). Suppose k = -2*l + 7*l - y. Is 1/5 greater than or equal to l?
False
Let c be -2 - (3/17)/((-9)/12). Which is bigger: -1 or c?
-1
Let i be (-5)/30*(-9)/(-6)*-6. Suppose -2 + 6 = 2*k. Is k equal to i?
False
Let a(i) = -i**3 + i**2 + 2*i + 1. Let s be 1/(-2) - 20/(-8). Let z be a(s). Let t = -79/2 - -40. Which is smaller: t or z?
t
Let t = -0.04 - -0.02. Let v = -1.02 - t. Which is smaller: 1 or v?
v
Let l be ((-1)/9)/(174/36). Which is smaller: -1 or l?
-1
Let o(p) = 3*p**2 - 6*p + 6. Let n be o(6). Are 77 and n equal?
False
Suppose 2*v - 5 = v. Which is greater: 7 or v?
7
Let m be 96/54 - (-2)/9. Suppose -3*f + 2*f - 9 = -3*v, 5*v - 15 = -3*f. Let n be (f - 0) + 0 + 1. Do m and n have different values?
True
Let x = -12 - -19. Let g = 7.2 - x. Which is bigger: g or -1?
g
Suppose 2*z = -2*z + 5*q + 5, -34 = -5*z - 3*q. Suppose z*r + 18 = -7. Let i be ((-4)/10)/((-1)/(-15)). Are i and r equal?
False
Let y be (90/196 + (-2)/4)/(-1). Is y smaller than 1?
True
Let m(g) = g**3 + 5*g**2 - 2*g - 7. Let j be m(-5). Let v = 4 - j. Let n be (-1)/(-2)*2/5. Which is smaller: v or n?
n
Suppose 3*s + 3 = -4*t, -t + 5*s = 7 + 11. Let y(b) = -b**3 + 7*b**2 - 8*b + 8. Let p be y(6). Does t = p?
False
Let i be (-89)/6 - (6 + (-280)/48). Which is smaller: -13 or i?
i
Let m = 3/116 - -35/3132. Suppose w = 6*w + 5, 3*q + 5*w = -8. Is m smaller than q?
False
Suppose -2*z + 3*b + 0*b = 8, 2*b = -3*z + 1. Let j(g) = 14*g**3 - g**2 + 1. Let p be j(-1). Let k be 1/2 - (-3)/p. Is z at most k?
True
Let i = 8 - 1. Suppose i + 2 = 3*n. Suppose 5*o + 28 = 2*o - 5*l, 4*o - n*l = 11. Which is bigger: o or 1/4?
1/4
Let a = -32 - -24. Are a and -9 unequal?
True
Let h = 41.1 + -41. Are h and -1.7 non-equal?
