(100/(1 + 3)). Which is smaller: o or -1?
-1
Let a = 603/4 + -152. Let u be 6/(-15) - (-84)/10. Let s = u - 8. Do a and s have the same value?
False
Let z be (-84)/30 + 2/(-10). Which is smaller: -2 or z?
z
Let b be (-1)/((-42)/10 - -4). Let t be 30/3*(-4)/(-10). Let n be b/(3 - t/2). Which is bigger: 6 or n?
6
Suppose -5*g = -0*g - 175. Suppose 5*x = 5*q + g, -2*x + 2*q = -6*x + 10. Suppose 6 = -3*w + 2*c - 1, -x*w + 3*c - 11 = 0. Do w and 4/3 have the same value?
False
Let f = -2.3 - -0.3. Is f at least 1/3?
False
Suppose -13 = 3*r + 5. Let t be -3*(-1)/r*4. Is t less than or equal to -3?
False
Suppose 5*c = 4*i + 7 + 89, -5*i + 12 = 2*c. Let r be (142/(-84))/(44/c). Let m = -8/33 + r. Which is smaller: -1 or m?
-1
Let b = -1.8 - -2. Let y = b + -0.2. Let r be -2 - (1 - 55/15). Does y = r?
False
Let j be 1/2 + 29/(-26). Is j <= 0?
True
Let n be 1914/(6/(-15)*-23). Let c = 208 - n. Which is smaller: 0 or c?
c
Let a(q) = -q**3 - 10 + 8 + 2*q**3 + 5*q - 6*q**2. Let k be a(5). Which is smaller: k or 0?
k
Let c = 0.11 - -0.27. Let k = 0.28 + -0.2. Let p = k - c. Which is smaller: p or 0.2?
p
Let c = -1.1 - 11.9. Which is greater: 1/3 or c?
1/3
Let o be (-28 - -24) + 1*4. Let a = -9 + 9.03. Do o and a have the same value?
False
Let a(y) = y**3 - 5*y**2 - 5*y + 7. Let m be a(6). Let z = -8 + m. Suppose 5 = 5*h - z. Are 1/5 and h equal?
False
Let o = -264 - -1067/4. Do -0.1 and o have different values?
True
Suppose 0 = -2*m - 2 - 12. Is m less than or equal to -10?
False
Let m be (0 + 2)*2/4. Let s be (-3)/117*m*-6. Is 1 greater than s?
True
Let z be -12*((-80)/42 + 2). Is z smaller than 0?
True
Suppose 4*u - 2 = 3*u. Let b be (-102)/(-27) + (-2)/(-9). Suppose b*h - u - 6 = 0. Is 2 not equal to h?
False
Suppose 5*w - 4*i = 11, -w + 2*i - i + 3 = 0. Which is greater: -1/26 or w?
-1/26
Let c be 3/2*(-10)/(-60). Is c less than -0.06?
False
Let j be 1/(-3)*18/4. Let r = 3 + -5. Which is greater: r or j?
j
Suppose -4*v = -5*o + 121, 66 = 5*v + 2*o + 209. Is 0 >= v?
True
Let t = -23 + 57. Which is greater: -1/2 or t?
t
Let r = -2.025 + 0.025. Which is greater: 4/5 or r?
4/5
Let x = 2679/5 + -534. Let n = -2 + x. Is 1 < n?
False
Suppose -4*u = -2*u - 6. Let f be (0 + -1 - u)/9. Let i(w) = w + 4. Let d be i(-4). Which is bigger: d or f?
d
Let x = 9 - 6. Suppose 3*z - 14 = -4*l, -x*l = l - 4*z. Is l not equal to 3?
True
Suppose -2*t + 0*t - 2 = 0. Let f(o) = o**3 + 5*o**2 + 2*o - 5. Let h be f(-4). Suppose -3*r = 3*b, -2*b + h*r = -7*b + 4. Is b at most as big as t?
False
Suppose 4*d = 2*d - 818. Let c = 1415/3 + d. Let n = c - 62. Is n >= 0?
True
Suppose 0 = -4*v - 0*v + 28. Is v greater than or equal to 1?
True
Suppose -5*w + 2*g - 24 = 0, -4*g - 20 = 4*w - 6*g. Let x = -159 - -159. Is w equal to x?
False
Let m = -3 - -42. Let j be m/54 + (-2)/4. Let i = 0 + 2. Is j at least i?
False
Let l be 0 + 6 - 6/3. Suppose 0 = -l*k + 3*p + 8 + 8, 0 = k - 3*p - 13. Is k less than or equal to 2/15?
False
Let s = 7 - 2. Suppose -6 = -s*x + 2*x. Let m = x - 1. Which is smaller: 0 or m?
0
Let r(p) = p**2 + 11*p - 7. Let i be r(-12). Let k be (6/5)/((-9)/(-120)). Suppose 3*h - k = -h. Which is smaller: h or i?
h
Let u = -3 + 4. Suppose -2 + 0 = -v. Which is bigger: u or v?
v
Let z(t) = t**2. Let a be z(-1). Let s be (2 + (-71)/35)*289. Let j = s - -55/7. Which is bigger: j or a?
a
Let c = -4.06 + 0.06. Let l = 3.9 + c. Which is greater: l or -2/5?
l
Let z(h) = -h + 34. Let w be z(29). Let s(r) = r. Let u be s(1). Let x be -15*u*1/(-3). Is x smaller than w?
False
Suppose -4*w + 3 + 5 = 0. Which is smaller: 8/11 or w?
8/11
Let h = 4707582878/11 + -427676073. Let s = h - 286196. Let c = -189 - s. Which is greater: c or -1?
c
Let v be (0 + 0 - 3)/(3 - 1). Let s = 57 - 54.1. Let g = 3 - s. Is g smaller than v?
False
Suppose 5*z - 15 = -4*t, z + 4 = -5*t + 28. Suppose -4*p = 5*r + 6, -4*r = 3*p + 8 - 3. Which is smaller: r or z?
r
Let i(n) = 0*n - n - 2*n - 3*n**2 + n**3. Let o(k) = 2*k - 8. Let g be o(6). Let l be i(g). Which is bigger: 2 or l?
l
Let y = 37 - 35.4. Which is smaller: 1 or y?
1
Suppose -3*g + 5*c = 133, -g - 4*c - 8 = 8. Let f be (-6)/(-15)*20/g. Let m = 3 + -2.9. Which is smaller: f or m?
f
Let b = 51 + -53.7. Which is bigger: -1 or b?
-1
Let q(x) = -3*x - 5. Let i be q(-6). Suppose 15*d - 8 = i*d. Let l(p) = -p**2 + 6*p - 2. Let z be l(5). Which is greater: d or z?
d
Let q = -0.2 - -1.1. Let t = -1 + q. Let c = -0.1 + 1.1. Which is smaller: t or c?
t
Let q = -17 - -14. Let t = -9 - q. Which is smaller: t or -5?
t
Let o = 58844/31 - 1898. Which is smaller: o or 0?
0
Let t be -2 + (1 - (-2 - -5)). Let g = t - -5. Are -2 and g nonequal?
True
Let w(n) be the first derivative of n**2/2 - 7*n - 1. Let x be (-4)/1 + -10*(-8)/20. Let u be w(x). Which is bigger: u or -6?
-6
Let n be 5 - (-2 - 2 - -8). Which is greater: n or -2/207?
n
Let z be 1/(-3) - 13/(-3). Suppose z*s + 8 = -8. Are -5 and s equal?
False
Let s = -37/2 - -19. Suppose 4*d - 4 = 4. Which is smaller: d or s?
s
Let h = -136/83 - -17174/249. Let n = h + -68. Is 3/4 at most as big as n?
False
Let g = -11 + 7. Let y = g - -3.9. Let j(l) = -3*l**3 + l**2 - l. Let p be j(1). Is p equal to y?
False
Let s be -1*(-7)/9 + -1. Let r = -7 + 5. Let x = r - -1. Is s at most as big as x?
False
Let d = -8 + 6. Suppose 0*q = -4*q. Let f = q - d. Are 4 and f unequal?
True
Suppose -2*a = 3*t - 3*a - 114, -3*t = -2*a - 111. Let p = t + -313/8. Let b = -3 - -4. Which is smaller: b or p?
p
Let c be (1 - (1 + 0)) + 1. Let s(p) = p**3 + 2*p**2 + p + 1. Let x be s(-2). Let t be (-2 - x)*(2 - c). Is -1 not equal to t?
False
Suppose 3*g = 0, -3 = h - 0*g - 4*g. Let t = -1 - h. Are t and 3/4 nonequal?
True
Let h = 3 - 2.94. Let a = h + -0.06. Which is smaller: 2 or a?
a
Suppose 3*c + 6*m = 2*m + 517, 1 = m. Let f be c/(-33) + 4/22. Let n be -23 + 20 - 2/(-1). Is f <= n?
True
Let j = 736/221 + -54/17. Let s = 0.16 - 0.26. Which is bigger: j or s?
j
Suppose 4 = 2*x - l, 0 = 2*x + 3*x + 4*l - 10. Suppose -x*a = -4*a. Which is smaller: a or 1/4?
a
Let w = 11 + -11. Suppose w = 3*x + 14 + 1. Which is greater: 0 or x?
0
Let r = -7 + 6. Are r and -3/5 equal?
False
Suppose 5*z - 46 = -5*m - 6, -16 = m - 5*z. Suppose -p + m = -1. Suppose -p*i - 12 = -4*c, 4*i + 0 = 4*c - 12. Is i bigger than 0?
False
Let i = -2 + 3. Suppose 5 = 4*u + x + 12, -2*u + x + i = 0. Is 1 at least u?
True
Let z = 56 - 53. Which is smaller: 2 or z?
2
Let h = -38 - -38.1. Let i be (2/3)/(4/6). Let j be i/4*(-4)/3. Is h < j?
False
Let x = -1.8 + -0.2. Suppose -4*v + 4*g = 0, -3*v - 2*g + 7*g = 0. Let o be ((-6)/(-9))/(-2 + v). Which is bigger: x or o?
o
Let p = 2 + -1.6. Let j = 1 - -3. Let d = -3 + j. Which is greater: d or p?
d
Let y = -98 - -1857/19. Are y and -1 non-equal?
True
Let t be (1 + 5)*4/6. Suppose -t*g - g - 16 = 3*v, 5*g = 4*v - 2. Let s = 1/10 - 17/20. Do s and v have different values?
True
Let z(p) = p - 1. Let l be z(-3). Let f be 14/((-2)/(-2)*-1). Let a = 10 + f. Is a at most as big as l?
True
Let q = 11 - 10. Let x = q - -3. Suppose -2 = 2*w - 8. Which is smaller: x or w?
w
Let y(d) = d**3 + 6*d**2 - 9*d - 6. Let w be ((-7)/3)/(2/6). Let s be y(w). Let m be (1/(-9))/((-4)/s). Which is smaller: 3 or m?
m
Let u be 1 + (-16)/4 - -1. Which is greater: -14/5 or u?
u
Let t(z) = z**2 + 8*z + 8. Let l(u) = u**2 + 9*u + 9. Let o be 6*(2/(-4) - 0). Let f(i) = o*t(i) + 2*l(i). Let x be f(-4). Are x and 2 equal?
True
Let h = 0.33 - 0.23. Let d = 1 + -2. Are h and d equal?
False
Suppose 0 = 2*v - 23 + 5. Let d = -3 - v. Which is smaller: -11 or d?
d
Let k be 30/20 - (-5)/(-2). Is -1 equal to k?
True
Suppose 0 = -v - 1 - 3. Suppose 4*d + 10 = 3*l - 1, 5*l = 3*d. Which is greater: v or l?
l
Let r be 975/2979 - 2/6. Let q = r - -680/2979. Is q > 2?
False
Let w be (-1)/3*(-6)/4. Suppose -3*o + 16 = 2*o - 4*c, 4*o = -c - 4. Suppose o = 4*v - 8. Is w != v?
True
Suppose f + 7 = j, -5*j - 4*f = -f + 5. Which is bigger: -0.23 or j?
j
Let c = 0.02 + 2.98. Let t = c + -4. Let n = 0.1 + 0.9. Which is greater: t or n?
n
Let o = -7 + 11. Which is smaller: o or 5?
o
Suppose t = -5*y + 8 + 10, 3*y + 5*t - 24 = 0. Suppose 5*q + 4*n = 3*n - 26, -y*q - 14 = n. Is q != -6?
False
Let v = -1 - 0. Suppose 0 = p + 2*k + 4, -3*k + 5 = -4*p - 0*k. Are v and p equal?
False
Suppose