 j = 34 + -28. Let l be 2*(1 - 9/j). Which is greater: -3 or l?
l
Let h be (-2)/1*(-6)/12. Let d = -3 + h. Is -8/15 smaller than d?
False
Let x be 22/(-57)*-24 + (6 - 10). Which is greater: x or 4?
x
Let y(h) = -h**3 + 12*h**2 - 11*h. Let p be (-1)/((3 - 1)*3/(-66)). Let u be y(p). Is u less than 0?
False
Let p = 38313/611 + -816/13. Which is smaller: 3 or p?
p
Suppose 3*v - 6 + 18 = 3*k, 4*k - 14 = 2*v. Suppose 3*u = -0*u + 6. Let y be (u/(-1) + -1)/1. Which is bigger: v or y?
v
Let r be (-4 - -3) + -4 + (6 - 2). Let o be (-16)/(-6)*3/2. Is o at most as big as r?
False
Let s = 178 + -94. Let o = -503/6 + s. Let p be 0/(-1) - 2/2. Which is greater: p or o?
o
Let r = 36 + -31. Suppose -3*g = r*h + 20, 25 = -5*h + g - 3*g. Is h >= -7?
True
Suppose 0 = r - f + 2, 0 = 4*f - 23 + 3. Suppose 2*k + 4*s - 20 = -2*k, -5*k + 16 = -4*s. Let v be 10/k*6/3. Is r < v?
True
Let f = -0.58 - -51.58. Let c = -42 + f. Which is bigger: 5 or c?
c
Let r = -64 + 14. Let u = 49.95 + r. Which is bigger: 2 or u?
2
Let m = -5 - -6.3. Let z = m + -2.3. Let v(u) = -u**2 - 9*u - 6. Let h be v(-9). Is h not equal to z?
True
Let x = -64.4 - -63. Let p be 0 + 3/(0 + 3). Is x greater than p?
False
Let t = -46 - -49. Suppose -t*b - 6 = i, 3*i + 3*b + 5 = -1. Are -2/31 and i nonequal?
True
Suppose 0 = 5*d + 6 - 31, -3*d = z + 223. Is z <= -237?
True
Suppose -293 = -z - f, -3*z + 369 + 475 = -4*f. Which is smaller: 1/2 or z?
1/2
Let o = 57.6 - 57.7. Which is smaller: -54 or o?
-54
Let z = -8 - -14. Let j = 4 + 84. Let o = j - 88. Is z less than o?
False
Let a = -21.79 - -22. Let f be (-20)/(-5)*76/1064. Which is greater: a or f?
f
Let f(u) = -257*u**2 - 50*u - 49. Let w be f(-1). Which is smaller: -259 or w?
-259
Let g(f) = -2*f**2 - 2*f + 12. Let b be g(-6). Let n = b - -49. Is n bigger than 1/44?
True
Let v = 25.36 - 26.2. Which is greater: -0.1 or v?
-0.1
Let n = -3 - -2.97. Let v = n - -0.09. Is v smaller than 0?
False
Let p be (-56)/60*(3 - 11 - -5). Suppose 0 = 3*s + g - 4, 2*g - 31 = -2*s + 7*g. Which is smaller: p or s?
p
Let a = -5647298/91 + 62057. Let p = 14/13 + a. Let t = -192 + 193. Which is smaller: t or p?
p
Let i be (-2)/(-12) - (-30)/(-45). Let v be (-4)/(-14) + (-12)/(-7). Suppose 0 - 2 = v*a. Which is smaller: a or i?
a
Let b(x) = -5*x - 1. Let k be b(-9). Let s = k - 30. Suppose 0 = -2*c + s. Is 8 bigger than c?
True
Let i be 120900/429 - (1 - 39/33). Is i equal to -1/2?
False
Let f = -7 + 17. Let r = f - 7. Is r equal to -1?
False
Let w = 211/7 - 237/7. Let r = 2 + -6. Is w at most r?
False
Suppose 5*h = 4*z - 17, 0*h = 2*h - 4*z + 14. Which is greater: h or -1/2?
-1/2
Let y = 2078.93 - 2079. Which is greater: -11/7 or y?
y
Suppose 0 = 2*r + 297 - 43. Let y = 131 + r. Is y less than 4?
False
Let a = -4542 - -2537. Let b = a + 26077/13. Let o = -2 - -3. Is b >= o?
False
Let b = -0.127 - -0.127. Suppose 9 = 3*d - 0*d. Let n be -1 + d/(6/14). Are n and b non-equal?
True
Let b(z) = z**2 + 14*z - 19. Let g be b(-12). Let u = g - -43. Is u <= 1?
True
Suppose d = 5*y - 466, -4*y = -7*d + 2*d - 377. Is 95 smaller than y?
False
Let v(p) = -8*p - 16. Let h be v(3). Let s be 3*(h/45 - -1). Which is bigger: s or 1.6?
1.6
Let o be (-27)/(-4) + (-1)/(-4). Let y be -20*4/(60/(-9)). Let m = 17 - y. Are m and o nonequal?
True
Let z be (-316)/395*(602/36 + -2). Which is smaller: z or -12?
-12
Suppose 34*u - 662 = -118. Which is bigger: -3 or u?
u
Let q be (-15 - -6)/((-57)/(-24) - 2). Which is bigger: -31 or q?
q
Let n = -733 - -732. Which is greater: n or -4?
n
Let f = 4.94 - -0.06. Let r = -19.23 + 19. Let x = r + 1.23. Which is smaller: f or x?
x
Let r(i) = i + 4. Let m be r(-4). Suppose -2*p = -m + 6. Let n(z) = 2*z**2 + 3*z + 2. Let g be n(p). Which is smaller: g or 12?
g
Let x = -1171 - -1224. Is -0.1 equal to x?
False
Let o = -5.51 + 12.21. Which is bigger: -3/4 or o?
o
Let o = 1.82 - 2.02. Which is smaller: o or -54?
-54
Suppose 0 = 3*k - m - 2*m - 3, m = 4*k - 19. Suppose 0 = -3*l + 6*l - k. Suppose x = 3*x - l. Which is smaller: 3/4 or x?
3/4
Let f be 3/(-2) + (-1)/(-4). Let o(u) = 3*u**2 - 9*u + 1. Let s be o(5). Let i = -31 + s. Is i less than or equal to f?
False
Let a(c) = c**3 - c**2 + 3*c + 4. Let l be a(0). Let z = 6 + -6.2. Which is greater: l or z?
l
Let d = 37 + -60. Let u = d + 23. Is 1/104 at least u?
True
Suppose 4*b + 3*f - 1 = -2, 3*b = -4*f + 1. Let c be 100/250*1/(-25). Is c < b?
False
Let t = -7.17 - -0.17. Let n = 3 + t. Let c = 2.12 + -1.92. Is c smaller than n?
False
Let z = 88 + -84. Suppose 0*w + 5*w + 121 = -k, z*w + 104 = k. Which is smaller: -26 or w?
-26
Let g = 35 - -14. Let t = -49 + g. Let a(b) = b**2 - 3. Let q be a(0). Which is smaller: t or q?
q
Suppose -5*i + v = 4*v + 55, -2*v = 3*i + 33. Let p(s) = -12*s + 64. Let j be p(5). Is j >= i?
True
Let g be 39 + -15 - (0 - -1). Is -0.4 at most as big as g?
True
Let d be ((-3)/15)/(((-12)/5860)/3). Which is smaller: d or 292?
292
Suppose -5*t + 4*d - 654 = 0, 5*d + 645 = -4*t - t. Is -129 not equal to t?
True
Let p(u) be the first derivative of u**3/3 - u**2 + 35. Let i be 1/(-4) - (-5)/4. Let z be p(i). Is -2 less than or equal to z?
True
Let s be 46 - -4*((-1)/2 + 1). Suppose -48 = -8*t + s. Is 9 not equal to t?
True
Suppose d + p = -3*p + 4, -5*d - 5*p = 40. Let k be d/9*(-3)/4. Suppose -5*j + 6 = k. Is j less than or equal to -4/9?
False
Let i(u) = -12*u - 124. Let s be i(-18). Are s and 92 unequal?
False
Let w(i) = i**3 + 3*i**2 + 3*i + 2. Let q be w(-2). Suppose q*z + 4 = z. Suppose -z*p - 8 = -8*p. Does 12/5 = p?
False
Let i = 1/270 + 173/1890. Let a = i + 13/84. Which is smaller: 6 or a?
a
Suppose 440 = -1331*x + 1339*x. Which is greater: -0.5 or x?
x
Suppose 3*o + 2*d - 161 = 0, -2*o + 5*d = -5*o + 173. Let y = 52 - o. Is y smaller than -6?
False
Let g = -0.085 + -60.915. Let c = g + 42. Let r = c + 13. Is r less than -0.2?
True
Suppose -108 = -t - b, b = -t + 2*b + 110. Suppose 0*u = -5*n - 3*u - 172, -3*n - t = -4*u. Which is smaller: -36 or n?
-36
Suppose 5*o = 14 + 6. Which is bigger: 1.8 or o?
o
Let s = 26 + 0. Let i = 14 - s. Let c = 11.4 + i. Which is smaller: c or -1/4?
c
Let q(h) = 2*h**2 + h + 2. Let d be q(0). Let x be d/((-5)/(15/6)). Let p be (10/(-25))/x*5. Are 2 and p non-equal?
False
Let a be (3 - 21/6)/((-1)/(-2)). Is -15 < a?
True
Let t = -3 - -2. Let d be (-2)/2*2 + -8. Let i be d/4 + (-6)/(-12). Which is smaller: t or i?
i
Let y(d) = d**3 + 10*d**2 - 23*d + 28. Let z be y(-12). Is z greater than 29?
False
Let u = 3 + -2.9. Let s = -8.82 - -9.52. Which is greater: s or u?
s
Let q be (-298)/4 + (2 - 0). Let l = 1025/14 + q. Suppose 0 = 4*g - 9 + 1. Which is smaller: l or g?
l
Let n = -0.9474 - 0.0526. Which is smaller: n or 4/11?
n
Let v(g) = g**2 + 6*g - 2. Let j be v(-8). Let t be (4/(-14))/((-18)/j). Let q(u) = u**3 + 13*u**2 + 6*u - 72. Let a be q(-12). Are a and t equal?
False
Suppose 5*n - 62 = 3*n. Let h = 22 - n. Let t be (-1)/2 + h/6. Are t and -3 nonequal?
True
Let y(p) be the second derivative of -p**5/20 - 4*p**4/3 + p**3/6 + 15*p**2/2 - 19*p. Let s be y(-16). Is -1/140 greater than or equal to s?
True
Let x = -1214/7 - -108088/623. Is x at least as big as 1?
False
Suppose -37 + 352 = 3*a. Is 317/3 greater than a?
True
Let c be -3*(-2 + 10/6). Suppose 6 = 2*b + b. Suppose -b*r + 3*t + 18 = r, 4*t + 10 = -3*r. Are c and r non-equal?
True
Let b = 198.96 - 193. Let u = b - 6. Let w be 36/(-30) + 1/5. Which is smaller: w or u?
w
Let y = -147 - -147. Which is smaller: y or -1/12?
-1/12
Let i = -4.38 - -15.31. Let c = -0.07 - i. Let w = c + 8. Is w greater than -4?
True
Let y be ((-4)/6)/((-2)/(-3))*260. Which is smaller: -262 or y?
-262
Let b be 15/2*(-56)/(-6). Let u be (-1 - -2) + (-4 - -7) + 0. Let w be b/40 + 1/u. Is 4 greater than w?
True
Let d be 0*(-5)/(-20)*-1. Suppose 70 + 113 = 3*f. Let u = 185/3 - f. Is u smaller than d?
False
Let l = 2058/5 - 1997/5. Is 12 != l?
True
Let t be (504/162)/(2/(-3)). Suppose 5*v = -4*b - 17, -2*v - 2*v - 26 = -3*b. Which is greater: t or v?
t
Let i be (-1)/(-2) + 45744/32. Let h be (-6)/(-33) - 315/i. Which is greater: h or 0?
0
Let u be (-236)/20 + (-3)/15. Let w = 9 + u. Let r = 0 + w. Which is bigger: -4 or r?
r
Let f(n) = n**2 + 8*n - 2. Let t be f(-6). Let l be t + 17 + (-4)/(8/30). Which is bigger: l or -