
Let y = 5 - 6.2. Let s = -1.3 - y. Are 0.6 and s nonequal?
True
Suppose l + 6*z = 2*z - 4, 0 = -3*l - z - 12. Let h = -390 + 1160/3. Which is smaller: h or l?
l
Suppose 50 - 5 = 3*x. Let u be 10/x*(-3)/(-19). Which is smaller: u or 0?
0
Let k = -4559/11 + 415. Which is greater: k or 2?
2
Suppose 3*s - 81 = -3. Suppose -2*a + 4*h - s = -4*a, 2*a - 3*h + 2 = 0. Which is bigger: 4 or a?
a
Suppose -2*o + 5*m - 2 = 15, -4*o = 4*m - 8. Let v = -3 - -4. Let w = -1 + v. Is o <= w?
True
Let g be ((-10)/30)/(1/(-33))*-1. Which is bigger: g or -10?
-10
Let o = 0 + 5. Let y = o - 7. Which is bigger: 1 or y?
1
Suppose 0*c = 2*c. Suppose c = g - 4*g - 3. Let h = 6 - 7. Is h at least g?
True
Let p(s) = -s**3 + s**2 + s. Let c(a) = 2*a**3 + 5*a**2 - 11*a + 8. Let l(d) = -c(d) - 3*p(d). Let r be l(7). Is r greater than or equal to -1/2?
False
Let l = 7 + -7. Let k = -29/6 + 5. Which is bigger: k or l?
k
Let s = 2 - 7. Let r = 3 + s. Let i = -0.22 + 0.02. Is i at least as big as r?
True
Let w(g) be the third derivative of -g**5/60 + g**4/3 - 3*g**3/2 + 3*g**2. Let m be w(7). Which is smaller: -1 or m?
m
Let f(h) = -h**3 + 2*h**2 + h + 1. Let z be f(2). Let q = z + -3. Are 3 and q nonequal?
True
Let g be 2/(-4) - (-27)/30. Let b = 4.4 - 5. Let j = 0.5 + b. Which is bigger: j or g?
g
Suppose 0 = 3*m + 3*r, 0 = 3*m - 5*m + 5*r. Which is bigger: m or 2/107?
2/107
Suppose -14*l = -6*l + 248. Let w = -79/9 - 391/18. Let v = l - w. Which is greater: -2 or v?
v
Let v be (-2)/(1 + -2 - 3). Do 0.09 and v have the same value?
False
Suppose 4*g - 2*x - 7 = 13, 4*g - 8 = -x. Let j be 0 + g*(-1)/(-3). Which is bigger: 2/5 or j?
j
Let w = -31 - -47. Suppose 2*j = 4*j - w. Are j and 7 unequal?
True
Let y = 0.1 - 0.2. Let i = y + -0.2. Which is smaller: i or 0.1?
i
Suppose 105 = 9*u - 4*u + 5*p, -5*u - 4*p = -100. Is 16 not equal to u?
False
Let q = 1/380 + 749/4180. Let p = 58 - 57. Is q equal to p?
False
Let t be ((-8)/(-2))/((-18)/27). Let x be 4/6 - 2/t. Which is greater: 3/23 or x?
x
Let a = 2/173 - -332/1211. Suppose 9*i = 4*i. Suppose -5*j + 10 = -3*d, i*j + j - 2 = 2*d. Is a < d?
False
Let n be 15*7/((-70)/4). Let h be 19/3 - (-2)/n. Is 5 at most h?
True
Let p = -93 + 112. Which is bigger: 20 or p?
20
Suppose -d - 26 = -5*h, 6 - 20 = 4*d - 2*h. Let y be 0/(-2) + 6/(-20). Which is smaller: d or y?
d
Let m be ((-8)/6)/((-4)/12). Suppose -13 - 7 = m*s. Let r = s + 5. Which is smaller: -2 or r?
-2
Let p(u) = 5*u**2 + 9*u - 17. Let x(a) = -9*a**2 - 18*a + 33. Let v(j) = -11*p(j) - 6*x(j). Let i be v(8). Let g = -97/3 + 32. Is i > g?
False
Let x be (-1)/((-46)/(-12) - 4). Suppose 2*f = x*f + 24. Is -6 smaller than f?
False
Let s be (-3 + (-7)/(-3))*-3. Let n be ((-2)/(4 - s))/1. Which is bigger: -8/9 or n?
-8/9
Let w be (-19)/(-8) - (3 - 1). Which is bigger: w or 1?
1
Let p = 1 + 2. Let q = -1.09 - -0.09. Which is greater: p or q?
p
Let y = 12.3 - 12. Let z = y - 0.6. Is z at least -2/15?
False
Let y(a) = -a**3 - 7*a**2 + 4. Let b be y(-7). Let z be (2 - (-33)/(-4)) + 2. Let w = b + z. Is -1/4 less than w?
False
Let p be (4/15)/(12/(-36)). Is 0 at least p?
True
Let u be (-24 + 0)*10/(-30). Suppose 5*k - 4 = -2*g + 4, 4*k - u = 0. Let x = 271/6 - 45. Are x and g nonequal?
True
Let f = -6 - -8. Let u(l) = -l**3 - l**2 + 4*l + 1. Let g be u(-3). Let t = g + -33/5. Which is greater: f or t?
f
Let p = -4.98 + 5. Let v = p - 0.12. Is v smaller than -1?
False
Let b = 602/3 + -205. Which is smaller: b or -4?
b
Suppose 3 - 5 = 3*i - x, i - 2 = 3*x. Which is bigger: -3/25 or i?
-3/25
Let h = -0.16 - -1.16. Which is smaller: -3 or h?
-3
Let k = 25 + -23. Which is bigger: -1 or k?
k
Let i(s) = -s**3 + 8*s**2 - 6*s - 8. Suppose 5*g - 18 = 17. Let l be i(g). Let o = -0.16 + 0.23. Is o bigger than l?
True
Suppose k = -3*s + 4*s + 4, 0 = 2*s - 5*k + 20. Let v be (3 + (-16)/5)/((-10)/(-25)). Which is bigger: s or v?
s
Let j be 2 + (-1)/(2/6). Suppose -4*s = 16 + 24. Let f be (s/(-15))/((-4)/9). Which is bigger: f or j?
j
Let y be 1/4 - (-2)/8. Let t = 45 + 3. Let g be 2/(-12) - (-8)/t. Which is smaller: g or y?
g
Let x = 10 - 6. Let p = -4.1 + x. Which is smaller: -3 or p?
-3
Suppose -o + 5*l - 25 = 0, 0 = -9*o + 5*o + 5*l - 25. Is o less than -8/31?
False
Let k = -5/14 - 1/7. Is k at least as big as -4?
True
Let c = 0.12 + 0.68. Let j = -0.6 + c. Which is smaller: -1 or j?
-1
Let g = 24 - 25.7. Let r = 1.6 + g. Do 4/5 and r have the same value?
False
Let b(a) = a**2 - 3. Let q = 9 - 9. Let o be b(q). Suppose -8*w + 3*w - 25 = 0, -16 = 3*u + 2*w. Which is smaller: u or o?
o
Let k = 6 + -12. Let v(z) = -z - 5. Let s be v(k). Are 1/3 and s equal?
False
Let d = -4 + -8. Let l = 17 + d. Let k be 2/(-5) + 27/5. Are l and k non-equal?
False
Let y be (0 - 0)/(-8 + 7). Let m = 8/31293 + -95600243/500688. Let n = m + 191. Is n <= y?
False
Suppose 2*k = 8, -k + 3 = 5*w - 4*k. Suppose 4*p = 11 - w. Which is smaller: -2 or p?
-2
Let s = -28 - -27.6. Is s greater than or equal to -1/3?
False
Let n(o) = -o**3 + 2*o**2 + 3*o - 2. Let l be n(3). Let b be l/1 + 552/270. Is b != -1?
True
Let h(v) = v + 7. Let o be h(-5). Suppose b = -5*l - 0*b - 5, 4*l - o = -2*b. Let k be (5/(-130))/(l/8). Is -1 less than or equal to k?
True
Let u be (2/68)/(6/24). Let m(n) = -10 - n - 2*n + 4*n. Let a be m(10). Is a smaller than u?
True
Let t = 13 - 21. Which is smaller: t or -10?
-10
Let z(v) = v**2 + 6*v. Let w be z(-6). Let u be (-357)/35 - 1/(-5). Let k(r) = -r - 10. Let c be k(u). Is c <= w?
True
Let v = 32 + -20. Is v != 11?
True
Let z be -42*(((-22)/3)/(-2) + -4). Which is greater: 13 or z?
z
Let l(j) = -2*j + 2. Let z(d) = 3*d - 3. Let u(n) = -5*l(n) - 3*z(n). Let m be u(-4). Suppose -37*q - 4*i = -36*q + 20, 5*q + 8 = 3*i. Is m >= q?
False
Suppose -r - 2*f + 17 = -2*r, -4*r + 5*f = 74. Which is greater: -22 or r?
r
Let d(i) = -i - 5. Let q be d(-9). Suppose j + q*j = l - 18, -j = 3*l - 6. Suppose 2*f = -4*n - 2*f, 2*f + 16 = 2*n. Are l and n non-equal?
True
Let b = -4.3 + 0.3. Let p = 64.1 + -60. Let n = p + b. Is n not equal to 1/4?
True
Let x = 1.1 - 2.4. Let v = x - -0.8. Are 0.1 and v unequal?
True
Suppose 5*c - 26 = -1. Let y be 15/(-6)*(-4)/c. Is y >= 0.1?
True
Let i be 32/(-20)*(-2)/4. Suppose 2*s = -2*v + 6, 3*s - 4*v - 4 = -s. Is s less than i?
False
Suppose 0 = -j + 6 + 15. Let x = 64/3 - j. Are -1 and x non-equal?
True
Let s = -24 - -23.8. Suppose u = 2*u - 1. Let l = u - 1. Which is smaller: l or s?
s
Let l(o) = -2*o + 8. Let x be l(8). Let a be (-8 - x)*1*-1. Is 0 equal to a?
True
Suppose 3*y - 4 - 2 = 0. Suppose -5*k = -y*k. Let l be ((-22)/24 - -1)/(3/(-6)). Which is smaller: k or l?
l
Let a = 20 + -16. Let j = 4 - a. Are 0 and j unequal?
False
Let p(y) = -y**2 + 3*y + 5. Let q be p(4). Is q smaller than 3?
True
Let p(w) be the second derivative of -w**4/24 + 2*w**3/3 + w**2 + w. Let b(c) be the first derivative of p(c). Let j be b(3). Which is bigger: 0 or j?
j
Suppose 4*b + k = 16, -k + 0*k = 4. Suppose 3*a - 5 = 2*i, 0 = -3*a - 2*i + b*i + 9. Let y be ((-6)/9)/(a/(-3)). Which is bigger: y or -4/7?
-4/7
Let v = 0.023 + -3.923. Let g = 4 + v. Are g and 0 equal?
False
Let z = 34 - 18. Let r be (-4)/(z/(-3))*1. Which is greater: r or 2?
2
Let b = -0.97 - 16.93. Let m = b - -18. Which is bigger: -7 or m?
m
Let x be -50 - ((0 - 1) + 3). Let z be 3/(-5) - x/20. Suppose -r + 2 = 4*w, -3*r = -z*w - 3*w - 6. Is -2/3 equal to w?
False
Suppose 11*l = -7*l. Which is smaller: l or -22/15?
-22/15
Let d = 0.01 + 0.09. Suppose 7*s + 3 = -4. Is d bigger than s?
True
Let j = 14509/2171 - 37/167. Let h = 614/91 - j. Let d = 0 + -0.1. Is d less than or equal to h?
True
Suppose -12*f - 47 = -11*f. Are -47 and f equal?
True
Suppose -8 = -4*p - 0*p. Is -1/4 greater than p?
False
Let d = 4 + 0. Suppose -o - 2 = 8. Let p be -1*(-2)/((-4)/o). Is p < d?
False
Suppose 5*v - 21 = -2*g, 0 = -4*g - 2*v + 5 - 3. Let q be (-1)/g - (-21)/(-14). Let n be 0 + 0 - 0/1. Are n and q equal?
False
Let o = -3 + 2. Let d be 17*(-4)/8*-2. Suppose 0 = s - 2*s - 4*m + d, -4 = -m. Which is bigger: s or o?
s
Let m be -3 + 32 - (-2 - 2). Suppose 3 - m = -4*s - 5*p, 2*s + 3*p = 16. Is s >= 4?
True
Let n = -0.06 - 0.04. Let s = -6.3 - -5. Let k = -0.3 - s. Is k at most n?
False
Let a = 34 + -22. Let t = -11.99 + a. Is 2/3 greater than or equal