 = 34/3 + -67/6. Which is greater: q or 1?
1
Suppose k + 2 + 2 = 0. Let y be (-3 - k - 0)*1. Is y < 4?
True
Let m = 1 - 2. Let a = -3 - 9. Let q = -6 - a. Which is smaller: m or q?
m
Suppose -u - 4*u = 5. Let x = 8 + -6. Suppose 5*m = 5*d, 10 = -x*d - m + 4. Which is greater: u or d?
u
Let g be 14/20 - 2/4. Suppose -s - 18 = -3*j - 5*s, s + 30 = 5*j. Let l = 5 - j. Is g less than l?
False
Let b = -2.4 + 0.7. Let c = b - -0.7. Let j = -0.5 + 0.3. Which is bigger: j or c?
j
Suppose 3*q + 44 = 4*x, -4*x = 5*q - 7*x + 66. Is q greater than or equal to -11?
False
Let d = 0 - 1. Let s(p) = p**3 + 9*p**2 + 7. Let l be s(-9). Let a be 4/2 + (-12)/l. Which is smaller: d or a?
d
Let l = -2.92 - 0.38. Let h = -4 - l. Let u = -1.7 - h. Which is bigger: u or 0?
0
Let m = 449.69 - 446. Let j = m - -1.01. Let v = 5 - j. Is 2 less than v?
False
Let g = 80 + -32. Is g greater than 49?
False
Suppose 0 = -p + 3 + 18. Is 22 at least as big as p?
True
Let o(p) = -2*p**2 + 1 + 7*p**2 - 2 + 2*p - 2*p**2 + p**3. Let y be o(-2). Let m be (-45)/276 - 1/(-4). Which is greater: m or y?
m
Let j = -23 + 22.1. Let v = -0.1 + j. Are v and -1 unequal?
False
Let k(g) = -g**2 - g + 1. Let a be k(1). Let f be (-4)/(-21)*6/(-20). Does a = f?
False
Let n = 12 + -18. Is n at least as big as -3?
False
Let r(p) = 2*p - 4. Let b be r(-6). Let z be (-3)/4 - 20/b. Let i = 1 - 1. Is z greater than i?
True
Let k = -4 - 6. Let b = k + 16. Is 11/2 at least as big as b?
False
Let k = -0.74 - 0.06. Let i = -1 - k. Let u = i - 0.1. Which is smaller: u or 2?
u
Let l = -2/89 + 192/623. Let a be 3/6 + (-1)/2. Suppose a = 2*y - 3*y. Which is smaller: l or y?
y
Let i(o) = -4*o**2 - 7*o + 25. Let p be i(3). Do p and -29 have different values?
True
Let u = -32/3 - -11. Let i = -10 - -10. Is u less than or equal to i?
False
Suppose 3*n - 4*o - 2 = 0, -3*n + 4*n = 4*o - 2. Let w(p) = p - 5. Let x(y) = -2*y. Let d be x(-3). Let j be w(d). Which is greater: j or n?
n
Let b(x) = 2*x**2 - 2*x + 1. Let d be b(2). Suppose 2*o + 3*o + 5*s + d = 0, -2*o + 5*s = 37. Let y be o/(-9) - (-1)/3. Is y < 1?
False
Suppose -4*d - 2*s - 9 = -25, d + 1 = 2*s. Which is bigger: d or 15/7?
d
Suppose 0 = -2*r, -u + 4*r + 4 = 3. Which is smaller: u or 1/7?
1/7
Suppose -4*g - 35 = 5*p, -g = -2*p - 3*g - 16. Let d be 4/p*(-18)/4. Suppose 2*m = -3*a + d, 3*a - m + 2 = -1. Which is greater: a or 2/9?
2/9
Let n = -541/40 - -105/8. Let s = 2/983 + -10861/23592. Let v = s + 1/8. Which is smaller: v or n?
n
Suppose m = -0*m + 16. Suppose m + 4 = 5*t. Suppose -4*r + 2*y = -8, 3*r = t*r + 4*y + 7. Is r greater than or equal to 3/5?
True
Suppose -4*z + 20 = z. Let f(q) = q**2 + z*q - 1 + 0*q**2 - 2*q**2 + 4. Let i be f(4). Is 3 less than i?
False
Suppose -6*o + 8*o + 44 = 0. Let y = o - -25. Which is greater: y or 12/5?
y
Suppose -45 = 2*b - 17. Suppose 0 = 5*h - 2*r + 85, -10 = h - 0*h + r. Are h and b equal?
False
Suppose -1 = -i - 3. Let v = -1 + -1. Is i at least as big as v?
True
Let b = 20 - 8. Let z = b + -6. Which is bigger: 7 or z?
7
Let p = -4 + -1. Let c(h) = -h**3 + 5*h**2 + h - 2. Let z be c(5). Let w be 1/z + -3 + 3. Is w greater than p?
True
Let p = 1 + 0. Suppose 3*x = -5*g - 12, 3*g + p = -x - 7. Suppose -5*o + 11 = x. Which is greater: 1 or o?
o
Let i = 10 - -1. Are i and 11 equal?
True
Let k(x) = x**3 - x**2 - x + 1. Let z(o) = 4*o**3 - 3*o**2 - o + 3. Let c(r) = -2*k(r) + z(r). Let t be c(-1). Which is smaller: -2 or t?
t
Let m = -275/3 + 4657/51. Which is greater: -1 or m?
m
Let f(x) = -x**3 + 11*x**2 - 7*x - 5. Let t be f(9). Let v be (-4)/18 - t/(-18). Suppose -2*o - 26 = -5*d, -5*o - 9 = -2*o. Which is smaller: v or d?
d
Suppose 6*y + 3 = 5*y. Suppose 4*l + 12 = 4*t, -3*t + 12 = -4*l + 2*t. Let r = y - l. Which is bigger: 1 or r?
1
Let t(z) = -z**3 + 3*z**2 - z + 4. Let g be t(3). Let d = g - -3. Let y be (-9)/d + (-2)/(-8). Which is bigger: y or -3?
y
Let c be (4/15*3/4)/3. Are -1 and c non-equal?
True
Let c = -7 - -7. Suppose 4*u = 4, -3*u + c*u = -3*b + 9. Suppose b = -w - 3*w. Which is smaller: w or 0?
w
Let g = -0.16 - 0.84. Is g > -2?
True
Let x be (12/24)/(33/36 + -1). Is x at most -6?
True
Suppose 2*w + 2*w = 32. Suppose 3*p + w = p, 3*f = p - 47. Let c = 69/4 + f. Is 2/9 greater than or equal to c?
False
Let b = 1 - 1. Let j be -1 + b - (2 + 1). Let q be 1*-1 + -1 + -1. Which is smaller: j or q?
j
Let o(l) = l**3 + l**2 - l + 3. Let u be o(-3). Let q = u + 11. Which is smaller: -5/4 or q?
-5/4
Let b be 3 + 7/(21/(-6)). Let r = -2 + 1. Let s be 1/(r*(-2 - -1)). Is s at most b?
True
Let p(n) = -n**3 - 5*n**2 + 6*n + 2. Let l be p(-6). Let h be 1/l*(1 + -4). Which is greater: -2 or h?
h
Let t(g) = -g**2 - 10*g - 10. Let q be t(-8). Suppose -2*a + q + 2 = 0. Suppose -4*b = -a - 0. Is b greater than or equal to 0?
True
Let y be (-369)/30*(-732)/(-45). Let x = -200 - y. Suppose -9*b + 8*b = 0. Which is greater: b or x?
x
Let h = 652/58695 - -2/455. Which is smaller: -1 or h?
-1
Let r = -1.1 - -1.2. Which is greater: r or -12?
r
Let o be (6/3)/((-2)/(-3)). Suppose 0 = -o*t - 5 - 7. Which is bigger: -3 or t?
-3
Let v = -1.95 + -0.05. Which is greater: v or 1?
1
Let v = 6453/5 - 1286. Do v and 5 have the same value?
False
Let f = -7.1 - -0.1. Let k = 9 + f. Let l = -1.9 + k. Which is smaller: l or 0.4?
l
Let q = 1 + 12. Let y = q - 12. Which is greater: y or -2/15?
y
Let b = -0.5 + -0.4. Let r = b + 1. Do r and 0.1 have different values?
False
Suppose -4 = -5*p - 2*n - 0*n, 4*n = 8. Let v(r) = -r**3 - 7*r**2 - 7*r + 1. Let a be v(-6). Let m(d) = -d**2 + 6*d + 7. Let k be m(a). Are k and p equal?
True
Suppose -8 = -y + 2*h, 3*h + 31 = -3*y - 2*h. Let j be 13/y - 1/2. Is -6 greater than or equal to j?
True
Suppose -4*p + 16 = 0, -2*k - 3*p + 1 = -5. Let m be (-2)/4*(8 - 2). Is m > k?
False
Let v = -10.8 - 0.2. Let u = v + 12. Which is smaller: u or 6?
u
Let z be ((-56)/(-24))/((-2)/(-6)). Suppose -z*m = -5*m. Is m less than 9?
True
Let u = -3 - -3.5. Let v = -0.65 + 0.95. Which is smaller: u or v?
v
Suppose -5*v - 42 = -2*v. Let f = v - -20. Which is smaller: 3 or f?
3
Suppose 0 = 5*k - 10, 2*p + 8 = -0*p + 3*k. Which is smaller: -3/16 or p?
p
Suppose 57*r + 4 = 61*r. Is r greater than or equal to 2/37?
True
Let x(d) = -d**2 - 4*d + 7. Let u(w) = w**3 + 5*w**2 + w. Let h be u(-5). Let z be x(h). Let s = -0.1 - -0.3. Which is smaller: z or s?
s
Let d = -3 + 0.3. Let k = d - -3. Let n = 0.4 - k. Is n not equal to -4?
True
Suppose p + 2*z - 10 = -p, 2*z - 12 = -4*p. Which is bigger: p or -3/73?
p
Suppose 2*s - 3*s = 0. Which is bigger: 4/19 or s?
4/19
Suppose 2*g - 1 = g. Let j(x) = -8*x**2 + 2*x**3 - 8 - x**3 - 2*x**2 + x. Let t be j(10). Is g > t?
False
Let c = -3 - -8. Which is smaller: c or -0.2?
-0.2
Let y(z) = -4*z - 4. Let n be y(-4). Let k be n/(-15)*10/(-4). Let m be (0 - (k + -2))/1. Which is bigger: m or -0.2?
m
Let z be (-6)/9 + (-5)/(-3)*1. Is z greater than or equal to 9/7?
False
Let x be (-2)/7 - 2/(-7). Suppose m - 12 = -7. Let s = 5 - m. Is s less than or equal to x?
True
Let r be (-4)/(-3)*(0 - (-3)/2). Let q be (-1)/(-3)*(3 + 6). Is r bigger than q?
False
Suppose h - 4 = -2*t, t + h = -0 + 1. Let l = t + 0. Is 0.1 equal to l?
False
Let w = -7 - -9. Suppose -q = -5*k - 0 - w, 4*q = -4*k + 8. Is 2 less than q?
False
Let z(d) be the second derivative of d**4/12 + 4*d**3/3 - d**2/2 + 4*d. Let c be z(-8). Are c and -2/5 equal?
False
Let l = 2.4 - 2. Let f = l - 0.9. Which is bigger: f or 1?
1
Let g be -1 - 0 - 3/(-3). Let z be g*((-1)/(-2) - 0). Let n be (z - (-3)/3)/(-1). Which is bigger: n or 0?
0
Let z be -1 - 5/(5/(-3)). Suppose l = 1 + z. Let k be 0/(0 + l) + 3. Are k and 3 nonequal?
False
Let t = 31 - 33. Is t at most as big as 0.1?
True
Let g(q) = q - 7. Let b be g(9). Is b at most as big as 8/5?
False
Let w be (10/(-4))/(1/(-2)). Suppose w*x - 1 + 6 = 5*n, -x + 3*n = 3. Suppose 0 = -3*b - x*b. Is b bigger than -2/11?
True
Suppose -j - g + 5 = -3, -j - 2*g + 12 = 0. Let a = 0.1 + -0.2. Let c = -0.2 - a. Which is smaller: c or j?
c
Suppose 3*o + 5 = n - 0*n, -o - 2 = 0. Let h = -4 + 9. Let v = h + -4. Which is bigger: n or v?
v
Let c = -6 + 6.9. Let k = -0.1 + -0.9. Let r = k + c. Which is greater: r or 1?
1
Let q(w) = -w**3 - 13*w**2 - 13*w - 16. Let r be q(-12). Is -2 > r?
True
Suppose 8 = 2