ue
Let z(q) = -11*q - 141. Let x be z(-12). Is -9 less than x?
False
Suppose -71 = -5*r + s, 5*r - 2*s - 59 = 13. Suppose 0 = 5*d + 114 - r. Which is smaller: -23 or d?
-23
Let x = -10 + 11. Let u(p) = -3*p**3 - p. Let v be u(x). Let d be (-3 - v)*0*-1. Which is greater: d or 1/23?
1/23
Let l = 0.03 + -0.07. Let p = -0.96 + l. Let o be (-2)/(-7) - 264/1022. Is o < p?
False
Let n = 3187/8381800 - -2/5987. Is 0 less than or equal to n?
True
Let z(o) = 186*o**2 + 8*o - 9. Let i be z(1). Which is smaller: i or 184?
184
Let c = 0.008 - -5.862. Let g = 4.5 - -1.5. Let h = g - c. Is h greater than -1/3?
True
Suppose -3*n + 6 - 39 = 0. Suppose 0 = -7*j + 8 + 13. Suppose j*d - t = -17 - 18, -5*d - t = 61. Is d greater than n?
False
Let h be -49 - (-1 + 3 + -6). Do h and -45 have different values?
False
Let y = -22749/47 + 484. Suppose 0 = 59*s - 2 + 61. Is s greater than or equal to y?
False
Suppose -4*c - 274 = -2*c. Is -138 less than c?
True
Suppose -p - 5*i - 152 = 0, 2*p + i = p - 148. Let f = p - -149. Which is smaller: 34 or f?
f
Let n be -1 + 6/(-32)*-5. Let p be 7/(70/512) - 2/10. Let k = p + -52. Which is bigger: k or n?
n
Suppose 5*a = -k + 164, a = -k + 91 + 53. Which is smaller: k or 140?
k
Let a be (-84 + 85)*68/(-1). Which is smaller: -71 or a?
-71
Suppose 5*a = 2*r + 18, a + 2 = -r - 0*r. Are 34/21 and a unequal?
True
Let k = 396 - 398. Is -5.41 < k?
True
Let i = 24.98 + 4.02. Which is smaller: -0.1 or i?
-0.1
Let f be (-43)/9 - (-4)/(-18). Let z = f + 5. Let g be (1/(-4) + z)/(-2). Which is greater: 1 or g?
1
Suppose -51 = -5*n - 6. Suppose 4*s - y - 25 = 2*y, 3*s + y = n. Let w be -3 - -4 - (-1 + s). Which is bigger: -9/4 or w?
w
Let b be (-19)/(-72) + 140/(-36) + 4. Let x = -12 + 7. Let a = -4 - x. Which is smaller: b or a?
b
Let b(c) = c**2 + 3*c + 3. Let d be b(-3). Suppose 5*t - 55 = -d*v + v, -2*v + 2*t = -20. Do 15 and v have the same value?
True
Let r(u) = -23*u**2 - 6 - 3*u**3 + 30*u**2 + 4*u**3. Let d be r(-7). Let b be 12/10*(-3 - 2). Are d and b nonequal?
False
Suppose 7*n - 8*n + 9 = 0. Let h be (-6 - 0)*3/n. Let i = 0.5 + 0.5. Is i at least h?
True
Let u = 16 + 59. Let g = u + -34. Is g equal to 41?
True
Let b = -0.43 - -0.26. Let k = b + 0.2. Let d(r) = 2*r**2 + 56*r - 118. Let l be d(-30). Is k <= l?
True
Let f = 124.5 - 126.646. Let n = f + 0.046. Let x = -2.2 - n. Is 7/3 at least as big as x?
True
Let t = 6/701 - -1348/6309. Is 86 > t?
True
Let l(h) = -h**2 - 4*h + 15. Let y be l(-6). Suppose 0 = 3*p - y*i - 2*i - 50, 0 = 2*i + 2. Is p smaller than 17?
True
Let s(u) = -u**2 + 51*u + 249. Let g be s(-5). Is g less than or equal to -37?
False
Let q(i) = -i**3 + 8*i**2 + 9*i + 10. Let l be q(9). Suppose o = -4, 0 = 5*z - 2*o + l + 12. Is z less than or equal to 1?
True
Let j(q) = -26*q - 129. Let f be j(-6). Is 26 at least as big as f?
False
Let o = 3 + 43. Let s = 58 - o. Let h = 4 - 5. Is s less than or equal to h?
False
Let q = 1253 - 1410. Is q bigger than -154?
False
Let g be 10/(-4) - 0/1. Suppose 32 = -5*z + 3*c, -z + 16 = -3*z + 2*c. Which is bigger: z or g?
g
Let t be (2 - 0/(-1))*(-6)/12. Which is smaller: t or -60?
-60
Let n = 0.152 - -64.848. Let x = -65 + n. Which is greater: -22 or x?
x
Let u(d) = -d**3 - 7*d**2 + d + 10. Let m be u(-7). Let c be m/((-1)/(-1) + 8/(-4)). Which is smaller: -15/4 or c?
-15/4
Suppose 3*b = -3*b + 5*b. Let i = 17275/4 + -4295. Let f = 8843/372 - i. Which is bigger: b or f?
f
Suppose -2*b = -2*f + 4*f + 24, -51 = 4*f + 5*b. Let k be (0 + 1)*90/f. Which is greater: -7 or k?
-7
Let l(d) = d**2 + 5*d - 7. Let h be l(-7). Let b(m) = -m**2 + 8*m - 1. Let t be b(10). Let x be (-20)/t - 2/h. Are 2 and x nonequal?
True
Let j = -2570 - -2872. Is j at least 299?
True
Let s(y) = 2*y**2 - 5*y + 6. Suppose -14 = 3*m + 1. Let x be s(m). Let h = x + -241/3. Which is smaller: -2/3 or h?
-2/3
Suppose -2*n + 6*n = -16. Let x = 1 + n. Suppose 7*o + 7*o = -56. Which is smaller: x or o?
o
Let u be (-4)/(-12)*36/2. Suppose 2*r = u*r - 12. Suppose -r*x = -3*f - 3, -4*x + 8 = 2*f - 7*f. Is -5 at least x?
False
Let r(y) = -2*y**3 - 9*y**2 - 6*y - 7. Let m be r(-4). Is -1/74 > m?
False
Let s(y) = 4*y - 7. Let j(x) = 13*x - 20. Let z(b) = -2*j(b) + 7*s(b). Let p be z(0). Let o be (-6)/p - 28/6. Is o <= -5?
False
Let u(c) = c**3 + 21*c**2 - 70*c + 51. Let l be u(-24). Is -39 less than or equal to l?
True
Let r be 2 - 6 - (-6 + -3) - 6. Which is smaller: r or 3/64?
r
Let q = -245 - -245.246. Let l = q - 0.046. Which is smaller: l or 4/5?
l
Let r = 1.59 - 1.49. Are -87 and r equal?
False
Let d = 24 + -14. Suppose -4*r + 30 - d = 0. Which is smaller: 9 or r?
r
Let q(j) = -j**3 - 2*j**2 + j + 4. Let h be q(-2). Suppose 0 = h*l + 9 - 7. Is l at most -2/147?
True
Suppose 0 = 3*a - 7*a. Let w be a - ((-32)/4 + 3). Let l be -6*1/5*w. Is -5 < l?
False
Let g(a) = a**3 - 25*a**2 - 19*a + 40. Let p be g(26). Which is greater: p or 2?
p
Let s be 255/(-132) + (-6)/(-33). Let b be -39 + 12/8*2. Let t be 6/(-8) + 45/b. Which is smaller: s or t?
t
Let j be (-3)/(((-75)/20)/((-324)/32)). Which is bigger: j or -8?
-8
Let a = -135 + 47. Let w be (-18)/48*a/18. Suppose -4*p + z = -8 + 9, 0 = -4*p + 5*z - 21. Which is bigger: p or w?
w
Suppose 10*q + 15 = -k + 5*q, 2*q = -3*k - 6. Which is smaller: k or 1/5?
k
Suppose 2*f + 130 - 21 = -x, 3*f - 3*x + 141 = 0. Is -476/9 <= f?
True
Let t = 0.117 + -33.117. Let g = 2.3 - 2.2. Which is greater: g or t?
g
Let f(q) = -q**3 - 4*q**2 + 7*q + 6. Let y be f(-5). Let r(s) = -5 + 0*s + 0*s - s. Let h be r(y). Is h less than 3?
True
Let f(a) = -9*a**3. Let o be f(-1). Let q be ((-5)/o)/(3/9). Which is smaller: 3 or q?
q
Let k be 76 - -1 - (0 + -1). Suppose -2*u - k = -8*u. Is u less than 13?
False
Let w = -60 - 88. Let i = w + 154. Do i and -6 have the same value?
False
Let r be -11 + 17988/2247 - -3. Is r less than -1?
False
Let q = 0.282 - 0.302. Is -5 smaller than q?
True
Let o = 13031/10508 - 121/148. Which is bigger: 1 or o?
1
Let f = 13 + 28. Let a = f - 41. Let b = 0 - 0. Is b < a?
False
Let t be (-5)/(-14)*36/30. Is t at least as big as 9?
False
Let x be (-62)/(-93)*(-6)/4. Is -6/77 at most as big as x?
False
Let f be 3/3 - 1*2. Let b be (-6)/80*((-94)/(-84) + -1). Let t = b + -779/560. Are f and t equal?
False
Let z = -29 + 16. Let v be z - -14 - 7/5. Let x be -1*4 + (-4)/(-2). Which is greater: x or v?
v
Suppose -q = 53 + 28. Is q at most -80?
True
Let n = -42 + 45. Let d(j) = j**3 + 6*j**2 + 6*j + 6. Let g be d(-5). Is g < n?
True
Let x be -8 - (4 - (-5258)/55). Which is greater: x or -107?
-107
Suppose 120 - 128 = -8*m. Let z = -184 - -6444/35. Which is smaller: z or m?
z
Let y be (9 + -6)/(6/92) + 3. Which is smaller: y or -5?
-5
Let y = -14629 - -160811/11. Does y = -11?
False
Let h(g) be the second derivative of 2*g**3/3 - 13*g**2/2 + 16*g. Let s be h(6). Which is smaller: -0.1 or s?
-0.1
Let x(i) = -9*i**2 + 54*i - 73. Let u be x(4). Let y(h) = h - 5. Let f be y(-6). Let r = -18 - f. Which is bigger: u or r?
u
Let l be -2 - ((-2)/4)/(8/320). Let v be l/(-22) - (-28)/(-154). Is 2/13 < v?
False
Let q = -0.136 + -0.664. Which is smaller: 7/2 or q?
q
Let r be (-8)/30 - (-12)/18. Let m be (2/(1 + 3))/((-38)/76). Do m and r have different values?
True
Let b = -0.1783 + 0.1803. Which is greater: 7/3 or b?
7/3
Suppose -2*l = 3*l - 75. Suppose -5*h = 9*h - 182. Is l >= h?
True
Suppose -2*f - 3 - 6 = -3*y, 2*y - 6 = 4*f. Let w be 1081/940 - ((-23)/(-5) + -3). Is f smaller than w?
False
Let i be (6 + -2)*(-2)/60. Suppose 3*u - 4*n = -11, -2*u = -3*u - n + 1. Let a be (u - (-10)/6)*207/(-345). Is a less than i?
True
Let u = 9269 + -18529/2. Let v(d) = -2*d - 1. Let z be v(-3). Is u < z?
True
Let w = 16 + -17. Does 4/25 = w?
False
Let a = 0.6 - 4.7. Let u = 2.9 - a. Let n = 8.1 + -8. Is u at most as big as n?
False
Let d(x) = x - 5. Let s be d(7). Let k be 7 - ((4 - 2) + s). Suppose -k*z = -z. Which is smaller: -1/28 or z?
-1/28
Suppose -13 + 158 = -5*c. Which is greater: c or -31?
c
Let b be ((-43)/5)/((-1)/5). Suppose 0 = -5*u + 4*y + b, 2*u + 3*y = -0*u + 8. Is 7 smaller than u?
False
Let z = -59 + 99. Let y = 41 - z. Is -0.6 < y?
True
Let w = -31.5 + 31. Let c = 115/6 - 53/3. Is w at most c?
True
Let k = -0.007 + -35.993. Let b = -9670 + 9668. Is k smaller than b?
True
Let z = 1.3