y = 11 + b. Let c be 1*(34*-1)/y. Are -17 and c non-equal?
False
Suppose -98 = -6*r + 4. Let i be 17*((-9)/(-3) + -2). Is r bigger than i?
False
Let g = -9/5 - -7/5. Let j be 3*(3 - 2)*(1 - 0). Suppose 3*s + 0 = -j. Which is smaller: s or g?
s
Suppose t - 12 = -c - 42, -2*t - 8 = 0. Let z = c + 47. Which is smaller: 22 or z?
z
Let c be (-1)/(6/(-70) + (-24)/(-84)). Are c and -39/7 equal?
False
Suppose 0 = -h + 4*j + 1, 3*j + 2*j - 3 = h. Let w = h + -12. Suppose -4*q - w*i - 22 = 0, 4 = -i + 2. Is -3 smaller than q?
False
Let d = 5.17 - -1.83. Are -0.5 and d nonequal?
True
Let j = 8287 + -11825551/1427. Which is smaller: 1 or j?
j
Let r be (-4)/24 + 21/(-18). Let b = 923.1 + -923. Does r = b?
False
Let f = -59/3 - -79/6. Let m = f + 6. Let q = 101/33 + -30/11. Is m at most as big as q?
True
Let i be 0 + (16/(-10) - 2). Let r be 5/(-2)*-4*(-6)/(-4). Suppose 0 = -6*t + r*t + 45. Which is bigger: t or i?
i
Suppose 0 = -2*s - 4 + 16. Suppose -s - 18 = -3*t. Let c = 9 - t. Is c at most -1/14?
False
Let z = -1.2 + 1.3. Let j be 252/30 + (-2)/5. Let l = 5 - j. Which is smaller: l or z?
l
Let f = 758774/53 + -14316. Which is bigger: -1 or f?
f
Let d(v) = -5*v**2. Let k be d(-1). Let c = 355 - 354. Do k and c have the same value?
False
Suppose 4*u + 11 = -25. Let f(l) = l**3 + 9*l**2 - l - 7. Let g be f(u). Suppose -4*s - 3*x = -0*s + 11, g*s + 23 = -5*x. Which is greater: s or 5/3?
5/3
Suppose -117*q = -146*q + 24099. Are q and 831 nonequal?
False
Let d(u) = u**2 + 6*u + 7. Let s be d(-6). Let q = s - 9. Let o be q/12*16/(-8). Is o at least 5?
False
Let h = 26 - 20.2. Let o = -4 + h. Is -2/5 > o?
False
Let x(p) = 3*p + 57. Let f be x(-18). Suppose f*u = -4*q + 10, -q - 2 = -4*u + 5. Let w(t) = -t**3 - t**2 + 2*t + 3. Let y be w(-2). Is y at least as big as u?
True
Let y(k) = 4*k**2 - 78*k - 14. Let j be y(21). Is j > 111?
True
Let z(k) = -87*k - 87*k - 1 - k**2 + 176*k. Let b be z(2). Is b at least -1?
True
Let w = -493/3 - -323/2. Let n = 539/186 + w. Which is smaller: 0 or n?
0
Let b = 0.25 - 0.2. Let x = 635.9 - 636. Is b greater than or equal to x?
True
Suppose 0 = -2*o + 4*o - 4. Suppose p + 4*f + 8 = 0, -5*p = o*f + 2*f + 56. Let t be p/(-16) + (-50)/88. Is -1 > t?
False
Let k be 54 + 1 + 1 + (-12 - -10). Is 59 != k?
True
Let z = 320 - 856. Is z < -535?
True
Let w be (-4)/14 + 192/(-14). Let v = -548 - -535. Which is smaller: v or w?
w
Suppose 7*u + 4 = 3*u. Let o = 1127/88 + -156/11. Are o and u nonequal?
True
Let w be 310/(-80) + (-2 - -6). Let q be ((-11)/2)/(7/232). Let c = q + 182. Is w != c?
True
Let d(w) = -6*w**3 - w**2 - w - 1. Let x be d(-1). Suppose x*j + 4 = j. Let v be ((-3)/(-4))/((-45)/16). Is v bigger than j?
True
Suppose -13*f - 165 = 69. Let o(q) = q**2 + 2*q + 8. Let c be o(6). Let h be (f/(-21))/(4/c). Is h equal to 12?
True
Suppose -5*y + 377 = -n, -7*y - 814 = 2*n - 2*y. Is n < -396?
True
Let s = 14 - 8. Suppose t = -2*t + s. Suppose 3*b = 5*b - t. Which is bigger: b or 3?
3
Let z(k) = -k**2 + 2*k + 2. Let w be z(3). Let s be (-1*(-7)/(-364))/(-2). Which is smaller: w or s?
w
Let z be (-24)/(-28) + (-2404)/28. Which is greater: z or -84?
-84
Let b = -3 - -5. Let z be -2 + -1 - (-8 - (2 - 7)). Which is bigger: z or b?
b
Let c(z) = -9*z - 110. Let y be c(-12). Are 19 and y non-equal?
True
Let b = -0.205 + 16.305. Let o = 18.44 - b. Let w = o + -0.34. Is -0.03 smaller than w?
True
Let x = -6847 + 6886. Let y be 0 + 1 + 0 + 36. Is y < x?
True
Let o = 1848 + -1831. Is -0.62 != o?
True
Let s = 35 - 174/5. Let k = -14 - -23. Let u = k + -9. Which is bigger: s or u?
s
Let d = -252 + 301. Are d and 46 non-equal?
True
Let t = 26106/31 + -842. Is 1 != t?
True
Suppose -4*o = -g - 3*g - 24, 5*o = -4*g - 24. Let u(s) = -s**3 - 3*s**2 + 6*s - 3. Let x be u(g). Let f = x - 693/10. Is -1 at most f?
True
Suppose -4*r + 164 = 648. Are -117 and r unequal?
True
Suppose -4*h - 8 = 0, -3*k + 2 = -h + 6. Let d be ((k - -2)/1)/(-1). Is -1/36 smaller than d?
True
Let p = 367 - 233. Suppose f - p = 5*q - 0*q, -3*q = -2*f + 79. Which is smaller: q or -28?
-28
Let x = -3759 + 3759. Let h be ((16/(-14))/(-2))/(-46). Is h equal to x?
False
Let o(g) = -g**2 + 18*g + 19. Let d be o(19). Let a be 2 + 2/(-1 - 1). Let p be (a/5)/((-36)/15). Is d greater than or equal to p?
True
Let x = 6 + -3. Suppose x*r - 7 = 5. Is r greater than or equal to 9?
False
Let d = -141 - -165. Is d < 0.25?
False
Let s(b) = 57*b - 740. Let x be s(13). Which is bigger: x or 4/427?
x
Suppose 0 = -2*g - 6, -s - 3 = 3*s + g. Are 7/27 and s unequal?
True
Let u be ((-54)/24)/(-9)*52/(-39). Is u at least as big as -257?
True
Let g(i) = -i**2 - 36*i + 29. Let s be g(-36). Is s <= 30?
True
Let k(c) = -c**3 - 26*c**2 + 61*c + 94. Let w be k(-28). Which is bigger: -52 or w?
w
Let w = -86429/8 + 10786. Which is smaller: -19 or w?
-19
Suppose -8*m - 57*m + 114790 = 0. Which is greater: m or 1767?
1767
Let v = 9.07 - 9. Let t = v + -0.3. Let k = t - -0.23. Which is smaller: -7 or k?
-7
Suppose 5*p - 2*m - 79 = 0, 0 = -p - 3*p - 2*m + 56. Let x be 14/p + (-38)/57. Is x > 1?
False
Suppose 563 = z - 4*x, 0 = 6*z - 8*z + 4*x + 1138. Is z greater than or equal to 575?
True
Let t be -5 - -3 - (4 - 1). Let d be (52/(-14) - t) + 5. Is d != 6?
True
Let b = -743 - -1348. Is 605 at least as big as b?
True
Let a(y) = -6*y - 20. Let l be a(-9). Suppose -3*d + r = 5*r + l, 5*r = d - 14. Which is greater: 1 or d?
1
Suppose -m - 7 = -12. Suppose -20 = 4*n, -4*f + 3*f - m*n - 25 = 0. Which is smaller: f or -0.014?
-0.014
Let k = 92589781/1943 + -47653. Which is greater: -1 or k?
k
Suppose 2*k + 3*m + 50 = 0, 9 = 5*m - 1. Let f = k - -254/9. Which is greater: f or 0?
f
Let a(b) = b**2 - 19*b + 84. Let t be a(7). Is -3/103 smaller than t?
True
Let k = 3.0263 - 0.0263. Which is greater: k or 30?
30
Let i = 21/2 + -10. Let y = -34 - -54. Is i >= y?
False
Let l = 366 + -304. Is 60 bigger than l?
False
Let u(i) = i**3 + 5*i**2 - 5*i + 6. Let y(h) = -3 - 8 - 10 + 1 + h. Let o be y(14). Let c be u(o). Which is bigger: 29 or c?
29
Suppose -9*w + 14*w - 20 = 0. Suppose t + 0*i - 5*i + 12 = 0, -t + w*i = 8. Is 7 at most t?
True
Let w = -2.9 + 19.9. Let r = 79 - 79.875. Let n = -0.125 + r. Which is smaller: w or n?
n
Let o = 1883/72 + -329/18. Are o and 8 equal?
False
Let d = -757 - -758. Which is greater: 163/7 or d?
163/7
Let r(o) = -32*o + 12. Let x be r(-10). Let g = x - 172. Let d be (g/6)/(-4) + 2. Which is smaller: d or -4?
d
Let c be 2756/(-7520) + 162/432. Let o = 1 - 2. Which is greater: o or c?
c
Let l = -1.1 - -1.1. Which is greater: 1/40 or l?
1/40
Let b be (1*(0 + -1))/(-2). Let g = -599 - -599.07. Are b and g unequal?
True
Let k(a) = -a**2 - 2*a + 9. Let d be k(3). Let p = -37 - -25. Let x = -18 - p. Is x >= d?
True
Let x(i) = 7*i**2 - 17*i + 45. Let m be x(4). Is 87 bigger than m?
False
Suppose -4*h + 5*g + 95 = -9*h, 4*h = 3*g - 41. Suppose 2*l + 2*l + 10 = 2*r, -2*r + 2 = 4*l. Let n be 13*(l + 2 - 2). Which is smaller: n or h?
h
Let m be (-12)/(-20)*(6 - 1). Suppose -m*t + 33 - 6 = 0. Suppose t*s = 8*s + 2. Is 0 less than or equal to s?
True
Suppose -472*u - 4905 = -481*u. Which is smaller: u or 546?
u
Suppose 5*k - 5 = -5*p, -3*k - 2 + 1 = -p. Suppose k = 3*c + 5*l + 33, -3*c - 28 + 1 = 3*l. Is -10 greater than or equal to c?
False
Let j(o) = 2*o**3 + 22*o**2 - 3*o**2 - 12 - o**3 - 3*o. Let t be j(-19). Let u be 134/(-10) - 27/t. Which is bigger: -15 or u?
u
Let y(n) = 3*n**3 - n**2 + 4*n + 9. Let k be y(4). Suppose 4*z = 4*q - k + 29, 2*z - q = -82. Are z and 2 equal?
False
Let z(p) = -6*p + 124. Let o be z(21). Is o equal to -3/2?
False
Suppose 14*o - 34*o = -20. Which is smaller: o or -2?
-2
Let s = 57 + -51. Suppose -s = -q - 6. Is q at most as big as -3/20?
False
Let h be ((-28)/(-70))/(0 + (-4)/(-230)). Does 21 = h?
False
Suppose -2*o = -3*n + 193, n = o + 40 + 25. Is n smaller than 57?
False
Suppose 2*a - 5*d + 9 = 0, 2*a = -4*d + d - 1. Suppose i - 6*i = 100. Let n be 64/i + 1/5. Which is bigger: n or a?
a
Let m = -3 + 3. Suppose 0 = -4*h + 16, m*h - 6 = 2*o + 4*h. Is -1/6 at most as big as o?
False
Let q = 423 - 419. Is 3.9 bigger than q?
False
Let f = 6 + -4. Let s = -104.7 + 93. Let r = -11.7 - s. Which is greater: r or f?
f
Let h = -403 - -332. Which is greater: 2/3 or h?
2/3
Let a(r) = 