-0.04382 - -17.22382. Is 2 bigger than h?
False
Let h = 1/6958 + -855881/327026. Is h at most as big as -3?
False
Let o = -311 + 253. Let i = o - -12. Is i at most 3?
True
Suppose 11 = 5*t + 1. Suppose t*b + 13 = 17. Suppose 5*y = g + b*y + 19, 0 = -4*y + 4. Is g <= -15?
True
Let t be -9*(11 + -4 - -5). Let w be (t/(-8) - -5)/((-2)/(-4)). Are w and 2 unequal?
True
Let t be (-1)/(11/(-5) + 2). Let i = 212 + -240. Let w be ((-161)/49 + 3)/(1/i). Which is smaller: t or w?
t
Let f = 6189 - 18568/3. Is -6.33 at least as big as f?
False
Suppose 792 = -19*j + 2958. Let s = 113 - j. Which is bigger: s or -2/75?
-2/75
Let g be (-3)/((-72)/(-14)) - (-237)/948. Which is smaller: g or -63/361?
g
Let h = 1697/26904 - 10/177. Let q = -1252023/126920 + 3159/334. Let s = h + q. Is 2 greater than or equal to s?
True
Suppose 31*v - 24*v - 208159 = 0. Let r = -62061121/2087 + v. Which is greater: 0 or r?
0
Suppose -1644*i = -1641*i + 156. Which is smaller: i or -423/8?
-423/8
Let h be (558248/372)/((-4)/6). Which is greater: h or -2249?
-2249
Let s be 27/2*(135/10)/27. Which is smaller: s or 11/4?
11/4
Let s = -45723/4 + 11352. Let m = s - -78. Do m and 18 have different values?
True
Suppose 2*n - d - 11 = 0, 0 = -0*n + 2*n + 5*d - 5. Suppose -4*m - 4*y + 16 = 0, 5*y = -6*m + 4*m - 7. Suppose 0 = 4*k - m + n. Which is smaller: k or 4/57?
4/57
Let r = 0.43938 + -0.23938. Is r <= -4767?
False
Let q = 86.546 + 21.324. Let j = 108 - q. Which is greater: -1 or j?
j
Let j = -1633 - -3265/2. Which is greater: j or 204?
204
Let x(n) = -n**2 - 8*n + 37. Let v(d) = -7*d + 27. Let p be v(5). Let c be x(p). Which is greater: c or -1/3?
c
Let d = 1454.9 - 1454.9. Is 222/65 != d?
True
Suppose 5*x + 4*o = 26, -2*o = -0*x - 5*x + 32. Let r be 6/(-4) + 1 + x/(-4). Let v(n) = -21*n + 12. Let j be v(r). Which is smaller: j or 55?
j
Let b be 16/36*(6830/(-980) + 7). Is -1 at most as big as b?
True
Let r = 25 + -22. Suppose -5*m - 10 = -o, 3*o + 0*m + r*m = 12. Suppose -n - 1 = o*w - 11, 5*n - 8 = -4*w. Which is smaller: -2 or n?
-2
Let o = 482 + -312. Let x = -170 + o. Which is smaller: -0.007 or x?
-0.007
Let u be (4 - 7) + (-5868)/(-1932). Let c = -719/14973 + u. Do 1 and c have the same value?
False
Suppose 0 = -2*l - 0*l + 90. Suppose 0 = -4*o - 3*a + 60, 4*o - a - l = o. Suppose 5*r + 547*b = 550*b + 49, r - 3*b = -7. Is o less than or equal to r?
False
Suppose -28*l + 68*l - 200 = 0. Suppose -605 = -l*a - 5*r + 1135, -15 = -5*r. Is a at least 345?
True
Let p = 75034 - 74622.27. Let z = p - 410. Let b = z - 1.53. Which is smaller: 19 or b?
b
Let x(g) = -2*g**3 + 7*g**2 + 4. Let h be x(5). Let c(f) = -33*f - 32. Let p be c(-1). Let s be (-7 - (4 + -7)) + p + -69. Are s and h nonequal?
True
Suppose -4*b + 1 = 9, 2*b = -5*z - 4. Let c(v) = -v + 2. Let t be c(z). Let k = 1150 - 1158. Which is smaller: t or k?
k
Let m = -5.789 + 5.989. Is -103 bigger than m?
False
Let f = -27983 - -27983. Which is smaller: f or -0.6412?
-0.6412
Suppose -110*d - 31*d = 87*d + 780900. Is d at most -3426?
False
Suppose -6135 - 5486 = -69*w + 3490. Which is smaller: 223 or w?
w
Suppose 5*k - 137 = -122. Suppose -2*i - 2 = -k*i - 3*a, i - 4*a = 30. Which is greater: 15 or i?
15
Let o = 10.56 - -1.84. Let f = o - 13.4. Let u = 109/1212 - 2/303. Which is greater: f or u?
u
Suppose 3*p = 4*q, -p + 4 = q - 3. Let w be (12/60 - 26/30)/((-24)/81). Which is greater: q or w?
q
Let m = -162 - -197. Let d = -8 - -4. Let r be (4/24)/(1/d). Is r smaller than m?
True
Let f = 83 - 37. Let a = 2489 - 2441. Is f < a?
True
Let l = -9001926/857 + 10504. Let n be (3 + -3)/(-8) + 0. Does n = l?
False
Let b be ((-3)/6)/((-1)/60). Let r be -14*(-3 + (-6 - -23)). Let u = -167 - r. Which is smaller: u or b?
u
Let g(h) = 2*h + 2. Let v be g(-2). Let b be v/7 + 5472/(-252). Is -27 less than b?
True
Let n = -101 + 221. Let f be 16/24*1/(4/3). Which is smaller: n or f?
f
Suppose 0 = -22*l + 27*l - t + 35, 4*t + 28 = -4*l. Let b(j) = 4*j + 69. Let h be b(l). Do h and 2/17 have different values?
True
Let z be (-8 + 40)/(-4) - 3. Do 6 and z have the same value?
False
Let b = -369.66 - -52.36. Let w = -326 - b. Which is bigger: w or 2?
2
Let t be (-36065)/(-12025) - (-5 + 6*28/21). Which is smaller: t or 0?
t
Let v be (-52)/65*495/(-6). Let b = 38 - 102. Let y = b + v. Which is smaller: 0 or y?
0
Let d(l) = -l**2 - 59*l - 301. Let n be d(-47). Is n < 264?
True
Let b be (30/(-25))/(20/1450). Which is greater: -99 or b?
b
Let g(b) = b**2 - 11*b + 23. Let i be g(8). Let n be (-3*i/(-3))/(-121). Which is smaller: -1 or n?
-1
Suppose 360 = 5*b + d + 4*d, -5*b = 2*d - 375. Let y = b - 67. Let j(q) = q**3 - 11*q**2 + 5*q + 3. Let p be j(y). Is p bigger than -47?
False
Let k(v) be the third derivative of 0*v - 9*v**2 + 1/24*v**4 + 0 - 4/3*v**3. Let u be k(4). Which is greater: -46/9 or u?
u
Suppose 1557*v = 1539*v. Is v bigger than -4/4003?
True
Let b = -313289909/10614 + 88550/3. Are 1 and b nonequal?
True
Suppose -2*p + 14 = -4*x - 24, -4*p + 46 = 2*x. Suppose -p*c + 0*c = c. Let s = 907/117 + -108/13. Do s and c have different values?
True
Suppose -3*c = 2*i - 6, -4*c + 7*i = 5*i - 22. Suppose 3*k + 3*z - 12 = 0, 24 = -c*k + 5*z + 4. Is -7.2 >= k?
False
Suppose 4*z = -5*z - 6*z. Is -4/3097 smaller than z?
True
Suppose 2*q = 14 - 22, q - 1160 = 2*c. Is -1163/2 less than c?
False
Let w be 4/7 - 9*20344/333648. Which is smaller: w or 0?
0
Let z(k) = 5*k - 80. Let x be z(8). Let n be (-6)/144 - ((-185)/x - 5). Which is bigger: n or -8.7?
n
Suppose -5*z = 5*l - 50, -4*l - 887 = z - 894. Let m = 173/66 - 33691/12870. Which is bigger: m or l?
m
Let q = 658.9 + 97. Let g = 754 - q. Is g at most -1/4?
True
Let q = 0.0671 - -2.7629. Let z = q + -2.63. Which is smaller: -59 or z?
-59
Let c = -780 + 1670. Let a = 8020/9 - c. Suppose -j + 15 = 5*t, -3*t - 14 = -5*t - 2*j. Is a at least t?
False
Let t = 28 + -9. Let b be (-1)/5*(-133)/t. Let k = 1 + -1. Is k not equal to b?
True
Let s be ((-2)/6)/((-4)/48). Suppose -s*k + 2*f + 25 = f, -4*f = -k + 25. Suppose -6 = -k*r + 9. Which is smaller: r or 11/7?
11/7
Suppose -12*n + 27 = -3*n. Suppose 5 = 4*c - n. Suppose c = -5*d - 13. Which is smaller: 3 or d?
d
Let n(l) = -l**3 + 17*l**2 + 20*l - 37. Suppose -4*f + 76 = 4. Let k be n(f). Let i(q) = -q**3 + 4*q**2. Let g be i(4). Are g and k unequal?
True
Let p = -5087 + 5088. Let i be (-1 - (1 + 0))*-1. Let g be (-5)/(-70)*(0 + i). Which is smaller: p or g?
g
Suppose 64*j = 85*j - 231. Let r(a) = 2*a**2 + a. Let l be r(2). Which is greater: l or j?
j
Suppose 4*x - 190 = 9*x. Let i be (-28)/6 + 5 + 6/x. Let d = i + 3/19. Which is greater: d or -4?
d
Let s = 1358 + -1554. Is s smaller than -196?
False
Let d be 1 + 3 + (7 - -54). Let y be ((-4)/(-6))/(d/21 + -3). Let z be (-2)/y - (-25)/(-35). Which is smaller: 6 or z?
z
Suppose 0 = 29*p + 25618 - 27358. Is p equal to 487/8?
False
Let g be (2/1)/2 + 0. Let i be (102/24)/(g/8). Let v = 23 - i. Which is greater: v or -9?
-9
Suppose 529*w = 536*w - 26789. Which is smaller: w or 3829?
w
Let p be (3/2)/(9/(-24)). Suppose -6*t = 4 - 16. Suppose -5*y - 26 - 1 = 3*r, -t*r = 8. Which is smaller: y or p?
p
Let a(w) = 2*w**2 - 2*w - 2. Let d be a(2). Let s(z) = 0*z + 1 + 1 + d + z**2 + 6*z. Let f be s(-6). Which is greater: f or -4?
f
Let n = 2/3085 - 114473/505940. Let k = n - 1/41. Suppose 143*z = 149*z - 6. Which is smaller: z or k?
k
Let a = 362 - 564. Let y = -202 - a. Which is smaller: y or -1/95?
-1/95
Let t = -7714.9 + 7715. Is -0.98 greater than t?
False
Let v = -1212519513439/2216 - -547165855. Let c = v + 11/277. Do 10 and c have the same value?
False
Let j = -272/329 - -779147/5264. Is 147 bigger than j?
False
Suppose 31*b - 38 = 33*b. Let u(h) = -h**2. Let z(w) = -3*w**2 + w - 12. Let x(t) = 4*u(t) - z(t). Let r be x(-6). Is b greater than r?
False
Let t(d) = 26*d + 107. Let q be t(-4). Suppose -5*k = -2*h - q*h, -4*k + 27 = 5*h. Are k and 1/4 equal?
False
Suppose 0 = 4*s - 167 - 373. Let y = s + -136. Which is bigger: y or -3/4?
-3/4
Suppose -205 = -s - 5*y, 0 = -5*s - 4*y + 965 - 3. Let a = s + -188. Which is greater: 0 or a?
a
Suppose 0 = -c - 574 - 544. Let g be 35/(-42) - c/(-12). Which is greater: g or -95?
g
Let n = 5.67 - 10.17. Is 3.9 less than or equal to n?
False
Let p = -29 + 27. Let r be (p/4)