 -c - 2. Let o be l(-4). Let y(s) = -6*s**2 - s**3 + 0*s**2 - 3*s - 3*s - o. Let m be y(-5). Are m and 2 equal?
False
Let m(j) = 2*j**2 - 2*j + 1. Let z be m(1). Let x be ((-1)/3)/((-5)/(-4 - -79)). Which is smaller: z or x?
z
Let y = 14/643 - 4104/247555. Let i = -1546/1155 + y. Let p = -4 - -2. Which is bigger: p or i?
i
Suppose 0 = -3*q + 1 + 2. Let x be ((-70)/15)/7*6/(-22). Which is bigger: x or q?
q
Let r(o) = o + 6. Let s be r(-9). Which is bigger: s or -12/5?
-12/5
Let v = 0.22 - -7.78. Which is smaller: v or -1/5?
-1/5
Suppose -5*c - 3*q + 24 = -7*q, q - 15 = -4*c. Let i be -1*(20/c - 4). Are 1/14 and i nonequal?
True
Suppose -1 + 3 = -p. Let f(r) = -r**3 + 2*r**2 - 2*r + 2. Let k be 1*2 - (-2 - -2). Let a be f(k). Are a and p non-equal?
False
Let d = -143 + 127. Which is smaller: d or -2?
d
Let v be 4/(-14) + 10/35. Suppose 6*d - 6 = 3*d + 2*t, d + t = -3. Let b be d + (1/2)/1. Which is greater: v or b?
b
Let u be (-1)/(3 + -3 + 0 + 4). Let i = 6 - 4. Suppose i*v = v. Does u = v?
False
Let f be 1/(4 - (-297)/(-75)). Is 25 not equal to f?
False
Suppose -2*j + 7 = -3*s + 2*j, 5*j = -s + 4. Is -5 less than or equal to s?
True
Let x = -164096931652/2933 - -55948495. Let z = x - -1/419. Is 1 <= z?
True
Let l(o) = 6*o - 2. Let q(n) = -n - 1. Let s(g) = l(g) + 5*q(g). Let u be s(8). Let z be (0 + 1)/(1/u). Is z <= 3/2?
True
Let y(k) = -3*k**2 - k. Let i be y(1). Is -4 < i?
False
Suppose 3*d - 9 = 3. Suppose -d + 13 = -f. Does -7 = f?
False
Let r = 1.41 - -0.19. Is r less than or equal to 1?
False
Suppose -w + 5*o - 15 = 0, 6*w - 2*o = 2*w + 12. Let z be 2 + w*-3 + 2. Let l = -8 - z. Which is greater: 1 or l?
l
Let k be -10*(0/2 - 1). Is 9 at least as big as k?
False
Let n be (-8)/28 - (-9)/7. Let x be 4 - (-3 - -2 - -2). Suppose x*s - 4*q + 26 = 8*s, 10 = s + 2*q. Which is greater: s or n?
s
Let t be -5 + ((-8)/(-2) - 11). Which is smaller: t or -6?
t
Let o = 2 + -1.98. Let p = o - -2.98. Is p less than 0?
False
Let q = -153 + 152.93. Which is bigger: 1/5 or q?
1/5
Let m = 448 - 410.1. Let r = m + -34. Let k = r + -4. Which is greater: 1 or k?
1
Let t(r) = 2*r - 3. Let u be t(2). Let a = u - 1. Suppose -s - 4 = -5*s. Are s and a non-equal?
True
Let n = 84 + -102. Which is greater: n or -19?
n
Let q = -2.4 + 0.4. Let d = q + 1.9. Is 1 at most as big as d?
False
Let s = 2 - 5. Suppose 2*b + 8 = 2. Is s at most b?
True
Let b = -0.9 + 1. Let s = b + 1.9. Let y = 2.2 - s. Which is bigger: -0.2 or y?
y
Let t be (-3)/(-12) + 1/(-4). Let v = -4 + t. Which is smaller: -3 or v?
v
Let j be 4/(-10) - (-154)/10. Let q = j + 15. Let a be -12*9/q + 3. Which is greater: a or 0?
0
Let t = 32/5 - 6. Which is bigger: t or -0.4?
t
Suppose -30*p - 36 = -34*p. Is 8 equal to p?
False
Let r = 4 - 0. Suppose 2*q = 5*m + 9, -r*q - m = -3*m + 22. Is -8 at most as big as q?
True
Suppose 0 = 15*n - 18*n + 3. Which is smaller: -1/14 or n?
-1/14
Let o = -9 - -6. Suppose 9 = -6*w + 3*w. Are w and o equal?
True
Suppose 3*o + 5*k + 3 = k, -5*o + k + 18 = 0. Let m = -2 - -4. Suppose -b - 10 = -5*r + 4*b, -m*r + b + 6 = 0. Which is greater: o or r?
r
Let p(u) = -u + 1. Let v be p(-5). Suppose -k = -v*k - 20. Are k and -5/2 equal?
False
Let k be (3 - 6/9) + -3. Which is greater: k or -0.05?
-0.05
Let z = 87 + -177/2. Is -2 <= z?
True
Let d = 2/3 - 7/15. Let j = 0.2 + -0.8. Which is smaller: d or j?
j
Suppose 12 = -3*q, -5*i = -0*i + 3*q - 8. Let c be (-6 - 3) + (i - 1). Is -6 > c?
False
Let p be 3/((-51)/18 - -3). Let b be p/(-63) - 8/(-14). Is b greater than or equal to -1?
True
Let x = 0.921 - -0.039. Let m = x + 0.04. Is m smaller than -1/3?
False
Let w = 31.2 + -31. Is w greater than or equal to 4/9?
False
Suppose 5*s - k + 7 = -2*k, -2 = -2*s + 2*k. Are 3/10 and s equal?
False
Let h = 1.88 - -0.12. Let k = -1.9 + h. Is -5 less than or equal to k?
True
Let m be 14/3 + 2/6. Suppose m*h = -3 - 2. Let r be 3/14*16/(-12). Which is smaller: r or h?
h
Let b = 7 - 7. Suppose 5*f + a + 3*a + 9 = b, f = a. Which is smaller: -2/15 or f?
f
Let y(s) = s + 5. Let j be y(-8). Let z be (j/6*0)/(-1). Let w(c) = -c + 2. Let p be w(3). Which is greater: p or z?
z
Let b = 1 + -7. Let o be 9/(-54) - (-1)/b. Which is smaller: 4/5 or o?
o
Let i be (-63)/96 + 6/8. Let r = -91/288 + i. Which is greater: -1 or r?
r
Suppose 0*x + 2*x = -5*u + 115, 0 = -3*x. Which is bigger: 22 or u?
u
Let c = 82.12 + -0.12. Let u = -77.3 + c. Let t = 5 - u. Which is smaller: t or 0.1?
0.1
Let g = 5 + -3. Let u = 3 - g. Let x = 9/22 - 10/11. Is x at least as big as u?
False
Let f = 0.2 + 2.9. Let r = f - 3. Let m = -2/51 + -92/255. Are r and m equal?
False
Let v = -32.17 - -32. Let i = v - -0.07. Is i > 2?
False
Suppose -5*b = p + 1209, -3*p - 506 - 470 = 4*b. Let t = 120 + b. Let a = t + 608/5. Which is smaller: a or 2?
a
Let w = -2 - -16. Let x be 2*1/(-9) - 1152/(-81). Is w < x?
False
Suppose -5*t - 354 = -2*o, -4*t + 0*o - o = 291. Let u be ((-3)/9)/((-21)/t). Which is smaller: u or 0?
u
Let w be (0 - 0)/(0 - 2). Suppose 0 = -a - w*a + 2. Let q be (a/(-4) - 0)*-3. Which is smaller: 3 or q?
q
Let r(w) = w**3 + 6*w**2 + 2*w + 9. Let h be r(-6). Let s be 3 + 195/(-33) - h. Which is smaller: 0 or s?
0
Let q be (13/(-6) - 0)/(22/198). Do -20 and q have different values?
True
Let w = -129 - -391/3. Let c = 0 - 0. Which is greater: c or w?
w
Let n be ((-3)/((-18)/(-4)))/((-10)/(-45)). Is n less than or equal to -3?
True
Let j be -6*2/(-4) - 5/(-25). Are j and 2 unequal?
True
Suppose 2*t - 12 = v - 2*v, -3*v + 3*t = 0. Let m = v - 4. Which is greater: 1/3 or m?
1/3
Let a(j) = -2*j**2 + j. Let x be a(-3). Let u be ((-6)/(-8))/(x/91). Is -2 not equal to u?
True
Let r(l) = -5*l**3 - 2*l**2 + 3*l - 3. Let u be r(2). Let q be (-2)/6 - 6/u. Is 0 at least q?
True
Suppose m + 2*x + 15 = 6*m, -5*m + 3*x + 20 = 0. Let b be m*3 - 5/(-5). Let t = 4 - b. Is t equal to 2/5?
False
Let a = 88 + -79. Is -0.02 smaller than a?
True
Let j(g) = g - 6. Let x be j(8). Suppose x*a - 3*c = -2*c + 4, -2*a + 4 = -5*c. Which is smaller: 2/3 or a?
2/3
Let l = 0.19 - -11.81. Let d = l + -9.5. Let a = 0.5 - d. Is a at most 0?
True
Suppose -1 = 3*n + 5. Suppose -m = -5*q - 20, -5*m + q = -4*m - 4. Let p = n - m. Which is bigger: -1 or p?
-1
Let q = -158 + 313. Let r = -1083/7 + q. Suppose -g + 32 = 31. Is g > r?
True
Let g be (8/14)/(4/14). Suppose -2*i - 30 = -4*r, -2*r + g*i = -5*r + 5. Suppose 3*d - o + 0*o - r = 0, 5*d + 1 = 4*o. Is d less than or equal to 2?
False
Let h be (-40)/6*6/(-4). Suppose 0*u = -5*u - 25, 5 = 2*y + 3*u. Is h >= y?
True
Let o = -27 - -27. Is o > 7.2?
False
Let f = -4 + 2. Let r(c) = -c - 5. Let b be r(0). Are f and b unequal?
True
Suppose -7*f = -11*f - 12, -t = -2*f - 8. Let x = 2.08 - 2. Which is smaller: x or t?
x
Let w(a) = -a**2 + 7*a - 2. Let b be w(5). Suppose -n = 3*n - b. Which is smaller: 1/2 or n?
1/2
Suppose 13 - 8 = f. Which is bigger: 1 or f?
f
Suppose -3*d + 2*d = 3. Let u be ((-3)/(-2))/d*-4. Is 0 != u?
True
Suppose 0 = -2*q - 2*q - 28. Which is smaller: -5 or q?
q
Suppose 0 = g - 2. Is 0 not equal to g?
True
Let p = -5 - -6. Let d be (3 - 51/12) + p. Let j = 1 - 3. Is d at least as big as j?
True
Let m = -3.4 - -3.8. Let z = 4/3 - 5/6. Is m greater than z?
False
Let i = -12.8 + 24. Let k = i + -11. Is k at most -4?
False
Let n = -2.92 - 0.08. Is 3 < n?
False
Let z(x) = x**3 + 6*x**2 + 3*x - 7. Let t be z(-5). Suppose 14 = -2*o - 3*m, 0*o + 5*o - t*m = 7. Is 3/8 < o?
False
Let i be 0/(4 - 2) - 0. Suppose 0 = -3*a - q + 4, 5*q - 7 + i = -2*a. Let p = 2 - 1.8. Which is smaller: p or a?
p
Let x be (-6)/(-3) + 2 + -1. Let s be 2/(-1 - x/(-2)). Which is smaller: 3 or s?
3
Let o(j) = 2*j - 6. Let d be o(4). Suppose d*b = 3*b + 5, 4*b + 18 = -p. Let l = p + 1. Is 3 greater than or equal to l?
True
Suppose -2*h + 475 = -5*r, -r = 7*h - 3*h + 95. Which is smaller: -0.1 or r?
r
Let g(i) = i**3 + 5*i**2 + 4*i + 1. Let s be (-4 - -1)*8/6. Let t be g(s). Let q = 1235/9 - 137. Is t equal to q?
False
Let n be -4*4/(-32)*2. Let y = 0.13 + -0.08. Does y = n?
False
Let j be 50/(-3) - (-10)/15. Let b = j - -17. Is b at least -3/20?
True
Suppose 0 = -4*s + 28 + 4. Let h be 9/s + 1/(-1). Which is greater: 1 or h?
1
Let b be -3 - (2 + (3 - 11)). Suppose b*v = -0*v + 12. Suppose -v*m - 2*y + 8 = 0, -5*y = 2*m - 14 - 6. Are m