Let p(u) = u**2 + 5*u + 4. Let w be p(-3). Suppose 28 = -444*f + 437*f. Is f at least as big as w?
False
Let q(j) = j**2 - 2*j + 1. Let m be q(1). Let r be 4/(-4 - m)*2. Is r at least -3/5?
False
Let c = 7196 + -611649/85. Are c and 1 nonequal?
True
Suppose 4*h = h. Which is greater: h or 4/77?
4/77
Let z(n) = -8*n - 127. Let t be z(-16). Is 7/32 > t?
False
Let t = 0.0543 - -8.9457. Which is bigger: 0.18 or t?
t
Let w(o) be the second derivative of -o**5/60 + 7*o**4/24 - o**3 - 3*o**2/2 - o. Let i(p) be the first derivative of w(p). Let a be i(6). Is a <= 1/6?
True
Suppose -2*r - 2*x - 1 - 21 = 0, -2*x = 4*r + 38. Let d be ((-25)/(-90))/((-1)/r). Which is greater: 3 or d?
3
Let s be 14/(-5) + 3 - 9/(-105). Let k = 2.8 + -1.93. Let b = 0.9 - k. Which is greater: b or s?
s
Let h(l) = -l**3 + 6*l**2 - 7*l + 4. Let b be h(4). Let u be (-1)/(b/4)*0. Is -1 less than u?
True
Let y(p) be the third derivative of p**5/60 + 5*p**4/6 + 37*p**3/6 - 11*p**2. Let u be y(-16). Let l be 18/u + (-109)/3. Which is greater: -38 or l?
l
Let p be ((-13662)/5343 - 2)/10. Let s = p - 4/685. Let h be 1/2*(-12)/6. Which is smaller: s or h?
h
Let z = -1 - 51. Let g(d) = -d - 7. Let t be g(-9). Let n be (-2 - (-4)/z) + t. Which is smaller: 0 or n?
n
Suppose 0*a + 56 = -8*a. Let b = 1 + 3. Let c = b + a. Which is greater: c or -2?
-2
Let s(o) = o - 10. Let k be s(14). Let z be ((-15)/10)/(14/k). Suppose -2*x - 10 = 0, -10 = v - 5*x - 35. Which is greater: z or v?
v
Suppose 0 = 4*x - 2*n + 74, 0 = -2*x - 2*n - n - 57. Do -21 and x have different values?
False
Let m be 3 - 11976/36*6/664. Which is smaller: -1 or m?
-1
Suppose z = 4*z + 3*c + 3, 4*c = 4*z - 28. Suppose z*l + 3*o = 6, -l + 0 - 4 = 4*o. Let r = 2391/55 + -432/11. Is l at most as big as r?
True
Let t(z) = z**3 - 16*z**2 + z + 203. Let h be t(16). Is h bigger than 219?
False
Suppose 71 - 449 = -6*w. Which is smaller: w or 59?
59
Let y = -706 - -307106/435. Let d = 763/35670 + y. Let g = 62/41 - d. Is 2 < g?
False
Let l be (-4 - (-588)/154) + 1455/7942. Is -1 smaller than l?
True
Let q = 3355614/115 + -29179. Let g = -8/23 - q. Which is smaller: -1 or g?
-1
Let s(c) = 15*c - 558. Let u be s(27). Is u greater than or equal to -153?
True
Let l(f) = f**3 - 5*f**2 + 3*f - 12. Let h be l(5). Let u be (38/(-114))/((-1)/12). Is u > h?
True
Let a(p) be the second derivative of -p**5/20 + 2*p**4/3 + 3*p**3/2 + 3*p**2 - 5*p. Let b be a(9). Suppose 3*z - b = 4*z. Which is smaller: z or 1?
z
Let t(g) = 2*g**3 - 27*g**2 - 43*g - 29. Let w be t(15). Which is bigger: w or -3/29?
w
Let a be (29512/(-18))/(-7) - -4. Let g(o) = -237*o**3 - o**2 + o - 1. Let i be g(1). Let x = a + i. Is x >= -1?
True
Let d = 166 + -168. Is -23 bigger than d?
False
Let f = -57 + 41. Let k = 197 + -189. Let z be (-34)/(k/28 + 24/14). Is z <= f?
True
Let b be 4550/12 - 3/18 - 1. Let m be 111/b - (-8)/(-36). Which is smaller: m or -1?
-1
Let r = -1.67 - -4.67. Let x = -19.1 + 20. Which is bigger: r or x?
r
Let w = 73 - 43. Let x be (-7366)/w + (-10)/15. Let l = -247 - x. Which is smaller: l or -2?
-2
Let u(r) = -r + 10. Let d(k) = -2*k + 19. Let p(v) = -6*d(v) + 10*u(v). Let f be p(9). Is 5 not equal to f?
True
Let c = 0.1091 - 288.1091. Which is greater: 0 or c?
0
Let q(i) = i**2 + 1. Let j(w) = 2*w**2 + 11*w + 27. Let v(k) = j(k) - 3*q(k). Let y be v(11). Is y smaller than 24?
False
Let v = -51 - -92. Let l = 40 - v. Which is greater: 1 or l?
1
Suppose 2*a - 3*b + 8 = 3*a, -5*a + 4*b + 21 = 0. Suppose 0 = 4*y - 2*h - 0*h + 36, 5*h + 15 = -a*y. Do y and 0 have the same value?
False
Suppose 4*x + 0*x = -3*q - 60, 3*x = 0. Let k be (-2)/8 - (-5)/q. Let n = -7.6 + 8. Which is greater: k or n?
n
Let v = 7 - -29. Let x = 192 - 230. Let y = x + v. Which is smaller: 7 or y?
y
Let o = 572 - 773. Are -200 and o equal?
False
Suppose 25 = 4*j - 9*j. Let f be (1 - 2)/((-15)/j - 2). Which is smaller: -2/5 or f?
f
Let a = -72.8 + 13.8. Let t = a - -56.3. Let p = -3.7 - t. Which is smaller: p or 2?
p
Let r = -12961/48 - -270. Let c = -11/16 - r. Which is bigger: 0.02 or c?
0.02
Let c be (-1 - 6/(-8)) + 1. Let x = 1804 - 1804. Which is smaller: c or x?
x
Suppose 18*n = 23*n + 90. Let z = 24 + n. Which is greater: 14/3 or z?
z
Let r = 1.83 + -1.9. Let a = 0.61 - 0.38. Let w = a - r. Does w = 0.3?
True
Let s = -2597/4 + 649. Is 92 less than or equal to s?
False
Suppose -4*r + 3*z = -z + 40, 60 = -5*r - 5*z. Let o = 9 + r. Which is smaller: o or -21?
-21
Let p = 9 + -18. Suppose 2*a - 27 = 5*a. Let r = a - p. Which is smaller: r or 3/7?
r
Suppose 152 = 3*q + 2*i, 0 = 2*i + 2*i + 20. Suppose -21 = n - 4*d, 7*n - 2*n + q = 3*d. Let c = -1 - 0. Which is bigger: n or c?
c
Let x(v) be the first derivative of -v**2/2 - 2*v - 11. Let c be x(-7). Suppose -2*f = -4*s - 60, -2*s + 50 = -c*s + 4*f. Are -14 and s unequal?
False
Suppose -9*t - 10 = -8*t. Let d(j) = -2*j - 17. Let v be d(t). Suppose -v*g + 9*g + 6 = 0. Which is smaller: g or 2/15?
g
Suppose -6*a = -2660 + 3890. Which is smaller: -206 or a?
-206
Let t = -6.0114 - -0.0714. Let m = 0.06 - t. Let o = 8 - m. Is o >= 2/5?
True
Let c be ((-48)/28)/(8/(-28)). Let a be (c/(-9))/(1/9*6). Is 0.025 < a?
False
Let o = 65 - 30. Suppose 0 = 4*d + 20, -o - 5 = -2*t + 2*d. Is t greater than 15?
False
Let u(j) = -2*j**3 + 4*j**2 + j - 1. Let g be u(-1). Suppose -7*v = -5*v - g. Is v at least 0.02?
True
Let v be (-2)/(((-15)/6)/(-5)). Let x be (3 + -2 - 1)/(-1). Which is smaller: x or v?
v
Suppose -3*g + 3 = 4*k, -2*g - 5*k + 9 = -0*k. Let w be (9/(-6))/g*12. Suppose 3*f + 3 = w*f. Which is bigger: 11/8 or f?
11/8
Let l = -2385 - -2385. Is -18/121 at most as big as l?
True
Suppose 4*q - q = -4*g + 64, 3*q - 83 = -5*g. Let c = 99 + -81. Are c and g non-equal?
True
Let f be 112/(-56) - (-1 + -2). Is -3/10 greater than f?
False
Let n be -1 - 9 - 801/(-89). Let y = -2228 + 184922/83. Is n <= y?
True
Let o = 819 - 805. Which is bigger: -0.45 or o?
o
Let b = -292 + 4089/14. Suppose -4 = 2*y + 4*c, 2*c + 5 = 2*y - 3*c. Let d = y - -1. Which is smaller: d or b?
b
Let t = 1.3 + -1.3. Let o = 0.7 + 3.3. Which is smaller: o or t?
t
Let o = 0.412 + 1.588. Is o != -295?
True
Let h = 3 - 3.1. Let k be 98/4 + 5/10. Let o = -51/2 + k. Which is smaller: o or h?
o
Let u be ((-8)/10)/(6/20). Let n be (-6 - (-3 + 0)) + -1. Let i be -1 - (n + -4)/(-4). Is u less than or equal to i?
False
Suppose 4*a = 8*a + 160. Let z be -3 - 3/(36/a). Which is bigger: -7 or z?
z
Let g(s) = -47*s + 131. Let p be g(3). Is -2 bigger than p?
True
Let b = -1377 - -9664/7. Suppose -2*m + 13 - 3 = 0. Which is bigger: m or b?
m
Let z = -478 - -485. Are z and 7 non-equal?
False
Suppose 33*g - 247 = -49. Do g and 1 have the same value?
False
Let m be ((-15402)/4968)/1 - (-4 + 1). Let z = 1/92 - m. Is -2 bigger than z?
False
Let m = 6485256/46579 + -1810/13. Is 0 smaller than m?
True
Let l be (-18)/(-40) - (-45)/(-180). Is -0.03 at most as big as l?
True
Let x(w) = -w**2 - 18*w + 1. Let c be x(0). Let j be 4/32*2*16. Which is greater: j or c?
j
Let g be (-115)/(-1)*(1 + -2). Let l be (-8)/(-2) + (-2355)/21 + -6. Let s = l - g. Are s and 1 non-equal?
True
Let t be (-13 + 11)*(-39)/2. Let p = t - 22. Is p greater than 1?
True
Let t(i) = i**2 + 3*i - 13. Let f be t(3). Is f bigger than 5?
False
Let t be 740/(-42) - (-4)/14. Let l be 132/(-12) + -2 + -4. Are l and t nonequal?
True
Let s = -4 - -3. Let o be 10/15 - (-2)/6. Let p be (-2)/(-22)*-10 + o. Is s at most as big as p?
True
Let z = 184 - 142. Suppose 0 = -z*v + 39*v - 30. Which is bigger: v or -8?
-8
Let h(n) = -n + 13 + 1 + 7. Let c be h(23). Is c greater than -3?
True
Let d be 1195/(-4700) - 6/(-24). Which is smaller: d or 1?
d
Let a = 1196 + -1254.9. Let x = a + 59. Which is smaller: -9 or x?
-9
Suppose t + 15 = 11. Let p be (48/(-180))/(t/6). Let a be (-2)/7 + (-16)/(-28). Is a >= p?
False
Let v be 5 + ((-93)/62 - 13/2). Let k = -18 - -10. Let n be k/14*7/(-2). Which is smaller: n or v?
v
Let x = 697/6 + -110. Let y = 2587/339 + 4/113. Let n = x - y. Are n and -3 nonequal?
True
Let n = 18 + -21. Let y be n - 1 - (-7)/1. Let w be ((-24)/18)/((-10)/y). Are 0 and w nonequal?
True
Let c = -0.049 - 0.171. Let g = c + 0.12. Is 18 > g?
True
Let p = 0.513 - 0.333. Which is greater: p or 3/4?
3/4
Let v = -1266 + 2088. Is 821 less