u - 2*t. Let s = -56/3 + u. Is s <= o?
True
Suppose -4*y = 2*i + 2, 16 = 6*y - 2*y - 4*i. Which is smaller: y or 2/69?
2/69
Suppose 0 = -32*q + 35*q - 3. Let t = 1/83 - 122/3237. Is q != t?
True
Let q = 22 - 40. Let w = q + 17. Is 4/13 at least as big as w?
True
Let j be (-1)/(-4) - 15/(-4). Suppose -j*m + 2 + 6 = 0. Suppose m*t = -t. Does t = -1/6?
False
Let g be (-7)/(-1) - (10 + -7). Let s = g + 14. Let p be (-9)/s*(-4)/(-7). Is 0.2 less than or equal to p?
False
Let z = 6 - 2. Suppose s - z*s = -120. Let u = s + -362/9. Which is smaller: -2/7 or u?
-2/7
Suppose -5*l - 95 = -5*z, 3*z + 11 = 4*z - 5*l. Is z at least 24?
False
Suppose -3*c - 4*y = -29, 23 = c - 6*y + 4*y. Let o be (0 - 3/c)/(6/12). Which is greater: 3/20 or o?
3/20
Suppose 2*d - 3 - 4 = -c, 3*c + 12 = 5*d. Let s be ((-12)/16)/(d/(-6) - -2). Which is smaller: 3/19 or s?
s
Let h = 15.1 + -15.73. Let s = h + 0.43. Is s smaller than 6?
True
Let l = -1.24 - -1.3. Let b = -10.06 + l. Let s = b - -9.92. Which is greater: 1/3 or s?
1/3
Let r(m) be the first derivative of -m**4/4 + 4*m**3/3 - m**2/2 - 3*m + 2. Let h be r(3). Let z = 1322 - 1323. Which is greater: h or z?
h
Let c = -0.9 - -1. Let r = -0.046 - -20.046. Let u = r - 19. Is u smaller than c?
False
Let z = 0.05 - -0.15. Let p = -42.4 + 42.69. Is p less than z?
False
Suppose 2*u = 2*s + 12, 3*u - 2*s - 2*s = 19. Let a(l) = 9*l - 35. Let w be a(4). Which is bigger: w or u?
u
Suppose -3*u = 2*m - 0*m - 19, 7 = m + u. Let x be 1/m + (-39)/(-6). Suppose -n = 2*n + 2*o - x, 9 = n + 2*o. Which is greater: n or -1/12?
-1/12
Let x(y) = -y - 24. Let o be x(10). Let g = -31 - o. Is g <= 1?
False
Suppose 0 = 35*j - 36*j - 168. Is -168 at least j?
True
Suppose 4 = -2*s - 4*t, s + 2 = 4*t - t. Let z = 1240 + -13656/11. Which is bigger: s or z?
z
Let i be 2/(3 - ((-86)/(-6) - 2)). Which is smaller: -0.2 or i?
i
Let w(v) = v**3 - 6*v**2 + 6*v - 6. Let g be w(5). Let o be ((-639)/3)/(78/4). Let x = -1408/117 - o. Is x >= g?
False
Suppose q - 1 = 0, -2*q + 4*q + 50 = 4*j. Let n = 28 - 12. Let r = n - j. Is r less than 4?
True
Let d(z) = -z**3 + 5*z**2 + 3*z. Let f be d(3). Let s = 28 - f. Which is smaller: s or 1/37?
1/37
Suppose -22*n = -4*z - 27*n - 20, 4 = -4*z - n. Is 5/11 greater than z?
True
Let p = -89/11 + 4251/539. Is p greater than or equal to 1?
False
Suppose i = 5*a - 246, 34 - 54 = -5*i. Is 0.04 != a?
True
Suppose -13 = -3*k + n, -k - 4*n = 2*k - 8. Suppose 0 = -k*w - w. Let d be 14/(-77) - (1 + -1). Is d greater than w?
False
Let f be (3 + -4)/((-14)/4 + 3). Suppose -4*t = t + f*t. Which is smaller: t or 4/3?
t
Let l be -4 + 0 + 1 + -87. Let t = -59 - l. Suppose -5*k = -4 - t. Are 8 and k non-equal?
True
Let l = 1801 - 5564/3. Let z = 2090/39 + l. Let s be (-5 - 5/(-5)) + 3. Is s greater than z?
False
Let h = -69 + 89. Let o be (8/h)/(-2) + 42/(-40). Is -2 bigger than o?
False
Let k = 47.945 - -0.055. Let v = k + -47. Is 2 > v?
True
Let f = 15 + 9. Let g(j) = 6*j**2 + 195*j - 388. Let p be g(2). Is f at least p?
False
Suppose 2*i + 2 = 2*v, -10*i + 4*v = -7*i + 5. Let l = 1682/2919 + -2/417. Which is smaller: l or i?
l
Suppose 5*l + 3 = 63. Suppose c - l = 5*c. Suppose -3*q = -2*q + 3. Is c <= q?
True
Let c be -7*(15 - (-1908)/(-126)). Let j be ((-2)/(-84))/((-1)/4). Are j and c nonequal?
True
Let s(d) = -2*d. Let r be (-3)/4 - (-17)/(-4). Let i be s(r). Suppose 2*l - 6 = -4*n + 36, -7 = -n + 3*l. Is n > i?
False
Suppose 3*y + 12 = -6. Let v = y - -8. Let s = 1 + -5/7. Is v at least s?
True
Let r(m) = -11*m**3 - m - 1. Let k be r(-1). Let f be 192/80 + (-9)/(-15). Suppose -z - 4 = -f*j, 3*z + 1 = j - k. Is j less than 1/14?
True
Let g be 4/190*((-48)/(-6) + -9). Is 0 <= g?
False
Let f = 1.63 - -3.37. Which is bigger: f or 0?
f
Suppose v = -4*v + 10. Suppose -2*l = -4*t - 20, -4 = -v*l + 4*l + 2*t. Suppose -k = -x - 1, l*x + 13 = x + 4*k. Is x equal to 4?
False
Let z = 513.934 + -514. Is z greater than or equal to 7?
False
Suppose -4*b + 612 = 5*j, 5*j + 459 = 3*b + 8*j. Is b equal to 153?
True
Suppose -3*v = -3*n - 3, 0*v = v - 3. Suppose -5*b = -n*b. Which is smaller: 1/2 or b?
b
Suppose -q + 16*q = 15. Suppose -2*f - 6 = r - 0, -20 = 5*r. Which is greater: f or q?
q
Let n(s) = s**3 - 6*s**2 - 6*s + 9. Let u be n(7). Suppose -u*h - h = 17. Does -2/15 = h?
False
Let h be ((-6)/(-4) - 1)*40. Which is smaller: h or 22?
h
Let u(a) = -11*a + 4. Let p be u(-16). Let d be p/(-385) - 4/(-22). Let t(v) = -v**3 + 6*v**2 + 6*v + 2. Let k be t(7). Is k greater than or equal to d?
False
Let b = -10/87 - -1094/435. Is 16 >= b?
True
Let h = -756 - -726. Which is smaller: h or 5?
h
Let o = 278.1 - 279.1. Let g = 452 - 8590/19. Is g <= o?
False
Let j = 0.04 - -1.96. Let c = 5 + 20. Let q = 24.91 - c. Is j less than q?
False
Let v = 2 - 2.3. Let u = -281 - -280. Which is bigger: v or u?
v
Let q be (-2*(-4)/10)/((-88)/4). Which is smaller: -1 or q?
-1
Let w be 18*(-5 + -1 - -1). Let p be w/(-5) + (-3)/(-1). Let u = 52 + -31. Is u >= p?
True
Let w(t) = 6*t - 238. Let s be w(56). Which is greater: -3 or s?
s
Let u be (4 + -8)*(-88)/8. Let n(y) = 2*y**2 - 3*y. Let c be n(-4). Is u greater than c?
False
Let f(d) = 9*d**3 - 17*d**2 - 15*d - 11. Let c(p) = -5*p**3 + 9*p**2 + 8*p + 6. Let k(g) = 11*c(g) + 6*f(g). Let s be k(-2). Which is smaller: s or -3?
-3
Let o = 103 - 96. Suppose -3*x + o*x + 204 = 0. Is -50 < x?
False
Let d = -12/493 + -2321/5916. Which is smaller: d or 0?
d
Suppose -5*h = 14 + 1. Let x be (-5)/110*(-36)/h. Suppose -n = n + 4. Which is smaller: n or x?
n
Let s be 10875/29 + 1 + 2. Which is greater: s or 377?
s
Let v(y) = -14*y + 75. Let s be v(8). Which is bigger: s or -36?
-36
Suppose -25 = -11*a + 151. Is 9 != a?
True
Suppose -3*i = -2*i - 21. Let f = 112 - 182. Let s be (9/(-5))/(i/f). Is s >= -1?
True
Let x be ((-4)/6)/(4/(-30)). Let d = 813 + -808. Is x > d?
False
Let r = -192580/133 + 10138/7. Let i = -1/39 - 71/273. Is i smaller than r?
True
Let k be (-2041)/(-26) - (9/(-6) - -2). Let x = 6 - k. Which is smaller: x or -71?
x
Let l = 708/92773 - -1/821. Let d = l - -1803/565. Which is smaller: d or 2?
2
Let q = 31 + -4. Let b(p) = p**3 - 12*p**2 - 13*p + 27. Let r be b(13). Is r less than or equal to q?
True
Let u be 3/(-9) + 1/3. Let b = 65/8 - 69/8. Are b and u equal?
False
Let p = 41 - 27. Let j be (-2)/(-2 - p/(-8)). Let s = j - 16. Is 1/2 at least s?
True
Let z = -2 + 14. Let m(h) = h - 17. Let y be m(z). Let s = -6 - y. Is s <= -1/2?
True
Let v(y) = -16*y**2 - 6. Let z be v(2). Let f = z - -73. Which is greater: 0.15 or f?
f
Let b = 1 - 0.4. Let d = b + -1.8. Let i = d + 0.8. Is 2/7 > i?
True
Let d be (2/(-2))/((-29)/1943). Is 62 not equal to d?
True
Let m = -0.683 - 375.317. Let j = -372.01 - m. Let y = 4 - j. Which is smaller: 1/3 or y?
y
Let p = -114.8 + 114.6. Which is greater: p or 56?
56
Let u(v) = v**2 + 5*v + 6. Let t be u(-5). Suppose -5*m = -4*m - t. Which is smaller: 5 or m?
5
Let p = 71 + -85. Which is greater: p or -8?
-8
Suppose -5*z - 5*f + 0*f = -1035, -2*f - 1035 = -5*z. Which is greater: 206 or z?
z
Let l = -874/11625 - -4/375. Let b = 20 - 8. Let d = -11 + b. Is l equal to d?
False
Suppose 3*c = c. Let h(o) = -4*o - 79. Let w be h(-20). Which is bigger: w or c?
w
Let i = 8701 - 8700.994. Suppose 4 - 2 = -2*m + 3*k, k = -m - 1. Is i less than m?
False
Let k = 1/36 + -95/828. Let s = 6 + -3. Let o(l) = -l + 4. Let q be o(s). Which is bigger: k or q?
q
Let t = -15 + 77/5. Let y be (-12)/(-8) + -2 + -1 - 860/(-584). Is y greater than or equal to t?
False
Suppose 3*r = 5*r - 8. Let i be (-6)/r + 5/5. Is i equal to -5?
False
Let k = 121453/61 - 1991. Is -5 greater than k?
False
Let j be ((-2)/(-1) - -1) + -1. Let z = -2 + j. Let k = 257/3 - 85. Are z and k unequal?
True
Let x = 692.9 + -693. Let q = 16 + -10. Which is bigger: x or q?
q
Let w = -32 - -24. Let u(n) = -n**3 - 6*n**2 + 15*n + 4. Let k be u(w). Suppose 2*c - c - 3*h + k = 0, -4*h + 2 = c. Is c >= -5?
False
Let h = -9.78 - -10. Let w = h - -2.28. Let o = -1.5 + w. Which is smaller: 0.15 or o?
0.15
Let t = -27.34 + -0.66. Let k = 19.106 + 0.894. Let f = k + t. Is -1 at least as big as f?
True
Let f be (-2)/6 - 10*(-2)/6. Suppose -7 = 5*y - 3*r - r, 3*y - 2*r = -f. Which is greater: -2/33 or y?
y
Suppose 2*a + i = -0*i + 13, 4*a - 4*i - 56 = 