- -2. Suppose j = z - 4*z. Does u = z?
False
Let x be -60*1/(-3 + 1). Let d be (3/x)/(8/20). Is -0.2 at least d?
False
Let s = 69 - 34. Suppose -3*b + m - 26 = 0, -m + 0 = -4*b - s. Which is greater: -10 or b?
b
Suppose 0 = 2*a + d - 2, -5*d + 5 = -4*a - 19. Is a bigger than 1/25?
False
Let y = -1 - 1. Let a = -9 + 3. Let u be (-20)/24 + (-2)/a. Is y > u?
False
Suppose 2*q = -4*c + 268, 4*q + 212 = 3*c - 0*q. Is c at least as big as 69?
False
Let l = -168 + 848/5. Let c = l + -6/5. Suppose -x + 21 = i + 4*x, x = 4*i. Is c bigger than i?
False
Let f(x) = -x**2 + 10*x + 3. Let u be f(10). Which is bigger: -1 or u?
u
Let s be 1/4 - ((-34)/(-8) + -3). Which is greater: -1/8 or s?
-1/8
Suppose 1 = z - 4*f, 5*z = -5*f + 6*f + 5. Let d = 7156/11 + -650. Is z greater than d?
True
Suppose -m - 8 = -2*c - 2*m, c = 2*m - 1. Suppose -b = -c*b - 12. Let k be (-3)/12 - b/(-8). Is k at most as big as 1?
True
Suppose -5*n + 18 = g, n = 3*g + 15 - 5. Let d be g*(21/6)/(-7). Which is smaller: 10/9 or d?
d
Let a = 0.1 - 0.1. Let r = -40 + 38.96. Let b = r + 0.04. Which is smaller: b or a?
b
Let h(o) = -o**3 + 6*o**2 - 3*o - 4. Let z be h(5). Let m be (z/(-4))/(9/(-12)). Which is smaller: m or -6?
-6
Let u = -3 - -4. Let o = -11 - -23/2. Which is smaller: u or o?
o
Let w = -4 - -6. Are w and 1 nonequal?
True
Let y = -8 + 7. Is y bigger than -0.4?
False
Suppose 2*g + 26 = -2*k + 4*k, 3*g - 9 = -3*k. Let y = k - 9. Do y and -8/9 have the same value?
False
Let g = -2.7 - 0.3. Let c = g - -2.9. Are 3 and c equal?
False
Suppose 26 + 9 = 5*t. Let c(u) = -u**3 + 7*u**2. Let j be c(t). Is 0 >= j?
True
Suppose -a = -3*a + 8. Which is greater: a or 5?
5
Let p = -9 - -16. Suppose -2*j - 2 = 2*s, -2*s = -3*j + 2*j + 2. Let g be 6 - (0 - j/3). Which is smaller: g or p?
g
Let v = -44/5 + 52/15. Let r = v + 6. Which is smaller: r or 2?
r
Let j be (-14)/(-18)*3 + -2. Let q = 2/27 + 16/27. Which is smaller: q or j?
j
Let t be (-3 + -4)*(-12)/14. Let z be -1 + (-2)/t*-4. Suppose 0*f = 3*f + 2*y + 15, -f - 2*y = 9. Is z <= f?
False
Suppose 4*x - 24 = x. Suppose x = 2*r - 0*r. Suppose -c + 3*s - 1 = 0, 27*c + 4*s - 28 = 23*c. Which is smaller: c or r?
r
Let g(r) = -r + 8. Let b be g(6). Let f = 1 - b. Let z be (-4)/(-14) + 3/(-7). Is f <= z?
True
Let c = 16 + -18. Is c > -2?
False
Let t(j) = 6*j - 1. Let g be t(-3). Let f(s) = s**3 - 22*s**2 - 2*s + 25. Let i be f(22). Is i != g?
False
Let y = -2 + 2. Is y less than 1/22?
True
Let o = 3 - 3. Let b = -12 - -13. Let z = b - o. Is z < 1/3?
False
Suppose 0 = -5*v - 2*q - 176, 3*q + 0*q = -4*v - 138. Let y = v + -74. Let c be 4/10 - y/(-25). Do c and -5 have different values?
True
Suppose -2*c = -3*c + 3. Is c at least as big as 11/3?
False
Let c = -1.2 - -1.21. Which is smaller: c or 1?
c
Let y be -16 + 14 - (0/1 - -25). Which is smaller: -26 or y?
y
Suppose -4*f + 120 = 5*g, 60 = -f + 3*f - 5*g. Let q be (0 - 0) + (-3)/f. Suppose 5*o = -0*o - 20, -1 = -3*n + o. Which is smaller: n or q?
n
Let v = -2.8 - 17.2. Is v less than 1/3?
True
Let c be -2 - 2/((-4)/10). Suppose -c*z = -0*z. Suppose -4*v - v = z. Is 1/3 at least v?
True
Let n(q) = -q - 5. Let t be n(-6). Let r be 0/((-4)/(1 + t)). Which is smaller: r or 6/7?
r
Let h(g) = -g + 7. Let b be h(8). Which is bigger: 0 or b?
0
Suppose 3*u - 7 - 21 = -5*k, -10 = -2*k. Let r = -181 - -729/4. Which is smaller: u or r?
u
Let x be (-2)/(-2) - (-1 + 4). Let h(c) = c**3 - 3*c**2 - 5*c + 5. Let v be h(4). Suppose -m - 10 + v = -4*t, 2*m = -3*t + 4. Do m and x have different values?
True
Suppose 0 = 3*j - 1 - 2. Suppose -5*i + 196 = -i. Let d be (6/7)/(35/i). Which is smaller: d or j?
j
Suppose 4*q - 38 = 5*x, -7 = 3*x - 4*q + 11. Let a = 10 + x. Is 7/8 less than or equal to a?
False
Let h be (27/7 - 1)/((-24)/(-84)). Is h bigger than 10?
False
Let t be 6/28 - (-16)/56. Do -10 and t have the same value?
False
Let h = -356 + 6050/17. Suppose 3*l - 1 = 2*k + 6, -5*l = -5*k - 15. Is l greater than or equal to h?
True
Let n = 3.4 - 3.3. Which is greater: 5 or n?
5
Let o = -16 - -17. Is o >= -1?
True
Let l be 1068/5*10/(-30). Let o = 72 + l. Let h(n) = n**2 - n + 1. Let b be h(1). Which is smaller: b or o?
o
Let w = -0.105 - -7.805. Let i = w + -8. Which is bigger: -2 or i?
i
Suppose h = 2*h - 2. Let l = 13 + -9. Let a = l - h. Which is bigger: 2/3 or a?
a
Suppose 2 = 3*r - 4. Which is bigger: 2/3 or r?
r
Let c(k) be the first derivative of -k**3/3 - 4*k**2 + 12*k + 1. Let i = -13 + 4. Let h be c(i). Is h smaller than 4?
True
Let r = 14 + -14. Suppose r = 5*v - 2*k + 18 + 4, -5*v - k - 19 = 0. Which is greater: -10/3 or v?
-10/3
Let r be (-1 - -5) + (300/16)/(-5). Let w = -0.2 - 3.8. Is r equal to w?
False
Let m(b) = -b**2 - 11*b - 19. Let v be m(-10). Is v equal to -8?
False
Let y = 1.2 - 1.48. Let b = 0.08 + y. Let j = 0.06 - 3.06. Which is smaller: b or j?
j
Let r = -6 + 6. Let j(k) = k + 9. Let q be j(-8). Which is smaller: r or q?
r
Let w = 3 - -1. Suppose 1 = 5*q - b, -3*b = -3*q + b + w. Which is greater: q or 1?
1
Let k(t) = -t**3 + 6*t**2 - 10*t + 9. Let b be k(4). Is 58 greater than or equal to b?
True
Let t = -0.53 - -0.33. Which is greater: t or 1.6?
1.6
Let c be -5 + 5 + -3 - 30. Let q be (c/(-44))/((-9)/8). Is 6 at least as big as q?
True
Suppose 0 = 7*k - 2*k + 30. Which is smaller: -10 or k?
-10
Let h = -40/3 - -286/21. Suppose -2*r - 5 = 15. Let t be 6/r + (-16)/(-10). Which is bigger: h or t?
t
Let i = 133 + -134. Which is smaller: i or -1/3?
i
Suppose -5*m + 0*m = -2*h - 10, -h - m = -9. Does 6 = h?
False
Suppose -2*f - 5*u + 4 = -18, 4*u - 15 = f. Which is bigger: 2/41 or f?
f
Suppose -175*a = -174*a - 21. Which is greater: 0 or a?
a
Suppose 2*u - 2 = -5*k - 1, -4*k - 10 = -2*u. Which is smaller: k or 4/19?
k
Let h be 15*2/6*1. Which is smaller: -4 or h?
-4
Suppose -5*c = -z + 2, 0 = -4*z + 5*c - 3 - 4. Suppose -6*n - 6 = -0*n. Is n less than z?
False
Let c(b) = -b**2 - 8*b - 8. Let x be c(-7). Which is smaller: x or -6?
-6
Let l = 1 + -2. Let m = -4 - -4. Let d = -2 + m. Which is smaller: l or d?
d
Let k = 5.12 + -0.12. Let i = k + -7. Which is bigger: i or -0.1?
-0.1
Let w(n) = -5*n - 7. Let z be w(-5). Let i be (-2 - (-33)/z)*3. Let g be (-18)/14 - (-2)/7. Which is smaller: i or g?
g
Let i be 38/8 - (-1)/4. Let s = 7 - 5. Let u be (-3)/(-6)*s*5. Is u less than i?
False
Let y = -434/3 - -146. Let x = 792 + -792. Which is bigger: x or y?
y
Let i = 7315 + -21682/3. Let m(g) = 21*g - 3. Let h be m(-4). Let k = h + i. Which is smaller: k or 2?
k
Let v be (-173)/11*(11 + -19). Let f = v - 126. Is 0 at least as big as f?
True
Suppose 3*h = 4*o - 16, 2*h = h. Which is smaller: 2 or o?
2
Let j(s) = s - 6. Suppose -18 = -l - 2*b, -4*l + 67 = 2*b + 25. Let v be j(l). Let d(g) = -g**3 + g**2 + 3*g - 1. Let c be d(v). Do c and 1 have the same value?
True
Let u = 3/5 + -1/10. Which is smaller: u or 1/6?
1/6
Let m = 6 - 5. Let l be (2 - (-12)/(-8))/(-4). Which is smaller: l or m?
l
Let k be -1 - 1 - 15 - 3. Which is greater: -18 or k?
-18
Let l(x) = -x**2 + 6*x + 9. Let f be l(7). Let d be 3/f - (-1)/(-2). Let o = 1121/669 + -2/223. Is o not equal to d?
True
Suppose 4*a + 6 = a. Let s(b) = 5*b**2 - b. Let w be s(1). Suppose 3*i + w = i. Is i <= a?
True
Suppose 3*z = 12 - 0. Suppose o + 12 = -5*g - 3*o, 12 = -2*g - z*o. Which is bigger: 1/6 or g?
1/6
Let b = -9.09 + 0.09. Let m = b + 9. Let r be (8/30)/((-4)/6). Is r > m?
False
Let w be 3*(-2)/3*4. Is -8 bigger than w?
False
Let v = 3.5 + -1.5. Which is bigger: -3/8 or v?
v
Let h = -1.99 + 2.1. Does h = -1/4?
False
Let g(x) = 2*x**2 - x - 1. Let b be g(-1). Let c = b - 2. Is c equal to 1/10?
False
Let o be 10/6 + (-1)/(-3). Let z(r) = 3*r**2 + r + 1. Let j be z(-1). Let t be j/(-15) - (0 + -1). Which is smaller: t or o?
t
Let a be (18/(-3))/(-3)*2. Let z = -15 + 22. Suppose 2*s - a = -2*w + z*s, 5 = -w - s. Is -1 <= w?
False
Let d = 4429/435 + 28/261. Let p = 52/5 - d. Suppose 3*g = -2*u - 1, u + 3*u + g = 3. Is u less than p?
False
Suppose -19*n = -24*n - 4*b + 30, 0 = -2*n + 3*b - 11. Suppose 2*u - 6 - 2 = 0. Let j be u/(-6) + 2/(-6). Which is greater: n or j?
n
Let f be 1 - 8/6 - 0. Let i = 224 + -225. Which is smaller: f or i?
i
Let p(v) = v - 3. Let q be p(4). Suppose q - 2 = -f. Suppose 2*c + f = -5*y - 0*y, -5*c = 3*y - 7. Is y at 