o?
False
Let o be (((-20)/(-8) - 5) + 4)/(3290/(-20)). Is -1/2 less than o?
True
Suppose -5*b - 15 = 0, -4*b = h + 15 + 3. Let l be 17 - (12/(-26))/(318/(-4134)). Do h and l have different values?
True
Suppose 720 = 5*u - 5*g, 218*u - 219*u + 145 = -2*g. Which is smaller: 150 or u?
u
Let t be (-2)/22 + 7760/176. Let i be (6/9)/(t/(-36)*-3). Is -1 bigger than i?
False
Let r be (834/(-210) - 12/28)*30. Are r and -136 equal?
False
Let w = 28378 + -27905. Are w and 19 equal?
False
Let f = -27 - -19. Let y(i) = -11*i**3 + 218*i**2 + 38*i + 43. Let n be y(20). Which is smaller: f or n?
f
Suppose n + n = s, -s + 4*n = 4. Suppose 11 = 2*m - 4*m + 5*z, -m + s*z - 4 = 0. Suppose -5*v = -4*c - 49, -3 + 0 = -2*c - 3*v. Is c bigger than m?
True
Let q = -6/7109 + -27122/1556871. Suppose 3 = -0*g + 3*g. Is g <= q?
False
Suppose -133 + 7 = -9*f. Suppose -2*a + f = 2*z - 4, -3*a + 31 = 4*z. Suppose a*c - 165 = -5*y, c + 36 = 2*c - 2*y. Do c and 35 have different values?
True
Suppose p - 3*f - 1549 = 0, -18*f = 4*p - 23*f - 6189. Which is smaller: -0.3 or p?
-0.3
Let p(j) = -5*j - 36. Let x be p(-8). Suppose -x*w = -4*l - 12, 0 = 5*w + l - 0*l - 9. Let a(n) = -2*n - 8. Let r be a(-5). Is w < r?
False
Let c be 858/(-4) - (-7 - -11)/8. Let n = c + 167. Which is smaller: -2 or n?
n
Let x be ((-28)/(-98))/(3/7). Let m = 225 - 90. Let a = m - 133. Which is bigger: x or a?
a
Suppose 5*p + l = 1, 3*p + l - 324 = -321. Which is bigger: -13/110 or p?
-13/110
Let y = 0.128 + 54.872. Let r = y - 30. Let a be (195/130)/(21/4). Is r at most as big as a?
False
Let g = -1/22117 - -1526132/1304903. Is 2 smaller than g?
False
Let c be ((-5)/15)/(1/6). Let y be c/5 + 2860/25. Suppose -38 = -0*g + 2*g + 3*o, -5*g = -2*o + y. Are -22 and g nonequal?
False
Suppose -5*d + 17 = l, 4*l + 27 = 3*d + 3. Let v be (237 + -234)*10/(-6). Is l < v?
False
Let o be ((-316545)/940)/((-14)/48). Which is smaller: 1155 or o?
o
Let m be 9 + ((-4)/4 - 1). Let i(j) = j**3 - j**2 + j - 58. Let s be i(0). Let q = s + 57. Which is smaller: q or m?
q
Let a be 1 + 0 + 57/(-19). Let u be (-18)/(6/a - -4). Let t be (-3)/u - (-217)/(-294). Are t and -1 equal?
False
Suppose 2*x = 8, -2*u + 3*x - 1369 + 245 = 0. Let w = u + 557. Is -2/41 equal to w?
False
Let z be 14/8 - 8/(-32). Suppose 2*c = h - 6, -4*c = 2*h + z*h + 12. Let y = 174/1615 - 36/85. Is y less than or equal to h?
True
Suppose 0 = 3*r + l - 20598, -1450*r - 4*l = -1447*r - 20580. Which is smaller: r or 6867?
6867
Let y(l) = l - 1. Let n be y(3). Suppose -n*j - 12 = 2*r, -r - 3*j - 3 = j. Suppose -16 = i - 5*o, 4*i + 18 = 53*o - 56*o. Which is smaller: i or r?
r
Let m(d) = d**3 + 2*d**2 - 9*d - 14. Let j be m(-3). Suppose -j = -5*l + 4*f, -6*f + 8*f + 2 = -5*l. Let p be 0 - (-68)/(-80) - -1. Are l and p nonequal?
True
Let f be (-4608)/10320 + (-34)/(-731). Let x be 18/14 - 4/14. Let m be 22/((-1)/x - -2). Which is bigger: f or m?
m
Let u(l) = -32*l**3 - 4*l**2 - 4*l - 1. Let h be -5 + (7 - 6) + (3 - 0). Let o be u(h). Are 6 and o equal?
False
Let l = 443 - 1854. Let r be l/(-10) - (-15)/10. Let i = r - 143. Are -1 and i equal?
False
Suppose 51729 + 479961 = 222*y. Is -1/3 smaller than y?
True
Let l be (-5)/(-2)*5306/(-35). Let q = l + 386. Let j(b) = b**3 - b**2 + b + 2. Let z be j(2). Which is smaller: q or z?
q
Let i(q) = 13*q + 17. Let p be i(-2). Let h be ((-6)/(36/(-34)))/((-3)/p). Suppose -4*n + 32 = -2*n. Which is smaller: n or h?
n
Let g(x) = -2*x - 1. Let z be g(-1). Let s = 31.8 + -32.12. Which is smaller: z or s?
s
Let h = -10 + 119. Let s = 110 - h. Which is bigger: s or 29/9?
29/9
Suppose 2*a - 2 + 4 = 2*z, -1 = -2*z + a. Let g be -75 + (-5 - z - -6). Which is greater: g or -75?
g
Let o = 1/2596 - -5187/12980. Which is bigger: o or -280.6?
o
Let y = -21 + 24. Suppose y*r = 3*p - 93, 3*p + 4*r - 86 = -0*p. Suppose -29 = b - p. Are b and 1 equal?
True
Let p(q) = -q**3 + 19*q**2 - 32*q + 35. Let r be p(15). Let h be (36/14)/(39/r). Is h greater than or equal to 34?
False
Let b(h) = h**3 + 10*h**2 - 47*h + 9. Let m be b(-14). Is m != 0?
True
Let s be (-76)/342 + 3/((-54)/32). Which is bigger: -99/155 or s?
-99/155
Suppose 456*f + 317 + 139 = 0. Are f and -2/10083 equal?
False
Let o be 568/24 - (-10 + 8). Let m be (-30 + (0 - -3))*-1. Which is smaller: m or o?
o
Let v(b) be the third derivative of b**6/120 - b**5/15 + b**4/24 + 7*b**3/6 + 21*b**2. Let z be v(3). Let h be (-7)/36 + -1*3/12. Is z at most h?
False
Let t(y) = -y**2 - 33*y + 162. Let d be t(-37). Suppose d*j - 17*j - 942 = 0. Is -314 smaller than j?
False
Let g = -58 - -67.6. Let k = g - 9.9. Are 55 and k equal?
False
Let c be ((2*3)/2)/(24081/(-22336)). Which is greater: c or -2/3?
-2/3
Let q be (-2)/(-8)*(29 - 17). Suppose -3 = 2*t - q*z + 2, 3*t + 2*z = 25. Let j(a) = -3*a + 12. Let i be j(t). Is i >= -9/5?
False
Let r = 536 - 537. Is 1/6026 < r?
False
Let y(b) = -42*b - 66 + 5*b - 40*b. Let k be y(-18). Let h be 4/(-14) - k/(-4424). Which is smaller: 0 or h?
0
Let j = -528.297 + 1.297. Which is smaller: j or 1?
j
Let r = -5610 + 8019. Is 2409 greater than or equal to r?
True
Suppose -4*d = 4*p, 2 = -2*p + 10. Let t be (4 - 42/(-9))*-6. Let j = t - -57. Which is smaller: j or d?
d
Let w = 2298 + -2295. Which is smaller: w or 0.0093?
0.0093
Let g = 28436 + -28410. Do g and -161 have the same value?
False
Let n = 3.116 - 2.8. Let r = n + -5.016. Is r > 1?
False
Let m = 14/60695 + -671529718/1031815. Let c = 651 + m. Let z(l) = -10*l + 81. Let s be z(8). Which is greater: s or c?
s
Let y = -120 - -148. Suppose -y = -4*z + 11*z. Which is greater: z or -6?
z
Let n(k) = k**2 + 6*k + 286. Let z be n(-79). Is z smaller than 6052?
False
Let h be 0 + 1 - ((-60)/(-1290) - (-843202)/884424). Is h at most as big as -1?
False
Suppose 5*g = k + 1, 5*k - 8*g = -7*g + 19. Suppose 5*b = k*y - 370, -3*y = -5*y. Which is bigger: b or -72?
-72
Suppose 7*w - 10*w = -2*b + 70, 4*b = -w + 140. Let t be (b/41 - 1)/((-477)/(-106)). Which is smaller: -1 or t?
-1
Let f = -13055 + 13054. Is f less than -10375?
False
Let v = 505523/204162 - -1/9722. Is -5 not equal to v?
True
Let v(i) = 8*i + 72. Let h(q) = -15*q - 143. Let y(p) = -4*h(p) - 7*v(p). Let n be y(-17). Is 6/11 != n?
True
Let m = -38 + 41. Suppose -b - b + 2*t = -12, m*t = -b - 6. Suppose 2*c - 10 = -2*l, 0 = -2*l + b*l - 2*c + 7. Which is smaller: l or -8/19?
-8/19
Suppose 528*c - 1605 = -7*c. Is 265 greater than or equal to c?
True
Let l = 486 + -477. Let f(v) = 9*v. Let c be f(-6). Let b be c/(-176) + 6/(-33). Which is greater: b or l?
l
Let v be 1/(-5) - (-6)/((-960)/(-29)). Let i = v + 169/480. Which is smaller: i or -2/29?
-2/29
Suppose 21*l + 4*f - 1858 = 24*l, -l - 661 = 7*f. Which is greater: l or -6894/11?
l
Let h be 118/210 - 36/84 - 222797/465. Are -475 and h equal?
False
Let s = -1.82 - -1.785. Let m = 0.195 + s. Are -2 and m equal?
False
Let v(z) = 74*z**3 - 3*z**2 + 5*z + 2. Let h be v(-5). Let f be -4 + 5 + (h/(-1562))/(-6). Which is greater: -1 or f?
f
Let z(k) = -k**2 + 5*k + 15. Let b be z(-2). Let p = 79/696 + 11/116. Is p at most as big as b?
True
Let z = -1.68 + 1.5. Let d be (-2)/3 + 16/24. Let g be -3 - -7 - d - 5. Which is greater: z or g?
z
Let v = -3.45 - -1.396. Let y = v + 0.054. Let c = 3 + y. Do 1.1 and c have different values?
True
Let c(m) = -4*m - 7. Let i be c(-6). Suppose i - 3 = 7*g. Suppose -5*z = -3*d - 20, -4*z - g*d = -6*d - 24. Which is greater: -2/73 or z?
z
Let p = 16 + -32. Let n be 6/18 + (-14)/6. Let l(o) = -2*o**2 - o + 4. Let v be l(n). Which is bigger: p or v?
v
Suppose -25*s - 11 - 14 = -0. Is s < -47/46?
False
Let r = 225 - 520. Let q = r + 186. Is q less than or equal to 0?
True
Let s = 1438.964 - 1434. Let q = s + 0.036. Let j = 99 + -94. Is j greater than q?
False
Let z = 838 - 1901. Which is bigger: 1 or z?
1
Let b be (-5)/6*(42/(-40))/(-7). Let l = 26 + -103/4. Let u = b + l. Which is smaller: -2/3 or u?
-2/3
Let f be (-1701)/324*(1 - (-446)/(-618)). Let r = -4/103 + f. Which is smaller: r or -21?
-21
Let q be -4*(-16)/(-20)*30/(-12). Suppose 3*l + 2*a + 0 = -58, 0 = 2*a - q. Let f be l/99 - 32/(-63). Is f smaller than 1?
True
Let z be 10/(-8) + 1 - 4214/2408. Let h = 951 + -80834/85. Is z < h?
True
Let q = 1253480/57 + -21991. Is 1 at least as big as q?
True
Let k = -49 - 489. Let