han x?
False
Let z be (42/(-9) + (-8)/12)*-3. Suppose -4*q - z = -3*g, 4*q = 2*g + 9*q + 20. Which is bigger: g or -6?
g
Let h = -43 - -43.01. Let a = -0.02 - -0.22. Which is smaller: h or a?
h
Suppose -y + 4*z - 75 = 0, -5*y - 283 = z + 2*z. Let v = y - -92. Is 95/3 at least v?
False
Let n be (2 - (-3437)/105) + 4/(-10). Let r = n - 67/2. Is -1 less than r?
True
Let r be (2/(-13) - 0/(-23))*1. Let b = -7/36 - 139/396. Which is smaller: r or b?
b
Let d be 23/((-368)/96) - -2. Let b = -5 - -9. Suppose -2*w - 2 = -3*g, b*g = -5*w - 8 - 43. Which is bigger: d or w?
d
Suppose -16*j - 5*b = -19*j + 626, 4*j - 873 = -b. Is 218 != j?
True
Let b be (-6)/(-15) - 16/(-10). Let n(r) = 4*r + 3*r**b - 8 + 0*r**3 - 2*r**3 + 5. Let s be n(2). Is s < 2?
True
Let o(f) = -63*f**2 - 2*f - 2. Let u be o(1). Is -67 equal to u?
True
Let o be (-2 - -158)*((-8)/4)/(-4). Suppose -126 = 6*a + o. Is -34 at least a?
True
Let y = -1962 + 1861. Do -599/6 and y have different values?
True
Suppose 3*y + 1563 - 276 = 0. Is y smaller than -426?
True
Suppose -26*q + 56 = -100. Which is smaller: q or 4?
4
Suppose 17*o = 13*o + 4. Let j = o - 16. Which is smaller: j or -13?
j
Suppose 2*l - 6*l = -96. Let d be l*(2/4 - -2). Let q = d - 1679/28. Is q greater than or equal to 1?
False
Suppose 62 = 2*f - 4*u, -2*u - 2 = -5*f + 129. Do f and 3 have the same value?
False
Let o be 3 - (-24)/((-4)/(-1)). Let w be (6/4)/(o/(-48)). Which is smaller: -7 or w?
w
Suppose -r = 5*y - 7, -6*r = -y - 3*r - 5. Let i be -2 + 3 + (-2 - -1). Let b(a) = -a**2 - a. Let f be b(i). Which is greater: f or y?
y
Let v be 0/(-2)*(-2)/(-4). Suppose 18*x + 20 = 23*x. Let r be (3/15)/(x/(-5)). Which is greater: v or r?
v
Suppose -25985 = 27*a + 3850. Which is bigger: -1104 or a?
-1104
Let u(r) = r**2 + 2*r - 16. Let i be u(-5). Let y = -128/491 + -521486/7365. Let z = y - -209/3. Which is smaller: i or z?
z
Let r(j) be the second derivative of -j**5/20 + 3*j**4/4 + 4*j**3/3 + 4*j**2 - 28*j. Suppose 6*q - 50 = q. Let y be r(q). Which is bigger: y or -13?
y
Let j = -47 + -225. Which is bigger: j or -273?
j
Let q be (-6)/(28/20 + -1). Let a = -13 - q. Suppose a*g - 7*g = 2*x - 8, -g - 4*x = 2. Are g and 1/5 nonequal?
True
Let w be (-1)/(-3) + (-31)/3. Let a(d) = 24*d + 757. Let u be a(-32). Which is smaller: w or u?
u
Let a = -11.6 - -74.6. Let x = -66 + a. Which is smaller: 24 or x?
x
Let v = 6 + -24. Let n be (-2 - (-14)/4)*v. Is n <= -27?
True
Let p = -691 + 352. Which is bigger: p or 2/5?
2/5
Let z be ((-2 + -2)/1)/1. Let k(w) = w**3 - 9*w**2 - 36*w - 5. Let q be k(-3). Is z at least q?
True
Let x = -142/5 + 118/5. Which is bigger: x or -5?
x
Suppose 0 = 6*v - 2*p - 14, 4*p = -6*v + 2*v - 28. Let x be (-12)/(-10)*10/81. Which is bigger: x or v?
x
Suppose -30*m + 13 = -31*m. Let u = m + 11. Is u smaller than -2?
False
Suppose -63 = 2*j + 3*w - 0, 4*j + w = -121. Let o = 31 + j. Which is smaller: -2/39 or o?
-2/39
Let s = 27.2 - 42.12. Let l = s + 15. Let b = l - -1.92. Is b at most -3/5?
False
Let i = 245732428/1049 + -234254. Let b = -449062/5245 - i. Let z = b - -86. Which is smaller: z or 1?
z
Suppose -y + 10 = -5*n, 0 = -y + 2*n - 0*n + 4. Suppose 4*s - 5*a = 71, -2*a + y = -10. Suppose p = -g + 3, -4*p = p + 2*g - s. Which is bigger: 5 or p?
p
Let n(t) = -t + 12. Let p be n(5). Let w = p + -31. Let q = 26 - 49. Which is greater: w or q?
q
Let b(t) = -2*t**2 + 53*t + 30. Let w be b(20). Is 291 bigger than w?
True
Let b = -5477/438 - 24/73. Is b < -12?
True
Let l = 67682 - 326701016/4827. Which is smaller: l or 1?
l
Let j be (-3 + 9/2)*6. Let y be (8/6)/(j/27). Suppose 0 = -3*s + y*f - 8, 2*s + 2 = 2*f - 2. Which is greater: s or 2/5?
2/5
Suppose -6*n + 22 = -8. Suppose 2*y = n*y + 3*h - 27, 3*y + 2*h - 22 = 0. Let s = 499/150 + 1/150. Do y and s have the same value?
False
Let z = -35/2 - -179/10. Let i = 44.5 - 12.5. Is z at least as big as i?
False
Let r = -9 + 13. Let m be -1 + (-3)/30 - 2/r. Are -1 and m non-equal?
True
Let m = 0 - -4. Let s be 1*m/(-2) + 3. Let v = -281/2367 - -2/263. Which is smaller: s or v?
v
Let f(s) = -2*s - 8. Let a = -17 + 12. Let w be f(a). Let u be (w/15)/((-66)/(-55)). Is 0 equal to u?
False
Suppose 3*l - 1 - 5 = 0. Let w be ((-200)/(-16))/(1/l). Is w > 25?
False
Let c = -335/210426 + -31088371/16202802. Let n = -4/357 - c. Is 2 smaller than n?
False
Let m = -506.1 + 506. Let i = -0.134 - -0.07. Is m greater than i?
False
Suppose 14*i - 10*i = 4. Let u = -9 + i. Is -0.2 smaller than u?
False
Let a(w) = -w**3 - 4*w**2 - 3*w. Let s be a(-2). Let v be 1/(-5) - 5/(-25). Let g be (s - v)*(-80)/(-8). Is -19 greater than g?
True
Let k be (-6)/(-4 - 138/(-33)). Let l = k - -30. Do l and -9/4 have the same value?
False
Let v be (1*(0 + 1))/((-38)/304). Suppose 5*j - 10 = -0*j. Suppose -j*l + 7 = -3*l. Which is smaller: v or l?
v
Let t be 74/(-168) - 15/(-12). Are t and 0 equal?
False
Let x = -18 + 22. Suppose -r + 3*g = -7, -6 = 4*r + x*g + 14. Do -4 and r have different values?
True
Let w = -79 - -81. Let i = 41.9 - 39. Let n = i + -3. Which is bigger: w or n?
w
Let z = 14 - 9. Suppose -2*a + 11 = z. Which is greater: -6 or a?
a
Suppose -8*k = 8*k - 6*k. Which is smaller: k or -96/19?
-96/19
Suppose 4*y - 475 = -n - 0*n, n - 4*y = 515. Let m be (-1000)/n + (2 + -2 - -2). Which is greater: 0 or m?
0
Suppose -22*t = 966 - 3298. Is 106 equal to t?
True
Let s = -55.935 - 0.065. Let j = s - -31. Let a = 23 + j. Is a > -0.2?
False
Let s be 7/(-5) + 0 - (-2526)/(-4210). Let z = -3 - -2. Let m be (z/(-3))/(2/(-6)). Is m at most s?
False
Let b = -5.3 + 3.6. Let q = 1.8 + b. Which is bigger: -3/4 or q?
q
Let d = -0.137 - -3.917. Let u = d - -0.22. Which is greater: u or -2/3?
u
Suppose m + 8 = 3*x, -7*m + 12*m + 18 = 4*x. Is x <= 19/10?
False
Let q = -2.8384 - 0.1616. Which is smaller: q or 39?
q
Let d(n) = n**3 - 14*n**2 - 16*n + 17. Let i be d(15). Suppose -5*f - 7 + 37 = 4*p, -i*f - 5*p + 29 = 0. Let w be (-2)/5 + (-156)/(-65). Is f at most w?
True
Let i be ((-171)/(-54))/((-1)/8). Let m = -265/12 - i. Is m <= 4?
True
Let p(u) = -4*u + 1. Let h be p(-2). Let a be (-1)/(h/(-4)) + 0. Suppose -5*m = -m. Is a bigger than m?
True
Let a = 308 - 308. Is -1 >= a?
False
Let i(c) = -59*c - 786. Let y be i(-18). Are y and 276 unequal?
False
Suppose 2*r + 6 + 4 = 0. Suppose 3 - 19 = -4*l. Suppose l*y + 200 = 184. Which is smaller: r or y?
r
Let b(h) = 43*h + 5*h**2 - 29*h + h**3 - 25*h - 15*h**2. Let l be b(11). Which is smaller: l or 1/21?
l
Let f = -12244 + 1873198/153. Let w = f - 4/17. Which is bigger: w or -1?
-1
Suppose 0 = 16*c + 386 - 402. Let s = -473/3 + 21755/138. Which is bigger: s or c?
c
Let o = 6.04 - 7.04. Which is smaller: o or -6.81?
-6.81
Let d = -12.65 + 12. Let f = 0.35 - d. Is f less than or equal to -0.1?
False
Let m be (20/8)/((-2)/(-8)). Let o be 15/m + (-434)/288. Which is smaller: -1 or o?
-1
Let f be ((15*4/12)/(-3))/6. Which is greater: f or 1?
1
Suppose -4*t - v = -615, -3*t - 2*v - 151 + 611 = 0. Let y be 16/88 + (-50)/t. Does 1 = y?
False
Suppose 0 = 14*r - 7*r - 28. Let f be (6 + r + -4)*(-2)/33. Let b be 0*(-1 - -2)*-1. Do f and b have different values?
True
Let l(p) = 16*p - 288. Let k be l(33). Are 240 and k unequal?
False
Let i = 87 - 87. Suppose -5*g + i*y + 117 = -4*y, 54 = 3*g + 3*y. Let p = 0.3 + 0.7. Is g > p?
True
Let i(v) = -2*v - 2 - 2 + 16. Let f be i(7). Let j be ((-14)/(-28))/(1/f). Which is bigger: 4 or j?
4
Let x = -7.9 + 1.7. Let s = 6 + x. Let n = -9 - -8.96. Which is bigger: s or n?
n
Suppose 5*n = n + 16. Let m(o) = n - 2 - 3 - o. Let a be m(-7). Is 7 equal to a?
False
Let o be (-93)/87 + (-1 - -2). Let h(s) be the first derivative of -s**2/2 - 3*s - 4. Let b be h(-2). Do o and b have different values?
True
Let h be 3 - (-3)/(42/(-46)). Suppose 2*x + 2 = x. Is x != h?
True
Let z(r) = -r**3 - 5*r**2 - 155*r - 966. Let g be z(-6). Let j be -1 + (0 - 82/(-83)). Is j smaller than g?
True
Let d be (-369)/(-738) + (-3)/(-4) + -1. Is d bigger than 296?
False
Let y = 0.296 - 0.167. Let j = -0.029 + y. Is 11 at least j?
True
Suppose -484 = 3*p + 293. Is -259 >= p?
True
Let l = 30 + -30.08. Let g = -0.02 + l. Do g and 7/5 have different values?
True
Let o = 20672 + -20650. Let b = -2.116 + 0.016. Let a = b - -2. Is a at least o?
False
Let p = -871 + 1096.