Let v = 21 + -7. Which is bigger: v or -0.1?
v
Let h(u) = -2*u - 4. Let p be h(-4). Let m be (-2)/p - 3/2. Which is smaller: -1/2 or m?
m
Suppose -36 = 5*h + 2*k - 157, -k - 77 = -3*h. Let s = 1231/3 + -435. Let q = s + h. Is q at least -2?
True
Suppose 0 = -3*t - 0*t - 15. Let n = t - -5. Let g be (-1)/((-2 - -1) + n). Is 0 smaller than g?
True
Let j be 22/(-66)*(-2)/(-101). Which is bigger: j or 1?
1
Let q be 2 + 4/(-8)*4. Suppose 0 = -2*z - 0 - 4. Which is smaller: z or q?
z
Suppose 5*k = 15, 0 = 3*l - 5*k - 0 - 3. Suppose -66 = 3*q - l*q. Let j be (-12)/9*3/q. Is 1 equal to j?
False
Let c = -14 + 11. Let g = -4 - c. Let s = 2/167 + -175/668. Which is bigger: g or s?
s
Let a be 2 - (-2)/(4/(-6)). Which is smaller: a or 0?
a
Let a be 0/(-2 + (-2)/2). Is a < -2/65?
False
Let y = 4.03 - 0.03. Let s = 8 + -2. Let a = y - s. Which is greater: -0.1 or a?
-0.1
Suppose 4*u - 5*j = 0, -5*j = -j. Let h be ((-4)/54)/(4/3). Which is greater: u or h?
u
Let v(p) = -p**3 - 15*p**2 - 13*p + 15. Let t be v(-14). Which is smaller: 8/21 or t?
8/21
Let h be 69/42 - (-4)/8. Is h <= 1?
False
Let q = -5 + 4. Let b be (2/38)/(q/2). Do 0 and b have different values?
True
Suppose 17*b = 18*b - 6. Let y(w) = w**3 - 9*w**2 + 2*w - 12. Let u be y(9). Is u < b?
False
Let u be (2/(-16))/(10/(-2168)). Let w = -55/2 + u. Are -2 and w non-equal?
True
Let r = 17 - -24. Let x = r + -206/5. Which is smaller: -1 or x?
-1
Let i(z) = z - 1. Let u be i(4). Suppose 3*r + 17 + 2 = -j, 2*r - u*j + 20 = 0. Let g = -18 - -12. Is g at most as big as r?
False
Let m = 1 - -1. Let n(q) = -q**3. Let f be n(0). Is f greater than m?
False
Let w = -26 + 39. Let l = 7 - w. Which is bigger: -2/7 or l?
-2/7
Let x = -60 - -71. Suppose 0 = 4*o - 0*o + 4*d - 32, -2*d - 4 = 0. Is x equal to o?
False
Suppose 0 = -4*w + 18 - 14. Are w and 2 nonequal?
True
Let p = -0.4 - -0.6. Let z = 1.2 - p. Let y = z + 2. Do y and -1 have the same value?
False
Let w(j) = 5*j. Let b be w(-4). Let x be 1*16/(-2) - 0. Let n be 10/x + (-5)/b. Is -2/5 greater than n?
True
Let t = -13/11 + 18/11. Which is smaller: t or 1?
t
Suppose -29*z + 45 = -34*z. Is z > -9?
False
Suppose -7*k = -5*k - 2. Let l be (-8)/7 + (0 - -1). Which is smaller: k or l?
l
Let z(x) = -4*x**3 - 3*x**2 - 13*x + 4. Let m(p) = p**3 + p**2 + 3*p - 1. Let b(y) = -9*m(y) - 2*z(y). Let h be b(-2). Which is smaller: -2/37 or h?
h
Let q = 2 - 0. Suppose -2*y = -4*y. Suppose 2*d + p = y, -3*d + 4*p = -5 - 6. Which is bigger: q or d?
q
Suppose k = 5*l, l = -2*k - k - 16. Let u = k - -4. Is 1 at most as big as u?
False
Suppose 5*x - 4*d + 148 = 0, -4*x - 4*d = -5*d + 114. Are -28 and x non-equal?
False
Let u = 5 - 11. Which is smaller: -4 or u?
u
Let m = 5.9 - -2.1. Is -1/4 at least m?
False
Let h = 0.01 - -0.09. Let i = 0.2 + h. Let k = -0.2 + i. Is k >= -1?
True
Let v be (-3)/1*(-4)/(-276). Which is greater: -1 or v?
v
Let o = 0.96 - 0.66. Is o >= 9?
False
Let k = -4.71 - 0.29. Is -2/5 equal to k?
False
Let o(i) = i**3 + 10*i**2 - 2*i - 15. Let h be o(-10). Suppose -4*z = -3*p - h, -z - 4*p + 0 = 13. Is z at least as big as -6/11?
False
Let p = 190 - 119. Let i = -363/5 + p. Suppose 0 = z - 2*z - 3. Which is smaller: z or i?
z
Let t = 21/76 - 1/38. Which is smaller: t or 1?
t
Suppose -4*q = b, -2*q - q - 3*b = 0. Suppose q = 5*c - 6*c. Let t(l) = l**2 - 2. Let r be t(c). Is r at most as big as -3?
False
Let s(q) = -5*q + 5. Let u(t) = 6*t - 6. Let l(m) = -5*s(m) - 4*u(m). Let f be l(3). Is -2 >= f?
False
Let u be 4 + -1 + (1 - -19). Suppose 4*w - 29 = -4*j - 9, 0 = 5*j + 4*w - u. Let m(t) = -t + 2. Let h be m(0). Which is bigger: j or h?
j
Suppose -3*w - 3*x + 72 = 0, -2*x - 2 = -8. Suppose 5*d - 4 = w. Suppose d*b = -0*b. Which is bigger: -1/5 or b?
b
Let r = -13 + 24. Let y = r + -2. Suppose -4*f - 6 = 2*k, -4*k - 4*f - 7 = y. Which is smaller: k or -3?
k
Let i = -0.075 + -0.025. Let y = -0.3 - -0.1. Which is smaller: i or y?
y
Let p be 30/(-105) - 75/7. Are -11 and p non-equal?
False
Let c be 1/5 - (21 + -21). Is -1 at most as big as c?
True
Let d = 11.78 + -12. Let a = -0.12 - d. Which is smaller: -0.06 or a?
-0.06
Let t be 88/((70/(-8))/(-7)). Let a = t + -70. Is a at least as big as 0?
True
Suppose -4*p + p = -6. Let o be 1/p - 21/18. Let f = 64.06 - 64. Which is bigger: f or o?
f
Let h = 113/3 + -38. Let r = 0.21 - -0.19. Which is greater: r or h?
r
Let h = 1.62 - 1.52. Which is bigger: 1/134 or h?
h
Let p be 1*(0 + (-2)/(-2)). Let u = 6033/17 - 355. Let y = 11/51 - u. Do p and y have the same value?
False
Suppose 3*o + 12 = 4*p, 2*o - 15 = -5*p + 5*o. Let j be 1 + -1 - (-10)/p. Which is greater: j or 3?
j
Let r(t) = t**3 + 16*t**2 + t + 17. Let x be r(-16). Is x equal to 1/2?
False
Let l be 210/(-20)*(-4)/6. Suppose 3*w = l - 13. Which is greater: w or 0?
0
Suppose -4 = j - 4*i, -2*i - 38 = 5*j - 4*i. Does j = -6?
False
Let r be -2*(6 + -2 + 1). Let w = r + 9. Let v be (((-2)/(-13))/2)/(-1). Which is smaller: v or w?
w
Let o(d) = -d**2 + 7*d - 4. Let n be o(7). Is n bigger than 2?
False
Suppose 3*b + 2 = 4*b. Suppose -3*a = 4*r + 1, 3*a - 3*r = 4 + b. Which is smaller: a or 0?
0
Let h = -0.4 + 0.41. Which is smaller: h or 1/3?
h
Let o(z) = z**2 - 3*z. Let w be o(4). Suppose -w*a = -3*a. Let r be (-3)/(51/(-32)) - 2. Which is greater: r or a?
a
Let g(d) = -2*d - 7. Let f be g(-2). Are 10 and f equal?
False
Let n(o) = o + 5. Let y be n(4). Let m be (7/(-42))/((-1)/y). Which is bigger: -1 or m?
m
Let j(d) = -2*d + 6. Let h be j(4). Let k = h + 5. Let n be ((-1)/(-10))/(2/(-8)). Which is smaller: k or n?
n
Let z be 21/28*2/(-6). Which is smaller: z or 0.1?
z
Let f = -7 - -4. Suppose b + 17 - 2 = 0. Let j be (f/b)/(1 + 0). Which is smaller: -1 or j?
-1
Suppose 0*x - 15 = -5*x. Let k(o) = -2*o**2 - 4*o**2 + 3*o + 2*o**2 - 3 + 4*o**3 - 3*o**3. Let j be k(x). Is j greater than or equal to -2?
False
Suppose -1 + 4 = -y. Let j be 16/(-6)*1*y. Which is bigger: 7 or j?
j
Let m = 8 + -5. Suppose -m*h = -6*h - 9. Which is greater: -2 or h?
-2
Let o = -0.05 + -0.15. Let w = o + 0. Is -2/5 less than w?
True
Let r(c) = 2*c - 10. Let o = 17 - 10. Let a be r(o). Are 0 and a nonequal?
True
Let r = 5 + 2. Is r less than or equal to 8?
True
Let b = -54 - -47.6. Let a = b - -6. Let t = a - -0.2. Is t <= 1/3?
True
Let i(r) = 7*r - 33. Let f(k) = 3*k - 16. Let t(x) = -9*f(x) + 4*i(x). Let h be t(-10). Is 1 less than or equal to h?
True
Let x(q) = -q**3 - q**2 - q. Let g(c) = 3*c**3 + 8*c**2 + 5*c - 1. Let h(n) = -g(n) - 5*x(n). Let s be h(2). Suppose -7*f + 2*f = s. Is -1/10 smaller than f?
False
Let y = 10 + -2. Which is bigger: y or 9?
9
Let i be (-4)/(-10)*3/(-6). Let n be (-1*3)/(2 + -3). Let o be 0 + -5 + n + 1. Does i = o?
False
Let h(z) = -z + 12. Let o be h(6). Suppose 3*r = -f + r - 7, 0 = 2*f - r - o. Let x = -37/235 - 2/47. Are x and f non-equal?
True
Suppose -9 = g + 4*i - i, i + 3 = 3*g. Suppose g*w + 2*w - 8 = -2*h, -3*h = -12. Are 0 and w non-equal?
False
Let z(g) = -3*g**3 + 14*g**2 + 12*g - 5. Let s(f) = -f**3 + f**2 + f + 1. Let p(o) = -4*s(o) + z(o). Let x be p(-9). Let a = 2 + -1. Which is greater: x or a?
a
Let t(z) = 0*z**3 + 0*z**3 + 2*z**3. Suppose -5*p + 2 = -c - 24, 2*p - 8 = -2*c. Let v be t(c). Which is smaller: v or 0?
v
Let l = -220 - -123. Is -97 not equal to l?
False
Suppose 0 = -h + 1. Suppose 3*x - 2*x = -h. Which is smaller: -2 or x?
-2
Let l(a) = -7 - a - 6*a**2 - 5*a - a. Let n be l(-8). Let t = n + 5027/15. Are t and -1 nonequal?
True
Let u be 1*-4 - (-111)/106*4. Which is greater: u or -1?
u
Let s be 4/10 + 2/(-5). Suppose -z + 3 + 1 = s. Which is smaller: z or 5/2?
5/2
Let o = 1.028 - 0.028. Let q = 4 - 6. Is q less than or equal to o?
True
Let u = 0.01 + -16.01. Let r = -17 - u. Is r less than 7/3?
True
Let s be 20/(-35) - (0 - 1). Let d be (6/(-3) - 1) + 2. Is d less than s?
True
Suppose x = 5*x. Let f be (-7 - -6)*(x - 1). Suppose -u + 0*u = f. Is -2 greater than or equal to u?
False
Let i = 26 - 18.4. Is 0.2 >= i?
False
Let x = -0.02 - -2.02. Which is bigger: -0.07 or x?
x
Let k = -15 - 20. Let n = k + 103/3. Is 0 <= n?
False
Let z = 6.4 + 0.6. Let r = 0.1 + -5.1. Let s = z + r. Is s > 0.1?
True
Let l = -0.3 + 0.3. Let i = 0.1 + l. Is 8/5 equal to i?
False
Let s = 24 - 5. Let z = s - 18. Are 1 and z nonequal?
False
Let h = -0.2