p = 2*l. Let v = l - 21/4. Is v less than or equal to -0.1?
True
Let z be 7/2 - 6/(-3). Suppose 5*a - 5*v + 2*v = 19, -4*a = -v - 18. Which is smaller: a or z?
a
Let f(r) = 3*r**2 - 4*r + 2. Let v be f(-2). Which is bigger: v or 23?
23
Suppose -4*c = -3*c - 4*w + 6, c + 2*w = 0. Let g = c - -2. Are 6/11 and g equal?
False
Let g = 9 + -17. Let n be (-5)/(-4) - 6/g. Which is greater: n or 1?
n
Let m = -8 - -5. Let f be 14/(-21) + 1/m. Is 2/13 bigger than f?
True
Let i(a) = -2*a**2 + 6*a + 1 - 9*a + 6*a**2 - a**3. Suppose -2*n = -3*k - 3, -2*n + 0*k + 2*k + 4 = 0. Let g be i(n). Is 1 bigger than g?
False
Let j be (1/(-3))/(3/(-9)). Suppose -y + j = -0*y. Which is bigger: 2/23 or y?
y
Let j(i) = -i**2 - 2*i + 7. Let s be j(3). Let f be (0 - 14)*4/s. Are -2/7 and f unequal?
True
Suppose -3 = -0*d - 3*d. Are 2/45 and d unequal?
True
Let b = -265/3 - -89. Let r = -9 + 3. Is r bigger than b?
False
Let p(m) = 3*m**3 + 11*m**2 - 6*m + 7. Let a(g) = 7*g**3 + 23*g**2 - 11*g + 14. Let h(l) = -4*a(l) + 9*p(l). Let c be h(5). Which is bigger: 4 or c?
c
Let c(s) = -s**3 + s**2 - s - 1. Let q be c(-1). Suppose 5*a = -h + 4 - 0, a - h = -4. Let u = 1 + a. Is q at least as big as u?
True
Let k(q) = q**3 + 5*q**2 + 2*q - 10. Let i be k(-5). Is i >= -20?
True
Let y be 9/36 - 2/24*-25. Suppose 0 = v + 3*v - 12. Which is bigger: v or y?
v
Let z = 12143/35 - 347. Suppose 4*u - 76 = -2*l, u + 1 = -3*l + 10. Let k = 22 - u. Are k and z nonequal?
True
Let u = 199/14 - 29/2. Let b = 15 - 7. Let q = b - 7.2. Which is smaller: q or u?
u
Suppose g + 4*i = 11, 3*g - 5*i = -g + 2. Suppose 3*l - 60 + g = 0. Let r = -39/2 + l. Which is greater: -2 or r?
r
Let i be (4/30)/(1 + (-21)/(-15)). Which is smaller: i or -1?
-1
Let d(z) = 2*z - 1. Let h be d(4). Let p(x) = -x**3 + 8*x**2 - 11*x - 4. Let r be p(6). Suppose r*v = 4*g + 3 + h, -3*g - 3 = 0. Which is bigger: 1 or v?
v
Let z(y) = y - 2. Let t be z(2). Let r = t + -1. Let m = -141/20 + 25/4. Which is smaller: m or r?
r
Let s(b) = b**2 + 2*b + 2. Let p be s(-2). Let t = -5 + 9. Is p >= t?
False
Let d(n) = n**2 - 6*n - 2. Let g be d(4). Let v be (-3)/15*2*g. Suppose 4 = 2*w - 4. Is w less than v?
False
Let n = 988/7 - 140. Let c be (-1)/2 - 18/(-12). Which is smaller: n or c?
c
Let w be 32/18 + -5 + 3. Let u be ((-3)/12)/(9/(-4) - -2). Which is bigger: u or w?
u
Let o = -0.8 + -2.7. Let x = 0.5 - o. Let d = x + -4.2. Is 3 at least as big as d?
True
Suppose 3*q - 10 = 2*j - 3*j, -4*j + 18 = q. Suppose 0 = -z + j*z - 15. Which is greater: z or 4?
z
Suppose h = -2*h + 4*j + 20, -2*h = -j - 5. Is -2/5 equal to h?
False
Let i(l) = -l**3 - 6*l**2 - 7*l - 6. Let q be i(-5). Do q and 2 have different values?
True
Let a = 0 + -2. Suppose h - 2*h = 3. Let c = a - h. Which is bigger: 0 or c?
c
Suppose 0 = -3*u - 2*y + 4, 2*y = 5*y - 15. Let b(m) = m**2 - 5*m + 3. Let s be b(2). Is u less than or equal to s?
False
Let h = 3 - -1. Let q = -2 + h. Let k = -19 - -19.1. Is q at most as big as k?
False
Let k = -15 - -21. Let v be ((-3)/(-315)*k)/(-1). Does v = -1?
False
Let k be (3/6)/((-5)/(-140)). Suppose -q - s + 5*s = k, -q - 2*s + 10 = 0. Is q greater than -1/5?
True
Let r = -47 - -35. Which is smaller: -9 or r?
r
Suppose -2*u - 20 = -4*j, -j + 0*u = -2*u - 8. Let x be 1/2*j/(-10). Suppose 0 + 5 = 5*v. Is x greater than v?
False
Suppose 14*q - 18 = 8*q. Let r(f) = f**3 - f**2 + f + 5. Let j be r(0). Suppose -l - 3*g = j, -3*l + 6*l + g = 9. Is l bigger than q?
True
Let k be (-35)/(-14) + (-3)/2. Which is smaller: 4/5 or k?
4/5
Let n = -6.8 + 0.8. Is -1 greater than n?
True
Let j be (1/4)/((-5)/20). Let v = -37 + 483/13. Which is smaller: v or j?
j
Let w be 15/50*50/(-12). Let u be 2 - (1/(-3) + 2). Is w less than or equal to u?
True
Let a be 16/(-6)*(-96)/(-20). Is a less than -13?
False
Let g = 35.2 + -13.4. Let s = -23 + g. Is s at most as big as 1?
True
Suppose 3*w + 4*p + 10 = 0, p - 20 = 6*p. Let y be w/6*(-12)/4. Let u be y/15 + (-5)/15. Which is smaller: u or -1?
-1
Let s = 29 - 55. Let u = s + 26.1. Do 1/6 and u have different values?
True
Let h = 2 - 0. Let s = 3688/7 + -526. Does h = s?
False
Let r(u) = u**3 + 8*u**2 - 11*u - 12. Let p be r(-9). Let o be p/(-8) - 68/(-112). Which is greater: o or 1?
1
Let o be 1*2*(2 + 0). Let h = 10/3 - o. Which is greater: -0.2 or h?
-0.2
Let b be ((-88)/(-20))/((-2)/3). Let w = b + 137/20. Which is greater: 0 or w?
w
Let m(s) = -s - 10. Let d be m(-15). Suppose -d*t - 10 + 5 = 0. Is -1 bigger than t?
False
Suppose 0 = -5*s - 5*d + 5, 5*s - d = 9*s - 1. Which is smaller: s or -5/23?
-5/23
Let q = -17 + 30. Which is greater: q or 12?
q
Let k = -1 - -2. Let z = 29 + -28. Is z >= k?
True
Let q(s) = -s**2 + 6*s + 7. Let t be q(7). Suppose t = 4*z - 1 - 7. Suppose -z*p - 8 = 2*p. Which is smaller: p or -1?
p
Let r(j) = 2 - j + 1 - 2. Let h be r(-2). Suppose 6*f - h*f = -3. Which is bigger: f or -3/7?
-3/7
Let n = 0.22 - 9.22. Let m = 9.8 + n. Which is smaller: m or 0?
0
Let d(h) = h**2 + 7*h + 3. Let r be d(-5). Let b be (-2)/r + 205/(-7). Let z = b - -113/4. Which is greater: z or 0?
0
Let v = -120 - -598/5. Let t = 4.05 + -0.05. Which is bigger: t or v?
t
Let v = 15 - 14.73. Let l = v + -0.07. Let h = l - 0.2. Is h >= -0.03?
True
Let l be (-2 - (-8)/(-6))*3. Let f be l/2*(-3)/(-5). Let t be 0 + (-3 - -3)/f. Which is bigger: 1 or t?
1
Let n = -0.02 + 0.11. Let v = -3.91 - n. Let x = v + 5. Which is smaller: x or -0.4?
-0.4
Suppose -5*o = 2*u - 18, -o + 22 = 4*u + u. Suppose o*s = -3*s. Which is smaller: s or -1?
-1
Let j = -0.16 + 2.56. Let z = j - 2. Let m = -1.4 + z. Are -1 and m nonequal?
False
Let l = -11 - -7. Let g be (1 + -1)/(l + 6). Let a be 6/2 - (-1 + g). Which is bigger: a or 5?
5
Let r = -38 + 73. Let l be (4/(-14))/((-55)/r). Which is smaller: l or 0?
0
Let x be 6/27 + 8/(-36). Let r = -13/5 - -44/15. Is r at most as big as x?
False
Suppose -165 = -4*r - 37. Let v be 1 - (-10)/r*-2. Which is smaller: v or -1?
-1
Suppose r + 29 = 14. Is r at most -17?
False
Let t = -5 - -4.5. Let s = t + 0.4. Let r = 3.9 - 4. Is r bigger than s?
False
Suppose -2 = v + 4. Let t be 4/6*v/7. Is t > -1?
True
Suppose -4*s + s - 6 = -3*r, -5*s - 20 = 0. Is -1/3 greater than or equal to r?
True
Let n = 26 + -16. Are n and 0 equal?
False
Let t = -3586/7 + 512. Suppose -5*x + 18 = 3. Let l be (((-4)/x)/(-2))/1. Which is smaller: t or l?
t
Let v = 2.4 + -0.4. Let c = v - 1.8. Let f = c - 1.2. Is -2/3 at most as big as f?
False
Let d = 1087/12 - 375/4. Let c = d - -17/6. Is c greater than or equal to 1?
False
Suppose 0 = 4*c - 4*u - 4, 3*u + 13 = -4*c - 11. Do c and -16/7 have different values?
True
Let k = 11 - 8.2. Let f = -0.2 - k. Let y = 3.1 + f. Which is bigger: y or 1?
1
Suppose 0 = -3*l - 3*l + 30. Is l less than or equal to 6?
True
Let i be (5/(-2))/(15/(-90)). Is i < 15?
False
Let q be (-1 + 2)/(9/15). Let c be 3/2 + 2/4. Suppose 3*p = h + 2, -c*h = 3*p - 13 - 1. Which is smaller: q or p?
q
Suppose -5*h = -4*i + 25, 0*h + 25 = -3*i - 5*h. Let z = i - -1. Suppose 2*y = 7*y. Which is bigger: y or z?
z
Let q be (-2 + 1)*16 - -1. Which is greater: -16 or q?
q
Let k = 0.4 - 0.6. Which is bigger: k or 1?
1
Let c = -1/2 + 3/4. Let x = 18 - 35/2. Which is smaller: x or c?
c
Let c = 3427351/462 + -44531/6. Let u = -22/7 - c. Is u > 0?
True
Let p be 10/(-35) - (-69)/(-126). Which is smaller: p or 0?
p
Suppose -2*f = -4*n - 3*f + 39, 4*n = -2*f + 38. Which is greater: 15 or n?
15
Let z be (-2)/(-13)*4/24. Is z > 2/5?
False
Let m(p) = -p**2 + 8*p - 8. Let s be m(6). Let l(d) = -d**3 + 3*d**2 + 2*d - 3. Let h be l(2). Suppose h*z - 5*f = z + 24, s*z = -f. Which is bigger: z or 2?
2
Suppose -6*a = -3*a. Suppose a*t + 27 = -3*t. Let w be 1/(-2)*(-8 - t). Which is greater: w or 2/11?
2/11
Let o = 23 - 3. Suppose -3*p = 2*p + o. Is -4 != p?
False
Let g = -79/40 + 21/10. Is -1 equal to g?
False
Let x = -1 + 0. Let d(t) = -t**3 + 5*t**2 - t + 4. Let r be d(5). Let g be r*(-1)/(-6)*1. Is x at most g?
True
Let r = -0.32 - 0.18. Is -1 greater than or equal to r?
False
Suppose 6*j = 5*a + 2*j - 20, j = 0. Suppose -2*n = 5*i - 7*n - 15, a*n = 0. Is i smaller than 4?
True
Suppose 0 = 3*p + 5*z - 11, -4*z - 3 = -2*p - 3*z. Let g be ((-3)/p)/((-4)/(-24)). Is -9 >= g?
True
Let t(n) = -4*n + 4. Let o be t(3). Let g be 2/(0 + (