s u at least as big as 259/6?
True
Suppose -4*w = 4*w - 32. Let y be (-4)/(-30) + (3848/(-15))/w. Let g = -67 - y. Is g <= -2?
True
Let z be 1*(-1529)/23331 - (-2)/21. Which is smaller: 0.2 or z?
z
Let m(b) = b**3 + 17*b**2 - b - 8. Let k(x) = x**2 - 2*x - 1. Let l(w) = 5*k(w) - m(w). Let v be l(-12). Are v and 111 equal?
True
Let l = -531.1 - -531. Is l greater than or equal to -2955?
True
Suppose -18*h - 858 = 6*h - 66. Which is smaller: h or -8?
h
Let x be (-7 + 346/(-10))/(1/(-5)). Let v = x - 60. Which is smaller: 147 or v?
147
Let z = 23 - 20. Suppose 15 = 3*u + 3*v - 15, -3*u = -z*v - 6. Let w = -6 + u. Is 3/26 not equal to w?
True
Let t(h) = h**3 - 43*h**2 - 86*h - 181. Let w be t(45). Is 19815 at most as big as w?
False
Let r = -150.926 - -79.788. Let a = r + 71. Which is bigger: 0.1 or a?
0.1
Suppose 0 = 13*t - 22*t - 2124. Let z be (t/36 + 7)*(-45)/(-12). Which is smaller: -1/2 or z?
-1/2
Let v = 17 + -11. Suppose 4*h + 8 = v*h. Let r be (-36)/(-216) - 1/6. Are h and r equal?
False
Suppose -2*i - 12 = -4, 3*i = 5*a - 37. Suppose -448 = a*w - 143. Let q = w - -365/6. Is -1 > q?
False
Let w(p) = p**3 - 4*p**2 - 12*p - 1. Suppose -2*v + 38 = 5*i - 6*v, 14 = 4*i + 5*v. Let r be w(i). Let c = 2/331 - 2325/1324. Which is smaller: r or c?
c
Let u be (-75)/(-163650)*1/(1/(-4)). Which is smaller: 7 or u?
u
Let b be ((-12)/(-9))/(10/15). Suppose -5*l - 32 = -b. Let h(d) = 3*d**2 + 12*d - 21. Let k be h(-5). Is l less than or equal to k?
True
Suppose 202*h = 193*h + 459. Which is smaller: 56 or h?
h
Let j(y) = y**3 - 2*y**2 + 83*y + 996. Let n be j(0). Is n less than 996?
False
Suppose 5*l - 30 = -j, -24*j - l - 115 = -26*j. Suppose 216 = -z - 3*z. Let x = j + z. Does 2.7 = x?
False
Suppose -4 = 8*o - 9*o. Suppose 15 = j + 4*a - 26, 5*j - o*a = 205. Are j and 43 non-equal?
True
Let z(l) = l**3 - 7*l**2 + 2. Let i be z(2). Let n be (3/64)/(i/8). Is 1 greater than n?
True
Let r(o) = 5*o + 55. Let l be r(10). Let d = 130 - l. Which is greater: d or 28?
28
Let d(n) = 16*n + 19. Let v be d(-10). Let b = v + 130. Is -11 bigger than b?
False
Let w(f) = 2*f**3 + 10*f**2 + 9*f + 18. Let m be w(-8). Let b = m - -438. Which is bigger: -3/133 or b?
b
Suppose -8561 - 12192 = 18*i + 2287. Is -1279 not equal to i?
True
Let t be (1/1*-8 + (-43413500)/(-5426700))*-3. Which is bigger: t or -1?
t
Let m = 427 + 111. Let x = 407 - m. Which is smaller: -130 or x?
x
Let g = 10158 + -27594. Which is greater: g or -17435?
-17435
Let a be (670/4)/(198/396). Do -17 and a have the same value?
False
Let c be (22 + -16)/(-4 - (3 - 30355/4335)). Is c greater than or equal to 2/21?
True
Suppose -21*k - 3*r = -24*k - 732, -3*k - 2*r = 752. Is k bigger than -1989/8?
True
Let p = 152.0558 + -0.0558. Let t = p - 149.3. Is 3 at most t?
False
Let i be 2*((-455)/(-14))/13 - (-6 - -17). Is i at most as big as 154?
True
Let m = 588 + 309. Let h = m - 896.79. Which is greater: 2/45 or h?
h
Let f = -35650/9 + 3966. Suppose -34*c - 11 + 3 + 144 = 0. Does c = f?
False
Suppose -33*g + 40*g = 35. Suppose s = n - 2*n, s = -g*n. Which is greater: 1/179 or n?
1/179
Let g be ((-15)/9)/(14/42). Suppose 4*v = 5824 - 21264. Let z = 26976/7 + v. Is g less than z?
False
Let g = 269 + -246.9. Let x = -20.1 + g. Is 0.2 at most as big as x?
True
Let l = -62 - -50. Let w be -1*(2/(-10) + l/(-10)). Suppose 40 = 59*d - 49*d. Which is smaller: w or d?
w
Let g(l) = l**3 - 13*l**2 + 85*l - 1123. Let s be g(13). Is -20 less than s?
True
Let n be (580/50 + -12 + 24)/((-7)/5). Are 3 and n non-equal?
True
Suppose 2*m - 2 = 2*f - 8, 0 = 2*f - 4*m - 6. Suppose -4*l - 3*n = -5 - f, 5*n + 30 = 2*l. Suppose -1 = 4*t + 3*z, -t - l*z - 1 + 5 = 0. Is t greater than -8?
True
Let f be (17000/(-246750))/(2 + -6). Which is smaller: -1 or f?
-1
Let z(b) = 20*b**2 - 3*b - 13. Let m be z(4). Suppose -22*r + 13 + m = 0. Is 8 less than r?
True
Let d(n) = -120*n - 2749. Let b be d(-17). Do b and -5665/8 have the same value?
False
Suppose 64*o - 26*o = -69*o + 851506. Which is greater: o or -2/3?
o
Suppose -5*d = 3*i - 3385, -d + 2*i + 825 = 161. Is d at least 674?
True
Let n be ((-3)/2 - -2)*12. Let h be (-372)/(-72) + 4/(-6). Which is greater: h or n?
n
Let z = -1/11158179 - -2075424467/35404901967. Let c = z + -1/167. Suppose -3*u + 4*m = -23, m + 1 = -4*u - 0. Which is smaller: c or u?
c
Let w be (-2)/11 + 510/22 + -9. Let u be 5/45*(-96)/w. Which is greater: u or -1?
u
Let u be 14/3*723/(-10). Let f = u - -341. Let k = f + -4. Which is greater: 5 or k?
5
Let v = -0.03 - -0.13. Let l = 5305 - 5424. Which is greater: v or l?
v
Let s = -2766 - -2767. Which is smaller: 5/101 or s?
5/101
Let w be (-10 + 7)*15*(2 + -1). Let c = w - -46. Which is bigger: 3/146 or c?
c
Suppose 0 = -2*l + j - 12 - 22, -5*j + 10 = 0. Let w(y) = -y**3 - 3*y**2 + 3*y - 1. Let x be w(2). Let z(o) = o - 2. Let i be z(x). Is i <= l?
True
Suppose 24*l = 74*l - 100. Which is smaller: -9.369 or l?
-9.369
Let k = -957 - -886. Is k <= -82?
False
Suppose 0 = -3*l - 2*n + 21, -6*n + 2*n = -5*l + 35. Let h be l + -193*(-2)/(-54). Which is bigger: 2/7 or h?
2/7
Let d = -498.12 - 186.88. Is d smaller than -4?
True
Suppose 3*v - 50 = -5*a + a, 0 = 3*v - a - 55. Let x = -52 + v. Which is smaller: -69/2 or x?
-69/2
Suppose -h = -1, -2*q - 3*h + 7 = -0. Let f be (-6 + q - 5)*(-7)/(-15). Which is bigger: -3 or f?
-3
Let n(o) = o**3 + 50*o**2 - 35*o + 59. Let d be n(-51). Let c = d + 755. Let t be 0 - (-3)/(-8)*3. Is t at most as big as c?
False
Let z be 4/5 + (-378)/135 - (-8396)/4199. Which is smaller: 0 or z?
z
Suppose 3*h + 2*t - 9 = 0, -4*h + t - 8 + 9 = 0. Is 34/651 greater than h?
False
Suppose 11*n = 27*n + 19680. Let g = 818 + n. Which is smaller: -410 or g?
g
Let c be 5/(-20)*-690 + 2/4. Let i = c + -349/2. Let p = -627/5 - -125. Is i >= p?
False
Let y be ((-8)/6)/((-76)/15 + 5). Suppose y*f - 6*f = 0. Let d be ((-32)/(-264))/(2/6). Is f less than d?
True
Let b = -373.27 + 373. Are b and -11 nonequal?
True
Let k be -4 - 3 - (1 + -2) - -2. Let y be k/21 - (-11)/(462/12). Which is smaller: y or 1?
y
Let w = 97865 + -97867. Let s = 0.6 + -0.558. Which is smaller: w or s?
w
Let r = 134 - 143. Let d(u) = u**3 + 5*u**2 - 22*u - 21. Let b be d(r). Which is bigger: b or -0.1?
-0.1
Let x(m) = 168*m - 887. Let s be x(5). Is s equal to -330/7?
False
Let s(a) = -a**2 + 114 - 80 - 67 - 15*a. Let i be s(-3). Is -17 != i?
True
Suppose 3*g - x = -2*x + 271, 3*g = 5*x + 247. Let v be ((-5)/(-10))/((-1454)/(-364) - 4). Let j = v + g. Is -6/5 <= j?
False
Suppose -50*r - 62*r + 1005 - 3917 = 0. Let c be (10 - (-2 + 0))*1. Suppose 3*y + c = -63. Which is smaller: y or r?
r
Let k = 5444 - 1891. Is k at least 3551?
True
Let v be (-10)/(-2)*174/(-5). Let d = v - -174. Is 2 < d?
False
Suppose -11*x + 579 + 972 = 0. Is 129 greater than or equal to x?
False
Let i = -4447 - -4802.3. Let t = i - 355. Is t less than -11?
False
Let v = -936.008 + 0.008. Is -0.1 > v?
True
Let k(z) = -10*z**2 - 4*z + 1. Let y be k(1). Let u be 17 + -20 + (-15)/y. Is -2 != u?
True
Let d = 12968/19755 - -24/439. Are d and 2 non-equal?
True
Let h be (-168)/(-90) + 2/15. Suppose h*x = x + 1. Let l be (-6)/5 - 29564/(-24795). Which is bigger: x or l?
x
Let m = -21262 - -21261.8. Which is smaller: -3074 or m?
-3074
Let h = -114.082 - -114. Let s = 118.918 - h. Let f = 92 - s. Which is bigger: -1/2 or f?
-1/2
Let i(f) = f**3 - 27*f**2 + 30*f - 102. Let y be i(26). Let v be (y/(-12))/(65/(-117)). Is -0.24 != v?
True
Let m(a) = a - 20. Let i be m(12). Which is greater: -125/19 or i?
-125/19
Let y = 23299 - 33342. Is y less than or equal to -10042?
True
Let o = 76471/1188145 - 27/415. Is o smaller than 1?
True
Suppose 5 = 87*s - 82*s. Let k be (1 + s + 51)*(-12)/4. Which is greater: k or -160?
k
Let j = -492343/45 - -10941. Let r = -5 + 8. Let d = r + -4. Which is smaller: j or d?
d
Let z(v) = -5*v**2. Let q be z(1). Let k be (-4 + (-22)/(-3) + -4)*-3. Let c be (k/6)/((q/12)/(-5)). Is c < 7/2?
False
Let c = -0.0031 + -431.9969. Let t = c + 426. Do 1/7 and t have the same value?
False
Let a(m) = -79*m - 83. Let z be a(-1). Do z and -100/31 have different values?
True
Let t be (-374)/(-34)*(-3)/(-33). Let v be (-25)/42 + (-4)/(-6). Which is bigger: t or v?
t
Let t = -0.03912 - 9.96088. Which is greater: t or -15/8?
-1