p - 102 = -h. Is p at most -8/37?
True
Let y be 1*47/((-2162)/(-322)). Suppose 2*v - 7*v + 140 = -5*w, -4*v = -2*w - 102. Suppose 1 = 3*u - v. Is y >= u?
False
Let n(g) = -5*g + 118. Let f be n(24). Let i(h) = 33*h + 30. Let v be i(f). Is -35 greater than v?
True
Let q(v) = 5*v + 254. Let s be q(-33). Is s at most 812/9?
True
Suppose 2*c = 4*c + 3*q - 4, -2 = -c - 5*q. Suppose 9 = -3*y - 3*j, -4*j = -138*y + 143*y + 13. Which is smaller: c or y?
y
Let c be ((-8)/10)/(3/15). Let z be 32678/(-165) - c/22. Let o = -198 - z. Is o smaller than 1/3?
True
Suppose 3*y - 936 = 3*o - 1191, o = 2*y + 78. Which is greater: 1200/13 or o?
1200/13
Let m = -77.85 - 1.15. Is 5 > m?
True
Let x be (-285)/2*((-116)/42)/(-1). Let k = -36319/91 - x. Is -6 > k?
False
Let n = 9302.07 - 9302. Which is bigger: 1252 or n?
1252
Let g = 428 - 237. Let y = 176 - g. Is -10 at most y?
False
Let b(v) = 405*v - 802. Let z be b(2). Let f(d) = -d + 5. Let w be f(-5). Is z equal to w?
False
Let m = 75 + -76.6. Let u = m - 9.1. Let f = 10.8 + u. Is 2 < f?
False
Let c = 0.02796 - -0.12544. Does 0.1 = c?
False
Let i be (1561*(-50)/(-245))/((-51)/(-21)). Do i and 131 have different values?
True
Let y = 20 + 0. Let u be (2/9)/((-27)/(-729)). Suppose -4*a + 10 + u = 0, -a = -z - y. Are z and -18 nonequal?
True
Let u(h) = h**2 - 59*h - 128. Let y be u(60). Let f be (4/(-3))/((-10)/(-519)). Which is smaller: f or y?
f
Let t = 4 - 7. Let r(g) = -g**3 - 2*g**2 + 3*g. Let m be r(t). Let d = -0.06345 - 0.03655. Does d = m?
False
Let s be (835/(-501))/((2870/(-36))/7). Let v = 55/4 + -14. Which is bigger: s or v?
s
Let i be (-59 - -11)/((-3)/2). Let r be (3 - (-63)/6)/((-24)/i). Are r and -9 nonequal?
True
Let h = 0.146 + 0.054. Let d = -93 - -92.9. Which is bigger: h or d?
h
Let d be ((-627)/6)/((-1)/(-2)). Let g = 12593 + -12801. Are g and d nonequal?
True
Let x = 1277 + -2183. Are -0.2 and x non-equal?
True
Let c be (-130 - -1)/3*1. Let r(j) = -36*j**2 + 210*j - 7. Let m be r(6). Is c at most m?
True
Let r = -374 - -401. Suppose -56*b + r = -65*b. Which is bigger: -91 or b?
b
Let n(c) = -88*c - 771. Let l be n(-7). Is l smaller than -148?
True
Let v(f) = -34*f**2 - 8*f + 12. Let a be v(2). Let d be (-985)/7 + 4/(-14). Which is greater: a or d?
a
Let o = 2729 - 2797. Is o equal to -200/3?
False
Let v = -158 - -164. Let s be 8/(-12)*v - -2. Let g = -701/5 - -137. Which is smaller: g or s?
g
Let b = 26 - 22. Let d be (-2)/b - ((-12)/8 + 1). Suppose 2 + d = 2*h. Are 0 and h nonequal?
True
Let b = 0.1 - 0.2. Let h = 54627 + -54977. Which is smaller: h or b?
h
Suppose -4 = 2*d - 3*d. Suppose 4*x = 2*t - 6, -t = -3*x - 6 + d. Let w = 1.142 + -3.142. Is x at least as big as w?
True
Let d(q) = q**2 + 73*q - 914. Let x be d(-84). Let u be (-7)/(-14) + 5/2. Let s be ((-21)/u*4)/(-3). Which is smaller: x or s?
s
Let p be (1/(-2))/((-7)/28). Let j = -0.00883 + 0.10883. Which is greater: p or j?
p
Suppose -5*u - 71 - 854 = 0. Let d = u + 924/5. Which is bigger: d or -0.21?
d
Let l(w) = -2*w**2 - 5*w - 12. Let c be l(-3). Let k be (c/285)/((-3)/(-18)). Which is smaller: -3/5 or k?
-3/5
Suppose -83*g + 82*g - 2*f + 81 = 0, 6*f - 25 = f. Let h = 3/23 + -35/92. Is h greater than or equal to g?
False
Let o = 175 + -107. Let w = 62.2 - o. Let v = w - -19.8. Is 1/2 < v?
True
Let c(a) = -2*a**2 + 65*a + 1130. Let q be c(45). Which is bigger: q or 529?
529
Let f be 2/(-7) - 2/(-28). Let t = 28743.2 + -28749.2. Which is smaller: t or f?
t
Suppose -3*d = n - 169, -4*n + 455 + 243 = d. Let b be (-28)/30*(-30)/n. Which is smaller: b or 0?
0
Let p be 7 + -1 + 0 - -7. Let w be (-9)/p*(-8 + 4216/528). Which is bigger: -1 or w?
w
Let t = -7.897 - -7.9579. Is -0.1 at most t?
True
Let x = -229 + 276. Suppose 55 = 42*y - x*y. Which is smaller: 0 or y?
y
Let w be ((-5)/(-1))/(10/20). Let k(n) = 13 + 8*n + 0*n - 2*n**3 - 11*n**2 + w*n**2. Let h be k(-4). Which is greater: 94 or h?
94
Let q be 6 + -277 - 1/(-1). Let f = q + 1357/5. Do f and 2 have the same value?
False
Let l be 285/2180*(30/9)/5. Which is smaller: l or 0?
0
Suppose -30*x = 38*x - 15537 + 3093. Which is bigger: 1280/7 or x?
x
Let v = 307 - 299.16. Is v >= 5?
True
Let n(q) = 6*q**2 - 70*q - 19. Let l be n(38). Let c be l/(-497) + 10 - (1 + -3). Is c <= -1?
False
Let d = -2.86 - 154.14. Let n = d + 156.77. Is -2 greater than n?
False
Let r = 10941 - 10313. Is -3/7 less than r?
True
Let x = -0.059 - -0.109. Let b = 48.05 - x. Let q = b + -47.9. Which is greater: q or -0.2?
q
Let r be (660/(-12))/(-11) + (-1749)/349. Which is greater: 1 or r?
1
Suppose -3*o - 5*g + 160 = 0, -22*o + 16*o + 3*g = -333. Which is smaller: 445/8 or o?
o
Let u = -4525 + 95065/21. Let p = -1439 + 1439. Is u less than p?
False
Let d = 3152 - 2824. Is 325 greater than d?
False
Let c be (-240)/3690200*(-20)/12. Which is smaller: 0 or c?
0
Let o be ((-29122)/3)/(180/(-14)). Let j = 472 + 283. Let u = j - o. Which is smaller: u or 0?
u
Let x be -4*3/(-24)*2. Suppose -240*c - 3040 = -250*c. Is c equal to x?
False
Let j = 144 + -146. Let s be 1/((-2)/(-18)*j) - -6. Is s smaller than -0.39?
False
Let y = -2/1419 + -32305/235554. Are y and 0.1 equal?
False
Suppose 4*h + 35 = -5*p, 0*h - 5*h - 40 = 5*p. Let w be (2 - 7 - h) + -16. Suppose 43 = -2*s + 13. Is w bigger than s?
False
Suppose -3*p - 557 - 2413 = 0. Let t be 111/p + 3/30. Is t > -1?
True
Suppose 15*j - 252 = 3. Suppose -j*a = -15*a - o + 221, 0 = 4*a + 2*o + 422. Which is smaller: -109 or a?
-109
Let l(p) = -2*p**2 + 69*p - 308. Let t be l(29). Which is greater: 193 or t?
193
Let r = 304 - 209. Let c = r + -94. Is 2 at most c?
False
Let y = -3268 + 3205. Which is smaller: y or 1?
y
Let c(j) = -j**3 - 7*j**2 - 10*j. Let x be c(-5). Let q = -1403 - -77137/55. Is q bigger than x?
False
Suppose -5*f + 16 - 81 = 0. Suppose 126 = -p + 4*p. Let x be 11 + f + p/4. Which is smaller: x or 8?
8
Let d(j) = -j - 4. Let k be d(9). Let a = -13 - k. Let u = 3507/11350 - -5/454. Which is bigger: u or a?
u
Let r be -1 + -2 - (-99)/3. Let q be ((-3)/r)/((-12)/465). Which is smaller: 4 or q?
q
Let n(p) = 55*p + 1. Let d be n(-1). Let l = d + 58. Suppose l*q = 73 + 135. Is 52 at most as big as q?
True
Let m be 63/(-18) + 8/16. Let o be (-3)/(-9) - (-20)/(-6). Let x be (-27)/10*(-4)/o. Which is greater: m or x?
m
Let c = 8.62 - 12. Let i = -2.38 - c. Is -1/20 < i?
True
Let p = -7.5 + 7.745. Let j = p + -0.045. Let s = -0.06 - -0.15. Are s and j unequal?
True
Let n = -5 + 1. Let q be 3 + -1*904/n. Suppose -61 = -4*g - q. Is -42 bigger than g?
False
Let o = 12919.9 + -12920. Which is bigger: o or 163?
163
Let o be ((-17352)/33 - 6) + (-4)/22. Let f = -46283/87 - o. Let m = f - -511/957. Which is smaller: 1 or m?
m
Let m = -18.56 - -18.673. Do -4/5 and m have the same value?
False
Let y be (14/(-4))/(3/(-24)). Let h be (-4)/(-6)*(-514)/y. Let i = h - -35/3. Is i bigger than 2/9?
False
Let h be -6 - (6 - (-12)/12). Which is smaller: h or -35?
-35
Let g = -8666 - -8873. Which is greater: 6 or g?
g
Suppose -f = 4*f + 30. Suppose -66 = 13*l - 105. Suppose -50 = l*h - 17. Is f at most h?
False
Let q = -321408 + 321407. Let b = 296.4 + 38.6. Which is smaller: b or q?
q
Let o = -2831.9 + 2832. Which is greater: -25.4 or o?
o
Let a = -549 - -348. Let w = a - -199. Let x be (-3)/(-6) - 26/8. Do w and x have different values?
True
Suppose 58*h + 160 = 68*h. Let r(o) = -2*o**2 + 53*o - 24. Let z be r(h). Which is bigger: 313 or z?
313
Let p be 1067/(-55)*(-65)/169. Is p at least as big as 6?
True
Let q(p) = -p**3 - 13*p**2 - 22*p + 2. Let c be q(-11). Let z(x) = 5*x**2 - 9*x + 15. Let v be z(c). Which is bigger: 2 or v?
v
Let x(m) = 6*m + 1. Suppose k - 2*h = 2*h + 8, 5*h - 5 = 5*k. Let d be x(k). Let t be d/(3/1 + -4). Which is greater: 24 or t?
24
Suppose h - 3*t = 11, 19 + 3 = 5*h - 4*t. Suppose 13 = 4*g + g - f, 0 = -h*g - 3*f - 5. Suppose 4*l = -3*l + g*l. Which is smaller: -5/19 or l?
-5/19
Let f be -1*4 + (-297)/(-44). Let s(k) = -6*k + 2*k + 3*k - 4. Let j be s(-8). Is j at most f?
False
Let s(h) = 60*h - 1200. Let j be s(24). Do j and 2150/9 have different values?
True
Let h(t) = -103*t + 1715. Let f be h(100). Is -8583 bigger than f?
True
Suppose 37 + 83 = -5*t. Let w = t + 27. Let o be (6/(-63)*1)/((-1)/w). Which is greater: 12 or o?
12
Suppose 6*i - 5 = 7