 < -1?
True
Let d be 2/(-17) + (-350)/(-85). Let h(x) = 17*x + 5. Let v be h(d). Suppose 4*i = v - 21. Is i at least 0?
True
Suppose 3*n + 3*n = -222. Let f = n - -37. Which is smaller: 3/29 or f?
f
Let v be ((-3185)/(-1596) - 2)/(10/75). Is -1 equal to v?
False
Let y = -10 - -6. Let q = y + -11. Let u = q + 14.9. Is u at least 2?
False
Let r = -13.461 - -0.461. Which is bigger: r or 0.1?
0.1
Let z = -226 + 159. Let s = -67 - z. Are s and -1/3 nonequal?
True
Let j = -891.1 - -571. Let o = j + 347. Let f = -27 + o. Is -0.1 less than or equal to f?
True
Let f = -7 + 11. Suppose -3*s - f = 2. Let m = 25/7 + -103/21. Is s greater than m?
False
Suppose -4*q + 5 = -3. Suppose 4*f + q*o = 12, -3 = 5*f - 2*o - 18. Suppose f = b - 11. Do 15 and b have different values?
True
Suppose 5*i - 3*x = 80, -3*i + 3 = 4*x - 45. Do -6 and i have different values?
True
Let t = -501/7 - -72. Suppose 4 = -0*b + 4*b. Which is bigger: b or t?
b
Let b = 60 + -481/8. Suppose 0 = 2*p - 3 + 15. Let r(o) = o**3 + 7*o**2 + 7*o + 5. Let d be r(p). Is d at most b?
True
Let y = 10/31 + 275/589. Is y > 2?
False
Let n = 38 - 18. Let j = 21 - n. Which is smaller: j or -1/16?
-1/16
Let b = -4/221 - -5095/663. Which is bigger: b or 8?
8
Let h be 49/(-21)*3 + 7. Which is bigger: h or 6/137?
6/137
Let b = -2.56 - -1.56. Which is bigger: b or 5.1?
5.1
Suppose 0 = -2*h + 8*x - 11*x - 27, -3*h + 5*x - 12 = 0. Is h smaller than -7?
True
Let l(k) = 2*k**3 + 9*k**2 + 7*k + 14. Let n be l(-4). Are n and -4.1 equal?
False
Let o be (0/1)/(1 + 1). Let h be (-1)/3 + o + (-4)/6. Which is smaller: h or -1/31?
h
Let x be -1 + -4*2/(-40). Suppose 5*n - 20 = n, -2*n = -3*s - 10. Which is greater: s or x?
s
Suppose 3*z = 3*n + 18, -n - z - 112 + 98 = 0. Is n >= -69/7?
False
Let t = 1702/13 + -131. Suppose 5*h - 2*r - r - 24 = 0, -2*r = -5*h + 26. Let f = h + -5. Is f equal to t?
False
Suppose -b - 7 = 11. Let q be (18/12)/(b/56). Is -4 <= q?
False
Let t be ((-1)/(-14))/((-33)/(-66)). Let n(v) be the third derivative of v**5/60 - 5*v**4/24 - v**3 - 2*v**2. Let o be n(6). Is o at most as big as t?
True
Let z = 192 - 193. Which is smaller: z or -2/143?
z
Let j = 25 - -28. Suppose 0 = 5*v - j - 7. Which is smaller: 3 or v?
3
Let q be (-6)/(-21)*(-1)/(-8). Suppose 0 = 3*a - 8*a. Is a > q?
False
Let j(x) be the first derivative of x**4/4 + 5*x**3/3 - 2*x**2 - 6*x + 32. Suppose -6*u = -u + 25. Let i be j(u). Is i equal to 15?
False
Suppose -42*j = -24*j - 5472. Is 304 != j?
False
Let h = 3 + -6. Let s be (h/6)/((-1)/10). Let g be ((-29)/(-464))/(1*(-4)/(-32)). Which is smaller: s or g?
g
Let u = -288 - -291. Suppose -4*j = -5*j + 2. Is j greater than u?
False
Suppose -5*b - 119 - 91 = 0. Let r be (0 - -3) + b/8. Let n be 1 + 3/(-3) + -2. Which is smaller: n or r?
r
Let u = 47/155 - -3/31. Which is bigger: u or 10/9?
10/9
Suppose -8*l + 27 - 19 = 0. Let z = 188/429 + -11/26. Let y = -205/462 + z. Is l at least y?
True
Let a = 988 + -1004. Let v = 19 + -31. Is v <= a?
False
Let t = 40 - 40.008. Let k = -0.992 + t. Is k not equal to -1/8?
True
Suppose 47*y = -630 + 66. Is -58/5 <= y?
False
Suppose -8 = 4*r, 4*q + r = 6*r + 6. Which is smaller: q or 2/87?
q
Let r(f) be the second derivative of -f**4/12 - f**3/3 - f**2/2 - f. Suppose 0 = o - z + 3, 3*o + 0*z + 5*z = -1. Let j be r(o). Are j and 0 equal?
False
Suppose 0 = -n - 4*k + 20, -n + 3*k - 15 = n. Let p be 1/(((-9)/45)/((-8)/(-60))). Is n at least as big as p?
True
Let v = 81 - 161. Which is smaller: -83 or v?
-83
Let a = 1793 + -1783. Which is smaller: a or -3.7?
-3.7
Let i be (1/5)/(10/2255). Let z = 97/2 - i. Let f be (-2)/1 + (1 - -3). Which is greater: z or f?
z
Let b(u) = u. Let j = -24 - -52. Suppose -j = 6*m - 2*m. Let q be b(m). Which is bigger: q or -5?
-5
Let t = -27 - -9. Let d = 120 - 107. Suppose 0 = d*s - 12*s + 19. Do s and t have the same value?
False
Let u(h) = h**3 - 9*h**2 - h + 10. Suppose -g + 3*s + 9 = 0, -8 = -2*g - 0*s - 4*s. Let b = 15 - g. Let m be u(b). Is 1/9 at least as big as m?
False
Let u(l) = -7*l. Let b be u(-4). Suppose 6*g - 6 = 7*g. Let k = 33 + g. Does k = b?
False
Let n be 230612/84 - 4/6. Let i = n + -2773. Let k = -28 - i. Is 2/3 at least k?
True
Let h(d) = -85*d - 935. Let j be h(-11). Which is greater: j or 2/1185?
2/1185
Suppose -5*a - 2*m - 1880 = 0, -7*a + 2*a = -4*m + 1910. Let p = a + 6424/17. Which is smaller: p or 0?
p
Let t be ((-153)/51)/(6/(-4)). Let z = -1 - -2. Which is smaller: t or z?
z
Let w = -2406401/1994832 - 1/31664. Which is greater: 0 or w?
0
Let w(b) = -25*b + 103. Let i be w(7). Is i less than -72?
False
Let w = 19 - 19.11. Let t = w + 0.21. Which is bigger: -3/16 or t?
t
Let l be (-24)/9 + 2/(-6). Let k = 7 + 29/2. Let m = k - 21. Which is smaller: l or m?
l
Suppose 25 + 23 = 3*d + 3*u, -5*d + 4*u + 98 = 0. Let w = d + -6. Let z = 18 + -7. Which is smaller: w or z?
z
Suppose 7*y = 17*y + 100. Let s(b) = -b - 4. Let a be s(-1). Is y greater than a?
False
Let z be 4/(-8)*7*(-70)/245. Let p = -52 + 25. Let s be 3/p + (-1)/(-1). Is s at least as big as z?
False
Let x(d) = 0*d**3 + 23*d + 15*d**2 - 3*d + d**3 - 4. Let p be x(-14). Let r be -3 + p/(-84)*3. Is r bigger than -1?
True
Let q(y) = -y**2 + 33*y + 65. Let k be q(37). Is k less than -2?
True
Let p be (96/(-3276))/(4*2/12). Which is greater: 0 or p?
0
Let j = 3 + 1. Let q be -2 + (1 + 5)/(-3). Let k be (-2)/q - 4/(-8). Which is bigger: k or j?
j
Suppose 4*g = -3*m - 18, 3*m - 2*g = -0 - 18. Let b be (2/m)/(85/45 - 2). Is b <= 2?
False
Let h = -115 - -66. Suppose 0 = p - 11*p + 140. Let f be 24/p + (-14)/h. Which is greater: f or 4?
4
Let m(h) = -h**2 + 4*h - 5. Let w be m(3). Let p be 0*(w - 21/(-9)). Suppose -4*u + p*u - 8 = 0. Which is smaller: -2/3 or u?
u
Let k = -4.85 + 10.85. Which is smaller: k or -34?
-34
Suppose 6*x + 5*x + 33 = 0. Which is smaller: -53/26 or x?
x
Let f = -78 - -75. Which is bigger: 1/17 or f?
1/17
Let r be 396/528*(1 - (-5)/(-3)). Is r bigger than 390?
False
Let p be 104/(-5) - (0 - 4/(-20)). Let l be (12/42)/((-18)/p). Which is smaller: l or -3/4?
-3/4
Let u = -10.6 + 11.6. Is u at least 11?
False
Suppose 13*y = 4*y. Is y at most as big as 96?
True
Suppose 2*z = v - 16, -4*v = 4*z - 21 + 5. Let q(b) = b**3 + 9*b**2 + 14*b - 3. Let f be q(-7). Let y be (-10)/v - 0/f. Is -2 smaller than y?
True
Let t(h) = 4*h + 13. Let c be t(5). Let z = c - 40. Is z equal to -7?
True
Let v = 111 + -83. Suppose 0 = -15*t + 8*t + v. Which is greater: 5 or t?
5
Suppose 5 = -3*f - 19. Suppose -18 + 1 = h. Let b be (h - 1)*6/12. Which is smaller: f or b?
b
Let g = 285/2 - 137. Let q be (-178)/64*(53 + -51). Let s = q + g. Which is bigger: 1 or s?
1
Let v(g) = 2*g - 11. Let t(z) = z. Let x(k) = t(k) - v(k). Suppose 2*f + 4*o + 13 = 41, o - 28 = -4*f. Let r be x(f). Which is greater: 1 or r?
r
Let c = 22.94 - 17. Let u = 6 - c. Are u and -2 equal?
False
Let z = 1686 + -1595. Is z bigger than 90?
True
Let g be (-34)/24 - (-4)/6. Let n = -362.08 - -362. Is g at most as big as n?
True
Let f = 7 - 23/4. Suppose 5*y - 9 = 4*c, 0 = -2*y + 2*c - 3*c + 1. Suppose g - 1 = r + 4, 5*g - y = -r. Which is smaller: g or f?
g
Let t = -28.3 - -29.3. Is 0.23 at least as big as t?
False
Let z(n) = -2*n - 1. Let c be z(-6). Let w(l) = 4 - 5 - l**2 + c*l + 2. Let i be w(11). Which is smaller: i or -2/9?
-2/9
Let a be (-2 - 2)*(-3)/6. Let n = 20 - 14. Suppose a*b + 0 - n = 0. Is 5 bigger than b?
True
Let m(q) = 4*q**2 + 95*q + 79. Let n be m(-23). Is 118/13 > n?
False
Let z = -659 - -582. Which is greater: -80 or z?
z
Let a be (5 - -2)/(-7)*-87. Which is smaller: a or -2?
-2
Suppose -2*w - 2*w = 72. Let c = -11 - w. Suppose 22 = -4*p + 5*h, 5*p + 5 = -c*h + 2*h. Is -3 >= p?
True
Let z be (22/(-55))/((-2)/300). Suppose 2*p = -10*p - z. Are p and -4 non-equal?
True
Suppose 3*c = -5*j - 3 - 7, 0 = -3*c - 2*j - 4. Suppose 4*t - 12 = 2*n - 4*n, c = 2*n + 3*t - 10. Suppose n*o = 12 + 8. Is 10 < o?
False
Suppose -3*r - 4 = -7. Let h(u) = u**3 - u**2 - 95. Let t be h(0). Let a = t - -95. Which is bigger: r or a?
r
Let i(o) = o + 12. Let b be i(-11). Let d = 5 + b. Suppose 2*z = 3*p + 11, -4*p + d*p = -6. Is z < 7/8?
False
Let g = -353 + 449. Is g <= 96?
True
Let l = -16.8 + 21.8. Which is smaller: l or -1.2?
-1.2
Let m be 13365/(-5022) + 10/4. Is -1 smaller