 4). Which is greater: a or 1?
1
Suppose -2*x + 4*x = -4*c + 10, -c = x - 3. Is -4/15 not equal to x?
True
Let c be (-2)/16*-2*(16 + 14). Is c smaller than 9?
True
Let q = 44 + -312/7. Is q greater than or equal to 1/2?
False
Suppose -3*z - 9 - 6 = 4*r, -2*z - 14 = 4*r. Which is smaller: -4 or r?
-4
Suppose 4*t = 5*y - 12, 3*y + 5*t = -0*y - 15. Which is bigger: y or -4/15?
y
Let h be 30/24 - 2/8. Let p = 9973/135 - 369/5. Which is bigger: h or p?
h
Suppose -2*o - 4 = -o. Which is greater: o or -2?
-2
Suppose 5 - 23 = -t. Suppose 3*u - t = -0*u. Suppose 0 = 5*x + 4*r - 11, -2*r + 3 = -x + u*x. Which is bigger: 0 or x?
0
Suppose -2*h + 3*d + 6 + 0 = 0, -h - 4 = 2*d. Suppose 3*j - 3*i - 18 = h, 3*j + 10 = 4*i + 29. Which is smaller: j or 4?
4
Suppose 4*f - 4*p - 4 = 0, 0*f = 3*f + 3*p - 9. Suppose n - 60 = -f*n. Suppose 7 + 5 = -5*i + 3*r, -n = 5*i - 5*r. Which is bigger: -1 or i?
i
Let o be 6/(-52)*8/(-6). Which is bigger: 0 or o?
o
Let x(z) = -z - 3. Let c be x(-4). Let a(f) = 12*f**2 + 1. Let p be a(c). Let g = -25/2 + p. Which is bigger: g or 1?
1
Let t(p) = -p**2 + 14*p + 20. Let l be t(16). Is -13 less than l?
True
Let f = 69 + -68.9. Do 55 and f have different values?
True
Let k = 6.5 + -7. Which is smaller: k or -0.3?
k
Let c = 772/9 + -86. Suppose 4*i - 5*p - 14 = 0, -3*i - 4*p - 3 = 2*i. Are c and i unequal?
True
Let j = 9 + 5. Which is greater: 16 or j?
16
Let q(j) = -j**3 - j**2 + 3*j + 3. Let w be q(-2). Let g = -16/11 - -37/33. Which is smaller: w or g?
g
Let j(v) = 21*v**2 - 1. Let i be j(-1). Suppose m + 5*l + 6 = i, 1 = 2*m + l. Is m bigger than -3/4?
False
Let n be -2 + (3 - (-3 + -144)). Let p be n/88 - 3/2. Which is greater: 1 or p?
1
Let w = 41/217 + 3/31. Let x = -7 - -6.94. Is x greater than w?
False
Let q(i) be the second derivative of i**4/12 - i**3/6 - i**2 - 4*i. Let x be q(0). Which is greater: -5/2 or x?
x
Suppose r - 1 = 4*n + 16, 2*r + 5*n = -18. Let a = -92172 + 12258707/133. Let q = 16/19 + a. Are q and r equal?
False
Let n = 9 - 3. Suppose 2*d = -d + n. Let a be -1*(-1 - 1) + -3. Which is smaller: a or d?
a
Let y(w) = -w**3 - 2*w + 3. Let o be y(2). Is -9 greater than o?
False
Suppose 0 = -i + 4*i. Let z = 223/6 + -37. Which is greater: z or i?
z
Let y(z) = -3*z + 3. Let j be y(9). Let n be ((-1)/(-10))/((-66)/j). Which is smaller: 0 or n?
0
Let m = 2 - 13. Let y = m + 11. Is y at least -0.01?
True
Suppose 2*x - 51 = -5*c - x, -2*c + 28 = 5*x. Suppose 4*f = 5*i + 17 + 36, 2*f = -i + c. Which is bigger: 9 or f?
9
Let u = 12 + -12.02. Is u less than or equal to 0?
True
Let y(t) = -2*t + 14. Let i be y(7). Let v(c) = c**2 - c + 1. Let h be v(i). Is 2 > h?
True
Suppose 2*p + p + 2*i = 23, -p - 11 = -4*i. Is 5 > p?
False
Let z(y) = -y**2 + 14*y + 20. Let k be z(15). Suppose -6*b - r - 43 = -2*b, 0 = -2*b - k*r - 35. Is b less than or equal to -10?
True
Let x(r) = 3*r - 41. Let w be x(28). Is w greater than 43?
False
Suppose 0 = -4*a + 2 + 14. Suppose n + 0*i + a = i, -2*i = -n - 9. Is n greater than 3/2?
False
Let w be ((-6)/42)/((-8)/7). Suppose 0 = 3*m - 3*a + 3, -32 = -m - 5*a - 9. Suppose m = -4*f + f. Which is bigger: w or f?
w
Let z = -433/4 + 107. Suppose 3*q = 2*q - y + 2, 4*q = 3*y - 6. Which is smaller: z or q?
z
Let v = 0.26 - 10.26. Let d = v - -9.8. Let q be -1 + (14/6 - 2). Is d smaller than q?
False
Suppose -5*q - 25 = 3*x - 0*x, 4 = 3*q - 2*x. Is -3/2 smaller than q?
False
Suppose 16 = 7*u - 33. Suppose -9 - 5 = -2*q. Do u and q have the same value?
True
Let c(i) be the third derivative of -i**5/60 + 5*i**4/24 + 3*i**2. Let p be c(4). Which is smaller: p or 5/2?
5/2
Let p = -6 - -6.2. Is p less than or equal to 2/3?
True
Let z be (-1 - 1)*(-69)/6. Suppose -6 = 5*n + 4*r - z, -3*n - r + 6 = 0. Is 1 less than or equal to n?
True
Let j = -17 - -22. Suppose -5*h = -38 - 22. Let q = h + -6. Do j and q have different values?
True
Let o = 10579975/1074 - 9851. Let f = 88073/5370 - o. Let y = f + -17. Is -2 equal to y?
False
Let q = -1/30 - -67/210. Let w = -2 - -5. Suppose -4 = 5*t - 2*f - 3, 1 = w*t - 2*f. Is q at least t?
True
Let m = -18 - -13. Is -2 < m?
False
Let w(b) = -b**3 - 17*b**2 + b + 18. Let k be w(-17). Which is smaller: 1/2 or k?
1/2
Suppose 25 = -5*o + 5*g, 0*o = 2*o + g - 5. Is -14/29 <= o?
True
Suppose -6*g + 90 = -4*g. Which is greater: 44 or g?
g
Let b = 6 - 2. Let u = b + -3. Is u smaller than -2/5?
False
Let r = -1504/19061 + -9/389. Which is smaller: r or -1?
-1
Let r be (-10)/(-112)*(-14)/(-35). Which is smaller: r or 1?
r
Let z(m) = -m**3 - m**2 - m - 1. Let n = 15 + -15. Let w be z(n). Let c = 29/4 - 7. Is c less than w?
False
Let u = -5 + 2. Let z = u + 1. Is -2 at most as big as z?
True
Suppose 0*r - 2*r + 30 = 0. Do 14 and r have the same value?
False
Let t = 27 - 24. Suppose -v = 1 - 2. Let s = v - -2. Is t greater than s?
False
Let a = -143.7 + 151. Let i = 7 - a. Is i greater than or equal to -1?
True
Let r be (-6)/(-2) - (1 + 1). Let t be r/(((-4)/6)/(-1)). Is -1 <= t?
True
Let g = -15 - -29. Let h = g - 96/7. Which is smaller: h or -1?
-1
Let l = -41/5 + 98/15. Let m = 8 - 10. Is l less than m?
False
Suppose 4*f - 2*f - 23 = -3*w, -3*f = -2*w - 2. Which is greater: f or 7?
7
Let g be 32/14 + 4/(-14). Suppose x + 1 = -3, -2 = 5*l - g*x. Let u be 0 - 1/(-4)*-2. Which is smaller: u or l?
l
Suppose 3*p + 0 = -a - 1, -p + 3*a + 3 = 0. Let z = 0 - p. Is -2/3 at most z?
True
Let k = 1 - 17. Is -17 less than k?
True
Let p be 4/18 - (-224)/(-954). Is p smaller than 1?
True
Suppose -i - 2*l + 14 = 0, 0 = 3*i + 3*l - l - 34. Which is smaller: 14 or i?
i
Let f(q) = -q**3 + 2*q**2 + 5*q - 4. Let z be f(3). Let n be -8*3/(-6)*z. Suppose -2*x = 2*x - n. Which is bigger: x or 1?
x
Let j(m) = -3*m**3 + 3*m - 4. Let f(u) = u**3 - u**2 + 1. Let d(c) = -4*f(c) - j(c). Let r be d(2). Let p = r - 4. Are -1 and p unequal?
True
Suppose 3*x + 2*x + 5 = 0. Let b(m) = m**2 - 8*m - 9. Let l be b(9). Suppose -3*v + 2*r + l = -3, -2*v - 11 = 3*r. Is x at most v?
True
Let p = 0.018 - 28.018. Let w = p + 32. Is w at most as big as -3?
False
Suppose -3 = -x, -2*i + x = 14 - 7. Is 2 >= i?
True
Let l = 142 + -97. Is l > 45?
False
Suppose q = -10 + 9. Which is smaller: q or 2/51?
q
Let b(f) = -2*f - 13. Let a be b(-8). Which is greater: a or 0.2?
a
Let m be -1*(2 + (-3 - 0)). Which is smaller: m or 0?
0
Let q = -31 + 33. Let t = 0.1 + -0.4. Let w = -1.3 - t. Which is smaller: w or q?
w
Suppose -4*p + 1 + 27 = 0. Which is bigger: 8 or p?
8
Let l(b) = b**3 - 3*b**2 - 2*b - 5. Let p be l(4). Let d = p + 0. Which is bigger: d or 1?
d
Let t = 46 + -35. Which is bigger: 1/3 or t?
t
Let j = -1.77 + 0.17. Let l = j - -0.6. Let h = -1 - 0. Do h and l have the same value?
True
Let v(b) be the second derivative of b**4/12 - 7*b**3/6 - b**2/2 + 2*b. Let n be v(7). Which is smaller: -0.04 or n?
n
Let l be 2*1/(-3)*(-6)/(-4). Which is smaller: l or 2/69?
l
Let y be (20/(-35))/(4/2446). Let f = y + 350. Let u = 6 + -4. Do f and u have the same value?
False
Let p = 10 - 16. Suppose -4*y = 2*x + 20, 3 = -2*x - 2*y - 13. Do p and x have the same value?
True
Let f = 24 + -13. Let q = f + -7. Let d = -4 + q. Are d and 0.1 nonequal?
True
Let r = -1 - 1. Let v be (-1 - -2)*(-1 + 1). Is r greater than v?
False
Let r = 7 + 2. Which is greater: 10 or r?
10
Let n = -3 - -6. Let p = n + -6. Let o be 3*(0 + p/(-9)). Which is bigger: -1/6 or o?
o
Let p be 1/((-3)/(-18)) - -3. Let g be (p/51)/(3/2). Is g at most -0.1?
False
Let v = -0.01 - 0.39. Let k = v - -0.6. Let p = k - 0.1. Which is smaller: p or 1/2?
p
Let t be -1*(-1 + -1)/(-2). Suppose 0 = 4*y + 5*x - 6, -4*y + y - 5*x = -2. Let l be -2 + -1 + 13/y. Is l equal to t?
False
Let w(v) = -1 + 3 + 2*v + 11. Let k be w(-6). Is k > 1/18?
True
Let s be ((-6)/(-4))/1 + 15/(-30). Which is greater: 3/13 or s?
s
Suppose -2*p + 16 = 2*k, k = 4*k + 5*p - 30. Let g be (-1)/k - (-76)/180. Which is smaller: g or -2/5?
-2/5
Let n(l) = 9*l + 1. Let g be n(-1). Let r be (-8)/(-21)*-2 - (-3)/7. Which is bigger: g or r?
r
Let z be (-9)/(-30)*4/(-9). Let j(i) = i. Let x be j(6). Suppose -3*n = -x*n - 3. Are n and z non-equal?
True
Let g = 4.5 - 9. Let q = 0.5 - g. Let j = -15 + 15. Is j not equal to q?
True
Let p(q) be the third derivative of -q**4/24 - q**3/6 + q**2. Let t(j) = 2*j - 2. Let b(a) = 