is bigger: n or z?
n
Let d be -79*(3 - ((-3)/(-3) + 1)). Is -79 equal to d?
True
Let u be ((-3)/4)/(1/(-4)). Let w(g) = g + 2. Let o(k) = -k**3 + 9*k**2 - 9*k + 8. Let j be o(8). Let b be w(j). Are b and u equal?
False
Let u be (-10)/30 - (-4)/(-6). Let p = 96 - 478/5. Which is smaller: u or p?
u
Let t = -2 - -4. Let l(b) = -3*b + 3. Let h be l(t). Let w be (-4)/3 - 4/6. Which is bigger: h or w?
w
Suppose -h = 5*t + 2, 3*t = 2*h - 3*h - 2. Which is smaller: 3/13 or t?
t
Let z be 2750/21 - (-2)/(-7). Let i = z + -132. Which is smaller: i or -1?
i
Let d = 720 + -10796/15. Is d at most as big as 1?
True
Suppose -2*v + 4*v + 36 = -5*z, 16 = -3*v + 2*z. Let p = v + -4. Is -13 greater than or equal to p?
False
Let u be 14/4*-1 - 2/4. Let c be ((-3)/(-6))/((-1)/4). Which is smaller: u or c?
u
Let z(b) = b**2 - 3*b - 2. Let a be z(3). Let k = -2 - a. Let y = k + 1. Which is smaller: 2 or y?
y
Suppose -3*m + 7*m + 4 = 0. Are m and -2/43 non-equal?
True
Let y be 5 + -6 + 26/(-5). Which is greater: -5 or y?
-5
Let t = -124 + 84. Let x be (-6)/(-4)*t/(-3). Which is bigger: 19 or x?
x
Let y = 14.9 + 3.1. Let s = y + -18.7. Let d = s + -0.3. Do d and 5 have the same value?
False
Let c = 125 + -114. Are -0.1 and c nonequal?
True
Suppose -7*v + 2*v = 5*r, 4*v = 2*r. Which is bigger: v or 7/8?
7/8
Let h = 5 + 3. Let b be 26/h + (-15)/(-20). Suppose 3*s = 4*i - 5, -b*i + 2 = -3*i - s. Which is bigger: 0 or i?
0
Suppose -r = 3*h - 7, -5*h - r + 15 = -0*h. Suppose -j - h = -3*j. Are 3 and j equal?
False
Let x = 6 + -6.2. Which is bigger: 0.07 or x?
0.07
Let j = 17 - 16. Is j > 2/11?
True
Let z = 17/126 + -5/14. Suppose 3*m = -1 - 17. Let p(a) = a**3 + 7*a**2 + 7*a + 5. Let u be p(m). Which is bigger: z or u?
z
Suppose 2*r = -3 + 5. Let u = 5 + -1. Suppose o = -2*a + 7, 3*o + a - u*a = -6. Is o <= r?
True
Let j = 64 - 129/2. Is -2 not equal to j?
True
Let x be -7*(-4)/(-88) + -2. Let c = x - -9/11. Let i(u) = u**2 + 4*u - 7. Let a be i(-5). Does c = a?
False
Let s(g) = -g**2 - 5*g - 2. Let c be s(-4). Let o(j) = -j**3 + 11*j**2 + j - 7. Let i be o(11). Let f be i + (-9)/3 + 1. Is c equal to f?
True
Let k be 4/(-6)*(-74)/2. Let v = -25 + k. Let z(p) = -p**3 - p**2 - 2*p - 1. Let f be z(-1). Which is bigger: f or v?
f
Let d(v) = 6*v + 49. Let q be d(-8). Let u = 6 - 8. Let p be 13/(-20) - u/8. Is p greater than or equal to q?
False
Let v = 0.07 - -0.03. Which is bigger: 3/2 or v?
3/2
Let s = 0.4 - 4. Let r = s - -0.6. Let l = -2 + 2.1. Is r less than l?
True
Let r(l) = -l**3 + 6*l**2 - l - 5. Let v be r(6). Let a(t) = t**2 - 3*t - 12. Let z be a(0). Which is greater: v or z?
v
Let c(x) = -8*x**2 + x + 1. Let o be c(-1). Suppose 11*y + 10 = 6*y. Which is smaller: y or o?
o
Suppose -10 = -2*i + 4. Let y = 8 - i. Is y less than 1?
False
Let v = 206 - 1018/5. Which is greater: 3 or v?
3
Suppose 0 = 7*p - 5*p. Suppose p = -h - h - 24. Are h and -12 unequal?
False
Suppose -4*t - 2 + 102 = 0. Suppose -t = 5*x - 5. Which is smaller: -3 or x?
x
Let x = -0.3 - -4.3. Let p = x + -4.05. Let o = 1.05 + p. Is 1 greater than o?
False
Let g = -210 + 3571/17. Is 1 smaller than g?
False
Let a be 1 + -3*(-2)/12. Let v(y) = -y**3 - 6*y**2 + 8*y + 7. Let h be 1*(-4 + 1 + -4). Let b be v(h). Which is smaller: b or a?
b
Let c(a) = -a**2 - 11*a. Let w be c(-11). Does 3/4 = w?
False
Let t = 0.5 - 0.6. Let k = -16.09 - -16. Let j = k + -0.01. Is t >= j?
True
Suppose 2 = 6*s - 4*s. Let j(b) = 5*b**2 + b - 1. Let q be j(1). Let i(v) = -v**2 + 5*v - 3. Let k be i(q). Which is smaller: s or k?
k
Let x = -7.55 - 0.45. Which is smaller: x or 0?
x
Let f(t) = t**2 - 3*t - 1. Let v be f(5). Let u = v - 4. Suppose 0 = u*q - 3*q - 8. Is 4 less than q?
False
Let t = -51 + 213/4. Is -1/4 equal to t?
False
Let x(y) = 2*y - 31. Let m be x(13). Let l(i) = i**2 + 4*i - 1. Let r be l(-3). Is m equal to r?
False
Suppose -v - 5*z = -11, 5*v - 5*z - 2 + 7 = 0. Which is smaller: 1/5 or v?
1/5
Let m be (-4)/12 + (-70)/6. Let k be 2 - (-2278)/m - 0. Let x = k + 187. Is 0 bigger than x?
True
Let b = 7 - 5. Let l be (b - 6) + 6 + -1. Do 3 and l have the same value?
False
Let h(z) = -z**3 - 23*z**2 + 25*z + 10. Let c be h(-24). Is -16 at most c?
True
Suppose -56 = -2*w - 150. Let r = -377/8 - w. Which is smaller: r or 0?
r
Let g be ((-286)/(-99))/(12/(-9)). Which is bigger: -2 or g?
-2
Let f = -57.04 - -57. Which is smaller: f or 0?
f
Let m = 9.208 - 1.138. Let v = -0.07 + m. Let u = -7 + v. Are u and -1 nonequal?
True
Let w = 4 - 2. Suppose 8 = -w*t, -3*s - 4*t = -t + 6. Does 2 = s?
True
Let a = 74 + -80. Is a at most 1?
True
Let z(i) = 2*i**2 - 16*i - 11. Let c be z(9). Let v be (-3)/2 - 6/(-4). Let l = 6 + v. Do c and l have the same value?
False
Let g = -1.096 + 0.166. Let p = 1 + g. Let x = p - -0.03. Is 1 not equal to x?
True
Let m be 4 + ((-8)/(-2) - -126). Let b = m - 1205/9. Which is smaller: 1 or b?
b
Let j = -34 - -27. Let x be (-2)/j - (-24)/(-42). Let s = 0.1 + 0. Is s bigger than x?
True
Let z = -8 + 8. Let u be (z - 1)*(-7 - -7). Let j = 377/6 - 63. Are u and j non-equal?
True
Suppose 323*k - 101 = 322*k. Which is smaller: 102 or k?
k
Let u = 79 - 79. Is u not equal to 3?
True
Suppose 0 = 5*v - 1 - 14. Suppose v*j = -5*i - j - 21, -4*i - 17 = 3*j. Which is smaller: -6 or i?
-6
Let u = 2.7 - 0.7. Let b = 0.4 - -1.6. Is b bigger than u?
False
Suppose -3 = 3*p + 24. Is p less than -10?
False
Suppose 0*p = p. Suppose p*o + 2*o - 4 = 0. Let n = o + -1. Is n at most as big as -1/4?
False
Let w = 5 - -1. Let o = w + -10. Which is bigger: o or -1?
-1
Let m(r) = 118*r - 2. Let y be m(2). Let z = y + -2108/9. Is -1/5 at least z?
True
Let f = 22 - 17. Suppose -5*j - 15 = -4*o + f*o, 3*j + 26 = -4*o. Which is greater: o or -2?
-2
Let o = -19.1 + 20. Let z = 1 - o. Let h be 9/(-10) - 2/(-5). Is h greater than z?
False
Suppose 5*a = -2*g, 2*a + 3 + 5 = 0. Let p = 10 - g. Let x = 1927/36 - 215/4. Is x greater than p?
False
Let c = 123/17 + -2553/374. Is 1 less than c?
False
Let p(t) = -t - 2. Let v be p(-10). Suppose v*r = 2*r. Are r and -5 unequal?
True
Let y(b) = -2*b + 36. Let h be y(16). Which is smaller: h or -6?
-6
Let u = 3503/38 + -37941/1330. Let m = -324/5 + u. Which is greater: m or -2?
m
Suppose 0 = 34*a - 30*a - 8. Is a less than 2?
False
Let u = -1.4 - -0.8. Let d = u - 0.4. Suppose 5*j + 2*m = 15, -m - 2 + 14 = 4*j. Which is smaller: d or j?
d
Let o = 0 - 0. Let r = 9 - 13. Let g = -5 - r. Is o equal to g?
False
Let c be (0 + 3)/((-6)/4). Let h be (-1678)/(-42) - (-30)/(-105). Let w = 39 - h. Is c >= w?
False
Let m be (6 - 0) + -4 + 2. Suppose 3*q = g - 11, -4*q + g - m = -3*g. Which is smaller: q or -2?
q
Let q = -0.1 + 0.3. Let x = 0.4 + -0.3. Let z = x + q. Which is smaller: z or -1?
-1
Let a be -3*(4/(-12))/1. Is a less than 0?
False
Let r(n) be the third derivative of n**5/60 - n**4/4 + 2*n**3/3 - 2*n**2. Let q be r(5). Is q at least 2?
False
Let s be (-9)/(-54)*677/(-6). Let j = -75/4 - s. Which is bigger: j or -1?
j
Suppose 0 = -22*o + 23*o + 6. Let a be (-5)/(0/(-1) - -1). Which is smaller: a or o?
o
Let m(v) = v. Let y be m(-3). Let r(h) = -2*h - 4. Let d be r(y). Let o be ((-2)/(-4))/((-5)/10). Which is smaller: d or o?
o
Suppose -2*u + 21 = 5*o, -2*u + 0*u + 3 = -o. Suppose r - u = 1. Let a = -4 + r. Is a != -3/5?
True
Suppose -c - 8 = -4*y, 7*c = 2*c - y + 2. Suppose -3*s = -3*p + 1 + 11, 9 = -3*s + 2*p. Which is smaller: c or s?
s
Let p = 1 + 0. Let w = p + -1.2. Which is greater: 0.6 or w?
0.6
Let d(a) = 2*a**3 + 4*a**2 + 4*a + 1. Let r be d(-3). Let x = r + -1. Let g be (-1)/(-3) + 20/x. Is g != -0.1?
True
Let v = -16.8 - 2.2. Is 1/2 greater than or equal to v?
True
Let c = 258 + -106. Let k be (-2 - c/(-36)) + -2. Is -1 >= k?
False
Let k = -1 + 0.6. Let a = -10 - -12. Suppose 2*v - a*g - 10 = 7*v, g + 5 = 4*v. Is k bigger than v?
False
Let b = -36/5 - -262/35. Which is smaller: 3 or b?
b
Let f = -21 - -13. Is -9 != f?
True
Let w be 28/42 - (-92)/(-30). Which is smaller: w or -2?
w
Let b be 2 + (-1 + 24)/(2 - -1). Which is smaller: b or 11?
b
Suppose 0 = 2*x + 5*u - 2, 6*u - 1 = -x + 4*u. Let c be x/2 + 18/(-84). Which is smaller: c or -1?
-1
Let n = 3.2 - 3. Let f = 0.4 - n. Let b = -0.2 + f. Is 0.2 less than or equal to b?
False
Let g be (-21)/14*6/9. Does -11/6 = g?
False
Let y = 