 -1.6 - -11.6. Let i = 5 - m. Let j = 23546/9 - 2616. Which is greater: i or j?
j
Let v be 16 - (220/(-22) + 20). Let i = -3135/13 + 241. Is i < v?
True
Let h be (4/(-210))/((-8)/(-342)). Let z = h + -3/70. Suppose 7*w + 8 = 3*w. Are z and w nonequal?
True
Let l = 2.31 - -1.69. Let q = l + -5. Is 0.011 less than q?
False
Let i(q) = -2*q**3 - 47*q**2 + 25*q + 24. Let t be i(-24). Is -0.4224 smaller than t?
True
Let w = -16447/5 + 3289. Let h = 0.1 + 0.3. Let y = -5.4 + h. Which is smaller: y or w?
y
Let w = 249.2 + -232. Let l = w - 17.1. Is l > -0.211?
True
Let f(s) = -s**2 - 50*s - 184. Let u = -221 - -217. Let q be f(u). Which is bigger: q or -5/23?
q
Suppose -k = 2*v + 2418, 0 = 9*v - 5*v + k + 4832. Is -0.2 equal to v?
False
Suppose 54 = 2*r - 2*j, -122 = -4*r + 5*j - 11. Suppose -v + 0*v = 2*f - r, 2*f - 88 = -3*v. Which is greater: v or 3?
v
Let y = 32688 + -32619. Which is smaller: 88 or y?
y
Let o(m) = m + 13. Let y be o(-8). Suppose -3*k + y*k = 0, -3*k + 3 = 3*g. Let u = -100.1 - -96. Which is bigger: g or u?
g
Let v = -3644 - -3520. Is -123 greater than v?
True
Suppose 43*m + 90 = 88*m. Which is smaller: m or 154?
m
Let d = -28062777/1316 - -149270/7. Which is greater: d or 1?
1
Let g(v) = 4*v - 18. Suppose 2*i = 2*f - 20, -5*f - i - 37 = -105. Let h be g(f). Which is smaller: 32 or h?
32
Suppose 7*m = 9*m + 108. Let k be (-6)/m*(-6)/(-32). Suppose 15*v = 3*v. Do v and k have different values?
True
Suppose -160*a + 201*a = 53587. Which is smaller: 1305 or a?
1305
Suppose -4*v + 88 = -5*t, -4*t + 0 = 16. Let i(j) = -j**3 - 5*j**2 + 6*j + 5. Let m be i(-5). Let a be ((-120)/m)/((-3)/(-10)). Is a at least v?
False
Let p = 795678/31 - 25705. Which is bigger: p or -37?
-37
Let s = -5 + 3. Let i(f) = -87*f**3 + 4*f**2 + 6*f - 11. Let l be i(1). Let j be (6/l)/(s/(-16)). Is 0.3 not equal to j?
True
Let l = 773 + -481. Let s = 6 - 3. Let u be l*s/294 - (2 + 1). Is 0 < u?
False
Let k = 114523/9 - 12725. Let j = -12.4 + -1.6. Is k != j?
True
Suppose 0 = -3*u + j - 4*j - 6, -5*u - 2*j = 4. Which is smaller: -20/247 or u?
-20/247
Let f(y) = -55*y**2 - 11*y + 19. Let w be f(-2). Which is smaller: -711/4 or w?
w
Let r(u) = 6*u**2 + 1. Let d be r(1). Let z be (-3645)/21 - 3/d. Let j = 1220/7 + z. Is j at least as big as 11?
False
Let x = -7457/29780 - -3/7445. Which is bigger: -17603 or x?
x
Let y = 22 + -21.991. Let h = y - 22.009. Let c = -11 + h. Is -0.1 equal to c?
False
Suppose 4*x - 2*d = -184, 2*x + 3*d + 30 = -62. Let n be (x/12 + 8/6)*4. Which is greater: -14 or n?
n
Let r(t) = t**3 + 14*t**2 + 2*t + 23. Let s be r(-14). Let p be 0 - (-4)/3*s/(-750). Which is greater: p or 0?
p
Let n be -63 + 6 + (-1)/(0 - 1). Let a = n - -46. Let o be ((-48)/(-160))/((-32)/a). Does o = -0.1?
False
Let g = -318.8 + 330. Let k = 11.1 - g. Which is smaller: -1/229 or k?
k
Let j = -19224 + 19516. Let w = -0.03 - -0.03. Is w greater than or equal to j?
False
Let p = -58248.934 + 58306. Let b = p - 0.066. Let q = -2.3 + 2.4. Is q != b?
True
Let t(o) = 1128*o + 4448. Let x be t(7). Is x bigger than 12345?
False
Suppose -2 = o - 4. Let n be (2/1 + -2)/o. Let q = 0.76315 - 0.55315. Which is greater: n or q?
q
Let x = -0.225 - -0.235. Let u = -0.83 + 0.03. Let v = 0.8 + u. Is v at least as big as x?
False
Let i = 4/325 + -333/650. Let u = 29 - 28.83. Let b = u + 0.21. Is i smaller than b?
True
Let f be (182/(-5))/(1/(-10) - 0). Let h = f + -2047. Let t be 0 + 4/34 + 504/h. Which is smaller: t or -4?
-4
Let d = -35968353/991 + 36295. Which is smaller: d or 1?
d
Let l be 2 - 2 - (-3 + 3 - 4). Suppose j - 10 = -l*j. Which is greater: 14/27 or j?
j
Let w(p) = 210*p - 681. Let z be w(2). Is z less than -270?
False
Suppose 13*f = -f - 714. Let g = 57 + f. Suppose -12 = -2*s + 2. Does s = g?
False
Let r = -7056 - -6979. Which is smaller: r or -60?
r
Let q(i) = i**2 - 91*i - 502. Let l be q(0). Is -500 at most l?
False
Let m = 191/1420 - 6/71. Let g = 2/125 - 79/250. Let y = g + m. Is 0.16 greater than or equal to y?
True
Let a = 62 + -57.9. Let n = 158 - 157.7. Which is greater: n or a?
a
Let z = -9441 + 7741619/820. Is z greater than or equal to -1?
True
Let p = -638 + 672. Which is greater: p or 1/2?
p
Suppose -5*m + 49 = 9. Let j be m - 4 - (-3 + 1 + 0). Suppose 2*d = j - 2. Is d bigger than 14/9?
True
Let x(i) = 3*i**2 + 25*i - 18. Let j be x(-9). Do -2/45789 and j have different values?
True
Let i be ((-78122)/(10 + -21))/(0 + 14). Let n = i - 507. Is 352 greater than n?
True
Let j be 5 + 2/(-1) - 652169/217289. Suppose -22*a = -14*a + 8. Are j and a equal?
False
Let y(u) = -3*u + 55. Let c be y(19). Let a(j) = -j**3 - 2*j**2 - 3*j - 1. Let i be a(c). Let o be 102/30 - (i + -1). Which is greater: -1 or o?
o
Let l be (-69092)/40 - (1*-1)/(450/135). Is l at most -1728?
False
Let q = 36 + -34. Suppose -q*s - 5 = 3. Let x be 0/(-1) + 0*(-1)/s. Which is greater: -6/5 or x?
x
Let m = 6269/2 - 3135. Is -290 >= m?
False
Let o = -3270 - -3287. Is 266/15 > o?
True
Suppose -y + 141 = -2*n - 19, -n + 5*y = 107. Do n and -29 have the same value?
False
Suppose 0 = -5*n - 370*a + 366*a + 23, 5*n + 26 = 3*a. Which is greater: 6/2659 or n?
6/2659
Let u = -46/285 + -1333/570. Which is smaller: -2 or u?
u
Let g be 24/18*(1 - -2). Let a be 1 - ((-18)/g)/(-3). Let w = 21123 + -21123.36. Is a not equal to w?
True
Let c be (-27)/((-351)/104) - (-450)/(-44). Is -2 at least c?
True
Let t = -7 + 48. Suppose -4 = 4*i - 3*u - 10, -5*i - 3*u = -21. Suppose i*v = -10*v. Which is smaller: v or t?
v
Let i = 12484 + -7644. Which is greater: i or 4839?
i
Let s = 0.597 + -447.597. Let z = s - -446.9. Which is greater: z or 27?
27
Let t be 21/(-6) - 13317/(-690). Which is greater: t or 2/13?
t
Suppose 4*q = 3*o - 284, 184 = -3*q - 6*o + o. Let i = -5 - 62. Is i at most as big as q?
False
Let h(m) be the third derivative of m**4/12 - m**3/6 - 9*m**2. Let u be h(-2). Let i be (-3 - -4) + u/((-210)/(-44)). Which is smaller: -0.1 or i?
-0.1
Let j = -17322 - -20259. Is j <= 2939?
True
Let d = -41.077 + 0.077. Let z = 180 - 155. Let s = z + d. Which is greater: s or 1?
1
Let u = -6303 - -6860. Which is smaller: u or -0.3?
-0.3
Suppose 75*a - 18*a - 29013 = 0. Is 506 at most as big as a?
True
Let b = -11110.49 - -11110. Let v = 0.1 + 0.9. Which is bigger: v or b?
v
Let j be ((-32)/612 + 0)/((-18)/(-27)). Is j greater than 0?
False
Let q = 4 - 19. Let f be 55/q - -4 - 64/210. Is 0 bigger than f?
False
Let m = 104 + -100. Suppose -2*c + 4*g - 5*g + 198 = 0, -m = -g. Is 98 less than or equal to c?
False
Suppose -21*i = -17*i - 16. Suppose -3*z + 2 = -i. Suppose -z*x - 3*u = 19, 5*x = 4*x + 4*u + 18. Is 49 at most x?
False
Let o = 963 - 1098. Which is smaller: o or 12?
o
Suppose 0*w + 2*w + 2*l = 10, -5*w + 13 = 2*l. Suppose 2*g - u + 695 = 0, 1100*g + 1721 = 1095*g + u. Which is bigger: w or g?
w
Let l be ((-3)/2994)/(711/316). Is -1 at most as big as l?
True
Let q be (42/(-595))/(2/(-830)). Which is smaller: 28 or q?
28
Let t(w) = -3*w**2 + 97*w - 90. Suppose -530 = -13*m - 114. Let b be t(m). Let l(s) = -57*s**3 - 2*s**2 + 1. Let a be l(1). Is a less than b?
False
Let g = -110 + -10. Let v = g - -199. Let d = v - 80. Is -3/26 smaller than d?
False
Suppose 2*j + 5*y - 37 - 949 = 0, j = 4*y + 545. Suppose l - 510 - 3 = 0. Do l and j have different values?
False
Let k = 5546 - 5546. Which is smaller: k or -1/5314?
-1/5314
Let s = 11 - 4. Suppose s*v - 4*v - 12 = 0. Let b be (-244)/132 - v/(-22). Is b at least as big as -2?
True
Let q = 313 + -309. Let p be ((-15)/(-12))/(1/q) + 11. Is 16 > p?
False
Let v = 28802 + -85406/3. Are v and 333 non-equal?
True
Let o(u) = -107*u**2 + 4*u - 3. Let w be o(1). Let g be -6 - (2 + 97 + -1 + 2). Is w at most as big as g?
True
Let d be (-2620)/(-25) - ((-6)/20)/((-201)/(-134)). Which is smaller: 108 or d?
d
Suppose -167*p + 381*p - 3814122 = 0. Is 17822 smaller than p?
True
Suppose 0 = -86*a + 93*a - 49. Let l be 14/((-112)/(-66))*a/3. Is 18 < l?
True
Let h = 6753369011/603114 + 2/301557. Is 11197 at most h?
True
Let g be -27 - -18 - (283992/7890)/(-4). Is 0 equal to g?
False
Suppose 6*t + 14 = 92. Let n be -2 - (-2 + (-3 - 2)). Suppose -5*r + 4*u = t, -3*r - n*u + 5 = -u. Which is bigger: -15/8 or r?
r
Let j = -11601/5 + 2261. Let s = -31 + -29. Which is greater: j or s?