 40 = -0*a, l + a = 8. Suppose -7*y - 1 = -l*y. Which is bigger: y or c?
y
Let d(p) = -421*p + 122*p + 28 + 130*p + 143*p - p**2. Let v be d(-27). Is v bigger than -2/535?
True
Let p = 2.6 - -14.4. Let j = 9 - p. Let v be (-3)/((-15)/(-2))*(-775)/62. Which is smaller: j or v?
j
Let l = 42 - 32. Suppose 2*p - 5*n - 35 = -l*n, -5*n = -5*p. Suppose k + 57 = -p*q, q + k = 2*k - 9. Which is smaller: q or -9?
q
Let d = -25412 + 25459.707. Let n = d - -10.383. Let x = 58 - n. Which is bigger: 4 or x?
4
Let d = 6283292/68595 - -2/13719. Let w = d + -10564/115. Suppose 0 = j - 4*u - 3, 0*j - 5*u - 8 = 3*j. Which is smaller: w or j?
j
Let y = -686.9929 + 687. Let c = 14.0071 - y. Let q = 2 + -1.8. Is c at least as big as q?
True
Let y(f) = -13*f + 423. Let l be y(21). Is -9 at least l?
False
Suppose 55*j = 60*j + 1820. Let z = 210 + j. Let m be (-4)/22 + (4 - (-676)/z). Are m and -2/3 non-equal?
True
Suppose -g - 2*i = -7*i - 45, 3*g = 5*i + 85. Suppose 44 = 34*p - 32*p + 2*u, 3*u + 70 = 5*p. Do p and g have the same value?
False
Suppose -62 = -3*w + 2*v - 102, 0 = -3*v + 15. Let b(x) = -1. Let p(q) = -7*q**2 + q + 5. Let f(m) = 5*b(m) + p(m). Let t be f(-1). Which is bigger: t or w?
t
Let p(h) = h**2 - 2*h - 3. Let w be p(-3). Suppose -4*r - 2*v = -158, 4*r - v - 157 = -4*v. Suppose -r*d + 37*d + 33 = 0. Is d at least as big as w?
False
Let t(g) = g**2 + 10*g - 7. Let s be t(-13). Suppose -3*n + 1 + 5 = 0. Suppose 0 = -n*l + 18 - s. Is l smaller than -6?
True
Let c(y) = 122*y - 1221. Let l be c(10). Is 1/550 greater than l?
True
Let p be ((-2)/(-155))/((-1)/(-5)). Let l(w) = -w**3 + 8*w**2 - 10*w - 4. Let c be l(5). Let m be (12/36)/(2 + c/(-9)). Which is smaller: p or m?
m
Let i be (2788/255)/(2/(-99)). Which is smaller: i or -541?
i
Let j = -39584937/1111 + 35630. Let n = 7647/861025 + j. Which is bigger: n or 0?
n
Let c be (-14)/35 + (1716/(-10) - -2). Let r be 0 - c/2 - (2 + 0). Suppose -3*a - 40 = -2*j - 8*a, 4*a = -5*j + r. Which is smaller: 14 or j?
14
Suppose -3*x - 2*s = 17, 0 = -2*x + 2*s + 1 - 9. Let o(i) = 2*i**2 + 14*i + 17. Let g be o(x). Which is smaller: 8 or g?
g
Let y be (((-48370)/49)/(9/21))/(2/(-3)). Is 3454 <= y?
True
Suppose 4*a + p - 1624 = 0, a - 308 - 98 = -p. Suppose 0 = 6*m - 334 + a. Suppose 4*y + 3 = -29. Are y and m unequal?
True
Let j be -1*((-66)/(-44))/3. Is -0.2027 equal to j?
False
Let s = -63 + 326. Let p = -261 + s. Which is bigger: 1 or p?
p
Suppose 0 = -2*z - 2, -o - 2*z = 3*z + 4. Suppose -o = 4*m + 7. Let c(r) = -r**2 + 5*r + 1. Let h be c(m). Is 1 greater than h?
True
Let b(r) = r + 3. Let f(h) = -1. Let c(m) = -b(m) - 2*f(m). Let i be c(-2). Suppose 5*v - 11*p = -6*p + 20, -p - i = -4*v. Is v greater than 1/175?
False
Let g = -13109 + 13025. Is g equal to -1274/15?
False
Suppose 0 = 5*b - 5*s - 5, s + 4 = -b - 3. Let w = 34 - 4. Let g = w + -28. Which is bigger: g or b?
g
Suppose 3*d - 967 = -1681. Let a = d - -342. Which is smaller: 103 or a?
103
Let y(u) = 17*u - 95. Let n be y(9). Suppose 3*v + 61 - n = 0. Is v equal to -4/131?
False
Suppose 3*k = 2*j + 4*k + 33, k = j + 9. Suppose -5*o + 6 - 21 = 0, -v - 3*o = -19. Suppose 3*q + 310 = -v*q. Is q greater than j?
True
Suppose 0 = 2*i + 5*b + 168, -4*b - 87 = 3*i - 2*i. Let t(v) = -77*v**2 + 103*v + 100. Let o be t(-1). Do o and i have different values?
True
Let p be 4 - (-2 - 1*-12). Let f be (-2)/p + 7/(-21) + 5. Suppose -2*q = 4*r - 2*r + 8, q + 34 = f*r. Which is smaller: -7 or q?
q
Suppose -1661 - 1879 = -2*t - 1410. Is -2/3 <= t?
True
Suppose m - 27 + 22 = 0. Suppose -m*q - i + 2 = -14, 4*q + i = 13. Suppose -12 = -3*v + 3*s, v = q*s - 4*s - 4. Which is smaller: 2/29 or v?
v
Let m be (4 + 4 - 20)/(3/2). Let z(q) = -11*q - 28. Let s be z(-2). Which is smaller: m or s?
m
Let j(a) = a**3 - 34*a**2 - 32*a - 109. Let f be j(35). Is f less than or equal to -200/39?
False
Let v = -4 + 6. Suppose -v*u + 0 + 2 = 0. Let b = 149/276 - 2743/3036. Which is smaller: b or u?
b
Suppose 3*n - 5*u = -3044, 111 = -3*n - u - 2891. Which is smaller: n or -9020/9?
n
Let f = -49 + 43.9. Let n = -5.235 - f. Let s = -0.035 - n. Do s and -24 have the same value?
False
Let b = -5462 - -5787. Does b = -1?
False
Let v be ((-1)/1)/(1/28). Let n(k) = 3*k**2 + 444*k + 4110. Let t be n(-10). Is t bigger than v?
False
Let d = 11086737/5 - 2228062. Let m = d + 10653. Which is greater: -63 or m?
m
Let l = -5884779/347 - -16959. Let r = l + -1477/14921. Which is smaller: 1 or r?
r
Let i = 61993/6 - 10194. Which is smaller: i or -0.1?
-0.1
Let n = 773 + -827. Suppose 4*s + 176 = -0*s. Let k = s - n. Which is smaller: k or 8?
8
Suppose -s + 32 = p + 2*s, -s = p - 28. Suppose -3 = -5*u + 4*u, 85 = b + u. Let g = b + -56. Is g greater than p?
False
Let w(l) = -l**2 - 51*l + 136. Let y be w(-42). Let i = y + -514. Is 7/6 bigger than i?
True
Let m be (-53)/265 + (-8523)/(-15). Which is greater: 569 or m?
569
Let i = -240 - -221. Let u be i/(-18) + (-65)/(-390). Let h(l) = -l - 4. Let d be h(-4). Which is smaller: u or d?
d
Suppose -4 = -5*v + 1. Let p be (-18)/(-8) - (-13118)/(-5622) - 34/(-768). Is p bigger than v?
False
Let z(m) = 57*m - 43. Let x be z(-6). Let i = 381 + x. Which is bigger: i or -3?
-3
Let u(b) = -b**3 + 4*b**2 + b - 4. Let o be u(0). Let l be (276/5)/(430/(-425) + 1). Let s be l/(-78) - o/(-26). Is s greater than or equal to 60?
True
Let q = 13 + -57. Let c = -44.17 - q. Let m = 0.13 - c. Is m <= 1?
True
Suppose -38*c + 26*c = -13*c + 13747. Which is smaller: c or 13745?
13745
Let m be (3127 + -235)/(-1 + (-10)/(-4)). Is m < 1926?
False
Let l(y) = -y**3 + 3*y**2 + 2*y + 1. Suppose -9*i - 8 = 1. Let u be l(i). Suppose -u*k - 2*k - 60 = 0. Which is bigger: -10 or k?
-10
Let z be -1 - -26 - (-25)/(-25). Suppose -z*a + 14*a = 490. Is a less than or equal to -49?
True
Let d(r) = -3*r**2 + 13*r + 5. Let b(u) = 2*u**2 - 6*u - 3. Let a(c) = -5*b(c) - 3*d(c). Let s be -2 + 4 - 10 - 0. Let v be a(s). Is 9 >= v?
True
Suppose 50 - 42 = 4*a. Suppose -a*n + 9*n = 105. Suppose -i + 1 = -3. Which is smaller: n or i?
i
Let y be (-612)/357*14/4 - -15. Let c = -1509 - -6071/4. Which is smaller: y or c?
c
Let c be -3 + -1 + 2 - 10/(-2). Suppose 4*q - 53 = c*z + 354, 542 = -4*z + 5*q. Do -132 and z have different values?
True
Suppose -4*x = -3*o + 74, -13 = 4*x + 7. Let l = o + -25. Suppose 5*u = 5*b + 5, -5*u + 33 = -4*b + 6*b. Which is smaller: l or b?
l
Let z be 1/(-2) + (-1)/((-6)/(-429)). Let j be 40/18 + 4*4/z. Let k be -5*(-4)/(-10)*j/(-92). Is k greater than 1?
False
Let k(d) = -d**3 - 27*d**2 + d + 22. Let s be k(0). Which is bigger: s or 808/37?
s
Suppose -252 = -5*x + 4*j + 91, -4*x - 2*j = -290. Is x at least as big as 93?
False
Let c = -256 - -256. Let g = -8 + 16. Let k = -1 + g. Which is greater: c or k?
k
Suppose 0 = -83*i + 35*i - 714 - 4038. Let b(o) = 22*o - 1 + 3 - 4*o - o. Let g be b(-6). Is g at most as big as i?
True
Let f = -126253835/244937 - 5/22267. Which is smaller: f or -516?
-516
Let l = 4296 - -1614. Is 5910 equal to l?
True
Let x be 15/(10395/(-3549)) - 9*-1. Which is smaller: x or 4?
x
Let n be (6 - -1794)/1 + 6. Suppose 8*p + n = -34*p. Which is greater: -42 or p?
-42
Let y = -0.1714 - 0.0286. Do y and -2/25 have different values?
True
Suppose -6*k = -k - 570. Let d = -682 - -681. Let o be ((-6)/k)/(d/1). Are 1 and o non-equal?
True
Let o = 14.88 + -14.88. Which is greater: -720 or o?
o
Suppose -2*m + 115 = -7*m. Let p = m - -11. Let c be ((-18)/34)/(p/8). Which is smaller: -1 or c?
-1
Let c be (-10691898)/14970578 + 20/28. Which is greater: c or 1?
1
Let a = -5527366/16793 - -10/2399. Is a > -328?
False
Let a = 303 + -305. Let i(j) = j**3 + 6*j**2 + 4*j - 2. Let p be i(-5). Let t be (2/14)/(a/(-42)*p). Which is smaller: -3/7 or t?
-3/7
Let f = -18.7 + 52.7. Let w = 61 - 129. Let j = w + f. Are j and 0.1 unequal?
True
Suppose -i + 3*y + 2 = -0, 3*i + 5*y = -8. Let s = i - -6. Let d be 0/s - 1*11. Which is bigger: -13 or d?
d
Suppose -2*a = 3*y + 5, -490 + 496 = -3*y - 3*a. Which is greater: 654.2 or y?
654.2
Let f(c) = -c**3 - 9*c**2 - 6*c + 22. Let r be f(-8). Suppose 2*j + 8 = -4*o, 3*o - r*j + 4*j - 8 = 0. Is 3/43 bigger than o?
True
Suppose q - 461 = 5*t + 717, 3*t + 4*q = -693. Let b = t + -245. Is b less than -481?
False
Let k(u) = 5*u**3 + u**2 + u -