 = x + -69. Which is bigger: i or 11/6?
11/6
Suppose -4*s + 2*n = -1432, -2*s - 5*n + 1446 = 2*s. Suppose 3*h - 4*x + 389 = 0, 0*h + 3*h + 2*x + s = 0. Let m be 375/h + 1 + 2. Which is smaller: m or 0?
m
Let m = 578 + -542. Which is greater: m or 40?
40
Let y = 0 - -9. Let v = -10 + y. Let l be (-2)/6*27/6*-2. Do v and l have the same value?
False
Suppose 3 + 4 = -r - 4*v, 6 = -2*r - 4*v. Let c(t) = t**3 - t**2 - 14. Let u be c(0). Let y be u/(-4)*9/126. Which is greater: r or y?
r
Let n = 1355 + -1611. Is -1021/4 bigger than n?
True
Suppose 4*a - 1244 = -4*p, 1229 = 4*p + a - 0*a. Which is greater: p or 305?
p
Let s = -23 + 24.4. Let c = s + -1.41. Let g be (-3)/(-6) - 6/8. Is c equal to g?
False
Let j(v) = v**3 - 12*v**2 + 8*v + 14. Let g be j(11). Which is greater: g or -18?
-18
Let v(j) = j**2 - 6*j - 8. Let c be v(7). Let x(t) = 2*t**2 - t. Let n be x(c). Let k = 3 - n. Which is smaller: 8/7 or k?
k
Let u be (-63)/(-147)*(3 + 2). Which is bigger: u or 2?
u
Let y = -21 - -20. Let t = y + -2. Suppose -3*c = 2*k - 3*k - 1, -5*k = 2*c - 12. Which is smaller: t or k?
t
Let u = -20 - -25. Suppose -5*c + u = -10*c. Is c smaller than -3/2?
False
Let d = -0.2 + 0.2. Let n = -0.0257 - 5.9743. Which is greater: n or d?
d
Let p(a) = -8*a**2 - 52*a - 12. Let d be p(-6). Which is greater: 64/5 or d?
64/5
Let q = 92/5 - 9/10. Which is bigger: q or 17?
q
Let r = -1248 - -1247. Which is bigger: r or 3/610?
3/610
Suppose 17*n - 6840 = -23*n. Is n >= 172?
False
Let a be 14004/(-21) - (-4)/2. Suppose -5*n = 20, -1340 = k + k + 2*n. Let i = a - k. Which is bigger: 2/5 or i?
i
Let s be (6 - 15)*2*(-1)/(-2). Let p be (0 - 1)/3*s/(-9). Let d = 1 + -1. Is p > d?
False
Let q = -439 - -436. Which is smaller: q or -48/23?
q
Suppose 2118 = -16*s - 682. Do s and 2/5 have different values?
True
Let r = -40903/16722 + 3/1858. Let n = -2/23 - 32/161. Which is smaller: n or r?
r
Suppose 5*h + 15 = 3*r, 5*h = 8*r - 3*r - 25. Let s be r/7 + -1 + (-150)/(-84). Is -17 != s?
True
Let k = 60.2 + -1.2. Let t = -58 + k. Let g = -1.2 + 1.37. Which is smaller: t or g?
g
Let k be (-23)/(-5) - (-6)/15. Let t(p) be the third derivative of p**5/60 - p**4/12 - 7*p**3/3 + 50*p**2. Let q be t(k). Which is smaller: -2/39 or q?
-2/39
Let g = -0.63 - -0.4. Let q = 0.13 + g. Which is greater: q or -5?
q
Suppose -15*r - 8*r - 8211 = 0. Is -357 equal to r?
True
Let s = -1.469 + 2.469. Let g = 3.9 - 19.9. Is g greater than s?
False
Let x(u) = -u**3 + 6*u**2 - 6*u + 5. Let z be x(5). Let l be 1 + (z - 15)*(-12)/(-168). Let k = -0.9 + 1. Which is smaller: k or l?
l
Let k(f) = -2*f + 44. Let b be k(16). Let m = b - 19. Let z = 0 - 0. Which is greater: z or m?
z
Let r = -2.9 + 3. Let v = -51671 + 1704872/33. Let p = -28/11 - v. Which is smaller: p or r?
r
Suppose 4*g + 2*z = -6, 15 = 5*g - z - z. Let f = -8 + g. Suppose 4*x = 3*s - 36, -2*x - 18 = 2*s - s. Which is smaller: f or x?
x
Let d be (6/20)/(9/(-12)). Suppose -5*o + 40 = -5*v, -5*o + 3*v + 35 = -v. Let b be (-3 - (-2 + o)) + 1 + 3. Which is smaller: d or b?
d
Suppose -5*m = -0*m. Let l be ((-1)/(-9))/(26/(-52)). Is l less than m?
True
Suppose z + 42 = 20. Which is greater: -68/3 or z?
z
Suppose -a = -2*j - 2*j + 9, -2*a - 10 = 0. Let y = -8 - -7. Let h be y/(-22)*(-16)/(-12). Which is bigger: j or h?
j
Let s = 5 + -3. Let u = -11.14 + 7.14. Let o = s + u. Which is smaller: -0.6 or o?
o
Suppose 198 = -3*n - 0*n. Let a = -3365/51 - n. Are a and -1 unequal?
True
Let v = -0.049 - -21.049. Let n = v + -20.8. Are -1.2 and n equal?
False
Suppose 4 + 0 = u. Suppose -u*m = m - 10. Suppose 4*n - 4*c = 4, 0*n + m*c = n + 4. Are n and 13/2 non-equal?
True
Suppose -48*u = -0*u + 2640. Are -61 and u non-equal?
True
Let n = 23734/585 - 528/13. Let y = -59/315 - n. Which is smaller: -1 or y?
-1
Let p(j) = -71*j + 43. Let z be p(8). Are z and -525 equal?
True
Let x = 1/22 - -9/44. Suppose 0 = 5*z - 3011 + 3011. Are z and x equal?
False
Suppose -3*m = 9, -x = 2*x + 4*m + 6. Suppose -t - 1 = 5*s + 1, 2*s - x*t + 8 = 0. Let o = -13 + 13.05. Is o < s?
False
Suppose p + 3 = c + 8, -3*p = -5*c - 19. Let r be 1/p*(1 - 2/(-1)). Let o(s) = s**2 + 4*s + 2. Let i be o(-3). Is i at least r?
False
Let h = -2859 + 568947/199. Is h < -1?
False
Let r be 3/15*-1 + 123/15. Let h = -67.2 - -67. Is r at most h?
False
Let p(y) = y**3 + y**2 + 4*y - 1. Suppose 0 = -x - 7 + 8. Let c(g) = -g**3 + g**2. Let k(z) = x*p(z) + 2*c(z). Let q be k(4). Is -2 at least q?
False
Suppose 2*k = k - 11. Let v(o) = -o**2 - 5*o - 12. Let u be v(-3). Let t = u - k. Which is smaller: 4 or t?
4
Let l be (148/147 + -1)/((-312)/1872). Is -4 equal to l?
False
Let y = 16810/19 + -885. Is -2 greater than y?
False
Let m be (-90)/(-4)*(-25)/250. Which is smaller: m or -1?
m
Let s(y) = -y**2 + 3*y + 2. Let j be s(3). Let w be j - ((-90)/25 - -4). Which is smaller: w or 3?
w
Suppose 2*z = 4*y - 52, -2*z - z + 54 = 5*y. Suppose 7*k + 5 = y*k. Which is greater: -1/7 or k?
k
Let h be 16/(-6)*3/(-4). Let i be -4 + h - (-2 - -2). Let b = -96/7 - -88/7. Does i = b?
False
Suppose r + f = -4*r + 20, -4*r = 3*f - 27. Suppose -14*m + 11*m = r. Which is greater: m or -13/9?
m
Let i be 23*(-1 - 0*1/(-5)). Is i >= -23?
True
Let a = -6066/5 - -1220. Does a = 6?
False
Let q = 4 - -32. Let b be 2/(-4) + 9/q. Which is bigger: 3.5 or b?
3.5
Let g be (-3 - 225/66) + (-21)/(-14). Is -5 less than or equal to g?
True
Let b(m) = m**3 - 10*m**2 + 5*m - 20. Let u be b(10). Let a be (-1)/(-8) + (-15)/u. Is a smaller than -0.1?
True
Suppose -10*c = -13*c + 15. Suppose 4*z - 3*t + 14 - c = 0, 0 = 3*z + t - 3. Let d be (-1)/2*2/6. Is d greater than z?
False
Let v = -0.0818 + -0.0182. Which is smaller: v or -2/199?
v
Let l = -16.1 + 19.1. Are l and -2/7 non-equal?
True
Let i(f) = 4*f + 40. Let t be i(-10). Let c = 6556237/322 + -20361. Let w = 1/14 - c. Which is smaller: t or w?
t
Let k(g) = -3*g - 19. Let x(y) = -2*y - 13. Let q(o) = -5*k(o) + 7*x(o). Let z be q(-6). Which is greater: -9/7 or z?
-9/7
Let j(v) = v**3 - 5*v**2 - 5*v - 1. Let x be j(6). Suppose -27 = b - m, 4*b - x*m = -0*b - 106. Is -28 greater than or equal to b?
True
Let q(v) be the third derivative of -7/24*v**4 - 1/60*v**5 + 0 - 2*v**2 + 0*v + 4/3*v**3. Let k be q(-8). Which is greater: -1 or k?
k
Let o be ((-1)/(-3))/((-1)/(-3)). Let h = 32 - -4. Let v be (6 + 0)/(78/(h/6)). Is o != v?
True
Let m(t) = 10*t - 139. Let a be m(31). Is a != 171?
False
Let f(n) = -4*n**3 - 2*n**2 - 9*n - 18. Let o be f(-2). Is 0 not equal to o?
True
Suppose -238 + 254 = 8*l. Which is smaller: 114 or l?
l
Let g = -38 + 42. Suppose a + 118 = 5*s + 5*a, -2*a = -g. Is 22 != s?
False
Let g = -6301/21 - -300. Let r = g + 25/21. Is 1 > r?
False
Let x(b) = -b**3 - 3*b**2 + 10*b + 2. Let v be x(-10). Is 603 <= v?
False
Let y be (-60)/(-18)*(-5)/((-2415)/(-9)). Let j = -8/23 - y. Is 1 > j?
True
Let i(h) = h + 11. Let f(x) = x**2 - 10*x - 1. Let r be f(9). Let s be i(r). Which is greater: 1/17 or s?
s
Suppose -9*k - 38 = -10*k. Let o = k - 111. Are o and -73 nonequal?
False
Suppose 0 = 2*g + a - 49, 78 = -g + 5*g - 2*a. Let r = 87/4 - g. Is r less than or equal to -1?
False
Let q = -10.43 + 10.38. Is -51 <= q?
True
Let p = 33 - 16. Let s = -1031 - -1029. Is s at least p?
False
Let b = 1 + 14. Let v = 16 - -18. Let i = -19 + v. Is b greater than i?
False
Let t = -6953/168 - -290/7. Which is bigger: t or -1?
t
Let p(z) = -2*z**3 - 15*z**2 + 10*z + 14. Let g(x) = -x**3 - x**2. Let q(w) = 3*g(w) - p(w). Let f be q(11). Let m be 5/(175/(-10))*9. Which is bigger: f or m?
m
Let u = -40 - -41. Let z(m) = 15*m**3 - m**2 + 2*m - 2. Let x be z(u). Is x greater than 14?
False
Let x = 0.074 - -0.326. Let q be (-1)/(-9) + (-3)/9. Is x at least as big as q?
True
Let g = 1.1902 + -0.1902. Let s be 3/(-9) - (-71)/(-3). Which is smaller: s or g?
s
Let z = 6 - 3. Let t = 144 - 72. Let o = t - 71. Is z at most as big as o?
False
Let l be (-4)/2*(-54)/4. Suppose 0 = i + 2*i + l. Suppose 0 = -0*r - 2*r + 4*g - 24, -3*r - 3*g - 18 = 0. Which is greater: r or i?
r
Let v be (0/2 - 1)*12. Let x be (-2)/(((-5)/(-50))/(1/2)). Which is smaller: v or x?
v
Let l be (-1503131)/35*(-5)/(-36). Let t = l + 24221/4. Let a = -90 + t. Which is smaller: 1 or a?
a
Let y(m) = -8*m**2 + 66*m - 21. Let j be y(8). Let r(a) = -a**3 + a**2