y be q(2). Which is smaller: z or y?
z
Let q = -6 - -9. Suppose -q = -f + 1. Let y(i) = -i**2 + 2*i + 6. Let s be y(3). Which is greater: f or s?
f
Let f be 2/(-24) + (-24)/36. Suppose 4*u = -2*p - 2, -2*p + 2 = u - 5. Suppose 4*q + 4 = 2*k, p*k = 10 - 0. Which is smaller: f or q?
f
Let y = -2261/3592 + 2/449. Which is smaller: y or 5/6?
y
Let u be (-10)/15 - 20/(-21). Suppose 3*g - 4*m + m = 3, 4*g + 2*m = -14. Let i be (g*2/(-4))/1. Which is smaller: i or u?
u
Let r(j) = -j**2 + 2*j + 69. Let q be r(0). Suppose 8*t = 5*t + q. Suppose -2*w + 3*w - t = 0. Which is bigger: 24 or w?
24
Let c be (-398)/(-66) + -1 + -5. Suppose 0 = -i + 5*i. Which is greater: c or i?
c
Let c be ((-12691)/(-15995) - 1) + 1/5. Is c != -1?
True
Let i(b) = 3*b**2 - 35*b - 11. Let k be i(12). Which is smaller: -2/3243 or k?
-2/3243
Let b = -73 + 33. Let o be (36/(-16))/((-3)/b). Let i = o - -32. Which is smaller: i or 0?
0
Let r = 2.04 + -0.04. Let h = -1.9 + r. Let d = 101.4 + -101. Is h less than d?
True
Let x = 11883/2 - 26914991/4530. Is x equal to 1?
False
Let j = -4.016 + 4.05. Which is smaller: j or -1/2?
-1/2
Let s = -2598/5 - -515. Which is smaller: s or -5?
-5
Suppose 3 = 2*r - 3. Suppose 0*f + r*f + 3 = 0. Let t = 79/252 - 1/36. Which is smaller: t or f?
f
Suppose 0 = -2*k - 3*z, 0 = -3*k + 5*z + 11 - 49. Suppose 72*i = 6*i - 264. Is i not equal to k?
True
Let g be 86/10 + (-18)/30. Suppose g*p = 6*p + 2. Let n be (-2)/p + (-8)/(-6). Which is greater: -1 or n?
n
Let u = 394/9 + -44. Let k be (51/34)/(2/(-20)). Let t = k - -14. Which is bigger: u or t?
u
Suppose -9*x = x - 50. Suppose -4*t + 25 = x*l, 0 = -l - t - 3*t + 5. Is 14 >= l?
True
Suppose -19 = 12*i + 53. Let w be (5 - 4) + 6/2. Let c be (2 - 18/w)*2. Is i less than or equal to c?
True
Let w(m) = m**2 - 9*m - 10. Let r be w(10). Suppose 5*h - 8 = 3*h - 2*x, 5*h - 5*x - 60 = r. Is 9 less than h?
False
Let a = -597 - -597.0701. Which is smaller: 0 or a?
0
Let y = 5.1 - 5.43. Which is greater: y or -1/9?
-1/9
Let g = 231 - 880. Is g equal to -649?
True
Suppose -8*d - 4 = -12. Let a be (-6)/(-36) + (-29)/66. Which is smaller: d or a?
a
Let p(l) be the second derivative of -l - 5/6*l**3 + 0*l**2 + 0 + 1/4*l**4 + 1/20*l**5. Let w be p(-4). Is 1 < w?
True
Let t(w) = -3*w**2 - 6*w. Let h be t(-5). Let d = 25 - h. Let f be 21/(-35) + (-178)/d. Is f greater than or equal to -4?
True
Suppose 0 = 3*d - w - 324 + 146, 5*w = -5. Suppose -q - 4*g = -2*g - 68, q - 3*g - 43 = 0. Are q and d non-equal?
True
Let o be 1110/10*(-1)/(-3). Let j = -26 + o. Let h = -17 + j. Which is smaller: h or -7?
-7
Let x(q) be the second derivative of -q**4/12 + q**3/3 + 4*q**2 - 11*q. Let o be x(4). Is o > -10/11?
True
Let q = -23 - -22. Suppose -w + 5*g = 19, 0 = -5*w + 2*g + 1 - 4. Let c be 1*w/(-57)*-9. Is q smaller than c?
True
Let v = 1/144 + 859/720. Let q = 5.2 - 5. Let a = q - 0.1. Which is smaller: a or v?
a
Let k = 5/43 - -64/559. Suppose 5*d + 3*v - 12 = 15, -4*d = 4*v - 28. Suppose -d - 1 = 4*m. Which is greater: m or k?
k
Let w = -20 - -30. Suppose 3*h = w + 11. Is h at least as big as 8?
False
Let c(q) = q**3 - 16*q**2 - 2*q - 9. Let s be c(16). Let l = -36 - s. Suppose l = 2*u - m, -m + 20 = 3*m. Which is smaller: u or 7/2?
7/2
Let r(s) = s**3 + 18*s**2 + 35*s - 69. Let v be r(-16). Which is smaller: v or -119?
-119
Let i = 1338 - 1737. Which is bigger: i or -398?
-398
Let v(m) = m**3 - 7*m**2 + 10*m. Let r be v(5). Let f(d) = -d**2 + 3*d - 5. Let p be f(4). Let x be ((-4)/6)/((-12)/p). Is x bigger than r?
False
Let j be (-1)/((1/2)/(8/(-16))). Let i be 7/(-1) - j*-3. Which is greater: -5 or i?
i
Let t be 214/396 + (4 - (-54)/(-12)). Which is smaller: t or 1?
t
Suppose -3*o + 3 = 0, 0*s - 3*s = 3*o - 39. Suppose 0 = -3*k + s, 2*l - 2*k + 3 + 1 = 0. Which is greater: -1 or l?
l
Suppose -4*a = 0, -5*j + 2*j = a. Is j > 8/25?
False
Suppose 16 = -4*q, -3*o - 2*q + q + 122 = 0. Let d be o/(-147) - (-8)/(-21). Is -3 >= d?
False
Let u be 4/(-3) - (-5797)/93. Let z = -1/85 - 83/170. Which is smaller: u or z?
z
Let d be (4/6)/(16/7). Let a = d + 1/24. Suppose 3*g - 4*g = 3. Which is smaller: a or g?
g
Let q = 3.013 + 0.187. Which is smaller: q or 3?
3
Suppose -15*l - 1046 = 1324. Which is bigger: -156 or l?
-156
Let z be -10 - (-3 + 3 + -2). Let l be 12/184*z/(-6). Which is greater: l or 5?
5
Let u = 34 - 24. Suppose 0 = -a - 20 - u. Which is smaller: -29 or a?
a
Let r = -7.87 - 0.13. Let q = 175 + -183.1. Let h = q - r. Which is smaller: 10 or h?
h
Suppose -i = -0*j - 2*j + 78, j - 42 = -i. Suppose -j = 2*d - 7*d. Let c = 731 - 721. Is c bigger than d?
True
Suppose d - 90 = -d. Suppose 2*w + d = 5*w. Let h = -2 + w. Which is bigger: h or -1?
h
Let s be 39214/(-245) - 18/(-315). Is s >= -160?
True
Let j = -7 + 12. Suppose 5*l = -4*u + 13, -3*l + 9 + 10 = 4*u. Suppose -30 = -3*d - u*d. Which is bigger: j or d?
j
Let v(z) = z**3 + 5*z**2 - 8*z - 6. Let b be v(-6). Suppose -3*l = -5*l + b. Let p(i) = i**2 - 2*i - 4. Let c be p(l). Do c and 10 have different values?
True
Let f = -317 + 315. Which is smaller: f or -8.4?
-8.4
Let i = -2834 + 4062. Which is bigger: 1229 or i?
1229
Let s = -2 - -5. Suppose 6*k = s*k + 12. Let p = k + -5. Which is smaller: 4/9 or p?
p
Suppose 10 - 2 = 4*x. Let u = x + -24. Let j = u - -10. Is -12 greater than j?
False
Suppose 0 = -3*g - 4 - 8. Let u be (11/g)/(1 + (-164)/160). Which is greater: 111 or u?
111
Suppose 0 = 12*f - 75 - 933. Let c be 1*f/41 - (-2)/(-1). Is -1 at least c?
False
Let k = -349 + 262. Which is smaller: k or -1?
k
Let r = 7 + -2. Suppose -r*w + w = 0. Let j(o) = -o**3 - o**2 - o - 5. Let n be j(w). Is -5 at least n?
True
Let s be (45/60)/((-2)/(-8)). Suppose -5*i + 0*i = 20. Let d be (-6)/i + (-10)/(-4). Which is smaller: s or d?
s
Let h be (-156)/26*(30/(-4) - 1). Suppose -2*j + 3*g = 24, 0*g - 3*g + h = -5*j. Which is greater: -2 or j?
-2
Let j(o) = -64*o**2 + 1. Let m be j(-1). Let z = 191/3 + m. Is z smaller than 2?
True
Suppose -93*a + 775 = -18755. Is 210 > a?
False
Let t(m) = m**3 - 4*m**2 + 2*m + 3. Let q be t(3). Let i = 15.478 - -0.122. Let l = i + -0.6. Which is smaller: l or q?
q
Let t(u) = u - 5. Let g be t(10). Let i be (-8)/g*1*-10. Suppose -2*q = 2*n + 3 - 7, 5*q = -3*n + i. Which is smaller: n or -1?
n
Let o be (2/6 - 4)*-213. Are 781 and o non-equal?
False
Suppose -2*t - b = -31, -33*t + 71 = -28*t - 4*b. Is t bigger than 1/3?
True
Suppose 12*y + 30 = 2*y. Let o be y/4 - 259/28. Which is bigger: o or -8?
-8
Let d = 14 + 2. Let l be (-5)/(-2*(-4)/d). Let g = -9 - l. Which is greater: 1/15 or g?
g
Suppose 8 = 11*n - 9*n + 2*f, n + 5*f = 0. Is n at least 51/13?
True
Let h = -798 - -783. Is h at least as big as -16?
True
Let g = 14 - 13.9. Is -71 at most g?
True
Suppose 2*m - 4*m - 6 = -4*n, 0 = -2*m - 5*n + 21. Let u(j) = -9*j**2 - 2*j - j**m + 14 - 6 + 3*j. Let v be u(-9). Is -1 equal to v?
True
Let d = -0.25 + 5.75. Let a = d + 0.5. Let l = -1 + a. Which is smaller: l or -1/3?
-1/3
Let y(c) = -9*c**2 + 19*c + 61. Let m be y(-5). Which is bigger: m or 0.1?
0.1
Suppose -5*n - 4*g = -g + 548, -g + 564 = -5*n. Is n at least as big as -223/2?
False
Suppose 0 = 4*w - 8*w + 72. Let g be (-4)/w + (-2)/(-9). Is g bigger than -17?
True
Let w be ((-4)/78)/((-4)/(-6)). Let m = -35 + 33. Which is smaller: m or w?
m
Suppose -3*d = 15, -21 = 2*l + 2*l + 5*d. Which is greater: l or -2/815?
l
Suppose -45 + 44 = c. Is c at most as big as 2/17?
True
Let u = 1134 - 787. Is u at least as big as -5?
True
Suppose 5 = j + n, j + 4*n - 7 - 13 = 0. Which is bigger: j or 1/81?
1/81
Suppose q + 477 = 2*o, 0 = q + 2*o - 24 + 501. Is -477 greater than q?
False
Let s(c) = -c**3 - 13*c**2 - c - 14. Let g be s(-13). Let n = -27/28925 - 7/325. Which is smaller: n or g?
g
Let t = -2.8 - -29.8. Let l = t - 27.4. Let b = 1.4 + l. Which is smaller: -2/5 or b?
-2/5
Let v be (2/(-8))/((-2)/32). Let m be (6/v)/(3/(-54)). Let a = m + 21. Are a and -8 non-equal?
True
Let g = -0.9 + 0.2. Let q = -2.3 + g. Which is greater: 6/13 or q?
6/13
Let w = -207 - -176. Is -27 != w?
True
Let s be 1/(23/(-12) + 2). Let k = -13 + 5. Let z(v) = v**2 + 6*v - 5. Let r be z(k). Which is smaller: r or s?
r
Let o be (154/66 + -1)/((-4)/(-2058)). Is -1/4 smaller than o?
True
Suppose -3*w - 2*w = -30. Let v be ((-4)/w)/(457