 Let l(a) = 0*a**s + a**2 - 1 + 7*a + a. Let z be l(-8). Is 2/5 > z?
True
Let u be (-4)/6*(8 + -5). Let a = u - -5. Suppose -a*d - k = 0, 0 = -4*d + k + 1 + 6. Is d at most as big as -2/9?
False
Suppose 2 = -3*m + h - 1, -15 = m - 5*h. Let c(a) = a + 8. Let i be c(-5). Suppose 3*l + i*b = 6, 0*l - 3*l + 5*b = 10. Is l at most as big as m?
True
Let d = 71 + -21. Is d < 51?
True
Let z be (-6)/20*(-30)/54. Do z and -1 have the same value?
False
Let x(o) = -o + 5. Let s be x(4). Let w = 3 - s. Let p be 5/15 - 2/(-3). Is w at most p?
False
Suppose 0 = -3*h - 3. Suppose -2*s = -3*g - 2, -2*g + 3*s = 2*s + 1. Suppose g = 5*j - 3*j + 4. Is j != h?
True
Let v = 23 + -13. Is 3 at most as big as v?
True
Let w = -35 + 35. Which is smaller: w or 7/8?
w
Let h(r) = r**3 + 7*r**2 - r - 7. Let g be h(-7). Let b = g - -2. Suppose -12 = -3*w + 3*d, w = -0*w - d - 6. Is w at most b?
True
Let s = 2/5 - 3/20. Let n = -7/12 + s. Let t = 0 - 2. Which is smaller: n or t?
t
Let j = -55 - -28. Which is greater: -26 or j?
-26
Let a = 89.8 - 83. Let q = 7 - a. Is q smaller than -0.06?
False
Let d = 8 - 5. Suppose 0 = -d*j, -l - 16 = -3*l + 4*j. Suppose -3*f + 1 + 6 = 5*z, -2*f + l = 0. Is z bigger than -3?
True
Let d(q) = -q**3 + 3*q**2. Let s be 10/(-4)*30/(-25). Let u be d(s). Which is smaller: u or -3?
-3
Suppose 0 = 2*v - 6*v + 4. Is 2/133 at least as big as v?
False
Let r be 250/(-330) + 4/6. Which is smaller: -2 or r?
-2
Let z = -108 + 107. Which is smaller: z or 1?
z
Let f be 1/(-2 - 3/(-2)). Let u be (1/(-2))/(f/4). Which is smaller: 1/14 or u?
1/14
Let o be -1 + 1 + 24/(-180). Let i be -1 - 4/(-1*4). Is i at least o?
True
Suppose 0 = -3*p - 0*p - 6. Are p and -3 non-equal?
True
Suppose -2*s + b = -68, 2*s - 4*s + 56 = 5*b. Is s less than or equal to 33?
True
Let b = 8.1 - 0.1. Let s = -8 + b. Is 1 <= s?
False
Let r be (-4)/3 + 170/6. Suppose -9 = 6*n - r. Which is bigger: n or 5?
5
Let o = -7 + 7.16. Let t = -0.16 - -0.2. Let a = o + t. Which is bigger: -0.4 or a?
a
Let c = -5 + 4. Let g = 66/35 + -1448/805. Is c < g?
True
Let w = -1498 - -2919/2. Let f = w - -37. Are f and -1 non-equal?
True
Suppose 2*w - 1 = -9. Let y = 5 + w. Is y greater than 2?
False
Let c = -114 + 792/7. Which is smaller: -2 or c?
-2
Let k be (8/12)/(3/(-54)). Let s = -8 - k. Is 1 not equal to s?
True
Let g(n) = 10*n**2 + 31*n - 7. Let y(f) = 3*f**2 + 10*f - 2. Let w(l) = 2*g(l) - 7*y(l). Let k be w(-8). Which is smaller: 5/8 or k?
k
Let w(m) = m - 2 - 10 - 3*m. Let r be w(-5). Is -1 less than or equal to r?
False
Let b = -98 - -97. Which is smaller: b or -0.66?
b
Let q(z) = z**2 + 9*z + 4. Let f be q(-6). Which is bigger: f or 2?
2
Let j = -13 - -13.4. Which is smaller: -2 or j?
-2
Let s be (-16)/(-10)*(-10)/(-4). Suppose -6 = m - s*m. Which is greater: 3 or m?
3
Let p(i) = i - 3. Let w be p(5). Suppose w*u + 1 = 3*u. Is u at most 2/35?
False
Suppose 5*h = -4*u - 0*h - 29, 2*u + h = -7. Are u and -1/4 nonequal?
True
Let q be -3 + 2*2/4. Let i = -1037/174 + 52/29. Let p = i + 5/3. Which is bigger: q or p?
q
Let v = 5 + -3. Let m be (-1*v)/(-3 - -2). Suppose 0 = -m*p - 2*l - 3 + 15, 3*l = 15. Which is bigger: -1/4 or p?
p
Let h(a) = a - 20. Let u be h(11). Is -1/4 greater than u?
True
Suppose -4*x - v + 19 = -2*v, -6 = 2*v. Let q = x - 3. Is 1/8 at most q?
True
Suppose -4*j - 3*d + 7*d + 4 = 0, 3*j - 4*d - 6 = 0. Let b = -0.6 - -0.2. Which is smaller: j or b?
j
Suppose 4*k = 3 + 5. Suppose -k*h = -4*c - 16, -3*c - h - 12 = -c. Let s(x) = -x**3 - 4*x**2 - 3. Let i be s(-4). Which is bigger: i or c?
i
Suppose r + 2 = 3. Which is smaller: 1/16 or r?
1/16
Let q = 15838/3 + -5233. Let j = 46 - q. Let i = 0.4 - 0.3. Which is smaller: i or j?
j
Suppose 0 = -3*n - 0*n - 18. Let i = -37/14 - 20/7. Which is greater: i or n?
i
Let j = -15.2 + 11. Let a = j - -4. Is a > -0.2?
False
Let i be -1 - (0 - 10/14). Let z be (-15)/10*4/(-3). Suppose 0 = k + z*k. Which is smaller: i or k?
i
Suppose 0 = -h - 2*h + 33. Let y = 8 - h. Is y at most as big as 2?
True
Let j be -2 - (4 + -7 - -4). Let f(k) = -k - 9. Let w be f(-8). Which is greater: w or j?
w
Let t = -0.25 - -13.25. Let y = t - 12. Are -2/21 and y non-equal?
True
Let s = -6.21 - -6.2. Is s > 3?
False
Let y = 68 + -61. Is y at most 0?
False
Let n = 1 + -1. Let m be n/(-1) - (7 - 6). Which is greater: -3/5 or m?
-3/5
Let c = -9 - 0. Is c at most -7?
True
Let d(u) = -u + 2. Let b be d(-6). Let y = b + -5. Is 3 less than y?
False
Let l(b) = b - 3. Let y be l(0). Let j = y + 7. Do j and 3 have different values?
True
Let o(w) = w**2 + w + 2. Let p be o(0). Suppose -p*d = -5*d + 6. Let y(z) = 2*z**3 + z**2 - z + 1. Let q be y(1). Is d != q?
True
Suppose -24 = 5*u - 4*h, -u - 1 + 0 = 3*h. Let r(f) = f**2 - 6*f + 2. Let k be r(5). Which is smaller: u or k?
u
Let d = 196 + -171. Are d and 24 nonequal?
True
Suppose -4*c = -4*z - 4, 2*z = -5*c - 2*z - 31. Suppose -p - 27 = 21. Let h be (-2)/(-7) + p/21. Is h less than or equal to c?
False
Let b = 2 - 4. Let r = -6 - -3. Which is greater: r or b?
b
Let w = 0.54 + -0.27. Let o = w + -2.57. Let l = -2 - o. Are 2/3 and l equal?
False
Let m = -2 + 2. Let s = -115/5761 + -48833122/144025. Let i = s - -339. Which is smaller: m or i?
i
Let o = -9.137 + 17.571. Let k = 0.034 - o. Let x = k - -8. Is x at most as big as -1?
False
Suppose 0*g = -2*g. Do g and 1/7 have the same value?
False
Let y = -10 - -9. Which is bigger: 0 or y?
0
Let y be 1237/(-12) - 8/32. Let a = -3419/33 - y. Is a > 1?
False
Suppose 25 = 5*a, 11 - 2 = i + 2*a. Let f = 1 + i. Is f greater than 0?
False
Let q = -6 + 6. Suppose -2*i + 5 = 3*i. Do i and q have the same value?
False
Let k be 2*(8/(-13))/(-4). Let c = 29/52 - k. Is c < 0?
False
Suppose -2*a - k = -0*a + 35, a + 4*k = 0. Is -20 greater than a?
False
Let d be (-48)/(-48) - (4/(-2))/(-2). Suppose k = 3*k. Is k > d?
False
Let z = 1.52 - 6.52. Let j = -2 + 1. Is z != j?
True
Let a be 6 + -2 - (-140)/10. Which is smaller: 19 or a?
a
Let c(v) = v**3 - 13*v**2 + 9*v - 16. Let b be c(12). Is b >= -52?
True
Let c = -7 - -2. Let i = 5.7 + c. Which is smaller: 1 or i?
i
Let h = -8966/19 - -472. Are h and 1 equal?
False
Let c be 6 + (2 - 9/3). Suppose d - 7 = -2*r, -4*r - 4*d + 10 - 2 = 0. Do r and c have the same value?
True
Suppose -3*z = 4*k - 11, -4*z + 6 = k - 0*z. Suppose -20 = 6*x - k*x. Is -13/3 greater than or equal to x?
True
Let h = -2 - -2.1. Let u = -3.966 + -0.124. Let c = u + 0.09. Is h less than c?
False
Suppose -22 = 5*i - 62. Which is smaller: -2/7 or i?
-2/7
Let l = -98.2 + 114. Let w = l + -16. Which is bigger: -0.01 or w?
-0.01
Suppose -2*o - 2 + 10 = 0, 2*o - 12 = f. Let h = f + 0. Is h bigger than -2?
False
Let k = -8 - -8. Suppose y + j = 2*j + 6, -3*y + 4*j + 19 = k. Which is bigger: y or 4?
y
Let b be (-2)/6 - 16/24. Which is smaller: b or 2?
b
Let h = -29 + 34. Is 6 at most as big as h?
False
Suppose -w = -2*w - 4*l + 22, 2*w + 2*l - 14 = 0. Which is smaller: w or 12/11?
12/11
Let o = 0.6 + -0.63. Which is smaller: o or 0?
o
Let h = 118.8 - 119. Which is bigger: 11 or h?
11
Let q = -58 - -55. Let n = -473/134 - -2/67. Which is smaller: q or n?
n
Let i(w) = 13*w**2 + w - 1. Let x be i(-1). Which is smaller: 12 or x?
x
Let l be 7 + -3 + 0/1. Suppose -l*j + 3*i + 34 = 0, 0 = j - 4*i + 2*i - 6. Let s be 1 - 2 - (-14)/j. Which is smaller: -2 or s?
-2
Let w = 0.3 - -0.7. Let n = 4.4 - 5. Let z = n + 0.4. Is w at least as big as z?
True
Let p(j) = j**3 - 4*j**2 + 2*j - 5. Let i be p(4). Let t = i + -2. Let f be (-3)/6 - 2/(-4). Which is smaller: f or t?
f
Let g(v) be the first derivative of -v**4/2 + 2. Suppose 3*s - 1 = 2*m - 11, 2*s = -3*m - 11. Let b be g(m). Which is smaller: 1 or b?
1
Let r be (-2)/(-12) - (-2 - 69/18). Which is greater: r or 13/2?
13/2
Let w(o) = o**3 - 14*o**2 + 2*o - 28. Let z be w(14). Which is smaller: z or -1/9?
-1/9
Let v be (-2)/8 - (-5)/12. Does v = 1?
False
Let t = 26 - 21. Suppose 2*d = q + 4*q - t, -d - 2*q - 7 = 0. Which is smaller: d or -6?
-6
Suppose -5*g + 127 + 8 = 0. Suppose -2*a - 70 = 5*a. Let f be (g/225)/((-2)/a). Which is smaller: 0.1 or f?
0.1
Let r be -3 + 1 + -1 - (-19)/6. Let g(w) = -w**2 - 2*w + 1. Suppose p = -n + 1, -4*p - 20 = -4*n - 0*n. Let t be g(p). Which is greater: t or r?
t
Let z = 0 + 1. Let w(d) = d - z + 1 - 2. Let c 