or x?
-4
Let c(r) = 2*r - 8. Let m be c(7). Suppose 10*t - 7*t = m. Is t less than -2?
False
Suppose 2*n - 2*q + 77 = -n, 3*n + 97 = -2*q. Which is smaller: n or -28?
n
Let p be 10/(-4)*-4 + -2. Let m be 26/p - 13/(-52). Which is greater: m or 5?
5
Suppose -2*c = x - 3, 3*x - 4*c + 0*c - 9 = 0. Suppose b + x = -2*b. Let r be b/2 + 2/(-4). Which is greater: 1/3 or r?
1/3
Suppose -5 = -f - 5*c, -c + 3*c - 16 = f. Is -32/3 greater than or equal to f?
False
Suppose -5*z - 4*o + 3 = 0, -5*z = -5*o - 2 - 28. Suppose 0 = -2*q - 4*s + 2*s + 10, 3*s + 15 = 0. Let k be ((-6)/4)/((-6)/q). Is k >= z?
False
Suppose -2*o - 5 = 3*o. Let t(p) = -p - 1. Let l be t(o). Let x be 24/(-20) + 1 + 1. Is x > l?
True
Let a = 7 + -5. Let q = a + -2. Let w be q - 0 - -2 - 2. Is 0 > w?
False
Let y be 0*(-2)/4*-1. Let b be (-20 - -17)*(6/(-225) + 0). Is y smaller than b?
True
Let g = 1.8 - 2. Let w = g - 0. Are -0.1 and w non-equal?
True
Let t = -401702/2327 - -2244/13. Are t and -1 unequal?
True
Let w(j) = -j - 7. Let q be w(-3). Let a be (-18)/(-9)*(-2)/q. Which is smaller: a or 0?
0
Suppose 0 = 3*i, -5*i = 2*u - u - 1. Which is greater: -6/17 or u?
u
Let h = -24 + 17. Let b = 6 + h. Do b and -1/3 have different values?
True
Suppose 0 = 9*r + 12 - 3. Suppose -10 = -s + 5*p, -4*s - 2*p - 60 = 3*p. Is s less than or equal to r?
True
Let w be (-2)/(-5) + 99/(-60). Which is bigger: 1 or w?
1
Let m(z) = -z**3 - 19*z**2 + 43*z + 19. Let h be m(-21). Is h at most as big as -7/8?
True
Suppose d = -2*d. Suppose -3*u = -5*u + 20. Let b be (-4)/(-9)*15/u. Which is bigger: d or b?
b
Suppose 8*c + 25 = 3*c. Let n(x) = -7*x + 13. Let i(q) = -4*q + 7. Let a(u) = c*i(u) + 3*n(u). Let h be a(6). Is -1 < h?
False
Let t be (-9)/(-26) - 1/2. Suppose -3*p - 6*w + 30 = -3*w, 10 = -p - 5*w. Suppose -4*j = 5*y + 20, -4*j + 7*j + p = 4*y. Is t greater than y?
False
Suppose 4*p + 12 = -4*j, 2*p - 3*p + 3*j + 5 = 0. Let z be (p/3)/(3/(-27)). Let l be 3*2/6*3. Is l equal to z?
True
Let c be -2 + 2 - -9 - 0. Does -1 = c?
False
Let r be -2 - (-9 - (-2)/(-2)). Which is greater: r or -1?
r
Suppose d + 4*x + 145 - 1603 = 0, 0 = 3*d + 2*x - 4394. Let k = -4336/3 + d. Let v = k + -21. Which is bigger: -1 or v?
v
Let x(k) = 3*k + 0*k**3 + 0*k - k**3 - 5*k**2 - 2*k + 5. Let v be x(-5). Which is bigger: v or -4/3?
v
Suppose 24*k - 120 = 19*k. Is k less than 23?
False
Let d(o) be the second derivative of -9/2*o**2 + 3*o - 2/3*o**4 + 1/6*o**3 + 1/20*o**5 + 0. Let k be d(8). Which is smaller: -3/2 or k?
-3/2
Let h(a) = a - 4. Let c be h(2). Let o be -5*-2*c/(-4). Suppose 0*s - 5*s - o = 0. Which is greater: s or -1/2?
-1/2
Let j(c) = -c**3 + 10*c**2 + 11*c - 3. Let z be j(11). Let t be (-12*(4 + z))/(-1). Which is smaller: 11 or t?
11
Let a(g) = -g**2 + 3*g + 2*g + 9 + g + 2*g. Let x be a(9). Is x greater than -2?
True
Let a be (-8 + 9)/(14/(-1950)). Let b = -139 - a. Is 0 less than b?
True
Let d(x) = x**2 - 3*x + 12. Let p be d(4). Which is bigger: 17 or p?
17
Let x(w) be the second derivative of -w**5/20 - w**4/6 + 2*w**3/3 + 3*w**2/2 - 2*w. Let f be x(-3). Is f greater than -2/45?
True
Let d = 84 - 250/3. Suppose -2*l = 2*l - 8. Let w be 0/((-2)/(3 - l)). Which is greater: d or w?
d
Let h(y) = 2*y**2 - y. Let f be h(1). Let o(d) = -3*d + 4*d - 2*d. Let r be o(-3). Is r greater than or equal to f?
True
Suppose 3*l = 2*z + 29, 4*z + l + 57 = 20. Which is smaller: -9 or z?
z
Let u = 20.57 - 20.5. Is u greater than 1/4?
False
Let l be (2/(-21))/(28/(-21)). Which is bigger: 1 or l?
1
Let u = 525061/3690 + -29/410. Let m = u - 142. Let g(o) = -o**3 - 7*o**2 - 5*o + 7. Let r be g(-6). Which is bigger: m or r?
r
Let j be (4/(-1))/(-75 - -1). Which is smaller: 1 or j?
j
Let z = 4/57 + 94/285. Let y = 0.4 - 5.4. Let d = y + 6. Which is greater: d or z?
d
Let d(p) = -p**2 - 5*p - 3. Let h be d(-3). Let t be (h/42)/(2/(-4)). Does -1 = t?
False
Let c be 3*1/(-7) + (-36)/(-84). Let m = -7 - -10. Let y = m - 4. Is c smaller than y?
False
Let v be (4/1)/4 - -1. Is 6/5 less than v?
True
Suppose 0*k + g = 5*k, -2*k = -2*g. Let f(p) = p**3 - 5*p**2 + 4*p - 3. Let a be f(4). Let z = k - a. Which is smaller: z or 1?
1
Let j be ((-6)/3)/(1 - -1). Let p = j - -3. Suppose 0 = p*g + 4 - 0. Is g less than or equal to -3?
False
Let p be ((-6)/4)/((-5)/10). Suppose p*x = -x - 20. Let t be (-2 + 3)/(3/(-6)). Which is smaller: x or t?
x
Let d = -6.5 + 0.5. Let s = -2 - d. Let l = s - 6. Which is smaller: l or -1?
l
Let s(c) = c**2 + 6*c - 4. Let o be s(-6). Let l(i) = -5*i**3 + 3*i**2 - 3*i + 1. Let j be l(1). Is o greater than or equal to j?
True
Let s(a) = a**3 + 7*a**2 - a - 7. Let u be s(-7). Suppose -j + 158 + 136 = u. Let p = j - 2054/7. Which is smaller: p or 1/2?
1/2
Let m = 0.21 + -2.21. Let h = -4 - -3. Is h greater than m?
True
Let a be 2*(-1)/(-2) - 1. Let r = -1/131 - 255/917. Which is bigger: r or a?
a
Suppose -4*a - 2*i = -6*i + 4, 5*i = -5*a + 25. Suppose 0 = -a*o - 3 + 11. Which is greater: 3 or o?
o
Let f(t) = 3*t + 18. Let u be f(-6). Is u greater than or equal to 2/73?
False
Suppose -2*r - p = -0*p + 1, 2*r - 5*p = -7. Let z = 5 + -3. Suppose z*b - 6*b = 8. Is r at most as big as b?
False
Let a(h) = 2*h + 9. Suppose -l = 2*g + 1, 7*l + g + 23 = 2*l. Let w be a(l). Which is smaller: 2/5 or w?
w
Let h be ((-1)/((-12)/(-16)))/((-10)/3). Which is greater: h or -0.3?
h
Let w be 0 + -2 + (2 - -2). Suppose 0 = 2*f + 5*q + 15, w*f + 45 = 6*f - 5*q. Is 3 > f?
False
Suppose 0*y - y = -5*c + 4, 0 = 5*y - 3*c - 2. Do 8/7 and y have different values?
True
Let u = 73 - 69.3. Let b = -3 + u. Let p = -0.8 + b. Do -1/3 and p have different values?
True
Let g = -6.8 - -7. Which is smaller: g or -3.8?
-3.8
Let h = -166 + 157. Let x = -3 - -3.1. Is x > h?
True
Let w be (84/45 + -2)*(-1 + 4). Is -0.06 greater than w?
True
Suppose 0*o = -o. Suppose o = 2*s + s. Suppose 2*y - 2 = -s*y. Is y <= -3/7?
False
Suppose 3*j - j + 30 = 0. Is -15 not equal to j?
False
Let i be (250/175)/(2/(-28)*-2). Let q = -11 + 20. Do i and q have the same value?
False
Let u be (-1)/(1/(-3)) + -2. Which is smaller: 8/9 or u?
8/9
Let q(z) = 4*z**2 - z + 1. Let r be q(1). Suppose 0 = 3*g - r*g. Let d be (4/10)/(27/15). Which is smaller: d or g?
g
Let f = -1/39 - 115/78. Let t be (-1)/(-5) - 30/25. Do f and t have the same value?
False
Suppose -3*i = 11*i - 8*i. Which is smaller: 2/185 or i?
i
Let a = -11 + 13. Suppose n - a*n + 6 = 0. Does 7 = n?
False
Let m = 2 - 3. Let p = -6 - -5. Is p at most as big as m?
True
Suppose -3*p + 358 + 188 = 0. Let i = -1272/7 + p. Is i <= 1?
True
Let t = -19/18 + -5/18. Suppose 0 = w + 1. Which is smaller: w or t?
t
Let r be 130/50 - (-2)/5. Suppose -v + r*v = 14. Is 7 less than v?
False
Let w = -51 + 51.04. Which is greater: 1 or w?
1
Let x = -11 - -11. Which is smaller: -1/16 or x?
-1/16
Suppose 0 = -5*s - 41 - 44. Which is smaller: -18 or s?
-18
Let t be (-1 + 2/6)*-3. Suppose -1 = 3*a + x - 15, -8 = t*x. Is 5 < a?
True
Let q be (-15)/(-8) - (-2)/(-1). Let b = q + 3/8. Let c = 2 + -4. Which is smaller: b or c?
c
Suppose -8*b - 720 = 7*b. Is -50 equal to b?
False
Let r(v) = v**3 - 23*v**2 - v + 28. Let a be r(23). Let t(x) = -2*x - 1. Let q be t(-3). Is a at least as big as q?
True
Suppose 0 = -4*t + 3*c - 10, -t + 2*c = 7*c - 9. Which is smaller: -24/13 or t?
-24/13
Let l(p) be the second derivative of p**4/12 + 3*p**3/2 - p**2/2 - 8*p. Let y be l(-9). Let i = -1 + 1.1. Which is smaller: y or i?
y
Let p be (5/3 - 1)*6. Suppose 0 = p*y + 2 + 14. Let c(v) = v**3 - 3*v**2 - 17*v + 46. Let x be c(3). Which is smaller: y or x?
x
Let y = -5/76 - -67/152. Let s = 0 + 2. Suppose -2*c + s*j = 4, -c = -j - 3*j + 8. Is y at least as big as c?
True
Let z(t) = -t**3 - 13*t**2 - 6*t + 18. Let q be z(-12). Is -54 at least q?
True
Let s = 22 + -14. Is 1 not equal to s?
True
Let c = 0 - 1. Let o = 2/39 - -25/273. Are o and c equal?
False
Let x(q) = q**2 - 6*q - 3. Let h be x(7). Suppose h*g + 4 = -4. Let d = g - -3. Which is bigger: -2/5 or d?
d
Let a be (-52)/6 - (-1 + -3). Which is smaller: a or -4?
a
Let i = 3 - 7. Let h be (-6)/2 + (1 - 2). Is i >= h?
True
Let a = 1 + 1. Let d = -3 + a. Let x = -0.029 + 0.329. Is d > x?
False
Let g = -2472 - -353500/143. Let f be 2454/858*2/10. Let o = f + g. Do o and 1 have different values?
True
Let 