alue?
False
Let w(t) = -t**3 + 7*t**2 - 2*t - 4. Let y be w(4). Let u be -1 + (-33)/y*-4. Which is smaller: u or 4?
u
Let m be -3 - (191 + 1) - 3. Let c be 4/18 - (-242)/m. Let g = -38 + 113/3. Are g and c non-equal?
True
Let i = -8 - -2. Let w = -3 + i. Let g be -2 + 0 - w/3. Is g smaller than 1?
False
Suppose -110*u + 107*u + 177 = 0. Is 57 <= u?
True
Let f = 0.6 - 2.6. Suppose -3*z = 15, -2*j + 3*z = -4*j - 9. Let c be (3/(-6))/(4/j). Which is greater: f or c?
c
Let m be -2 + (2 - 0/3). Let g be -6 - m/1*1. Let c = 7 + g. Which is smaller: -2/65 or c?
-2/65
Let p = 14 + -18. Let u(b) = -3*b - 21. Let a be u(p). Which is smaller: -11 or a?
-11
Let a = 1123.8 - 1124. Which is smaller: a or 14/5?
a
Let h = -826 + 186. Which is greater: 0 or h?
0
Let j(f) = -f**2 + 16*f - 45. Let o be j(3). Let g be (-12)/(-9) + -1 + (-1)/o. Let l = -0.2 + 0. Is l at most as big as g?
True
Suppose -3*y - 5*f - 82 = 0, 6 - 22 = y - 4*f. Is -28 bigger than y?
False
Let x be (-9)/((-36)/(-8)) + 1. Let w = 37.79 + -38. Let m = w + 0.01. Which is smaller: x or m?
x
Suppose -23*x + 28*x - t = -4, x = -t - 2. Let u be 2/38*(0 + -6). Let s = -27/95 + u. Do s and x have different values?
True
Let d = -7505/37389 + 20/363. Which is greater: -1 or d?
d
Let l be 75/2*52/78. Is l less than 14?
False
Let v = 793101/385 - 2060. Which is bigger: 0 or v?
v
Suppose -f = -6*f + 575. Let m be ((-2754)/f)/(-6) + -4. Which is smaller: 1 or m?
m
Let d = 89 - -51. Suppose -7*u = -0*u + d. Which is bigger: u or -21?
u
Suppose 44 = -6*r + 38. Is 1/422 < r?
False
Suppose l - 6*l = -25. Suppose 3*a - 6 = 5*c, -l*c = -4*c + 3. Let x = -56 + 53. Do x and a have the same value?
True
Let i = -1 - -5. Let k be (-1)/(i/(-2 + 26)). Let l be k/(-8)*12/(-15). Do -2 and l have the same value?
False
Suppose p - 2*g - 14 = 0, 3*p + 3*g = -p + 67. Which is smaller: 13 or p?
13
Let d = 1/45 + 7/9. Let o(m) = -m**2 - 6*m - 6. Suppose -3*p - 6 = -0. Let t be o(p). Is t less than or equal to d?
False
Let b = 0.1 - 1.1. Let p(w) = -w**3 - w**2 + w - 3. Let z be p(-3). Let t be (z/5)/(7/35). Which is greater: t or b?
t
Let c = 5 + -3. Let f = -0.8452 + 1.1452. Which is greater: f or c?
c
Let c be (-29 - 3)/((-5)/(-10)). Let f be (c/48)/((-92)/(-18)). Which is greater: f or 0?
0
Let n = 7.01 - 0.01. Let v = -39 + 29. Let j = 8 + v. Which is smaller: n or j?
j
Let t be (14/(-3))/(-30 - -27). Which is bigger: t or 1?
t
Let u = -16021/80055 + 2/16011. Let v be (0/(-2))/(2/(-2)). Is u less than or equal to v?
True
Let m = 579 - 99. Is 481 < m?
False
Let d(s) = -s**2 - 9*s + 10. Let j = 18 - 26. Let u be d(j). Let n = u - 14. Which is smaller: n or 3?
3
Let z be 2310/88 + ((-6)/(-8))/(-3). Suppose -5*x - 14 - 47 = -4*p, 4*p + 2*x - z = 0. Which is smaller: 10 or p?
p
Suppose -1721*x + 1718*x = -6. Is x at most as big as 12?
True
Let l be (4/3)/(14/21). Which is smaller: -758 or l?
-758
Let t be -3*1570/240*-8. Is t >= 155?
True
Suppose 4*s = s + 39. Let p = -23 - -37. Do s and p have different values?
True
Let l = -263 - -426. Let r = -303/2 + l. Which is smaller: r or 13?
r
Let r be -1 + (-7 - -4) - 20351/(-55). Let y = 366 - r. Are y and 1 unequal?
True
Let t = -16.07 + 16. Let y = -0.21 + 0.14. Let u = y - t. Is 0 <= u?
True
Let c = -115/119 + 14/17. Suppose -4*b + 3*z = 3, b + 1 = 5*z - 4. Suppose -r + 0*r + 1 = b. Is c greater than or equal to r?
False
Let j be 6/140*32/24. Let o = 0.1 + 0.4. Let l = o - 0.6. Which is greater: j or l?
j
Let t = -220 - -213. Let i(y) = -y**3 - 6*y**2 - 5*y - 7. Let z(j) = -4*j**3 - 1. Let k be z(1). Let u be i(k). Is u greater than t?
False
Suppose 7*f + 3 = 10. Let c = -2910/41 + 71. Which is smaller: f or c?
c
Let c = -423805/127 + 3337. Which is greater: c or 1?
1
Let h(f) = f**3 + 5*f**2 - 9*f - 6. Let z be h(-6). Let c be (-2)/(-10) + (1 - (-51)/(-5)). Let j = c + z. Is j < 1?
False
Let d be 63/(-156) + (-6)/(-24). Let u(v) be the second derivative of v**5/20 + v**4/12 + 2*v**2 + 8*v. Let c be u(-2). Is d greater than or equal to c?
False
Let d = 307 + -307.2. Is d greater than -36/5?
True
Let i be ((-6)/15 - 0)/(4/(-695)). Is i greater than 71?
False
Suppose g + 1 = s, -1 = 5*s + g - 0. Let a = 3457/19 - 182. Which is bigger: s or a?
s
Let g(b) = -6*b**2 - 12*b + 2. Let u be g(-5). Let c = u - -88. Is 10 less than c?
False
Let t = 0.01 - -1.39. Let q = -0.5 + t. Let w = -0.1 - q. Is -2/7 at most w?
False
Let j(b) be the third derivative of b**5/30 - b**4/12 - 5*b**3/6 + b**2. Let m(k) be the first derivative of j(k). Let l be m(3). Which is greater: 11 or l?
11
Let r(o) = -o**3 + 7*o**2 + 2*o - 6. Let m be r(7). Suppose -m*t + 9*t = -1. Is 1/23 equal to t?
False
Suppose 33*h + 206 = 74. Do 72 and h have different values?
True
Suppose 6*g + 51 - 141 = 0. Let q be -5 + (-3)/(g/(-20)). Let z be (-1)/((-1)/(12/(-2))). Which is smaller: z or q?
z
Let l be 14/(((-11)/(3157/28))/2). Which is smaller: l or -860/3?
l
Suppose 0 = -2*k - 10, 2*n + 2*k = 7*n - 30. Suppose 5*m + 12 = 2*g, 4*g - 3*g = -n*m - 20. Let d be 12/(-8) + 102/g. Is d less than -27?
False
Let w = -1155 + 1156. Let r(d) = d**2 + 3*d + 2. Let n be r(-3). Are n and w unequal?
True
Let i be ((-10)/(-6))/(-5) + (-1050)/(-45). Is i at most 20?
False
Let n = -7 + 10. Let o(y) = 4*y - 4. Let u be o(n). Let g(z) = z**2 - 15*z - 25. Let v be g(17). Which is bigger: v or u?
v
Suppose 3*v - 24 = -3*x, 0*v = 2*v + x - 11. Let o(n) = n**3 - 3*n**2 - n - 4. Let t be o(v). Suppose 3*w - 4*w - 5*d = 33, -50 = 5*w + 2*d. Is t less than w?
False
Let i(c) = -c**3 - 9*c**2 - 8*c - 31. Let o be i(-9). Let j = 43 - o. Is j < 9/5?
False
Let d be (4/4 - -3) + 3. Suppose -2*m + m = d. Let p be (-2)/m + 12/(-42). Is -4/7 bigger than p?
False
Let o be (-4 + 840/55)*(-2)/(-8). Which is smaller: 3 or o?
o
Let h = 3 - 4. Let f(i) = -2*i**2 - 2*i - 1. Let v be f(h). Let s be (1/(-7))/(3/15). Is s greater than v?
True
Let b = -45 - -45.5. Let l = b - 2.5. Which is smaller: l or -3?
-3
Let i = 0.013 - 0.813. Let k = 26.2 - i. Which is greater: k or -1?
k
Let a(j) = -j - 4. Let p be a(-3). Let d = 1/2 + p. Which is greater: d or -1/3?
-1/3
Let q = 0.507 - -0.193. Which is smaller: q or -5?
-5
Let s = -875 + 874.399. Is 1 less than s?
False
Suppose -b + 6 = t, -2*b + 5*t + 1 = -18. Let r = b - 2. Suppose -4*s + 8 = 0, 3*a + r*s + 3 - 1 = 0. Which is smaller: a or -3?
a
Let x(v) be the first derivative of v**3/3 - 5*v**2 + 17*v + 1. Let n be 3 + ((-20)/(-4) - (1 - 1)). Let l be x(n). Which is bigger: 5/4 or l?
5/4
Let i = 2.85 - 4. Let d = i - -0.1. Let m = d - -1. Which is smaller: 0 or m?
m
Suppose 0 = -4*i + k - 112, -35 - 42 = 3*i + k. Let q = i - -39. Let h be (q/10 + 0)*5. Which is smaller: h or 17/3?
17/3
Let m(p) = p + p**3 - 19*p**2 + 44 - 32 - 2*p**3. Let c be m(-19). Are c and -6 nonequal?
True
Let q(k) = -k**3 + 6*k**2 - k + 4. Let d be q(6). Let r be ((-6)/15)/(d/30). Which is bigger: 22/3 or r?
22/3
Let r be (-4303)/(-47502)*6 + (-6)/14. Which is bigger: r or 0?
r
Let g = -37 + 37. Suppose 3*d + 4*w - 64 = g, -5*d + 3*w = -d - 52. Is d at least 1?
True
Let g = 202 - 141. Let u = -61.94 + g. Let x = u - -1. Which is smaller: x or 2/7?
x
Let x be -363*(2 + -6 + 6)/2. Which is smaller: x or -364?
-364
Let c be (-4 + 10 + -8)*(-2)/4. Suppose c = 6*l + 7. Which is smaller: 1 or l?
l
Suppose g - 19 = -3*k, -2*g + 5 = k - 3*g. Suppose 6*j + 4*a = 4*j + 2, -2*j - k = -4*a. Which is smaller: -1/113 or j?
j
Let r be 2/9 + ((-2720)/(-72) - 2). Which is smaller: -0.2 or r?
-0.2
Let b be (2055/6 - 6)*1. Which is greater: 336 or b?
b
Let n = -0.59 - -0.35. Let t = 1.24 + n. Is t equal to 2/37?
False
Let b(r) = -11*r - 173. Let w be b(36). Is -568 bigger than w?
True
Let g = -1.24 - -1.84. Which is smaller: 0.2 or g?
0.2
Suppose -10*k + 5*k - 65 = 0. Suppose 2*p - 2*n + 18 = 0, 4*p - n - n + 44 = 0. Does p = k?
True
Let v = 170 + -35. Which is bigger: v or 0?
v
Suppose -3*j - 427 - 56 = 3*h, 3*h = 4*j - 462. Which is bigger: h or -156?
-156
Suppose -5*w = -4*g + 7, -5*g = 5*w - 5 - 15. Let n(u) = u - 3*u + 4*u - 3. Let l be n(w). Which is smaller: 1 or l?
l
Let q be (-19)/(-20) + 1/4. Let n be (-71)/2 + 12/8. Let g = -34 - n. Which is smaller: q or g?
g
Let w = -5 - -8. Suppose 2*v - w = v. Suppose 6*b = v*b + 2*i + 7, -2*i - 1 = 3*b. Is 1/3