= 2*l + l + 4, -8 = 2*t + 2*l. Which is bigger: t or 3/23?
3/23
Let d = -0.3 + 0.2. Let k = d - -0.3. Let p = -41.8 - -42. Is k at most p?
True
Suppose -1 = 4*s + 3. Let c be (3*s/(-3))/1. Which is bigger: c or -1/15?
c
Suppose 165 = 9*w + 3. Let b be 256/33 - (96/w)/8. Which is bigger: 8 or b?
8
Let n = -68.134 + 0.134. Let k = n - -69. Which is bigger: -34 or k?
k
Let m be 36/10*40/12. Suppose 80 = -4*g - m. Let h(w) = -22*w**2. Let d be h(-1). Which is smaller: g or d?
g
Let y = -198 - -23. Let u be ((-13)/(-5))/(-5*(-14)/y). Is -8 less than or equal to u?
True
Let h be (-744)/680 + 24/30. Is -3 != h?
True
Let b = 0.23 + 0.2. Let o = b - 0.55. Which is smaller: -0.1 or o?
o
Let d = -105 + 107. Is d bigger than 54?
False
Let d be (-2)/(-3) + 88/12 + -6. Are 2 and d non-equal?
False
Suppose 12*w + 2059 = 199. Let i = w + 126. Which is smaller: -28 or i?
i
Let l = 0.24 - 0.01. Let n = l + -5.23. Is n bigger than 2/9?
False
Let o = 356 + -356.2. Are 8.4 and o equal?
False
Let j = -363/5 - -73. Let d = 31.234 - 28.2. Let l = 0.034 - d. Are l and j non-equal?
True
Suppose 12*m + 12 = 10*m. Let q be (-1 - 5/(-15)) + 134/m. Is -22 >= q?
True
Suppose -5 = 5*l - v, 5*v - 27 + 2 = 0. Let a be 8/(-10)*((-65)/25)/(-13). Which is greater: a or l?
l
Let y = -132.3 - -144. Which is smaller: -2/11 or y?
-2/11
Let j = -67 - -66.95. Which is smaller: -16 or j?
-16
Let m be 1/((-10)/35)*-2. Suppose -5*r + 18 = -m. Suppose 0 = r*q - 114 + 44. Which is smaller: q or 12?
12
Let p = -287 + 302.3. Let i = p + -16. Suppose -m - 4*m = 0. Which is smaller: m or i?
i
Suppose -5*n + 106 - 111 = 0. Which is smaller: 4/29 or n?
n
Let c = 13 + -11. Let i be 1*((-60)/(-3) + c). Suppose 4*s = -2*d - 18, i = -4*s - s - 2*d. Is -3 != s?
True
Let w(f) = f**2. Let p be w(2). Suppose 8*q - 14 = 6*q. Suppose 0 = -12*a + q*a + 25. Are p and a equal?
False
Let j = 2.2 - 2.1. Let z = 20.55 - 0.55. Are j and z equal?
False
Let r = 18 - 18. Suppose 3*j - 2*v + 7*v + 205 = r, 4*v - 4 = 0. Let s be (-41)/10 + 28/j. Which is bigger: s or -5?
s
Let k be (-22)/4 - (-42)/(-11 - -25). Is k at least -7/2?
True
Let b = -2/75 + 79/150. Which is smaller: -3/4 or b?
-3/4
Let u(t) be the first derivative of t**3/3 - t**2/2 - 88*t + 4. Let w be u(0). Let h be 4/w*-62 - 3. Which is greater: 0 or h?
0
Let t be (-150)/352*12/18. Which is bigger: t or -1?
t
Suppose 11*d - 10*d = 6. Let n(m) = m - 6. Let t be n(d). Suppose -2*y + t*y + c = -36, -3*c = 0. Is 18 > y?
False
Let o = 10/93 + -1253/10788. Let b = 239/812 + o. Does b = 1/8?
False
Let k be (5 - -7)*1/3. Let f be ((-2)/k)/(9/6). Let g be (3/15)/1*-3. Is f greater than g?
True
Let g be 18 + (0 - (2 + 1)). Let t be (3/(-18))/(g/8). Let u = 38/585 - t. Which is smaller: u or 2/9?
u
Let l be 1/(((-21)/189)/(106/6)). Are l and -802/5 equal?
False
Let m be 10/256*(-200)/(-300). Which is smaller: m or 0?
0
Suppose -5*s - 4 = -s. Let j = -50008 - -549702/11. Let p = 35 + j. Which is smaller: p or s?
s
Let z be (-2 + 3)*(-2 + (-26)/(-14)). Which is bigger: z or -5?
z
Let d = 19 + 21. Let q = -39.9 + d. Which is smaller: q or 37?
q
Let z be 1 + ((-35)/84 - 1/(-6)). Let j = 0.11 - 6.11. Which is smaller: j or z?
j
Let z be 3030464148/(-846)*(-1024092)/1967. Let r = -1864976660 + z. Let q = r - -2/1967. Is q less than 1?
True
Suppose -2*s + 52 = 8. Let g = -21 + s. Let a = g - 0. Which is bigger: a or 2/63?
a
Let d be ((0 - 1)*0)/2. Let h = -14 + -44. Let j = 1103/19 + h. Which is greater: d or j?
j
Let t(u) = 20*u - 30. Let z be t(5). Suppose 3*f = -4*f - z. Does f = 1?
False
Let l(a) = a**2 - 2*a - 1. Let b be l(-1). Suppose -x = -d + x - 1, x - 13 = -b*d. Let v be (2 + -1)/((-1)/d). Which is smaller: v or -2/9?
v
Suppose 4*t + 20 = 9*t. Let a be 13/(182/t) - (-676)/(-14). Which is smaller: -46 or a?
a
Let d = 0.1118 - 0.2118. Do -10/69 and d have the same value?
False
Let v(o) be the second derivative of -o**5/20 + o**4/3 + 5*o**3/6 + o. Suppose 30 = 209*a - 203*a. Let k be v(a). Is k at least as big as 0?
True
Let k = -47 - -55. Let x(q) = -2*q**2 - 13*q - 4. Let c be x(-6). Is k smaller than c?
False
Let j = 298.94 - 299. Is j at least as big as -10?
True
Let o = 2691 + -2782. Is -92 >= o?
False
Suppose -2*d - 3*h + 18 = -0*d, -5*d + 19 = h. Let q = 6373 + -6370. Is d greater than or equal to q?
True
Let g = 0.666 - -0.134. Let q = g - 0.7. Which is smaller: q or -13?
-13
Let m(q) = q**2 + 4*q - 2. Let v be m(-6). Suppose s + 90 = 6*s. Suppose 2*k - 2*x - s + 2 = 0, -8 = -4*x. Is k >= v?
True
Suppose -4*r + 28 = 4*q, -3*r = -7*r + 3*q + 7. Let c = 8 - 5. Suppose -k + 2*j + 7 = 0, -c*k = -k + 5*j + 4. Are r and k equal?
False
Suppose -25 = 41*r + 959. Let x = 19 - 42. Is r < x?
True
Let b = -68 + 107. Let q = 24 - b. Which is greater: 0.1 or q?
0.1
Let z(g) = g**2 - g + 1. Let f(j) = -7*j**2 + 16*j + 10. Let a(w) = f(w) + 6*z(w). Let l be a(11). Suppose -l*y + 16 = -4*y. Which is smaller: 17 or y?
y
Let o = 19/2 + -9. Let w = -79 - -90. Which is greater: o or w?
w
Let h(y) = 5 - y**3 + 5*y - 4*y - 4 - 6*y - 6*y**2. Let d be h(-5). Let c = 923 - 14765/16. Which is smaller: c or d?
c
Let m = -82.2 - -78.2. Let x be (-3)/4*(-4)/(-6). Which is bigger: m or x?
x
Let b = -1 + -1. Let i be 4 - -4*b/8. Suppose k - 9 = -0*u + i*u, 5*u + 15 = 0. Is -8/7 != k?
True
Let j be ((-5)/(-5))/(-4 - (-37)/11). Is j less than -3?
False
Suppose 0 = q + 5*v, -12 = 2*v - 4. Let k be ((-48)/10)/(q/650). Let t be 1/(-3) + k/(-306). Is t bigger than 1?
False
Let w(y) = 4*y**2 + 2*y - 1. Suppose -16 = 4*j - 8*j. Suppose -2*g + 2*u = 2, g - j*u + 8 = 1. Let c be w(g). Is c at least as big as 5?
True
Let r be (-3322)/77 + (-3 - -4)*-2. Which is smaller: -46 or r?
-46
Suppose 31 - 148 = -4*y - 3*i, -5*i - 124 = -3*y. Let p = y - 29. Suppose 3*u = p*u. Which is smaller: u or -5/6?
-5/6
Let o be (-13)/(0/1 - 1). Let r(m) = -m**3 + 14*m**2 - 13*m - 13. Let y be r(o). Is -14 less than y?
True
Let v = 4241/1005 - 4/201. Let n = -4 + v. Which is smaller: n or 1?
n
Let t = 22 - 3. Let h = 2 + t. Which is smaller: 1 or h?
1
Let m be (3 - 7 - -6)*(4 + -2). Let a be (24*5)/3 + m. Is 45 != a?
True
Let a = 109 - 49. Let o = -60 + a. Suppose u = 5*u. Is o >= u?
True
Let p = 285 + 300. Which is bigger: p or 583?
p
Let w = 9 - 38. Suppose 0 = 32*m + 15*m + 141. Is w greater than m?
False
Let q = 3111 + -133792/43. Is q <= -1?
False
Suppose 20 = 3*z + 2*k, 3*z = z + 3*k - 4. Suppose -q = z*q + 25. Let v = 13 + q. Is 9 not equal to v?
True
Let c = -56.8 - -64. Let s = c + 0.8. Let f = s - 8.5. Is -2/9 smaller than f?
False
Let v = -12 - -17. Let o = v - 3. Let c be (3/18)/(1/o). Is 2 at least as big as c?
True
Let u be 12/((-12)/(-3)*2/(-4)). Is u <= 0?
True
Let p = 7866 + -7872. Let x(b) = -b**3 + 2. Let q be x(2). Is p != q?
False
Suppose -4*o + 62 = -2*s, -3*o - 2*o = 2*s - 73. Let r = o - 4. Let d = 10 - r. Which is greater: d or 1?
1
Suppose -j = -c + 9, 0 = 4*j - 5*c + 9 + 31. Let s be 3/8 - j/8. Do 18/11 and s have different values?
True
Suppose -597 = a - 598. Which is smaller: 1/593 or a?
1/593
Let y(j) = -j + 8. Let b(d) = -2*d + 17. Let z(h) = 4*b(h) - 7*y(h). Let a be z(9). Suppose 2 = 3*g - 7. Are g and a unequal?
False
Suppose 0*v = -2*v. Suppose 2*r = -v*r. Suppose h + 9 = -r*h. Which is bigger: -10 or h?
h
Let t be 6670/276*3/(-20). Is -4 bigger than t?
False
Let a = 5219/299 + -232/13. Which is smaller: -1 or a?
-1
Suppose -5*q + 8*q + 24 = 0. Let x be (q/5)/((-9)/(-90)). Let d = -21 - x. Which is bigger: -4 or d?
-4
Let o be 0/(-3*1) - 2. Let d = o + 1. Let a = 5686/29 + -196. Is a at least as big as d?
True
Let w(a) = a**2 + 10*a - 8. Suppose -5*h - 44 = -h. Let t be w(h). Let s be t/((-6)/4) - -3. Does s = 3?
False
Suppose 0 = -2*u + 4, -5*s = -4*u - 16 + 29. Suppose 0 = -4*i - i - 10. Let v be i/5 + (-8)/5. Is s greater than or equal to v?
True
Let s = 18 - 25. Let p be 40/(-100) + (-11)/(-15). Is s not equal to p?
True
Suppose -4*x = 25 - 45. Suppose -4*h = q - x*q + 16, -3*q = -2*h - 12. Is h at least -1/41?
True
Let q = 14 - 28. Let k be ((-21)/q)/((-3)/(-2)). Let x be (k*-2)/(16 - 12). Which is smaller: x or 3/7?
x
Let u = 56 + -169/3. Which is smaller: u or -0.036?
u
Let g be (-171)/(-6)*4/42. Let h = 262 - 259. Which is smaller: h or g?
g
Let q = 267 - 265.09. Let f = 