d be (-32)/(-4 - -8) + 4. Which is smaller: -6 or d?
-6
Let x = -4 - -4.7. Let d = 0.7 - x. Is d != 0?
False
Let u = 12 + -62/5. Which is greater: u or 4?
4
Let d be 14/(-21)*(-3)/(-11). Is 31 smaller than d?
False
Suppose 2*m = -0 + 2. Let h be (2/6)/(19/(-18)). Let s = h - -80/133. Is s equal to m?
False
Let x be 0*4/32*-2. Which is smaller: x or 2/29?
x
Suppose -3*n = -3*q - 0*q + 15, 0 = 5*q - n - 33. Let x be -1 + (q/2 - 2). Suppose 5*g = g. Is g at most x?
True
Suppose -89 = -9*j + 10. Suppose -4*w + 20 = 0, -w - 11 = -3*d + 14. Which is greater: j or d?
j
Let g = 1.15 - -2.83. Let z = -0.1 - -0.08. Let q = z - g. Is -0.1 greater than or equal to q?
True
Let o(a) = a**2 - 3. Let v be o(4). Let p = 8 - v. Let t = 0 + -4. Which is smaller: t or p?
p
Let c(r) = r**3 - r**2 - 3*r - 1. Let z be c(-1). Let y = 1 + 0. Is y < z?
False
Let g be (-18)/(-8)*3/9. Let f = -2.02 - -0.02. Which is greater: f or g?
g
Let f = 36 + -34. Let t = 0 - 0. Which is smaller: f or t?
t
Let j be (-4)/12*(-9)/(-4). Does j = 0?
False
Let r be (6/(-1))/(5/15). Let j be ((-12)/r)/(2/(-3)). Let u be 0*3/(2 - j). Which is smaller: 3/8 or u?
u
Let q be 8*(-2)/(-4) - 3. Is 4/15 bigger than q?
False
Let k be (4/(-6))/((-4)/6). Is k at least as big as 1/6?
True
Suppose 16 = 5*q - q, -28 = -4*r - 2*q. Suppose 5*d - 4*c = 14, r*d = 7*d - 5*c - 9. Which is greater: d or 1?
d
Let z be 995*((-3)/(-4) + -1). Let k = z - -250. Which is greater: k or 2?
2
Let r = 44 + -91/2. Which is greater: -3 or r?
r
Suppose -3 = -r - 1. Suppose 7 = -2*t - 5*j + 4*j, -12 = 2*t + r*j. Is -2 >= t?
False
Suppose 4 = -a + 12. Let j = a + -42/5. Suppose -8 = -4*y - 4. Which is bigger: y or j?
y
Let g be (-2)/(0 - 2/(-23)). Let n = g - -91/4. Do 1 and n have the same value?
False
Suppose 0 = 3*q - 6*q + 72. Let r be ((-1)/3)/((-4)/q). Is r greater than or equal to 2?
True
Let n be (426/15)/(-2) - (-4)/(-5). Is -15 < n?
False
Suppose -4*l = -3*s + 1, l = 2*s - 2 - 2. Let o be -2 - (2/2 + -3). Is l >= o?
True
Let o(p) = p**3 + 5*p**2 - p - 3. Let k be o(-5). Let a be k/6*(-5 + 11). Let q be -1*a/(-2) - 0. Which is smaller: q or 0?
0
Let g = 11.4 - 10. Let m = g - -0.6. Which is bigger: m or -3?
m
Let u be 8/94*(6 + -5)/(-6). Does u = 1?
False
Let b = 25 + -16. Suppose 5 = -0*i + i - 2*c, -3*c = b. Are i and 3 non-equal?
True
Suppose -3*i + 3 = -2*i. Suppose 23 = 5*z + 4*c, 3*c + 6 = z + i*z. Is z less than 3?
False
Let q = -6 + 4. Is q at least -16/5?
True
Suppose -f + 2 - 14 = 0. Suppose 3*r - b + 6 = 0, -3*b - 4 = 4*r + 4. Let g be (8/f)/(r/9). Which is bigger: 2 or g?
g
Let l = -15 + 23. Let x = -13 + l. Let h = 7 + x. Are -2/7 and h nonequal?
True
Let i be -5 - -5 - (1 - 2). Suppose -4*r - 3 = i. Which is smaller: -1/4 or r?
r
Suppose 0 = -5*s + 3*n - 2 + 12, 2*s - 4 = -3*n. Is 18 less than or equal to s?
False
Let a(v) = -4*v - 14. Let u be a(-8). Let d be (3 - 0)*(1 + 0). Let j be (-20)/u + 3/d. Is 0 less than or equal to j?
False
Let c(t) = 9*t + 36. Let a be c(-5). Which is greater: -7 or a?
-7
Let q be ((-1011)/60 - 1)*4. Let y = 71 + q. Let t(a) = -a**2 + 3*a + 5. Let g be t(4). Which is bigger: y or g?
g
Let y = 2 + 0. Let l be (y/(-3))/((-1)/(-3)). Let a = 30 - 29. Is l less than or equal to a?
True
Let m(i) = 37*i**3 + 4*i**2 + 3*i + 1. Let h be m(-2). Let b be (2/3)/(38/h). Is b bigger than -3?
False
Suppose 0 = -2*d - a - 5, 2*a + 8 = -2*d - 0. Let l(j) = -j**3 + 6*j**2 + 8*j - 9. Let r be l(7). Let y be (6/48)/((-1)/r). Do y and d have different values?
True
Let v = 5 + -2. Let o = -2.95 - 0.05. Which is greater: o or v?
v
Let l be (-2)/5*(-5)/(-10). Let z(q) = -q**3 + q**2 + q. Let r(x) = -x**3 + 7*x**2 + 9*x - 7. Let v be r(8). Let f be z(v). Does l = f?
False
Let b = -37 + 39. Which is greater: b or 0?
b
Let p(v) = v**2 - 17*v + 22. Let j be p(16). Let l be 1*(0 - j/1). Which is bigger: l or -8?
l
Let t(v) = v**3 + 14*v**2 - 19*v - 64. Let p be t(-15). Suppose -3*w + 4 = -3*x - 8, 3*w = 5*x + 18. Let f be 0 - -1 - w - 5. Is f less than p?
True
Let z = -241/4 + 60. Which is greater: 0 or z?
0
Let h = -0.084 - -1.084. Which is smaller: 17 or h?
h
Suppose -3*z - 2*z = -20. Suppose z - 8 = 2*k. Suppose -b = 4*f, -3*f = b + b. Which is smaller: k or f?
k
Let n be (-20)/(-35)*14/20. Suppose -3*j + 2*r = -7*j + 20, -3*r + 3 = -3*j. Suppose -5*s = 2 + j. Is n > s?
True
Let p(z) = -z**2 - z - 6. Let w be p(0). Let s(g) = g**2 + 4*g - 5. Let q be s(w). Let x = q + -10. Are x and -2 unequal?
True
Let i(l) = -l - 7. Suppose 5*v + 2*f = 2*v - 30, 0 = 3*v - 2*f + 18. Let z be i(v). Suppose 0 + 1 = -m. Which is smaller: z or m?
m
Let n = 78 - 46. Which is smaller: n or 1/2?
1/2
Let v be (1/6)/((-4)/(-18)). Let u be (12/(-72))/(1/(-6)). Is u less than or equal to v?
False
Let v = -3259/1211 + -4/173. Is -3 at most as big as v?
True
Let n = -3 - -2. Let q = n - 0. Let i = q - -2. Is i greater than or equal to -0.2?
True
Let j = 7.8 - 8. Suppose 21 = -2*m - a, 3*a = -m - 11 - 7. Which is smaller: j or m?
m
Let j = 3 + -3.2. Let p = 5 - 2. Suppose -p = 4*s - 7*s. Which is greater: s or j?
s
Let w be (-1)/(-3) + 2/(-6). Suppose 4*t - 5 + 1 = 5*g, w = 2*g - 8. Let v(o) = -o**3 + 6*o**2. Let u be v(t). Is u at least as big as 3/10?
False
Suppose 2*i - 5*i + 4*o - 368 = 0, 0 = 3*i - o + 371. Let r = 623/5 + i. Is 1 at most r?
False
Let x = 182 - 160. Which is greater: 0.2 or x?
x
Let v = -1/65 + -63/130. Which is greater: v or -0.2?
-0.2
Let q = 0.1 + -0.2. Let l = -54448/5 + 10926. Let v = l - 37. Which is smaller: q or v?
v
Suppose 0 = 2*q - 5*m + 11, 0 = 2*q - 7*q + 2*m + 4. Let w = 11 + -9. Let t be 1/(0 - w/(-6)). Is t at least q?
True
Let m = 18 - 12. Let q be 32/60*m/(-8). Is -3 greater than q?
False
Let j be (-3)/(-6)*(-4)/1. Suppose -5*i + 3 = 23. Let m be (6/(-9))/(i/(-6)). Which is greater: j or m?
m
Let f = -5 + 6. Let m be f - 2 - 0/2. Is m bigger than 2/7?
False
Suppose -a - 21 = 55. Let t be (6/a)/(12/(-32)). Which is smaller: 1 or t?
t
Let i = 1/9 + 13/45. Are i and -2 nonequal?
True
Let s(o) = 6*o + 91. Let x be s(-15). Which is greater: x or -1/43?
x
Let v = 0.1 + 0.2. Let z = -8.3 - -8.5. Which is bigger: z or v?
v
Suppose -5 + 2 = j, -2*c - 14 = 4*j. Let u = -586/9 - -65. Which is bigger: c or u?
u
Let l = 4.06 + -4. Let u = 0.04 + l. Let z(h) = -2*h. Let j be z(1). Which is smaller: u or j?
j
Let p be (56/(-12) - -5)*(-30)/(-29). Which is smaller: p or 0?
0
Let c = 34 - 72. Is -40 <= c?
True
Suppose 0 = -4*p - p + 5. Let h = -5 + 5.6. Let n = -1 + h. Is n less than p?
True
Suppose -3*r - 27 = -5*z, 4*z = -r + 4*r + 24. Let p = 11 - 14. Let i = p - 1. Is i < r?
False
Let i be 30/135 + (-1 - 16/(-90)). Are i and -1 unequal?
True
Let h = 0 - 2. Suppose 0 = -3*t + 5*v + 15, -v + 2 - 5 = 0. Let x = t + h. Which is greater: -3 or x?
x
Let m(y) = -y - 5. Let c(o) = -2*o**2 - 5*o + 3. Let z be c(-4). Let d(v) = v**3 + 9*v**2 - 5. Let h be d(z). Let s be m(h). Is s >= 1/2?
False
Suppose -3*z - 5 = -8*z. Let h = 469/25 + -12941/350. Let x = h - -37/2. Which is bigger: x or z?
z
Let y = 0.08 + -0.08. Are y and -2 unequal?
True
Let c = -0.1 + 0.1. Which is greater: -3/13 or c?
c
Let c(g) = -2*g**2 - 4*g - 3. Let i be c(-2). Let p be i + 6*(-4)/(-18). Which is smaller: -2 or p?
-2
Let r(u) be the first derivative of u**4/2 + u**2 + u + 8. Let v be r(-1). Is v equal to -9?
False
Let b = 2 - 0. Let h(p) = p**2 - 7*p - 1. Let z be h(7). Let a(q) = -3*q**3 + q**2 + q + 1. Let k be a(z). Is b at most k?
True
Let o be ((-3)/6)/(6/(-8)). Let r = 0 + 0. Let u = -0.1 + r. Is u less than o?
True
Let r = -28 + 14. Let a be (-8)/12 + r/(-6). Which is greater: 2 or a?
2
Let d = 10 - 10. Is -5/11 greater than or equal to d?
False
Let i = 2 + 0. Let v = 97.6 + -76. Let b = -22 + v. Is b bigger than i?
False
Let l(f) = -4*f**2 + 2*f - 1. Let c = 8 + -7. Let j be l(c). Are j and -5/2 equal?
False
Let x = 6.1 + -6. Let z = x + 0. Is 0.1 < z?
False
Let s = 1.3 + -0.8. Let p = -0.1 - -0.6. Let h = p + s. Which is greater: h or -2?
h
Let u be (6/8)/((-4)/64). Let z = 17 + u. Suppose -16 = -4*f + 4*c, 6 = 2*f - z*c - 14. Which is greater: f or -2/3?
f
Let m(q) = q**3 - 4*q + 3. Let f be m(2). Suppose 0 = 4*u + 3*l - 12, 5*u - f*u + l - 4 = 0. Let c = -1/16 - 13/48. Is u not equal to c?
True
Let j = -2 - -6. Suppose