t x be 3 - (9 - (1 - 0)). Is x < -5?
False
Let h be 0 + (1 - 2) - 1. Let x be ((-5)/(15/18))/(-2). Suppose -x*k - 2 = -k. Is h less than k?
True
Let h = -384/7657 - 2/1767. Which is greater: h or 0?
0
Suppose 21 - 23 = -t. Is t at least 2/3?
True
Let o be (-2)/(-1) + 135/(-72). Is -1/2 != o?
True
Let o be (-1715)/17 - 5/((-255)/(-6)). Which is smaller: o or -100?
o
Let a = -1.1 - -2.1. Which is smaller: 0.5 or a?
0.5
Let k be (-25)/(-10)*8/5. Let d be (3/((-6)/k))/2. Is -1 >= d?
True
Let v = 803.07 + -794. Let o = -9 + v. Which is greater: o or -1?
o
Let s = 0 + -2. Let n = -468 + 933/2. Is n < s?
False
Suppose -80 = 2*n + 3*n. Is n greater than -16?
False
Let q(g) = -g**2 + g. Suppose 4*w + 0*w = -12. Let s(u) = -5*u**2 + 3*u + 1. Let c(x) = w*q(x) + s(x). Let n be c(-1). Is n less than 1?
True
Suppose 15*j = 12*j + 138. Which is smaller: j or 1?
1
Let q = 8 + -8.2. Is -0.4 > q?
False
Let s(q) = q + 12. Let k be s(-8). Suppose -k*x + 3*m = -3*x + 1, -m = -2*x + 3. Which is greater: x or 1?
x
Suppose 0 = -0*b - 4*b. Suppose 2*f + 0*f = b. Suppose 5*i - 3*k - 5 = 0, 7*i = 3*i - 4*k + 4. Which is bigger: i or f?
i
Suppose y = 3*d - 0*d + 8, 0 = -2*d - 2*y. Let o be (-2 + 1)/((-8)/d). Which is smaller: -1 or o?
-1
Let l(w) be the first derivative of w**4/4 - w**3 - w**2 - 2*w - 1. Let u be l(4). Let o be (9/u)/(6/(-8)). Which is greater: -4/5 or o?
-4/5
Let x = 2 - -3. Suppose 5*r + x*h = h + 20, -r - 3*h - 7 = 0. Let k be 6/r - 53/60. Is k at most as big as -1?
False
Let k = 884/9 + -98. Suppose 4*h + 0*h = -5*b - 25, 3*h + 3*b + 15 = 0. Suppose 15 = -5*w, 0 = -l - h*w + w + 3. Is l bigger than k?
False
Let w = -63 + 251/4. Let u(p) = p - 2. Let x be u(0). Let i = -2 - x. Which is bigger: i or w?
i
Suppose 3*x = u + 11, -u - 3*x = -26 + 7. Suppose 3*n = -3*k - 6, 4*n - 9*n + u*k - 10 = 0. Let z = 7 - 17/2. Is n at most as big as z?
True
Let t(l) = l**2 + 16*l + 21. Let r be t(-15). Let j be (r/21)/(1/7). Is 6/7 equal to j?
False
Let f = 61783/712 - 695/8. Let l = f - 96/1691. Which is bigger: 0 or l?
0
Let m(i) = i**3 - 3*i**2 - 5*i + 1. Let t be m(4). Is -2 at least t?
True
Let l be 4/(-10) - 6/(-20). Which is smaller: l or -1?
-1
Let k be (-142)/440 - (-3)/(-6). Let i be ((-104)/(-110) + -1)*28/(-21). Let n = i + k. Which is greater: 0 or n?
0
Let v = 1.6 - 0.9. Let z = v - 1.7. Let s = z - -2. Which is greater: s or -2?
s
Let f be (-1)/3 - (-10)/(-15). Which is bigger: f or -9/11?
-9/11
Suppose 0*v - 33 = 3*v. Let g = v - -15. Is g < 4?
False
Let p = -2 + 6. Let f be 4*(45/(-16) + 1 + 2). Is p at most as big as f?
False
Suppose -3*w + 3*n + 21 = 0, -5*w + 23 + 4 = -3*n. Suppose -5*l + 2 = -w. Is l smaller than 8?
True
Let w = -0.1 + 0.3. Let j = w - 0.3. Let b = j - -0.3. Is b < -0.2?
False
Let x = -8.8 - -7. Let d = -2 - x. Is 1 at least d?
True
Let h(k) = -k - 5. Let s be 264/(-40) + (-4)/10. Let b be h(s). Are 4 and b equal?
False
Suppose 3*a = -4*p + p - 18, 6 = -p - 4*a. Let w be p/4*(-1)/6. Is w at least 0?
True
Let g = -10178/27 + 377. Which is greater: 1 or g?
1
Let n = 2699/8 + -331. Which is greater: n or 5?
n
Let o be 2/5 + 32/(-5). Let m = 6 + o. Which is bigger: m or -1/10?
m
Let r = -0.02 - 3.98. Let t = 9 - 26/3. Do r and t have the same value?
False
Let f = 4 + -5. Suppose -6*r + 4*r = 0. Let m = r - 0. Is f <= m?
True
Let c be (2/6)/(10*6/27). Which is smaller: c or 0?
0
Let r = -108/5 + 24. Is r at least 2?
True
Let b = 21 + -20.95. Which is smaller: b or 1/4?
b
Suppose 2*x - 10 - 2 = 0. Let i = -8 + x. Let s = 2 + i. Is 1 != s?
True
Let c = 4 - 3. Let t = c + -1.4. Is 0 < t?
False
Let w be (-16)/(-64) - 14/(-8). Suppose -15 = -0*g - 5*g. Is w equal to g?
False
Let z be -3*(5/5 - 26/24). Is z smaller than -2.3?
False
Let s be -1 + 2 + 3 + -3. Let p = 8 + -16. Let o = 11 + p. Which is bigger: s or o?
o
Let n = 0.368 - 0.298. Let p = -0.2 - -0.3. Is p at least as big as n?
True
Let z = -14 - -20. Is z smaller than 5?
False
Let c(n) = -2*n**2 + 6. Let b be c(-5). Let w be 2 - (b/(-36) - -1). Which is greater: -1 or w?
w
Suppose 2*s + 2*s + 8 = 0. Let q be (-9 - (-2 - -3))/s. Suppose 0*v + 3 = -5*j - 3*v, j + 5 = -q*v. Which is bigger: 4/9 or j?
4/9
Let q = 33 - -7. Let k be q/18 + 4/(-18). Let w be k/(-13) + 10/(-104). Are -1 and w unequal?
True
Let z be (-12)/(-18) + 1/3. Is z at least as big as -1/14?
True
Let c = 81 - 120. Which is smaller: c or 0.2?
c
Let d = -5 + 4. Suppose -2*m + 17 = -3*n - 6*m, -n = -m + 1. Is n at most as big as d?
True
Let j be 2*1 + 143/(-55). Is -1 < j?
True
Let b = 1912/14115 - 2/941. Let n = 2/93 + -97/186. Is n less than or equal to b?
True
Let d(b) = -2*b + 10. Let w be d(6). Let m be 1/w + (-3)/(-2). Which is smaller: 6/11 or m?
6/11
Let n = -20 + 7. Which is bigger: n or -12?
-12
Let u = -3 - -2. Is u != 0.052?
True
Suppose 0 = -a - 2*a + 3. Suppose -2*l + 110 = 3*l. Let i = -22 + l. Which is smaller: a or i?
i
Let z = -16 + 16.2. Is z < 5?
True
Let v = -1.8 + 3.6. Let h = 1 - v. Which is bigger: 2/3 or h?
2/3
Suppose 2 - 4 = -2*v. Let h be (-8)/12 + 23/3. Which is smaller: v or h?
v
Suppose -4*n - 2*i + 7 = -3, 0 = 4*n - 4*i - 16. Is 3 < n?
False
Suppose -4*x = b + b - 2, -5*x - 2*b + 3 = 0. Which is bigger: x or -1/4?
x
Let w = 13 + -9. Suppose 0 = -w*z - z + 5. Let q = -2 - -4. Which is bigger: z or q?
q
Let x = -3 - -10/3. Let d = 2 + -2. Suppose 6 = 3*f - d*f. Which is bigger: x or f?
f
Suppose 2*r - 11*r = 45. Let n(f) = f. Let j be n(-4). Do r and j have different values?
True
Let f be 33/9 - 4/6. Is 2 smaller than f?
True
Suppose -3 = -3*v - 6. Are -4 and v nonequal?
True
Let q = 15 + -15. Suppose p + d = -1, 4*p + q*d - 2 = 2*d. Which is smaller: p or 1/38?
p
Let y be (-2)/(-7) + (-60)/14. Let d = 5 + y. Let n be 16/6 + 3 + -4. Is d < n?
True
Suppose -3*d - 4 = 2. Let a be (4/14)/(d + 3). Let y be (-7 + 7)/(-3 - -5 - -1). Which is smaller: y or a?
y
Let z be (-8)/((-32)/(-6) + 2). Is z at least as big as -1?
False
Suppose -7 - 3 = -5*x. Suppose 4*j - x*u = 2, 0 = 2*j + 4*u + u + 17. Let n = 1 + -1. Which is smaller: n or j?
j
Let k be (-2)/(4 + (-44)/10). Suppose 0 = -4*m, 5*a - k*m = -34 - 56. Are -19 and a unequal?
True
Let s(t) = 33*t**3 + t**2 + t - 1. Let v be s(3). Let k = -60440/67 + v. Let o = k + -153/536. Is 0 < o?
False
Let f = 17/18 - 4/9. Which is smaller: f or 1?
f
Let q = -1.3 + 7.3. Let c = 7 - q. Which is bigger: 0 or c?
c
Let m = -18 + 11. Let j = m - -6. Is j greater than -1/3?
False
Let z = 42.4 - 43. Is z equal to 0.3?
False
Let v(x) = -x**2 + 8*x - 5. Let z = 23 + -16. Let i be v(z). Which is bigger: i or 1?
i
Let v = 26/5 - 5. Let x(w) = -3*w**2 - 2*w - 3. Let z(k) = -4*k**2 - k - 2. Let o(n) = -5*x(n) + 4*z(n). Let s be o(7). Is s at most as big as v?
True
Suppose 3*c = 2*d + 11, 0*d = 2*c + 2*d + 6. Which is bigger: 1.1 or c?
1.1
Let g(d) = d - 8. Let j be g(7). Let y be (-4 - -6)*j/(-2). Are -2/7 and y unequal?
True
Let q(t) = -t**2 - 10*t - 1. Let r be q(-9). Let o be r/6*3/(-22). Is 2 >= o?
True
Let p be (-13 + 12)/((-2)/42). Suppose -p = -3*v + 3. Is v equal to 8?
True
Let v = 125 + -130. Is -5 bigger than v?
False
Let v(t) = -4 - 2*t**3 - 4*t + 4*t**3 - t**3 + 2*t**2. Let b be v(-3). Are -1 and b non-equal?
False
Let l(y) = -y**3 + 6*y**2 + 2*y - 9. Let r be l(6). Suppose -k - 2 = -r. Are 8 and k equal?
False
Let t = 5 - 5. Suppose 2*b - 3 + 11 = t. Let k be (-4)/(-9)*(-6)/b. Is k less than or equal to -2/3?
False
Let w be (-30)/56 - 16/(-56). Which is smaller: w or -1?
-1
Let z = 51/2 + -25. Let r be 1/(-1) + 2 - 2. Let h = 0 + r. Is h greater than or equal to z?
False
Suppose -1 = -4*z + 15. Suppose 2*i + 10 - z = 0. Which is smaller: i or -2?
i
Let f(u) = u**2. Let n be f(2). Let a be (9/(-6))/(3/n). Let h be (-1 + 0 - a) + 0. Which is bigger: h or 2/9?
h
Suppose -w - 4*i = w, 0 = -w + i. Suppose w + 1 = -h. Which is smaller: h or 0.2?
h
Suppose 5*a = -3*g + 7, -2*a + 3*a = 2. Is 3 at most g?
False
Let k be (-41 - -2)*2/(-6). Suppose 3*c - 2 - k = 0. Let x = -3 + c. Which is smaller: 0 or x?
0
Let z = -27 - -33. Which is smaller: 2 or z?
2
Let l = -8.8 - 0.2. Let p = -8.9 - l. Do 2/15 and p have the same value?
False
Let x = -6 + 11. Let u = 24 - 98. Let d = u - -372/5. Which is greater: d or x?
x
Suppose -2*m + 0*h + 4*h = -4, 0 = -2*h - 2. Let b