h is bigger: 2 or l?
2
Let v = -1063 + 45686/43. Which is greater: 0 or v?
0
Let j = -3 - -8. Suppose -b = -3*q - 21, q + j = 3. Let p(m) = -2*m**3 - 5*m**2 - 2*m + 2. Let k be p(-3). Is k not equal to b?
True
Let n = 8688 - 8951. Is n <= -259?
True
Let q = 535 + -503. Let z = -31.72 + q. Is -1.1 less than or equal to z?
True
Let f(v) = -v**3 - 2*v**2 + 2*v - 1. Let b be f(1). Let w be 18/(-2925)*-13*(-6 - 498/(-84)). Is w <= b?
False
Suppose -j - 32 - 39 = -4*p, 0 = -3*j + 3. Let d be (-7)/((-42)/p) - 217. Which is smaller: -213 or d?
d
Let s = -16 + 5. Let z = -248 + 235. Is s at most z?
False
Let c = 5650 + -5647. Which is smaller: c or 45/13?
c
Let l be 5 - (10 - 3) - 137646/(-68826). Which is bigger: l or 1?
1
Let z(k) = 2*k**3 - 3*k**2 - 43*k - 167. Let s be z(-15). Is s <= -6945?
True
Let m = 17376 + -17375. Which is greater: m or 3/304?
m
Let r = 1041 + 738. Let t = 23167/13 - r. Is 2 less than t?
True
Let v(i) = i**2 + 3*i - 6. Let b be v(-5). Let o(r) = 3*r**3 - 6*r**2 + 6*r - 1. Let j be o(4). Let a be 68/j - (-38)/7. Is b bigger than a?
False
Let n be ((2 + -1)*2)/(4 - 2). Let w be (5/(-1) - n) + 3. Let y be (-10)/((-2 - -3) + w). Are 4 and y equal?
False
Let w(n) = -22*n + 9*n + 14*n - 2. Let t be w(-9). Let p be (-16 + t)/(1 + (-2)/1). Which is greater: 85/3 or p?
85/3
Let i = -2 - -6. Let m = -173 - -175. Let b be ((-14)/77*-11)/m. Does i = b?
False
Let x = -36 - -317/9. Suppose 24*j = 5*j - 608. Let t be (10/(-20))/((-8)/j). Is t > x?
False
Let q = -258 + 218.4. Let u = 76 + q. Let s = 8.6 + u. Which is greater: s or -1?
s
Suppose 0*d = -2*d + 2. Let t(v) = -42*v + 519. Let y be t(12). Suppose 0 = y*b + 54*b. Is b >= d?
False
Suppose 61 + 0 = 50*o + 11. Which is greater: -2/72171 or o?
o
Let k = -55927377/493 - -113443. Is 0 > k?
False
Let w be (164/20 + -9)/((-1)/(-5)). Let g be ((-111)/16132)/((-6)/w). Is 1 > g?
True
Suppose -5*i - 17*i - 47100 = -7*i. Does i = -3139?
False
Let t be 36/(-45)*((-1065)/6)/(-1). Let k = t + 176. Which is greater: k or 31?
k
Let k = 16 - 17.22. Let h = k + 1.32. Which is greater: h or -20?
h
Let d(w) = -52*w**2 - 243*w - 3. Let y be d(-4). Are y and -2/5 unequal?
True
Let o(f) = 9*f - 8. Let b be o(-4). Let s be (76/b + -1)/2. Let u = 312/253 + s. Which is greater: -1 or u?
u
Let p = 397 - 1982/5. Is p less than 2/793?
False
Let l be (15553/453)/((1 + 1)*12/(-432)). Is l at least -613?
False
Let w = 7.065 - 4.164. Let h = w - -0.099. Let y = -8 - -12. Which is greater: y or h?
y
Suppose -196*a - 1757 = -195*a + 4*r, -5*a + 2*r - 8917 = 0. Is a != -1782?
True
Let c = -472708/21 - -22520. Is -2 at most as big as c?
True
Let b be (-2)/5 - 51/(-15). Let d = b + 2. Let v = 19524 - 19529. Is d < v?
False
Let m(v) = -2*v - 16. Suppose -2*u - 2*y = 6, 2*u = y - 6*y - 3. Let p be m(u). Let x be ((-10)/p)/(3/(-12)). Is -8 less than x?
True
Let r(f) = 0 + 7*f**2 - 5 - 3 + 1 - 7*f + f**3 - f**2. Let x be r(-7). Does x = -37?
False
Suppose -81*n - 3480 = 2919. Is n at least -82?
True
Let z = 16 + -24. Suppose -c - 15 = -19. Suppose -2*j + 2 = 5*p, c = -4*p - 4*j + 8. Is p < z?
False
Let c be 57926/(-11586) - 5/(-9)*9. Which is smaller: 0 or c?
0
Let j = 326 - 176. Let s = 127 - j. Is s greater than or equal to -5?
False
Let w be -2419 - ((-8)/44 + ((-1218)/77 - -9)). Is -2411 greater than or equal to w?
True
Suppose 69*a - 66*a + 12 = 3*y, -3*a = -27. Which is greater: -58 or y?
y
Suppose -4*s = 13 + 3, 3*n - 116 = 2*s. Suppose -4*t - 4 = n. Let x be (2 - (-92)/(-40))/((-4)/t). Is 3 greater than or equal to x?
True
Let g = -114815 + 90359388/787. Let h = g - -841405/4722. Let r = -177 + h. Is -1 > r?
False
Let m be ((-31088)/2088)/((-2)/(-6)*2). Let f(n) = -n**2 + 4*n. Let g be f(6). Let j = g + -9. Are m and j non-equal?
True
Suppose -3*l = -7*l + 4*g, -3*l + 5*g = 4. Let s be 2*(5 + -20 - -2). Let t = 30 + s. Is l <= t?
True
Let u(d) = -d**2 - 25*d - 145. Let x be u(-22). Suppose -3*r = -6*r + 231. Let g = r + x. Is g > -12?
True
Let g = -125 - 55. Let t be (g/(-120))/(1074/16). Which is greater: 0 or t?
t
Suppose 0 = 2*l + 12*l - 56. Let v be 276/1*4/8. Let n be (2/16)/(3/v)*l. Are n and 23 equal?
True
Let c = -26460 - -29387. Which is greater: c or 2932?
2932
Let i = -60365/287 + -2/861. Let l = 205 + i. Which is bigger: -5 or l?
-5
Let i be 14/(28/(-1))*178. Suppose -a = b + 2*b + 102, -b - 4 = 0. Which is greater: i or a?
i
Let g = 240366281/98 - 2452745. Let m = -17/49 - g. Which is bigger: m or 29?
29
Let d be 1/((-32)/(-12) - 3) - -6. Suppose -4*h - 268 = -2*k, -d*h - 4*k - 184 = 17. Which is greater: h or -66?
-66
Let j = 8709 - 8709.0329. Is j greater than 0.3?
False
Let r = -391 - -3008. Which is bigger: r or 2618?
2618
Let l = 0.079 + 0.716. Let p = -2.795 + l. Which is bigger: -4 or p?
p
Suppose -4*m = 3*c - 85, -39 = -2*m - 4*c - c. Let w(q) = 3*q**2 - 86*q - 29. Let o be w(m). Which is smaller: -468 or o?
o
Let q(v) = v**3 - 4*v**2 - 4*v - 3. Let c be q(-2). Suppose 0 = 30*f - 19*f - 50 + 270. Which is bigger: f or c?
c
Let t be 16 + (-935)/51 + 2 + (-10)/6. Which is smaller: t or -58/57?
t
Let w = -476695 + 1450430/3. Which is greater: 6782 or w?
6782
Suppose 3*k - 84 = -z, 90 = 5*k + z - 50. Suppose 0 = -38*n - 65*n + 3193. Which is bigger: k or n?
n
Let z = -525 - -527. Suppose 0 = -7*u - 144 + 18. Which is greater: u or z?
z
Let n be (30/(-25))/(-3) - (-388)/130. Suppose 59*f = 54*f + 10. Is n equal to f?
False
Suppose 0 = -h - 5, -3*v + 296 - 87 = 2*h. Let w(g) = 73 - 50*g**3 - 4*g + 25*g**3 - 2*g**2 + 24*g**3. Let u be w(0). Is v at most as big as u?
True
Let z be (24122/350)/((-6)/(-110)). Let m(k) = -k**2 + k + 1263. Let p be m(0). Let w = p - z. Which is greater: w or 0?
0
Let r(d) = d**3 - 29*d**2 - 91*d - 2. Let a be r(32). Is 164 bigger than a?
True
Let x be -6*11*3/(-6). Let b = x + -56. Let u be -29 + (7/(-6) - -2)*(58 - 52). Is u < b?
True
Let b be -2 - (25664/25662 - 3). Let w = 2724344868439067/381439084713485253 + 4/107321051119. Let m = w - b. Which is greater: m or 1?
1
Let w(t) = -5*t**2 + 13*t + 1354. Let s be w(0). Is 9487/7 smaller than s?
False
Suppose -5*w + 301 + 94 = 0. Let l be ((-81)/5)/((3*7/(-21))/5). Which is greater: w or l?
l
Let z = -1 - 67. Let p = -5.2 + 73.4. Let r = p + z. Are 16 and r non-equal?
True
Let y be 0/1 - 2/29. Let a be ((-5)/(-3) - 11/3) + 21. Suppose -a*w = -22*w. Which is smaller: y or w?
y
Let y = 17754 + -16474. Is 1283 smaller than y?
False
Let u(a) = 2*a**2 - 9*a + 9. Suppose -5*w - 7 = 4*s, 2*s - 4*w = -0*s + 16. Let c be u(s). Let t be 2*((-21)/6 - 2). Which is smaller: c or t?
t
Let o(z) be the first derivative of 2*z**2 - 2 + 3*z**2 + 0*z**2 + 9*z. Let i be o(-2). Is 1 greater than i?
True
Let k(p) = p**2 - 23*p + 27. Let f be k(22). Suppose -m - m + 5*x + 34 = 0, -f*m = 5*x - 15. Suppose i - m = -8. Which is smaller: i or -2/79?
i
Let i = -6835 + 6835. Do i and -2/119 have the same value?
False
Let p = -6808 - -6805. Do 1.41 and p have different values?
True
Let l = 0.0578 + 382.9422. Let t = 429 - l. Which is smaller: 3 or t?
3
Let p be (-3 + 266/152)/(10/(-8)). Let n = -24.59 - -0.59. Which is greater: n or p?
p
Let m = -1401 + 1411. Is m >= -0.149?
True
Suppose 0 = 4*f + 3*u - 5 + 26, 35 = -3*f - 5*u. Is f > 97?
False
Let q = -346.5 + 289.5. Is q equal to -47?
False
Let g be -1 - (55/(-20) + -1). Suppose 21*m + 6 = 23*m. Is g at most m?
True
Let l = -593923 + 5330612/9. Suppose -28*d + 24*d = 6556. Let p = d - l. Are p and -5 unequal?
True
Let f = 6190726/2079 + -32754/11. Are f and -0.1 non-equal?
True
Suppose o - 76 - 14 = 0. Suppose -15*f + 97 = -1645 + 392. Is o <= f?
True
Let q = -4 - 11. Let a be 10/q*(52 + -1). Let b = -44 - a. Are b and -10 non-equal?
False
Let v = -0.2 + 0. Let k = 43 + -57.9. Let d = 14.5 + k. Which is smaller: d or v?
d
Let u be (10/(-25))/((-22)/(-10)). Let t = 179 + -180. Let i(a) = 2*a**2 + a. Let j be i(t). Which is smaller: j or u?
u
Let u be 0*(3/15 + (-15)/(-50)). Let h(t) = 291*t + 0*t**3 + t**2 - 73 - 293*t - t**3. Let a be h(u). Which is smaller: a or -74?
-74
Let z be (-18 + 38 - 19)/7. Is z at most -14.36?
False
Suppose 14*p + 3*q - 9 = 11*p, 4*q + 3 = p. Which is smaller: 57/13 or p?
p
Let c be 0/(1/1) + 2. Suppose z = 3*z + c. Let w = -22994/1953 + 364/31. Is w equal to z?
False
Let