1 + -1.08. Let b = 7.92 - x. Let l = b - 7. Is 1 < l?
False
Let v be (-10)/175*-5 - 16/203. Which is bigger: v or 0?
v
Suppose 4*w - 5*g - 191 = w, 5*w - 293 = 2*g. Which is bigger: w or 59?
59
Let f = -3.05 - -3. Let y = 0.45 + f. Are 0.1 and y nonequal?
True
Let d = -0.5 - -1. Let a = 0.8 - d. Let y = 7/12 + -1/4. Is y at most a?
False
Let d be (-2 + 1 + 0)/7. Let f(a) be the third derivative of -a**5/60 + 3*a**4/8 + a**3/6 - 5*a**2. Let h be f(9). Which is bigger: d or h?
h
Let h = -1 - -13. Suppose -5*b + 3*f - 5 = 0, 0*f = -b - 2*f + h. Which is greater: b or 1?
b
Suppose 3*g + q - 9 = -g, 0 = 4*g + 5*q - 13. Which is smaller: 5 or g?
g
Let c be 112/20*(-5)/(-2). Which is smaller: c or 0.1?
0.1
Let b be (8/(-3))/((-6)/(-27)). Let m be 18/4*(-10 - b). Is 10 greater than or equal to m?
True
Let r be (15 + -13)*(-1)/2. Which is bigger: r or 3/73?
3/73
Suppose -7*k = -2*k + 65. Let g(w) = -w**2 - 14*w - 4. Let o be g(k). Is o less than 9?
False
Suppose -2*v = v + 18. Let g be 39/(-45) - v/9. Is 0.1 <= g?
False
Suppose -m + 3*m = 6. Suppose 4*k + 5 = -o, -3*k = -o + m*o. Which is smaller: k or -3?
-3
Let r = 2.4 + -2. Suppose 6 = -4*s + s. Let y be 25/(-10)*s/(-10). Do r and y have the same value?
False
Let f = 98 - 488/5. Which is bigger: f or 1/6?
f
Let x = 9/53 + 1139/159. Let f = 9 - 2. Let y = x - f. Which is greater: 1 or y?
1
Let p be (0 - -2)/(0 + -2). Suppose 0 = 5*s - 2*s + 6. Which is smaller: p or s?
s
Let l = 0.116 + -2.116. Which is bigger: 8 or l?
8
Let q = 1.6 - 1.6. Let f(a) = -a**3 - a - 4. Let p be f(0). Is p at least as big as q?
False
Let q be (-6)/(-9) + 6392/36. Let d = q - 178. Is 0 at least as big as d?
False
Suppose -5 = -3*j + 2*f - 2, 4*f - 5 = -5*j. Suppose 0 = 2*z + z - 12. Suppose -5*c + z = -c. Are c and j unequal?
False
Suppose 5*f + 9 = -4*k, 4*k + 2 = 2*k. Are -1 and f nonequal?
False
Let w be (-65)/429*1/5. Is 0 at most w?
False
Let z(q) = -5*q - 7. Let k(i) = 6*i + 7. Let v(y) = 6*k(y) + 7*z(y). Let u be v(7). Let p be 2/6 - (-4)/(-3). Does p = u?
False
Let c be 1 + -4 + (3 - 6). Let k be (1 + 0)*(6 + c). Let t be (-2)/(-24) - (k + 0). Which is bigger: -1 or t?
t
Let o(i) = i**3 - 10*i**2 - i + 3. Let u be o(10). Is u >= -0.3?
False
Let s(f) = 12*f - 9. Let k be s(5). Do k and 50 have the same value?
False
Let l = 0.08 - 7.08. Let o = l - -8. Which is smaller: o or 0.2?
0.2
Let h = 0.78 + -0.36. Which is smaller: -2/3 or h?
-2/3
Suppose i - 5 = -0*i. Suppose -5 = 4*w + p, 3*w = -0*w + i*p - 21. Is -1 < w?
False
Let r = 3 + -2. Let t = -29/39 - -1/13. Do t and r have the same value?
False
Let i be 1/(23/(-68)) + 3. Is -1 >= i?
False
Let z(y) = 5*y**2 - 2*y + 1. Let g be z(1). Suppose 2*l + 2 = g*l. Let r be (2 - 1) + (-21)/18. Which is greater: r or l?
l
Suppose -4*f - 5*i - 34 = 0, -5*f + 0*i - i - 32 = 0. Is f less than or equal to -5?
True
Suppose -4*v - v + 25 = 0. Suppose q - 65 = -4*q - 4*k, -3*q = -v*k - 2. Let d = -91/10 + q. Are 1 and d unequal?
True
Let a = -4 + 4.6. Is a at most -0.1?
False
Let b be 1/(-1)*(-3)/(-27). Does 0 = b?
False
Let b be (-118)/318 + 26/78. Is -1 < b?
True
Suppose 6 = -3*m, 0*g - 22 = 5*g + m. Let s(h) be the first derivative of h**2/2 + 4*h - 4. Let r be s(g). Which is greater: -2 or r?
r
Let l = -34 - -23. Which is bigger: -7 or l?
-7
Let s be -4 + 16 + (-3 - 0). Let f be -4 + s + -2 - 4. Which is bigger: -0.8 or f?
-0.8
Let o = 24.9 + -25. Which is smaller: o or -1?
-1
Let j be (-12)/(-66) + 13/(-11). Let q(b) = -b - 9. Let u be q(-7). Which is greater: j or u?
j
Suppose -2*c = h - 32, -3*c + 41 = 5*h - 7. Which is bigger: c or 17?
17
Suppose -2*j = 5*b - 0*b + 128, 129 = -5*b - j. Which is smaller: -27 or b?
-27
Let p(d) = -d**3 - 2*d**2 + 3*d - 2. Let q be p(-3). Is -3/2 greater than q?
True
Let t = 10 + -3. Let o(f) = 2*f - 4. Let s be o(t). Suppose -2*y + 0 = -3*z + s, 0 = -5*y - 3*z + 17. Which is greater: y or 0?
y
Let u be ((-24)/90)/(-1 + 3). Which is smaller: u or 1?
u
Suppose 7*b = 4*b - 3, -o = -b + 1. Suppose -2*h + 5*v + 20 = 3*h, 3*v + 12 = 4*h. Are o and h non-equal?
True
Let z = 1159/5 + -233. Let b(j) = j - 18. Let u be b(16). Which is smaller: z or u?
u
Let n(k) = -3 - 2 - 2*k + k. Let r be n(-9). Let c(d) = d - 7. Let f be c(r). Is -4 at least f?
False
Let x = -4.5 + -0.9. Let r = x - -5. Let z = -10 - -12. Is z less than r?
False
Let r = 2 - 3. Let z(x) = -3*x - 19 + 8*x - 6*x - x. Let a be z(-9). Is r greater than a?
False
Suppose 0 = 3*z - 8*z - 205. Let q = -203/5 - z. Is -1 <= q?
True
Let r = -7182/54991 - -16/127. Which is smaller: r or -1?
-1
Let j be 12/18*((-1090)/542 - -2). Which is greater: j or 1?
1
Let w = -1.8 + 2. Which is smaller: -3/4 or w?
-3/4
Let h = -9.907 - 0.193. Let z = -7 - h. Let b = -3 + z. Which is smaller: b or -2?
-2
Let g(p) = -p**3 + p**2 + p - 1. Let u be g(2). Which is bigger: u or -7/3?
-7/3
Let w = 1 + -1. Suppose -3*y = -5*s + 22, -4*y + 4 = -s + 5. Let k be y/(-4) + 7/(-4). Are w and k unequal?
True
Let b(v) = v**3 - 14*v**2 - 12*v - 44. Let t be b(15). Which is smaller: -1/25 or t?
-1/25
Let y = -26 + 9. Let w = y - -7. Is -10 <= w?
True
Let f = 37/14 - 33/14. Which is smaller: 13 or f?
f
Let w be 21/(-5) + (-2)/(-10). Let j be 148/20 + w/10. Are 6 and j nonequal?
True
Let z be (12/8)/((-6)/(-44)). Is 11 < z?
False
Let q = 12 + -23. Let a = -12.2 - q. Let b = 0.2 + a. Is -1 bigger than b?
False
Let c = -15 - -3. Which is smaller: c or -13?
-13
Let t = 4 + -4. Suppose 5*s = 2*z - 50, 0 = -2*z - t*z + 4*s + 48. Suppose z = -5*q, -4*q - 12 = -3*a - a. Which is greater: a or -3/4?
-3/4
Let h = 17/9 + -101/63. Which is smaller: 1 or h?
h
Let c = 10 + 11. Let u = c - 20.9. Is -0.1 > u?
False
Let q(z) = -2*z + 7. Let v be q(4). Is -12/11 > v?
False
Let z = 673 - 8753/13. Is z greater than or equal to 0?
False
Let r(k) = k**3 - 3*k**2 - 4*k + 4. Let i be r(4). Which is greater: 5 or i?
5
Let i(h) = h**3 + 2*h**2 + h. Let f be i(2). Let o be (-4)/((-40)/f) + -2. Let k = -10 - -11. Is o at most k?
True
Let v(a) = -a**3 + 5*a**2 + a - 4. Let y(b) = 2*b**3 - 11*b**2 - 2*b + 9. Let f(w) = -5*v(w) - 2*y(w). Let p be f(3). Which is smaller: -1/8 or p?
p
Suppose -a - 5 = 4*a + 5*n, -5*a - 9 = n. Let l be -2 + -1 + (-6)/a. Which is bigger: -2/19 or l?
l
Let h = 1 + -1. Let c = -161/8 + 155/8. Are c and h non-equal?
True
Let p = 6.6 - 1.6. Are -1 and p nonequal?
True
Suppose 0 = -4*d + 17 + 7. Suppose -5*i + 84 = p, 2*i + d*p - 3*p - 44 = 0. Are i and 17 non-equal?
True
Let j(k) = -k - 15. Let s be j(-11). Let f be s/(-6)*(-15)/10. Is -1 > f?
False
Let n = 95.8 - 96. Is -1 at most n?
True
Let m(q) = -q + 12. Let v be m(8). Which is greater: 5 or v?
5
Let b = -4 - -3. Suppose 0 = -2*l - o + 5 - 18, 17 = -2*l - 5*o. Do l and b have the same value?
False
Let a be -2 + -1 + (3 - -2). Suppose a*u = u. Which is greater: 1 or u?
1
Let s be (4/(-25))/(2/10). Suppose 2*h - 10 = -2*o, h - 5*o + o = 0. Suppose -3 = 7*u - h*u. Is u at least s?
False
Let i(q) = q**3 + 4*q**2 + 3*q + 4. Let y be i(-3). Suppose c = -c + y. Is 4/7 bigger than c?
False
Let a(x) = -x + 1. Let g be a(-1). Let l(y) = -3 - 3*y - y**g + 1 - 2*y. Let z be l(-4). Is z >= 2?
True
Let b be (-2)/12*(4 + -6). Let j(f) be the third derivative of -f**4/12 + 2*f**3/3 + 2*f**2. Let o be j(3). Which is greater: o or b?
b
Let l = -2/4512149 - 2603509103/1962784815. Let s = l + -1/145. Let d = 1 - 2. Do d and s have the same value?
False
Let s(i) = -3*i - 7*i**2 - 9 - 5*i - i + i**3 + 2*i. Let w be s(8). Let r = 78/5 + -1004/65. Is w >= r?
False
Let c(z) = -z**2 - 9*z + 4. Let u be c(-9). Let m = u - -5. Which is smaller: 7 or m?
7
Let n be 58/42 - (-4)/14. Let d be (-28)/12 + 3/1. Which is greater: n or d?
n
Let s = -16.8 - -18. Let d = s - 1.4. Which is smaller: d or -1?
-1
Suppose -4*k = -z - 0*k + 10, 0 = 4*k + 8. Let t be (1 + z)/((-66)/4). Suppose -3*u - 12 = -15. Is u < t?
False
Let y(l) be the first derivative of -l**2/2 - l - 2. Let t be y(-5). Which is greater: t or 0.1?
t
Let n be 78/860*16/(-3). Let k = 5/43 - n. Which is greater: -2/9 or k?
k
Let m = 101/132 + -1/66. Which is smaller: m or 0?
0
Let p = 0 + -2. Is p >= 4?
False
Let v = -0.25 - 3.35. Let z = v - -4. Let r = z - 0.4. Are 3 and r non-equal?
True
Let p be 48/(-20)*1/2. Let s be (-6)/2 + 1 + 2. Is s at l