pose w - 11 = -3*y. Suppose -3*n + 6 = -3*l, -3*l + n = -y*n + 4. Are -7 and l non-equal?
True
Let p be -7 + 78/(-91)*-7. Let v = -1685 + 963. Which is smaller: v or p?
v
Let p be (4/10)/(8/15) + 3189964/(-4221968). Which is smaller: 0 or p?
p
Let t = 4.95 + 0.05. Let o = 1.15 - 1.01. Let j = o - 0.16. Which is smaller: t or j?
j
Let f = -6.854 - 2.036. Let g = 8.8 + f. Let n be 0/(1 - (5 - -1)). Is n != g?
True
Let u = -3938 + 3913. Which is smaller: u or 1/33?
u
Let l = -301070 + 1499473/5. Which is smaller: l or -1176?
-1176
Let k be (-2)/(-6)*9*(-3)/1269*6. Which is greater: k or 206?
206
Let c = -58 + 229/4. Let a = -12.171 - -12.971. Which is bigger: a or c?
a
Let z(p) = p**2 + 6*p - 22. Let a be z(-9). Let q = 165 - 162. Which is smaller: a or q?
q
Let x be ((-39)/52)/(-1 + 4). Suppose -3*g + 3 = 2*u - 2*g, -3*u + 2*g = -15. Suppose -10 = -u*o - 13. Which is greater: o or x?
x
Let o be (0 + 0/(-3))/(-2). Suppose -q = -o*q - 8. Let i be (-2)/8 - q/32. Is i at most 1.1?
True
Let y be ((-1)/(-5))/((-4)/5) - (-158895)/(-24948). Which is smaller: 0.1 or y?
y
Suppose 5*s - 247*y = -250*y - 4590, 2*s + 4*y = -1850. Do s and -916 have the same value?
False
Let m(z) = 2*z + 1. Let n be m(38). Does -5 = n?
False
Let d = 2542.08 + -2450. Let q = d - 92. Which is smaller: q or -0.01?
-0.01
Let y = -168 - -173. Suppose -s = -b + 4, y*s = s + 16. Is 9 equal to b?
False
Let k = 19.44614 + 0.18486. Let r = k + 0.369. Is r smaller than -1/5?
False
Suppose 6*f + c - 72 = 4*c, 75 = 5*f - 5*c. Which is greater: f or -80?
f
Let u = 1.79 - 0.23. Let t = 1.04 + u. Let p = t - -0.4. Which is greater: p or -14?
p
Let h be 1/10 + 2911/(-410). Let k be (-23)/(-161) - (-1)/h. Is 4/123 < k?
False
Let k be (-1 + 1)/(-22 - -21). Suppose k = 3*f + 9, -4*x + 2*x = -2*f - 8. Let z be 2 - 4 - 82/(-36). Which is smaller: z or x?
z
Let l = -920 - -764. Let d = -155.94 - l. Is -28/9 at least as big as d?
False
Let z = 198 - 202.1. Let u be (-84)/(-140) + (-2)/10. Is z at least as big as u?
False
Let i = 0.45 - 0.6. Let m = 0.25 + i. Let r = 119/6 + -2035/102. Is m less than or equal to r?
False
Let j(a) = 964*a - 2433. Let r be j(-13). Is r greater than -14966?
True
Suppose 2 = -2*q - 2. Let p be (-3080)/260 + -8 + 19. Is p >= q?
True
Let t(l) = 3*l**2 - 78*l + 99. Let w be t(16). Is w != -379?
True
Suppose -74*o = -51*o - 35972. Is 1563 at most as big as o?
True
Let q = -3.79 + 4.29. Let g = -0.3 + q. Is 1 smaller than g?
False
Let h = -1779 - -17859/10. Is h at most as big as 6?
False
Let h = 0.5787 + -39.0087. Let v = h - -36.8. Let b = -1.5 - v. Is b equal to 2/7?
False
Let m(b) = 55*b**2 + 3*b + 1. Let x be m(-1). Let p = -43 + x. Let u = p + 12. Is u at most as big as 22?
True
Let t = -145 - -58. Let a = t - -77. Is -12 at least a?
False
Let a(y) be the first derivative of -9*y**2/2 + 3*y + 271. Let w(m) = -m**2 - 7*m - 8. Let j be w(-6). Let s be a(j). Which is smaller: 22 or s?
s
Suppose 91 + 22 = -16*f - 159. Let r = 0.02 + -0.72. Let a = r + 0.5. Which is smaller: f or a?
f
Suppose 0 = -4*y - 5*u - 432, -3*y - 21 - 325 = u. Is 26 != y?
True
Suppose 4199 = -5*f - 1131. Let n be 6/((-2124)/f) + -3. Let b be 0/((-14)/(-6) + (-1)/3). Is n at least as big as b?
True
Suppose 2*l - 3*w - 1 = 0, 2 + 5 = -2*l - 5*w. Let b = 286 + -449. Let m = b - -2443/15. Is m greater than l?
True
Let a = -219876 + 1545608/7. Which is smaller: 926 or a?
a
Let m be (48/120)/((-1)/335). Let y be (-3)/(-47)*695/15 - 3. Let q = 80/329 - y. Which is bigger: q or m?
q
Suppose 6424 = -4*l - 4*v, -9*l + 4*v + 4823 = -12*l. Which is smaller: l or -1599?
l
Suppose -5*s = z - 587, 5*z - 2907 = -15*s + 18*s. Which is greater: 583 or z?
583
Let t be (0 + 10/8)*55. Let u = t + -1169/17. Do -1 and u have different values?
True
Let k = -59 - 5. Let p(q) = -2*q + 6. Let x be p(-3). Let u = x - 13. Is u at least as big as k?
True
Let g = -214 + 218. Let r(j) = 25*j - 87. Let o be r(g). Is o at least as big as -3/10?
True
Suppose 0*s + 4*s = 0. Let v be ((-7)/(-84))/((-203)/(-140)). Which is greater: s or v?
v
Let n = 18 - -4. Suppose 5*z - 2*m - 138 = 0, -z - 4*m = -3*m - n. Suppose 96 = -5*x + z. Which is smaller: x or -15?
-15
Let c = -1.88 + 1.9. Let w = -31.6 - 12.4. Let t = w + 43. Which is smaller: c or t?
t
Suppose 0*a = -a - 7. Let i be (-33)/7 + 2/a. Let t = 11306 - 11313. Which is smaller: t or i?
t
Let m(o) = 73*o + 70. Let a be 2*-1 + (-2 + -4 - -4). Let i be m(a). Is -221 less than i?
False
Let g be 2 - 2 - (-3757)/4. Let p(k) = 939*k + 6. Let b be p(-1). Let n = b + g. Which is smaller: 5 or n?
5
Let o = 15 - -11. Suppose 0 = o*s - 22*s - 228. Let w = -62 + s. Which is greater: -6 or w?
w
Let j(b) = -b**3 - b**2 + b - 1. Let u(r) = r**3 + 11*r**2 + r - 15. Let n(f) = -2*j(f) - u(f). Let g be n(9). Is g <= -15?
False
Let y be -1*(-903)/119*(-10)/(-63). Let i = 26/51 + y. Is -1 < i?
True
Let k = 6107 + -4934. Which is smaller: k or 1171?
1171
Let w = 0.018 + -1.718. Let p = 1.678 + w. Let g = -0.222 - p. Is g <= -0.7?
False
Let x = -182.96 - -163.76. Is 31/4 less than x?
False
Suppose -2 = -5*q - 22, k - 1336 = 5*q. Let d = -67758104/51485 + -408/10297. Let v = k + d. Which is smaller: 1 or v?
v
Suppose -5*y = -5*b + 180, 128 = 4*b - 86*y + 90*y. Suppose 4*g - 78 = 2*g. Is b at least g?
False
Suppose -887 + 891 = m. Let n be (-3)/m + 2006/(-344) - -6. Is n at least as big as 0?
False
Suppose 193*g + 7013 + 3828 = -4599. Is g equal to 7?
False
Let t = 21190 - 21081. Is t not equal to 104?
True
Let n = -37.69 + 46.69. Let l = 3 + -4. Let o = -1.1 - l. Which is smaller: o or n?
o
Suppose -4*o = -361 + 157. Which is greater: o or 50?
o
Let u = 13.8 - -2.2. Suppose -606 = -6*b - 3348. Let m = 2283/5 + b. Which is bigger: u or m?
u
Suppose 5*q + 4*a = 12, -2*a + 7 = 2*q + 1. Let i be (6 - (4 + 0))/(2 - 3). Let d be (i - (-175)/90)/((-2)/21). Is d greater than or equal to q?
True
Suppose o = -0*o + 5. Suppose 0 = 7*s + o*s - 24. Suppose 0 = -2*x + a - 1, -s*x + 3*a = -x + 8. Which is smaller: 2/127 or x?
2/127
Let y = 458 + -7792/17. Suppose -7*w + 24 = -12*w - 4*k, 0 = -k - 6. Is w >= y?
True
Let g = 1976111/2995 - 3299/5. Is g less than 7?
True
Let m(x) = 35*x**3 - 76*x**3 + 2 - 37*x - 4*x**2 - 4*x**2 + 38*x**3. Let d be m(-4). Which is bigger: d or 213?
d
Let n(s) = -s**2 - s + 1. Let i(v) = 2*v**2 - 5*v - 44. Let w(t) = i(t) + n(t). Let r be w(20). Suppose 9*a - r = 42. Which is smaller: a or 30?
30
Let r = -1.3 - -19.3. Let f = 16 - r. Let o = 23 - 15. Is f equal to o?
False
Let v = 60 + -12. Suppose -5142 - 2250 = 42*d. Let h be ((-2)/(-3))/(d/v). Which is smaller: 0 or h?
h
Let p = 57/3292 + 11765991/1646. Let t = 7099 - p. Which is smaller: -49 or t?
t
Suppose -2*d - 498 = 5*m, 2*m + 333 - 135 = -2*d. Let o(v) = 3*v**2 - 79*v + 1. Let p be o(25). Which is bigger: m or p?
p
Let a = 2769623/174249 - -1/9171. Does a = -0.1?
False
Suppose 3*o + 4*u + 6 = 14, 5*o - u - 21 = 0. Which is bigger: o or -48/47?
o
Suppose -v + h = -1570 - 868, -2*h = v - 2444. Which is smaller: 2441 or v?
v
Let g = -1697 - -1696. Does 3/982 = g?
False
Let d be 12/((-2)/(-12)*1). Suppose 3*b - 175 = -2*a + 54, 83 = b + 2*a. Is d greater than or equal to b?
False
Suppose 2*d + 61 = f, 0 = -2*d - 19*f + 21*f - 58. Are -2/9 and d nonequal?
True
Let c(n) = 3*n**3 - 63*n**2 + 394*n + 49. Let i be c(15). Is 1910 at least i?
True
Let z be ((-1482)/(-117))/(32/(-6)). Suppose -45 = 43*c - 28*c. Are z and c equal?
False
Let c(v) = -10 - 18 - 22 - 40 + 24*v + 3*v. Let i be c(3). Let g = -31 - -21. Which is bigger: i or g?
i
Let z(f) = 139*f - 425. Let d be z(5). Which is smaller: d or 230?
230
Let j = 2788/10003 - -10/1429. Let r = -92.4 - -722.4. Is r < j?
False
Let k be (-11)/(-11) - (-958*24)/6. Which is greater: 3836 or k?
3836
Let u be 825/(-845) + (-2)/(-2). Suppose 339 = -22*h + 361. Which is bigger: h or u?
h
Let n be 2036/28 - 5440/272. Let s(a) = 2*a**3 - 2*a + 4. Let f be s(3). Which is bigger: n or f?
n
Let o = 310.31 - 309.31. Which is greater: o or 2130?
2130
Let n(j) be the first derivative of -j**3/3 + 4*j**2 - 49*j - 82. Let o be n(0). Is o less than -49?
False
Let x be 256063/(-259) + 4/(-14). Suppose 11*y = 2221 - 13100. Let k = x - y. Are k and -2 non-equal?
True
Let w = 172 + -104. Suppose 4*r + 5*k = -100