pose 7*h - 98 = -119. Is 0 smaller than h?
False
Let x be ((-16)/(-7478))/(352/88). Is x > 1?
False
Let j = -16 - -13. Let p = j + -4. Which is greater: p or -0.1?
-0.1
Let i = -61 + 65. Suppose -3*w + 3 = -3*a, -i*w - 4*a - 17 = -a. Which is smaller: -17/6 or w?
-17/6
Let o = -194/5 - -40. Let r be (0/(-5 + 10))/2*-1. Is r at least o?
False
Let w(r) = -r**2 + 6*r + 18. Let i be w(0). Suppose -6*f = i - 0. Which is smaller: f or -1?
f
Let d = -4/399 - -2801/798. Which is smaller: 3 or d?
3
Let i(w) be the first derivative of 5*w**2/2 - 33*w - 6. Let u be i(5). Does u = 0?
False
Let s be (-372)/(-68) + 33/(-11). Which is bigger: 1 or s?
s
Let x = -0.6 + 1.1. Suppose -3*y = -15, -f + 2*y = -2*y + 15. Is f < x?
False
Let z = 0.0478 - 23.0478. Does -0.29 = z?
False
Let r = -14.4 - -14.356. Let d = r + -4.956. Let f = 0.9 + 0.1. Are d and f nonequal?
True
Let x = -319 + 487. Let u be x/150 + 1*(-3 + 2). Is 1 at least as big as u?
True
Suppose 41*j - 455 = 106*j. Suppose c = -4*d - 23, -5 - 5 = 2*c - d. Is c > j?
False
Suppose -25*t - 188 = -27*t. Let o = t + -143. Is o > -50?
True
Let y = -199 + 93. Let w = y + 2008/19. Let c = -134/57 + w. Which is bigger: c or 0.1?
0.1
Let a = 511 + -456. Is a at most as big as 726/13?
True
Let f be 0 + 1 - 3/(207/60). Let y be -6*((-4)/(-8) - 1) + -3. Which is smaller: y or f?
y
Let z = -6.81 + 9.78. Let u = -3.1 + 0.1. Let g = u + z. Which is smaller: -1 or g?
-1
Suppose 2*o = 3*o - 39. Suppose 19 = 2*z + 3*w, -4*z + 5*w + 54 = -o. Do 16 and z have the same value?
False
Let q = 2 - 2. Suppose 4*v - 6*v = -u - 10, -4*u + 2*v = 16. Let d be (u - -1) + (-28)/(-22). Which is smaller: q or d?
q
Suppose -g + 12 = 3*s, -g = 2*s - 17 + 7. Let u be (-3 - g)/(31/(-4) + -2). Which is smaller: 1 or u?
u
Suppose 55*k = 74*k + 6042. Is -319 smaller than k?
True
Let w(g) = g**3 - 13*g**2 + 12*g + 1. Let n be w(12). Is 4/149 > n?
False
Let o = 96 + -96. Suppose o = -p + 44 + 1. Which is smaller: p or 46?
p
Let j(f) = f**3 - 14*f**2 - f + 18. Let c be j(14). Which is smaller: c or 10?
c
Let j be (1 + (-220)/(-8))/((-3)/(-4)). Suppose -3*h = -5*h + 76. Is j equal to h?
True
Let f be 2*(-5)/(-20)*2. Let m(v) = v. Let r be m(1). Let z be (r/(-1))/(5/10). Which is smaller: f or z?
z
Let v = 57 + -56.9. Let k be (-6)/(-5)*50/15. Let b be (-15)/(-3) + -3 + k. Which is smaller: b or v?
v
Let h(r) = 2*r - 9. Let n be h(6). Suppose -2 = -5*o + n. Let k be 2*1/o*1. Is 2/17 not equal to k?
True
Let u be (3 - 1)/((-1)/(-1)). Let r be (-19)/(-28) + u/(-8). Let v(s) = s**3 + 10*s**2 + 15*s + 151. Let c be v(-10). Are c and r non-equal?
True
Let s = 7 + -4. Suppose -5 - 4 = -s*y. Suppose y*a + 1 = -5. Is -3 bigger than a?
False
Let s be (22 - 20)*((-2)/4 - -1). Is 1/4 greater than s?
False
Let u = -8 - -11. Suppose -3*v = -3*h + 102, -2*h - 2*v - 2*v + 80 = 0. Let y = -32 + h. Which is smaller: u or y?
u
Suppose -321 + 61 = 20*v. Is v less than or equal to -1?
True
Let d be (-18)/8*40/6. Which is bigger: -32 or d?
d
Let y = -10 + 14. Suppose -y*s + q + 6 = 0, 9 = 2*s - 3*q + 1. Let i be -2*(15/2)/(-5). Which is smaller: s or i?
s
Let t = -18 - -11. Let v = 447/725 + -18/25. Let h = v - 49/87. Is h bigger than t?
True
Let j(z) = z**3 + 20*z**2 + 78*z + 45. Let g be j(-15). Let k = -9 - -5. Let m = 0 + k. Is m < g?
True
Let u = 57.63 - 55.63. Let h = -0.04 + 4.04. Is u greater than or equal to h?
False
Suppose -3*n - 16 = 5*n. Let w be (1/(n/8))/(2/1). Which is greater: w or -1?
-1
Let r(x) = -x**3 - 8*x**2 - 8*x - 7. Let q be r(-7). Suppose i - 3*t + 0 - 1 = q, t = -i + 1. Which is greater: 1/10 or i?
i
Let n be (0 - 110)*(-5 + 1561/315). Which is smaller: 4 or n?
4
Suppose -33 = -11*s - 0. Suppose -31 = s*v - 2*d, 4*v = -d - 3*d - 8. Which is smaller: -3 or v?
v
Let i(l) = -l**3 + 42*l**2 - 37*l - 71. Let o be i(41). Is 93 greater than o?
False
Suppose -5*v = l - 28, v = -2*l + 65 - 0. Which is bigger: 34 or l?
34
Let w = 26 + -25. Let a = -35801/1092 + 875/26. Let f = -11/14 + a. Which is smaller: f or w?
f
Suppose -1026*f + 1025*f = 160. Is f > -157?
False
Let x be (12/64)/(3/(-36)). Suppose 9*u - 6*u = -9. Is u less than x?
True
Let k = -151/39 + 10393/156. Are 64 and k equal?
False
Let w = -5/59 - -2665/118. Let x(a) = 2*a**3 + a**2 + a. Let o be x(2). Which is smaller: w or o?
o
Suppose n + 2*n + 20 = -4*p, -5*p = -4*n - 6. Let h be p - 1 - (1 + -3). Let x be (5 + h)/(63/(-14)). Which is bigger: -2 or x?
x
Let o(b) = -b**3 + 3*b**2 - 3*b + 1. Let g be o(2). Let k be ((-12)/(-10))/((-14)/35). Is k != g?
True
Let d = -298 + 204. Let h = d + 94. Which is greater: 3/7 or h?
3/7
Suppose -o + 5*i = -13, -o + 0*o + i = -5. Suppose -12 = -o*m - 30. Is -9 at least m?
False
Let v be 56/(-112)*(-6)/3. Do v and 23/21 have the same value?
False
Let k be (-64)/(-36) - ((-20)/9 - -2). Is k at most -3/4?
False
Suppose 2*f = -27 + 19. Let n(c) = c**3 + c**2 - 7*c + 5. Let k be n(f). Let p = 17 - 33. Which is greater: k or p?
k
Let q be (-6)/(-2) - (225/(-20) + -4). Which is smaller: q or 0.2?
0.2
Let w(f) = -2*f**3 - 4*f**2 + 3*f + 3. Let t be w(3). Let c be t/(-4)*6/9. Let q be 8/7 + c/(-91). Is 0.9 at least as big as q?
False
Let x = 12297/7 - 1753. Is x > 3?
True
Let f = -2/231 + -452/1155. Which is smaller: f or 73?
f
Let c be 0 - (-10)/(280/161). Let w be -2 - -11 - (-2 - -4). Is c not equal to w?
True
Let n = 61 + -59. Suppose -n*m + 19 - 21 = 0. Do 3/19 and m have different values?
True
Let s = 2670.04 - 2728. Let b = 58 + s. Are -8 and b non-equal?
True
Suppose f + 5*r = -23, -3*f + 8*f + 169 = 2*r. Let p = f + 72. Let j be 2/30*p/(-26). Is -1 less than or equal to j?
True
Let t = 600 + -599. Which is smaller: t or 58/55?
t
Suppose -3*v = -3*z - 4*v + 6, 13 = z + 4*v. Is 10/39 >= z?
False
Suppose -26*c = 2402 + 1316. Which is greater: c or -141?
-141
Let s(d) = d**2 - 14*d + 29. Suppose 4*r + 2*p - 40 = 0, -5*r - 4*p + 9 + 38 = 0. Let j be s(r). Are j and 1 equal?
False
Let d = 233.1 + -233. Let f = -245 + 229.1. Let v = d - f. Do v and 1 have the same value?
False
Let w = -8/337 + 1531/21905. Does w = 0?
False
Let y be ((-2)/(-18))/(4/(-68) - 0). Do y and -3 have the same value?
False
Suppose -4*q + 132 = -856. Let f = 1239/5 - q. Are 2 and f equal?
False
Suppose -30 = 4*q - 19*q. Which is smaller: q or 0?
0
Let v be (-75)/220 + 5/20. Let a = 9/22 - v. Which is smaller: 3 or a?
a
Let o(f) be the third derivative of -f**4/24 + 7*f**3/3 - 8*f**2. Let c be o(11). Suppose 3*u - 3*w = -5*w + 4, -2*u = c*w - 6. Which is bigger: u or -0.03?
u
Let s = 0.9 - -0.1. Let o = -20.5 + s. Let z = 0.5 + o. Do -0.1 and z have the same value?
False
Suppose c + 2 = 1. Let q = 15 - 27. Let w be c/(4/q) - 8. Is w greater than or equal to -1?
False
Let t be 18/1980*45/(-48). Is -1 less than or equal to t?
True
Let c(u) = 3*u**3 - u**2 - u. Let z be c(-1). Let m be 2/4*(-21 - -17) - 0. Is m smaller than z?
False
Suppose -2*w - 2967 = -5*w - 2*u, 0 = -2*w - 5*u + 1978. Is 988 <= w?
True
Let a(u) = -u**2 + 21*u + 100. Let c be a(25). Let i be 1 - (-1 - 82/(-42)). Is c at least i?
False
Suppose 2*k - 1354 = k. Let u = -66349/49 + k. Which is bigger: 0 or u?
0
Let k = 409 - -103. Which is bigger: k or 511?
k
Let i = -166 + 166. Let q = 0 + 2. Let v be (-51)/21 + q + 0. Is i at most v?
False
Let i = -0.9468 - 0.0432. Is i greater than or equal to 0?
False
Let p = 35 + -55. Let g = p + 21. Which is smaller: 2/5 or g?
2/5
Let p = -406 + 386. Let j(l) = -l - 4. Let i be j(-6). Let b be (-3)/p - i/(-8). Which is bigger: -2/9 or b?
b
Let h = 577 - 536. Which is smaller: h or 212/5?
h
Suppose -7*o - 717 - 291 = 0. Let f be 4/18 - 400/o. Let v(l) = l**3 - 2*l**2 - 2*l. Let u be v(3). Is u smaller than f?
False
Let f = -75 + 138. Let q = f + -44. Are -0.1 and q equal?
False
Suppose 5*u = -7*u - 480. Which is bigger: -43 or u?
u
Let h be (-18 - 9)*(1 - 0). Let j = -26 - h. Do 5/12 and j have the same value?
False
Let d be (-3440)/(-20) - (-3 - -3). Is d equal to 170?
False
Suppose -103 = f - 104. Which is smaller: f or -1/255?
-1/255
Let t(v) = 8*v - 15. Let q(m) = -m. Let i(z) = 14*q(z) + 2*t(z). Let p be i(15). Is -4 > p?
False
Let h = 2713/645 - 61/15. Which is greater: h or 1?
1
Let m = 1201 - 1184. Is -2/5 at most as big as m?
True
Let p be (-5)/2*(-8)/70. Let x(d) = d + 