*c + 106 = -45*c. Let p = c + -53. Is p >= 1/94?
False
Let d = 0.5 - -1.13. Are 1 and d unequal?
True
Let r be ((-103)/35 - -3)*(-3)/3. Is -4 greater than r?
False
Suppose 14 = -5*i - 2*w, -6*i + 27*w - 8 = 25*w. Let v(m) = -m - 8. Let u be v(-5). Which is smaller: u or i?
u
Let w be (-3 - -5) + (-9 - 5). Suppose 0 = -p + 2*q - q - 11, -4*p - 39 = q. Is p greater than or equal to w?
True
Let f be (-43)/(-129) - ((-2)/30 - -1). Which is bigger: f or 2?
2
Let h(n) = n**3 + 8*n**2 - 7*n + 19. Suppose -4*y - 4*r - 44 = 0, 37 = -8*y + 3*y + 4*r. Let d be h(y). Which is smaller: -1/20 or d?
-1/20
Let u be (-6)/(-39)*24/(-16). Is u less than 1?
True
Suppose 107*q + 126 = 101*q. Is q at most as big as -0.07?
True
Let j be (-3712)/(-2520) + 8/(-18). Which is smaller: j or 2?
j
Let p be (-162)/312 - 3/12. Which is bigger: -1 or p?
p
Suppose 5*z - 50 = 4*q, -5*q - 30 = -3*z - 0*q. Suppose z*f = 19*f - 6*f. Is -2/43 smaller than f?
True
Suppose -2824 + 3324 = 20*o. Suppose -4*m = -l + 6, 2*l + 11 = 3*l - 3*m. Is l != o?
True
Let w = -144.5 - -400.5. Which is bigger: w or -0.1?
w
Let g = -36551/12 + 3046. Let c be (-2)/(-5) - (-56)/10. Let i(s) = -s + 5. Let r be i(c). Are g and r unequal?
True
Suppose -106*u = -92*u - 1414. Is u less than 103?
True
Let k be (73/4)/((-24)/(-32) + -1). Which is bigger: k or -72?
-72
Let q be (-4)/(-10)*(-3)/6*18. Let h = 37 + -40. Which is smaller: q or h?
q
Suppose -5*p + 0*p = 5*g - 25, -20 = -g - 4*p. Is g less than -5/32?
False
Let t = 1352 + -1352.1. Is t greater than 408?
False
Suppose -23 - 17 = 4*w. Let c = 9 + w. Let v be ((-5)/10)/(c*1). Is v > 0?
True
Let s = -13.39 - 2.61. Let t = 65.2 + -81. Let p = s - t. Which is smaller: p or -2?
-2
Suppose 2*q + 2 = 0, -r + 65*q = 67*q + 3. Which is smaller: -4 or r?
-4
Let t be (5/10*-6)/8. Let o = -0.8 + -34.1. Let n = o + 35. Which is bigger: n or t?
n
Let i(u) = 3*u**2 + 6*u + 22. Let v be i(-6). Suppose -5*h - v = -74. Which is bigger: h or 12?
12
Let c = 1639 + -1640.077. Let z = c + 0.077. Is z at least as big as -54?
True
Let k be (-2)/31 + 59565/1178. Do k and 51 have different values?
True
Suppose -5*p = m - 0 + 8, -4*m + 3*p + 14 = 0. Suppose -12 = -2*k - 3*v, -k = -0*v + m*v - 8. Is 0.2 at least k?
True
Suppose 0*x - 44 = -4*x. Let r(o) = -o + 15. Let s be r(x). Suppose -16 = -4*p - s. Is 4 smaller than p?
False
Let g be 749/154 + 0 + -8. Which is smaller: -3 or g?
g
Let b = -1050 - -876. Is -176 > b?
False
Let y = -170.2 - -137. Let l = -100 - -67. Let h = l - y. Which is bigger: -4 or h?
h
Suppose -4*p + 9*p - j - 2 = 0, -3*p = -2*j - 4. Suppose p = -z - z + 6. Let u be (-3)/z*3/(-27). Are -3 and u equal?
False
Suppose -3*d - 156 + 18 = 0. Which is greater: -44 or d?
-44
Let s(n) = -25*n - 25. Let o be s(8). Is o < -225?
False
Suppose 5*m - 30 = -0*m. Let g be (-4 - 4/(-6))/((-14)/m). Is g equal to 0?
False
Let r = 24 - 20. Suppose 4 = 2*v - 2*h, r*v - 3*v = -5*h + 14. Suppose 5*n = -2*i + 13, -v*n = -n - 15. Which is bigger: -7 or i?
i
Let q = 215 - 360. Is -145 greater than q?
False
Let a = -9 - -29. Let c be 42*(a/(-12) + 1). Let h = c + 31. Is h bigger than 3?
False
Let a = -32.79 - -27.79. Let h = 3 + -3. Suppose h*p = -4*p - 4. Which is bigger: a or p?
p
Let d = 0.2 + 1.8. Let a = d - 0.2. Let j = -2 + a. Which is greater: j or 4?
4
Suppose 491 + 176 = -b. Are b and -666 equal?
False
Let n = -7 + 6.2. Let d = -34 - -34.81. Let x = -0.71 + d. Which is bigger: x or n?
x
Let z be 543*-13*(-10)/735. Let u = z + -96. Which is smaller: 2/3 or u?
u
Let c = -994 + 994. Which is smaller: -3.3 or c?
-3.3
Suppose 4*r + 240 = 5*o, 4*o + 4 = r + 196. Is o less than 0?
False
Let d = 6469.522 + -6448. Let g = 0.628 + d. Let l = -22 + g. Which is smaller: l or 0?
0
Let i = -143 - -140. Is i less than or equal to -167?
False
Let g = -2/259 - 187/9324. Let x = -67/180 + g. Let z be 6/(-4)*4/6. Which is greater: z or x?
x
Suppose 10 = -23*h + 10. Is h bigger than 11/14?
False
Let h = 91 + -80. Let c be (-50)/(-4) + 7/(-14). Is h >= c?
False
Let r be 0/(4 + -1)*(20 + -21). Is 1/843 >= r?
True
Let x = 6 + -4. Suppose l = -3*d - x*d, d - 26 = 5*l. Is 7 at least as big as d?
True
Suppose 46*y + y = 235. Which is smaller: 27/5 or y?
y
Let b = 23 - 22. Let v = b + 1. Let g = -4 - v. Which is greater: -2 or g?
-2
Let x(k) = 2*k**2 - 19*k - 135. Let c be x(20). Is 286 <= c?
False
Let z be -4 + 95/25 + (-639)/5. Is -126 greater than z?
True
Let y be (-3)/9 + 1652/15. Let g = -25 - 86. Let c = g + y. Which is smaller: c or -2?
-2
Let a be (1 + -4)*(-6)/(-9). Let p be (0 - a) + (3 - 6). Let i = 2 - p. Is 3 greater than i?
False
Let r(t) = -t**2 + 6*t + 20. Let n be r(9). Let w = n + 6. Which is smaller: w or -11/6?
-11/6
Let p(n) = -n**2 + 6*n + 4. Let x be p(6). Let k be 6 - -1*(-8)/x. Suppose -k*c = -3*c. Is 2/19 < c?
False
Suppose 0 = -2*r - 0 + 8. Let l be 2/r*(-13 + 87). Is l equal to 37?
True
Suppose 0 = -13*r - 3 + 172. Which is greater: 9 or r?
r
Let x(u) = u**3 - 6*u**2 + 7*u - 7. Let k be x(5). Suppose 15 = k*p - 3*v, 5*v = 3*v - 6. Let i = -2 - p. Is i smaller than -6?
False
Let l = -20 + 23. Suppose 7*m - l*m = 0. Suppose m = o + 3*o. Which is smaller: o or -3?
-3
Let o = -0.031 + 0.231. Suppose 3*g - 30 = 4*v, 4*g + 28 = -2*v - g. Let i be 22/24 + 6/v. Does i = o?
False
Let y = 4 - 7.5. Let q = 190 + -191. Let r = q - y. Is r less than 1/3?
False
Let s(k) = -k**2 - 6*k - 3. Let d be s(-5). Suppose -d*h - 2*h = 20. Let q = 1920 + -1923. Is h at least q?
False
Suppose -5*l + 14 + 11 = -5*h, -5*l - 4*h + 16 = 0. Let i(k) = k**2 + 5*k. Let f be i(-4). Let w = 3 + f. Is l != w?
True
Let v(p) = 21*p + 1 - 17*p - 4 + 2. Let x be v(0). Which is greater: 1/133 or x?
1/133
Let c(d) = d**3 + 20*d**2 + 30*d - 25. Let p be c(-18). Let q = 86 - p. Is 4 bigger than q?
True
Suppose -11*u - 2 = -35. Which is bigger: 25 or u?
25
Let j be 2/6 + (-56)/(-21). Let i(f) = -j*f**2 - f**3 - 8*f + 7*f + 3 + 0*f. Let z be i(-3). Is z smaller than 6?
False
Let p = 2.1 - -0.1. Let c = p - 2.3. Let j = c - 0. Is j at most 2?
True
Let t = -25 + 52. Let p be ((-4)/(-3))/(12/t). Is 1 at least as big as p?
False
Let x = -257.9 + 258. Which is bigger: -2/7 or x?
x
Let h be (-1 + 0)/(155/25 - 6). Let v = -12 - -11. Which is bigger: h or v?
v
Let k(n) = n - 13. Let h be k(7). Let d = -215 - -631/3. Which is smaller: d or h?
h
Let f(u) = -12*u**3 - 3*u**2 - u + 1. Let h be f(-1). Suppose 52 = -h*i - 3. Is i != -4?
True
Let m be 0/(-1 + 4 - 1). Suppose -u + 2 + 3 = m. Suppose 7 - 2 = u*d. Is -1/5 at most as big as d?
True
Let n = 114 + -122.6. Let w = n - -8.6. Is 65 less than w?
False
Suppose 3*i + 4*y - 19 = 24, 0 = 5*i - y - 41. Suppose -n = -5*c - 30, -2*c + 38 = 3*n - 4*c. Is n greater than or equal to i?
True
Let i be ((-130)/225)/(10/(-25)). Does i = -5?
False
Let x = 7778 + -7774. Suppose 2*f = -0*f. Suppose -5*t + 4*q = -15, f = 2*q - q. Is x equal to t?
False
Let d = -12 - -13. Let l be -10 - -12 - (-12 - d). Suppose -2*h - 4*t = -4*h + 8, l = -3*t. Is h greater than -6?
False
Let c be (0 + 1)/(-2 + 17/2). Which is greater: c or 0?
c
Let i = 957 + -1007. Is -458/9 equal to i?
False
Let w = 483 + -6757/14. Let k = w + 5/182. Are k and 0 non-equal?
True
Let l be ((-1)/(-139))/(21/(-42)). Which is smaller: l or 1?
l
Suppose 0 = 6*p + 16 + 20. Let v(t) = -t**2 - 6*t + 30. Let r be v(-9). Which is greater: p or r?
r
Let n = -9 + 14. Let l(t) = 2*t - n*t - 11 + 4*t + t. Let b be l(9). Is b not equal to 1?
True
Let j = 1.1 + 0.4. Let h = j - -0.5. Let m be 78/30 - 44/(-110). Is h > m?
False
Let k be 0*-1*2/(-4). Let n = -83 - -78. Is n bigger than k?
False
Let w = 0 + -0.14. Let i = -0.06 - w. Let o = 0.02 + i. Which is smaller: o or 1.2?
o
Suppose 2*v - 14 = 2*h, -4*v + 5 = 3*h - 2. Suppose -v*c - 5*r + 10 + 5 = 0, -3*r + 9 = 0. Do -2 and c have the same value?
False
Let c(i) = -2*i - 2. Let t be c(-1). Let s = 1 - t. Let w be (s/(-2))/((-24)/16). Is w at least 0?
True
Let a(z) = -5*z + 3. Let x be a(5). Let r be x/605*(-1 - 4). Suppose 4 = -2*g - 0*g. Which is greater: g or r?
r
Suppose 2 = 4*w + 2. Is 0.094 at most w?
False
Let n(p) = -2*p - 9. Suppose 2*b = -b - 15. Let j be n(b). Are 0 and j non-equal?
True
Let m = -13721/1270 + 1/254. Let f = m - -9. Is -3 > f?
False
Suppose -53*f - 19 = -72. Is