3*t + 17 = -211. Let k = -72 - t. Is k bigger than 20/7?
True
Let w(n) = n**3 + 31*n**2 - 2*n - 27. Let h be w(-31). Is h less than or equal to 2/7?
False
Let v(s) = -4*s - 39. Let c(p) = p + 1. Let l(a) = 3*c(a) + v(a). Let h be l(-15). Is -1 equal to h?
False
Let u(n) = -11*n - 32. Let o be u(-3). Which is smaller: 4/97 or o?
4/97
Let s = -1274 + 75164/59. Let z(n) = -n**3 - 4*n**2 + 23*n + 91. Let x be z(-5). Are x and s non-equal?
True
Let y = -7 + -14. Suppose 43*h + 176 = 35*h. Which is smaller: h or y?
h
Let n(i) = i**3 - 16*i**2 + 32*i - 30. Let l be n(14). Let o = l + -121/5. Is 2 equal to o?
False
Let r = 866 + -540. Is 326 equal to r?
True
Suppose -33*j = -81 - 150. Which is smaller: j or 44/7?
44/7
Let y = 6 - 8. Let d = -14.043 - -0.043. Let v = -18 - d. Which is smaller: v or y?
v
Let m be 3 - 254*2*(-33)/(-5676). Is -2/21 at least m?
False
Suppose -19*t + 26*t + 28 = 0. Let w be (1 - (t - 0))/1. Let x be (-7)/(-2 + 2/2). Which is greater: w or x?
x
Let b(j) = 23*j**2 + j. Let w be b(-1). Suppose -298 + w = -4*g. Suppose -g = -4*u - 1. Which is bigger: 18 or u?
18
Let f = -12.12 + 2.22. Let o = f + 3.9. Which is smaller: o or 5?
o
Let b = 48/7 + -254/35. Let y = 21.155 - 0.055. Let k = -21 + y. Which is bigger: k or b?
k
Let p = -118 + 134. Suppose m - 21 = -4*i + p, 5*m - 49 = -3*i. Let j = 13 + -4. Which is smaller: i or j?
i
Let i = -0.0842 - 0.0158. Are -3/53 and i equal?
False
Suppose -8*x = 4*x - 36. Let u be (-40)/x*(-24)/20. Do u and 16 have the same value?
True
Suppose 23 = -v - 5*a, v - a - 10 = 3*v. Is v != 3/7?
True
Let g be -1 + 183/162 + (-46)/276. Suppose 3*d + 6*x + 11 = 2*x, -5*x - 6 = -4*d. Which is smaller: g or d?
d
Let u(i) = i**3 - 11*i**2 + 8*i - 15. Let j be u(4). Which is smaller: -96 or j?
-96
Suppose -w + 200 = 2*d, -3*w - 5*d + 318 + 283 = 0. Is 201 <= w?
True
Let k(p) be the first derivative of p**4/4 + 8*p**3/3 - 7*p - 1. Let c be k(-8). Which is bigger: c or -3?
-3
Let z(i) = -i**2 + i. Let g be z(0). Let o(l) = -13*l - 9. Let s be o(-2). Suppose u + 0 - s = g. Is 16 not equal to u?
True
Suppose -3*h + 24*m + 154 = 19*m, 2*m + 244 = 5*h. Is h greater than 42?
True
Let a(k) = -k - 2. Let z be a(-6). Let f = 9 - z. Let l = f - 14. Which is bigger: -8 or l?
-8
Suppose 2*b = -45 + 65. Is -33 at least as big as b?
False
Suppose -98*q = -2951 + 13927. Which is smaller: -113 or q?
-113
Let b = 0.2 + -0.3. Let k(v) = -8*v + 383. Let s be k(52). Is b less than or equal to s?
False
Suppose 0 = -4*t + 4*x + 32, 0*t + 7 = 2*t + x. Let b be 25 + -7 + t + (-2)/(-3). Are b and 24 nonequal?
True
Suppose -4*j + 16*a - 15*a + 1454 = 0, -2*j + 724 = a. Which is greater: 365 or j?
365
Let m(u) = 7*u + 1. Let r be m(-1). Let g = r - -3. Let d be (2/17)/(6/g). Which is greater: 1 or d?
1
Let i be ((-6)/18)/((-2)/60). Suppose -1 = q - i. Are 7 and q unequal?
True
Let d = -20.02 + 20. Let g = d + 0.14. Let n = g - 0.22. Are n and -2 unequal?
True
Let o = -621 - -621. Which is smaller: o or -422?
-422
Let t be 84/(-15)*(-35)/14. Suppose -g + 4 = -8. Which is bigger: t or g?
t
Let q(u) = u**2 - 7*u - 4*u + 7 + 3*u. Let l be q(7). Let j = l - 9. Which is bigger: -7 or j?
-7
Let h = 1578411/170 - 9285. Let i = 1/34 + h. Let a be (4/16*4)/(-1). Is a bigger than i?
False
Suppose 0*r + 21 = 21*r. Which is smaller: r or 5?
r
Let z(r) = r**3 + 6*r**2 + r - 3. Let o be z(-2). Suppose -6 + o = 5*h. Let a be -5 + 2 - 344/(-104). Is a at least as big as h?
False
Let b(m) = -m**2 - m + 6. Let q be b(0). Let c be ((-3)/(-2))/(q/24). Suppose -c*d - 20 = -d. Which is smaller: d or -1?
d
Let k = 9 + -6. Let d = k - 5. Let u be -1 + -1 - (0 + 0). Are u and d equal?
True
Let w = -0.2311 + 47.2311. Are -5 and w nonequal?
True
Let i = 2393390 - 280024555/117. Let u = i - 1428/13. Let l = u - -92. Is 1 < l?
False
Let a = 0.6 + -0.54. Suppose 3*h + 2*h = -15. Are h and a equal?
False
Let w = 25113 + -250921/10. Let i be 21 - -1 - 36/24. Let g = w - i. Are g and 1 nonequal?
True
Let k = 13275 - 2562067/193. Is k > 0?
True
Let d(f) = 2*f**2 - 39*f + 158. Let i be d(8). Which is greater: -14 or i?
-14
Let h be 2*(-1)/2 + 29. Let b = -26 + h. Is b at most 2?
True
Suppose 0 = o - 1. Let h(b) = 13*b**3 - 2*b**2 + b. Let f be h(o). Suppose 2*x - v = 12, -2*v - f = -2*x + 3*v. Which is smaller: x or 7?
x
Let t be 6/27 - (-56)/(-9). Let d be ((-2)/(-72))/(t/9). Which is bigger: -0.2 or d?
d
Let b be 135*(2 - (-21)/(-15)). Let v = -2672/33 + b. Is v less than 1?
True
Let u = -16 + 46. Suppose w - u = -0*w. Are 31 and w unequal?
True
Let n = 949 - 724. Which is smaller: -0.2 or n?
-0.2
Let f = -139 - -160. Suppose 3 = -3*k - 5*r, -3*r - f = 4*k - 2*r. Is -13 at most as big as k?
True
Let u = -3.4 + 14.3. Let z = -2.7 + -0.4. Let k = z - u. Which is smaller: k or 0.1?
k
Let g = -34 - -36. Let f = g - -7. Let x = -2.9 - -3. Is x smaller than f?
True
Let o(s) = s**3 - s - 20. Let r be o(0). Does 0 = r?
False
Suppose 1 = 5*k - 14. Suppose 6*m + 13 = k*o + m, -3*o - 27 = 3*m. Which is bigger: o or -6?
o
Suppose -2*f = -5*f + 3*x - 27, 4 = x. Let o = 43 + -38. Let q = o + f. Which is greater: q or -3/8?
q
Suppose -2 = -4*f + 10. Suppose -k + 5*a = -26, -46*k + 6 = -50*k - 2*a. Does k = f?
False
Suppose 2*g = 4*d - 2, d - 3*g = 3*d + 19. Let p be d + (-2)/3*-9. Suppose 4*k + 4*n = -0 - p, n = 2*k + 8. Is -3 at most k?
True
Let p = 1874181/19 - 131637610/1311. Let l = 1769 + p. Which is smaller: l or -1?
-1
Let f = -18.91 - -19.9. Let b = f + 0.01. Which is smaller: b or 0.9?
0.9
Let j(a) = 47*a - 315. Let v be j(19). Does v = 0.1?
False
Suppose -3*g - 2 = 4. Let b be (-3)/6 - (-1)/2. Suppose -2*z + 6*z + 12 = b. Is g bigger than z?
True
Suppose -m = -3*x + 13, -3*m + 5*x - 25 = 2*m. Let s be (-2)/78*(1 - 4). Which is greater: s or m?
s
Suppose 0*s - 2*s - 3 = -3*d, 3*s + 3*d + 27 = 0. Suppose -20*n - 864 = -56*n. Let t be (2/s)/((-8)/n). Which is smaller: -3/29 or t?
-3/29
Suppose -334*y = -331*y - 213. Is 69 greater than y?
False
Let d = 164 - 165. Let m = -21 + 7. Do m and d have the same value?
False
Let v = 12.54 - 12.53. Which is smaller: -72 or v?
-72
Let s = -112 - -5. Which is bigger: -1 or s?
-1
Suppose -19 + 13 = -3*h. Let x(k) = k**2 + 2*k - 5. Let i be x(-4). Suppose 2*z = i*s + 3*z - 11, 26 = h*s - 4*z. Which is smaller: s or -1?
-1
Let h = 12 + -15. Let w = -3 - h. Is w less than -21?
False
Let j(o) = -o**3 - 11*o**2 + 24*o - 24. Let d be j(-13). Suppose c + 3*g = -1, 5*c + d*g - 5*g = -5. Do c and -3/19 have the same value?
False
Let w be 4/308*(-10)/5. Which is smaller: -1 or w?
-1
Let t be 3 + (-3 - -1)/(98/63). Which is greater: 3 or t?
3
Let p = 85 + -88.9. Let f = -9.9 - p. Let q = -5 - f. Which is bigger: 18 or q?
18
Let m = -33 + 72. Let w = m - 45. Let a(z) = -z**2 + 4*z + 4. Let i be a(6). Is w < i?
False
Suppose 5*o - n - 4256 = -1246, 578 = o - 5*n. Which is smaller: 604 or o?
o
Let k(p) = p - 4. Suppose 0 = -5*n - c + 59, -n + 4*c = 6*c - 19. Let d = 14 - n. Let m be k(d). Is 0 less than m?
False
Let s be ((-3)/10)/(3/4). Let i be (0 + -6)/((-6)/4). Suppose -i*m - 4 = 4*x, -3*m - 2*m - 15 = -5*x. Is s less than x?
True
Let o(v) = v + 8. Let h be o(-7). Let n = 100 - 92. Is h at least as big as n?
False
Let l = 1155/8 + -761/24. Suppose -4*f = 2*z - 206, -3*z + 5*f - 130 = -483. Let q = l - z. Do q and 3 have the same value?
False
Let y be 11/(-55)*0 + 3/(-499). Is 1 greater than y?
True
Suppose 0 = -0*n + 4*n - 20. Let c = -11 - n. Let y = -83 + 583/7. Which is greater: y or c?
y
Suppose -v + 0 - 3 = -p, -v = -3*p + 3. Let n(w) = w**3 + 3*w**2 - 2. Let g be n(v). Let k = 5 + -8. Which is bigger: g or k?
g
Suppose 11*p - 19*p = -b + 39, 2*b = -4*p - 22. Which is smaller: 2 or b?
b
Let a(n) = n**3 - 5*n**2 + 5*n - 1. Let b be a(4). Let q be 51/5 - b/15. Suppose 0 = -i - 5*t - 4, i - 2*t = 6*i - 49. Is i smaller than q?
False
Let z(a) = -a**2 - 4*a + 2. Let r be z(-4). Suppose -q = r*q + 30. Suppose 33 + 33 = -6*t. Which is greater: q or t?
q
Let q = 613 + -614. Which is greater: q or -3/49?
-3/49
Suppose 9*f + f = 0. Let n = -461/6 - -78. Which is bigger: n or f?
n
Suppose 4*o - 8 = -5*w, -14*o = -19*o + 2*w - 23. Which is smaller: -35/13 or o?
o
Let l = -0.23 - 1.97. Let w = l + 2.1. Let t = w + 0.2. Which is smaller: -0.07 or t?
-0.