4*j - 20, -j = 2*u + 5. Let r be ((-1)/(-2))/((-25)/95 + u). Which is smaller: r or -2?
-2
Let d = 0.0818 - -8.2082. Is -0.1 smaller than d?
True
Suppose -12*v + 2584 = -116. Which is smaller: 227 or v?
v
Let i be 0 - (12/(-5) - -1). Let l(r) = -r**2 - 10*r - 22. Let x be l(-6). Suppose -4*d + 5*t = 17, 3*d + x*t + 0*t - 16 = 0. Is d smaller than i?
False
Let n = -429 + 1741/4. Let w be 12/(-11)*638/(-116). Which is smaller: w or n?
w
Let v(g) = -5*g - 42. Let f be v(-4). Let w(c) = 7*c + 0 + 2 - 5 - c**2 + 0. Let t be w(9). Which is bigger: f or t?
t
Let h be (-5)/(-1)*28/35. Let z(s) = 0*s + 0 - 2*s + 3 - h. Let d be z(-1). Which is greater: 1/10 or d?
d
Let y = -774 - -147. Which is greater: y or -625?
-625
Let s = 29 - 23. Let a be (s + 1)*12/12. Is a bigger than 10?
False
Suppose -3*h - 33 = 5*j, -2*h + 2*j - 18 = 4*j. Let f = 7 - 14. Let k = f - h. Is -1/2 at most k?
False
Let g = -0.139 - 0.161. Which is smaller: g or -3/17?
g
Let t = 1.124 + -1.124. Does t = -2?
False
Let m be 3 - (-20)/(-8)*(-19548)/(-106). Let z = m - -458. Which is smaller: 0 or z?
z
Let d(q) = -q**3 + 13*q**2 + 7*q - 3. Let v(j) = j**3 - 12*j**2 - 7*j + 3. Let a(l) = 6*d(l) + 7*v(l). Let u be a(7). Suppose -u*f = -0*f - 18. Is 6 >= f?
True
Suppose 4*o = -5*c - 20, -4*c - 2 - 3 = o. Let l = 1 - c. Let m = 4/19 - 54/437. Which is smaller: m or l?
m
Suppose 11*g - 4 = 16*g - f, -2*g = 4*f - 16. Let j be 68/18 - (-4)/18. Suppose -2*m + 10 = t + 27, -3*m - 43 = j*t. Which is greater: g or t?
g
Let q(p) = 164*p**2 - 3*p + 0*p**3 - 165*p**2 + 3*p**3 - 1. Let h be q(-1). Is h greater than -30/13?
True
Let p be (1/(-5))/(4 - 21/5). Which is greater: p or 0?
p
Suppose 30 = 4*x - 50. Let l be -3 + 45/x + 1. Let h = -5.8 + 6. Which is greater: h or l?
l
Let x = -1.6 + -8.56. Let u = x + 0.16. Let j = u + 12. Which is smaller: j or -0.2?
-0.2
Suppose -3*c + 1 = -5. Suppose 0 = -2*f - 3*o, -4*o + o = 6. Which is greater: f or c?
f
Let h(j) = 19*j - 298. Let n be h(3). Is n < -244?
False
Suppose 155 = 5*i - 5*n, 0*i = -3*i + 5*n + 93. Let t = 272 + -316. Let g = i + t. Is g at most -11?
True
Let p be (3 + -4)/(0 + -1). Let w = -24.59 + -0.41. Which is smaller: w or p?
w
Let p = 1.1 + 4.9. Let t = -72.6 + 67.6. Does p = t?
False
Let a(n) = 18*n + 121. Let j be a(-5). Is j equal to 185/6?
False
Suppose 0*z + z - 138 = -3*x, -3*z + 2*x = -381. Is z less than or equal to 126?
False
Let c(o) = -2*o - 13. Let f be c(-14). Let l be 92/f + (-4)/30. Let v(b) = -b**2 + 5*b + 4. Let y be v(l). Which is greater: -2/3 or y?
-2/3
Let z(c) be the second derivative of -c**4/12 + c**3/3 - 5*c**2/2 + 12*c. Suppose 16*f - 19*f = -6. Let y be z(f). Is -5 greater than y?
False
Let w be 1/5 + 1515/(-75). Let k be ((-1)/(-5))/((-18)/w). Suppose -2*i = -0*i. Which is smaller: k or i?
i
Let m be 11/25*(-1)/(-8). Let h = -8/25 - m. Let s be 3/(-21) - 12/14. Is h > s?
True
Let x = 433/6210 + -2/27. Which is smaller: 1 or x?
x
Let w be ((-4)/(-30)*5)/(4/6). Let p be (1 - 1) + (-2)/(-29). Which is greater: w or p?
w
Suppose 4*w - 555 = w. Let y = w - 98. Suppose -4*l - y = -35. Is -13 greater than or equal to l?
True
Let r be (228/(-24) + 9)*2. Is -1/3225 equal to r?
False
Suppose -13 = -5*z + 2. Let g be z/4 - 815/(-28). Let f = 30 - g. Which is smaller: f or 1?
f
Let a be (-6)/33*34 - 14/(-77). Let d be (-8)/20 + a/10 + 1. Let n be 15/2*(-8)/(-10). Is d smaller than n?
True
Let s be (1 - 3) + -20 + 1. Let i = -24 - s. Which is smaller: -1 or i?
i
Suppose 18*p = 16*p - 4*c - 68, -3*c - 205 = 5*p. Which is smaller: -4 or p?
p
Suppose -6*g = -8*g + 6. Suppose -p = 4*y + g*p + 88, 0 = y - p + 26. Let m be (-6)/(-8) - 246/y. Is m equal to 10?
False
Let h(x) = x**2 + 14*x + 1. Suppose -5*l = -6*l - 14. Let v be h(l). Are 1 and v equal?
True
Let g be ((-60)/36)/(17/(-6)). Let f = g - 47/51. Are -46 and f unequal?
True
Let a be (-4)/14 - 185/(-35). Suppose 5*w - 2*w = 9. Suppose 4*m + w = -a. Is m > -0.1?
False
Let h be -1 + 6 + 8/(-2). Let v be -3 + 72/15 - 0. Is h greater than or equal to v?
False
Suppose -2*h + 108 = -5*h. Let x = h + 20. Let b be (-2)/x - 0/1. Which is smaller: b or -1?
-1
Let j = 142.4 - 139.5. Which is smaller: j or -46?
-46
Suppose 23*v - 255 = -2072. Is v greater than -81?
True
Let j = -4043/2 + 1953. Is -70 equal to j?
False
Let b be 32/416*(-26)/(-2). Let s = 2/47 - 112/423. Is b at most as big as s?
False
Suppose 3*w = -1 + 10. Suppose -3*c - 12 - w = 3*m, -c - 7 = 3*m. Is m less than or equal to 4?
True
Let m(r) = -r**2 - 12*r - 13. Let y be m(-11). Let s be (-1673)/(-9780) + y/8. Let q = -2/163 - s. Is 1 equal to q?
False
Let u be (1 + -2)/((-1)/(-3)). Let s be u + 5/(-4)*18/(-10). Is -2/3 greater than or equal to s?
True
Let o = 460 + -543. Is o greater than or equal to 6?
False
Let w(d) = -2*d + 9. Let h be w(3). Let u be (-5)/(-4) - (h - 1). Which is greater: -2 or u?
u
Suppose 2*a = -2*a. Suppose a = -5*m - 4 + 19. Suppose -o - 5*y - 2 = 0, 3*y + 3 = 2*o + 6*y. Is o less than or equal to m?
True
Let t(g) = -40*g + 1398. Let u be t(35). Let f = 7/4 - 27/20. Are f and u non-equal?
True
Let s = -10633 - -53331/5. Let z = s - 33. Is z < -20?
False
Let w(d) = -d**2 + 5. Let p be w(-5). Let n(u) = u**2 - 6*u - 15. Let a be n(13). Suppose 6*m + a = 2*m. Which is greater: p or m?
m
Let o be (4 - 6) + -1 + 4. Is -3/194 <= o?
True
Let l(q) = q**2 + 15*q + 10. Let a be l(-14). Let b be (62/a)/((6 - 2)/4). Are -16 and b non-equal?
True
Let j = 1.7 - -2.3. Let t = -5 + j. Are t and 0.01 nonequal?
True
Let b be ((-6)/(-9))/((-3)/180). Let u be ((-42)/35)/(6/b). Let l be (3/(-2))/(30/u). Is -1 > l?
False
Let q(p) = -p**2 + 5*p - 8. Let j be q(6). Let g be 7/j - 6/(-4). Let x = g + 1. Is 4 at least x?
True
Suppose 53*d + 33*d - 258 = 0. Which is smaller: 14.1 or d?
d
Let v = 0.116 - 0.016. Do -231 and v have the same value?
False
Suppose -5*t + 1 = -19. Suppose -10 = 3*w + t*d + 17, 5*w - 4*d = -77. Let k = w - -15. Which is smaller: 3 or k?
k
Let s be 2*((-12)/1 + 3). Let m = -17 - s. Is 2/55 at least as big as m?
False
Let g = 1 - 2. Suppose -4*c + 45 = 5*c. Which is smaller: c or g?
g
Let q = 534 - 533. Let x(f) = -f**3 + 2*f**2 + 2*f + 2. Let m be x(3). Is m at least q?
False
Suppose -4*r + 54 = 10. Let y = 22 - r. Let q(m) = m**2 - 11*m - 1. Let z be q(y). Is -1/8 > z?
True
Let k be (-20)/(-9) - 6/27. Suppose -k*x - 3*m + 11 = -1, -4 = x - m. Suppose 5*t - 5*u + 15 = 0, 0*t - 5*u = 3*t - 7. Is t smaller than x?
True
Let p be (-14)/(-2)*8/28. Suppose -5*t + 110 = 5*h, t + 3 = -p. Let s be h/15*(-3)/(-36). Are s and -1 non-equal?
True
Let y = -3357/7 + 481. Which is bigger: -3 or y?
y
Let o(t) = -t**3 - 2*t**2 - 2*t - 605. Let v be o(0). Which is smaller: 0 or v?
v
Let q = 0.844 + -0.544. Is q greater than or equal to 5/34?
True
Let z(v) = v**3 + 19*v**2 + 8*v + 98. Let k be z(-19). Is -48 >= k?
True
Suppose -5*j - 1 - 4 = 3*u, 0 = 3*j - 2*u + 3. Let y = 34 - 31. Suppose 11 = -2*z + y. Which is bigger: j or z?
j
Let l = -39 - -31. Suppose 0 = 4*s + 4*u - 52, -3*s - 2*u - 3*u + 49 = 0. Let f = -15 + s. Which is greater: l or f?
f
Suppose 20 = -0*z - 5*z. Let w(a) = -3*a - 12 + 4 + 1 + 3 + 2*a. Let d be w(z). Is -3 smaller than d?
True
Let c be ((-30)/15)/((-4)/22). Let h(q) = -q + 12. Let r be h(0). Does c = r?
False
Let k = -158/3 - -9325/177. Suppose 0 = -2*j + 3*f - 7, 0*f + 2*f - 2 = 4*j. Is j > k?
True
Let o = -8296 + 1667482/201. Which is greater: o or 1?
1
Let r be 1*0*(-3)/(-9). Suppose 0 = -4*s - 4*n - 24, -s = 3*n + n. Let p be (1/19)/((-4)/s). Is p < r?
False
Let w(l) = 2*l**2 - l - 1. Let d be w(-1). Suppose -d*q - q = 0. Suppose q = -0*u - 4*u + 4. Is 1/2 != u?
True
Let i = 256 - 264. Let s = -0.5 - -0.7. Which is bigger: s or i?
s
Let b be (1/5)/(8 - (-3174)/(-396)). Which is bigger: b or -12?
-12
Suppose t - 2 = 3*t. Let r = 34 - 31. Let c be (-3)/(-6)*(r + t). Which is bigger: c or -1/7?
c
Let v = 98 - 135. Is v smaller than -0.4?
True
Let w(x) = x**3 + 14*x**2 + 33*x - 27. Let o be w(-10). Which is smaller: o or 37?
37
Let p = 19 + -11. Suppose -k + p = -7. Suppose u = 4*u - k. Are u and 7 non-equal?
True
Suppose 55 = 5*l - 5*z, -4*z = -4*l - 7*z + 65. Let r = 24 - 13. Let f = l - r. Is f bigger than 3?
False
Let j = -10 - 8. Let s = -187.2 - -205. Let v = j + s. Are -0.1 