 - -17152/13. Is m equal to x?
False
Let v be ((238/28)/(-17))/((-11)/13618). Is v greater than or equal to 6?
True
Suppose 0 = n + 4*w - 20, 5*n + 5*w + 50 = 10*n. Suppose 78 = -n*f + 14*f. Which is smaller: f or 29?
29
Let n be (0 - -2)*(-9417)/(-146). Suppose -6*s + 1132 - 346 = 0. Which is greater: s or n?
s
Suppose -2*c - 6840 = 4*r, 82*r - 80*r + 3432 = -3*c. Which is bigger: r or -1705?
-1705
Let j be ((-19992)/(-40))/((-27)/(-30)). Is j at most as big as 554?
False
Let y = -390 - -310. Is y greater than -87?
True
Suppose -45 = -7*o + 2*o. Suppose w - o = -5. Let f be 2 + (-2 + 6)/4. Which is smaller: f or w?
f
Suppose 3*o - 486 = 3*i, -4*i - 650 = -0*o - 3*o. Let h = 163 + i. Which is smaller: 2/577 or h?
h
Let m be ((952 - -16)/242)/(-1 + (-24)/(-22)). Let s be (-428)/(-10) - (-1 + 0). Which is greater: m or s?
m
Suppose -i - 15 = -4*i. Let w(o) = 4*o**2 + 9*o + 2. Let x(g) = -9*g**2 - 17*g - 3. Let l(a) = i*w(a) + 2*x(a). Let c be l(-5). Which is smaller: 2/11 or c?
c
Suppose 14 - 26 = 12*y. Let s be 6/610*30/12. Which is greater: y or s?
s
Let w = -449 - -448. Which is bigger: w or -507?
w
Suppose -17*j = 31*j - 18912. Is 396 smaller than j?
False
Let v be (-226)/(-3) - (-8)/(-6). Let b = v + -69. Suppose -b*r = -r + 4. Is -9 at most as big as r?
True
Let q(v) = 2*v**2 - 16*v + 2. Let o be q(7). Suppose -2*j - 41 = 3*h, -7*j + 27 = 18*h - 23*h. Are h and o unequal?
True
Let j = -15409 + 13520. Is j greater than -1890?
True
Let f(y) = 2*y**2 - 3*y + 109. Let i be f(0). Suppose 4*q + 980 = 2*k, q + k + i = -130. Does q = -244?
False
Suppose 0*j + 2*j + z = -2, 2*j - 5*z + 14 = 0. Let y(n) be the third derivative of -n**6/60 - n**5/15 - n**4/12 + 16*n**2. Let k be y(j). Is -1/2 >= k?
False
Let x = -0.3861 + 0.4461. Which is greater: 78 or x?
78
Let a be 0/(-6 + 56/8). Let i = -1.9 + -8. Let x = 11 + i. Which is greater: x or a?
x
Suppose 3*i = -5*t + 12, 42 = 3*i - 3*t + 54. Let a be 4 + i - (136/46 - 0). Which is bigger: a or -1?
a
Suppose 2*w - 13763 = -25*w - 1748. Is w smaller than 441?
False
Let g be 1/(3/6) + -3. Let x = 18/257 + -4055/54227. Is g at most as big as x?
True
Let j = -4110.1326 + 2.1326. Is j != 3?
True
Let g be 6/(-21) + -1*23/(-7). Suppose -g*f = 4*f - 5*f. Let q = f - -5. Which is bigger: q or 0?
q
Let j = 3801 - 3802. Suppose 2*u + 6 = -u. Let r be ((-1)/58)/((-1)/u). Is j greater than or equal to r?
False
Suppose -17*a + 136*a = -18*a + 214679. Is 1575 <= a?
False
Suppose -10 = 2*a, 19*c - 16*c - 5*a - 160 = 0. Let q be c/80 - 3/2. Is q at least as big as -2?
True
Let a = 2619 - 2630. Does a = -129?
False
Let w(m) = -2*m**2 + 106*m - 299. Let y be w(50). Let p(a) = -2*a**2 - a + 7. Let o be p(3). Let c be 4/o - 20/28. Is y at least c?
True
Suppose 28*o + 11*o = 55 - 55. Which is smaller: 28/169 or o?
o
Suppose -10 = 5*f + 10. Let c(h) = -2*h**3 - 10*h**2 - 2*h + 3. Let z be c(f). Let u be (0 - 1/1) + (z - -14). Is -10 at least as big as u?
False
Let n = -390 + 35489/91. Let c = -268/455 + n. Which is smaller: c or -2.7?
-2.7
Let j be (2 - (-4420)/2209) + (-10 - -2 - -4). Is 0 less than or equal to j?
True
Let s be (17*7/119)/((-24)/(-23) + -1). Is s < -14?
False
Let c = -1094 + 748. Which is bigger: -4/5 or c?
-4/5
Let b be (1 - (-27)/(-18))*-34. Let r = 48 + -488. Let f be (-6)/(-15) - r/25. Which is bigger: b or f?
f
Let r = -0.1419 + 14.0419. Which is smaller: 0.08 or r?
0.08
Let r be 6/24 + 21/(-4). Let s be (2/(-6) + -2)/((-3)/81). Let c = s + -64. Is r at most c?
True
Let a(d) = 45*d**2 + 340*d + 104. Let p be a(10). Is p smaller than 8002?
False
Let f = 1158.4 + -1894.36. Let h = f - -736. Which is bigger: h or 2/23?
2/23
Let u = -0.66 - -0.36. Let b = 0.65 + u. Let s = b - 0.45. Is s equal to -11/4?
False
Let m be ((-888)/(-56) - 16 - 48/7) + -6130. Are m and -6137 non-equal?
False
Let z(l) = -l**3 - 143*l**2 + 580*l - 1175. Let y be z(-147). Which is smaller: -5/2818 or y?
-5/2818
Let h be (420/(-8))/7*142. Let a be ((-2)/(-5))/(10/(-26745)). Let u = a - h. Which is smaller: -6 or u?
-6
Let f = 23 + -21. Let m be 1 + 1 + 84/(-399). Is m less than f?
True
Let g = 28 + 46. Let r = g + -83. Which is bigger: r or -10?
r
Let c = 0.984967 + 0.015033. Let h be (-1)/((-104)/6 + 2). Is h != c?
True
Suppose 40*u - 59981 = -18*u + 29455. Is u > 1541?
True
Suppose 4*d - 5*p = 452, -3*d + p + 339 = -2*p. Let z = d - 110. Suppose z*s - 75 = 8*s. Is -12 at least as big as s?
True
Suppose -2445*h = 2432*h - 4893*h + 7248. Which is greater: 455 or h?
455
Let z be (-2)/18 - (-22876)/63. Let s be z*4/(-36)*3. Let x = -967/8 - s. Is 3 equal to x?
False
Let i(p) = -5*p - 5. Let u be i(0). Let v be u + (-15)/42*39/(-5). Is v at most -3?
False
Let a = 125 + -86. Suppose -23521 = a*x - 8038. Which is smaller: -396 or x?
x
Let b = -14199.055 - -14199. Is b greater than or equal to -83?
True
Let r = -144620 + 144615. Let n = 0.016 + -33.016. Which is smaller: n or r?
n
Let v = 526 + -527. Suppose -i = 4*m - m + 125, -3*i - 81 = 2*m. Let k be (-1)/((-3)/(m/20)). Are k and v nonequal?
True
Suppose 0 = -5*l + 2*l - 12, 5*g + 5*l - 5 = 0. Suppose -7*c + 3*c + g*k - 135 = 0, k - 34 = c. Which is bigger: c or -36?
c
Let o = 12676.6 - 12677. Let u = 143/4 - 36. Which is smaller: u or o?
o
Let r(v) = -8*v**2 - v. Let n be r(1). Let w = 462 - 459. Let o be w + -1 + n + 0. Is -5 at most as big as o?
False
Suppose 0 = -24*k + 8*k + 80. Suppose -k*s - 9 + 39 = 5*h, 5*h - 4*s - 3 = 0. Which is smaller: -1 or h?
-1
Let i(z) = z**2 + 5. Let f be i(0). Suppose 2*g + 2 = 3*r - 9, -f*g + r = 8. Is -2/209 at most g?
False
Let s(c) = 26*c**3 - 32*c**2 + 8*c + 45. Let k be s(9). Which is smaller: 16478 or k?
16478
Let h = 1846/145 - 64/5. Let n be 5/(30/4)*6. Suppose 0 = y - n*s - s + 25, s - 5 = 2*y. Which is smaller: y or h?
h
Let a = -1358747/8691 - -18/2897. Let y = a + 156. Is -0.05 <= y?
False
Let p be (0/(-4))/5 + 2. Suppose -p*o = 3*s + 11, -11 = 4*s + 2*o + 1. Let r be 1/(-2) - 90/(-196). Is r smaller than s?
False
Let r = -359 + 358.53. Is -0.17 at most as big as r?
False
Let d(m) = -2*m**2 - 16*m - 266. Let s be d(-14). Is s not equal to -434?
False
Let k = -1541 + 1540.88968. Which is bigger: k or 1?
1
Let f = -23497405/233181 - 5/17937. Which is smaller: -101 or f?
-101
Let f = 27.4 + -31. Let r = 0.6 + f. Let b = -5143/7 + 735. Which is bigger: b or r?
b
Let c = -173 + -301. Let y = c - -87219/184. Which is bigger: -1 or y?
y
Let s = 11588 - 11609. Which is smaller: -0.14 or s?
s
Let v be 4 + ((-12020)/(-602))/(-5). Let m = 299 + -299. Is m < v?
True
Suppose 0 = 309*y - 313*y + 92. Suppose y*a - 25*a = k - 6, 0 = -5*a. Which is smaller: k or -14/9?
-14/9
Let u = -269 - -145. Let i be u/(-60) - (-6)/(-15). Which is bigger: i or 0.1?
i
Let h = -661558/1505 - -2198/5. Do h and 2/11 have different values?
True
Let l be (-48)/52 + 1 + 1610486/754. Which is greater: 2133 or l?
l
Let g = -70993 - -24949. Let x be (g/568)/9 - -9. Which is bigger: 0 or x?
0
Let i be -1*(2 - 5) + (-310625)/108125. Which is greater: 0 or i?
i
Let b = 3/5500 - -142253/1369500. Is b <= 1?
True
Suppose -3*z + 34*w + 7101 = 35*w, 2*z + 2*w - 4738 = 0. Which is greater: z or 2367?
2367
Suppose -2*i + 0*c + 3*c = 6009, -c = 4*i + 12011. Let y be 767/i + (-2)/(-7). Are 0 and y nonequal?
True
Let t(v) = v + 8. Let p be t(-8). Let z = 2697648/163 - 16550. Which is greater: p or z?
p
Let v be 2*(5/2)/(7 - 9). Let q be ((-7)/693*-6)/((-3)/54). Is q greater than or equal to v?
True
Suppose -4*u + i = -30, 5*u + 3 = -1049*i + 1048*i. Let d be 2/3 + 22/(-30). Are u and d equal?
False
Let p = -18164 + 17963. Is -803/4 at most p?
False
Let u(l) = -6*l**3 + 198*l**2 - 4*l - 68. Let f be u(33). Which is smaller: f or -2595/13?
f
Suppose 30 = 5*h + 5*m, m + 3*m = 4*h + 16. Let a be 5*4/13180*2. Which is smaller: h or a?
a
Let l be 6 - 644/154*(-2 + (-21)/(-6)). Is -41 greater than or equal to l?
False
Suppose 84*y = 80*y + 184. Let a be 1/((-3)/24*(-8)/y). Which is bigger: 3 or a?
a
Let u = -9847/5 - -329261/165. Is 0.1 smaller than u?
True
Let w be 1/4 - (-18)/(-328). Suppose 3*v - 4*v - 12 = 3*x, 4*x = 19*v - 16. Which is smaller: w or v?
v
Suppose -p - 5*t = -34, p - 4*t + 11 = -18. Which is bigger: p or -56/187?
-56/187
Let o be (-94)/47*(-28)/8*5. Let m = 33 + 16. Let r 