 = -959 + 1332. Are 0 and w equal?
False
Let k = 22.2 + -32. Let x = 5.8 + k. Let h = -2 - -2.4. Which is bigger: x or h?
h
Let z(d) = -d - 19. Let k be z(-16). Suppose -2*g = b + 7, -3*b + 7*b = g + 17. Suppose 0 = -b*q - 7*q + 11*q. Which is smaller: q or k?
k
Let y be 3/(-7) + (-380)/(-70). Let g be 2/y*(-35)/14. Let t be (-88)/(-56) + g + -2. Does -1 = t?
False
Let o be -1*((-1)/(-6 + 5) + 10). Let w be (5 + -2)/((-77)/o). Suppose 2 = -2*b + 4. Which is smaller: b or w?
w
Suppose -9*n - 17282 = -18182. Is -40 equal to n?
False
Let i = 2990 + -3494. Which is smaller: i or -1511/3?
i
Let l(t) = -132*t**2 + 499*t + 116. Let n be l(4). Let q(k) = k - 306. Let s be q(0). Let h be (-6)/(-4)*8/s. Is h != n?
True
Let u = -27.932 + -0.068. Let p = 1802.07 - 1830. Let f = u - p. Is 0.2 > f?
True
Let z = 36 - 48. Let m be (z/(-7))/(34/119). Let s(r) = -r**3 + 6*r**2 - 1. Let a be s(m). Which is bigger: a or 2/95?
2/95
Let l = 0.071 - 1.311. Let a = 3.97 - 3.87. Is a less than l?
False
Let s(k) = -3*k**2 - 15*k - 33. Let j be s(0). Is j at most as big as -50?
False
Let l = 206 + -202. Suppose 0*q = -l*q - 2*j + 6, 4*q + 5*j = 9. Which is bigger: 38/21 or q?
38/21
Suppose -5*q + 336 - 806 = 0. Let p be -3 + q/(-40) + (-8)/(-32). Which is greater: p or -44?
p
Suppose 0 = -13*a + 18 + 8. Suppose -6*g + g + 3*c - 140 = 0, -3*g = -a*c + 85. Are g and -25 equal?
True
Let c = 2 - 2. Suppose -149 - 184 = -7*l - 46. Suppose c = a - l + 51. Do -7 and a have different values?
True
Let p be (-6)/30 + 83397/(-15). Which is bigger: -5559 or p?
-5559
Let y = 3 - 36. Suppose -4*k + 36 = -8. Let o be y/k - (1 + -3). Which is bigger: o or -1/32?
-1/32
Let l = 229.897 + -230. Let p = -5.103 - l. Let q = 36/5 + -262/35. Is p <= q?
True
Let o = -0.07 - 3.93. Let z = 0 + o. Suppose 2*c = 6*v - 18, 31*c - 36*c + 165 = 6*v. Which is smaller: v or z?
z
Let m be -15 + 1 - (-33)/11. Let l = -6707/120078 + 2/6671. Is l greater than or equal to m?
True
Let v(c) = c**3 - 10*c**2 - 24*c + 40. Suppose 0 = -2*o + 989 - 965. Let g be v(o). Is g less than or equal to 39?
False
Let q be (3 - 65/26)/(2/(-4)). Which is bigger: q or 16/65?
16/65
Let c(u) = u**3 + 35*u**2 + 3*u + 104. Let h be c(-35). Are h and -1/6869 equal?
False
Suppose 0 = 2*w - 5*w. Let l be 0 - w - 60/15. Let b be l + (-186)/(-45) + 0. Which is bigger: 0 or b?
b
Let z be (-28)/(-126) - 2344/18. Let h = z + 131. Are 2 and h non-equal?
True
Let i = -6/187 - 344/935. Let n be (2*(-2)/176)/2. Which is smaller: i or n?
i
Let o = 1.767 - 1.667. Which is bigger: 0.39 or o?
0.39
Let g = 1.008 - -0.052. Let f = g + -0.06. Let b = -332.2 + 332.9. Is f equal to b?
False
Suppose k + 5*t = 3, -k + 8*t - 12*t + 2 = 0. Which is greater: 1535 or k?
1535
Let g(x) = -11*x**2 + 27*x - 85. Let i(p) = 5*p**2 - 14*p + 43. Let h(a) = 4*g(a) + 9*i(a). Let k be h(15). Is 8 >= k?
True
Let a = -1946.53 + 1953. Are 0.1 and a unequal?
True
Suppose 0 = -w - 5, 8 = 2*a + w + 191. Is a >= -95?
True
Let q(d) = d**2 - 52*d + 819. Let i be q(14). Are 1433/5 and i nonequal?
True
Let x = 205/268 - 184069/1340. Let n = 137 + x. Is n > -1?
True
Let t(m) = 297*m + 2267. Let g be t(-7). Which is bigger: 183 or g?
g
Let n(p) = p**2 + 6*p + 1. Let f be n(-8). Let q be 5/((-45)/(-1038))*(-6 - -9). Let u = q - 328. Are u and f nonequal?
True
Let v = 26 + -94. Let q be 4 + 0 - (v/(-18) + 0). Let r be 1/(-1) + 8/12. Which is greater: r or q?
q
Suppose 0 = -5*k + 8*k - 75. Let p be (45/k)/((-1)/5). Let y be (-6)/p - 98/156. Which is greater: y or 0?
y
Suppose -2*c = -8, -2*c - 39 + 48 = k. Is k at most as big as 7/492?
False
Let q = -47 + -4. Let k = q - -22. Let z = -28.9 - k. Which is greater: z or 14?
14
Let k = -5305/2108457 - 2/6007. Let j(u) = -u**3 + 17*u**2 - 15*u - 16. Let f be j(16). Is f != k?
True
Let s be 48/(-15) + 4/(-5). Let l be (-176)/(-126) + s/(-18). Let z = l - 4/3. Which is smaller: z or 3/5?
z
Suppose -3*k = -6*k - 138. Suppose -5*f = -4*n - 1437, -112 = 3*f + n - 964. Let x be (-15)/(-6) - f/6. Is x at most as big as k?
False
Suppose -43*i + 1556 = -45*i. Let p = i + 550. Let u be 3 + (5 - p/(-16)). Is u greater than or equal to -7?
True
Suppose -4*z + f = 22610 - 7305, 2*f - 15310 = 4*z. Is -3825 > z?
False
Let i(r) = -157*r**2 + 14*r + 103. Let t be i(-6). Is t <= -5634?
False
Let c(l) = l**2 + 39*l + 225. Let h be c(-6). Is h less than 46?
True
Suppose -25304 + 3194 = -5*s. Let a be (-22)/(-5) - 4 - s/30. Which is smaller: a or -146?
a
Let w be 3*(2 - 5) + -3209 + -2. Is w equal to -3219?
False
Let o = -828 + 834. Let t = 42 - 48. Is o greater than t?
True
Suppose 2*x - 164 = -2*v - 38, 4*x - 317 = -5*v. Let m = 69 - v. Let l be 9/(162/m) - 0. Is -1/9 equal to l?
False
Suppose -3*q - 2*c + 14 = 0, -4*c - 36 = -2*q - 0*c. Suppose 5*g = -3*g - q. Do -7/15 and g have the same value?
False
Let f = -8497 + 195433/23. Are f and 1 unequal?
True
Let r(v) = -336*v - 11. Let l be r(2). Is -686 >= l?
False
Let q = 6959.98 + -6960. Let o = -0.43 - -0.4. Let n = o - -0.15. Which is smaller: q or n?
q
Suppose 0 = p - 4*p + 5*k + 636, -2*p + 5*k = -419. Let l = p - 218. Is -10/7 less than l?
True
Let h = -263 + 259. Let t be h + (-282)/(-35)*10/20. Which is greater: 0.1 or t?
0.1
Let c be ((1990/(-1791))/(1/6))/2. Let r = -1.1 + 1. Which is bigger: r or c?
r
Suppose -20*l = 1887 + 11913. Let t = l - -722. Which is smaller: -8 or t?
-8
Let h(z) be the third derivative of -7*z**5/60 + z**4/24 - 3*z**3/2 - 7*z**2 + 13*z. Let k be h(-4). Is -125 smaller than k?
False
Let a(x) = 4*x**2 + 4*x + 32. Let z be a(-5). Let r = 94 - z. Let w be (-1*r/366)/((-6)/(-8)). Which is greater: -1 or w?
w
Let p = -82903/6 - -13786. Let z(b) = -3*b**3 - 247*b**2 - 69*b + 1035. Let w be z(-82). Which is bigger: p or w?
w
Suppose -52*b = 28*b - b - 79. Is b at most as big as 875/4?
True
Let t = 1434 + -186. Suppose 11*n + 3020 = -t. Do -389 and n have the same value?
False
Suppose l + 156 - 139 = 0. Let s(a) = -15*a**2 + a - 1. Let v be s(1). Is l at most as big as v?
True
Suppose -y = 2*y - 21. Let q(l) = y + 6*l + 0*l - l**2 + 12 + 12. Let j be q(9). Is 7/2 > j?
False
Let p = 276 + -107. Which is greater: p or 0?
p
Let r(q) = q**3 + 6*q**2 - 9*q - 11. Let f be r(-7). Let v be 16/12*(27/12)/f. Is v at most as big as -23?
False
Let v(i) = i**3 + 7*i**2 - 6*i - 74. Let x be (-3)/21 - 82/14. Let u be v(x). Which is smaller: u or -22/15?
u
Suppose -2*c + 4*i + 42 = -172, 3*i + 15 = 0. Which is bigger: c or 1/52?
c
Suppose -u - 2*z = 120, -3*z = 34*u - 36*u - 268. Suppose -4*p + 2*d + 8 = -7*p, p - 3*d - 1 = 0. Let o be (p/16)/(224/u). Is 1 greater than o?
True
Suppose 11*x + 4*z + 19 = 12*x, -5*x = -z - 19. Suppose x*v - 1207 = -w, -9*v + 7*v + 790 = -3*w. Are 401 and v non-equal?
False
Let k = 1/2256 + 2251/11280. Are k and 2569 unequal?
True
Let w be -12*42/(-56) + (7 - (1 + 1)). Is w not equal to 18?
True
Let n = 30827/140072890 + 2/38167. Is n greater than or equal to 0?
True
Let c = 14936 - 672082/45. Let f = -281/360 - c. Suppose 1 = -q - 0. Is f >= q?
False
Suppose 18*o + 795 = 543. Let x be -4 + 2 - -41 - -3. Suppose -3*l = -6*l - x. Is o less than or equal to l?
True
Let u(g) = -16*g - 1223. Let l be u(0). Let j = l + 86830/71. Is 0 <= j?
False
Let v = 192.623 - 204.623. Let b = -1 + -8. Which is greater: b or v?
b
Suppose -20*s = 626 - 686. Is 15/8 at least s?
False
Suppose 180*p - 189223 = 553817. Is p != 4131?
True
Let y be (-9132)/11 - (-60)/10. Let c = y + 824. Which is bigger: -46 or c?
c
Let y = -33.026 + -10.584. Let l = -0.39 + y. Let t = l + 54. Are t and -1/2 nonequal?
True
Let d = -6013 + 5899. Do -141 and d have the same value?
False
Suppose 16*b - 4*b - 12 = 0. Let x be (2 + -1 + b)/(-2). Let i = -2/9 + 55/126. Which is smaller: i or x?
x
Suppose 28301 - 5330 = -80*y - 7829. Is y equal to -389?
False
Suppose 28*n - 2792 = 3284. Is n not equal to -0.5?
True
Let t(z) = -z**2 + 8*z + 6. Let i be t(8). Suppose 5*c + 7 + 5 = -y, -3*c - 15 = -2*y. Suppose y*o + 15 = 3*w, 36 = 4*w + 18*o - 14*o. Is i greater than w?
False
Let r = 11 - 23. Let v = r - 8. Let a = v - -19.7. Is a < -3/8?
False
Let c(p) = -p**3 - 48*p**2 - 28*p + 48. Let x be c(-47). Which is smaller: x or -846?
-846
Let o = 176.6 - 145.1. Is -2/9 <= o?
True
Let t = 262 - 38. Suppose t = -45*d + 