 Let l be w(3). Is l at most as big as o?
True
Let z be (1782/165)/((-82)/10) + 1. Which is smaller: 0 or z?
z
Let g be (-16)/(-3)*(-5 - 4). Let b = -46 - g. Suppose n = -0*n + 1. Is b not equal to n?
True
Suppose h = 5*w - 11 - 12, w = 3*h - 1. Suppose t + 5 = -2*d - 7, 0 = -2*t + w*d + 3. Let g = -6 - t. Is 6/7 at least g?
True
Let k = -2 - -2. Let o be ((2 - 4) + 1)/((-1890)/28). Which is smaller: o or k?
k
Let g = 2/687 + 1336/13053. Are g and 5 non-equal?
True
Let y = -212225/83 + 2557. Which is greater: y or -1?
y
Let y = 178 - 108. Let b be (-426)/4*12/(-18). Which is smaller: b or y?
y
Let z be -2*(-2)/4*5. Let g(c) be the first derivative of -c**3/3 + 5*c**2/2 - 2*c - 9. Let s be g(z). Is s bigger than -1?
False
Let y be (10/(-20))/(1/2). Let c(j) = -8*j + 7. Let w(i) = 7*i - 6. Let o(t) = -6*c(t) - 7*w(t). Let f be o(y). Which is greater: f or 2/5?
f
Let d = -47 + 93/2. Suppose -k - 8 + 26 = -5*s, 0 = -4*k - 5*s - 28. Which is smaller: d or k?
k
Let x(j) = -j**2 + 18*j + 9. Let p be x(18). Suppose p*i = 8*i + 4. Which is greater: i or 14/5?
i
Let d = 33 + -33.29. Let j = d - 2.11. Let u = j + 3.4. Which is bigger: u or -3?
u
Let t(a) = -a**2 - 4*a + 5. Let f be t(-5). Let n be (-1 - 0) + (f - -1). Are 1/34 and n non-equal?
True
Let y = -8 + -7. Let s = -10 - y. Suppose s*j + 5 = -0. Which is bigger: j or 3?
3
Let k(i) be the third derivative of i**4/12 - i**3 - 4*i**2. Let u be k(4). Suppose u*j + 20 = -3*j. Is -1 equal to j?
False
Let j be (-296)/(-36) + -8 + 124/9. Which is smaller: j or 10?
10
Let h = 28917/15136 - 61/32. Let u = 170617242902/1715324773701 - 2/172689497. Let d = h - u. Which is bigger: 1/3 or d?
1/3
Let u = -0.13 - 10.61. Let b = u - 0.26. Let x = b - -18. Which is smaller: x or -1/3?
-1/3
Let j = -1073 + 889. Which is greater: -185 or j?
j
Let n(y) = 5*y**3 - 2*y - 2. Let j be n(4). Let c = 4957/16 - j. Suppose 0 = -2*t + o - 61 + 63, 0 = 2*o. Is t at least as big as c?
True
Suppose 31*n + 8 = 27*n, n - 2 = -4*p. Which is bigger: -36/89 or p?
p
Suppose -54 = 5*w + d, -d + 6 = -2*w - 10. Let q(c) = c**3 + 9*c**2 - 10*c + 7. Let g be q(w). Is g not equal to 1?
True
Suppose 3*m - 89 = 88. Suppose -4*u = 5*x - m, -x + 5 = u - 3*x. Let w(z) = -z + 9. Let c be w(u). Which is greater: c or -1?
-1
Suppose -5*z + 56 + 79 = 0. Let s = z + -14. Suppose -h = a - 1 - 4, 5*a + 2*h - s = 0. Which is bigger: a or -7?
a
Let m = 3 + -4. Let b = -35523/49 + 725. Which is smaller: m or b?
m
Let t(z) = 10*z - 439. Let s be t(43). Suppose 2*l = 7*l + 40. Which is smaller: l or s?
s
Suppose -n + 4*x + 4 = 0, 3*n + n + x = -1. Is -1/85 at least as big as n?
False
Let b = 56.28 - 56.18. Let g = -24 + -24. Which is smaller: g or b?
g
Let a be (4/568)/((-84)/(-16) - 5). Is a != 0.4?
True
Let o be -2 - -2 - (2 - 1). Let i(u) = u + 1. Let z(k) = -4*k - 2. Let f(l) = i(l) + z(l). Let p be f(o). Which is smaller: 3 or p?
p
Let m = -1459 - -1637. Do 174 and m have different values?
True
Let m(x) = -2*x + 4. Let o be m(7). Let z be 7/((-1)/(2/(1 - -1))). Which is greater: z or o?
z
Let p = -0.524 + 1.524. Is -7/137 != p?
True
Let d = 370 - 302. Is 68 greater than d?
False
Let i be (-10)/(-4) + 3/(-2). Let n(a) = i - 2 + 7 + a. Let c be n(-2). Which is bigger: c or 7?
7
Suppose 3*a + 8*a = -869. Is a < -79?
False
Suppose r + 0*r = 4*k, -3*r = 2*k. Is k >= 2/483?
False
Suppose 3*n - 60 = -2*r + 28, r - 50 = -3*n. Suppose -2*o = 30 - r. Suppose 5*c = 4*c + 2. Which is greater: o or c?
o
Let d = 191 + -128. Let o be 16/104 - d/(-13). Suppose -o*y + 9 = -6. Is y > 3?
False
Let f be 460/(-253)*(-1)/(-4). Let z(q) = q + 4. Let r be z(-3). Which is smaller: f or r?
f
Let h(g) = 2*g**3 - 4*g**2 + 7*g - 6. Let i(f) = f**2 - f + 1. Let o(u) = -h(u) - 4*i(u). Let j be o(1). Is j <= -7/4?
True
Suppose -906 + 66 = -20*t. Which is bigger: t or 3?
t
Suppose p = -0*p - 36. Let k(l) = l - 2. Let v be k(-33). Which is greater: v or p?
v
Let k be 3/4 - 6*153/(-24). Let p be 8/10*(k/(-6) + -1). Are 0 and p non-equal?
True
Let l = -103 + 195. Let o = -1291/14 + l. Suppose -m = 2*m - 3. Is m smaller than o?
False
Let f(t) = 12*t + 38. Let d be f(-3). Let a = -48/19 - -535/114. Is a at most as big as d?
False
Let r = 146.9 + -141. Let l = -14 - -8. Let a = r + l. Which is smaller: a or -0.08?
a
Suppose -4*v + t = -0*t - 19, 8 = 3*v - 2*t. Let q be (-2)/v*(10 - 22). Suppose -q*m + 26 - 10 = 0. Which is bigger: 5 or m?
5
Let p = 5.22 - 0.12. Let c = -20 + p. Let a = 15 + c. Which is greater: a or 3?
3
Suppose -6*y + 61 = -419. Let t = 119 - y. Is 39 > t?
False
Let d = -148.829 + 149. Let x = -76.829 - d. Is 1/4 at least x?
True
Let q = -363 - -336. Suppose l + 0*l = 20. Let m be (-30)/l*(-8)/q. Which is greater: m or -1?
m
Suppose g = -2*i + 1, 2*i - 2 = 2*g - 4. Let p be g/(-6)*(4 + -3)*3. Is -0.01 not equal to p?
True
Let n = -593/893 - -11/19. Let s(k) = -k**3 - 5*k**2 + 2*k - 23. Let c be s(-6). Is c < n?
False
Suppose 26*u - 39*u + 3523 = 0. Is 270 < u?
True
Let y be (57/(-15) - 0)*5/6. Let c = y - -3. Let n = -1 - -3. Which is smaller: c or n?
c
Let g = 6.094 - -0.006. Let t = -3.9 + g. Which is smaller: t or 1/2?
1/2
Let q = -134 + 68. Let n = 64 + q. Which is bigger: -8/11 or n?
-8/11
Let p = 1693 + -1675. Suppose 5 = 2*o - 29. Is p greater than o?
True
Let v = 17 - 12. Suppose v = -t - 1. Is -5 < t?
False
Suppose 0 = -2*b + 5*b - 63. Suppose 1 - b = -5*i. Let t be -6 + (3 - i - -5). Which is bigger: t or 1/9?
1/9
Suppose 26 = -2*o + 4*x, 5*x - 3 + 29 = -4*o. Let s be (-1)/4 - o/(-12). Are 1/11 and s equal?
False
Let j be 1342/(-1008) + (-2)/3 + 2. Which is smaller: 0 or j?
0
Let w = -0.3 - 0.7. Let x = 1.03 + w. Let d = -0.17 - x. Which is smaller: -2 or d?
-2
Let f = 127607/98 + -1302. Is 0 at least f?
False
Let d = -777 - -780. Which is smaller: d or 42?
d
Let g = 1458 + -2999. Let q = g - -192623/125. Is q at most -1?
False
Suppose -3*y = -28 + 4. Let h = 69 - y. Do 62 and h have different values?
True
Let t = -0.1 - 2.4. Let r = t + 2.6. Let x = -132 + 389/3. Is r at most as big as x?
False
Let x be (48/64)/((-12)/(-5344)). Are x and 334 nonequal?
False
Let u = 698148/2465 + -1416/5. Which is greater: 0 or u?
u
Let r be (-1)/10*(-790)/237. Is r bigger than -544?
True
Let b = -23 - -23. Suppose -2*m + m - 29 = b. Are -29 and m non-equal?
False
Suppose 0 = -j + 2*m + 11, -j - 5*m + m = -35. Let l = j + -20. Which is smaller: -2/63 or l?
l
Suppose -2*i - 3*w - 11 = 5, 5*w + 23 = -3*i. Let y = -1.65 - -1.55. Is i <= y?
True
Let q(b) = 5*b**3 + b**2 + 28*b + 31. Let t(g) = 2*g**3 + 14*g + 15. Let w(i) = 3*q(i) - 7*t(i). Let x be w(-5). Is x greater than or equal to 3/7?
True
Let p(t) = 2*t - 9. Let i be p(6). Suppose -4*o - 50 = -5*w, 2*w + 3*o = -w + i. Is w greater than or equal to 7?
False
Let u = 2 + -1. Let s(j) = -j**2 - j + 1. Let d be s(u). Let x be -1 - -3 - 6/(-18) - 3. Which is bigger: d or x?
x
Let u = 1.6 + -12.4. Let a = u + 11. Let t = 0 + 1. Is t greater than a?
True
Let p = -0.52 - -0.558. Let y = p - -0.062. Let j = -18.7 - -20. Which is greater: y or j?
j
Let m be 57/(-27) + 2 + (-16)/(-36). Which is smaller: 3/122 or m?
3/122
Let f = -26 - -31. Suppose f*i = 2*i. Is 2/21 at most i?
False
Let k = 139.1 - 139. Which is bigger: 145 or k?
145
Let f(z) = -5*z + 11. Let p be f(-12). Suppose -4*c = -4*r - 5*c - 81, p = -4*r + c. Are r and -18 nonequal?
True
Suppose n - 4 = -0. Let g = -725.2 - -725. Which is smaller: g or n?
g
Suppose 11*h - 14 = 8. Let s be (-3 - (-4)/h)*13. Is s less than -11?
True
Let p = 57 - 100. Let h = p - -39. Is h less than or equal to -0.03?
True
Let z = 116/621 + -6/23. Is -0.05 >= z?
True
Let d = 5 - 7. Let i be (-4)/(-5) - d/(-5). Is i at least 1?
False
Let c = 946 - 1060. Which is smaller: c or 7?
c
Suppose 3311 = 3*v + 2*j, 5*v - j = -2*j + 5516. Let f = v - 67286/61. Is -1 less than f?
True
Let o = -5 - -5.4. Let f = 0.046 + 12.454. Let q = f - 11.5. Is o > q?
False
Let s = 2 - 3. Let b = -3.74 + 5.8. Let y = 0.06 - b. Does s = y?
False
Let y = -15 + 14.7. Let w = y + 0.2. Let r be (3/(-10))/(24/20). Is r less than w?
True
Let i be (-4)/55 + 1 - 1. Let s = -2/33 + i. Does s = -1?
False
Let d = 7.9 - 8.1. Let h = -32 - -45. Is h != d?
True
Let j = 14.9 - 16.24. Let m = 1.12 - -0.18. Let y = j + m. Are y and -0.1 u