6 = 0. Suppose g*f + 10 + 6 = l. Is f greater than or equal to -2?
False
Suppose 2*u + 2 = -2*m + 5*u, -7 = m - 3*u. Suppose y - 18 = -t + 5*t, 5*y + m = t. Let j be t/(-38)*(-16)/(-20). Which is bigger: 2 or j?
2
Let z = -3684 + 18511/5. Let b = z - 8094/445. Which is greater: b or 0?
b
Let g be 4/6*-7*(-9)/420. Are g and 1 non-equal?
True
Suppose -5*d = -4*q - 126, 40 = -5*d - 5*q + 175. Suppose 0 = 2*y - 2*a + 7*a - d, -4*y - 4*a + 28 = 0. Is y < -1/8?
False
Suppose -7*v - 6*v = 91. Which is bigger: 7 or v?
7
Let t be (-218)/(((-6)/4)/(42/(-56))). Which is greater: t or -112?
t
Suppose -51*t = -59*t. Is -1/5 at least as big as t?
False
Let d = 0.22 + -0.14. Let h = -2.8 - 0.2. Are d and h non-equal?
True
Suppose 13*n + 4*n - 24*n = 0. Which is smaller: 5/196 or n?
n
Suppose 3*l + d - 331 = 22, 0 = -l - d + 115. Is 119 greater than or equal to l?
True
Let u = -65191/9 + 7236. Which is bigger: -7 or u?
-7
Suppose -43 = -2*z - 3. Let f be (-304)/(-12)*3/4. Which is greater: f or z?
z
Suppose 6*k - 131 = -209. Which is smaller: k or -7?
k
Suppose -k = -5*j - 20, 3*k - j + 35 = -5*j. Let g be (k + 2)/((-3)/13). Do 12 and g have the same value?
False
Suppose -5*h - 14 = -2*k - 5, k + 18 = -5*h. Let m be (26/20)/((-26)/52). Is m > h?
True
Let u = -48 - -51. Suppose 2*d - 6 = -g, u*d - 1 = 3*g + 8. Is -7/10 smaller than g?
True
Suppose 7*d = 4*d + 180. Suppose 30 = 6*m - d. Are m and 14 non-equal?
True
Let q = -135 + 195. Which is bigger: q or 58?
q
Let d = 0.137 + 89.863. Let j = -89 + d. Is -18 <= j?
True
Let c(t) = t**3 + 8*t**2 - 2*t - 16. Suppose 3*q + 64 = -5*q. Let s be c(q). Which is smaller: s or -1/10?
-1/10
Suppose 13*s + 15 = -2*s. Let v = -5940 - -23949/4. Let y = v - 47. Which is smaller: s or y?
s
Let i = 0.2808 - 0.1808. Is i equal to -11.87?
False
Let o be (-63)/196*-4 - (-6)/(-21). Which is greater: o or 98?
98
Let z(d) = d**3 + 5*d**2 - d + 1. Let l be z(-5). Suppose s + l = 4. Let h = s + 8. Is h smaller than 0.1?
False
Let f(g) = -4*g - 15. Let a be f(-5). Let i be ((-42)/10 + a)/((-4)/(-30)). Is i less than 8?
True
Let m(j) be the first derivative of -j**3/3 + j**2 + j - 6. Let i be m(5). Let u = i + 13. Do -3/2 and u have different values?
True
Let m be 24/(-120) - 78/10. Is -25 > m?
False
Suppose 0 = -5*a + 5*z + 38 + 132, 3*z = -3*a + 114. Let t be (-12)/28 - a/14. Which is smaller: -8/5 or t?
t
Suppose 3*l = 4*u - 33, 66*l - 63*l + 33 = 2*u. Are 1 and l nonequal?
True
Let t be (-10)/(420/(-54)) - (-4)/(-14). Which is greater: t or 23/15?
23/15
Let w be 10/(2*(-4)/(-8)). Let i be -1*w - (4 - 3). Let l = i + 16. Which is greater: l or 4?
l
Let v = 0.448 - 46.848. Let y = v - 10.6. Is y greater than -1?
False
Let i be -23*(1 + 0) - 0. Let l = 6580 - 6603. Is l greater than or equal to i?
True
Let u = 0.3 - -1.7. Let d(f) = -f**2 + 3*f - 4. Let g be d(3). Let z be (g - -4)/(-4) + (-1)/5. Which is smaller: u or z?
z
Let r(i) = -3*i**2 - 26*i - 42. Let l(a) = 4*a**2 + 26*a + 43. Let y(c) = -5*l(c) - 6*r(c). Let v be y(15). Is v greater than or equal to -25?
True
Suppose -2*n = q + 107, 271*n - 272*n = -q - 92. Which is smaller: q or -106?
-106
Suppose -s + 6 = 4. Suppose -15 = 3*f, 6*a + 5*f + 37 = s*a. Suppose 0 = -4*z, -z + 0*z + 21 = -3*j. Does j = a?
False
Let y = -101.74 - -102. Let q = 0.26 - y. Which is greater: -8 or q?
q
Suppose 2*z - 331 = 5*o - z, 269 = -4*o + z. Let k be ((-3)/4)/(527/o). Which is smaller: -1 or k?
-1
Let c(r) = 7*r**2 - 5*r. Let g be c(4). Which is smaller: 93 or g?
g
Let n = -55 - -67. Let k be (36/210)/((n/(-15))/(-2)). Which is bigger: 1 or k?
1
Suppose -3*h = c - 224, -3*c + 210 = 4*h - 87. Let q be (-8)/(-10) + (-120)/h. Is q smaller than -2?
False
Let n be 268/(-104) - -4 - 4/2. Which is greater: -1 or n?
n
Let x(a) = -a**3 - a + 17. Let g be x(0). Let k(p) = p**3 - p**2 - p - 10. Let t be k(0). Let m be 4/t - (-348)/20. Do m and g have different values?
False
Let m(p) = -4*p + 29. Let a be m(6). Suppose a*i - 4*z + 32 = 0, 0*i + 3*z - 13 = i. Let n be 4/(-1) + 0 + 1. Is n at most as big as i?
False
Let l = -3.2 + 3.17. Let i = 0 - 0. Let k = 2 - i. Is l at most k?
True
Let o = 78827/2529 - 110/281. Let b = o - 31. Is -25 greater than b?
False
Let b be 1/(-3) + (-4)/6. Let a be 14/204 - 18/(-108). Which is smaller: a or b?
b
Let h = 278 + -2498/9. Which is bigger: -1 or h?
h
Suppose 3*y = 6*y - 72. Let d be y/(-40)*(-2)/(-3). Let n be (-16)/(-130) - 47/235. Is n >= d?
True
Let v = 14 + -25. Let s = 0.339 - 0.139. Which is smaller: s or v?
v
Let c = 11 + -43/4. Let w = -191/3 - -63. Which is smaller: w or c?
w
Let r(f) be the third derivative of f**6/120 + f**5/20 + f**4/12 - f**3/3 - 36*f**2. Let t be r(-2). Is -9 at most as big as t?
True
Let n be (-8)/52 - (-23139)/(-11583). Are n and -3 equal?
False
Let n = -4 + 3.9. Let l = -0.1 - n. Let y = -18.5 + 13.5. Which is greater: l or y?
l
Suppose 16 + 92 = 4*d. Suppose 20*c - d*c - 35 = 0. Which is bigger: 0 or c?
0
Let z = -25814/7 - -7349/2. Let v = z - -93/7. Is v equal to 1?
False
Let h = 21 + -22. Let l be (-3)/(-11)*h + 1. Is 1 at most l?
False
Let f(o) = 15*o - 118. Let c be f(4). Which is smaller: -63 or c?
-63
Suppose 220 = 15*u - 12*u + 4*q, -2*u + 5*q + 185 = 0. Does 402/5 = u?
False
Let k = -21 - -24. Let l be 13/(-36) + 7/28 + 0. Which is smaller: l or k?
l
Let o = 3 - 2. Let x be 280/(-1298) - (602/77 + -8). Let c = x + 81/649. Is c at least as big as o?
False
Let i = -734 - -833. Is 99 bigger than i?
False
Let m = 201/40 + -23/20. Let r be 306/(-36)*1/4*-2. Let f = m - r. Are f and -1 nonequal?
True
Let j = -0.09 + -1.51. Let b = j - -1.95. Let k = 0.19 - b. Which is bigger: 0 or k?
0
Let g = 9/154 - -3/14. Let y(o) = 2*o**3 - 36*o**2 + 114*o - 27. Let b be y(14). Is g bigger than b?
False
Let i be 5 - ((-6)/8)/((-2)/2256). Which is greater: i or -842?
i
Suppose 0 = 16*t + 489 - 25. Is -83/3 equal to t?
False
Let a = -0.76 - -0.66. Which is greater: 69 or a?
69
Let l = 2 + 0. Let m = -947/30 - -199/6. Which is smaller: m or l?
m
Let u be 43/(-5) + 24/(-60). Which is smaller: u or -13?
-13
Let q = 2242/385 - 40/7. Which is smaller: q or 1/4?
q
Let a = 1/3459 - 89951/58803. Is -3 equal to a?
False
Let r = -4.2 - -4. Let i = -21 - -25. Suppose -5 = 2*n + 5*g + 9, n = i*g + 19. Is r smaller than n?
True
Suppose -69*m = -65*m - 168. Which is greater: m or 44?
44
Let i = 0.3 + 1.62. Let l = 4.08 - 4. Let x = l + i. Is 0.4 at least as big as x?
False
Let f = 1941/2 - 991. Which is smaller: -22 or f?
-22
Let i = -43 - -133. Let h = -134 + i. Which is greater: -45 or h?
h
Let y = 297 - 298. Let v = -2 + 1. Is y at least v?
True
Let m be 1/5 - (-9)/55. Suppose -3*q + 11 = -5*n, n - 15 = -5*q - 6. Which is smaller: n or m?
n
Suppose -112 = -3*y - 10*c + 5*c, -36 = -y - 2*c. Is 46 bigger than y?
True
Let g be (-16)/8 - 16252/14. Let d = g - -1166. Do d and 0 have the same value?
False
Let b = -369 - -19555/53. Let n(c) = 9*c - 460. Let d be n(51). Which is smaller: b or d?
d
Let y = -5/154 - -3/44. Is y less than -1/4?
False
Let k(f) = f**2 - 3*f - 2. Let t be k(-2). Suppose -5*j + 8 = t. Is -6/19 less than or equal to j?
True
Let n be (4/(-72)*-6)/(25/5130). Which is smaller: n or 67?
67
Let u = 119 - 119.44. Are u and -3 equal?
False
Suppose -4*o + 8 - 33 = 5*c, o + 8 = -3*c. Which is smaller: 6/211 or c?
c
Let l = 63 - 60. Suppose -5*t + 0*t - 4*h = 28, 2*h + 16 = -l*t. Which is greater: t or 20/9?
20/9
Let q be 2*3/(12/10). Let g(w) = w**3 + 19*w**2 - 22*w + 417. Let u be g(-21). Which is greater: q or u?
q
Let i(t) = 2*t + 2. Let n be i(0). Suppose 1 = 3*c - n*c. Is -1/42 < c?
True
Let i be (-30)/4*(10 - 48). Is i >= 285?
True
Suppose -202*j + 217*j - 105 = 0. Let x(i) = -i**2 + i + 1. Let w be x(1). Suppose 0*g = g - w. Which is smaller: g or j?
g
Let q be (5 - -25)/3*90/(-75). Suppose r = 4*r + 30. Which is smaller: r or q?
q
Let a = 0.003 + 87.997. Let g = a + -128. Which is smaller: g or 0?
g
Let m be 42/8 - (-4)/(-16). Let b = 38 + -33. Is b at least as big as m?
True
Let y = 2/3421 - -54726/17105. Let u be 2*(-1)/((-8)/68). Let w(h) = 2*h - 32. Let a be w(u). Which is smaller: y or a?
a
Suppose -7*i + 28 = -5*i. Suppose -b = -x - 7 + 23, -2*b + 4*x - 38 = 0. Let j = i + b. Which is smaller: -1/3 or j?
-1/3
Let j = -11 + 16. Su