- (-2076)/(-14). Let o = -150 - f. Let l be 1/(-2) + 1/2. Is o less than or equal to l?
False
Let s be 3/(-3) - (-3 + -2). Suppose -s*y = -1 - 3. Is 2/15 not equal to y?
True
Let t be (-2)/(-6)*(4 - -2). Suppose -4 = -2*z + t*i - 6*i, -5*z = 5*i - 10. Let w = z + 0. Are w and -0.1 unequal?
True
Let u be (-12)/(-7)*(-28)/(-8). Suppose u*y - y = 15. Which is smaller: 7/2 or y?
y
Let m = -0.05 - -0.15. Let z = 0.7 - m. Let k = z - -6.4. Is k >= 0.1?
True
Let v be (-217)/(-28) + (-2)/(-8). Let o(s) be the first derivative of s**2/2 - 7*s - 2. Let d be o(v). Which is greater: 2/7 or d?
d
Suppose 0 = 4*d + 5*h - 13, 3*h = -2*d - 0*h + 7. Suppose r + 24 = -d*r. Let s be 12/r*(-4)/(-45). Is 0 > s?
True
Let j(m) = m + 5. Let v be j(0). Suppose -17 + 11 = -2*s. Which is smaller: v or s?
s
Let a = -1 - 3. Let n = -4.1 - a. Is n less than or equal to 1?
True
Let h = 14918709236/18956887 - 834864/1061. Let s = h + 2/1051. Which is greater: 1/2 or s?
1/2
Suppose -33*c + 38*c + 5 = 0. Are c and 12 nonequal?
True
Suppose 2 - 17 = 5*w. Let c be (w/(-9))/((-10)/3). Which is smaller: c or 1?
c
Let d(t) = t - 8*t**2 - 6 + t**3 - 4 + 3. Let o be d(8). Suppose 4*g = -g + 10. Is o at most as big as g?
True
Let r = -2 + 3. Let q = -2 + r. Let w = 0 + q. Is 1/4 != w?
True
Let b = 2 - 3/2. Suppose 0 = -6*l + l - 4*o + 5, -o = 5*l - 5. Is b at most as big as l?
True
Let n(r) = 2*r**2 - 3*r. Let f(a) = 2*a. Let d be f(1). Let c be n(d). Suppose -i - 2*i = c*y + 11, 0 = -2*y - 2. Which is greater: 0 or i?
0
Let l = -1.19 - -0.19. Which is bigger: l or 1/2?
1/2
Let r(z) = -3*z**2 + z + 2. Let p be r(3). Let y be (-6)/14 - p/(-14). Which is smaller: -3 or y?
-3
Let s be ((-2)/28)/(1/10). Which is smaller: -2 or s?
-2
Suppose -23 = 4*x - 31. Which is greater: 11 or x?
11
Let d = 5 - 1. Which is smaller: 0 or d?
0
Let m(o) = o**2 - 6*o - 5. Let w be 8/3*(-6)/(-4). Let u be m(w). Let p be (u/5 + 3)/2. Which is greater: 1 or p?
1
Let n be 1/((2 - 3)*-1). Suppose -3*t + 2*t = 1. Let b be 0 + t/((-9)/6). Is b at least as big as n?
False
Let j = 79 - 80.31. Let h = 0.21 + j. Which is smaller: 0.1 or h?
h
Let t = -21 + 17. Suppose 0 = 4*u + 13 + 3. Is t at most u?
True
Let k = -0.86 + 0.76. Let f = 0 - -0.1. Let q = f - k. Is -5 at most q?
True
Let p(q) = q**2 + 9*q + 18. Let j be p(-7). Which is smaller: j or 6?
j
Let c be (-5)/(-4) - 3/(-12). Is -3 less than or equal to c?
True
Let v = -6338/207 - -274/9. Does -1 = v?
False
Let g = 0.5 + -3.5. Let f = -0.8 + 0.7. Which is bigger: g or f?
f
Let t = -9 - -9. Suppose -24 + t = -2*u. Is u bigger than 12?
False
Let y(p) = -p**2 - 5*p - 3. Let s be y(-2). Suppose -5*t = -4*z - 21, -5*z = -0*z - 5*t + 20. Let m = z + 0. Is m smaller than s?
True
Let k = -6 + 14. Suppose k*g - 3*g = 5. Let x = g + 0. Which is bigger: 2/9 or x?
x
Suppose 0 = -4*c + h + 3, -2*c + 3*c + 2*h = -6. Suppose c = -g - 2*u - 18, -3*u = 2*g + g + 39. Is g bigger than -7?
False
Let x = 66 + -328/5. Which is bigger: x or 0?
x
Let i be (-24)/(-15)*5/2. Suppose -2*x + x - b = -11, i*x - 36 = -2*b. Suppose -2*o - x = -1. Do o and -1 have different values?
True
Let x be (-12 + 10)*1/(-3). Which is smaller: 1 or x?
x
Let i = -1 - -4. Suppose -5*y - 3*y = -8. Is y > i?
False
Let b(s) = s**2 + 6*s - 10. Let p be b(-8). Is p bigger than 7?
False
Let z = -9102/11 - -828. Is 1 less than or equal to z?
False
Let o(g) = g**2 - 7*g + 9. Let k be o(5). Which is smaller: 3 or k?
k
Let m = -0.4 + 0.1. Let i(z) = -z**2 + 3*z + 16. Let v be i(5). Is m bigger than v?
False
Let p = 101 + -47. Let t be (2 - 5)*(-33)/p. Is 1 > t?
False
Let u = 0.1 + -0.1. Let l = 2 - 3/2. Which is smaller: l or u?
u
Let h be (2/8)/((-5)/(-12)). Let v(r) = -5*r**2 + 3*r**3 + 0 + 7 - 3*r - 4*r**3 - 2. Let y be v(-4). Which is smaller: y or h?
h
Let s be 0 - (1 - 3 - -4). Let h = s - -7. Suppose -h*i - 22 = k, 5*i - 2*i = k - 10. Which is smaller: -1 or k?
k
Let i(j) = j**2 + 3*j - 10 - 4*j - 5*j. Let v be i(7). Let l be -1 + (2 - 4 - v). Is l greater than or equal to -3/5?
True
Suppose -12 = -3*p + 3*g, 3*p = -3*g + 2 + 10. Suppose 4*b + p*u + 0 = 20, -4*b = -3*u + 1. Let w = -6 + 8. Is w at most as big as b?
True
Let t be ((-8)/190)/(162/45). Let m = 1/274419 - 3333727/12165909. Let f = t + m. Which is greater: f or 0?
0
Let b be 66/20 + (-2)/(-2). Let r = 14/5 - b. Is -3 >= r?
False
Let p be (4/6)/(4 + (-1 - -3)). Which is smaller: p or -0.4?
-0.4
Suppose 6 + 18 = -3*v - 5*b, -2*b - 9 = v. Which is greater: v or 7?
7
Let z(r) = r**3 - 4*r**2 - r + 2. Let v be z(4). Let t be (-251)/v*(-14)/(-49). Let f = t + -36. Is 1 smaller than f?
False
Let i(u) be the third derivative of u**5/60 + 5*u**4/24 - 4*u**3/3 + 2*u**2. Let y be i(-6). Which is bigger: -1 or y?
-1
Suppose 2*s = -s + 21. Let n = s - 4. Let b = 53/36 + 1/36. Are b and n equal?
False
Suppose 2*w + 4 = -2*x, -2*x = 2*w + w + 6. Suppose x*v - 10 = 4*f + 2*v, 3*f - 2*v + 4 = 0. Which is bigger: f or -6/11?
-6/11
Suppose 8 = 3*p - 1. Let x be 93/(-9) - 2/p. Is -11 less than x?
False
Suppose -161 = -5*i - 181. Let u(l) = 9*l**2 + 1. Let o be u(1). Suppose 6*b + o = b. Is i >= b?
False
Let f = 35 - 36. Which is bigger: f or 2?
2
Let c be 0 - (-9)/3 - 1. Suppose 2*t + 4*d = -2*t, 5*t = c*d - 14. Let s = 4 - 4. Which is bigger: t or s?
s
Let m(o) = -o - 1. Let b be m(-7). Let t(z) = -z**2 + 5*z + 6. Let y be t(b). Suppose 0 = -4*s + f - 8, -s - 1 = -4*s - f. Are s and y non-equal?
True
Let c = -97 + 675/7. Is c greater than 0?
False
Let p be (-3 + 14/4)*-2. Is p bigger than 1?
False
Let y be 7/(-56) + (-2)/(-4). Is 1 <= y?
False
Suppose 3*b - 140 = 5*j + b, 0 = -4*j - 5*b - 112. Let q be (-8)/j - (-18)/(-14). Is q <= -1?
True
Let c = -502017/7 - -71900. Let o = c + -183. Do -7 and o have the same value?
False
Let d be (-22)/(-33) - (-20)/6. Let c be (0 - d) + 5/5. Is c smaller than -3?
False
Let b = -0.5 + 0.3. Let v = -14 + 14.2. Let z = b + v. Is -3 at least z?
False
Let c = -18 + 22. Do 0.1 and c have different values?
True
Let f be (4 + (-36)/10)*(-10)/(-2). Is -0.04 greater than f?
False
Let r = 172 - 1202/7. Let n = 10 - -15. Suppose -5*m = 5*z - n, -2*m - 5 = -5*z - 3*m. Which is bigger: z or r?
r
Let m be (-2 + (-19)/(-9))*(-3 + 0). Let v(o) = -o**2 - 5*o - 4. Let f be v(-5). Let j be 2/(f*1) + 1. Is m <= j?
True
Let h = 3 + -1. Let m be 40/12*3/h. Let r be (-10)/12*(-2)/m. Do -1/2 and r have the same value?
False
Let a be 44/(-22) + ((-38)/(-12))/1. Is -1 at least as big as a?
False
Let b = -2 + 4. Suppose 9 = 5*z - b*z. Suppose z*u - 4 = -u. Which is smaller: -2/7 or u?
-2/7
Let c = -47/5 + 99/10. Is -0.06 bigger than c?
False
Let n = 0.02 - 0.02. Which is bigger: 7 or n?
7
Let j(f) = -f**3 - 2*f**2 + f + 2. Let h be j(-2). Let n = 54/11 + -204/55. Which is bigger: h or n?
n
Suppose 2*c - 45 = -3*c - 4*t, -4*t = 3*c - 35. Let w be (-12)/7 - (3 - c). Which is bigger: w or -1?
w
Let g = 5 + -1. Suppose 3*u = 7*u - g. Which is bigger: u or -2/7?
u
Let u = -34 + 23. Which is smaller: u or -13?
-13
Let r(d) = 2*d + 21. Let j be r(-5). Is j <= 11?
True
Let m = 5 + -7. Which is bigger: -1/3 or m?
-1/3
Let p = 0 - 6. Suppose -q - d = 9, 5*q - 2*q + 11 = d. Is p >= q?
False
Let x = -11 - -19. Suppose -9*a = -x*a + 3. Is -1 less than or equal to a?
False
Suppose 0 = -2*t - 5 + 9. Which is smaller: 4/7 or t?
4/7
Suppose 0 = 58*b - 56*b - 14. Is 13/2 greater than b?
False
Let p(o) = o + 4. Let d be p(0). Suppose 0 = d*i + i - 10. Suppose 2*t = 5 - 3. Which is bigger: i or t?
i
Suppose 0 = 2*f + 3*b - 40, 5*f - b = -0*b + 66. Which is bigger: f or 15?
15
Let r be -5*(-1)/15*-69. Is r bigger than -23?
False
Let c = 2.3 - 2.7. Is c bigger than 1?
False
Let z be 3 + (-1 + 0 - 1). Suppose 4*l + 3 = -z. Let p(f) = -f**2 - 7*f - 2. Let h be p(-7). Which is smaller: h or l?
h
Let t be (22/12)/((-14)/21)*-4. Suppose -m = 3*m - 16. Suppose -t + 3 = -m*w. Do 2 and w have the same value?
True
Let c be -50*((-3)/2 + 1). Suppose 0 = 4*z + 3*x - c, 0*z + 5*z - 39 = 4*x. Let p be (-1)/2*(-6)/z. Does p = 0?
False
Let g be 4/10*(-10)/(-14). Let a = 24 - 21. Which is bigger: a or g?
a
Let p(o) = o**3 - 5*o**2 - 15*o + 8. Let x be p(7). Let g be (0 + 4)*2/188. Which is greater: g or x?
x
Let t = 0.062 - 33.162. Let b = -33 - t. Let w = 0.01 - -0.39. Which is smaller: w o