
Suppose -4 = -0*l + l. Let x = -9 + 8. Which is smaller: l or x?
l
Let j = 6 + -6. Let y = 0.1 + j. Which is bigger: -0.1 or y?
y
Let i = -10 + 16. Suppose -r - i + 5 = 0. Do r and 0 have the same value?
False
Let z(p) = 5*p + 21. Let k be z(-3). Is k > 6?
False
Let r(a) = -a + 5. Suppose 2*x - 8 = 0, -5*i - 3*x = -38 - 4. Let d be r(i). Is -1/3 < d?
False
Let t = 77 - 72.9. Let i = 4 - t. Let h = -2 + 5. Which is smaller: i or h?
i
Let o = 890 - 39. Let c = 11069/13 - o. Which is smaller: 0 or c?
0
Let v = 4953/14 + -354. Let m = 19/154 + v. Which is smaller: -1 or m?
-1
Suppose 3*l - 4*l + w = -2, -4*w = -3*l + 8. Let k be ((13 - 7) + -8)/(16/2). Which is smaller: l or k?
k
Let l = -6 + 3. Let f be (l/6)/((-1)/(-6)). Let u be ((-1)/(-8))/(f/6). Which is smaller: -1 or u?
-1
Suppose 3 = -5*x - 2. Suppose 2*z - 5*q + 2 = 5, z + 15 = -3*q. Let t be ((-8)/42)/((-4)/z). Is t less than x?
False
Let b(x) = -x**3 + 3*x**2 + 3. Let l = -6 - -9. Let f be b(l). Let d be (-1 - (3 + -2)) + 4. Which is smaller: d or f?
d
Let z = -0.8 + 1. Let o be (-8)/12*(-6)/(-4). Which is smaller: o or z?
o
Let z(g) = g + 10. Let f be z(-7). Do f and 2 have the same value?
False
Suppose -7*x + 3*x - 16 = 0. Let g(k) = k**3 + 5*k**2 + 2*k - 4. Let m be g(x). Is m <= 3?
False
Let s = 12 - 6. Let m = -5.7 + s. Let l = -0.08 + 1.08. Is l at most as big as m?
False
Let i(r) = -5*r - 8. Let l be i(6). Let s = l - -112/3. Are s and -1 non-equal?
True
Let k = 1.5 - 1.5. Are 0 and k unequal?
False
Let d be 1 - 6/(-1 + 4). Let u = d - -1. Which is smaller: u or -1?
-1
Let v be (-15)/(-6) + 3/(-2). Let f be ((-4)/(-6))/(v/(-3)). Let o(s) = s - 1. Let r be o(0). Which is bigger: f or r?
r
Let h = 16 - 9. Let y = h - 8. Let b = 0.6 + -0.62. Is y bigger than b?
False
Suppose s = 3*h - 1, -s + 2 = s - 2*h. Let o be 1 - -1 - s/(-2). Suppose 4*c - 5*i - o = -2, -2*c - 5*i = 7. Which is smaller: c or 1/5?
c
Suppose 4*y = 0, 3*y = 5*k + 5 + 5. Is -1 smaller than k?
False
Let w be (-1)/(3 - 2)*-5. Let h = -1 + 6. Is w greater than or equal to h?
True
Let i be (-2)/(-8) - (-21)/12. Let j be 3/(-2)*(-4)/i. Is j less than or equal to 3?
True
Let f be (-2)/2 + (7 - 1). Let d(n) = 3*n - 22. Let l be d(9). Are f and l equal?
True
Suppose 4*h - 20 = 0, -2*g = -3*h - h - 10. Let u be -1 + 1 - (-6)/g. Suppose 0 = 3*w - w. Which is smaller: w or u?
w
Let c = -3 - -3.2. Let u = 0 - -3. Let d = u + -2. Is d less than c?
False
Suppose 4*s + 0*k - 27 = -3*k, -5*s + 60 = -5*k. Suppose 4*y + s = 5. Let u be -1*((-1)/(-4) + 0). Is y <= u?
True
Let c = -29 + 16. Are c and -13 equal?
True
Let v(c) = 2*c - 4*c + c + 2*c. Let u = 2 - 4. Let o be v(u). Are -2 and o equal?
True
Let i = 16 + -15. Is 0 >= i?
False
Suppose 5*k - 2*k = -3726. Let y = -3760/3 - k. Let t = 11 + y. Which is smaller: 1 or t?
t
Let c = 1518 - 663. Let i = 5141/6 - c. Let n = -13/6 + i. Is n equal to 2/7?
False
Let m = -128207/3384 - -341/9. Let o = -769/6392 + m. Is o at most 0?
True
Let p(d) = -d**3 + 3*d**2 - d + 17. Let s be p(4). Let q be -10*3/((-30)/(-4)). Which is bigger: q or s?
s
Let w be -1 + 498/255 - 1. Let u = 2/5 + w. Is u <= 1?
True
Suppose 0*j + 5*j - 10 = 0. Let s = -999/5 + 201. Which is greater: s or j?
j
Let s = -10 - -20. Suppose 3*z = -2*z + s. Let m be z/8*2*-6. Which is greater: -2 or m?
-2
Let y(j) = -j**2 + 8*j - 4. Let d be y(5). Which is smaller: 12 or d?
d
Let s be 147/4*1*14/(-21). Is -25 > s?
False
Let n = -4 + 7. Suppose -2*z + 23 = 3*l, 2*l - 3*l + 2*z - n = 0. Suppose 3*p - 3 = -3*h, -p - l = -6*p. Is h at most as big as 0?
True
Let g = 0.1 - 0.1. Let s = 2/1145 - -5709/9160. Let h = s - 9/8. Which is smaller: g or h?
h
Let c = -20 - -8. Is -12 at least as big as c?
True
Suppose -2*x = -3*w - w + 10, 3*w - 6 = 0. Let c = -13 + 13. Is x equal to c?
False
Let i = 1.7 + -1.69. Is i bigger than 2/5?
False
Let n be 2/(-8) - (-5)/4. Suppose 5 = -4*r - 7. Let m be (64/6)/4 + r. Which is greater: m or n?
n
Let k be 12/140*5 - 1. Which is greater: 0 or k?
0
Suppose -66 = -5*l - 3*w, 3*l + 5*w - 30 = -0*w. Let v = l - 15. Does -7/6 = v?
False
Let j = 8 + -8. Suppose j*k + 4*k - 8 = 0. Suppose a - 2 = k*a. Which is greater: -1 or a?
-1
Suppose -3*m - 3*n = m + 5, -5*m = -5*n + 50. Which is smaller: 1 or m?
m
Let g be 2 + 2/(-6) + -1. Let h = -21 - -23. Suppose -h*c + 1 = -l - 5, 10 = -5*l. Which is smaller: c or g?
g
Let d = 1 + 2. Let g be (-3 - -6) + ((-8)/4 - 0). Does g = d?
False
Let q = 0.9 - 0.9. Let n be (8/(-12))/((-2)/3). Suppose n = 4*f - 3*f. Is f > q?
True
Let q be ((-2)/7)/(2/(-14)). Suppose 3*w - w + l = 4, 0 = w - 2*l - q. Let u = -1 + w. Are 1/7 and u nonequal?
True
Let i = 411/7 + -59. Let d be (-3)/(-12)*2*1. Which is bigger: d or i?
d
Let w = -75 - -376/5. Is w less than or equal to 0?
False
Let b = -16 + 12. Do -0.1 and b have different values?
True
Let u = -55 - -55. Which is smaller: 3/23 or u?
u
Suppose -6 - 4 = -c. Let h = c + -9. Is h at least as big as 1?
True
Let u = 3.6 + -2.6. Suppose 2*h - b = 10, h + 3*b = -0*b + 12. Is u smaller than h?
True
Let q = 0 + -4. Let k = 1 + q. Let x = -3 - k. Which is greater: x or 2?
2
Suppose 0 = -w - 0*w + 1. Let g be w/2 - (-2)/(-5). Suppose 4*o = x + 6, 3*o + 8 = 5*o - 3*x. Do g and o have the same value?
False
Let h = 8 - 15. Is -10 greater than or equal to h?
False
Suppose -4*v - 2 = 2. Let o be -1*((-1 - v) + 1). Is -1/3 greater than o?
True
Let i(a) = -3*a**2 - 5*a + 7. Let f be i(2). Which is greater: 2 or f?
2
Let w(x) = 4*x + 12. Let t be w(-8). Let d = 31 + t. Suppose d = -3*y + 4*n, 4*y - 3*n + 7*n = 4. Which is smaller: -0.1 or y?
y
Suppose 0*c - c = 2*h + 3, -4*c = h - 9. Let n(i) = i - 12. Let j be n(6). Let r be (1/4)/(h/j). Is r at most as big as 1?
True
Let p(z) = -7*z - 2. Let o(n) = 13*n + 5. Let q(a) = 6*o(a) + 11*p(a). Let w be q(-4). Is 4 >= w?
True
Let i(m) = m**2 + 8*m + 2. Let k be (-1)/(-4) - (-82)/(-8). Let w = 3 + k. Let n be i(w). Is n != -5?
False
Suppose u + 5*u = -12. Let k be u/(-3) + 19/3. Is k < 9?
True
Let j be ((-4)/(-3))/(12/(-18)). Are j and -14/5 equal?
False
Suppose -3*a + 10 = -u - a, -3*u = 4*a. Let i be -2*-2*1/u. Let x be (6/15)/((-9)/(-5)). Which is smaller: i or x?
i
Let h = -27 + 21. Let w = 0 + -1. Is w != h?
True
Suppose -7 = -3*a + 2. Suppose a*l - 6*c + 5 = -2*c, -4*l - 11 = -c. Is -2 at least as big as l?
True
Let v = -69 - -70. Let z be ((-2)/(-6))/(3/6). Is v <= z?
False
Let j be (-46 - 1) + -2 + 2. Let c = j + 187/4. Let v = -3 - -4. Is v <= c?
False
Let d = 0.6 - 0.5. Is d > -1/4?
True
Let g = -2 + 3. Let d = -6/17 + 53/102. Are g and d equal?
False
Suppose 0 = u - v - 3*v - 12, 0 = -5*u + 4*v + 12. Let l be 2/16*(-4)/10. Is u less than or equal to l?
False
Suppose 3 - 4 = -x, -5 = p - 5*x. Suppose 4*b - 8*b = p. Is 0 equal to b?
True
Let k(n) = -2*n**2 + n + 1. Let b be k(-1). Let o(f) = -f - 8. Let y be o(-8). Are b and y nonequal?
True
Let x = 7 + -5. Let r be (15/10)/((-7)/x). Let i be -1 + (-3)/((-3)/2). Is i at least as big as r?
True
Suppose -37 + 5 = -2*x. Let m = x - 19. Which is smaller: -1 or m?
m
Let y be (-4)/(-8)*52/2. Let a = y + -8. Suppose 0 = o - 6*o + a. Is o <= 0?
False
Let m be 5 - (-4 - -3*2). Which is greater: 4 or m?
4
Let w be 10/45 + (-11)/9. Let f(m) = -m**2 - 12*m - 1. Let d be f(-6). Let i be w/21 - 10/d. Is -1 at most i?
True
Suppose -5*s = 2*d - 13 - 2, d - s + 10 = 0. Let i = d - -5. Which is bigger: -1 or i?
i
Let y(o) = 2*o + 10. Let g be y(-7). Let t = g + 1. Which is smaller: t or 0?
t
Let c be (-6)/(-15)*-7 - 1. Is c less than -3?
True
Suppose 2*p + 4*u = 23 - 7, -p + 12 = 3*u. Which is smaller: p or -2/21?
-2/21
Suppose 16 = -3*a - 5*p + 5, -3*a + 3*p = -21. Let q be 19/36 - a/4. Which is smaller: q or -1/4?
-1/4
Let v be (-29)/(-3) + 2/6. Let p be 5/25 - 2/v. Is -2 at most as big as p?
True
Let b(j) = -j + 4. Let r be b(2). Suppose 6*y - 2*y = 8. Let s(i) = -i**2 + 2*i + 1. Let p be s(y). Which is bigger: p or r?
r
Let z(p) = p**2 - 5*p - 4. Let k be z(3). Let i be (36/k)/((-4)/10). Let m be (-3)/i*(-3)/5. Which is greater: -1 or m?
m
Suppose 3*m + 2 + 1 = 0. Does 2/107 = m?
False
Let p = -9 - -6. Which is smaller: p or 1/4?
p
Suppose -24 = -2*t - 4*y, -22 + 4 = -4*t - 2*y. Let z be (-84)/40*-2 - 4. Is t not equal to z?
True
Let u(v) = v**2 + 8*v + 4.