 be 80/2070*3/u. Is w at least as big as 1?
False
Let x = 4.636 + -0.036. Let j = 4.9 - x. Which is bigger: 1 or j?
1
Let t = 214.8 + -212. Suppose 15*d = 14*d + 1. Is t != d?
True
Let l be (-1)/10*-13 + 543/(-1810). Are 9/40 and l nonequal?
True
Let f = 0.13 + -0.13. Let n = f + 1. Let y = 2099/1165 - 2/1165. Which is bigger: y or n?
y
Suppose -p + 11 = -34. Suppose -5*j + 5 - p = 0. Is j < -6?
True
Let i be (-2 - 10/4)*-84. Let b be (8/(-12))/(2/i). Let s = b - -880/7. Do 1 and s have different values?
True
Let v = 1.8 - 1.84. Let b = -0.06 - v. Let d = -0.02 - b. Is d > 4?
False
Let u = 77.03 + -31.57. Let i = -0.46 + u. Which is smaller: i or -0.1?
-0.1
Let d = 3093 - 3092. Let u = -365415/8 + 740619/16. Let p = -612 + u. Which is smaller: p or d?
p
Let g = 251 + -260. Is -9 at least as big as g?
True
Let u = -801 + 802. Let x = 5 - -3. Suppose 3*n + 5 = x*n. Is u greater than n?
False
Suppose 0 = -2*l - l + 24. Suppose 5 = -5*n, -5*h = -l*h + 2*n + 50. Which is smaller: h or 18?
h
Let v = 3 + 2. Suppose 5*l + 10 = 5*r, v*r + 5*l - l + 8 = 0. Is 0.17 greater than r?
True
Let f = 1.38 + -1.68. Which is smaller: f or -38?
-38
Let v(j) = j + 15. Let y be v(-10). Suppose y*t = 3*n + t + 528, 3*n + 5*t = -528. Let w = n + 1413/8. Is 0 less than or equal to w?
True
Let n = -60.11 - -60. Let p = -0.11 + 0.1. Let f = n - p. Which is bigger: -2 or f?
f
Let x(q) = 4*q**2 + 59*q - 19. Let j be x(-18). Do 215 and j have the same value?
True
Let j = 1672.9 + -1599. Let h = j + -74. Is -41 smaller than h?
True
Let m be (14 + 1)*(-4)/(-10). Let j = -647 - -647. Is j at most m?
True
Let t(n) = -2*n**2 + 10*n + 22. Let f be t(6). Is 2 less than f?
True
Suppose a + 3*f - 18 = -7, -2*a + 14 = 4*f. Suppose 4*n + 25 = -143. Let y be (-2)/7 + (-54)/n. Do a and y have different values?
True
Suppose 118 = p + 121, -2*s = -3*p - 437. Is 211 greater than s?
False
Suppose 132 = 3*q + 3*r, 0*r - 3*r + 179 = 4*q. Is 42 equal to q?
False
Let t(g) = 9*g - 383. Let k be t(13). Is k > -264?
False
Let a(w) be the first derivative of -w**4/4 + 5*w**3/3 + 7*w**2/2 - 3*w + 1. Let z = -42 - -48. Let h be a(z). Is -1 > h?
False
Suppose 20*v + 30*v + 3250 = 0. Is v != -66?
True
Suppose -5*r + 208 = -27. Let j(q) = q**2 + 4*q + 1. Let p be j(-4). Is p smaller than r?
True
Let i(k) = k**2 - 6*k + 2. Let a be i(7). Suppose -8*q - 31 = -a*q. Let l = q - 32. Which is smaller: l or -1/19?
l
Let r be (-104336)/(-56)*(-2)/16. Let b = -911/4 - r. Which is smaller: 5 or b?
5
Let u = 211/12 + -95/6. Is u at most as big as -3/2?
False
Let h be -2*-6*(-2)/6. Let x be (h/(-6))/((-36)/27). Which is smaller: x or -3?
-3
Let r be ((-7)/28)/(1/(-4)) + -998. Which is smaller: r or -996?
r
Suppose 4 + 11 = -5*f. Let a = -830 - -829. Are a and f unequal?
True
Let r(z) = z**3 - 23*z**2 + 17. Let d be r(6). Is -595 >= d?
True
Let u(d) = -d**2 + 12*d + 18. Let r be u(11). Suppose -r + 5 = 6*m. Is -6 at least as big as m?
False
Let j = -1275 + 1206.3. Let d = -61 - j. Which is smaller: d or 1?
1
Let z = -4.3 - -1.3. Let u be 44/14 - 113/791. Which is smaller: z or u?
z
Suppose 26 = 3*k - 82. Let a = 43 - k. Which is smaller: 11 or a?
a
Suppose -2*s + 6*s + 4*k = -20, -13 = s + 5*k. Let u be (-8)/3 - (-8)/12. Is s at most as big as u?
True
Let k = -11 + 80. Which is greater: -1 or k?
k
Let i(h) = h**3 + 5*h**2 + 4*h + 21. Let x be i(-5). Is x at most as big as -1/139?
False
Let t = 1760 + -1655. Is 106 >= t?
True
Let h be (-5 + 57/12)/(6/24). Which is greater: 6/289 or h?
6/289
Let a be 4/(-2)*5/(-10). Suppose a + 1 = 2*g. Let b = 152 - 1066/7. Is b bigger than g?
False
Suppose -v - 1 + 2 = -5*h, 4*v = 4. Let m be ((-1)/(16/30))/((-69)/(-11201)). Let y = m - -304. Are y and h non-equal?
True
Let s(a) = 12*a + 13. Let t be s(1). Let z be (-2)/3*1 - -1. Which is smaller: z or t?
z
Let z(q) = 2*q**2 - 19*q + 46. Let m be z(4). Is 50/71 greater than m?
False
Let c = -374 - -1872/5. Is c <= 2/5?
True
Let c(p) = -7*p - 5. Let q(v) = v + 1. Let i(d) = -c(d) - 6*q(d). Let z be i(-3). Is z smaller than 0?
True
Let s be -10 + 3 - (-2816)/408. Is s less than 1?
True
Let f = -1098 + 1289. Which is smaller: 193 or f?
f
Let w(u) = -u**2 + 5*u + 10. Let z be w(7). Let s be (-3)/(-2*z/(-48)). Let c be 4/s*(-12)/(-16). Is c > -1?
True
Suppose 0 = -d + 3*m + 35, 0 = 2*d - 3*m + m - 62. Suppose 2*f - 5 - 3 = x, -x = 5*f + d. Let i be (12/(-9))/(x/(-6)). Which is smaller: 0 or i?
i
Let l = 14 + -8. Suppose -221 = 19*g - 183. Are l and g equal?
False
Let a be (1/6*-4)/(6/(-27)). Suppose -5*h + s + 22 = 7, -3 = 3*h - a*s. Let t = -1 + 3. Is h > t?
True
Suppose 40 = -13*j + 3*j. Suppose 3*g = -6 - 0. Do g and j have the same value?
False
Suppose -24 = -4*z + 5*q, 3*z + 2*q + 4 + 1 = 0. Let x be z - (1 - (-2 - -1)). Let s be x + 7*10/66. Is s greater than or equal to 0?
True
Let u(i) = -18*i + 65. Let q be u(4). Are q and 4 equal?
False
Let l(p) be the third derivative of p**5/60 - 3*p**4/8 - 13*p**3/6 + 5*p**2. Let s be l(10). Let m be 10/(-25) + s/5. Which is smaller: -1/5 or m?
m
Let g be -2 + 2 + (-2)/8. Let v(b) = -b**3 - 3*b**2. Let k be v(-3). Suppose k = 6*q - 5*q + q. Are q and g non-equal?
True
Let l(o) = o**3 - 2*o**2 + 4*o - 4. Let t be l(2). Suppose 10*r - 6*r = t. Is r greater than -1/8?
True
Let v = 167 - 109. Suppose 0 = -6*o - 10 + v. Which is bigger: o or 2?
o
Suppose 103 = 62*n + 41. Is n > -6/583?
True
Let n(t) = -t**2 - 2*t + 2. Let s be n(3). Let d = s + 16. Suppose 0 = -d*x + 3*v + 27, 0 = 2*x + 4*v + 9 - 39. Are x and 12 non-equal?
True
Suppose 105 = b + 4*b. Suppose t - 4*y = 17, -t + 5*y + b = -0. Suppose 6*d = 4*d - 6*d. Which is greater: d or t?
t
Let b be ((-40)/64)/(1/5). Which is smaller: -3 or b?
b
Let v be (-258)/56 - (-6)/(-24). Let t = v - -4. Let x = 0.1 + -1.1. Which is smaller: t or x?
x
Let p = 5 + -2. Let o(k) = k + 2. Let i(a) = 1. Let z(r) = -4*i(r) + o(r). Let t be z(7). Which is smaller: t or p?
p
Let o be 2779/63 - (7 + -10) - 4. Is 44 <= o?
False
Let v(o) = -7*o**2 + 2*o**2 - 1 + 2*o**2 + 3 + o**3. Let b be v(3). Let x be 2/3*6/(-4). Which is bigger: x or b?
b
Suppose 6 + 2 = -z. Suppose -12 = 4*c - 4*g, -3*g = -4*g. Let i(s) = s**3 + s**2 - 2*s + 4. Let d be i(c). Is z less than or equal to d?
True
Suppose -47 = 4*r + 465. Do r and -129 have the same value?
False
Suppose 2*h + 345 = b, 0 = -0*h + h - 4*b + 162. Let k = -111 - h. Is 63 at least k?
True
Let i(p) = 3*p**3 - 2*p - 1. Let k be i(-1). Let o = 23.988 + 0.112. Let c = 24 - o. Which is smaller: k or c?
k
Let l be (9*2/(-2))/1. Suppose 0 = -25*r + 16*r - 90. Let i be 8/r*(-1 + l). Which is smaller: 0 or i?
0
Let b = -93 + 94. Is -4/183 != b?
True
Suppose -529 = 5*g + 2*o, -g + 3*o + 30 = 129. Is -105 smaller than g?
False
Let i = -127607/4655 - -12/931. Which is greater: i or -28?
i
Let r be 1 - -6 - (4 + -2). Let y = r - 4. Let o be (-7)/14*4/26. Is y not equal to o?
True
Let a = 3.17 + 0.83. Let q = a - 3.9. Which is smaller: -2/3 or q?
-2/3
Suppose -2 = -10*l - 2. Which is smaller: l or -9/8?
-9/8
Let p = -11 - -10. Let r be 158/(-42) - -5 - (-3 - -4). Is r at most as big as p?
False
Let x be (-2*(-3)/2)/((-12)/20). Is 2/41 at most as big as x?
False
Suppose 5*z - 3*z + 106 = 5*j, z = 3*j - 64. Let v(i) = -i**2 - 45*i - 21. Let u be v(-45). Let g = j + u. Is g at most as big as -3/8?
False
Suppose -3*s - 5*g - 11 - 164 = 0, 0 = 4*s - g + 218. Let c be (-14)/(-5) + (-11)/s. Suppose 2*p - 2*f = -4*f - 4, -3*p + 6 = -c*f. Are p and -1/23 unequal?
True
Let z be (-1)/2*(-60)/(-18)*-3. Suppose -z*d - 9 = 6, -r + 4*d + 21 = 0. Is r bigger than 6?
True
Let h be 24/3 + -9 - 1/(-2). Which is greater: 68 or h?
68
Let a be 10/(-3)*420/175. Which is smaller: a or -64/7?
-64/7
Let m(q) = q - 17. Suppose -4*c = -y - 3, c + 4*c = 20. Let t be m(y). Which is greater: t or -42/11?
-42/11
Suppose -7*i + 445 - 18 = 0. Is i >= 62?
False
Let v(l) = -l**3 + l - 4. Suppose 0 = r - 2*r. Let f be v(r). Let q be (f/2 - -1)/(-1). Is q at least -2/7?
True
Let k be (-3)/264*(0 - 249). Let q = k + -27/8. Let i = 10 + -10. Is i less than or equal to q?
False
Suppose 36 = 5*n + 11. Do n and 4 have the same value?
False
Let n be 6/8 + (-3615)/(-60). Let r(j) = j**3 - 7*j**2 + 7*j + 11. Let a be r(7). Which is bigger: n or a?
n
Let w(f) = f**2 - 13*f 