-k = s*v + k + 40. Which is bigger: 1 or v?
1
Let n = -4.91 + -0.09. Suppose 2 - 18 = 2*a - 2*x, 2*a + 3*x = -21. Let t = a + 8. Which is greater: n or t?
t
Let y be (-4)/(-10)*10/34. Which is smaller: 0 or y?
0
Suppose o + 4*m = 3*o + 10, 0 = 3*o - m. Which is smaller: 3/7 or o?
3/7
Suppose d + 4*h + 19 = 0, 5*d - 21 - 4 = 4*h. Let j be d/((-2)/16*-2). Suppose 3*k - 2*t - 8 = 3*t, -j*k + 5*t = -9. Which is bigger: k or 3/8?
k
Let b be (-1)/(-6)*3*0. Suppose -2*u + 1 - 5 = b. Do u and -3 have the same value?
False
Let q = -688/1745 - 2/349. Let z = -6 + 6. Are z and q unequal?
True
Let g = -8 - -11. Let o be (g - 2) + (-2)/3. Is -1 at least o?
False
Let p = -0.7 - -3.7. Let q be 5*(2/6)/(75/18). Which is greater: p or q?
p
Let r(h) = h - 3. Let x(c) = -c**3 + 6*c**2 + 7*c + 5. Let j be x(7). Let z be r(j). Let w be z/1 + (-8)/7. Which is smaller: w or 1?
w
Let v = -2 - -2. Let l = -0.7 + -4.3. Let g = l + 7. Which is bigger: v or g?
g
Let a = 136435/267 + 9611405/3738. Let b = a + -3082. Let r = b - 2/21. Which is smaller: -0.1 or r?
-0.1
Let d be (-2)/(-3)*27/(-30). Which is greater: 0 or d?
0
Suppose 17*z = 18*z + 5. Let p(w) = w + 5. Let f be p(z). Is f at most as big as -2?
False
Let j(s) = s**2. Let f be j(2). Let p be (f/18*3)/(-5). Is 1 >= p?
True
Let p(i) = -2*i - 2. Let o be p(-2). Suppose 5*t = 0, 2*m = -0*t + o*t - 16. Let s = m - -11. Which is greater: s or 2?
s
Let u = -27 - -4. Let q be 4/14 + u/7. Let w be q/(-12) + (-2)/8. Which is smaller: 1 or w?
w
Let g be -1 - (-1 + 2/(-3)). Let z = -1 + -3. Let r = z + 4. Which is smaller: r or g?
r
Let a(f) = f. Let p(w) = -2*w - 6. Let m be p(-4). Let z be a(m). Is z > 1?
True
Let c = 3 + -5. Let y be 4/(-9)*(-27)/(-18). Which is smaller: y or c?
c
Let c = 5 + -2. Suppose 0 = v + 2*v - g - 2, 2*v + 1 = c*g. Does v = -1/5?
False
Let d = 11 + -9. Let f = 4 - d. Which is bigger: f or -0.1?
f
Let l = 66 - 45. Does l = 19?
False
Suppose 38 = -3*g - 52. Let h be (-72)/g + 6/10. Let p = -0.3 - -0.2. Which is smaller: p or h?
p
Suppose -3*x = -12*x + 9. Is x less than -2?
False
Let u be 12/(-10)*70/21. Let o be ((-3)/u)/3 - 1. Which is smaller: -2 or o?
-2
Suppose 0 = 5*q + 3*r - 65, 34 = 5*q - 2*r - 31. Is 14 >= q?
True
Let p(u) = -u**2 + 5*u - 4. Let v be p(4). Which is bigger: v or 1/107?
1/107
Let w = 0.44 + -0.54. Is 2/91 equal to w?
False
Let j(o) be the first derivative of -o**3/3 + 4*o**2 - 7*o - 2. Let g be j(5). Let s = -36/5 + g. Is 2 <= s?
False
Let p(v) be the first derivative of -v**4/4 - 8*v**3/3 - 5*v + 4. Let y be p(-8). Which is smaller: -7 or y?
-7
Suppose -g = 3*p - 4, -4*g - 8 = -3*g - p. Suppose 5*k + 13 = -2*a - 0, 0 = -5*a - 2*k - 1. Let j be (25/20)/(a/(-4)). Is j >= g?
True
Suppose 0 = 11*t - 106 - 147. Is t bigger than 25?
False
Let u = -80 - -80. Let m be (-262)/(-890) - (-1)/2. Let l = m - -1/178. Is l >= u?
True
Let b(x) = -x + 4. Let m be b(0). Let l be (0/m)/(-3 + 6). Let v = 60 - 178/3. Which is bigger: v or l?
v
Let s(p) be the first derivative of p**3/3 + p**2/2 - 2*p - 1. Let c be s(2). Suppose -c*r - 3 = -r. Is r < -1?
False
Let c = -20 - -19. Suppose -5*w - m - 15 = 0, 4*w - 4*m - 16 = 2*w. Which is smaller: w or c?
w
Let o = -1670/667 - -56/23. Is o less than or equal to -1?
False
Let c(i) = i**3 + 2*i**2 + i. Let o be c(-2). Let a = 10 - 5. Let w be 2/(-2)*(-3 + a). Is o >= w?
True
Let t be -4 + 4/2 + 6. Suppose 0 = -t*h + 3 - 35. Let u be 10*1*h/(-140). Are u and 1 unequal?
True
Let q = 10 - 8. Are q and 2/13 non-equal?
True
Let b be (-1)/(-3) - 134/(-15). Let t = b - 48/5. Let o = 1 - 1. Is o at most t?
False
Let d = -22814618/105 - -217288. Let k = d - 121/15. Is -2 smaller than k?
False
Let a = 55/16 + 91/48. Which is smaller: a or 6?
a
Suppose n = 2*n - 5*k - 20, 4*n + 5*k + 20 = 0. Suppose 3*i = -n*i - 15. Is -4 < i?
False
Let v = 0.7 - -2.3. Which is smaller: v or 1/4?
1/4
Let w be -5 + 5/(5/2). Let b = 2 + w. Are b and -4/5 non-equal?
True
Suppose -g = -2*g + 5*i - 9, -5*i + 15 = 5*g. Let t be 8/6 + g*-3. Is t at least as big as -3?
True
Suppose -1 = 5*f + 4. Suppose 3*t = -0*t - c + 4, -3*c + 2 = -t. Is f > t?
False
Let r = -0.1 - -0.1. Let x = 2983/186 - 58/31. Let h = -31/2 + x. Which is bigger: h or r?
r
Let s = 69.55 - 1.55. Let k = s - 70.9. Let o = 3 + k. Which is smaller: o or -0.2?
-0.2
Let g = 2 - -4. Are 1 and g non-equal?
True
Suppose 13*t - 16*t - 3 = 0. Which is bigger: 2/9 or t?
2/9
Let h = 144.9 - 158. Let i = -14 - h. Let m = i + -0.1. Which is greater: m or -1/4?
-1/4
Let a = -4 - -3. Let t(m) = 2 + 258*m - 1 - 2*m**2 - 256*m. Let p be t(a). Does -3 = p?
True
Suppose 0 = -2*s + 61 - 25. Suppose -u - s = 2*u. Let r = -8 - u. Which is bigger: r or -1?
-1
Suppose 7*s + 6 = -1. Which is smaller: s or 57?
s
Let x = -2.2 - 0.8. Let y = 2.9 + x. Which is bigger: -1/6 or y?
y
Let m be (-4 + 2)*-3*14. Let g = m + -422/5. Suppose 0 = -4*z + 5*l - 14, 0 = -z - 3*z - 2*l. Which is smaller: g or z?
z
Suppose -2*p - 8 = b, -4*p = -4*b + 10 + 18. Suppose 0 = d + 4*d - 15. Let a be -3 + (3 - d - -6). Which is smaller: a or b?
b
Let w be 12/3*(-5)/4. Let p(l) = -l**2 - 3*l + 4. Let r be p(w). Which is smaller: -5 or r?
r
Let w = 17 + -3. Is 66/5 > w?
False
Let q be (-4)/(-3) - (1 + 0). Let w = 9 - 8.4. Let u = w - 0.6. Which is bigger: q or u?
q
Let u = 70.5 - 68. Is u <= -1?
False
Suppose 0 = 4*m - 3*m - 6. Let b = 7 - m. Which is smaller: b or 2?
b
Suppose 14 = 17*k + 31. Let t be 0 + 0 + 2/6. Which is smaller: t or k?
k
Let v = 2039/13 - 159. Let n = v - -319/130. Suppose 0 = -18*f + 22*f. Which is bigger: n or f?
n
Let s be ((-1)/(-3))/(-6 - -7). Which is smaller: 1 or s?
s
Let n = -0.1 - 7.9. Let m = -12 - n. Which is smaller: m or -1?
m
Suppose 5*h - h - 4 = 0. Suppose 5*t = 4*a - 6, -3*a + 0 = -t - 10. Let m be a + (-2)/(8/13). Which is smaller: h or m?
m
Let v be (-14)/(-63) + (-104)/(-18). Suppose j = v*j - 10. Suppose j*d = 7*d. Which is smaller: d or -2/25?
-2/25
Let b be ((-1)/(-28))/((-4)/(-8)). Which is greater: b or 1?
1
Suppose -d + 0*d = 0, d = -3*c - 3. Is c != 0?
True
Let l = -0.2 + 0.4. Let f = l + 0. Let p = -0.1 + f. Is p greater than or equal to 0.1?
True
Let u = -102 + 198. Suppose -u = 2*d + 2*d. Let v be -2 + 0 - d/21. Is 0 smaller than v?
False
Let z = -3 + 5. Suppose -z = 3*q - 17. Suppose 2*t - 8 = 5*a, -4*a + 16 = q*t - t. Is 5 at most as big as t?
False
Suppose -3*d + 5*h = 2*h - 78, -5*d - h = -130. Suppose 0 = -3*n - d - 19. Let r be (-4 + 1)/(n/10). Which is smaller: r or 0.1?
0.1
Suppose -8*n + 11*n - 3 = 0. Which is bigger: 2 or n?
2
Let d = -2 + 1. Let m = 17 + -15. Let o = m - 3. Do o and d have the same value?
True
Let j be (2/14)/(2/(-6)). Let p(o) = -o - 2. Let n be p(-2). Is j at most n?
True
Let c(v) = -1 - 4*v**3 + 3*v**3 - 6*v + 0*v**3 - 7*v**2. Let y be c(-6). Which is greater: y or -1/21?
-1/21
Let y(l) = l - 16. Let p be y(-21). Which is smaller: -36 or p?
p
Suppose 7*q + 5*m + 37 = 3*q, q = 3*m + 12. Let x be 21*(20/(-12))/5. Let a = x + 4. Are q and a equal?
True
Let p be 3*-3*(-15)/9. Let l be -2*(-3 + p/6). Which is smaller: l or -4/3?
-4/3
Suppose 0 = n - 2*n + 1. Let y(s) = -s**2 + 3*s + 1. Let o be y(3). Is n less than o?
False
Let m be (-5 - -13)*5/(-2). Is m not equal to -20?
False
Suppose 2 = 17*x + 87. Which is bigger: -8 or x?
x
Let b(v) = -16*v - 34. Let t(a) = 3*a + 7. Let q(u) = 2*b(u) + 11*t(u). Let d be q(-5). Suppose -d*s - 1 - 3 = 0. Are -2 and s unequal?
True
Let m = -2752/23 + 287764/2415. Let h = 2/21 + m. Which is smaller: -1 or h?
-1
Suppose 3*h = 5*h + 8. Let n be 1*7/(126/h). Which is smaller: 1 or n?
n
Suppose -n = -5*n + 16. Suppose -o - n + 2 = 0. Let f = o - 3. Which is smaller: f or -4?
f
Let q(h) = h**3 - 4*h**2 + h + 1. Suppose -y + 4 = -0*y. Let d be q(y). Suppose -10 = -5*i + d*o, -4*i + 2*i - o + 13 = 0. Is 4 > i?
False
Let w(q) = q**3 + 7*q**2 + 3. Let g be w(-7). Suppose -g = -4*n + 3*n. Suppose n - 2 = -a. Do a and -0.1 have the same value?
False
Let l(x) = -x - 7. Let m(f) = -4*f + 15. Let k be m(7). Let h be l(k). Which is smaller: 5 or h?
5
Let a(t) = t**3 - t + 1. Let f be a(0). Let z = -5 - -7. Let d = 2 - z. Which is smaller: f or d?
d
Let f(j) = 14*j**3 + j**2 - 2*j + 2. Let h be f(2). Let u be 0/1 + 12/h. Is 0 at least as big as u?
False
Suppose -2*