
Suppose 4*y = -2*l - 6, -5*y - 16 + 4 = 4*l. Let i = -28 + 31. Suppose 5*r + 4*v = 1, -2*v - i = -2*r + 1. Which is smaller: y or r?
y
Let w = 43 + 33. Let n = w - 100. Let v be 6/4*4/(-15). Which is bigger: v or n?
v
Let x = 0 + -1. Suppose -9 = y - 5*m + 26, -5*y - 55 = -m. Let f be (-1)/y - (-1 - x). Which is smaller: f or 1?
f
Suppose 3*d - d - 28 = -s, 3*d - 42 = -5*s. Suppose 15*b - d*b = 25. Is 25 at least b?
True
Let i(y) = 6*y - 1. Let n be i(1). Let b be (8/20)/1*n. Suppose 5*u + 2*p - 20 = 0, -5*p = -24 - 1. Is b greater than u?
False
Let g = -62 - -56.4. Let s = 9 + -9.4. Let t = s + g. Which is greater: t or 0.1?
0.1
Let g be (-18)/(-27)*(-2634)/4. Which is smaller: g or -438?
g
Let h = 14.7 + -14.3. Let w = 0.15 - 0.05. Is w bigger than h?
False
Let y be ((-10)/(-15))/(5/3). Let s = 449 + -452. Is y > s?
True
Let z be -5 + -8*(-5)/10. Which is smaller: 146 or z?
z
Let c = 133 - 71. Let u = c + -110. Let d be (-1)/((-2)/u*4). Is d at least -7?
True
Let m(f) = -f - 40. Let v be m(-20). Let i be 1/(1/(-244))*5/v. Is 61 less than i?
False
Let f be 414/21 - 4/(-14). Suppose -3*z + f = -5*s + 3*s, 4*s - 3*z + 34 = 0. Suppose -2*h - 26 = -8. Are h and s nonequal?
True
Let a be (-2)/(-3)*(8 - 3). Suppose -6*j + 1 = -23. Is j >= a?
True
Suppose 0 = -2*q + 12 - 0. Suppose -2*c - q = 24. Let l be c/4*4/(-24). Which is smaller: 0 or l?
0
Suppose -3 = 3*x - 2*x. Let s be (0 - 40)/(4 - 6). Suppose -4*k = k + s. Which is greater: k or x?
x
Let n be 0*-4*(-3)/24. Suppose -3*m + 8 + 1 = n. Which is smaller: 4 or m?
m
Suppose -8*u + 119 = -2*l - 3*u, u - 159 = 3*l. Let c be (-98)/l + 1/(-2). Which is smaller: 2 or c?
c
Let p = -0.08 - 11.92. Let u = p + 12.2. Let q = 41 + -45. Is q > u?
False
Let v = 0.1 - 0.8. Let q = -3.9 - v. Let g = -1.2 - q. Is 1/7 >= g?
False
Let n = 25/9 + -8/45. Suppose -4*f + 16 = -2*y, 4*f - 4 = y + 10. Is n not equal to f?
True
Suppose -26 = -17*x - 9. Is 1/386 bigger than x?
False
Let u = 2.29 - 3.69. Which is smaller: -2/59 or u?
u
Let l = 0.2 + -0.3. Suppose 5*w - 4*w + 5 = 0. Let c be (-12)/10*w/20. Is l bigger than c?
False
Suppose -4*l - 14 = -2*q, 3*l + 3*q + 3 = l. Let z = -207.64 - -184.64. Which is smaller: l or z?
z
Let w = -687 + 41909/61. Let p = w - 67/183. Let u = 2 - 2.3. Is u smaller than p?
False
Let m = -0.083 - 36.917. Which is smaller: 5 or m?
m
Let j(y) = 2*y**2 - 20*y + 11. Let t(v) = -v - 3. Let m be t(-12). Let h be j(m). Is -10 >= h?
False
Suppose -3*p - 291 = 4*z, 0 = -0*p - p - z - 97. Let c = -11 - p. Is 85 less than c?
True
Suppose -354 = f + 3*a, -f + a = 4*f + 1802. Let z be (-2)/15 + 942/f. Is -2 at most z?
False
Let s be 8/6*3/10. Let y = 49 - 1. Let o = 47 - y. Is s > o?
True
Let p = -26 + -157. Let s be (8/12)/(2/p) + 0. Do s and -62 have the same value?
False
Suppose -11*b + 17*b - 72 = 0. Let h(r) = -2*r**2 + 28*r - 27. Let l be h(b). Which is smaller: l or 22?
l
Let v = -211 - -176. Which is smaller: v or -10?
v
Let u(a) = -30*a**3 - a**2 - 3*a + 3. Let c be 2/(-18) - 40/(-36). Let q be u(c). Is -32 less than q?
True
Let z = 14 + -24. Let r = 0.14 + -9.14. Let p = r - z. Is p smaller than 3/8?
False
Let t = -5 - -10. Suppose 2*b - t*f - 11 = 0, -b + 2*f + 3 = -f. Let s(d) = 8*d + 91. Let m be s(-9). Is b less than m?
True
Let w(j) = -2*j - 6. Let y be w(-4). Suppose -3*r + 2 = -y*r. Let h = 3/4 - 1/4. Which is smaller: r or h?
h
Suppose 5 = 3*c - 4. Suppose -c*y + 6*y - 21 = 0. Which is bigger: -3 or y?
y
Let m = 88 - 87. Is m < -1/115?
False
Let c be 24/(-7) + 105/245. Which is bigger: -7/2 or c?
c
Let i be 0 + 29 + (-2)/2. Suppose 7*g + 378 = 3*g + 3*k, g + 4*k + 104 = 0. Let u be g/i + (-3)/(-7). Is u less than -3?
False
Let i(g) be the first derivative of -9*g + 8/3*g**3 - 1/4*g**4 - 2 + 5*g**2. Let k be i(9). Is 3 less than or equal to k?
False
Let v = 420 - 417. Which is greater: 82/21 or v?
82/21
Let h(m) = 444*m + 60. Let p be h(2). Is 949 at most p?
False
Let o(p) = 19*p + 24. Let r be o(-1). Is r at most 25?
True
Let m be (-430)/225*(-34 + 1). Let l = m - 63. Which is bigger: 1 or l?
1
Let n = 628 - 630. Suppose 5*a + 7 - 2 = 0. Let s be (-4)/6*(-3)/a. Is s < n?
False
Let s = -70.4 - -64. Let z = 97 + -90. Let d = z + s. Which is bigger: d or 1?
1
Let a(t) = -7*t**2 + 1003*t - 4010. Let h be a(4). Let u(d) = -6*d**2 + 4*d + 3. Let o be u(-4). Is h less than or equal to o?
True
Let r(j) = -1 - 3*j - 2 - 2 + 1. Suppose 0 = -3*u - 5 - 4, 5*n - 4*u = 2. Let f be r(n). Which is smaller: f or 4?
f
Let l be -2 + -1 + 3 + 2. Suppose -l*p - p = -15, 2*m = -p - 61. Is -33 >= m?
True
Let p = 1516427/117 + -12961. Let w = p + 236/5499. Which is greater: -1 or w?
w
Let t(b) = 2*b**2 + 3*b - 3. Let i be t(-3). Let x be (891/66)/((-11)/(-2) - 3). Which is smaller: i or x?
x
Let v(a) = -24*a + 95. Let u be v(4). Which is greater: u or 8/397?
8/397
Let q be (6 - 10) + 8 - 4. Suppose x = 3*b - 8, 0 = -3*x + 3*b - q - 6. Let t be 5/8*-2*-4. Is x greater than or equal to t?
False
Suppose -5*v + 104 = 2*j - 102, -5*v = j - 208. Let h be ((-20)/2)/(v/(-4) + 1). Is h greater than or equal to 2?
False
Let u(n) = n**2 + 22*n + 22. Let y be u(-21). Suppose y = -3*s - 2*v - 0, 3*s = -3*v - 3. Is s smaller than 2/13?
False
Let t = -46.978 + -0.022. Which is bigger: 0.1 or t?
0.1
Let y = 266 + -220. Which is bigger: y or 47?
47
Let s(p) = 2*p**2 + 18*p + 5. Let y(n) = -n**2 - 9*n - 3. Let a(m) = -6*s(m) - 13*y(m). Let b be a(-8). Is b <= -1/27?
False
Let h(f) = f**3 - 3*f**2 - 4*f - 1. Let u be h(4). Let k be 79/(-549) + (-1)/(-9). Is k less than u?
False
Let p = -18 - -30. Let b = 17 - p. Let r be (-1)/(-2)*0 - -6. Is r > b?
True
Let n = -23 + 16. Let b(i) = -i**3 - 3*i**2 + i - 13. Let q be b(-4). Is q less than n?
False
Let c be 0*((-13)/(-3) + (-14 - -10)). Which is bigger: c or -4/83?
c
Let y be (-8352)/(-352) + (-3)/(-11). Is 26 at least as big as y?
True
Let a be 2 + 9/6*2. Suppose 6 = -c + a. Which is smaller: c or -6/13?
c
Let v(o) = -o**2 + 134. Let b be v(22). Which is bigger: -0.2 or b?
-0.2
Suppose m + 3*l - 24 = -l, -m = -l + 1. Suppose 2*c - 7 = -5*n + 4*n, n + 17 = m*c. Suppose -7*b + c*b = 0. Is 2/37 smaller than b?
False
Let f = 0.95 - 0.25. Let r = f - 3.7. Which is greater: r or -2/3?
-2/3
Suppose -4*a = -5*l - 263 + 6, -159 = -3*a - 3*l. Let t = -83 + a. Which is bigger: -28 or t?
t
Let v = 207075888 + -4012095328812/19375. Let z = v - -2/625. Which is smaller: z or 2/11?
z
Suppose -5*n - 3*b - 479 = 0, -6*n = -3*b + 548 + 7. Is n at least -1?
False
Suppose -2*j - 4 = -2*d - 2*d, -d + 8 = 3*j. Suppose -d*p = 0, p - 2 = 3*r + 4. Let x = 11/5 + r. Does -1 = x?
False
Let p = -78.3 - -124. Let o = p + -46. Which is smaller: 7 or o?
o
Let w = -9692/35 + 1386/5. Are w and 536 unequal?
True
Suppose -5*w + 3*p + 11 = 0, w = -3*w - 3*p - 2. Let b be ((-6)/12)/(2/4*w). Let j = 289 - 5779/20. Which is smaller: j or b?
b
Suppose -30 = g + 29*g. Which is smaller: g or 1/573?
g
Let z be 8/12 - 21/((-13167)/(-946)). Are -1 and z nonequal?
True
Let z = -127.4 - -153.39. Let i = -26 + z. Does i = -0.1?
False
Let h = 50 - 76. Let l = h + 25.9. Let t = -0.61 + 0.6. Is l != t?
True
Let d(j) = -j**2 - 5*j - 5. Let t be d(-6). Let u = t + 13. Let w = -27.9 + 28. Is u >= w?
True
Let o(h) = 4*h - h**2 - h**2 + 8 + 3*h**2 + 4*h. Let n be o(-7). Let i(c) = 3*c**2 - c + 1. Let k be i(1). Is n at least as big as k?
False
Let r(q) = -q**3 - 15*q**2 - 43*q + 51. Let w be r(-14). Which is bigger: w or 455?
w
Let a be 2 - (-1644)/(-147)*71. Let f = -792 - a. Suppose 0 = -5*y - 12 + 17. Which is bigger: f or y?
y
Suppose 0*i + 4*i = 3*j + 91, 2*j = 2*i - 58. Which is greater: -21 or j?
-21
Suppose 5*a - 47 - 28 = 0. Let m = a + -14. Let b be 2/4*(-2)/(-9). Is m bigger than b?
True
Let g = -4 + 2. Let n be g/(-7) - (-9)/(-7). Let h be 4 - (4 + 0) - 0. Does n = h?
False
Let n = -25 + 34. Suppose -3*w - 24 = -3*b + n, -15 = -5*w. Which is smaller: b or 9?
9
Let m = -114283/2159 + 900/17. Is m <= -1?
False
Let v = 29.7 - -7.3. Is v <= 2/15?
False
Let x = -8 - -14. Let q = 278 + -279. Is q bigger than x?
False
Let p = 78 + -65. Let l be p*(16/12 - (-2)/(-6)). Is l at least -2/3?
True
Let i = 13/1738 - -3/79. Let n(o) be the second derivative of o**3/6 - 2*o**2 - 6*o. Let j be n(3). Is j < i?
True
Let i = 0.51 +