ch is smaller: 2 or q?
q
Let y(f) = f**3 + 6*f**2 + 5*f - 5. Let w be y(-5). Is w bigger than -6?
True
Let k be (3 - (0 + 2))*-1. Let l be (0 + -1)/((-2)/(-8)). Let y be (-1)/l*1*-1. Which is smaller: k or y?
k
Let t(b) = b**2 - 3*b - 3. Let m be t(4). Let j = -2 - -6. Suppose 5*z - j = 1. Is m greater than z?
False
Let o = -0.149 - 0.041. Is -0.1 at most o?
False
Let q be (40/12 - 3)*-39. Is q bigger than -13?
False
Let o = 2 + -1.8. Let j be (-8)/3 + (-2)/(-3). Let b = 2 + j. Is b smaller than o?
True
Let u be (-2)/(8*(-1 - 0)). Let t = 3 - 3. Suppose t*i - 3 = 3*i. Which is bigger: i or u?
u
Let t be ((-10)/35)/(1/7). Which is smaller: -5 or t?
-5
Let p = -6 + 4. Let f(c) = c**3 + 3*c**2 - 1. Let r be f(p). Which is bigger: r or 0.1?
r
Let t = 1 - -1. Let d = 1.9 - t. Let b = d + 0.2. Which is greater: -0.2 or b?
b
Let r(c) = -c**3 - c**2 + c - 2. Let o(u) = -u. Let a be o(2). Let z be r(a). Suppose -2 = -0*t + t. Which is bigger: z or t?
z
Let q = 9.6 + -10. Let k = q + 0.1. Let b = -0.3 + 0.4. Which is smaller: k or b?
k
Let u = 13 - 10. Suppose -7 = 2*r - u, 4*n + 5*r + 14 = 0. Is -1/4 equal to n?
False
Let x = 0.13 - 1.13. Is 2/45 >= x?
True
Let o(k) = -6*k. Let f be o(5). Let g = f - -61/2. Let q be -3 - (2 - 12/2). Is q bigger than g?
True
Let y be (8/(-66))/(6/9). Let n be 2/(-4) - 7/14. Let v be 3 + -2 + n + 0. Which is smaller: y or v?
y
Let i be 5*3/(-30)*2. Is i smaller than -1/10?
True
Suppose -6*d - 3*j = -2*d + 19, -4 = -d + j. Let u = d - -1. Let g be u + 21/(-19) + 1. Which is bigger: 1 or g?
1
Let r = -3.2 - -1.9. Let y = r + 0.3. Let l = 12 - 13. Is l greater than y?
False
Let m be -1 + 15/9*3. Let v be 1 + m*-2 + 3. Is -3 < v?
False
Let x = -1.42 - 0.58. Which is smaller: x or -0.05?
x
Suppose 3*x - 23 = 4. Suppose 3*j + 4*q = 17, -3*j - 2*j - 3*q + 32 = 0. Let h = x - j. Is h at most 0.3?
False
Let h = 82 + -81. Let f = -1 + 3. Let t = 0 + f. Is h less than t?
True
Let s = 7 + -5. Suppose p = 6*p - s*q - 23, -2*p + q = -9. Suppose 4*f - 2*h - 6 = 0, 0 = 3*f - 6*h + p*h - 4. Which is smaller: f or 2/7?
2/7
Let c(z) = z**2 - 4*z - 6. Let h be c(5). Let f be -2 + 6 + -1 + -4. Let s be f/(3 + 25/(-10)). Which is smaller: h or s?
s
Suppose 2*x - 3*m = -52, 0 = 2*x + m - 3*m + 50. Which is bigger: x or -19?
-19
Let i be 32/14 + 8/(-28). Suppose j - i - 2 = 0. Which is smaller: 3 or j?
3
Let f be (-6)/(-40) + 2/(-5). Let k = 0.1 - 0.6. Let b = k + 2.5. Are f and b nonequal?
True
Let n be 2/(0/2 - -2). Let a = 3 - n. Let x = -10 + 11. Which is bigger: x or a?
a
Suppose 7*s - 14 + 28 = 0. Is -4/7 at most s?
False
Let n be (3/(-2))/(-1)*792/27. Which is smaller: n or 43?
43
Let d be (-10)/18*(-1 - 2). Let j(q) = q**3 - 4*q**2 - 2*q + 9. Let z be j(4). Does z = d?
False
Let p = 5 + -6.7. Is p less than or equal to 1?
True
Let y be (-109540)/(-6) + 4/12. Let i = 109823/6 - y. Let g = i + -47. Is -2/5 at most g?
True
Suppose 1 = o + 3*c + 13, o = 5*c + 28. Let x(u) = -u**2 + 7*u - 1. Let i be x(6). Let n be o/((-15)/(-2))*i. Which is smaller: 1 or n?
1
Let n = 16 + -14. Let i be (2/3)/((-8)/(-9)). Which is smaller: n or i?
i
Let v be (-18)/9 - (-2 - 0). Which is smaller: v or -2/3?
-2/3
Let g = -1 - 2. Let l be g/12*(-8)/(-6). Is l greater than 0?
False
Suppose -3*f - 12 = -6*f. Let x = -2 + f. Suppose -3*q - x*q = 5. Which is greater: q or 0?
0
Let l = -0.2 - -0.1. Let u = -71 - -70.5. Which is bigger: l or u?
l
Let v be 0 + 2 - 2*1. Suppose 2*h + v = 4. Is h >= 1?
True
Let t(b) = -b**2 + 3 + 2 - 4 - 2*b. Let n be t(-3). Let k = -7 - n. Is k greater than or equal to -5?
True
Suppose a - 6 = -a. Suppose -54 = 2*t - 5*t + 3*o, 0 = a*o - 12. Let b be ((-1)/t)/(4/(-8)). Which is greater: 1 or b?
1
Suppose 25 = 2*x + 3*x - 5*n, 3*n - 9 = -5*x. Let a = 2 - x. Suppose 0 = -3*o - 0*o + 3*w - 6, -o - 2 = 4*w. Which is greater: o or a?
a
Let b = -6 - -8. Let l be (-8)/24 - b/(-3). Let h(z) = -z + 5. Let g be h(5). Which is smaller: l or g?
g
Let d be (-8)/(-92)*2/(-4). Suppose n + 6 = -3*x, 0*x - 3*x + 9 = -4*n. Is d greater than x?
True
Let f = 0 - -0.1. Let h = -0.2 + 0.3. Let d = f - h. Is -2 > d?
False
Let w be (-13)/30 - (-18)/54. Is w at least as big as 1?
False
Suppose -3*z - 4 = 2. Let u(y) = -7*y**2 + 11*y + 1. Let x(s) = 13*s**2 - 21*s - 2. Let j(b) = 11*u(b) + 6*x(b). Let l be j(5). Which is smaller: z or l?
z
Let h be 4/(-5)*25/10. Which is smaller: 0 or h?
h
Let p be (-2 - -3)/(4 - 3). Is p smaller than -2/111?
False
Let u(z) = 2*z**2 - 4*z + 3. Let d be u(3). Let k = d + -4. Suppose -5*n = -0*n + k. Are n and -1 nonequal?
False
Suppose -4*t = -6*t - 6. Which is greater: -4 or t?
t
Let a(l) = 2*l. Let v be a(-1). Let s = -0.02 - -0.32. Let k = s - 0.1. Which is greater: v or k?
k
Let x = 42 - 41.96. Which is bigger: x or -3/4?
x
Let b = 0.5 - 0.87. Let n = -0.07 - b. Let f = n + -0.5. Which is smaller: 0 or f?
f
Let v = 93 - 130. Let g be ((-145)/6)/((-2)/(-3)). Let r = v - g. Is -1 at most as big as r?
True
Let m(j) = -j**3 - 3*j**2 + 6*j - 21. Let r be m(-5). Let b be 44/(-46) - (-2)/2. Which is smaller: r or b?
r
Let o be (-11 + 2)*(-4)/6. Let q be 3/(-5)*(-45)/o. Which is smaller: 4 or q?
4
Let z(m) = -m**2 + 8*m + 8. Let y be z(9). Let p = y + 1. Which is bigger: 1 or p?
1
Suppose t = 3 + 3. Let k be 0 + (2/2 - 1). Suppose k = 2*g + g - t. Which is bigger: g or 3/2?
g
Suppose -9*i = -21*i + 156. Are 15 and i equal?
False
Let v be 1/(-4) - 0/3. Suppose m - 2 = -0. Suppose 0 = 4*o + 2*g + 2, -3*o - 2 = 2*g + m. Which is smaller: o or v?
v
Suppose 1 = q + 4, n + 9 = -4*q. Suppose 3*i = 6*i + 4*s - 1, n*i + 5*s = -1. Do i and 3 have the same value?
True
Let a(t) = -t**3 + 7*t**2 - 14*t + 9. Let m be a(5). Which is smaller: -6 or m?
m
Let s(v) = -2*v**2 + 6*v - 2. Let n = 6 + -2. Let x be s(n). Which is bigger: 1/2 or x?
1/2
Suppose -2*m + 6 = -0*m. Let k = -2 + m. Suppose 3*a - 3 - 3 = r, -3*a + 6 = 3*r. Which is smaller: k or a?
k
Let s = -11 - -7. Let y be (s - -4)/((-1)/1). Is -1/8 >= y?
False
Let w be (-44)/(-6) + (-10)/30. Is 7 <= w?
True
Let i be 4*(3 + (-7)/2). Let q be 2/(-4)*2 - i. Which is smaller: 4/3 or q?
q
Suppose 0*b + 3*u = -2*b - 4, 0 = 4*b - 4*u + 8. Does b = -3?
False
Suppose 2*r + 147 = r + 2*a, 4*a - 723 = 5*r. Which is bigger: -144 or r?
r
Let j(m) = m**2 - 2*m - 4. Let d be j(4). Suppose -z + 1 = -d. Suppose -z*o = 3*t + 28, t - 2*o = 4 + 5. Is t greater than or equal to 2/9?
False
Let u(k) = 3*k - 40. Let g be u(15). Suppose -6 - 8 = -2*m. Is g bigger than m?
False
Let r = 20 - 18. Is r less than or equal to 2?
True
Let y = -19 - -13. Let n = 5 + y. Is 2 smaller than n?
False
Let k(z) be the second derivative of -z**5/20 - 5*z**4/12 + 3*z**3/2 + 3*z**2/2 - 3*z. Let w be k(-6). Do -14 and w have different values?
True
Suppose 3*f + 5*d = -148, 4*f = f + 3*d - 180. Let g be 1*(-2 + f/(-30)). Which is smaller: g or 0?
g
Suppose l + g = 3, 3*g = l - 5*l + 13. Is 0 at least as big as l?
False
Let c = -8 + 8.3. Let s be (-4 + 4)*(-1)/3. Are c and s nonequal?
True
Let a be 66/2 + (-6)/2. Let p be 12/a + (-3)/(-5). Are p and 3/19 equal?
False
Let f(r) = -9*r + 2. Let c(l) = -5*l + 1. Let u(b) = 5*c(b) - 3*f(b). Let x(p) = -5*p + 2. Let m(q) = -11*u(q) - 4*x(q). Let w be m(2). Is w >= -1/4?
False
Let v(w) = w**3 - 10*w**2 + 10*w - 4. Let o be v(9). Suppose 5*m = 3*x - 25, 2*x + o = 5*m - 6*m. Which is smaller: 1 or x?
x
Let h be -5*(2 + 296/(-150)). Let w = 1 + -2. Is w greater than or equal to h?
False
Let n(z) = z**2 + 4*z - 1. Let x be n(-4). Let r = -176/567 + 2/81. Do x and r have the same value?
False
Let i = 7 - 8. Is 0 at most as big as i?
False
Suppose 2*h = -2*r + 6 - 16, 3*h + 2*r + 10 = 0. Is h less than 3/11?
True
Let y(o) = 23*o**3 + 2*o**2 - 1. Let d be y(-1). Suppose -4*b = -6 + 54. Let n be b/d*1/3. Does n = -1?
False
Let w = -0.98 - 0.02. Let l = w + 1.1. Let r be 18/(-12)*1/(-3). Does r = l?
False
Let z be -4 - -2*(-4)/(-8). Which is smaller: 1 or z?
z
Suppose -5*q = -3*q - 4. Is q smaller than -6/5?
False
Let r = -14 + -2. Let h be ((-1)/(-2))/((-2)/r). Suppose -h*n = -1 + 5. Is -2 at least n?
False
Let l be (-4)/((-1020)/141) + (-1)/5. Which is greater: l or 0?
l
Let p(z) = 2*z - 7. Let s be p(5). Let b be (-12)/8 + (s - 1). Let g be (-76)/(-156) - (-1)/(-3). Is b greater than g?
True
Sup