nd -2 non-equal?
False
Suppose z - 1 = 2. Suppose 2*b - 5 = -z*b. Is -1 not equal to b?
True
Let p = 0.7 + -0.5. Is 0.3 >= p?
True
Let s = -85/44 + 7/4. Let a = -784064/2941873 + -1/97252. Let f = a + 2/121. Do f and s have the same value?
False
Let k be ((-8)/(-6))/((-4)/(-6)). Let h be 5 - 3 - (-1)/(-1). Let c = 2 - h. Is c <= k?
True
Let r(t) = t**3 - 6*t**2 + 3*t - 15. Let z be r(6). Suppose -4*f + 5*v + 21 = 2, 0 = -v - z. Let s be 1/1 - 2/(-2). Which is greater: s or f?
s
Let l(m) = -m**3 - 11*m**2 + 10*m - 14. Let x be l(-12). Let o = 1 - x. Let p = o + 5. Which is smaller: -3 or p?
p
Let t = 12/23 - 119/184. Which is smaller: 0 or t?
t
Let m = -603/290 + -7/58. Which is smaller: -1 or m?
m
Suppose 2*u = 2*t + 3*u, 4*u = t - 18. Suppose 0 = -0*o + t*o + 2. Which is smaller: 0.2 or o?
o
Let t(z) = -z**3 + 3*z**2 + 1. Let j be t(3). Let r(x) = -x**3 + 3*x**2 + 3*x + 5. Let y be r(4). Let u be 5/2 - 2/y. Is u bigger than j?
False
Let w = 8 + -4. Let u = 4 - w. Which is greater: 0.1 or u?
0.1
Suppose 0*p - 4*p + 3*h = 1311, 3*h = 3*p + 981. Let c be ((-200)/p)/(4/6). Are 1 and c non-equal?
True
Let y = 2 - 2. Suppose -10 - 2 = -3*r - 3*l, r - 2*l - 13 = y. Which is greater: 6 or r?
r
Let v(y) = -y**2 + 7*y. Let a be v(7). Let r = 3 + -3. Does a = r?
True
Let y = 8 - 20. Let j be (1 - (-13)/y)*-566. Let p = -47 + j. Are -1 and p non-equal?
True
Let t = 61/2 - 113/4. Is 1 at least t?
False
Let a(j) = -j**3 - j**2 - j + 2. Let w be a(0). Let l be (-2)/(-10)*(-5)/w. Which is smaller: -1 or l?
-1
Suppose -4*g - 3*t - 11 = 0, -2*t = 3*t + 5. Let x = g + 3. Is x bigger than 2/3?
True
Let f be (1 - -2)/(6/(-32)). Does -15 = f?
False
Let u(x) = -x**2 + 6*x - 2. Let o be u(4). Which is greater: o or 7?
7
Let a be (-1 - 1)*2/(-64). Let n = 13/16 - a. Is n less than or equal to -2/3?
False
Suppose -5*p = -p - 4. Is 3/34 at least p?
False
Let m(f) = -2*f**3 + 14*f**2 - 4*f + 5. Let i be m(7). Which is smaller: -26 or i?
-26
Let y = 6 - 7. Let b = -62 - -433/7. Which is smaller: y or b?
y
Let x = 10.92 - -0.08. Let o = -12 + x. Let w(a) = -a**2 - 3*a + 2. Let g be w(-4). Is o at most as big as g?
False
Let p(r) = r**2 + 5*r + 2. Let a be p(-5). Let b(m) = -m**3 - 6*m**2 + 7*m - 1. Let z be b(-7). Let i be z/(-2 - 10/(-6)). Which is bigger: a or i?
i
Suppose 0 = -5*j + 47 - 2. Suppose -4*h = -j*h + 20. Which is greater: h or 5?
5
Suppose 0 = y - w - 8 + 3, 0 = -4*w - 16. Let v be -7 + 0*(-2 + y). Which is bigger: v or -8?
v
Let n = -14452 + 72581/5. Let l = n + -64. Is 1 bigger than l?
True
Let p = -6 + 7. Suppose p + 3 = x + 4*a, -5*x = -2*a + 2. Let u be (-10)/(-7)*2/5. Is u > x?
True
Let l = 39 + -17. Are -1/3 and l nonequal?
True
Suppose 15 = -3*l - 3. Let d be (1/3)/(l/(-9)). Which is smaller: d or -0.1?
-0.1
Let p = -3.2 - -2.82. Is p at most as big as -2/3?
False
Let a = -261/44 + 23/4. Which is greater: a or 2?
2
Let l be (-8 + -3)*2/(-10). Which is smaller: l or 2?
2
Let n = -1.7 - -2. Which is smaller: n or 3/5?
n
Let p = 15 - 13. Let d = -2 + p. Which is smaller: d or -1/9?
-1/9
Let m = 0.58 - -0.02. Let f = m + -0.4. Let n = -2.2 + f. Is -0.2 <= n?
False
Let l = 1113 - 1122.14. Let b = l + 9. Which is smaller: b or -2/3?
-2/3
Let z(t) = -2 + 6 + 1 - t + 0*t. Let n be z(0). Does 4 = n?
False
Suppose 2*v + 2*v + 5 = x, 0 = 2*x - 5*v - 7. Which is smaller: x or -1/259?
-1/259
Suppose -2*k = -3*k + 1. Suppose 3*z + t - k + 38 = 0, -2*z - 33 = -t. Let a be ((-3)/(-9))/(z/(-12)). Is -2/9 at most a?
True
Suppose -2*d + 10 = -3*r, -8 = d - 4*d + r. Suppose 5*y = -25, -y = -d*f + 5*f + 53. Do f and -15 have the same value?
False
Let h = -12.16 - -12. Let n = h - -0.16. Which is smaller: n or -2/11?
-2/11
Let f be (-2)/(-1)*45/6. Suppose -3*y + f = 2*y. Let o be -1 + y + (-24)/14. Are o and -1/11 equal?
False
Suppose -5*s = -6*s - 15. Let r = s + 10. Are -5 and r nonequal?
False
Let m be 8*6 - (-5)/((-5)/3). Does 45 = m?
True
Let r be -1 - ((-85)/(-20) + 1). Do r and 0 have the same value?
False
Let t be (-80)/15 - 3*(-4)/6. Is -0.1 smaller than t?
False
Suppose -5 = -5*l - 3*f, -f - 6 = -4*l - 3*f. Suppose 2*b - 3*w + 18 = -6*w, -b = l*w + 19. Which is smaller: b or -4?
-4
Suppose 4*a + 0*a - 3*t + 1 = 0, -a - 1 = -t. Let s be (-4 + 5)*(1 + 0). Let u = s - a. Which is bigger: -2/7 or u?
-2/7
Let a(g) = -3*g - 5. Let i be a(-5). Let q be (-1)/5 - i/(-50). Suppose 3*o - 1 - 2 = 0. Is q at most o?
True
Let w be 2*2*2/8. Let h = 3 - 2.98. Let t = h - 2.02. Which is greater: t or w?
w
Let i = 14/13 + -44/65. Let o = -39.04 + 40. Let y = o - -0.04. Which is bigger: y or i?
y
Let j(a) be the third derivative of -a**4/24 - a**3/2 - 3*a**2. Let n be j(-6). Is 1 >= n?
False
Let w = -18 - -25. Let a be w*((0 - 2) + 1). Is a less than -6?
True
Suppose 4*h = -h, 3*i = -3*h. Which is greater: i or -2/23?
i
Let b = -2.618 - -0.118. Which is smaller: 0 or b?
b
Suppose 4 = -2*j - 2*a, 2*j = 4*a + 8 + 12. Which is smaller: j or 0.9?
0.9
Let f = 2 - 1. Let d = 1 - f. Let w = 42 - 171/4. Which is smaller: d or w?
w
Let n = 56 + -51. Is 9 at least as big as n?
True
Let c be (-30)/9*(8 + 0). Is -28 >= c?
False
Let z = -3 - -1. Let r = 24 + -27. Is r greater than or equal to z?
False
Let u = 0.25 + -0.05. Which is bigger: u or -4?
u
Suppose -v - 6*i = -i - 35, -3*v + 105 = -4*i. Which is bigger: v or 34?
v
Let u = 6 + -58/9. Let a = -10 - -9.9. Is a at most as big as u?
False
Let z = 1.7 + -0.1. Let y = z + 1.4. Which is smaller: y or -1/4?
-1/4
Let x = 0.09 + -0.12. Which is bigger: x or 2/7?
2/7
Let n(f) = f - 7. Let y be n(4). Is 0 >= y?
True
Suppose 5*w - 4 = w. Suppose 5*y - 4*y = -w. Is 16 bigger than y?
True
Let k = 108341/77 + -1407. Is k bigger than -1?
True
Let w = -48 - -57. Is 10 greater than w?
True
Let y = -6.6 - -3.6. Is -2/7 smaller than y?
False
Let v be -4 + (-36 - -6)/(-5). Let w(j) = j**3 - 2*j**2 - 3*j + 1. Let d be w(3). Which is greater: d or v?
v
Let u(x) = x**3 - 6*x**2 - 8*x. Let s be u(7). Let z be 1*(-2)/4*-12. Let g = z + s. Is g >= -3?
True
Let z(s) = s**2 + 14*s + 19. Let w be z(-13). Let r be 12/(-8)*(-4)/w. Is r smaller than 2/55?
False
Let n = 7 - -1. Suppose 2*m - 2 + 10 = 3*k, -4*k + n = -2*m. Let z be ((-2)/4)/((-1)/(-2)). Which is smaller: z or k?
z
Suppose 0 = -0*q + 2*q + n + 9, q = -2*n - 12. Let s(h) = -h + 1. Let u be s(-2). Suppose -3 = u*m - 0. Is q less than m?
True
Let x = -59 + 58.09. Let t = x - 0.09. Which is bigger: t or 0.06?
0.06
Let a(s) be the second derivative of s**4/12 - 4*s**3/3 - 3*s**2/2 - s. Let m be a(5). Let d be (6/m)/(1/(-6)). Is 4 smaller than d?
False
Suppose -2*v + 1 - 49 = 4*b, 0 = -5*v + b - 65. Let d = v - -11. Which is smaller: d or -4?
-4
Let a be (8/(-10))/((-3)/(-15)). Let t be 75/42 + 6/a. Which is smaller: 0 or t?
0
Suppose 18*o + 5 = 59. Is 0 < o?
True
Let u = 265/14 + -80/7. Do 9 and u have different values?
True
Let h = 5 - 4. Which is smaller: 0 or h?
0
Let y(a) = -a + 4. Let z be y(9). Let q = 6 + z. Does -1/6 = q?
False
Let l = -7 + 0. Let c(s) = -s**3 - 6*s**2 + 7*s - 4. Let t be c(l). Let g be 1/t - (-1)/(-4). Is g <= -1?
False
Let z be ((-627)/38)/((-2)/(-4)). Let c be (-6)/z - (-564)/44. Is 12 equal to c?
False
Let w(z) = z**3 - 10*z**2 - z + 8. Let f be w(10). Let s(r) = -8*r + 2. Let d be s(f). Let k be d/(-21) + 2/(-14). Which is smaller: -3/4 or k?
k
Let y = 65074/261 - 748/3. Let b = y + -3/29. Which is bigger: b or 0.1?
0.1
Suppose h - 4 = -3*n, 3*h + 1 = -h + 5*n. Is 0 >= h?
False
Let t(y) = 22*y**2 + 2*y + 1. Let s be t(-1). Which is greater: -0.1 or s?
s
Let x be (-18)/27*(-6)/2. Which is greater: x or -9?
x
Let u = 7 + -7.04. Which is greater: 0 or u?
0
Let c = 0.3 + -0.5. Let a = -19/59 + 10142/531. Let h = a + -19. Is h smaller than c?
True
Let i(g) = g + 11. Let y be i(-7). Let a = -6 + y. Suppose -2*c + 4 = 3*b, -3*c - 2*b = 3*b - 7. Which is greater: c or a?
c
Suppose -2 = -3*a + 7. Suppose -4*q + 4*p + 12 = 0, 0 = a*q + q - 5*p - 15. Suppose 0*w - w = q. Which is greater: w or 1/5?
1/5
Suppose 3*q - 7 = -4. Let l = 5 + q. Suppose -1 = 5*h - l. Is h at most 2?
True
Let w(v) = v + 1. Let g = 3 + -7. Let l(d) = -3*d + 7. Let i(f) = g*w(f) - l(f). Let y be i(-8). Which is greater: y or -4?
y
Suppose 0 = 4*c - m - 24, -4*m + 2 = -2*c - 0*m. Suppose 5*j - d = c, -2*d = j - 