be v(-10). Is a less than or equal to 2?
True
Let k = 225 - 1577/7. Let f = 4 + 0. Which is greater: k or f?
f
Let k = -5.4 - -0.4. Let y = 1 + k. Which is bigger: y or -1?
-1
Let d = -85 + 111. Which is greater: 27 or d?
27
Let u(y) = -y**3 - 15*y**2 - 13*y + 18. Let a be u(-14). Let m be 9 - (0 + 2/2). Let x = a - m. Which is greater: -2 or x?
-2
Suppose -t + 4*b - 122 = -b, 280 = -2*t - 2*b. Let j = -957/7 - t. Let m be (-4)/(-10) + 8/(-10). Which is greater: j or m?
j
Let p = -5 - -5.4. Let i = -2.4 + p. Let v = 112/3 - 37. Which is smaller: v or i?
i
Let a be 2/((6/1)/(-3)). Let t = -5 - a. Is -2 less than or equal to t?
False
Let f(l) = -l**2 - 5*l - 4. Suppose -5*y + 10*y = -3*p + 11, 5*p + 31 = 4*y. Suppose -17 = y*b - 5. Let v be f(b). Are v and 2 nonequal?
False
Let a = -4.09 - -0.09. Let t = a - -6. Let k = t - 1. Which is smaller: 2 or k?
k
Let b = -28 - -28.1. Is b equal to -0.34?
False
Let a(z) = z**2 - 10*z + 11. Let i be a(9). Let u = i - 1. Let k be 2*(-1)/((-5)/u). Which is greater: 0 or k?
k
Let x(a) = a**2 + 7*a + 7. Let n be x(-5). Let f = 3 + n. Suppose 3 + 2 = -5*i. Which is smaller: f or i?
i
Let y be 159/(-1122) + 2/(-11). Let t = y + -3/17. Is 0 less than t?
False
Let r be -1 - 2 - (-5 - 16/(-6)). Let n(u) = -2*u - 1. Let v be n(1). Is v >= r?
False
Let g = -2 - -3. Suppose 6 = -2*b - b + 3*h, b - g = -2*h. Let j be 0/(3/(b + 4)). Is j greater than 1?
False
Suppose -t = g + 4*t + 22, 5*t + 20 = 0. Let k = 6/3359 + 3472/1817219. Let l = -2693/3246 - k. Which is greater: l or g?
l
Let s be ((-4)/(-10))/((-54)/30). Is s <= 0?
True
Let t = -6/271 - -656/5149. Are 1 and t nonequal?
True
Suppose x + 2 = 2*v, -3*x - 8 = x - 4*v. Which is smaller: x or -3?
-3
Let i = -8902358/11 + 810496. Let c = i + -71958/55. Let b = -118 - c. Is b greater than 1?
False
Let t(x) = -x**2 - 29*x - 53. Let d be t(-27). Do 8/27 and d have different values?
True
Let h = 13877/17 - 816. Which is smaller: h or 1?
h
Let j be 12/(-8) + 58/28. Which is bigger: j or 1?
1
Let o = -115 - -114.2. Which is greater: o or 0?
0
Let p be (0/2)/(3 - 1). Suppose -15 = 5*n + 5*l, 2*n = -p*n + 2*l + 14. Let s be (-1)/n + 6/4. Is s at most as big as 1?
True
Let j = 5 - 3. Let v be j/(-14)*7/(-2). Is v > -6?
True
Let r be 2 + 0 - 66/52. Let d = -3/13 + r. Let i = -0.02 - 0.08. Is i equal to d?
False
Let i be -1 + 14 - 8/8. Let m = i + -7. Let c be 2/6*(m - 4). Is c <= 1?
True
Let k = 8020 + -39836/5. Suppose z - 106 = 3*z. Let q = k + z. Which is smaller: q or 0?
q
Let f be (-24)/(-9) - 1/(-3). Suppose 12 = -3*r - 5*y, 0 = f*r - 4*r - y - 2. Which is smaller: r or 1/9?
1/9
Let k be -3 + 68/(-14) - (-1)/(-7). Suppose 164 = -5*j - 2*t, 94 + 32 = -4*j + t. Let m be (-6)/k*j/(-21). Is 0 not equal to m?
True
Let v = 9 - -3. Let y = 9 - v. Let c = 1 - 2. Which is smaller: y or c?
y
Let a = -50 - -51. Which is smaller: a or -4/3?
-4/3
Let y = -0.03 + 0.07. Which is smaller: y or -2?
-2
Let r(q) = 5*q + 1 + 5*q**2 - 4*q**2 + q. Let t be r(-6). Are 2/31 and t equal?
False
Suppose 175*y = 172*y + 3. Is -2/91 at least y?
False
Let q(j) = j**2 - 8*j - 7. Let r be q(8). Let l be (-21)/14 - (-3 - -1). Which is smaller: l or r?
r
Let d = -24 - -28. Which is smaller: d or -0.1?
-0.1
Suppose -2*r = -3*a - r + 4, 5*r = -5. Let j = 1793/9 - 199. Which is smaller: j or a?
j
Let m = -191/4 - -48. Is -5 bigger than m?
False
Let w(u) = 4*u**3 + 2 - 5*u**3 - 1 + 9*u**2 - 3. Let o be w(9). Does o = -1?
False
Suppose -2*w + 6*w + 404 = -2*z, 8 = -2*z. Do w and -100 have the same value?
False
Let l(i) = 3*i**2 + 2*i - 2. Let x be l(-2). Suppose a = x*a. Which is smaller: -1/2 or a?
-1/2
Let k be -1 - (-7 - 3/(-1)). Let p = -9 + 5. Let g be p/10 + 124/60. Is g smaller than k?
True
Let t = -4 - -9. Let k = t + -7. Which is greater: k or 0?
0
Let u(b) = -b**2 - 3*b + 2. Let v be u(-3). Let j be ((-3)/150 + 0)*-27. Let f = j + -1/25. Is v >= f?
True
Let b be -8*(94/4 + 1). Let z be (4/(-3))/(8/b). Let m = 33 - z. Is m equal to -1?
False
Let n be (-2)/(-40) - (-1)/(-4). Let p = 11 + -7. Let d be p/(-6) + (-2)/6. Is n greater than d?
True
Suppose 5*z + 55 = -5*c, 0 = -3*c - 2 - 4. Is -7 less than z?
False
Suppose -r + 9 = 5*j, -5*j + 0 = -2*r + 3. Let f be (35/14)/((-2)/r). Is -7 at most f?
True
Suppose 0*z + 8 = 4*z. Suppose 16 = 5*d + 2*o, -4 = -z*d - 2*o + 6. Suppose d*w - 5*w = -4*t, t = -2*w. Is w less than -1?
False
Let b = 62/19 + -267/76. Let a be (1 + 0)/((-10)/3). Which is bigger: b or a?
b
Suppose -25 = -3*f - 2*f. Suppose -3*l + y - 7 = 5*y, -y = f*l + 6. Let w = -247/4 + 62. Is w equal to l?
False
Suppose -5*r + i + 2 + 6 = 0, -3*i = 3*r - 12. Is r bigger than 3?
False
Suppose 0 = -2*v + 4*l - 4, -1 - 2 = v - 3*l. Suppose 2*i = -v - 6. Is i >= 0?
False
Let o = -14 - -9. Let u be -1 - ((-4)/4 - -6). Do u and o have different values?
True
Let l be (-45051)/21 + 8/28. Let h be 1143/l - (-4)/10. Let f = h + -3/143. Which is smaller: 0 or f?
f
Let t = -14 - -14. Let q = 7 - 10. Is t < q?
False
Let s = -12 - -14. Let l = s + -1.9. Which is bigger: l or -19?
l
Let t be 2 - 0 - (-1364)/(-555). Let d = -1/111 + t. Let m = -2/15 + d. Which is smaller: m or 0?
m
Suppose -q + 6 = 5. Let b = -96 + 1151/12. Is b bigger than q?
False
Let u(k) = k**2 - 5*k + 2. Let a = 12 + -7. Let h be u(a). Suppose -5*o + 4 + 6 = 0. Are h and o equal?
True
Let b = 1/24 + -103/168. Which is greater: b or -0.5?
-0.5
Suppose 3*q - 2*a - 16 = -q, 5*a = -2*q - 4. Suppose 30 = 4*l - 5*f + 12, 4 = 5*l + q*f. Let j be (-4)/14 + (-32)/(-14). Are j and l nonequal?
False
Let i be (-2)/7 + (-60)/(-14). Let c be (-2)/i - 2/(-3). Which is smaller: -0.1 or c?
-0.1
Let l = 64 - 66. Which is bigger: 2 or l?
2
Let n = -14 + 15. Let b be 6/8 + (-2)/(-8). Let x = b + -1. Is x smaller than n?
True
Let z(o) = -o**2 + o. Let b be z(1). Let v be b + -1*(-6)/21. Let f = 0 - 1. Is f greater than v?
False
Let z = 7698/127205 - -2/1957. Let c = z - -151/715. Which is greater: -1 or c?
c
Let u = -3 + 6. Suppose 2*f + u = -f. Let a = 4/93 - 47/372. Is f >= a?
False
Suppose 4 = -4*f + 4*r, -f + 5*r - 17 = -0*f. Let c = -2 + 2. Suppose 0 = p - c - f. Which is greater: 2 or p?
p
Let s be ((539/(-14))/11)/(1/2). Let f be -3 - (1 + (2 - 4)). Which is smaller: f or s?
s
Suppose 0*u = 4*u - 3*k - 255, -2*k = 3*u - 204. Which is smaller: u or 67?
u
Let x be 2/4*4/7. Suppose 7*a - 2*a = -15. Let j = 2 + a. Which is smaller: x or j?
j
Suppose 0 = 5*z + a - 10, 3*a - 19 = z - a. Let c be ((1 - 2)*1)/z. Is 0.4 less than c?
False
Let u(f) = f**3 + f**2 - 4*f - 4. Let v be u(-5). Let z = 165/2 + v. Suppose s = -3*g, -2*s - 2 = -2*g - 10. Is z > g?
False
Let x = 2 - 0. Let c(m) = -4*m**x - 4*m + 0*m**3 + 0 - 3 + m**3 - 1. Let p be c(5). Which is smaller: 2 or p?
p
Suppose -5*f - 4 - 3 = -v, 0 = v + 2*f. Suppose v*r = -3*r. Let n be (-1 + 0)*(-12)/(-9). Which is greater: n or r?
r
Suppose -k + 5*a + 14 = -4*k, 5*k - 2*a - 18 = 0. Is k equal to 3/4?
False
Suppose -10*j = -68 + 188. Which is smaller: 3/4 or j?
j
Suppose -13 - 42 = 5*f - 3*g, 2*f + 4*g = -22. Do f and -8 have different values?
True
Suppose 11*h - 13*h + 12 = 0. Let t be ((-6)/(-4))/(1/4). Is t greater than or equal to h?
True
Let q = 34 + -12. Let v = q - 21. Is 6 at most as big as v?
False
Let a(f) = -f**3 - 6*f**2 - 5*f + 6. Let j be a(-5). Let p be j/(-9) + (-4)/21. Let i be 3/(-12)*(-16)/6. Do i and p have the same value?
False
Suppose 1 = -2*h + h. Let l be ((4/(-144))/(-1))/(1/3). Are l and h non-equal?
True
Let v(u) = 2*u - 1. Let p be v(3). Suppose 4*k - 1 = p*k. Which is smaller: k or -3?
-3
Suppose 3*v - 2 = -r, -6*v + 2*v = 2*r - 4. Let m = v - 0. Let w(i) = -i**2 + 11*i + 11. Let d be w(12). Is d at least m?
False
Let h(r) = -r + 2. Let t be h(-2). Let b be (-3 + 4)*2 - t. Let k be b/9 + (-3)/(-135). Which is smaller: 1 or k?
k
Let x = -254/119 - 1/119. Are -3 and x non-equal?
True
Suppose -p + 5*t = 17, -3*t = -3*p + 2*t - 21. Which is smaller: p or -17/7?
-17/7
Let m = 0.4 + -0.35. Let g = m + 0.01. Let p = 12 - 11.9. Which is bigger: p or g?
p
Let w be (0 + -1)*2/16. Which is bigger: -1 or w?
w
Let b = 1 - 3. Which is bigger: -0.04 or b?
-0.04
Let m = -2.4 - -0.4. Let a = m - -7. Let f = -4.9 + a. Which is bigger: 0 or f?
f
Let b = -4.9 + 5. Do 2 and b have different values?
T