an w?
True
Let c = 1.1 + -0.8. Let b = -0.2 + c. Is -1/4 equal to b?
False
Let v be 1/(-1) + (-66)/(-165). Let y = -0.4 - -0.2. Which is bigger: v or y?
y
Let d = 0 - -9. Let z = -11 + d. Are z and 1/2 nonequal?
True
Let m = 7 - -4. Let h = m + -7. Suppose -3*z + 2 = -h. Does 2 = z?
True
Let k be 0*(-4)/8 - -6. Suppose -k*s = -2*s - 4. Is s at least as big as 17?
False
Let x = -2 - -1. Let n be 2 - (x + (-525)/(-174)). Let b = 27/116 - n. Which is greater: b or 0?
b
Suppose -w + 3*w = 0. Suppose -2*r = -4 - w. Suppose -r - 1 = -3*b. Which is greater: -1 or b?
b
Let j = 4994/23 - 217. Is j greater than or equal to -1?
True
Let l be (93/62)/(3/(-8)). Suppose -2*h - 2*h + o - 5 = 0, 3*h = -3*o. Is l <= h?
True
Suppose -m = 9 - 8. Is 0 != m?
True
Let q(a) = a**3 - 10*a**2 + 3*a - 12. Let g be q(10). Let v be g/15*3/(-6). Is v bigger than -2?
True
Let f = -22 + 22.1. Is f >= -1?
True
Let f = -5.3 + 3.34. Let y = f - 0.04. Suppose 2*z + 15 = -5*a, -3*z + 9 = -0*z - 3*a. Are z and y unequal?
True
Let c = 41 - 41.5. Which is greater: 2 or c?
2
Let p be 3/(-6)*(-48 - -2). Are 23 and p unequal?
False
Let y(b) = b**3 - 5*b**2 + 4*b - 4. Let d(r) = -1. Let q(k) = 2*d(k) - y(k). Let i be q(3). Is i greater than 8?
False
Let z be (78/(-9))/((-8)/(-4)). Is -5 at most z?
True
Let c be (286/104)/(3 + 15/(-6)). Suppose 0 = -2*r + 4*w + 26, 2*r - 1 = r - 2*w. Which is smaller: c or r?
c
Let w be (-9)/((-45)/(-22))*5. Which is greater: w or -20?
-20
Let i be 0 - (-6 - -1) - 1. Let g(u) = -2*u + 4. Let b be g(0). Is b at least as big as i?
True
Let z be (-60)/27 + 4/18. Is z < -4?
False
Suppose 3*p - 35 = 4*p. Is p not equal to -34?
True
Let l(h) = -38*h + 5. Let m be l(1). Which is smaller: -34 or m?
-34
Let i be 1/(-2) + 6/4. Let w = -1 + -1. Let f be w/(-3)*(-2)/12. Which is smaller: f or i?
f
Let f = -0.09 + -0.31. Let w = -0.3 - f. Let y = 0.3 + -1.3. Which is smaller: y or w?
y
Let v(h) = h**2 + 3*h. Suppose 2*w - 2*d = -5 - 5, 5*w = -4*d - 7. Let l be v(w). Do -3/5 and l have different values?
True
Suppose 3*g + 2 = -5*t, 0 = -4*t - 0*t - 4*g. Which is smaller: 2.4 or t?
t
Suppose 3*u - 6*u = 0. Suppose u = -m + 2*m - 6. Let b be ((-9)/m + 1)*4. Which is greater: -3 or b?
b
Let c = 10 - 69/7. Is 1 >= c?
True
Let g(l) = -l + 9. Let r be g(9). Suppose r = -3*h - 59 - 7. Is -23 smaller than h?
True
Let m = -36.09 - -36. Let p = 0.11 - m. Let a = -3 + 2. Do a and p have different values?
True
Let q = 1.4 - 0.4. Let d = -0.5 - -1. Let x = d + -0.7. Which is smaller: x or q?
x
Let k = 0.09 - 0.79. Let y = 5.3 - k. Let z = y - 6. Which is bigger: 0.1 or z?
0.1
Let g(x) = -3*x**2 + x. Let a(u) = -10*u**2 + 3*u + 1. Let v(i) = -2*a(i) + 7*g(i). Let s be v(0). Are s and -1 nonequal?
True
Let q(i) = i + 4. Let g(s) = -s + 3. Let k be g(3). Let o be q(k). Let x be (-2 - (o + -1)) + 2. Is x at least -4?
True
Let u be (8/820)/((9/30)/3). Let t be (-20)/(-123)*14/4. Let y = t + u. Is 1 greater than or equal to y?
True
Let n = 121 - 82. Let z be (-4)/(-10) + n/15. Is 2 less than z?
True
Let m = 1 + -1. Let v be 0/(-1) - 0/(-5). Suppose -5*q + v*q + 5 = 0. Which is bigger: q or m?
q
Suppose 4*b + 14 = 5*b. Suppose -b*v = -10*v. Is v at most 0?
True
Let i = -0.048 + 37.048. Is -0.2 greater than i?
False
Let u = 821/7 + -117. Which is smaller: u or -0.9?
-0.9
Let k = -16 - -15. Is k bigger than 5?
False
Let z(w) = -5*w + 5. Let j(l) = -14*l + 14. Let c(d) = -6*j(d) + 17*z(d). Let n be c(1). Which is smaller: -2/7 or n?
-2/7
Let d(w) = 4*w - 19. Let i be d(4). Let q = 0 - -0.1. Is q smaller than i?
False
Let w = 7463400 + -4925845721/660. Let j = 1/132 + w. Let q = -44/15 - j. Is 1/3 >= q?
True
Let l = -11 + 10. Which is greater: l or -2?
l
Suppose 4*u + 15 = 19. Is 1 < u?
False
Let p be (1 - -1) + 2 + -3. Let r be 1/4 - 189/612. Does p = r?
False
Let w(p) = 3*p**2 + p**3 - p + 1 - 3*p**2. Let f be w(1). Let k = 0 - f. Are k and -1 unequal?
False
Let v be 407/111 + (-2)/(-12)*2. Which is bigger: v or 2?
v
Let u(z) = -z**3 + 2*z**2 + 5*z - 4. Let x be u(3). Suppose 0*q = 4*q - 16. Suppose -q - 4 = -4*g. Are x and g unequal?
False
Let f = 201 + -200.7. Which is greater: 0.6 or f?
0.6
Let y(z) = 8*z**3 + z**2 - 3*z + 1. Let d be y(1). Does 8 = d?
False
Let k(o) = 5*o - 1. Let g be k(1). Suppose -b - 1 = -r + 3, 5*b - g*r + 17 = 0. Let n be 0 + -1 + b + 1. Which is smaller: 1/7 or n?
n
Let b = 0.4 - -0.9. Let w = b - 1.6. Which is smaller: w or 3/4?
w
Let p = -580 + 2335/4. Which is smaller: 4 or p?
p
Let l be 14/(-24) + (-10)/(-75)*5. Which is bigger: -1 or l?
l
Let g(u) = 2*u + 2. Suppose -4*x + 12 = -0*x. Let a(y) = -y - 2. Let z(m) = x*a(m) + 2*g(m). Let c be z(7). Is c bigger than 6?
False
Let b = -0.3 + 0.1. Let l = 3.2 + b. Let t = 5 - l. Is -0.2 <= t?
True
Let m = 1.94 - 0.14. Let q = 0.2 + m. Which is bigger: q or 0?
q
Let p = 9 - 7.8. Let n = 2.1 - p. Let s = 1.1 + n. Is -0.2 > s?
False
Suppose 3*v - 2*v + 13 = 0. Let x be v/21 + (-3)/(-9). Let f be (-1)/(2*(-2)/4). Is x at most as big as f?
True
Suppose 2*y - 7 + 29 = -4*v, -5*v = 4*y + 29. Let r be (-1)/5 - 28/(-115). Which is smaller: r or y?
y
Let j(y) = y**2 + 11*y + 6. Let g be j(-9). Let u = g - -4. Which is smaller: u or -25/3?
-25/3
Suppose 0 = -0*j + 4*j + 5*z - 19, 0 = -5*j - 5*z + 30. Let d = 18 - j. Is d at least as big as 7?
True
Suppose s - 6 = -5*a, 0*s = 4*s - 4. Let j be (-3)/(-24)*10 + -1. Is j >= a?
False
Let z be 132/6*(-3)/6. Which is greater: -10 or z?
-10
Suppose 0 = -4*c + 4*q + 28, -2*c - 1 = q - 0*q. Suppose c*m - 6 = -m. Suppose -3 = -b - 3*b - 3*n, -5*b + m*n + 21 = 0. Is b at most as big as 2?
False
Let x be (-66)/(-30) - (-2)/(-1). Let w be 6/27 - 7/(-9). Let g be ((-2)/(-4)*0)/w. Which is bigger: g or x?
x
Let l = 4 + 0. Suppose -5*r - 2 + 17 = -l*g, -3*g + r - 3 = 0. Let i be (2/6)/(8/(-6)). Is i at least as big as g?
False
Let o = -14/5 - -37/15. Let n = -54 - -34. Let s be 4/(-10) + (-8)/n. Which is greater: o or s?
s
Let i = 0.9 - -0.1. Let a = -1 + i. Is 1 less than a?
False
Let l be -2 - 2*2/(-8). Let i = l - -23/18. Is i <= 2/5?
True
Let m = 37 + -41.9. Let r = m - -5. Let o = -0.9 - r. Is o <= -1?
True
Let n = 4 - 42. Let p be (n/(-14) - 3)*-14. Which is smaller: p or 13/3?
p
Let t = 101/170 - -1/170. Is 0 less than or equal to t?
True
Suppose 6*s + 8 = 14*s. Which is bigger: s or 1/165?
s
Let j be 0 + 1 + -1 - 0. Suppose -3*x + j = 6. Is x <= -3?
False
Suppose -1 = -l - 2. Let b = l + 0. Let n be -1 - (-4)/(-36)*-11. Which is bigger: b or n?
n
Let w = -1 + 0. Suppose 14 = -2*m + 4. Let y = m + 3. Is w greater than or equal to y?
True
Let j be (-4)/(-18) + 1521/81. Suppose -6*i + 4*s = -i - 32, 4*i - s = j. Which is smaller: i or 9/2?
i
Let z = 6 - 5. Let l be z*8*4/8. Suppose l*f = -0*f. Which is greater: -4/7 or f?
f
Suppose 5*j - 1 = m - 0, -2*j = 0. Let f = 121/5 + -24. Which is smaller: f or m?
m
Let h be (2*-1)/(8/(-20)). Let y = h + -3. Let q be 2/(1/y*-1). Which is smaller: q or -2?
q
Let z be 2 - (-1)/(1/4). Let f be (-20 + z)*6/(-7). Which is bigger: 11 or f?
f
Suppose -c + 266 = c. Let n = -529/4 + c. Is n equal to 1?
False
Let u = -77 - -77.055. Which is bigger: u or 0.1?
0.1
Let g be ((-12)/14)/((-13)/(-7)). Let q(v) = v + 2. Let a be q(-2). Which is smaller: a or g?
g
Let f = -97 + 138. Are 41 and f unequal?
False
Let j(f) = f**3 - 5*f**2 - 12*f - 10. Let x be j(7). Is x smaller than 0.1?
False
Let t(f) = -f**2 + 16*f - 1. Let s be t(16). Which is smaller: s or -6/11?
s
Let d(b) = -b. Let i(y) = -y + 13. Let u(z) = 4*d(z) - i(z). Let x(r) = -r - 6. Let q(l) = 2*u(l) - 5*x(l). Let c be q(0). Which is greater: c or 2/7?
c
Let d = -3 + 6. Suppose 4*s = -3*m, -4*s + d*s + 4*m = 0. Is s equal to -2/9?
False
Let i be (-1 - -1)/(8/(-4)). Which is smaller: i or 9/7?
i
Let b = -15 + 21. Suppose 4*i - 14 = -5*j, -i + j - b*j = -11. Let v be (-1 + 1)/(10/(-10)). Which is bigger: v or i?
i
Let l = 1936/15 - 129. Are l and 0 nonequal?
True
Let u(y) = y**3 + 5*y**2 + 2*y. Let f be u(-3). Let b be f/(-54) - 58/(-18). Do b and 3/2 have different values?
True
Suppose 0 = -4*u - 4*y + 24, -2*u - 4*y + 20 = -0*y. Suppose -u*n = 3*n. Which is bigger: n or 1?
1
Suppose 5 + 3 = 2*i. Let y be 2/4*i - 1. Is 2 greater than or equal to y?
True
Let d = -4 + 3. Let a be (3/(9 + 0))/d. Let q