11. Suppose -58*y + 60*y = -v. Let m be d(y). Are 12 and m non-equal?
True
Let f = -6180 + 6187. Is f >= 5?
True
Let r = -12161.2 - -12161. Are 2015 and r non-equal?
True
Let s = 123 - 122. Suppose -319 = 4*x + s. Is -81 at least as big as x?
False
Let w be 18/45 - 54/10. Let d(v) = 6*v + 32. Let u be d(w). Suppose -3*l = -8*l + 5. Is l bigger than u?
False
Suppose -2476 = 15*w + 13544. Is -1069 at least as big as w?
False
Let m = -5393/10778 + 2/5389. Which is bigger: 412 or m?
412
Let l = -0.44 - -155.44. Let k = 155.04 - l. Which is bigger: k or -0.16?
k
Let k = -1029 + 1031. Which is smaller: -0.5225 or k?
-0.5225
Let u be 0 - (720582/(-206) + (-10 - -12)). Let a = u + -3496. Is 0 != a?
True
Let h(k) = 17*k + 20. Let r be h(-3). Let i = r - -36. Suppose -i*z + x = -75, -5*x + 3*x = 3*z - 32. Is z bigger than 13?
True
Let l(p) = -2*p**2 - 150*p + 257. Let j be l(-63). Is 1 <= j?
True
Suppose 19 = 2*y + 95. Suppose 2*c - 5 = -g, 24*g = 19*g + 2*c + 85. Suppose g*o - 16*o = -2*f - 79, 3*f = -o - 106. Which is greater: f or y?
f
Let u(a) = -a**2 - 7*a + 16. Suppose 78 - 12 = -6*m. Let f be u(m). Let c = f - -29. Is -1/23 equal to c?
False
Let i be 66606545/6053250 + -4 + -7. Let z = i + -2/3459. Are z and -1 unequal?
True
Suppose -491*c + 101*c = 4290. Let b be 0 + (-5)/(25/54). Which is greater: c or b?
b
Let v = 72 + -71. Let b be (v - -4) + 25 - 2. Suppose j + 103 = 4*t, -3*t - b = -4*t + j. Are 22 and t equal?
False
Let j be 2160/(-14) + (-1218)/(-1421). Which is greater: j or -152?
-152
Let l be (2/(-3))/(-9 + (-58030)/(-6450)). Suppose -4*z = c - 53, 5*z = 8*c - 3*c - l. Is 44 < c?
True
Let n be 28/8*2*12381/63. Is 1375 less than n?
True
Suppose 357 = -7*s + 2380. Let x be (-4)/6*(-51)/s. Let c(z) = -z**2 + z + 2. Let w be c(2). Which is greater: x or w?
x
Let r = -1225 + 1174. Let l be (-21 + 1)/(4/(-10)). Let k = r + l. Which is greater: k or 0?
0
Let v be (-1)/2*45/5. Suppose 4*x + 10 = -3*c, -9 = 2*c - 3*x + 8*x. Let w = c + -2. Which is smaller: v or w?
v
Let s(i) = i**2 + 3*i - 31. Let g be s(-8). Suppose -g*z = 9*z + 18. Let d = -1954/1673 + 6/239. Which is greater: d or z?
z
Let i be (-2)/(-4)*2 - (1 + -2). Let s be (2 - i)/(-1) + 1. Let x be s + -5 + 2 - 30/4. Which is smaller: x or -10?
-10
Suppose 4*a + 321 = 873. Suppose -38 = -22*t + a. Let j = 18 - t. Is j at least as big as 9?
True
Let t = -163 - -197. Let g = t + -36. Which is smaller: g or 74?
g
Let p(y) = -y**2 - 3*y - 38. Let m be p(0). Let r be (2/(-5))/(m/(-950)). Let a = 3 - 12. Is r equal to a?
False
Let w be (-6)/21 + (-2001224)/1344. Let y = w + 1489. Which is smaller: 1 or y?
y
Let i = -75 - -82.8. Let a = 0.3 - i. Let t be (41*(-48)/(-2952))/((-8)/3). Which is greater: t or a?
t
Suppose 305 - 129 = 8*v. Let w be (279/v)/(66/176). Is 33 less than w?
True
Let x be ((-15)/6)/(156/(-144) + (-2)/(-3)). Let m = -0.02 - -0.06. Let r = -0.07 + m. Which is bigger: x or r?
x
Suppose -5*z = -2*v + 37, -2*v + 19 = 2*v + z. Let o be v/(-9) - (-14)/3. Let x = -4601 + 4600.8. Is x at least as big as o?
False
Suppose -76*j + 1067 = -77*j + 360. Is -1/3 less than j?
False
Let h(b) = b**3 + 11*b**2 + 27*b + 49. Let k be h(-9). Let v be k/(-6) - 4/((-12)/(-15)). Do -24/11 and v have the same value?
False
Let u(z) = z**3 - 12*z**2 - 16*z + 1. Let p be u(13). Let w be -2*(-5)/(-95) + 1402/p. Which is greater: w or -42?
w
Let r be 737/(-6) + 30/(-180). Is -138 equal to r?
False
Let l be 2*(-7 + (-864)/(-126)). Is 1/6338 <= l?
False
Let m be (424/10)/(42/105). Is m less than 741/7?
False
Suppose -4*d + 4 = 2*t - 4, -4*t = -3*d + 17. Let o be t/8 - (99/18 + 1). Which is greater: -7 or o?
o
Suppose 21*h + 445 - 203 = -178. Let c = -29/21 - -5/7. Is c bigger than h?
True
Suppose -28*g + 375 = -25*g. Suppose n + g = 86. Is -2 greater than n?
True
Let u = -2.37 + 2.156. Let s = 0.114 + u. Is s smaller than -103?
False
Let c = 0.03 + 1.97. Let q = c + -5. Suppose -117*s + 355*s = 23*s - 215. Are q and s equal?
False
Let s = -183 - -116. Let k = -52 - s. Is 0.5 < k?
True
Let f = 130 - 119. Suppose -f*k - 19 = -503. Are -1 and k equal?
False
Let v be (1 + 0)*3*(4 + -8). Let o(x) = -2*x**2 - 27*x - 24. Let g be o(v). Let q be 12/(-10) - g/15. Is 5 at least q?
True
Suppose 12*w + 6 = -42. Let l be ((-6)/w*2)/((-5)/5). Let u = -16 + 17. Which is smaller: l or u?
l
Suppose -1840*d + 250516 = -1886*d. Is d <= 0.1?
True
Suppose -j + 3*s - 2 - 13 = 0, -3*j - 40 = -4*s. Let b = 42635902 - 138779859718/3255. Let c = -2/651 - b. Which is bigger: c or j?
c
Let j(z) = -z**2 + 18*z - 6. Let p be j(6). Let a be p/(-230) + 3/15. Suppose 3*q = 3*b + 2*q - 2, 2*b = 4*q + 8. Is b equal to a?
False
Let s be 185419/(-8690) - (8 + -4). Let j = -2044/79 - s. Let n = 2/55 + j. Is -2 < n?
True
Let z be 3 - (-2)/(-2) - 1. Let r = 98 - 101. Let m be 9/r - (34/(-38) + -2). Is m > z?
False
Suppose -35*i + 120 = -45*i. Let t be i/104*12/(-63). Let u(f) = f**3 + 8*f**2 + 8*f + 8. Let m be u(-7). Is t at most as big as m?
True
Let m(b) be the second derivative of b**3/6 + 9*b**2 - b. Suppose -15*a - 5*a = 300. Let k be m(a). Is k equal to 9/5?
False
Suppose 3*o = -4*d - 185, -114 - 179 = 5*o - d. Suppose 2*a + 254 = -4*n, 4*n - 2*a - 8 = -282. Which is bigger: n or o?
o
Let y = 387 + -629. Let l = -235 - y. Which is smaller: 6 or l?
6
Let w = -40 - -278. Let d = -194 + w. Is 42 > d?
False
Let v be 18/14 + (-18)/63. Let g = -7305 + 7147. Which is smaller: g or v?
g
Suppose -3*m - 5*s = m + 4, m - s + 1 = 0. Let z = -1.54609 + 1.89609. Which is bigger: z or m?
z
Let w = 2735 + -2735. Which is smaller: w or -15/34?
-15/34
Let y be (-26)/143 + (-1344)/(-7029). Suppose 0 = -p - 4*f - 17, -3*p - 8 = 2*f + 3. Which is greater: y or p?
y
Suppose -3*x + 152*d = 150*d - 6791, 3*x = -5*d + 6763. Which is smaller: 2254 or x?
2254
Let v(h) = -h**3 + 20*h**2 - 103*h + 503. Let f be v(24). Which is smaller: f or -4274?
-4274
Let k = -84857/5980 - 1/460. Which is bigger: -13 or k?
-13
Let c = -3 - -2. Let h = c + 0. Let o = 1087/21 - 36979/714. Which is smaller: o or h?
h
Let d = -86 - -27. Let k = d + 58.9. Which is smaller: k or -0.047?
k
Let o be 26/(-104) - (-2 - 46/(-8)). Let z be 90/(-33) - (o - -1). Which is smaller: -1/10 or z?
-1/10
Let v = -19897 - -457727/23. Which is smaller: 4 or v?
4
Let i(a) = -23*a + 115. Let y be i(5). Suppose 2*o + y*o - 8 = 5*f, -4 = 5*f - o. Does f = -2/493?
False
Let a = -5058 - -1105. Which is greater: 2 or a?
2
Let w be 3/12 - 5250/(-24). Suppose -w*z + 5544 = -237*z. Which is smaller: z or -307?
z
Let o = 7.838 + 0.662. Which is smaller: o or 2/11?
2/11
Let k(x) = -4*x**2 + 389*x + 1173. Let g be k(106). Is -2538 bigger than g?
False
Let m = 68/835 + -3992271/1670. Let c = m + 2449. Which is greater: 59 or c?
59
Let h = -1838 - -1839. Do h and 8/55 have the same value?
False
Let m = -276.73 + 279. Let z = m - 2.32. Is -4 equal to z?
False
Let w be (16 - 4) + (-70 - -45). Is -27 at most w?
True
Let y be (-16 - -18)*-657 + 6. Which is smaller: -1303 or y?
y
Suppose 4*o = 2*i + 10*i + 744, 3*i = -o + 162. Is 163 <= o?
True
Let l be -9*(91/21 - 4). Suppose 0 = 5*n + 22 + 8. Let g = 0 + n. Is l at least as big as g?
True
Let l = 401.914 + -402. Let q = l + 6.086. Is 1/6 less than or equal to q?
True
Let i = -3529/435477 + 1/1631. Suppose -25*g = -21*g. Is i bigger than g?
False
Let q(x) = x**2 - 9*x + 20. Let v be q(4). Suppose v*o - 4*o = 3468. Let p be -4*((-12)/20 - o/1470). Which is greater: 1 or p?
1
Suppose -15*v + 10*v = -10. Suppose 0 = -2*a - i + 7, a - 6 - 10 = v*i. Suppose 9*b - a*b - 3 = 0. Which is greater: -2/41 or b?
b
Let w(i) = i**2 - i + 1. Let q(v) = 5*v**2 + 2*v + 3. Let r(j) = -q(j) + 4*w(j). Let o be r(-5). Let t be o/(-40)*6/9. Which is smaller: t or 0?
t
Suppose t = 4*t + 36, 2*z + 10*t - 8*t + 6 = 0. Suppose 0 = -f - 2*k + 1, k - 8 = 4*f + 6. Let p be (2 + 8/f)*-12. Which is greater: z or p?
z
Let v = -5372017178/937165 - 7/187433. Which is greater: v or -5732?
-5732
Suppose 0 = y + 2*y + 4*d + 1, -5*d + 5 = 5*y. Suppose a = -y*j + 3*j + 5, -2*j + 3 = -a. Are a and -2 nonequal?
True
Let f = -129955/9 + 14439. Is f <= -43?
False
Let c = 14826 - 14821. Is c > -2/3941?
True
Let i = -0.04 - -1.77. Let a = -2.03 + i. Which is greater: a or -4?
a
Suppose 4*o + 166 = 246. Suppose