
Suppose -1 = 2*i - 3. Let d = -2669/95 - -141/5. Is d at most as big as i?
True
Let q = 0.7 + 0.3. Let n = q - 1.1. Let x = -1/15 - -19/60. Is n at most as big as x?
True
Let g be ((-2)/(-21))/((-4)/(-38)). Let f = g - 5/21. Are 1 and f nonequal?
True
Suppose -4 = 3*u + 2*y, -u + 0*y = y. Let p = -5 - u. Let w be (2/(-5))/(1 - p). Is w >= 0?
False
Suppose 0 = -3*q + 2*q - 3, -3*q - 10 = y. Which is greater: -55 or y?
y
Suppose 8*r - 3*r - 10 = 0. Suppose -4*k + 6 = -r. Suppose -k*c = c. Do -1 and c have different values?
True
Suppose 0 = 4*g + v - 9 - 31, g - 10 = 2*v. Let c be 12/140 - (-2)/g. Is -6/13 < c?
True
Let o(q) = 2*q**2 - 6*q + 3. Let g be o(4). Let j = -15 + g. Which is smaller: j or -3?
j
Let q = 33 - 21. Let d = -11.9 + q. Let l be (2/6)/(2/4). Which is bigger: d or l?
l
Let r = -13 + 23. Let v be -1 - 132/13 - -1. Let f = r + v. Does f = 1?
False
Let p = -1.4 + 1.413. Let y = p - -5.187. Let g = 5 - y. Are g and 0.2 nonequal?
True
Let a = 1.8 - 1. Let f = a - 1. Let r = f - -1.2. Which is smaller: r or -0.1?
-0.1
Let u = 1.91 + -1.9. Is u > -0.1?
True
Let y = 116637013/36 + -3239572. Let j = -345 + y. Which is bigger: j or -1?
j
Let j be -1*(-2 + 1) - -3. Suppose 4*g = 4*d - 44, 0 = -0*g + j*g + 4. Let p be ((-6)/(-9))/(4/66). Which is bigger: p or d?
p
Let k(b) = -6*b**2 - b + 2. Let h(p) = -p**2 + 1. Let d(t) = 3*h(t) - k(t). Let y be d(-1). Suppose -l - l = -8. Which is greater: l or y?
l
Let x = -48 - -48. Let p = -2.1 + 0.1. Which is bigger: p or x?
x
Let t = -3.7 - 1.3. Let j = 5.3 + t. Let m = j + -0.3. Is m at least 2?
False
Suppose -5*d = -d - 56. Let n = d - 11. Is 1 at least n?
False
Let x = 1 - 8. Which is greater: -0.1 or x?
-0.1
Suppose -4*g + 2*g + 10 = 0. Let r be (6/g)/(4/(-10)). Is -3 > r?
False
Let p = 15 - 36. Which is bigger: -22 or p?
p
Suppose 16*v - 10 = 6*v. Which is greater: v or -1/6?
v
Let o be 33/2*(-12)/(-18). Suppose 5*q - o = -1. Is 1 <= q?
True
Let y be (2 - (-2)/4)*2. Suppose -3*u = 5*f + y, u + 5*f - 1 + 6 = 0. Suppose 0*n = 2*o + 5*n - 20, -2*n + 8 = 4*o. Is o less than or equal to u?
True
Suppose -x + 5*y - 13 = 0, -4*x - 3*y = 2*y + 2. Is x equal to -9/5?
False
Suppose -c = -5*y + 75, y + 11 = -0*y - 5*c. Let b be (-4)/y*(-5 - -7). Is -1 > b?
False
Let d = -7 + 28. Is d smaller than 20?
False
Let b be (-6)/14*4/6. Suppose -3 - 7 = -5*u. Suppose -o + 8 = 4*v, 7*o = 2*o + u*v - 4. Is b > o?
False
Suppose -s + 5*s = 12. Suppose -4*y - 5*m - 16 = -3*y, m = -s. Let q be (-1 - y/2)*2. Which is smaller: 0 or q?
q
Let l = 39263/67 + -586. Which is smaller: l or -1?
-1
Let r = -4 + 3. Let o = 2.02 + -0.02. Let n = r + o. Are n and -1/5 equal?
False
Let n = 11/9 - 103/99. Let j(r) = r + 1. Suppose 4*s + 0*s = 0. Let v be j(s). Are n and v non-equal?
True
Let y = -12 - -12.07. Let b = y + 0.93. Let t = -0.1 + 0.2. Which is smaller: b or t?
t
Let c = -25 + 25. Let r(y) = -y + 3. Let u be r(c). Which is greater: 2 or u?
u
Suppose -7*m + 2 = -6*m. Suppose -3*g = -z - 8, -2*z - m*g - 3*g = -6. Is -11/4 <= z?
True
Let n = -0.87 - 10.93. Let y = -12 - n. Which is greater: 1 or y?
1
Let a(v) = v. Let m be a(-6). Let l be (-1 - -2) + (-2 - m). Suppose 3*x + l*o - 14 = 0, 3*x - 6 = -4*o + 4. Is x at least as big as -4/5?
False
Let a(b) = b**2 - 4*b + 1. Let i be a(4). Let p = 12/13 - -55/39. Which is greater: i or p?
p
Suppose 11*w - 353 + 89 = 0. Is 22 greater than or equal to w?
False
Let t(m) = -2*m**2 - 9*m - 7. Let i be (-9)/(-2)*12/(-18). Let f be t(i). Let l be 0/(-2) - (-6)/10. Which is smaller: f or l?
l
Let m be (-3)/12 - 13/(-4). Let g = m - 4. Let y = 0.05 - 5.05. Which is greater: g or y?
g
Let o = 0.1 - -0.1. Let f = -23261 - -1209609/52. Let t = f - 6/13. Is o < t?
True
Let p = 11 + -17. Is -2 less than p?
False
Let t = -45/2 - -22. Let j = 1.03 + -13.03. Is t >= j?
True
Let p = -4 + 3.9. Let n = 2.8 - 3. Which is bigger: p or n?
p
Suppose 2*a + 8 = 3*z - 0, 2*z - 6 = a. Suppose -9 = n - 2*y, a*n - y + 4*y = 17. Which is smaller: 2/75 or n?
2/75
Suppose 3*k + 3*k + 6 = 0. Suppose 4*d + l = -0*l + 6, 0 = 4*l - 8. Let f = 0 - d. Are k and f equal?
True
Let t = 15 - 14. Do 5 and t have different values?
True
Let j = -57 - -56. Is 2/33 <= j?
False
Let a be ((2 - 20/16)/1)/(-3). Which is bigger: -19/6 or a?
a
Let g be 2/(-4) + (1/2 - 0). Which is smaller: 8/7 or g?
g
Suppose 0 = -4*p - 0*p + z - 49, 0 = p + 3*z - 4. Let g = p - -23/2. Is 1 less than or equal to g?
False
Let j = 176/69 + 8/69. Is j <= 4?
True
Let i(m) = -m**3 + 5*m**2 + 6*m - 9. Let r be i(5). Let q = r + -25. Is q less than -5?
False
Let i be 588/96*(3 - -1). Let m = 24 - i. Which is smaller: m or -1?
-1
Let v = 11 - -11. Let m = -21 + v. Which is bigger: m or 0.1?
m
Let n be ((-2)/8)/((-1)/20). Let q be 0 + n/1 - 1. Suppose 3*d + 2*r = -2*r - 15, 0 = -5*d + 3*r + q. Which is greater: -2/7 or d?
-2/7
Suppose -3*t + 16 = -d - 16, -3*t = -4*d - 47. Suppose 0 = -5*k - 2 - 18. Let z be t/30*k/(-3). Is -1/3 at least z?
False
Let d be -10*3/(-6) + -1. Let s be 1/(-36) - d/18. Let m = -2.1 - -2. Are s and m non-equal?
True
Let q = 1.5 - 1. Let y = q - 5.5. Let i = -6 - y. Which is smaller: -2/5 or i?
i
Let y = 39 + -116/3. Let u = 103/380 + -2/95. Is y smaller than u?
False
Let t(m) = m**3 - 3*m**2 + 2. Let g be t(2). Let s be 3 - 4 - (-1 + 0). Let o be s + 0 - g/11. Are -1 and o non-equal?
True
Let z(u) = u + 1. Let k be z(-2). Which is bigger: k or 1/15?
1/15
Suppose 4*b - 12 = 0, -4*b + 2 = -4*k - 2*b. Which is greater: k or 2/159?
k
Suppose -f + g - 14 = 0, 3*f + 28 = 5*g - 24. Which is smaller: f or -8?
f
Let u be ((-2)/10)/(5/(-25)). Let l(w) = -2*w**2 + 14*w + 19. Let v be l(8). Is u >= v?
False
Let z = -0.37 - -3.17. Do z and -1 have different values?
True
Suppose 2*a - 7*a = r - 9, 4*r - 21 = -5*a. Suppose r = w - 1. Suppose -2*y - 4*x = 0, 0*y = w*y + x. Is y >= -1?
True
Let a be 16/14*(-6)/((-252)/49). Suppose 2*x + x = 0. Is a > x?
True
Let b = -33.1 + 33. Suppose -6*w = -2*w - 8. Let l = w + -7. Which is smaller: l or b?
l
Suppose 2*b + 7 - 1 = 0. Is -4 greater than b?
False
Let t(h) = -4*h + 11. Let m(c) = -2*c - 4. Let d(l) = -l - 5. Let q(u) = -7*d(u) + 6*m(u). Let v(k) = -5*q(k) + 6*t(k). Let s be v(-8). Is s > 1?
True
Let g(j) = 19*j**2 + 4*j + 2. Let p be g(-3). Let f = 1931/12 - p. Is f > 0?
False
Let a be (2/5)/(9/(-15)). Let c(x) = -x**2 + 10*x - 12. Let b be c(9). Let p(y) = y**3 + 2*y**2 - 2*y + 3. Let v be p(b). Is a < v?
True
Let m(t) = -7*t - 3. Let p(h) = -11*h - 5. Let f(k) = 8*m(k) - 5*p(k). Let i be f(3). Do i and -4 have different values?
True
Let s = 1 + -3. Let m = 6 + s. Let d = 4 - m. Which is smaller: 0.2 or d?
d
Let s = -0.04 + 0.1. Let m = -30.04 - -33.1. Let t = s - m. Which is greater: 0.1 or t?
0.1
Let u(s) = 4*s. Let t be u(1). Are 3 and t equal?
False
Let h(m) = -m**2 + 9*m - 2. Let g(p) = -p**2 + 11*p - 17. Let u be g(8). Let b be h(u). Which is smaller: 13 or b?
b
Let a(j) = -j**2 - 9*j - 10. Let h be a(-8). Suppose -n + 1 - 13 = 0. Let m be 10/n + (-10)/15. Which is smaller: h or m?
h
Let a be (-81)/6*8/(-12). Let c be (a - -1)*(-2)/5. Is c >= -6?
True
Suppose -3 = z - 1. Let o(f) = -3*f**2 + 1. Let p = 7 - 6. Let s be o(p). Is s greater than z?
False
Let b(h) = -h**3 + 2*h**2 + 4*h - 2. Let z be b(3). Let v be (z/3)/((-1)/3). Which is smaller: v or -3?
-3
Let t be 21/(-9) - (-3 - 0). Let b(x) = x**3 - 4*x**2 - 6*x + 6. Let p be b(5). Is t < p?
True
Let s = -5 - 2. Let i = 10 + s. Let w = 2 - i. Which is greater: 2 or w?
2
Let o = -390 + 142. Let h = o - -3226/13. Is 0 at most h?
True
Let j(x) = -x + 4. Let v be j(5). Do -29 and v have the same value?
False
Let s = 0 - 1. Let x be (-16)/(-168) + (-2)/3. Which is smaller: s or x?
s
Let y = -447/4 - -111. Suppose -12 = 2*d + 4. Let h = -10 - d. Which is bigger: y or h?
y
Let z = -44 - -21. Which is bigger: z or -22?
-22
Suppose 8 = -5*s - 12. Which is greater: -3 or s?
-3
Let r = -0.12 + 2.22. Do -1 and r have the same value?
False
Let l be -2 + (2617/(-20) - -1). Let b = l + 132. Which is bigger: b or -1?
b
Let g(c) = -c**3 + c**2 + 2*c - 7. Let i be g(0). Is i < -7?
False
Suppose 9412 + 6035 = -3*j. Let o = -36832/7 - j. Let s = 113 + o. Is -1 less than s?
True
Let x be 2*1*9/18. Let o(b) = b**3 - 2*b**2 + 2*b - 1. Let u be o(1). Is u bigg