x be (-35)/(-110) + 2/11. Let n = -583/20 + 115/4. Is n != x?
True
Let r be (-2)/3 + (-2)/(-3). Suppose -y = -5*g - 35, 0 = 3*y - 4*y - 3*g + 11. Let j be (-16)/y*15/(-9). Which is greater: j or r?
j
Let q(n) = n**2 - 19*n - 71. Let s be q(17). Which is smaller: s or -103?
s
Let u be ((-12)/10)/((-3829)/(-175)*10). Is u > 0?
False
Let c = -48 + 49. Which is greater: 0.142 or c?
c
Let i = 7.4 + -121.4. Let j = i + 117. Which is bigger: 0.1 or j?
j
Let t(x) = 2*x - 16. Let p be t(10). Suppose -n + p = -3*n. Is 2 less than n?
False
Suppose g - 4*h - 20 = 0, -4*g + 4*h - 9 = -29. Suppose g = z, 0*c + 3*c + 4*z = 0. Let m = -151 - -2719/18. Are c and m nonequal?
True
Let y(j) = -15*j - 148. Let m be y(-10). Are 104/41 and m unequal?
True
Let k(y) = y**3 + 6*y**2 - 3*y + 9. Let d be k(-7). Let q = 20 + d. Let b be 4/12*(-2 - q). Which is smaller: 0.1 or b?
b
Let k = 21 + -14. Let u(n) = -n**3 + 8*n**2 - 7*n - 10. Let q be u(k). Let b be 4/q - 69/(-60). Is b greater than or equal to -1/3?
True
Suppose 2*m + 2*m = -j - 21, -20 = -5*j + 5*m. Suppose 7 = 3*p + 4. Let x(z) = -2*z + 3. Let c be x(p). Is j at most c?
True
Let s be (-9)/3 - 6*-4. Let j be (7/s)/((-1)/(-5)). Let x(r) = r**3 + 5*r**2 + 2. Let c be x(-5). Which is smaller: j or c?
j
Let u be -8 - -7 - (-5 - -2). Suppose 4*y + n - 16 = 0, 4*n - n = -u*y + 18. Is y at most as big as -2?
False
Let m = -703 - -711. Is -28 < m?
True
Let t = -46106/31 + 1487. Which is greater: -1 or t?
t
Let p = 548.3 + -549. Is p smaller than 4/5?
True
Suppose 20*g - 25*g + k + 1385 = 0, -5 = -k. Which is greater: g or 280?
280
Let z be (-862)/3*(8 + (-117)/18). Is -432 > z?
False
Suppose -8*k + 679 = -137. Suppose 0 = -31*c + 29*c - k. Is c at most -101/2?
True
Let s = -2 + 2. Let n = 481/3 - 160. Let o = s - n. Which is smaller: o or -1?
-1
Let k(a) = -34*a - 291. Let n be k(-11). Which is smaller: n or 82?
82
Let k = -0.04 + -0.36. Let y be 2 - 3 - (-8)/9. Let l = y + 13/36. Do k and l have different values?
True
Let t = 624 - 1181. Is t greater than -557?
False
Suppose 0 = -25*o + 28*o - 87. Is o smaller than 34?
True
Suppose -h + 35 = -2*o + 4*h, 3*o - 5*h + 65 = 0. Let a be 6/5*o/(-9). Let u = 334 + -331. Which is smaller: a or u?
u
Suppose 11*o + 224 = -1371. Is o equal to -147?
False
Let b = -2676238/1875 + 4282/3. Is 0 >= b?
False
Suppose 0 = -r + 6*r - 100. Suppose r = -4*q, 2*p - 3*q + 2*q + 1 = 0. Which is bigger: 4 or p?
4
Let f(b) = 2*b**2 - 6. Let x be f(2). Let i = 9 - 4. Suppose i*d + 2 + 23 = 5*y, 0 = -3*y + 5*d + 19. Which is smaller: y or x?
x
Let q(x) = x**3 + 8*x**2 - 10*x - 19. Let i be q(-9). Let p be ((-24)/15)/4 - (-6)/i. Which is smaller: p or 2/7?
p
Let g be (-40)/(-66)*(6/4 + 3). Do g and 3 have the same value?
False
Let c = -19.1 + 19. Let p = c + -0.03. Let u = -0.13 - p. Is u less than -3/19?
False
Let w = 2609 - 10321/4. Let o be 2/6*3*23. Let r = w - o. Is r less than or equal to 7?
True
Let p(i) = i**2 + 12*i + 1. Let r be p(-12). Let o be -3 - -17*(-1)/(-6). Which is smaller: o or r?
o
Suppose 4*z = 2*z + 22. Suppose -4*n = -n + 9, 3*s + n = 24. Suppose 2 = z*a - s*a. Which is bigger: 6/7 or a?
a
Let f(q) = -3*q**3 + q**2 + q - 1. Let p(z) = z**2 + 11*z + 4. Let j be p(-11). Suppose -w + j = 3. Let y be f(w). Which is bigger: y or -6/5?
-6/5
Let f = -33/109 - -2787/2725. Suppose -5*b + 3 = -2. Is f > b?
False
Let g(y) = -2*y**3 + 4*y**2 + 6*y**3 + 0*y**3 - 5*y**3 - 4*y + 3. Let b be g(3). Which is bigger: b or -2?
b
Let c = -0.04 + -3.96. Let n = 0.5591 + -0.8591. Is n greater than c?
True
Let q(j) = -j**3 - 6*j**2 - 8*j. Let z be q(-4). Suppose 5*p - 91 = 2*y, z = -4*y + 3*p - 220 + 73. Is y bigger than -32?
False
Let b(r) = -r**2 + 13*r - 16. Let w be b(11). Suppose 3*a + z = -6, 2 = -4*a - 4*z - w. Let c(d) = -d**3 + 4*d + 1. Let t be c(a). Which is smaller: 3/16 or t?
3/16
Let y = 24/13 + -98/39. Do 0.03 and y have different values?
True
Let q = 0.31 + -0.34. Let z be (2/284)/((-16)/96). Let w = z - 121/497. Is w at most q?
True
Let w be (11/(-33) - 0)/(4/(-3)). Is -232 at most w?
True
Suppose -2*m = -12*z + 9*z - 2, m = -2*z + 8. Let c be 48/130 - (-6)/15. Which is smaller: z or c?
c
Suppose -5*y - 1 - 4 = 0. Let p = 159 + -160. Is p smaller than y?
False
Suppose 34 = 5*v - 4*p - 0, p = -1. Let r(i) = -i**2 + 4*i + 8. Let a be r(v). Do a and 1 have different values?
True
Suppose 2340 = -3*q - q. Let a = 27460678/46491 + 2/15497. Let f = q + a. Which is bigger: 7 or f?
7
Let r(q) = -93*q - 1117. Let i be r(-12). Is i at most as big as -16/147?
True
Let b = -7 + 15. Let f(d) = d + 15. Let x be f(-7). Suppose -3*u = x*w - 4*w - 40, -32 = -2*u - 4*w. Is u less than or equal to b?
True
Suppose -2*s = 2*a - 2, 2*s + 10 = 5*a - a. Which is smaller: -12/77 or s?
s
Let z = -36 - -45. Suppose -3*c = 3*w - 9 - 18, 5*c + z = 4*w. Which is smaller: 2 or w?
2
Let k(r) = -r + 10. Let m be k(9). Let l = -120.6 + 121.183. Let d = 0.017 + l. Is m <= d?
False
Let f be 47840/7976 - 2 - 4. Which is smaller: 1 or f?
f
Let f be ((-84455)/(-45))/(-19) + 2/(-9). Are f and -98 nonequal?
True
Let c be (-5)/(-10)*1*(1 - -11). Let a be (8/(-3))/((-2)/18). Let z = a - 16. Which is smaller: z or c?
c
Suppose 2*m = -202 + 200. Which is smaller: m or -2/359?
m
Suppose q - 3*k - 6 = 2*q, 4*q - 2*k = 18. Suppose q = -12*f - 9. Is f at most -1/7?
True
Let u be 2167/99*6*(-3)/6. Is -66 smaller than u?
True
Let j be 63/(-91) - (-2 - -1). Let i(o) = o**3 + 29*o**2 + 26*o - 55. Let a be i(-28). Are j and a non-equal?
True
Let d = 90 + -50. Let g = d - 29. Is g at most 2?
False
Let i = 1618/187 - 90/11. Let z = 105 - 106. Is z > i?
False
Let r be (-4)/(-110)*20/(-16). Suppose -13 = -20*i + 7. Which is smaller: i or r?
r
Let a be -3 + (-282)/(-22) - (-16)/88. Which is bigger: a or 24?
24
Suppose -65*o + 66*o + 49 = -5*c, -2*o + 12 = 0. Let g be 1/1 - (-18)/(-2). Which is greater: g or c?
g
Suppose 64 = 4*q + 4*p, -2*p - 6 = -4*p. Suppose -1 = 3*v - q. Suppose 5*s - 3*z + 15 = 0, -s - s = v*z - 20. Do 0 and s have the same value?
True
Let x = 187.8 + -188. Is -107 < x?
True
Let p = 0.4 + -0.434. Let q = p - 2.966. Which is smaller: 0.04 or q?
q
Let i = 808 - -1008. Suppose 4*b + 0*b + i = 0. Let z = 1803/4 + b. Which is smaller: z or -2?
z
Suppose 9 = -3*j, -2*r + 2*j - 3*j = 19. Suppose 2*v + 9 - 1 = 0. Let p = -3 + v. Is r >= p?
False
Let l = 0.047 + -2.007. Let z = l + 0.66. Which is smaller: z or -2?
-2
Suppose 2*p + 4*n = -20, p - 3*n + n = -10. Let o = 9 + p. Let r = -33/2 + 16. Which is smaller: o or r?
o
Let v be 4*(-1 + 5)/2. Let k(c) = c - 11. Let x be k(v). Let q be -3 - (6 + -1*49/7). Are x and q unequal?
True
Let p = 141 + -136. Suppose -2*o + o - p*o = 0. Which is smaller: o or 6/115?
o
Let q be (-920)/(-21) - (-2)/(-14). Let g = 43 - q. Which is smaller: g or 16?
g
Let n(q) = q**3 - 7*q**2 + 2*q + 8. Let o be n(6). Let d be (20/o - -1)*-1. Which is greater: d or 28?
28
Let f be (-77)/(-66) - (-73)/(-78). Which is smaller: 11 or f?
f
Suppose -78 = -3*x + 3*l, 5*x = l + 2*l + 138. Suppose 74 = 12*g - 274. Let t = g - x. Are 4/13 and t unequal?
True
Let i = -15.1 - -15.5. Does 6 = i?
False
Let r = 44 + -15. Let y = 12 + r. Which is smaller: y or -1/3?
-1/3
Let r = 1149 + -1155. Which is greater: -34/5 or r?
r
Let l be (-4)/51 - (-68)/578. Suppose -4*c + 8 = -5*g, -4*g - 3*c + 1 = -5. Is l < g?
False
Suppose 68 = 354*r - 352*r. Are 53 and r non-equal?
True
Let n be -1 + (-1 - 2) - 0. Let a(u) = 2*u**2 - 2*u + 1. Let y be a(2). Suppose -w + 25 = -y*d + 2*w, -d - 4*w = 5. Which is greater: n or d?
n
Suppose 0 = -3*k + 7 + 44. Let o be (-2)/6 + k/24. Let a = 4169 - 4169. Which is bigger: a or o?
o
Suppose -m - 9 = -6*m + 2*r, 0 = m + 5*r + 9. Let b be ((-12)/24)/(m/4). Which is bigger: b or -2/3?
-2/3
Let l be (-2271)/(-84) - 10/35. Let r = -27 + l. Which is smaller: -1 or r?
-1
Suppose 11*z - 6*z - 400 = 0. Let r be (18/(-4))/((-1)/z). Let o be 1/4 - 50/r. Which is greater: 1 or o?
1
Let v be (28/(-539))/(506/(-77)). Is 0 greater than v?
False
Let p = 86039/23 + -3743. Is p >= -2/3?
False
Let z = 325 - 334. Which is smaller: z or -11?
-11
Suppose 0 = -15*u - 5*u + 420. Are 5 and u equal?
False
Let v(c) = -c**2 - 4*c + 4. Suppose -13 = 5*s + 12. Let d be v(s). Let p be (1*0/d)/2. Which is greater: 2/33 o