 - 2)*2. Let l be 2/5 - (12 - (-41176)/(-260)). Let g = l - p. Is -1 greater than g?
False
Suppose 20*j - 4*j - 944 = 0. Suppose 0 = 10*v - 179 + j. Which is greater: 49/4 or v?
49/4
Let h = -261296/107 - -2442. Let g = -2 + 5. Suppose -5*n - 5 = -v, g*n = -0 - 3. Is v at most as big as h?
False
Let f = 909921803/286 + -3181552. Let l = f - -80/11. Let s = 1 + -1. Which is bigger: s or l?
l
Let k(d) = 7*d**2 + 4*d + 3. Let w(s) = -10*s - 75. Let y be w(-8). Suppose -y*i - 5 = 5*v - 20, 0 = 3*v - 4*i + 19. Let t be k(v). Is t smaller than 4?
False
Let w = 850 + -851.038. Let v = -0.338 - w. Is 3/5 at least as big as v?
False
Let g = 940 - 905. Let h be g/(-3) + 26/39. Is -17 equal to h?
False
Let b = -0.015 + 0.052. Let p = b + 45.963. Let u = p - 46.1. Which is smaller: u or -0.04?
u
Suppose 0 = -2*l - l + 36. Let z = -51 + 66. Which is smaller: z or l?
l
Let o(y) be the first derivative of y**4/4 - 26*y**3/3 - y**2/2 + 16*y - 2. Let c be o(26). Let k be (1 - c)*2/(2/(-3)). Is k greater than -32?
False
Let f = -20 - -21.6. Let d = -122 - -367. Let y = 247 - d. Which is smaller: f or y?
f
Suppose -4*v + 2226 = 2*v. Suppose 0 = -3*a - 1141 - v. Let p be (-2)/a*71 + (-1)/4. Is p < -1?
False
Let p = 60 - 52. Let u be (p/(-35))/((-1)/10). Let r be 0 + 0 + 2 + 0. Which is smaller: r or u?
r
Let u = 687 - 680.33. Is u equal to -3?
False
Let a be (-29)/(-6) + 0 + -1. Suppose 3*w + 5*n = -6, -3*w + 5*n = 7*n - 3. Suppose 3 = -w*c + 12. Are c and a nonequal?
True
Let r be (-85)/(-220) - (-2)/(-8). Let j = -223 + 146. Let g = -541/7 - j. Are r and g nonequal?
True
Let w be (-1)/(2/(-28)) + -21 + 19. Let u be -110*6/w - -8. Which is bigger: u or -49?
u
Let y = -14/233 - 1137/466. Is y greater than -1/48?
False
Let b(l) = -l + 8. Let p be b(5). Suppose 2*k + p = 17. Suppose 0 = -k*c + 4*c - 57. Is c greater than or equal to -18?
False
Suppose 2*j = 3*q + 2204, -73*j = -76*j + 12. Let n = -696 - q. Are n and 9 unequal?
True
Suppose c - 17 = -2*t, -3*c + 2*t = -2*t - 31. Let z be 27/2 + (-50)/(-100). Let b = 29 - z. Which is bigger: c or b?
b
Let c(n) = 94*n + 1482. Let h be c(-16). Is -106/5 != h?
True
Let r = -9712 + 1641298/169. Is 1 bigger than r?
True
Let k = 202 - 445. Let l = k + 84. Which is smaller: l or 1/4?
l
Let s = -44 + 62. Let y = -55 - s. Let q = y + 72.9. Is q at most as big as -2/31?
True
Let m(l) = l**3 - 6*l**2 - l + 18. Let j be m(6). Let n be (-6 + j)/(-3) - -3. Which is greater: 2/3 or n?
n
Suppose -414*x = 419*x - 842*x + 67662. Is x bigger than 7518?
False
Suppose -2295*c + 2260*c = 35. Which is bigger: c or -2/4291?
-2/4291
Let g = 1/16989 + -173704/2427. Which is bigger: 0 or g?
0
Suppose -2*p - 952*t + 954*t - 8 = 0, 0 = -2*p - t - 14. Let n be (3 - 4)*(-12)/3. Suppose -5 = n*s + 43. Are p and s equal?
False
Let v = 10356 - 10369. Suppose -3*g - 28 = 11. Is g at least as big as v?
True
Suppose -n = -3*h - 14, -4*n + 511*h - 514*h + 101 = 0. Suppose i - 2 = -0. Suppose -i*v - n = -v. Is v at most as big as -24?
False
Let g = 1015226/137475 + -2/10575. Which is smaller: g or 8?
g
Let k = -2059 + 2058. Is -2/981 at least k?
True
Let r = 142/3 - 48. Let n = 7167 - 7234. Which is smaller: r or n?
n
Let m(k) = -2*k**2 - 12*k + 107. Let h be m(5). Which is smaller: -69/32 or h?
h
Suppose -6*w = w - 273. Suppose 2*d - w = -3*v + 22, 160 = 5*d + 5*v. Suppose -4*r = s + d, 0 = -6*r + 2*r - 16. Which is bigger: -20 or s?
s
Suppose -5*g + 150 = 55. Suppose -3*k - 5*j + 0*j = g, -17 = -k + 3*j. Suppose a - 4*t = 4*a + 1, 0 = 2*a + 4*t + k. Is -2/45 smaller than a?
True
Let a be ((-44)/(-132))/(2/(-6))*53. Is a bigger than -15?
False
Let q be 3 + -2 + -24 - -7. Let x = -37 - -20. Is x <= q?
True
Let v be (32/(-60))/(28/(-35)). Let y(i) be the first derivative of 7*i**3/3 + 3*i**2/2 + 2*i + 5. Let h be y(-2). Which is bigger: v or h?
h
Let i = 36520/107219 - 2/2023. Is 0 at least as big as i?
False
Let t be (-220)/3*3276/(-260) + (1 - 3). Which is bigger: 917 or t?
t
Let x = -25 - -24. Let i be (-24 + x)/5*6/(-5). Let h be (34/(-14) - -2)/(i/36). Is h greater than -2?
False
Let k = 2670 - -6697. Is k greater than 9368?
False
Suppose -4*d + 3 = u, 3*u - 12 = -u. Let f = -57079 + 57039. Which is smaller: f or d?
f
Let h = -679 - -679.02. Let n be ((-2)/(-3))/((-4)/240*4). Which is smaller: h or n?
n
Suppose -527016 - 233836 = -8*t + 75*t. Is -11356 equal to t?
True
Let j = -0.155 + 7.245. Is j <= 0.1?
False
Suppose -3*w - w = 4. Let m be 2/(-12)*3 + 674/4. Let f = -164 + m. Is f != w?
True
Suppose -201702 - 67245 = -21*m. Is m at least 12807?
True
Let m = 0 + 8. Let r = -7.91 + m. Let c be (-496)/310 + 2/1. Is r <= c?
True
Suppose 302 = 15*w - 73. Suppose j = 4*b - 5, w = -2*b - 6*j + j. Is b > -2/137?
True
Let a = 1537/2 - 768. Let b = 59 - 51. Is a at least b?
False
Let w = 64852678/647 + -100236. Is -0.1 smaller than w?
True
Let m = -1475.8478 + 1476. Do m and 1/2 have the same value?
False
Let y = 2387 + -2350. Which is greater: y or 179/5?
y
Let g = 0.0255 - -52.0745. Let a = g - -11. Let d = a + -63. Do 60 and d have the same value?
False
Let i = -2774/497 - -21/71. Let b be 2/(-4)*-3*(-200)/75. Is b < i?
False
Let g = 4086 - 3764. Which is smaller: g or 2263/7?
g
Let v = -7074 - -7271. Are 195 and v non-equal?
True
Suppose -22*j + 55*j + 79*j - 15904 = 0. Is 171 not equal to j?
True
Let o be 24/8 + 2*-10 + 6. Which is smaller: o or -294/25?
-294/25
Let p be 2/(33 + 2*-1). Let m(n) = -n**3 + 11*n**2 + 11*n + 12. Let y = 439 + -427. Let r be m(y). Is p less than r?
False
Let l(c) be the third derivative of -c**6/120 + c**5/12 + 13*c**4/24 + 5*c**3/3 - 21*c**2. Let p be l(7). Suppose 3*r = k + k - 11, -k - 17 = p*r. Is -10/7 > k?
True
Let u be 3 - 303/186 - 3/2. Suppose -3 = -k + s - 1, 5 = 3*k - 2*s. Are k and u unequal?
True
Let t = -134 + 144. Let s be (-54)/t*(-100)/(-136) - -4. Which is smaller: 0.3 or s?
s
Suppose -7*t + 127 = -118. Let b be (3 - t*-1) + -1. Let a(x) = 2*x**3 - 3*x**2 + 5*x - 4. Let j be a(3). Is j at least b?
True
Let u be 60/(-120) + -975*2/(-4). Suppose 419 = 4*m + u. Let k be -3 - -3 - (-20)/(-1). Is m bigger than k?
True
Let p = 338 - 718. Let c = -381 - p. Which is greater: 54 or c?
54
Let u = 26.96 + -0.86. Let o = u + -26.138. Which is smaller: o or -3?
-3
Suppose -4*w + 8 = -4*h, -w - 5*h - 7 + 3 = 0. Let o be w/2 - (-39)/(-26). Let i be ((2 + -1)*5)/(-6). Is i less than or equal to o?
False
Let g(u) = 9*u + 4. Let o be g(-20). Let d be 3/((-12)/o*-2). Are -24 and d non-equal?
True
Suppose 30 = -2*n - 5*x + 7*x, -5*n - 125 = 5*x. Let u(w) = -4*w**2 - 33*w - 8. Let b be u(-8). Is b bigger than n?
True
Let t be (-11)/9 - (-4)/18. Let f = -24054 + 745673/31. Which is greater: f or t?
f
Let u = 1690 + -1689.9. Let f = 49.927 - -0.073. Which is smaller: f or u?
u
Let c(p) = -12*p**2 + 46*p. Let n be c(4). Let h be ((-30)/n)/(15/(-60)). Which is greater: -5 or h?
-5
Let g = -35 + 5. Let a be g/(-12) + 5/(20/(-12)). Let u = 54/5 - 11. Is u smaller than a?
False
Let o = -0.174 + -312.826. Let k = 367.8 + o. Let p = 4.8 - k. Which is smaller: p or -1?
p
Let b(z) be the first derivative of -z**4/4 + 3*z**3 - 6*z**2 - 13*z + 64. Let t be b(7). Which is smaller: 2/345 or t?
2/345
Suppose 2*m + 5*w = 4*m - 52, -5*w - 104 = -4*m. Let d be (25 - 0) + (-8)/72*-9. Is d smaller than m?
False
Let s(q) = -q**2 + q. Let b be s(0). Let k be 5/10*(-10)/1. Let n be (-105)/75 + (-2)/k. Is b smaller than n?
False
Let w be 9/69*(-413)/(-1593). Is w at most as big as 1?
True
Let s = 411 - 406. Let x be 3 - 8/(1 - s)*-230. Which is smaller: -456 or x?
x
Suppose -8 = -5*y - 4*o, 5*o = y + 4*y + 10. Suppose y = -d + 39 + 17. Let i = 60 - d. Which is smaller: i or 8/3?
8/3
Suppose -4*b - 63 = -5*r, -2*r - r - 2*b = -51. Let l = 14 - r. Let m = 56/17 + -2593/782. Which is smaller: m or l?
l
Let m(c) = -7*c**2 + 131*c - 36. Let n be m(-3). Is -500 >= n?
False
Let m(o) = -o**3 + 65*o**2 + 166*o - 2145. Let g be m(67). Is g less than -262?
False
Let s be (-7)/((-147)/(-11))*(1554/1440)/37. Which is smaller: 1 or s?
s
Let x = 25440408/239 - 106445. Which is greater: 0 or x?
x
Let n = 19.158 - -2.842. Let m = 3 + 18. Let x = n - m. Is x != 2?
True
Let i = 2555 - 2554.9. Let y = 0.04134 - -20.96366. Let x = y - 0.005. Which is greater: i or x?
x