 508/1110 + (-116)/870. Which is greater: x or 1/2?
1/2
Let b = -297 - -298. Is -7 not equal to b?
True
Let n = 25 - 17. Let l be (1 + n)/(21/14). Let y = 1.17 + -0.17. Which is smaller: y or l?
y
Let s = -128 - -92. Which is smaller: s or -40?
-40
Suppose -5 = 3*s + 2*s. Let t(k) = -k**3 + 2*k**2 + 2*k + 1. Let n be t(s). Suppose -2 = -r + n. Are 5 and r unequal?
True
Let x(j) = -j - 23. Let s be x(-8). Let i be (-573)/(-45) + -3*(-2)/s. Which is smaller: i or 12?
12
Let x be 46/207 + 52/9. Which is smaller: 5 or x?
5
Let l be -1 - 2/(-4)*-2. Let n be (-7)/(((-25)/(-20))/(-5)*-4). Let b be l/4 - n/(-14). Is -3/5 greater than or equal to b?
True
Let b = 2762 - 259637/94. Let l = -1571/282 + b. Which is smaller: l or -6?
-6
Let t be (1 - -1) + -8 - 0. Let b be (-3)/t + (4 - 2). Suppose -7 = -l - 3. Which is bigger: l or b?
l
Let p = -1024/55 - -94/5. Which is smaller: 0 or p?
0
Let c(y) = y**2 - 10*y - 6. Let n be c(10). Let x be ((-2)/3)/((-4)/n). Let o = -4 - x. Is o at most -1?
True
Suppose 11*f - 5*f - 30 = 0. Suppose b = t - 3*b + 19, -f*t - 2*b + 15 = 0. Are -2/33 and t equal?
False
Let b = -1.8 + 2.3. Let a(q) = -q**3 - 7*q**2 - 5*q + 7. Let x be a(-6). Let y be 1 - x - 2/6. Is y smaller than b?
True
Let g = 127/13 + -3097/325. Suppose -w - 4 = 3*v - 0*w, -5*v - 8 = 2*w. Are v and g nonequal?
True
Let i = 664 - 663.7. Is i at most 3/119?
False
Suppose 9*i - 6 = 7*i. Let m(q) = 4 + 0*q + i*q + q - 5*q. Let f be m(4). Which is bigger: f or 1/17?
1/17
Let c = 412327 + -4952909/12. Let k = c - -415. Which is greater: 1 or k?
1
Let m(d) = -d + 11. Let p be m(-6). Let o(r) = 4*r - 15. Let k be o(8). Is k at least as big as p?
True
Let b be 2 + -9 + (-231)/(-11)*6/18. Suppose 0 = n - 3 - 1. Suppose -2*r + 4 = -n*r. Which is greater: b or r?
b
Suppose 3*v - 35 = 10*v. Let g be 5/(3/((-6)/v)). Is 0.9 greater than or equal to g?
False
Let a = 339 - 17. Which is smaller: 320 or a?
320
Let i = 1 + 1. Let o = -1141 + 3428/3. Is i bigger than o?
True
Let n = 294 + -26757/91. Is -3 at least n?
False
Suppose -y = 152 - 488. Let m be (7/y)/(1/3). Is 0 greater than or equal to m?
False
Let r = 449.945818 + -0.005818. Let x = -460 + r. Let p = 10 + x. Which is smaller: p or 1/2?
p
Let u(x) be the third derivative of 3*x**2 + 0*x + 0 + 1/12*x**4 - 1/2*x**3. Let f be u(3). Is -1/3 at most f?
True
Let p = 45.6 - -31.4. Which is bigger: p or -0.1?
p
Let h be (-10)/3*(-42)/(-35). Is -87 greater than h?
False
Suppose 108 + 10 = 2*j. Let t = 66 - j. Is t <= 6?
False
Let n = -12.7 + 12.7. Which is smaller: -169 or n?
-169
Let c = -740 - -809. Which is smaller: c or -0.7?
-0.7
Let q be ((-3)/(-18))/(3/6). Let x = -6 - -11. Are x and q equal?
False
Let u be (-2411)/9 + (-45)/405. Which is smaller: u or -270?
-270
Let r(u) = u**3 - 4*u**2 - 3*u + 2. Let x be r(5). Suppose -x = -11*a + 12*a. Let i(f) = 4*f + 4. Let k be i(-4). Is k smaller than a?
False
Let t be 0 + 123/39 - 3. Suppose 3 = -5*h + 2*j - 6, -5*h = j + 3. Is t greater than h?
True
Suppose 4*b - 195 = -b. Suppose -5*z + b = 2*l, z - 5*z = l - 30. Let s be (-1)/((77/6)/z). Is s less than or equal to -2?
False
Suppose 50 = 73*n - 75*n. Is n > -25?
False
Suppose 0 = -15*v + 11*v + 56. Let f be ((v - -4)*(-2 - 0))/7. Are f and -6 nonequal?
True
Let g be (-18)/(-14) + (-2)/7. Let h(n) = 3*n**3 + n - 2. Let f be h(1). Suppose f + 2 = 2*r. Which is smaller: r or g?
g
Suppose -539 = -4*h - 139. Suppose h - 32 = 4*a. Let t = -17 + a. Are t and -0.03 nonequal?
True
Let r(t) = -4*t**2 + 2*t + 2. Suppose 0 = -4*s + 2 - 14. Let n be r(s). Let x be (-1 - 1) + n/(-25). Which is smaller: 1 or x?
x
Let z(m) = 2*m - 8. Let p be z(-10). Which is greater: -195/7 or p?
-195/7
Let p(i) = 5*i**2 + 4*i. Let b(k) = -3*k**2 - 2*k. Let g(x) = 7*b(x) + 4*p(x). Let l be g(-1). Let f be 1/3 + (-2)/(-2). Which is smaller: f or l?
l
Let n = -3.17 - 0.23. Let v = -3.5 - n. Is v bigger than -0.2?
True
Let i(z) = -15*z - 3. Suppose 0 = -5*s - 4*q - 52, -4*s = -0*q + 3*q + 41. Let k be i(s). Let m be -2 - (k/(-24) - -3). Which is smaller: 0 or m?
m
Suppose -3*x + 4*h + 65 + 358 = 0, -4*h - 705 = -5*x. Is 141 greater than x?
False
Suppose -16*b + 1496 - 968 = 0. Which is bigger: 57 or b?
57
Suppose -5*i + 3 = -2*i. Let r be 12*(-2)/(-16)*14/91. Is r greater than or equal to i?
False
Suppose -3*w + 39 = -3*l, -4*w = -l - 4*l - 57. Let f be ((-1)/(-4))/((-2)/w)*1. Which is smaller: f or -1/13?
f
Suppose -6*p = -8*p + 300. Is 148 bigger than p?
False
Suppose 0 = l - 3*a + 1 - 7, -3*a = l + 12. Let x be (-3)/(-1 + l/(-12)). Suppose -o - 9 = x*s + 10, -16 = 4*s. Which is smaller: -4 or o?
-4
Suppose 3*m = 4*n + 109, -3*m - 128 = 3*n - 20. Is -162/5 >= n?
False
Let w = -53.577 - -1.577. Let u = 1.2 - 0.2. Which is smaller: u or w?
w
Let k = 1326799/908 + -5845/4. Does k = 1?
False
Suppose -5*z - 31 = 4*g, -5*g - 4*z + 6 = 47. Let s = 7 + g. Suppose 3*h + 21 = -3*k, 0 = 5*k - 5*h - 2 - 3. Are s and k unequal?
True
Let b = -1067533/6409 - -4818/29. Let y = -6/17 - b. Suppose 0 = -2*r - 8*r. Is y >= r?
True
Let d = -62 + 62.025. Let w = d + 0.775. Do w and 1 have the same value?
False
Let p = -22 - -27. Suppose 0 = -p*q + 32 + 3. Do q and -2 have the same value?
False
Let m = -925/66 + 14. Which is bigger: -1 or m?
m
Suppose 0 = 2*p - 0*p. Suppose 3 - 47 = -2*s. Let x = s - 65/3. Which is smaller: x or p?
p
Let n = 156 - 142. Let q = 37 - 22. Is n != q?
True
Let k = -988 - -999. Is 11 <= k?
True
Let p(g) = 15*g + 46. Let w be p(-3). Which is greater: w or -4/31?
w
Let c be (-2)/(-4)*16/(-40)*5. Let y be (c - 2)/(6/8). Is 0.23 less than y?
False
Let d = 10 + -9. Let b be 13/((-5 + d)/(-4)). Let o = -10 + b. Is 0 at least o?
False
Let u(t) = t**3 + 2*t**2 - 18*t - 31. Let n be u(-2). Let o be 2/(-4)*(-2)/1. Which is greater: o or n?
n
Let o(s) = -s. Let a be o(3). Let h be (-25)/(-21) - a/(-9). Let b be ((-3)/(-12))/((-2)/(-8)). Which is greater: b or h?
b
Let r(g) = -g**2 - 3*g + 8. Let x be r(-5). Let w = x - -52. Is w > 0.1?
True
Let h = -30.969 + 31. Let v = h - 0.231. Is 9 > v?
True
Let h = 28 - 26.5. Let i = 75 + -73.46. Let s = i - h. Is -2/3 at least s?
False
Let i be (5 - (-335)/(-50))*8. Let z = 83 - 97. Which is bigger: i or z?
i
Let f = 5.62 + 1.38. Let b = -1 + f. Is 6 greater than b?
False
Let i = 394 + -474. Is -83 bigger than i?
False
Suppose -z + 22 = -l, z + z + 4*l - 26 = 0. Suppose z = v + 25. Is -6 < v?
False
Let m be (-1075)/(-2685) - 4/12. Is 0 bigger than m?
False
Let u(j) = -j**3 - 8*j**2 + 9*j + 3. Let x be u(-9). Suppose -4*b + 25 = -n, 0 = -n - 0*n - b - 5. Let g = -5 - n. Which is smaller: x or g?
x
Let o(w) = 2*w**2 + 4*w + 4. Let l be o(-3). Let r = -120.9 + 121. Which is smaller: l or r?
r
Suppose 2*n - 3*m + 42 = -7*m, 5*n + 4*m = -111. Which is bigger: n or -22?
-22
Let i be (-6)/45*-5 - 4/33. Let p(t) = -7 + 14*t - 6*t - 5*t. Let v be p(3). Which is bigger: i or v?
v
Let n(q) be the first derivative of -2*q**3 - 4*q**2 - 25*q + 29. Let j be n(-4). Is -89 at most as big as j?
True
Suppose -z - 4*b = -2 - 5, 3*b = 3. Let g be 30*((-15)/(-6) - z). Let d = 17 + g. Which is greater: d or 3?
3
Let v(t) = -t**3 - 20*t**2 + 125*t + 5. Let o be v(-25). Let u = 0.2 - 0. Which is smaller: o or u?
u
Let y = -1.8805 + -0.1375. Let z = y - -0.018. Is 2 equal to z?
False
Let t = -0.156 + 0.096. Which is greater: 0.26 or t?
0.26
Let i = -5485.03 + 5454. Let a = -61.22 - i. Let p = 30 + a. Which is smaller: p or 1?
p
Let r = -7603/38240 + 52/239. Is 1 < r?
False
Let l(j) = 6*j**2 - 1. Let c be l(1). Let x be (-2)/c + 27/(-45). Let i = 2 + x. Is 0.3 less than or equal to i?
True
Let y be 108/(-20) + 6 + (-159)/15. Is -18 smaller than y?
True
Suppose -2*u + 6*c - c - 5 = 0, 4*u - 5 = 5*c. Let g be 8/u + (-9)/(-27) + -2. Let l = -2 - -3. Are l and g non-equal?
True
Let p be (-10950)/1275 + (-1 - -9). Is 0.2 equal to p?
False
Let c be (-1)/(-4 - -3 - (-12)/8). Suppose -1 = k + 3. Which is smaller: k or c?
k
Suppose -6*x + 2*x = -n + 14, 0 = 3*n - 2*x - 12. Which is bigger: n or 40/13?
40/13
Let m be (9672/36)/(16/(-24)). Do -403 and m have the same value?
True
Let y be (-477)/30 - 0 - 34/(-85). Let z be 1/(66/(-32) - -2). Which is bigger: z or y?
y
Let x be -1 - ((-6)/3 + 1). Suppose x = 2*h - 5*s - 9 - 17, -4*h - 8 = 5*s. Suppose 2*