+ -1. Suppose 6*n - n = j. Let s be (-3)/18 + 2/3. Are n and s non-equal?
True
Let i = 0.6 - 0.6. Let j = -1 + i. Let g = 0.7 + j. Do g and 2/3 have different values?
True
Let w = 10 + -7. Suppose -4*k = -m - w*k - 4, 8 = -m + 2*k. Is -1 smaller than m?
True
Let q be 22/(-5) + 6/15. Let a be 1*(1 + q) + 2. Let s = 0.2 - 0.1. Is a >= s?
False
Let w be 2/1 + (-1 - -14). Suppose j - w = -2*j. Let n(d) = d - 4. Let l be n(j). Which is greater: 1/4 or l?
l
Let s = -1.1 + 1. Let g = -1449/10 - -145. Does g = s?
False
Suppose -27 + 12 = h. Let m be 11/3 - (-10)/h. Suppose -m*s + 21 = -3*j, 8*s = 3*s - j + 5. Are 2 and s nonequal?
False
Let g(o) = o**3 - o**2 - 1. Let s(n) = n**3 - 4*n**2 + n - 2. Let m = 2 - -2. Let b be s(m). Let t be g(b). Which is greater: t or 4?
4
Let g = 8 - 7.9. Let w = -0.6 + g. Do 2/5 and w have different values?
True
Let n = 7 + -5. Suppose 0 = z - 3 + n. Are -2/5 and z nonequal?
True
Suppose -4*s + 26 = -i, 0 = 5*i + 2*s - 23 + 109. Which is smaller: i or -2?
i
Let s = 2 + -3. Let q = 0 - s. Which is bigger: 2 or q?
2
Let r(n) = -4*n + 9. Let z(h) = 7*h - 18. Let o(j) = 5*r(j) + 3*z(j). Let l be o(8). Suppose 2*d = -4 - 2. Is l at most as big as d?
False
Let i = -0.4 - -0.7. Let v = 11.3 + -12. Let n = v - -0.8. Is n at most i?
True
Suppose -8 = -4*p, -4*f + 16 = -2*f + 5*p. Let q(u) = u - 1. Let g be q(f). Which is bigger: 1/2 or g?
g
Suppose 5*j = 5*s - 15, -2*s - 4*j = -8*j - 2. Which is greater: s or 4?
s
Let l be (-4)/(-12)*(-3)/4. Let n be 6*1 + (-2 - -1). Suppose n*v = v. Is l <= v?
True
Let b = 0 - 0. Let t be 1 + b + (-13)/11. Let s = -0.83 - 0.17. Which is smaller: s or t?
s
Let c = 4 + 0. Suppose -g + c = 3. Is g at most 2/19?
False
Suppose -2*r + r - 1 = 0. Suppose 7 = -3*b + 1. Which is smaller: r or b?
b
Let c(v) = -v + 222. Let a be c(0). Let u be 4/(-18) - a/(-27). Is 8 bigger than u?
False
Let n = -26 - -23. Let f = 0.5 - -0.5. Let w = f - 1. Which is smaller: w or n?
n
Let n = -276/10615 + -2/193. Is -1 >= n?
False
Let c be (-35)/75 + 1/(-3). Which is greater: 0 or c?
0
Let t = 53474/15 - 28450283/7980. Let v = t + 2/133. Which is bigger: v or 0?
0
Suppose -2*c + 0*c - 6 = 0, 0 = -4*k + 3*c + 1. Which is greater: -4/7 or k?
-4/7
Let h(j) = 2*j - 8. Let n be h(6). Suppose 4 = -0*s - n*s. Is 1/4 at most as big as s?
False
Let n = -107 + 748/7. Are n and -13/2 equal?
False
Let q = 0 + 0.1. Let g = -5.7 + -3.3. Which is smaller: q or g?
g
Suppose -4*x - 1 = 4*r - 9, -7 = r - 2*x. Suppose 0 = -2*d + d + 3. Let o be d/(-6) + 3/(-42). Are o and r non-equal?
True
Let q = 1.4 - 3.5. Let a = 2 + q. Let h = 0.9 - a. Is h at most as big as 1?
True
Let a(j) = j**3 + 4*j**2 + 2. Let h be a(-4). Let l be 8/((-1 + 2)*h). Is l less than or equal to 5?
True
Let l = 0.21 + -0.34. Let c = -0.23 - l. Which is smaller: c or 1/5?
c
Suppose 2 = -2*o + 10. Suppose 0*n = -o*n + 4. Let s = n - -1. Which is smaller: s or 3?
s
Suppose -g + 193 = 3*l, -4*l - g = -2*g - 255. Let s be 6/(-9) + l/94. Let d = -272/705 - s. Is 1 > d?
True
Suppose -30*j = -32*j + 18. Let l = 18 + -8. Which is smaller: j or l?
j
Let p be 6/5*(-10)/(-4). Suppose p*l = l + 2. Which is bigger: l or 2/13?
l
Let a = 8 - 0. Let s(m) = -5 + 5*m + 4*m - a*m. Let c be s(4). Is 0 > c?
True
Let g be (14/3*1)/((-12)/27). Is -12 at most as big as g?
True
Let k(z) = 5*z - 8. Let f(o) = 2*o - 3. Let r(m) = -8*f(m) + 3*k(m). Let d be 8/(-20) - 12/(-5). Let c be r(d). Is -4/7 at most as big as c?
False
Let x = -508 + 511. Let m = 0.1 - 0.1. Which is greater: x or m?
x
Let c be (-4 - (-70)/15)*12. Which is greater: c or 6?
c
Suppose -c = -r + 5*r + 8, 2*c = 0. Is 17/4 less than r?
False
Let l(r) = 2 - 1 - r - 2. Let p be l(-1). Let d be -2 - p - (-6)/3. Which is smaller: d or -1?
-1
Let p = -17/19 - -1141/1254. Which is smaller: p or 1?
p
Let s be 6/(-33) + (-798)/(-33). Suppose -3*g = -0*g + s. Let m be (2/2)/(g/(-16)). Are m and 2 equal?
True
Suppose -5 = 5*n - 25. Let i be n/6*(-13)/(-26). Let z = 0 - 0.1. Which is smaller: i or z?
z
Suppose -4*l = -5*l. Suppose 3*p + 2*m - 2 = 0, l = p + 3*m - 6*m + 3. Let w be (2/20)/((-4)/5). Which is greater: p or w?
p
Let v be -2 + 119/(-51) + 8/6. Let x = 2 + -11. Let k be x/2 + 1/(-2). Which is bigger: k or v?
v
Suppose -54 = -2*f + 8*f. Let u be -3*(-3)/(f/10). Do -10 and u have the same value?
True
Let l = -15 + 17. Suppose 4*r - 2 - 2 = -4*c, 0 = -l*c - r - 1. Which is smaller: -0.5 or c?
c
Let r = 13 + -12. Suppose r = 4*w - 11. Is w bigger than -1/3?
True
Let p be -1 - 3 - (-1 + 3). Let l be (-9)/p + (-4)/2. Which is bigger: 0 or l?
0
Let t be 4/((-2)/2)*-2. Is t greater than or equal to 8?
True
Let h(j) = j**3 - 2*j**2 + j. Let v be h(2). Let s be (-8)/(-7)*98/42. Is v at least as big as s?
False
Let x = -0.3 - -0.19. Let i = -0.17 - x. Which is smaller: i or 0.1?
i
Let a = 0.8 - -1. Let h = a - -0.2. Let y = 3.03 + -0.03. Which is smaller: h or y?
h
Let c(x) be the third derivative of -x**4/24 + x**3/3 + 3*x**2. Let k be c(3). Is -1 bigger than k?
False
Let q = -91 - -92. Let r be 2/1*2/4. Is r greater than q?
False
Let h = -29 - -23. Is -4 less than or equal to h?
False
Let r = 30073/5 - 90448/15. Let d = r + 68/5. Which is bigger: -1 or d?
-1
Let a = 10.28 + 0.72. Is -1/3 less than a?
True
Let j be (-8)/6*5/(-20). Which is bigger: -3.1 or j?
j
Suppose 0*k - 2*k + 2 = -4*x, -2*k = -5*x - 3. Let m = 6435/19 + -339. Is k greater than m?
False
Let s(b) = b**2 - 11*b - 12. Let r be s(12). Let h = 6 + -5. Is h < r?
False
Let q = 4.5 + -6.5. Which is bigger: 8 or q?
8
Let n = 1.35 - 1.4. Let p = n + -0.05. Is p at least 1/3?
False
Let l(m) = 3*m**3 - 2*m**2 - 2*m + 4. Let q be l(2). Let o be 2/20*(-40)/q. Which is smaller: 2/15 or o?
o
Let s = -3/2 - -1. Let v be (0 - 2 - -1) + 3. Let r be -2 + (0 - v/(-1)). Is s at least as big as r?
False
Let s be 0 - 3 - (2 - 1). Let g = 4 + s. Suppose 4 = n + 5. Which is smaller: g or n?
n
Let p be (-4)/6 + (-32)/(-12). Suppose -z - p*z + 5*k + 10 = 0, -2*z - 4 = 2*k. Which is greater: -1/2 or z?
z
Suppose 2 = 2*l - 2. Suppose d - l*d = 0. Is 0 greater than d?
False
Let x = 0.1 - 0.1. Let k = -4 - -1. Let u be 4/(-8) + k/(-10). Which is smaller: u or x?
u
Let b be 1*(6 + -1 + -2). Suppose -3*q = 2*p, -b*p = -3*q - p. Which is greater: q or 3/11?
3/11
Let f = -2361/8 - -30357/104. Are -4 and f unequal?
True
Suppose -5*p + 2*p + 4*n + 11 = 0, -4*n = 5*p - 29. Are 5 and p equal?
True
Suppose 3*a = 4*u - 17, 0*a + 3*u - 19 = -4*a. Let g = -3 + 2. Let n be a*(1 - (2 + g)). Which is smaller: -2 or n?
-2
Let o be (4/(-3))/(4/54). Let k be ((-9)/12)/(o/32). Which is smaller: k or 2?
k
Let j(z) = z**3 - 10*z**2 - 24*z - 3. Let s be j(12). Which is smaller: -4 or s?
-4
Let g(b) = 8*b - 4. Let j be g(3). Let q = 13 - j. Let v be 8/6*q/84. Is 1 greater than or equal to v?
True
Let w be ((-6)/(-4))/(-5 - 1). Let b(s) = 3*s + 7. Let y(l) = 2*l + 6. Let z(d) = -3*b(d) + 4*y(d). Let t be z(3). Which is smaller: t or w?
w
Let w = -2.5 - -2.44. Which is bigger: w or -2/7?
w
Let m(t) = -t**3 - 6*t**2 + 6*t - 8. Let b be m(-7). Do b and 0.08 have different values?
True
Suppose 0 = 4*h + 18 + 2. Let k = -5 - h. Suppose 3*m + 6 = 5*g - 1, 4*m - 5*g = -6. Are m and k nonequal?
True
Let d(h) = -h**2 + 10*h - 12. Let y be d(9). Is -16/5 > y?
False
Let q = -15.039 - -0.039. Is 1 less than q?
False
Suppose 2*r = -2*a - 42, -7*r + 3*r + a = 64. Are -17 and r nonequal?
False
Let b = 19 - 20. Which is greater: b or 2/83?
2/83
Let m = -0.02 - -2.02. Let j = -8 - -11. Let o = -3.2 + j. Is m less than or equal to o?
False
Let h = -10 + 2. Let u be (-1 + (-2)/h)*-6. Is 4 < u?
True
Let g be 3*2/(-36)*4. Which is smaller: g or -6?
-6
Let z be 5*1*4/(-40)*-2. Which is smaller: z or 3/17?
3/17
Let y(l) = -2*l - 9. Let u be y(-12). Is u greater than or equal to 14?
True
Let c = 0.87 + 2.16. Let b = 0.03 - c. Is b bigger than 0?
False
Let b be 2/(-12)*(-6 + 3). Which is smaller: b or 2?
b
Let k(n) = n**3 - 3*n**2 - 5*n - 2. Let i be k(4). Let v be ((-4)/5)/((-8)/20). Suppose -v*j = 5 + 5. Is j at most as big as i?
False
Suppose -2*t + 67 = -5*d, 0 = -3*d - d - 3*t - 72. Is d greater than -15?
False
Let t be (-3519)/660 + -2 + 1. Let b = t - -91/15. Let n = b + 1/66. Which is smaller: n or 0.1?
n
Let g(j) = j**2 + 4*j - 5. Let d