 be l(-6). Let s be p(q). Which is bigger: 20 or s?
20
Let x be ((-305)/115 - -2)/(-1). Let p(q) = q + 17. Let n be p(-17). Which is bigger: x or n?
x
Let t = 864 - 863. Which is smaller: t or 3/313?
3/313
Suppose 3*v = -5*a - 38, 46*v - 3*a - 30 = 49*v. Is v greater than -31/6?
False
Let o(l) = l**3 + 12*l**2 + 19*l - 2. Let x be o(-13). Let r = x + 10448/25. Which is greater: -1 or r?
r
Let i = -41.3 - -38. Let w = 2.3 + i. Is w equal to -2?
False
Suppose -3*p - 25 = -3*b + 32, 96 = -5*p + 4*b. Let a(z) = -4*z + 2. Let k be a(6). Which is smaller: p or k?
k
Let v = 266 + -239. Is 25 less than v?
True
Let l = 1 - -9. Let g be (l/(-4))/((-1)/2). Suppose -12 = -g*r + 3*x, r + 5*x = 11 - 31. Is 1/2 equal to r?
False
Suppose 7*h = 2*h. Suppose h = -0*i - 3*i. Let c be (-2)/(-1) + (-8)/3. Which is bigger: i or c?
i
Let x(m) = 2*m**2 + 5*m - 8. Let c be x(-6). Let u = c - 33. Which is bigger: u or -0.19?
u
Suppose -43*h = 2*a - 46*h - 4, -3 = 5*a - h. Which is bigger: a or -2/55?
-2/55
Let u = -343 + 393. Which is greater: 56 or u?
56
Let w(q) = -3*q**2 + q + 4. Let n be w(-3). Let y = 26 + n. Which is greater: y or -3/11?
y
Let t = -2859 + 2861. Is 43/24 smaller than t?
True
Suppose -4*z - z - 129 = j, -5*z + 4*j - 109 = 0. Which is smaller: z or -23?
z
Let h = 1305 + -919. Which is smaller: h or 387?
h
Suppose 0 = 5*l - 29 - 1. Let r be ((-4)/(-3))/(4/l). Suppose 2*d - 1 = -w, r*d + 4*w = 2*w + 4. Is 0.09 at most as big as d?
False
Suppose -4*z + 26 = 2*i, 2*z = -2*i + 11 + 7. Suppose -5*g = i*u - 60, g - 11 = u - 3. Which is smaller: g or 3?
3
Let z = 1246 - 1275. Which is smaller: z or -22?
z
Let n = 0 + -1.6. Let o = n - -12.6. Let x = o - 18. Which is bigger: 1 or x?
1
Let o(l) = -l**2 - 14*l + 20. Let h be o(-15). Suppose 2*u + 9 = 5*k - u, k - 15 = h*u. Which is smaller: 1/4 or k?
k
Suppose 5*v - 9*v = -44. Let o(j) = -j**3 + 11*j**2 - 8*j + 27. Let t be o(v). Which is smaller: t or -60?
t
Let i = -0.4 - 18.6. Let k = -13 - i. Which is smaller: 1/4 or k?
1/4
Suppose -5*r + 881 + 1389 = 0. Which is greater: 455 or r?
455
Let m = -169.63 + 10.63. Is -1/4 greater than or equal to m?
True
Let h be 1/(-2) + 2711/3486. Let u be 24/498*(-4)/24. Let y = h - u. Which is bigger: y or 2/21?
y
Let d = -15.46 + 16. Let p = 0.7 - d. Let u = p - 0.16. Is u bigger than -1/2?
True
Suppose -55 = -5*c - u, -7 + 2 = u. Let h be (4/50)/((-2)/(-10)). Is h equal to c?
False
Let t = 1 - 0. Let a = 6/155 - -32/775. Is a > t?
False
Let m = 839/9 - 93. Which is smaller: -42/11 or m?
-42/11
Suppose -2*r = r - 9. Suppose 0 = -r*g + 7*g - 12. Which is smaller: g or 4?
g
Suppose -3*z - 15 = o, o = z + 1 - 0. Suppose 4*b + 10 = 2*b. Are z and b equal?
False
Suppose 5*w + 202 = 2*n - 9, 0 = 2*n + 4. Which is greater: -167/4 or w?
-167/4
Suppose 3*o + s = 10, 2*s + 10 = 4*o - 0*o. Which is smaller: 95/27 or o?
o
Let r be 40266/1380 - 2/10. Let c = r + -29. Is c bigger than 0?
False
Let d be (9/27)/(3/27). Let i be -6 + d - (0 - -7). Suppose -3*j + 0*j = 3. Is j <= i?
False
Let p(t) be the third derivative of t**4/24 + 5*t**3/2 - 39*t**2. Let d be p(-3). Does 9 = d?
False
Suppose 119 = 5*z - 31. Let f = 32 - z. Is 2 greater than or equal to f?
True
Suppose 20 = -13*a + 11*a. Which is bigger: -19 or a?
a
Let a = -9 + 7. Let d = -10 + 13. Suppose -d = 2*b + 1. Are b and a nonequal?
False
Let l = -3662/99 - -37. Is -1 less than or equal to l?
True
Let d = 2756 - 2774.21. Let f = -18 - d. Which is bigger: 2/7 or f?
2/7
Let s = 88 + -83. Let c = 16 + -9. Let m = c - 5. Which is smaller: s or m?
m
Let m(x) = -10*x**3 - 4*x**2 + 4*x - 3. Let o be m(2). Let s be o/3 + (-48)/72. Do -31 and s have the same value?
True
Let w be (-99)/(-110)*-4*15*1. Which is smaller: w or -12?
w
Let z = -64.4 - -8.4. Let g = 54 + z. Which is greater: g or -18?
g
Let u be -1*(5 + -1) - 96/(-16). Is u < 5/4?
False
Let r = 41 - 56. Let v be r/(-24) + (-1 - 0). Let q(c) = 2*c**3 + 1. Let l be q(-1). Which is smaller: v or l?
l
Suppose 4*q + q = -s - 6, 0 = -q - 4*s + 14. Which is bigger: q or 11/14?
11/14
Let o be 8/42*14/3. Let l(n) = -59*n - 767. Let q be l(-13). Is q less than o?
True
Let o be 39/(-14) - (-19)/(-722)*19. Which is greater: o or -4?
o
Let l be ((-134)/(-5))/((-476)/175 - -3). Let z = -96 + l. Let h = 13 + -7. Is z less than h?
True
Let b = -76 - -112. Suppose -5*u = 4*c + 44, 4*u + b = -4*c + u. Let a = 15 + -14. Are a and c non-equal?
True
Let w be 35/245 + 16/(-14). Which is greater: -1/75 or w?
-1/75
Suppose -2*m + a = 1, 4*a - 7 = -3. Let n = 1353/388 - 23/97. Are n and m non-equal?
True
Let u = 17 - 12.4. Let v = -3.4 + u. Let f = 0.2 + -0.3. Is v equal to f?
False
Suppose -14*j + 5579 = -7*j. Is j smaller than 797?
False
Let h = -40 - -30.6. Let r = -8.4 - h. Which is smaller: r or -68?
-68
Let m = 73 - 65. Let g be 6/m - (-13)/(156/(-9)). Does g = 5/37?
False
Let g = -2713/42 - -2505/14. Let p = 116 - g. Is p at least 1?
True
Let i(h) = -h**3 + 7*h**2 - 5*h - 5. Let d be i(6). Suppose 5*j + 4*y - 27 = 0, 2*j + y - 9 = 3. Suppose -3*b + 13 - j = 0. Is b smaller than d?
False
Let n(f) be the first derivative of f**3/3 + 4*f**2 + 3*f - 2. Let b be (66/(-55))/((-1)/(-5) - 0). Let u be n(b). Do u and -10 have different values?
True
Suppose -3*q + 4 = -11. Suppose -q*i = -r + 2 - 18, 3*i = 3*r + 12. Let n(k) = 2*k**3 + k**2 + k - 1. Let l be n(1). Is l < i?
False
Let s be 9/3 - (13 - 8). Is s bigger than 4.3?
False
Let k = -325270/1651 + 2562/13. Let j = 13887194/396720949 - 8/43997. Let h = k - j. Is 0 at least as big as h?
False
Let a = -21 - -22. Let x = a + -1. Is 3/43 != x?
True
Suppose -2*b = 5*f - 5*b + 14, 0 = 2*b + 4. Let n be 3/((-6)/(-52))*(-23)/115. Are n and f nonequal?
True
Let w be (54/21)/((-45)/(-336)). Which is smaller: w or 19?
19
Suppose 0 = -10*z + 12*z. Suppose 0 = -2*o - p + 51, z*o = o - 5*p - 42. Let a be 3 + (348/o)/(-4). Which is greater: a or 0?
0
Suppose 0 = 4*a + 5*i + 84, 3*i - 9 = 3. Let l = -27 - a. Which is greater: -0.06 or l?
-0.06
Let p(b) = -33*b + 2. Let l be p(-1). Let s = l - 44. Is -6 > s?
True
Let t = 5 + -15. Suppose 0 = 4*d - 2*x + 48, -9 = -3*x + 3. Is d at least as big as t?
True
Suppose -11*n + 7*n = -36. Which is greater: 17 or n?
17
Suppose 0 = -4*z - f + 668, -552 = -5*z + 2*f + 296. Do 168 and z have the same value?
True
Let c = 112426/73 - 1540. Which is bigger: 0 or c?
c
Let s be -4 - ((-290)/294 + -3). Let k = s - 2580/49. Let p = -52 - k. Which is bigger: 6/5 or p?
6/5
Let j(h) = 2*h**2 + 12*h - 29. Suppose 3*s + 7 = -29. Let u be j(s). Is 115 less than u?
False
Let p be -7 - (-238)/130 - -5. Which is bigger: p or 0?
0
Let w be 1*(4/(-1) - -1). Suppose -i - 2*b - 8 = b, 28 = 5*i - 2*b. Suppose -8 = 8*s - i*s. Which is greater: w or s?
s
Let f = -28/5 + -659/10. Let s = 5001/70 + f. Is 0.1 > s?
True
Let c be (10/8)/((-7)/(-28)). Suppose 3*u - 1 + 2 = c*w, w + 2*u + 5 = 0. Do w and 6/19 have the same value?
False
Suppose -n - 4*n = -10. Suppose h - 130 = 6*h. Let k = h - -26. Which is greater: k or n?
n
Suppose 9*s = -29*s + 988. Are 36 and s nonequal?
True
Let b(m) = -2*m + 17. Let y be b(8). Suppose 0 = -4*j + y - 25. Which is greater: -8 or j?
j
Let m(d) = -d**3 - 3*d**2 + 11*d + 3. Let p be m(-5). Let h be (4 + p)*(-5)/((-15)/24). Do 6 and h have the same value?
False
Suppose -2*c - 2*u - 18 = 0, -3*c + 4*u + 4 = 3. Let t = 2 + -7. Let k = c - t. Is 0.04 less than k?
False
Suppose 10 + 15 = 5*m + 5*i, 0 = -4*m - 3*i + 20. Suppose -2*l = -m*h + 9, h = 2*h - l - 3. Let j = -2285/13 + 176. Which is smaller: j or h?
j
Let p = -1229 + 1252. Which is bigger: -7 or p?
p
Let r = -9429/29 - -325. Let w be (19 - 22) + 1*3. Which is greater: r or w?
w
Let z(l) = l**2 + l - 9. Let k be z(-3). Which is greater: -5 or k?
k
Suppose 0 = -4*j + 2*o - 1 + 39, 0 = j - o - 10. Which is greater: j or -17?
j
Suppose 0 = 4*s - 5*t + 19, 15 = 3*t + 2*t. Let z be (-9)/2*s*24/(-18). Which is smaller: z or -11?
-11
Suppose j - 2*z = 11, -4*j + 3*z + 27 = 8. Let s be (-5 + 5)/(j*-1). Suppose s = 6*f + 2*f - 16. Is f at most -7?
False
Suppose 2*x = -m - 10, 2*m - 6 = 2. Suppose -4*h + 5*s - 8 = 22, 4*h + 4*s + 12 = 0. Is x >= h?
False
Let m(f) = f - 9. Let d = 40 - 34. Let q be m(d). Let h = -756/5 - -149. Which is greater: q or h?
h
Let c = -29 + 34. Su