+ 11. Are i and 764 nonequal?
True
Let u = -3 - 0. Suppose 0 = 4*j - t - 144 - 99, 3*j = 2*t + 186. Let l be -6*-6*(-5)/j. Is u greater than l?
False
Let z be 106/477 + (-392)/273. Which is smaller: z or -2?
-2
Suppose 0 = -2*k + 2*h - 14, -3*k - h = 2*k + 65. Suppose 4*b - 2*b + 14 = 0. Let o be 94/k - b/(-42). Is o < -2/15?
True
Let x be 52/(-46)*(-103)/2575. Let s = x + -111732/4025. Which is greater: -29 or s?
s
Let j = -3788 + 4026. Which is smaller: j or 247?
j
Let d be ((-4)/20 + (-12)/90)*15. Let t = d + -24. Is -2 at most as big as t?
False
Let v = 54343/1606176 + -29/864. Is v less than 1?
True
Let i(x) = x**3 + x**2 - x - 3. Let q(g) = -g**2 + 1. Let f(h) = -i(h) + 3*q(h). Let p be f(-4). Is p less than 1?
False
Suppose 4*s = -5*o - 16 - 43, -5*s + 95 = -5*o. Let y be (4/(-6))/(3/(-9)) - -4. Let h be o/4 - (-10 + y). Which is greater: h or -10?
h
Let z(b) be the first derivative of b**3/3 + 17*b**2/2 + 111*b + 63. Let p be z(-6). Is 45 >= p?
True
Let x be (3/2)/((-10)/(-20)). Let c be (x + 0 + -2)*-17. Suppose -5*s = -9*s - 64. Is c at most s?
True
Suppose -2*t + 6 = -4. Let u(h) = -6*h**2 - 5*h - 5. Let g be u(t). Let b = g - -1982/11. Do 1 and b have different values?
True
Suppose 12*w - 2 = 46. Let b be (-36)/10*w/(-3). Let t = -18/5 + b. Which is greater: 6 or t?
6
Let q = -0.19 - 220.81. Let t = 207 + q. Are 0.3 and t equal?
False
Let b(m) = m**3 - 8*m**2 + 40*m - 95. Let t be b(4). Is t <= 33/215?
False
Let s = 1124 + -8072/7. Suppose -3*v - 97 = -5*l, 5*l = -2*v - 1148 + 1100. Is s < v?
True
Suppose -9*t = -t - 32. Suppose 0 = -t*l - 486 - 74. Is l at most as big as -141?
False
Let f be (-6)/(-9)*(702/12)/13. Suppose -6*p + f + 3 = 0. Does 2/525 = p?
False
Let u be (-1 + 10/(-6))*(-45)/12. Suppose -u*i + 645 = -7*i. Let g = 3869/18 - i. Which is greater: 0 or g?
0
Let i be 44 + 1 + -3 + 5. Let g = -52 + i. Let f(y) = 2*y**2 + 10*y - 8. Let j be f(g). Is -0.5 equal to j?
False
Let q(a) = -46*a - 1131. Let c be q(-47). Do 1033 and c have different values?
True
Let q = 5400 - 5399. Which is smaller: -2/7411 or q?
-2/7411
Let a = 1144 - 989.8. Let k = a + -151.2. Let n = -1 + 1.12. Which is greater: k or n?
k
Suppose -3*s + 17 = 2*t + 2*t, 5*t + 4*s - 22 = 0. Let x be (t/(-1))/(1722/63). Let c = x - 73/123. Is c at most as big as -2?
False
Let z(g) be the second derivative of -g**4/12 + g**3/2 + g**2 + 35*g. Let d be z(4). Let v be 29 - (d + (-2 - -3))/1. Are v and 29 nonequal?
True
Let w be (45/4 - -2)/(39/(-18668)). Let m = 6243 + w. Which is smaller: m or -98?
m
Let p = 46 - 70.8. Let q = p + 24.7. Which is bigger: 2.88 or q?
2.88
Let n(o) = -132*o**3 + 2*o + 2. Let v be n(-1). Let p = v + -100. Let x(f) = 3*f**2 - 2*f - 2. Let r be x(-3). Which is smaller: p or r?
r
Let v = -20246 + 20245.89. Which is smaller: v or 45/2?
v
Suppose 7 = 11*w - 8*w + 5*k, k + 2 = -4*w. Is w != 14/767?
True
Let f = 1.88791 + 0.11209. Are f and -7578 non-equal?
True
Let j = -2146 + 2155. Which is bigger: -0.158 or j?
j
Let p be 3674/220*(-2 - 5/(-3)). Let b = p - 1/10. Is b bigger than 4/7?
False
Let m = -5529 - -5532. Which is smaller: m or 9.9?
m
Let k = 62.7 + -2.7. Let j = -83.7 - -22.7. Let s = k + j. Is -3 greater than or equal to s?
False
Let l = -206 - -290. Let g = -84 + l. Which is greater: g or 1/230?
1/230
Let w be -7 + (-58051)/637 + (7 - (-93)/(-13)). Which is smaller: -97 or w?
w
Let l be 4*((-6)/(-16))/(45/(-32610)). Which is smaller: -8685/8 or l?
l
Let l = 37 + -37. Let u be (-2116)/(-180) - (2/10 + l). Let z = u + -71/6. Which is smaller: z or 0?
z
Let q = -4981 + 4823. Let i = 2 - 2. Which is bigger: i or q?
i
Let u = -4075 + 4020. Suppose -223 = 4*v - 4*z + 3*z, 5*z = 4*v + 219. Which is smaller: u or v?
v
Suppose t + 9 = 4*t, -2*t + 6 = -s. Let n be s - 0 - 10416/(-140). Is 73 at most n?
True
Let p = 51 + -51. Suppose -3*i - 5309 = -p*i - 2*y, 16 = 4*y. Let a be (-2)/(-10) + i/810 + 2. Which is smaller: 0 or a?
0
Let l = -0.22552 + -24.77448. Let c be (-8)/(-3) + (-2)/3. Is l at most as big as c?
True
Let d(f) = 3*f**3 + 143*f**2 + 111*f + 87. Let u be d(-47). Which is smaller: u or -714?
-714
Let l be ((-824)/515)/(2/60). Suppose 5*b + 2*j = -j - 270, -3*b = 5*j + 162. Which is smaller: l or b?
b
Let k = -2611 + 2613. Which is greater: k or -450?
k
Let p(y) be the second derivative of 2*y**4/3 - 61*y**3/6 - 4*y**2 + y - 44. Let r be p(9). Which is smaller: -0.1 or r?
-0.1
Let w = -63173 - -63428. Let x = 185/3 - 61. Which is greater: x or w?
w
Let g = -3495 + 7157/2. Let d = 1471 - 1387. Is d less than or equal to g?
False
Suppose 4*p + 3*h = 259, -5*p + h + 245 + 55 = 0. Suppose 4*o - x + 2*x = 254, 0 = o + 5*x - 73. Which is bigger: p or o?
o
Let d = -157.36 - -130. Let s = d - 0.64. Let b = -222 + 222.1. Which is greater: b or s?
b
Let i = -58 - -56. Let g be i + 6*((-75)/(-9))/(-5). Let z(f) = -12*f**2 + 1. Let y be z(1). Do y and g have the same value?
False
Suppose 12*v - 8*v + 8 = 2*y, y + 5*v + 10 = 0. Suppose -3*k + 5*o = 9*o + 11, -3*k + o - 1 = y. Is k smaller than 2/57?
True
Suppose 14*i = 118 + 36. Suppose i*f = -6*f + 391. Let y be (-1*22)/(-3 - -2). Is f equal to y?
False
Let j = 1796 - 1823. Is -15 greater than j?
True
Let o(r) = 7*r + 3. Let w be o(6). Suppose -d = -3*z + 52, -6*z + z + 96 = -4*d. Let f be (w/10)/((-12)/z). Is f greater than -1?
False
Let v be (-1)/((16/(-2))/2). Let h = 2048.6 - 2247. Let y = 199 + h. Is v at least as big as y?
False
Let j(t) = -t. Let r be j(1). Let p be r*(2 + -3)/1. Let f be (3 - 2 - 1)*p/3. Which is smaller: 2/169 or f?
f
Let j be (-9 + (-637)/(-78))/(70/(-678)). Do j and 0.1 have different values?
True
Let d be (-12)/(-8)*(-50)/(-25). Let p be (-1 - 12/(-9))*3. Is d less than p?
False
Let m(p) = -p**2 + 10*p - 13. Let b be m(5). Let q(k) = -4*k - b*k - 7 - 2*k + 11*k. Let c be q(4). Is c greater than or equal to -34?
False
Let h be (1/15)/((-1878)/(-15)). Let c = -38021 + 38021. Which is smaller: h or c?
c
Let q be (133/35 - 2)*15. Suppose 3*p + 0 = -3. Let t be (-9)/q*3/p. Which is smaller: -5/21 or t?
-5/21
Let l(y) = -y**2 - 82*y - 787. Let j be l(-11). Which is smaller: 131 or j?
j
Suppose -49 = 4*o - 5. Let r = -0.0492 - 0.1748. Let w = -0.324 - r. Which is smaller: w or o?
o
Suppose -4*g + 2*l = -8, -3*g + 3*l + 2*l - 1 = 0. Suppose -g*n - 3*n = n. Are n and 2/59 nonequal?
True
Let w = -2055 - -2040. Which is greater: w or 27?
27
Let z(m) be the first derivative of m**3/3 + 9*m**2/2 + 8*m - 1. Let t be z(-7). Let h(g) = -842*g + 5048. Let l be h(6). Which is bigger: t or l?
l
Suppose 5*n + 12*w - 2095 = 9*w, 0 = 3*n + 3*w - 1257. Let i = n - 515. Is i smaller than -92?
True
Let m(c) = -4*c + 25. Let b = 194 + -192. Let y be m(b). Are y and 12 nonequal?
True
Let z = -127 + 99. Let a = z + 86. Let f = a - 62. Is f < 3/4?
True
Let m(w) = w**3 + 3*w**2 - 2*w - 1. Let d be m(-3). Let h(z) = d*z - 2 - z**2 - 6 - 3*z**2 + 5. Let x be h(2). Which is smaller: x or 2/9?
x
Let h = -0.189 + 30.489. Let j = h + -32. Let a = -597 + 597.2. Do j and a have the same value?
False
Let z(i) = -5*i**2 - 160*i - 1210. Let u be z(-12). Let b(g) = g**2 + 3*g - 1. Let h be b(-5). Let r be (-6)/h - (-4)/(-3). Is u >= r?
False
Let u = 9880 + -70503677/7136. Is u at most 1?
True
Suppose 15*k + 2607 = -1893. Let b be (-56)/(-36)*k/(-70). Which is greater: 7 or b?
7
Let a = 776 + -1211. Let z(x) = -2*x**2 + 43*x - 1. Let q be z(29). Which is smaller: a or q?
q
Let a = -3.7014 - 184.5086. Let f = a + 189. Let t = 0.59 - f. Which is smaller: 3 or t?
t
Let t be (0 - -11) + (66 - 63). Which is greater: t or 3?
t
Let y = -67.99 - 1.01. Let j = y + 91. Which is smaller: 4 or j?
4
Let d be (-219)/215 - (-2)/2. Let q(t) = t**3 - 132*t**2 + 338*t - 10139. Let a be q(130). Which is bigger: a or d?
a
Suppose 29*a = 66*a - 27*a - 3720. Is 0.2 <= a?
True
Suppose -79046 - 153 = -29*n. Which is bigger: n or 2734?
2734
Let m be -3 + (-50)/(-14) + (-7362)/168. Which is smaller: m or -44?
-44
Let t be ((-6)/(-8))/((-9)/(-1736)). Which is bigger: t or 2?
t
Suppose -2*i + 205 + 15 = 0. Let k = -145 + i. Let b be (-20)/k + 3/7. Which is bigger: 15/16 or b?
b
Let m(d) = 2*d**2 + 3*d - 8. Let g be m(-7). Let k = g - 64. Suppose 4*q = 5*r + 29, 0*q + 58 = k*q + r. Do q and 10 have different values?
True
Let w b