 4*c. Let t be v(-6). Which is greater: -3 or t?
-3
Let o = -7/15 + 2/3. Let l = -3.979 - -0.079. Let y = l - -4. Which is smaller: o or y?
y
Let b = 0.006 + -0.006. Which is greater: 7 or b?
7
Let w be (2 - 6/15) + -2. Let q be (2 - -2)*2/4. Suppose 8 = 5*n - q. Is w at least as big as n?
False
Suppose 0 = 2*r - 9 - 29. Suppose 4*c + 5*t = -r, -4 = -6*c + c + 3*t. Which is smaller: 3 or c?
c
Suppose -5 = d - 4. Which is smaller: d or -2?
-2
Suppose r = -2*m + 2*r + 2, -m - 2*r = -6. Suppose -v = -3*b - 0 - 2, m*b + 2 = 0. Let z be (2/(-27))/((-128)/(-192)). Which is smaller: z or v?
v
Suppose -10*t + 5*t = -10. Which is smaller: t or 3?
t
Suppose -2*q - q = 4*k + 9, 6 = -k + 3*q. Let x(i) = -4*i**3 - i**2 + i. Let w be x(1). Let o be -3*(-2)/8*w. Are k and o non-equal?
False
Let b = -4/161 + -88/161. Is b <= -2?
False
Let s = 1 + 1. Suppose f + 1 - 3 = -s*y, 4*y + 38 = 5*f. Suppose -f = -5*a - 21, 5*v + a - 2 = 0. Is 3/4 less than v?
True
Let w = -9 + 9. Which is smaller: -2/7 or w?
-2/7
Let n be 1/2 - (-3)/2. Suppose 2*m + 0 = n. Let c = 4/3 + -19/12. Is m at most as big as c?
False
Suppose 5*v - 180 = i, -5*i + 42 = v + 6. Is v less than or equal to 36?
True
Let z = -6 + 6.25. Let j = -0.05 + z. Let o = -2005/9 + 223. Which is smaller: o or j?
j
Let z(h) = -h**3 - 4*h**2 - 2*h + 1. Let v(d) = d**3 - 7*d**2 + 2*d - 10. Let o be v(7). Suppose 0 = -c + 2 - o. Let u be z(c). Which is bigger: -1 or u?
-1
Let w be 3/(12/(-8)*6/9). Which is smaller: w or -5?
-5
Let x = 9 + -9.01. Let j = 0.11 + x. Is j <= -3/4?
False
Suppose -3*c + 3*k = -3, 3*c - 2*c = -4*k - 14. Suppose 2*q - 209 = -215. Do q and c have different values?
True
Let g = 3 + -2. Let o = -1006/117 + 76/9. Is g greater than o?
True
Let v(a) = 3*a**2 - 7*a + 4. Let w be v(3). Which is smaller: w or 9?
9
Let q be 4/5 + 110/50. Suppose c = w - 7, -4*w - 2*c + 24 = -5*c. Is w >= q?
True
Let o = -1.4 - -0.4. Which is smaller: -10 or o?
-10
Let z = -340/287 + -10/41. Is -1 smaller than z?
False
Let z(k) = k. Let g be z(2). Let f = g + 4. Which is smaller: 7 or f?
f
Let t(z) = 81*z**3 - 2*z**2 + 2*z - 1. Let x be t(1). Is 79 >= x?
False
Let v = 5.4 - 5. Are v and -2/5 nonequal?
True
Let f = -176657 + 1944559/11. Let c = -171 - -292. Let y = f - c. Which is smaller: -1 or y?
-1
Let o be 1 - (-2 + 1 - -2). Is o at least as big as 4/11?
False
Suppose 0 = 5*r - 0*r. Which is bigger: -2/23 or r?
r
Let j = -0.34 - -30.34. Which is bigger: j or 0?
j
Let a = 0.22 + -0.1. Let u = 0.02 - a. Which is bigger: u or -0.4?
u
Let d = -102/59 - 35952/295. Let m = -124 - d. Let i be (1 - 1)/(-1) - 0. Which is smaller: m or i?
m
Let k be 11 - 10 - 27/5. Which is bigger: k or -5?
k
Let y be -4 + (-2)/(-1) - -6. Let v be (2/40)/(2/y). Are v and 0 nonequal?
True
Let j(a) = a + 5. Let i be 1/(-2) + (-45)/10. Let n be j(i). Let y(r) = -r**2 - r - 1. Let b be y(n). Which is greater: b or -2/7?
-2/7
Suppose 9*o - 4*o - 5 = 0. Let n(m) = m**2 + 2*m - 14. Let v be n(0). Let s(c) = -c**2 - 14*c + 3. Let j be s(v). Which is smaller: o or j?
o
Let h = -5 + 7. Suppose 3*g = -7*q + 3*q + 55, 0 = -h*q + g + 15. Let c = 9 - q. Which is greater: c or 1/5?
1/5
Let i = 2 - 0. Suppose i*a + 3*o - 2 = 1, 3*o - 9 = 0. Are a and 1/4 nonequal?
True
Let j = 2 - 2. Suppose -2*s = 5*b - 22, j*s + 2 = -s + 4*b. Is s < 6?
False
Let f = 76/99 + -6/11. Let y(p) = -p. Let a(x) = x**3 - 11*x**2 + 6*x - 12. Let v(n) = -a(n) - 5*y(n). Let j be v(11). Is j > f?
True
Let b(m) = -m + 10. Let i be b(5). Suppose 0 = -2*t + 8, -3*u = -7*u + 3*t + 60. Suppose 3*j = 3*k, -2*j + u + 17 = 5*k. Is k equal to i?
True
Suppose -10 = -2*v - 8. Which is smaller: 3/13 or v?
3/13
Let o be (-2 - -2)/(-1 - 1). Let r(y) = -y**3 - 5*y**2. Let s be r(-5). Let c be (s + 1)*(-2 - -2). Is o less than or equal to c?
True
Suppose -5*n = -5*f - 9*n - 2, 4*n - 6 = -f. Let x = 3 + -5. Let j = f - x. Is 0 >= j?
True
Let k = -16 + 16. Are k and 2/17 unequal?
True
Suppose 0 = -f - 0 + 4. Suppose r = -f*r. Do 2 and r have the same value?
False
Let k = 8 - -3. Which is greater: k or -0.4?
k
Let d(n) = n**3 - 2*n**2 - 4*n - 4. Let c(i) = i**3 - i**2 - 3*i - 4. Let z(j) = -3*c(j) + 2*d(j). Let v be z(0). Suppose -v - 1 = -5*q. Is q greater than -3?
True
Suppose -6*w = -250 + 4. Do w and 40 have different values?
True
Let d = 15.1 + -14. Let m = -0.1 + d. Which is greater: -0.4 or m?
m
Let u(l) = l**3 - 11*l**2 - 12*l + 1. Let b = -16 + 28. Let f be u(b). Is 3 smaller than f?
False
Let u = 1.04 + -0.04. Is u at least as big as 0.01?
True
Suppose k + 6 - 1 = 0. Let g = 4 + k. Is g greater than -1?
False
Let o be 72/(-21) + (-3)/(-7). Let k be ((-8 - o)*-1)/(-1). Which is bigger: k or -4?
-4
Let i = -2/787 - 4696/10231. Which is greater: i or -1?
i
Suppose 0 = -6*f + f. Suppose 0 = -2*x - 3*x - 25. Let k(b) = b + 3. Let g be k(x). Is f not equal to g?
True
Let l(k) = -k**2 + 7*k - 13. Let h be l(6). Which is bigger: -8 or h?
h
Let c = 191/8 - 47/2. Let v = -2 - -1. Which is bigger: c or v?
c
Let q = -145 - -47. Do q and -98 have the same value?
True
Let w = 2 - 1. Let o = 17 + -8. Suppose 3*p - o = -2*f, -3*p + 4*f = 2*p + 7. Do p and w have the same value?
True
Let j be 39 + 2 + -1 + 0. Let z be (3/9)/((-8)/j). Suppose -a + 2 = 5. Is a greater than z?
False
Suppose 0 = -4*s + c - 3, 2*c = -0*s - 3*s - 5. Let j be 6 - s/((-2)/6). Which is smaller: 4 or j?
j
Let x be (-318)/16 - (-11)/(-88). Let d be (-4)/((-16)/x) - -2. Is -11/6 bigger than d?
True
Let p = 6.09 + -0.09. Let f = -10 + 18. Let w = p - f. Which is greater: w or -1?
-1
Let f be (6/(-117))/((-3)/(-54)). Let o = f - -162/91. Is o equal to 2?
False
Let f = -26.8 - -27. Which is greater: f or -0.3?
f
Suppose 0 = -10*u + 8*u + 10. Suppose 4*q + 2 = -u*n - 2, -q - 1 = -2*n. Which is bigger: q or 2/25?
2/25
Let p = -6 - -6. Let r be p + (-3 - (-48)/15). Are 1 and r equal?
False
Let y = 0.18 - 0.38. Is y not equal to -0.8?
True
Let l(h) be the third derivative of -h**5/60 - 5*h**4/12 - 4*h**3/3 + 3*h**2. Let d be l(-9). Let g = 0 + 1. Do g and d have different values?
False
Suppose -3*k + 5*v + 4 = -21, k + 25 = -5*v. Let t = 182/115 - 18/23. Is t less than or equal to k?
False
Let o = 1.3 - 1.3. Suppose 0*j - 3 = j. Let g = 2 + j. Does g = o?
False
Let j = -23.95 + 23. Let c = j + -0.05. Let t = -4 - -2. Do t and c have different values?
True
Let g = 10.3 + -1.3. Let x = -8.9 + g. Which is smaller: 3 or x?
x
Let n = 15571/8 - 1943. Which is bigger: 1/2 or n?
n
Let k(q) = -2*q**2 - 2*q + 1. Let v be k(1). Let s be (-4 + 0)*v/(-4). Let t = 1.3 - 0.3. Is t < s?
False
Let p be 1*-1 + 3/(-1). Let i(f) = -f + 3 + f - 4*f + 5*f. Let t be i(p). Does 3/7 = t?
False
Let x(u) = -u**2 + 3*u + 3. Let w be x(5). Let b(n) = -n**3 - 7*n**2 + 2*n - 7. Let c be b(w). Let o be 19/c + (-3 - -4). Which is smaller: o or 0?
0
Let l be (8 + -2)*24/16. Let v(c) = c**2 - 9*c - 1. Let a be v(l). Is -3/17 equal to a?
False
Suppose 75 = -s + 6*s. Is 15 at least s?
True
Let r = -0.024 + 0.044. Let c = 0.05 + 0.07. Let y = c - r. Which is smaller: y or 1/6?
y
Suppose 0 = -0*q - q - 3. Let l be (-1)/q - 119/231. Which is smaller: 0 or l?
l
Let c = 5 + -8. Let a = -174 + 515/3. Which is bigger: a or c?
a
Let c be (-2)/(-3)*33/22. Is -0.4 less than or equal to c?
True
Suppose -34 = -4*i - q, 0*i + 3*i - 37 = 5*q. Suppose -12 = -3*a, -2*p - 5*a + 36 = -a. Which is greater: p or i?
p
Let b be 1/(-27)*(-4 + 7). Which is smaller: b or 0?
b
Let b(k) = k**3 + 8*k**2 + 7*k + 5. Let q be b(-7). Suppose -q = -y - 3. Which is greater: y or 1/2?
y
Let d be ((-36)/(-42))/((-1)/(-7)). Suppose 4*f - 1 = -a - 30, -f = -a + d. Let n = 6 + f. Which is smaller: n or 1/5?
n
Let z = 2/11 + 74/77. Which is greater: z or 2?
2
Let j = 287/7062 - 100/107. Let b = 5/22 + j. Is -2 less than or equal to b?
True
Let c be (-40)/5*6/(-8). Suppose -a - a = -c. Suppose a*l - 4*d - 20 = -2*d, 0 = -d + 2. Which is smaller: l or 9?
l
Let o be (16/(-6))/(2/18). Let p = o + 17. Which is smaller: -6 or p?
p
Suppose n - 14 = -2*n + 2*w, -5*w = -5*n + 20. Let h(i) = -2*i - 9. Let f be h(-8). Do f and n have the same value?
False
Let c = -15 + 16. Are c and 2/7 unequal?
True
Let o be 6/(1/(-2)*-4). Are 30/7 and o non-equal?
True
Suppose 2*z + 4 = -2*j, 3*j + 10 = 3*z - 14. Which is smaller: -2 or 