 than -1?
True
Let x = -97/414 - 1/23. Are 1 and x nonequal?
True
Let g = -54 - -92. Suppose -u + 22 = 2*i, 0 = 3*i - 2*u + u - g. Let k = -47/4 + i. Is 0.1 bigger than k?
False
Let f = 3 + -4. Let w be 2 + (-10)/(15/3). Is w bigger than f?
True
Suppose 5*l - 48 = 2. Is 10 > l?
False
Let f be ((-8)/2)/(-1) - 3. Let m = -6 + f. Is -7/2 smaller than m?
False
Let m = -2877/4654 + 1/358. Let v = -127/26 + m. Is v < -5?
True
Let m = -1 + 2. Suppose q - m = -0*q. Is 7/3 <= q?
False
Let s = -0.2 + -20.8. Let k = -21.6 - s. Which is greater: k or -1?
k
Suppose -2*m + 0 = -6. Suppose -u + m*x - 9 = 0, 14 = -4*u + 3*x - 4. Let d = -21 - -19. Which is smaller: d or u?
u
Let h(l) = l**2 - l. Let q be h(-1). Let a be 2/14*2/q. Let g(t) = -t**2 + 6*t - 6. Let p be g(5). Is p greater than a?
False
Suppose 0*v - 2*v + 5*a = 1, -2*v - 2*a + 34 = 0. Suppose 0*p = 3*p + v. Let f = p + 3. Is f less than or equal to -1?
True
Suppose -4*b - 32 = -2*b + 2*l, 0 = 5*b + 3*l + 82. Which is smaller: b or -20?
-20
Let l = -0.45 + 0.32. Let k = l - 0.07. Is -2 > k?
False
Let i(n) = n**2 + 9*n + 10. Let o be i(-8). Suppose 2*c + o = -0*c. Let q = c + 0. Which is greater: q or -7/4?
q
Let b = -6 + 4. Let i be (-6)/(-24) + b/(-4). Are 1 and i equal?
False
Let g be (-8)/(-6)*(-3)/(-26). Let o be ((-4)/10)/((-4)/5). Which is bigger: g or o?
o
Let j be (-38)/90 + (5 - 172/36). Let w = 1.3 - 0.3. Let m = 0.9 - w. Is j > m?
False
Suppose z - 20 = 3*z. Which is bigger: z or -8?
-8
Let q = -25 + 35. Let x = 14 - q. Is x less than 3?
False
Let u = 27.7 - 28. Let c = -8 + 7.7. Let r = 0.1 + c. Which is greater: u or r?
r
Suppose 2*z - 6 = 0, 4*u - 3*z + 4 = 3*u. Suppose -10 = -5*l - 2*n - 0*n, -2*l - u*n + 25 = 0. Is 2/11 not equal to l?
True
Let j = 37081/13730 - 1/1373. Which is smaller: 3 or j?
j
Let y = 94/17 - 11/2. Which is bigger: -1 or y?
y
Let l = -39 - -39.1. Does -0.5 = l?
False
Let o be (-4)/(-40)*28*5. Which is greater: o or 15?
15
Let h = 19 + -29. Let w be 6/10 + 36/h. Are -2 and w equal?
False
Suppose -2*l = -0*r - 4*r - 48, 0 = l + 2*r - 4. Suppose 2*q = -3*q + 10. Suppose 2*c + 4 + 0 = q*j, 0 = c + 2*j + l. Is c equal to -6?
True
Let s = 3.3 - 1.3. Is 0 greater than or equal to s?
False
Let b = -28 - 31. Let z = -415/7 - b. Let m = 31 + -31.01. Which is bigger: m or z?
m
Let w = -54 - -111/2. Let a(r) = r - 5. Let q be a(6). Which is smaller: w or q?
q
Suppose -2*p + 5*r = -29, 0 = -2*p - 2*r - 3*r + 19. Suppose p = 3*z, 0*z - 12 = 2*t - 3*z. Suppose -d + t = 3. Is -3 <= d?
True
Let z = 28 + -32. Which is bigger: 3 or z?
3
Let r = 0.09 + 3.91. Let s = 3.7 - r. Does s = 2?
False
Let o = -122 - -368/3. Is o less than 2/13?
False
Let j = 248/5 - 50. Let g = -4/15 + j. Suppose 1 = o + 3. Is g < o?
False
Suppose 18 - 3 = 5*m. Let n be ((-1)/m)/((-5)/90). Suppose -2*w + n = w. Is w at most as big as 0.1?
False
Let g(y) = y**3 + 4*y**2 + 4*y + 3. Let w be g(-3). Let p be ((-23)/(-4) - w) + -2. Is p less than or equal to 3?
False
Let n(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3/6 + q. Let r be n(-5). Suppose -r + 1 = 4*i. Does i = -2?
False
Let y be (-1)/3 + 597/(-2583). Let d be ((-3)/12)/((-287)/(-8)). Let k = y + d. Do 1 and k have different values?
True
Let q be (-6 - -98)*(3 + 15/(-6)). Which is bigger: q or 47?
47
Let u = -14 + 11. Is u smaller than -11/6?
True
Let c = 0.1 + 0.1. Let f = -0.2 + c. Which is smaller: f or -5?
-5
Suppose 13 = 5*p - 2*b, -p = -4*p - 3*b - 9. Let g = -7617/26 + 293. Which is bigger: g or p?
p
Let l be (-5 - -7)/(2/(-9)). Let s = 10 + l. Let a be (1/(-4))/(1/(-1)). Is s less than or equal to a?
False
Suppose -5 = 4*u + 3. Is -2 at least u?
True
Let y(s) = -s**2 - 12*s - 11. Let k be y(-11). Is k at most 1/53?
True
Let w = 4.9 + -4. Let t = w - -0.1. Which is smaller: -1/5 or t?
-1/5
Let i = -1 + 7. Suppose 0 = -2*f - 8, j = -0*j - f - i. Let z be (j/(-5))/((-7)/(-5)). Which is greater: 0 or z?
z
Let k be (1/(-2))/((-2)/16). Let r = k + -2. Suppose 3*f + 5*o = -26, -r*f = o + 2*o + 16. Is -3 > f?
False
Suppose 0 = 88*o - 87*o + 9. Which is smaller: o or -63/8?
o
Suppose 0 = -3*b - 2*g - 26, -2*b - 2*g - 34 = 2*b. Is -8 at least as big as b?
True
Let a be (609/(-6))/((-15)/(-6)). Let n = -41 - a. Let x = 4 + -1. Is n > x?
False
Let g be 0*(-2 + 0)/(-2). Suppose g = -i + 2 - 3. Let z = 0 + 1/4. Is i >= z?
False
Let m be (0 - -2)/((-8)/4). Let w = 184/909 - -2/101. Which is smaller: m or w?
m
Suppose -5*k - 28 = -k. Let x be (-2 - k)*4/(-8). Which is smaller: -4 or x?
-4
Let p = 21 - 21. Do 2/33 and p have the same value?
False
Suppose -4*a = -9 + 1. Let f be (-441)/36 + a/8. Is -13 greater than or equal to f?
False
Let o be (2 - 1) + (-644)/636. Let k = -181/1749 - o. Which is smaller: -1/3 or k?
-1/3
Let w be (-1 - 0)/((-2)/(-4)). Let v = 5 - -4. Let n be (-2 - 1)/(v/6). Is n not equal to w?
False
Let j = -0.09 - 3.91. Let n = j - 2. Which is greater: n or 0?
0
Let v = 2 + 0. Let z = 3/71 - 77/142. Is v greater than or equal to z?
True
Let q = -111 - -2107/19. Which is bigger: 0 or q?
0
Let o(f) = -f**2 + 5*f. Let x be o(6). Let q be 2*(-2)/x*-1. Is q equal to -2?
False
Let a = -0.02 + -0.28. Is -6 greater than or equal to a?
False
Suppose c - 6 = 4*c. Let d be ((-4)/8)/((-3)/c). Suppose -4*k + 3 = -1. Are k and d non-equal?
True
Let d = -190 - -261. Is 71 at least as big as d?
True
Let n(m) be the first derivative of m**4/4 - 4*m**3/3 + m**2 - 6*m - 2. Let u be n(4). Which is greater: u or 2/3?
u
Suppose 4*c + 3*d = -2*d + 19, -5*d - 5 = 0. Suppose 0*i = -m + i, -c = -m + 4*i. Is m at most as big as -1?
True
Let l = -3/11 + 25/132. Let h(y) = -y - 9. Let w be h(-10). Which is greater: w or l?
w
Let s(z) be the second derivative of -3*z**5/10 - z**4/6 - z**3/3 - z**2/2 + z. Let w be s(-1). Is w >= 4?
True
Let w(g) = -3*g**3 + 6*g**2 + 3*g - 7. Let m(d) = 2*d**3 - 3*d**2 - 2*d + 4. Let y(q) = 5*m(q) + 3*w(q). Let s be y(-3). Are s and 0.6 unequal?
True
Suppose 5*j = j - 2*v + 28, 4*v = -j. Is j equal to -1?
False
Let s be 16 - (-2 + 2 + -1). Let h = s + -24. Which is greater: h or -4?
-4
Let r(p) = p**2 + p. Let s be r(-3). Let g(u) = -u**2 + 9*u - 12. Let l be g(6). Are l and s nonequal?
False
Let g be -2 - (-3 - (-2)/(-2)). Is 2 smaller than g?
False
Let z = -11.7 + 12. Which is bigger: z or 4?
4
Let v be (5 + -3 - 2) + 5. Let c be 31/(-18)*v/(-15). Let o = -1/2 + c. Is 0 not equal to o?
True
Let c(f) = -2*f + 1. Suppose 0 = -r + 3 - 1. Suppose 0*i = -2*i + r. Let w be c(i). Which is smaller: -2/5 or w?
w
Let k = -67/20 - -15/4. Let c = -2/7 + -1/21. Which is bigger: k or c?
k
Let d(y) = -y**2 - 15*y - 30. Let q be d(-8). Which is smaller: q or 0.1?
0.1
Let x be (2 - 3)*8/100. Let r(z) = z - 1. Let d be r(-3). Let n = -4 - d. Is x < n?
True
Let k = -32 + 11. Let j be (-275)/35 + 3/k. Is j greater than or equal to -7?
False
Let r = -3 + 1. Let q = -0.975 - 0.025. Is q equal to r?
False
Suppose -5*d - y + 17 = 3*y, 13 = d + 4*y. Let f be (-15)/(-25) + (-16)/10. Is f less than or equal to d?
True
Let p = -4.34 + 0.64. Let l = -4 - p. Let z = -1.3 - l. Is 0.1 at most z?
False
Let h = 32.1 + -32. Is h greater than 0?
True
Let x be (-2)/5 + 172/(-20). Let u = -11 - x. Which is bigger: -3 or u?
u
Let j = 0.6 + -0.6. Let i = 0.4 + j. Let y = -0.6 - i. Do y and 0.2 have different values?
True
Let x(i) = -i**3 - 6*i**2 - i - 8. Let n be x(-6). Let v be (4/6)/((-2)/(-9)). Suppose -6 = v*z - z. Which is greater: n or z?
n
Suppose 5*q + 35 = 12*q. Which is smaller: q or 12?
q
Let x(i) = -i**3 + i**2 + i - 1. Let h be x(2). Is -3 less than or equal to h?
True
Let l = -6 + 5. Let n be -3 + -13 + l/(-1). Let k be n/27 - (-4)/18. Is 2 < k?
False
Let u(o) = o**2 - 3*o. Let f be u(5). Which is greater: 1 or f?
f
Suppose -5 = f - 0*f + 5*i, 0 = 3*f - 3*i + 15. Is -6 greater than f?
False
Suppose 2*x = -3*m - 4 + 13, -3*m + 18 = -x. Is m less than or equal to 4?
False
Let n = -5 - -2. Which is greater: n or -14/5?
-14/5
Let u be (18/8)/((-6)/32). Is -15 > u?
False
Suppose -4*w + 11 = 7*w. Let n be (-6)/(-8) + 1/4. Is n at most as big as w?
True
Let j = 573/5 - 115. Is j at least -0.24?
False
Let i be 11/5 - (0 - 2). Which is smaller: 4 or i?
4
Let v(i) = -i**3 - 10*i**2 - 12*i + 13. Let s be v(-9). Suppose -5*x - f - f = s, f + 11 = -x. Which