-2*c - 4*o. Suppose 8*r - 30 = c*r. Let q = -2/81 - -176/567. Which is smaller: r or q?
q
Let v(s) = s**2 - 8*s - 5. Let h be v(9). Let k be 9/(-90)*(-10)/h. Is -1 greater than or equal to k?
False
Let a = 18 - 21. Are 4 and a unequal?
True
Suppose 62 = -m - 11. Do m and -73 have the same value?
True
Let g = -2.88 + -0.12. Let q = -1 - g. Is q not equal to -0.3?
True
Let d = -24 + 19. Which is bigger: d or -3?
-3
Let g(j) = j**2 - 8*j + 4. Let h be g(7). Suppose 2*c - 4 = -0*c. Let z be 3*c/3*-1. Which is smaller: h or z?
h
Let f = 1 - -1. Let u be (-3)/f*1/6. Let t = -35 - -139/4. Is u bigger than t?
False
Let h be -4*3/(-24)*0. Suppose 0 = 4*k + b + 17, -5*b - 13 = -4*k - h*b. Which is smaller: -2 or k?
k
Suppose 5*d - 8*d = y - 8, 4*d = 5*y - 2. Let k be (5 - 7)*1/(-2). Which is smaller: k or y?
k
Let i(g) = -g**3 - 2*g**2 + 3*g - 3. Let q be i(-3). Let v be 2 + (1 - 0/q). Let a be ((-5)/(-20))/(v/8). Which is smaller: 1 or a?
a
Suppose 2*o - o + 20 = 4*t, 0 = -5*o + t - 81. Are -16 and o unequal?
False
Let g = -19 + 7. Is -13 bigger than g?
False
Suppose -3*p - r = 17 - 0, 0 = 4*r - 4. Let w be (-4)/p + 28/48. Suppose 5*z = 4*z + 1. Which is smaller: w or z?
z
Let o be 22/33 + 1/3. Let b(p) = p**3 + 3*p**2 + p + 1. Let q be (-24)/9 - (-4)/6. Let w be b(q). Are o and w nonequal?
True
Suppose -3 = -4*h + 1. Let l = -0.1 - -1.1. Is h at least l?
True
Let g = -8 + 9. Suppose 13 - 3 = -5*a. Let i = 3 + a. Is g < i?
False
Let o = 42 - 211/5. Suppose -k = 3*k + 4. Which is greater: k or o?
o
Let k(x) = -x**2 - 2*x - 7. Let z(w) = w**2 + 3*w + 6. Let m(y) = 2*k(y) + 3*z(y). Let r be m(-3). Is -2 smaller than r?
False
Let y = -8 - -11. Let r = 0.5 + -0.1. Let i = r + -0.5. Which is bigger: y or i?
y
Let b(d) = -12*d + 7*d + 5 - 4. Let s be b(-1). Which is smaller: 0 or s?
0
Suppose 5*g = 7*g + 14. Is -7 bigger than g?
False
Let k = -8 + 16. Suppose 2*t = -4*l - 2*t + k, -2*t = -l - 1. Which is bigger: l or 12?
12
Let k = 0.985 + 0.015. Which is greater: k or 1/10?
k
Let k = -14.9 - -2.7. Let w = k - -12. Is -0.3 smaller than w?
True
Let k = 29 + -23. Is k < 7?
True
Let a(k) = k**3 + 4*k**2 - 1. Let p be a(-4). Let x be 2*26/(-44) - p. Which is smaller: 1 or x?
x
Suppose v - 3*q - 7 = 4, -4*q - 8 = 2*v. Let i(p) = p**3 - 4*p**2 - 3*p - 6. Let o be i(5). Which is smaller: o or v?
v
Let x(l) = 3*l - 13. Let j be x(7). Which is smaller: j or 7?
7
Suppose w - 6 = 3*r, 2*r = -3*w - 2*w - 4. Which is smaller: w or 1.5?
w
Suppose 2*m + 0*m + 5*o = -27, -2*m + o + 3 = 0. Let i be 4*2/11 - 1. Which is smaller: i or m?
m
Let x = -1.58 + 1.8. Let c = x - -15.78. Is c smaller than -2/3?
False
Let i = -6 + 1. Let h = -2 - i. Which is greater: h or 0.2?
h
Let v be (-8)/36*-3*3. Suppose 24 = 4*u - 12. Suppose -1 = z - 3*q + u, 0 = q - 4. Are v and z equal?
True
Let f be 2/4*3*-2. Are -3 and f non-equal?
False
Let b(q) = -q**2 - q + 2. Let s be b(-2). Which is smaller: s or 6/5?
s
Let t = -0.23 + 0.13. Which is smaller: 3/5 or t?
t
Let n(v) = -v**3 - 3*v**2 + 4*v. Let p = 9 - 13. Let g be n(p). Let x = 0.7 + -3.7. Is g at most x?
False
Let r be (-14)/2*12/(-14). Let f(d) = d - 4. Let j be f(r). Let a be 48/336*(-21)/(-4). Which is smaller: j or a?
a
Let x = 2 + 1. Suppose -7*s = -3 - 4. Is s less than or equal to x?
True
Let l = -18 + 16. Is l at least as big as -4/7?
False
Let v be 4 + 4 + 6/(24/(-28)). Which is bigger: 0 or v?
v
Suppose 5*w - 8*w - 5*f = -117, 2*w = 5*f + 78. Are w and 41 unequal?
True
Let q(n) = -n**3 + 9*n**2 + n - 5. Let b be 12/(-4)*(-2 - 1). Let x be q(b). Suppose x*z + 6 = 2*i, 4*z + 0 = -2*i - 18. Which is greater: -7/4 or z?
-7/4
Let d be (-24)/(4 - 1) - -3. Suppose -8*w = -4*w + 16. Is d at most w?
True
Let s = -9 + 14. Let f = s - 3. Let q = 0 - f. Is q < -1?
True
Let w = 1 - 0. Let u(c) = -c**3 + 4*c**2 - 3*c + 2. Let g be u(3). Let f be (-21)/9 + g - 0. Is f at least w?
False
Let s = -12 - -10.7. Let j = s - -1.2. Are -0.7 and j non-equal?
True
Let r = 28/17 - 26/17. Which is smaller: r or 0?
0
Let a(w) = w**2 + 14*w + 13. Let g be a(-13). Is g < 6/17?
True
Let f(v) = -v**2 + 2*v + 4. Let x(j) = j**2 + 4*j + 3. Let z be x(-5). Let c = z - 5. Let q be f(c). Which is greater: 2 or q?
2
Let y = 0.043 + 0.057. Is y smaller than 2/47?
False
Let n = -9 + 8. Which is greater: -2 or n?
n
Let o = -9 + 13. Which is greater: o or 1/5?
o
Let l be 4/6 + (-3)/2. Which is smaller: 0 or l?
l
Let x be (-6 + 2)/(-2 + 3). Let z be 5/(-10)*(-46)/x. Let b = z - -169/28. Which is greater: b or -1?
b
Let z(y) = y**3 - 12*y**2 + 8*y - 6. Let j be z(10). Let s be (-8)/j + (-2)/(-9). Is 1 greater than s?
True
Let h(t) = 2*t**3 - t**2 - 2*t. Let b be h(2). Let d(j) = -j**2 + 1. Let v be d(-3). Let l = b + v. Is l not equal to 1?
True
Let u be (-14)/8*15/35. Which is smaller: u or -2?
-2
Suppose -4 = -4*o + 36. Is 10 > o?
False
Let j = -2 - -6. Let v = j - 6. Let z = 13.9 + -14. Are z and v unequal?
True
Suppose -5*f = 9 + 11. Let n be (-2)/((-7)/((-21)/2)). Let q be (-3)/(-18*n/f). Which is smaller: q or -0.2?
-0.2
Let j = 5 - 5. Suppose 26 = -3*l + 5*x, j*l - 3*l - 2*x = -2. Is -2 <= l?
True
Suppose 2*i - 13 = -5*s, -2*s + 9*i + 11 = 4*i. Let p(y) = y**2 - 7*y + 1. Suppose -2*o - o + 21 = 0. Let w be p(o). Which is smaller: w or s?
w
Let n be (6 - 6)*(3/(-2) - -2). Are n and 2/65 nonequal?
True
Let z(y) = 5*y**2 - 3*y - 2. Let w be z(-2). Which is smaller: w or 23?
23
Let q = -0.012 - 0.074. Which is smaller: -1 or q?
-1
Let t = 17101/1616 - 169/16. Do -1 and t have the same value?
False
Let a be (-20)/(-6)*(-48)/(-10). Suppose 0 = -2*h + 42 - a. Is h > 12?
True
Let z = 250 - 995/4. Let s = 0 - 0. Which is greater: s or z?
z
Let y = -22 - -24. Suppose 2*t + t = j + 14, 2*t = y*j + 8. Which is greater: t or 15/4?
t
Let j(h) = -h**2 - 15*h - 1. Let g be j(-15). Are 1/62 and g non-equal?
True
Let n be 1/(-10)*12/(-9). Let v = n + -4/5. Let u be (-5)/4 + (-1)/(-4). Is u >= v?
False
Let j(n) = n**2 - 7*n - 2. Let p be j(5). Let q be 3/(-8)*(-4)/p. Let m(g) = -g**2 + 2*g + 8. Let z be m(4). Which is smaller: z or q?
q
Suppose 15 = -r + 6*r. Let d = -2 + r. Let k be (-3)/(-6)*d*-1. Is 1 > k?
True
Let s(t) = -7*t**2 - 6*t + 1. Let k(l) = l**2 + 1. Let n(z) = 6*k(z) + s(z). Let g be n(-7). Suppose -d = -5*d. Is g > d?
False
Let z = -2 + 1. Let f = -12.04 + 12. Let q = f - -0.34. Is z at least as big as q?
False
Let x(o) = -o**3 + 2*o**2 + 3*o - 1. Let q(r) = -r - 2. Let l be q(-4). Let v be x(l). Do 2/7 and v have the same value?
False
Let a be (16/(-80))/((-14)/(-10) - 2). Are -46 and a equal?
False
Let r = -2 - -2. Suppose -5*k + 1 = -9. Let d = r + k. Is 3 greater than d?
True
Let x = -31 + 45. Is 14 > x?
False
Let i = -7 - -10. Which is smaller: i or 1?
1
Let r = -32 - -17. Let z = 16 + r. Is z <= 2/23?
False
Let j = -0.149 - -0.049. Which is greater: -12 or j?
j
Let b = -13505 - -1012927/75. Let w = b - 2/75. Suppose -5*u + 2*p - 6 = 0, -15 = 2*u - 5*u - 5*p. Which is greater: w or u?
w
Let c = 5 - 2. Let z(p) = 2 - 5*p + 0*p + 2 + p**2. Let b be z(c). Do b and -1 have the same value?
False
Let o(c) = c**2 + c - 1. Let d be o(3). Suppose -3*u + 5*y = -12, -2*u - 6*y - d = -3*y. Is -2 < u?
True
Suppose k = -3*v + 2 + 6, 21 = -4*v + 5*k. Let l be (-6)/249 - (1 - v). Let r = l + -71/498. Which is bigger: r or 1?
1
Let b(y) = -y**3 + 6*y**2 - 5*y + 3. Let i be b(5). Let p be -2 - (i - 6) - 1. Suppose 0*a - 4 = 4*a. Which is greater: p or a?
p
Let i = 10/7 - 27/14. Suppose -2*x + 3 = -u, 0 = -0*x - 3*x + 5*u + 1. Suppose 0 = x*q - 4*q. Is q greater than i?
True
Let w = -2 - -3. Let o = -8 + 8. Suppose x + x - 4 = o. Which is smaller: w or x?
w
Let r = -58 + 58.1. Which is smaller: 0.47 or r?
r
Let o be (1/(-4))/((-1)/(-2)). Let g(f) = -2*f**2 + 17*f + 5. Let h(j) = -j**2 + 8*j + 3. Let z(w) = -3*g(w) + 7*h(w). Let b be z(6). Which is smaller: o or b?
o
Suppose l + 8 = -l, 0 = f + 2*l + 7. Which is smaller: 1/7 or f?
1/7
Let k be 5 + (-1 - (0 + 0)). Let u be 22/28 + (-2)/k. Suppose 4*s = 2*q - 6*q + 12, -5*s - 2*q = -6. Which is smaller: u or s?
s
Let a = 1.4 - 1.2. Let v = 0.2 - 0.1. Are v and a equal?
False
Let h(r) = -41*r**3 + 2*r**2 - 1. Let f be h(-1). Is -1 > f?
False
Let b be ((-6)/(-64))/(1/(-2)). Let l = b + -1/80. Which is bigger: l or 1?
1
Let d = 1 - 4