l + 4*r - 718 = 158. Suppose 5*z = 4*a + 1061, -391 - 463 = -4*z - 2*a. Is l greater than or equal to z?
True
Let p(a) = a**3 + 20*a**2 - 3*a - 19. Let o be p(-20). Suppose o*r = 45*r - 384. Suppose -r = -2*l - 18. Is l at most as big as 40?
True
Let n be 3*4*(-46)/(-12). Suppose 3*t = -n + 4. Suppose 3*d + s = -35, 148*d + 14 = 145*d - 4*s. Is d < t?
False
Let d = -189 + 300. Let r = d - 107. Is 0.07 at least as big as r?
False
Let q be 84/1422*855/105. Are q and -1 unequal?
True
Suppose 4*d = -5*n + 124, -3*d + 5*n + 22 = -36. Which is smaller: d or 18?
18
Let r = 1.45 + -19.05. Let z = r - -17.7. Which is smaller: z or 70/11?
z
Let g = -1313207/1111 + 1182. Which is smaller: 1 or g?
g
Let h be (9/3 - 5)/(2/(-33)). Suppose -3*m - 3*y - 57 = -7*m, 5*y - h = -4*m. Let g be 1/(-5)*(-15)/m. Is g <= 0?
False
Let s = -274/3 + 92. Let h = -23 + -12. Let y = -39 - h. Is y greater than s?
False
Let j(h) = 2*h**2 - 125*h - 2058. Let m be j(76). Are -499 and m equal?
False
Let y be (22/1386)/((-60)/(-98)). Which is smaller: -1 or y?
-1
Let v be (2 + -10*(-36)/(-45))*30. Which is smaller: v or -130?
v
Let b(l) = -l**2 + l - 14. Let j be b(0). Let h = 37436 + -37443. Which is smaller: j or h?
j
Let g(k) = -14*k - 3. Let y be g(-2). Let d be -1 + 52/6 - 43/(-129). Let j be (8 - d/4 - 7)*3. Which is bigger: j or y?
y
Let h = 3285/104 + -309/8. Which is smaller: h or -7?
h
Suppose -10*u + 4792 = 5562. Is u less than -138?
False
Let w be (18/(-8))/((-195)/15080). Let h = -172 + w. Let g be (16/10)/(6/15). Is g less than h?
False
Suppose -3*a = -7*a + 32. Suppose -19*m + 7*m + 252 = 24*m. Suppose a*g = m*g. Is 1/4 smaller than g?
False
Let k = -222 + 213. Let z = 8.7 + k. Is z less than 0?
True
Let c = -116 - -141. Is -21 at least c?
False
Let y(o) = 18*o**3 + 4*o**2 - 73*o - 610. Let z be y(-7). Which is smaller: z or 2/5?
z
Let a = -139 + 185. Suppose -a*n + 41*n + 585 = 0. Is n > 118?
False
Let d = 17153 + -21062. Which is bigger: -3908 or d?
-3908
Suppose 5 = 5*c, 0*c = -2*v - 5*c - 5. Let f(l) = -l**3 - 5*l**2 - l + 6. Let w be f(v). Suppose -7*u = -w - 17. Are u and 3 unequal?
True
Let v be (-4 + 2/2)/(7 + -8). Suppose 2*d + 2*h + 1856 = 0, v*d + 2*d + 4*h + 4642 = 0. Let y = 62309/67 + d. Is -1 at least y?
False
Let o = 23899 - 620. Which is smaller: -0.1 or o?
-0.1
Suppose 109*c + 93 + 91 = 75. Is c at most 2/7577?
True
Let m = -51 - -53. Suppose 2*a + m*a = 0. Which is bigger: -4/195 or a?
a
Let a be -2*((-3900)/(-8))/15. Is a <= -724/11?
False
Let k = 0.37 + -0.3. Let i = k - -0.08. Suppose -x + 5*b + 52 - 24 = 0, 2*b = 5*x - 25. Is i at least x?
False
Let r(m) = 13*m - 18. Let c be r(7). Let z be c - (8 + -3 + -2). Let n = 70 - z. Which is smaller: -2/119 or n?
-2/119
Let t = 19345 - 19754. Is -396 at least as big as t?
True
Let d be 10 - 12 - (-116099)/(-3155). Let w = -1/631 + d. Let a = w - -39. Which is bigger: 0 or a?
a
Let i = -461 - -953/2. Let m = i + -47/3. Let u = -9 + 10. Which is bigger: m or u?
u
Let n = -0.68 - -0.68. Let g(f) = -2*f**2 - 12*f + 4. Let x be g(-6). Suppose -3*l + 100 = 4*d, 4*d = 3*d + x*l + 25. Which is smaller: n or d?
n
Let u be 3/(-14)*328/(-246). Which is greater: -224 or u?
u
Let w be (-88)/11 - (6 - -175)*-2. Which is bigger: w or 358?
358
Let g = -54.38 + 55. Let f = -35.58 - -36. Let w = g - f. Which is smaller: w or 1/6?
1/6
Let k = 5 + -5.82. Let h = 9.72 - 9. Let a = h + k. Which is smaller: 68 or a?
a
Let u be (-38)/8 - 62/248. Let t be 1/(4/(-12)) + 2. Let j be (t - -3) + -9 + -1. Is j smaller than u?
True
Let u = 79500 + -105893993/1332. Which is bigger: 1 or u?
1
Let s = -149.9798 + 2.2898. Is -2/5 equal to s?
False
Let q = 52 + -49.1. Let x be -20 + 54 - 5*95/25. Which is bigger: q or x?
x
Suppose -r = y - 9, -11*y + 124 = 4*r + 67. Are y and 268 nonequal?
True
Let k(b) = -5 - 4*b**2 + b**3 - 6 - 2*b**2 + 0 + 2*b. Suppose -47 = -13*o + 31. Let y be k(o). Is y <= 20/9?
True
Let w = 91 - 55. Suppose 3*h + w = 27. Let f be 5/15 + 16/6 + h. Is 0 > f?
False
Let q = 215 + -210. Suppose -q*t - 3*t + 16 = 0. Are 17/6 and t nonequal?
True
Let d = 41 - 41.48. Let i = 0.48 + d. Let c = -11 + -9. Which is greater: c or i?
i
Suppose 4*m - 489 = -o, -5*o - 1920 = -9*o + 2*m. Let k be -3 + 2 + 507/o. Suppose -4 = -x - 5. Do k and x have different values?
True
Let i = -0.28276 - -11.28276. Let n = 0.2 + 0.3. Let l = n + -0.3. Which is smaller: i or l?
l
Let i(b) = -2*b**3 - 3*b**2 - b - 2. Let f be i(-2). Suppose 0*m - 3*m = f*j - 135, -4*j + 5*m = -159. Let c be (6/j)/(6/(-8)). Which is greater: c or -0.2?
-0.2
Let l be 44 - (-1 - (-6)/3). Suppose -h + 5*f + 44 = 0, -f + 25 + l = 3*h. Let o be 14/(-35) - h/15. Are o and -2/3 nonequal?
True
Let g = 3/6064 - -13731919/18192. Are 754 and g equal?
False
Let s = 260 - 126. Let i = 129 - s. Let m = i + 4. Are -1.4 and m non-equal?
True
Let f = 21899 - 21914. Let y = 241 + -509/2. Which is smaller: y or f?
f
Let z be (1 - ((-14)/(-3) - 2))/((-4)/(-12)). Let v(w) = 2*w + 16. Let o be v(10). Let r be 0 - (o/15 - 2). Which is bigger: z or r?
r
Let g be ((-6678)/72)/((5/(-6))/(1*8)). Is g less than 891?
True
Let i = 471284 + -17762693959/37690. Which is bigger: -1 or i?
i
Let u = 1959 + -1970. Which is greater: 2 or u?
2
Let y be 3 + 17612/(-35) - (-4)/20. Let w be y/40 + (-6)/4. Which is greater: -63/5 or w?
-63/5
Let q = -0.2 + 0.165. Let m = -271.975 - -272. Let v = q - m. Which is bigger: -4 or v?
v
Let b be ((-34)/(-425))/(2/(-20))*(-2)/8. Is b at most 11.3?
True
Let v = 13208 - 13206. Is v bigger than -0.045?
True
Let b(y) = -4*y**2 - 240*y - 176. Let o be b(-21). Is -1 not equal to o?
True
Let g be -1 + (-4 - (-76)/(-45)). Let i = -32/45 + g. Which is greater: i or -6?
-6
Suppose 3*a - 116 = 4*g, a + 5*g - 43 = 2*g. Suppose 190 = 4*z + z. Which is greater: a or z?
a
Suppose -4*w - 2*i + 6 = 0, w = 3*i + 11 + 1. Suppose -6 = h + 3*n, -w*n + 5*n + 4 = 0. Is h less than -2/33?
False
Let w = -204.564 + -0.436. Let u = w - -205. Which is bigger: 16 or u?
16
Let d be (6207/39 - -8) + 2/(-13). Let t(p) = 4*p**2 - 3*p + 5. Let m be t(-6). Is m greater than d?
False
Suppose -4*n + 1044 = 2004. Let w = 12001/50 + n. Which is greater: w or -2/7?
w
Let j = 8447 - 9032. Is j equal to -582?
False
Let j = -6749/372 - -275/12. Which is bigger: j or 5?
5
Let z = 17480 + -70265/4. Is z not equal to 3?
True
Let o(b) = b**2 - 2*b + 1. Let y be o(3). Let k be 4/18 - 3626/441 - -23. Let a be y/(-5) + (7 - 298/k). Which is greater: -13 or a?
-13
Suppose -669*g + 674*g - 4*d = 1266, -d = g - 246. Is 253 bigger than g?
True
Let g = -5679/2 - -28329/10. Which is smaller: 17/10 or g?
g
Let f be (-3)/(-2) + 9/(-198)*187. Let z = 17 - 24. Do z and f have the same value?
True
Let g(p) = -7*p**2 - 103*p + 2201. Let s be g(29). Do s and -6673 have the same value?
True
Suppose -2*g + 2*f = -0*g + 14, 0 = -4*f + 20. Let l(v) = 2*v + 17. Let x be l(-7). Suppose j - 10 = -3*j + y, -x*y = 2*j + 2. Which is smaller: j or g?
g
Let y be 6*21/(-405)*3. Let s = y + 34/15. Which is smaller: 24 or s?
s
Let u(b) = 7*b**2 - 36*b - 171. Let c be u(-3). Let n be 786/(-9) - (-1)/3. Let y be (-3*2/n)/(-2). Which is smaller: c or y?
y
Let m be (6 - 6) + 4 + -158. Let g = -166 - m. Do g and -14 have different values?
True
Let c(k) = -38*k + 1709. Let j be c(45). Is -70/211 at least j?
True
Let v(q) = -420*q + 2433. Let d be v(6). Which is smaller: d or -58?
d
Suppose 4*y = 8, 143 = -2*d - 4*y + 25. Let p be -3 + 1 - (d/10 + 4). Let i(o) = o**3 - 8*o**2 + o - 9. Let g be i(8). Which is bigger: p or g?
p
Let a(q) = 9*q + 32. Let v(x) = -x**2 + x. Let w(f) = -a(f) + 2*v(f). Let n be w(-5). Let g = n - -48. Which is bigger: g or 12/11?
12/11
Let a be (-1)/((4/(-2))/(-64)). Suppose 6*r = -7*r + 858. Suppose 2*n + j + r = -3*j, 91 = -3*n + 2*j. Is n bigger than a?
True
Let o = 0 - -1.3. Let r = -1.35 + o. Which is bigger: r or 4?
4
Let c be ((-3)/(-10))/(0 + 12). Let r(f) = 2*f**2 - 17*f - 30. Let s be r(10). Suppose -x = k, s = k + 5*x + 1 - 5. Which is smaller: k or c?
k
Suppose h - 6*h - 5 = 0. Let g be 3*(2/6)/h + -17. Suppose 5*z + 34 + 44 = 4*y, 69 = -3*z - 5*y. Is g at least z?
True
Let z = -123 - -220. Let f = z - 166. Is -71 at most as big as f?
True
Let i be 18/(-3)*(2 + -4 + 6). Let k be 45/(-3) - i/3. Which is 