 z(3). Suppose y*b + b - 12 = 0. Suppose 0 = -4*q - p - 14, -p = 3*q + 3*p + b. Which is smaller: q or -5?
-5
Let o = 0.03 + 0.97. Let h be (-223)/(-6) + 0 - 1. Let k = -36 + h. Which is greater: k or o?
o
Let g = -3 + 0. Let q(x) = x**2 + 3*x. Let a be q(g). Do a and 1/5 have the same value?
False
Suppose d + 2 = -2*x - 3*d, -2*x - 3*d - 2 = 0. Which is smaller: x or -3/11?
x
Suppose 2*j - 4*j + 2 = 0. Let h be 63/54 - (2 - 1). Do h and j have the same value?
False
Let q(c) = 17*c**2 - 16*c**2 - 3*c - 3*c. Let m be q(6). Are -1 and m unequal?
True
Suppose 12*n = 14*n - 44. Is n at least as big as 21?
True
Let q = 8.2 - 1.3. Let w = -0.2 - 6.8. Let m = q + w. Are m and 1 nonequal?
True
Let j = -0.19 - 0.01. Is -0.1 at least j?
True
Suppose 3*m + 9 = 5*f, m - 3 + 13 = 4*f. Suppose -7 = 4*u + 5*v, 0 = -f*u + 2*v - 3*v + 3. Does 6/7 = u?
False
Let u = 0.23 - 0.13. Let m = u + 1.2. Which is greater: -0.1 or m?
m
Let i = 4 + -4. Suppose i = -6*s + 2*s. Is s greater than 0?
False
Let w be (2 - -1) + -10 + 7. Suppose 7*g - 4*g = w. Which is greater: 1 or g?
1
Suppose -r = 8*r + 9. Let m = 50 + -46.9. Let p = 3 - m. Are p and r nonequal?
True
Suppose 0 = t - 5*t. Let s(q) = -q**3 + 4*q**2 - 5*q + 4. Let x be s(3). Let r be x + (-16)/(-6) + -1. Which is smaller: r or t?
r
Let p = -0.2 - -17.2. Which is smaller: p or -2/7?
-2/7
Let j = 3491/18 - 194. Is j greater than -1?
True
Let l(b) = b**2 + 6*b + 2. Let i be l(-5). Which is smaller: -4 or i?
-4
Let d = -1159/7618 - 1/586. Is -0.1 bigger than d?
True
Let x be 7/14*(-8)/2. Suppose -3*c + 3*t - 3 = 0, -2*t - 2 - 16 = 3*c. Is x less than or equal to c?
False
Let p = -1.15 - 1.45. Is -2 > p?
True
Let z be 470/(-1401) + (-8)/(-24). Let a = z + 951/7939. Is -1 > a?
False
Let f be (-1 - 2)*(-3)/(-9). Let p(m) = -4*m. Let y be p(-2). Suppose -2*g + y = 10. Is f <= g?
True
Let b be 4 + 10/(-1 + -4). Which is greater: b or 36/11?
36/11
Suppose 3*y + 4*b - 10 = 0, -2*y - b + 11 = 3*y. Suppose -2*j = 2*i - 8, -2*j + 5 = -i - 0*i. Which is bigger: i or y?
y
Let u be 34/(-119) + (-41)/77. Are u and 0 nonequal?
True
Let j = -7 - -12. Let u be -3 + ((-52)/j)/(-4). Is 1 at least u?
True
Suppose 3*f + f - v - 85 = 0, -45 = -2*f + 3*v. Let u be f/(-24) - (-2 + 1). Which is smaller: u or -1?
-1
Let h be 6/(-12) - (-15)/18. Is h < 1/3?
False
Let w(a) = -a**2 - 6*a + 15. Let s be w(-8). Is s smaller than 3?
True
Suppose -4*o + j - 3*j = -22, 15 = -3*j. Which is bigger: o or 3?
o
Suppose -d - 2*d - 24 = 0. Let g = -4 - d. Let z = g - 4. Is z != -2?
True
Let x = -73 - -364/5. Let n(m) = -2*m - m**3 - m**2 - 4 - 5 + 4 + 4. Let q be n(-1). Which is bigger: x or q?
q
Let x = -0.1 - 0.1. Let n = x - -0.1. Let d = -2.2 + 2. Is n less than d?
False
Let n(c) = c**3 + 3*c**2 - 6*c - 4. Let y be n(-4). Suppose -2*l - 3*u - y = -0*u, 4*l - u + 8 = 0. Let g be 2/l - 10/(-8). Which is greater: 0 or g?
g
Let r be 3 - (8 - 3 - -1). Which is greater: -29/7 or r?
r
Let f = 5 - 12. Let l = -7.2 - f. Is 1 > l?
True
Let k = 0 + 0. Let w(d) = -3*d**3 + d - 1. Suppose 1 - 2 = -t. Let h be w(t). Is k bigger than h?
True
Let f = -17/3 - -49/9. Is f less than or equal to -7?
False
Let u(t) = -2*t - 5. Let q be u(-5). Is q at most as big as 2?
False
Suppose -3*x - 2*f = 4, 5*f - 10 = 4*x + 3. Let w = 5 - 8. Which is greater: w or x?
x
Let h be (-3)/((-5)/(20/12)). Is -2/13 equal to h?
False
Let j = 9 - 6. Let y = 2.09 - 0.09. Let l = y - j. Is 1 greater than l?
True
Let k be 6/20*84/(-63). Do 0.042 and k have the same value?
False
Let a = 72 - 71. Is a less than or equal to 15?
True
Let y = 4 - 4. Let b = 1 - y. Is 0 greater than b?
False
Let r be 2/((10 - 4) + -2). Is 0 at least as big as r?
False
Let w = -2518/9 + 279. Is -0.3 greater than w?
True
Let j be (-9)/12*(-40)/15. Is -0.2 greater than j?
False
Let c(f) = -18*f**2 + 2*f - 1. Let k be c(1). Are k and -18 non-equal?
True
Suppose 10*k + 10 = 5*k. Suppose 0*r = -b + r - 5, 3*b - 3 = -3*r. Is k <= b?
True
Let k(t) = 4*t - 64. Let f be k(19). Is f less than 14?
True
Let w be (1 + 3)/2 - 2. Let s be 1443/11 - (1 - 3). Let h = -133 + s. Which is smaller: h or w?
w
Let a = -0.3 + 6.3. Let p = a - 2. Let j = 3 - p. Is -1 at least as big as j?
True
Let w = 2887 - 522549/181. Let f = -8246511 + 8955710029/1086. Let t = f - w. Is -1 at most t?
True
Let u(z) = -2*z**2 - 11*z - 5. Let f be u(-5). Let w be (-166)/(-8) - (-1)/4. Let h be 1 + -3 - (-39)/w. Is f at least as big as h?
True
Suppose -2*d = 0, 2*d + 3*d = -5*m - 10. Let v = -12 - -12. Suppose -6*o + o - 5 = v. Which is smaller: m or o?
m
Let h be -1*(3*-1 - 717/(-237)). Which is smaller: -1 or h?
-1
Let w(m) = -m**2 - 4*m + 5. Let i be w(-4). Let x be 4/(i - (3 - 0)). Is -2/3 not equal to x?
True
Suppose -15 = -0*u - 3*u. Let f be 1 + (3 - u) + 0. Let d = 16/21 + -34/63. Do f and d have the same value?
False
Let o be (-12)/(-18) - (-20)/6. Suppose 2*k + 2*k + 7 = y, -5*k - 3*y = -o. Let z(m) = -m**3 + m - 2. Let p be z(0). Is k > p?
True
Let p(o) = -4*o**3 + 4*o**2 - 2*o - 2. Let j(b) = 5*b**3 - 5*b**2 + 2*b + 3. Let f(l) = 3*j(l) + 4*p(l). Let u be f(1). Is -1 at least as big as u?
True
Let z be 49/49*(4/5)/(-2). Let n(k) = -k**3 - 4*k**2 - 4*k - 4. Let y be n(-3). Which is greater: y or z?
z
Let m(p) = -7*p**3 + 5*p - 2*p - p - p. Let l be m(-1). Let j = -7 + l. Which is smaller: 1/3 or j?
j
Let c be ((-11)/(-286))/(1/4). Are 0 and c non-equal?
True
Let a be (-32)/(-12) - (-1 + 4). Do a and 4 have the same value?
False
Suppose 0*o = -5*o + 10. Suppose 33 - 12 = 5*w + o*t, -5*w - 3*t + 24 = 0. Suppose w*h = h + 2. Is 1 equal to h?
True
Let k be (-3)/6 - (-10)/4. Let b be -1 - 3*k/(-10). Let h = 3 - 4. Which is greater: b or h?
b
Let o(n) = -n**3 - 10*n**2 - 8*n + 3. Let i be o(-9). Let g be (-65)/(-15) - 4/i. Are 3 and g non-equal?
True
Let g(d) = -d**3 + 8*d**2 - 3. Let v be g(8). Let p be -2 + v*14/(-18). Are p and -1 equal?
False
Let j = 34 + -40. Which is greater: j or -3?
-3
Let b(p) = -2*p - 8. Let n be b(-4). Suppose -2*u = -2*d + 2*u, n = -2*d - 5*u. Is d <= 0?
True
Let y(a) = -a**2 + 3*a + 1. Let o be y(3). Which is greater: 2 or o?
2
Let f = -52 + 53. Which is smaller: f or 0?
0
Let j(s) = -s - 11. Let i be j(-14). Which is smaller: i or 5?
i
Let j(g) = -g**3 + g. Suppose -l - 3 = 5*p, 3*p + 4*l = -13 + 1. Let d be j(p). Which is greater: d or 1/8?
1/8
Let g be (-21)/(-28)*4/(-12). Let b = 4 + -4.06. Are g and b non-equal?
True
Let u = 247/6 + -41. Let t = 0.36 + -0.26. Which is bigger: u or t?
u
Let a(r) = -r**3 - 8*r**2 - 2*r - 10. Let z be a(-8). Suppose z + 4 = 5*f. Suppose 2*q = 3*n + 3, 0*n + n = -3*q + 10. Which is bigger: f or n?
f
Suppose 0 = -5*z - 0*x - 5*x + 10, -z = 2*x - 4. Let k = -3 - z. Let d be (k/4)/((-21)/8). Does d = 2/7?
True
Let m = 7 - 18. Let v = -10 - m. Is 0 < v?
True
Let a(u) = -u**2 - 3*u + 4. Let y(j) = -j**3 - 4*j**2 + 5*j - 3. Let f be y(-5). Let r be a(f). Is 4 less than r?
False
Suppose 3*k + 2*v = -2*v + 17, -4*v = -2*k - 2. Suppose 0 = -4*u, -6*g - 8 = -2*g - k*u. Let l be (-3)/15*(9 + g). Is l >= 0?
False
Let p be (-1 - 4/(-1))*5. Suppose -l - 4 = -4*m - p, m = -l + 1. Is -1 less than m?
False
Suppose 3*n + 3*c - 111 = 0, -2*n = -4*c - 83 - 3. Do 40 and n have the same value?
False
Suppose -107 + 67 = 8*x. Do x and -2 have different values?
True
Let t = 1 - 2. Let f be (-3)/6 - (-40)/50. Is f greater than t?
True
Let j be (-5)/((-5)/9)*(-2 + 1). Which is greater: -8 or j?
-8
Let l be 31*(0 - -1) + 2. Let z be 6/33 + (-116)/l. Let i = z - -76/21. Which is bigger: i or -0.7?
i
Let n = 19/5 + -51/20. Is -0.1 < n?
True
Let d be 55/20 - (-3)/(-4). Let h be 5/((-20)/8)*d. Which is smaller: h or -5?
-5
Suppose 3*a - a - 3*j = 0, a = 4*j. Is a bigger than 14/17?
False
Suppose 4*c - 3*c = 2. Let s be 0 + c - (1 - 4). Are 5 and s nonequal?
False
Let i(t) = -t**3 + 10*t**2 - 2*t + 12. Let h be i(10). Let a = -7 - h. Which is greater: 0 or a?
a
Suppose s + s + 258 = -4*a, 3*s + 403 = -2*a. Let g be s/70 + 2/(-5). Let x = 20/7 + g. Is -0.1 not equal to x?
True
Let w = 17 - 5. Let n = -7 + w. Which is bigger: 4 or n?
n
Let k = -27.04 - -27. Let v = 0.2 - 0.2. Let u = v - -0.1. Is k <= u?
True
Let g = 77 - 144. Let r = 67.31 + g. Let l = r + -0.01. Is 2 greater than or equal to l?
True
Let h be (-24)/(-40)