3993/(-4356). Is -8/3433 equal to w?
False
Let y be (15/((-390)/(-13)))/(-1). Does y = 493?
False
Let n be (-5 - (-6 + 3))/(-2) + 2. Suppose -5*i + 3*q = -5, 0 = 2*i + q - n*q - 2. Let a = 11 - i. Which is greater: 9 or a?
a
Suppose 3*a - 139 = -v, 293 = 16*v - 14*v + 3*a. Let u = v - 226. Which is smaller: -68 or u?
u
Let g be (102/14)/(20/14). Let u(q) = -q**2 + 103*q - 2142. Let a be u(29). Which is greater: a or g?
g
Let c = 127395/32 - 3983. Which is greater: -3 or c?
c
Suppose 402 = -9*g - 12. Let w = -14 - g. Suppose 9*j - 4*j = 5*x - 180, -5*x - 3*j + 140 = 0. Which is smaller: w or x?
x
Let p be -8 - ((-4)/(-10) - 36/(-10)). Let k be (3 - (-588)/(-220))/(p/40). Which is bigger: 0 or k?
0
Suppose -31*q = -27*q. Let j = q - 2. Which is greater: 20 or j?
20
Let a(z) = -z**3 - 2*z**2 - 3*z + 1. Let p be a(-3). Suppose -p*l = -4*l. Suppose -j + 5*t + 2 = l, 2*j + 0*j + 4*t = -10. Is j <= 0?
True
Let m = 13.79 + 0.21. Let y = 14.1 - m. Let v = 0.5 - 12.5. Is y at least v?
True
Suppose -4*r - 136 = -0*r. Let b(z) = z**3 + 160*z**2 - 1502*z - 173. Let j be b(9). Which is smaller: j or r?
r
Let l(n) = -n**2 + 8*n - 9. Let v be l(4). Let p be (3/(-4))/((-5)/(-20)). Let u = p + 12. Which is greater: u or v?
u
Let j = 140 - 139.814. Let o = -0.186 + j. Do o and -84 have different values?
True
Let m = -2208.9 + 2209. Suppose -2*d + 0*d + 240 = 0. Is m greater than d?
False
Let h be (-162)/8*352/(-40) - 1/5. Is h equal to 165?
False
Let k(f) = -5*f + 6. Let n be k(-3). Let x be 3*16/(-36)*n/(-2). Which is smaller: 43/3 or x?
x
Let g be 14/(-63) + (-1275)/(-27). Let m = -47 + g. Let d = -1332/7205 - -2/655. Which is smaller: m or d?
d
Suppose -5*v = -k + 157 - 9, -4*k = -12. Let n be (-404)/(-8) + 3/2 + -2. Let s be (-1495)/n + 3/(-30). Which is smaller: s or v?
s
Let n(p) = 60*p + 3915. Let u be n(-69). Which is smaller: u or -183?
u
Let j = 211 - 211. Let w be 10*(-5 - (-434)/(-216) - -7). Which is greater: w or j?
j
Let a = -67.26 - -68. Let i = -2.019 - -0.019. Which is smaller: i or a?
i
Suppose -2 = 2*t - 8*n + 4*n, t + 3*n - 24 = 0. Let h be ((-532)/(-6))/((-3)/t). Which is bigger: h or -267?
h
Let v = 16363 + -16362. Let k be (-2)/(-5)*(-10)/(-22). Which is smaller: v or k?
k
Suppose -36*o - 80*o + 10*o = -6678. Let a = -21 - -83. Which is bigger: a or o?
o
Let p = 13802 - 14996. Which is bigger: -11 or p?
-11
Suppose -2*z + 2*o + 2 = 0, o = 5*z - 2 + 1. Let y = -657.5 - -661. Is z at most y?
True
Let o = -3242 - -3711. Is o greater than -4?
True
Let h = 37 + -15. Suppose -4*m + d = -0*d - 26, 2*d + h = 3*m. Suppose -m*w = w. Which is smaller: w or 1/10?
w
Let q be -15 + 17 + 200/(-90). Is 6.84 at most q?
False
Let x be 3*(5 - 1) + (-2)/(-2). Suppose -3*l + 161 = -x. Let j be -2 - ((-3)/3 + 4) - -65. Is j at most as big as l?
False
Suppose 3*u - 2*w = -379, -128 = 4*u - 3*u - w. Let i = 123 + u. Which is greater: 5/53 or i?
5/53
Suppose 3541 = -5*p - 8*w, -3*p - 4*w = 2*p + 3573. Is p <= -711?
True
Let p(s) = 8*s**3 - 4*s**2 - 2*s + 1. Let j be p(-1). Let r(t) = 6*t**2 + 31*t - 17. Let b be r(j). Is b greater than 190?
False
Suppose -4*m + 208 = 6*l - l, 0 = 2*l - 8. Is 328/7 at most m?
True
Suppose 15*x + 4031 = -2389. Let v = x + 427. Which is bigger: v or -12/167?
-12/167
Suppose 4*y = -r - 62, 5*r - 156 = -5*y - 451. Let s = -177 + 181. Which is smaller: s or r?
r
Let b = -1845.013 - -1845. Let w = 0.24 + -0.34. Is b greater than or equal to w?
True
Let j = 4057/11 + -365. Suppose 42 - 49 = f - 3*a, 3*a = 12. Are f and j equal?
False
Suppose 2*m = 354 - 64. Let a be 4/(-20) - (-24)/m. Let u(c) = -22*c + 462. Let n be u(21). Is n greater than a?
True
Let o = 376.73 - 295.73. Do -26.9 and o have the same value?
False
Let q = 6634/1205589 + -1/6447. Suppose 2*k - 3*s + 17 = 0, -2*k + 2*s - 7 = 5. Which is smaller: k or q?
k
Suppose -14 = -7*k - 0. Let w = k + 3. Suppose -w*h = -7*h. Which is smaller: h or 3/17?
h
Let q = 47 + 316. Let j = 362 - q. Which is bigger: -115/3 or j?
j
Let x = -151538 - -2877354/19. Which is smaller: -98 or x?
x
Let u = -7313/3 - -2422. Let g be 3/(-4) - 206/(-8). Let y = g + -40. Are y and u nonequal?
True
Let x be ((-210)/(-56))/((-6)/16). Let w be x/20*220/6*-6. Let v = w - 102. Which is greater: v or 75/8?
75/8
Let g(m) = m**3 + 17*m**2 + 12*m - 105. Suppose -136*v + 143*v + 112 = 0. Let t be g(v). Is -167/4 less than or equal to t?
True
Let m be 1/11 - 93548/(-77). Does 1217 = m?
False
Suppose 12*h = 3*h + 1899. Suppose h + 621 = 8*i. Let u = 103 - i. Is u at most as big as 2/25?
True
Let z = 9 + -5. Let r = z - 41. Let f be r/24 + (-24)/(-36). Does f = 0?
False
Let g(j) = -21*j**2 + 61*j - 318. Let t be g(9). Is -1471 less than or equal to t?
True
Let u = -12 - 0. Let b be 6/u*(0 + -2). Let q be -1 + (3/(-27))/(2/(-34)). Which is bigger: q or b?
b
Let x = 203 + -190. Suppose -7 + 59 = -x*n. Is n at least as big as -9?
True
Let c be 1 + -1 + -4 + 0. Let r be 26/(-91) + c/(-14). Let x be -2 + r + -4 + 4. Is x < -9/11?
True
Suppose -234*h = -228*h - 108. Suppose -1 = -4*i - w, -17*i + w = -h*i + 4. Which is smaller: i or 3/124?
i
Suppose 0 = -5*o + 6134 + 4006. Suppose 5*r = 17*r - o. Is 170 greater than r?
True
Let v be (40*85/(-40))/(2/(-148) - 0). Is v <= 6291?
True
Let y be ((-700)/535)/7*115/10. Is y < -3?
False
Suppose 2*v + 764 = -4*h, 1855 = -717*v + 712*v + h. Is -1853/5 at most v?
False
Let x(p) = 6*p + 4*p**3 - 2*p**3 - p**3 - 14 - 6*p - 31*p**2. Let b be x(31). Which is bigger: -8 or b?
-8
Let r be (117/156)/(2/(-16)) - 822/16. Is r at most as big as -57?
True
Let y = 2 - -21. Let l = y - -39. Suppose -q - l = -0*q. Is q >= -62?
True
Let l be (3 - 1)/(-75 + 74). Do l and -6/5 have different values?
True
Let b be (-1048938)/(-8857017) + 12/(-102). Let g = b + 3/793. Which is bigger: 1 or g?
1
Let b = -28.635 + 0.135. Let l = -28.3 - b. Let n = 5/2 + 7/10. Is n greater than l?
True
Let x be 1885/25 + ((-36)/(-45))/(-2). Is x greater than 6?
True
Suppose y = 0, y - 3*y - 22 = 2*p. Let h(j) = -j**3 - 9*j**2 + 20*j - 7. Let g be h(p). Which is smaller: 63/4 or g?
g
Suppose -f + 0*z - z + 6 = 0, -5 = 5*f - 2*z. Let m(o) = f - 4*o - 16 - 6 + 2*o. Let j be m(-10). Are j and -1 unequal?
False
Let z = 807 + -663. Let q = z - -354. Is q > 497?
True
Let f be 4 - (-110)/(-5) - 5. Let h(j) = j**3 + 25*j**2 + 45*j - 25. Let i be h(f). Let q be (-9)/(-30)*i*20/(-32). Is -1 != q?
True
Let j be (-3)/(-7)*(-95)/195*1. Let z = 2/91 - j. Is z < -0.1?
False
Suppose 2781*i = 2782*i. Is 14/437 bigger than i?
True
Let p(i) = 11*i - 16. Let g(c) = -22*c + 30. Let a(z) = -4*g(z) - 7*p(z). Let k be a(3). Suppose -30 = -k*x + 20*x. Which is greater: x or 17?
17
Let g = -2/11891 + 7217845/47564. Is g greater than 153?
False
Let o be 4/14 + (-32)/112. Let d = -3/287 + 9211/2583. Which is greater: d or o?
d
Let w = 535 - 487. Let v be -147*(-1)/(-6)*-2. Suppose -d - v = -2*d. Which is smaller: d or w?
w
Let n = -126 - 29. Let k = n + 156. Let b = -274 - -12055/44. Which is bigger: b or k?
k
Suppose -27*f + 36 = d - 23*f, -4*d = 4*f - 120. Let b be 2 + -3 + (2 - -4). Suppose -d = -m - b*n, -n - 4 = -5. Which is greater: m or 24?
24
Suppose 29*k + 30 = 9*k + 10. Let u = 192155/89 + -2159. Which is smaller: u or k?
k
Let d = 8359/164 - 141/82. Let r = 32153 + -32104. Is d < r?
False
Let w be 3*184/(-4) - 6. Let p be ((-9)/(-4))/3*2784/w. Is -16 != p?
True
Let w be (0/(-2))/(-1) - 12. Let y = 3760 + -3780. Is y not equal to w?
True
Let s = -4104 - -8855/2. Let r = -325 + s. Which is greater: -15 or r?
r
Let x = -1/10 + 57/20. Let y = 1/4 - x. Which is greater: 16 or y?
16
Let i = -354.0682 + 0.0682. Let h = -2434/7 - -348. Is h smaller than i?
False
Let b be 22/(-55) - 308/(-370). Let i = b + -28/407. Let j = -7 + 7. Is j > i?
False
Let f(z) = 6171*z - 6169. Let r be f(1). Let j be (-2)/(-8) + (-66)/104. Which is smaller: r or j?
j
Let l = 3096 + -21775/7. Is -16 >= l?
False
Suppose 5*k + 612 = -4*c - 2116, c - 2*k = -682. Let j = c - -674. Is 7 >= j?
True
Let r(x) be the third derivative of -x**4/8 + 4*x**3/3 - 2*x**2. Let h be r(-4). Suppose 0 = 6*u - 12 - 114. Is u <= h?
False
Suppose 7*s = -192 + 185. Is -2/4943 less than or equal to s?
False
Let x be ((-11)/(-88))/((-2)/(-8)). Let g = 82 - 139. Let n = g + 57. Are n and x no