
True
Let v be 0*(-2)/(-8)*-2. Let b be 4/(-16)*v + -1. Which is smaller: -2 or b?
-2
Let h = 11.11 + -0.11. Let u = 16 - h. Is u greater than or equal to -1?
True
Suppose g - 3*g + 12 = 0. Is 6 > g?
False
Suppose -7 = -p - 2*j, -p + 4 = -0*j + j. Let q = 2 + -1. Let w be q/(-21) - 10/35. Do p and w have the same value?
False
Let o be 3 + -7 + 3 + 3. Which is bigger: o or 17?
17
Let g(j) be the first derivative of -j**4/4 - 3*j**3 - 3*j**2 + 10*j - 4. Let k be g(-8). Is k greater than -6?
False
Suppose -2*b = -10*b - 8. Which is smaller: b or 1/39?
b
Let z = -0.75 - -0.35. Is -3 equal to z?
False
Let w be (-1 + (-18)/(-4))*16/7. Which is smaller: w or 6?
6
Suppose 2*b - 16 + 4 = 0. Suppose 2*h + 4 = m, -2*m - 8 = -b*m. Let t = -45 - -179/4. Is t equal to h?
False
Let h = -3.1 + -1.9. Which is bigger: h or -1?
-1
Suppose 5*v - 9 = -4*p, -v - 3*v = -2*p - 2. Suppose -4*d - 7 - v = 0. Let j = -11/2 + 5. Which is bigger: j or d?
j
Let w be (-1)/(3/(9/4)). Suppose -3*x = 2*x + 10. Which is greater: w or x?
w
Let x = -5 - -12. Let u = 40.2 + -47. Let l = u + x. Which is smaller: -1 or l?
-1
Suppose -3*h - 252 = 4*h. Which is bigger: -38 or h?
h
Suppose -8*a = -4*a + 2*u + 10, 2*a - 4*u - 20 = 0. Is 3 at least as big as a?
True
Let v be -2 + (-2)/((-6)/(-15)). Let s = -32 - -25. Is s <= v?
True
Let o(m) = m**3 - 2*m**2 - m + 2. Let q be o(3). Suppose 0 = -10*y + 40 + 30. Suppose 3*p - q = y*p. Is p greater than or equal to -2?
True
Let m = -14327/14 + 1024. Which is greater: 0 or m?
m
Let h(w) = 3*w + 1. Let g be h(-1). Let o be (g/(-84))/(71/(-398)). Let b = -2/213 + o. Which is greater: b or 0?
0
Suppose 0*w = 2*w - 10, -2*q - 3*w + 19 = 0. Suppose -3*v + 4*t - 4 = 0, -5*t = -2*v + q - 7. Let o = 4/39 - -3/13. Is v equal to o?
False
Suppose -2*l = -4*l + 60. Let u be 1*3*6/l. Which is greater: 2 or u?
2
Let n(z) be the first derivative of -z**2/2 - 3*z - 1. Let i be n(-3). Let v = i - 1. Is v <= -2?
False
Let h = 4 - 4.7. Let v = 1 + h. Is v less than or equal to 2?
True
Suppose -5*m + 20 = 5*b, 5*b + 1 = -2*m + 4*m. Let o be (-2 + 2 + 0)/m. Which is greater: -1/4 or o?
o
Let n(i) = i + 4. Let d be n(-5). Suppose -4*z + 22 = 22. Is d not equal to z?
True
Let f be 14 + -13 - 1/1. Which is smaller: -1/3 or f?
-1/3
Let q = -21/130 - 1/26. Let j = 17.1 + -18. Let b = -1 - j. Is q at most as big as b?
True
Let k = 15.67 + 0.33. Let m = k - 16. Which is greater: m or -3?
m
Let d be 87/2*16/12. Let q = 172/3 - d. Which is bigger: q or 1?
1
Let x = 0.2 - 0. Suppose -v = -d, 3*v - 8 = 4*d + 7*v. Which is bigger: x or d?
x
Let u be ((-2)/(-2))/(24/(-12)). Which is smaller: -2 or u?
-2
Let c(y) = -y - 8. Let w be c(-6). Let g be (-120)/(-28) - w/(-7). Do g and 5/2 have the same value?
False
Suppose 3*q = 4*g + 2 + 4, -5*g = 3*q + 21. Let f = 3 + g. Which is greater: f or -2/15?
f
Let g(z) = z - 3. Let h be g(4). Let c be ((-8)/42)/(6/(-7)). Which is smaller: c or h?
c
Suppose -u - 2*u = -12. Suppose 5*v + 14 = -3*r + 2*r, -2*v = -2*r - u. Let a be 4/(-10) - (-161)/(-35). Is r bigger than a?
True
Let i be ((-6)/7)/3*-7. Suppose 2*a - a = i*n + 6, 0 = 4*a - 2*n - 6. Are a and 1 nonequal?
True
Let z = 17 - 5. Suppose -2*b - 2*u - z = -6*u, 5*b + 24 = 4*u. Let l be (b/5)/(3 + -1). Is -1/4 >= l?
True
Let b = 10 - 7. Let y = b + -2.9. Which is bigger: 1 or y?
1
Suppose 0 = -0*u - 4*u - 4*o + 20, 2*u + 5 = o. Let a be ((-6)/9)/((-1)/(-3)). Let i be (-2)/1 + 4 + a. Is u > i?
False
Suppose -21*h = -22*h + 7. Are h and 8 equal?
False
Let o be (3 + 5)*(-5)/(-150). Let m = 2/15 + o. Do -1 and m have the same value?
False
Let c be ((-12)/(-8) + -2)*4. Let k be c - (-1 + -1 + 1). Is -7/6 smaller than k?
True
Let b = 42 - -16. Suppose 4*n - b + 18 = 0. Suppose -t + 2*t + n = -2*o, 3*t + 9 = o. Is t greater than or equal to -4?
True
Let w = 9/85 + 5/17. Is w smaller than -0.2?
False
Suppose 0*t = 2*t + 3*o + 31, 2*t - o + 11 = 0. Let w(m) = -m**3 - 9*m**2 - 7*m + 8. Let g be w(t). Is 2/11 >= g?
True
Let c = -2 - -11. Suppose 5*v = -2*h + 23 - c, -10 = -2*h - 3*v. Which is smaller: 3 or h?
h
Let p be (-25)/20 + (-1)/(-2). Let x be (-2)/(-3) + 10/(-6). Let g = x + 1. Which is bigger: p or g?
g
Suppose 0 = 5*u + 3*u - 248. Are 30 and u nonequal?
True
Suppose -2*x - 20 = -7*x. Suppose -32 = -x*q - 12. Suppose l = 1, q*y = 3*l + 3 - 6. Which is smaller: y or -2/11?
-2/11
Let v be 4/(-10)*4 - -2. Let p(o) = -o - 2. Let n be p(-2). Let x = 0 + n. Is x smaller than v?
True
Let o be (3/(-9))/((-2)/(-6)). Let x = 120 - 602/5. Which is smaller: x or o?
o
Let v be (6 + (-33)/8)/(6/(-40)). Which is smaller: v or -13?
-13
Let y(m) = 8 + 0 - 4 + 1 + m. Let f be y(-4). Which is smaller: -2/13 or f?
-2/13
Suppose -q = 4*q - 10. Let m = -366 + 361. Is q != m?
True
Suppose -2*d - 2*d - 4*g = 8, 4*d - 2*g + 14 = 0. Let t(h) = h**3 + 2*h**2 - h - 4. Let p be t(d). Let l be p/((-7)/((-14)/(-8))). Which is smaller: 3 or l?
l
Suppose -y = 0, -h + 3*h = -4*y - 6. Is -3 less than or equal to h?
True
Let b = 5 + -1. Let g be (-11 - -14)*b/(-78). Which is bigger: g or -1?
g
Let p = -0.34 + 15.34. Which is smaller: -0.1 or p?
-0.1
Let m = -56 - -8. Let o be (-20)/m - 1/(-4). Which is smaller: o or 0?
0
Let i be ((-8)/(-10))/(4/(-10)). Which is bigger: 2/7 or i?
2/7
Let p(a) = -a + 4. Let g be p(3). Let q(n) = n**3 - 12*n**2 + 8. Let w be q(12). Let f = -8 + w. Is g smaller than f?
False
Let h = -3.05 + 3. Let l = 0.03 + h. Let m = 1.02 + l. Is m less than or equal to 0?
False
Suppose z - 3 = -f, 3*f + 24 = 5*z - f. Suppose -2*j + 12 = 2*m, 1 = m - 4*j + 5. Is z at most as big as m?
True
Suppose -3*z - 7 = d, -d + 0*z - 11 = z. Let p(s) = s**2 + 12*s - 12. Let y be p(d). Is y at most -6/5?
False
Let p = -3 - 2. Let y = 3 + p. Is y smaller than -1/4?
True
Let s be -13 + (-7)/(28/8). Which is greater: -14 or s?
-14
Let d = 32 + -16. Suppose -x - 3*x = -2*q + d, -5 = -4*q - x. Which is smaller: q or 1?
1
Suppose 4*v = -0*v - 3*i - 6, -v - 2*i - 4 = 0. Which is greater: -9/14 or v?
v
Suppose 0*k - 3*k - 103 = -4*f, 3*f - 5*k = 80. Let g = f + -24. Is -1 at least as big as g?
False
Let r be (-14)/(-4)*4/2. Let v(k) = 2 - r*k**2 - 5*k + k**2 - 2*k**2 - 2*k - k**3. Let y be v(-7). Which is greater: 3 or y?
3
Let w be ((-3)/12)/(141/4). Let x be 861/(-1269)*(-3)/(-5). Let o = x - w. Which is smaller: o or -2/7?
o
Suppose 9 = r - v, -4*v + 30 = 10. Let i be r/44 + 1/(-2). Is 0 equal to i?
False
Let n be -1 - (2/(-2) + 0). Let v(x) = 3*x - 34. Let j be v(12). Are j and n unequal?
True
Let u = -567/8 + 71. Which is smaller: -1 or u?
-1
Let q(d) = d**3 - 4*d**2 + 4*d - 2. Suppose 2*y + 1 = -4*s + 7, 0 = -4*s + y + 15. Let l be q(s). Let c be ((-1)/(-12))/((-1)/(-2)). Which is smaller: c or l?
c
Let f = 4 - 1. Suppose -f*h = q, q + 2*q = -3*h. Is 5/4 greater than q?
True
Suppose -5*l = -3*l - 2, -l = 3*i - 1. Let d = -1 + 0. Let a be (-4 + 3)*d*1. Are i and a equal?
False
Let g = 3 - 1. Let r = -0.3 + 0.7. Let z = 0.6 + r. Is z greater than g?
False
Let f(w) = -w + 2. Let k be f(3). Let r = 9 + -8. Let m be (1/3)/((-1)/r). Is k at least m?
False
Let d = -91 + 92.85. Let x = d + 0.15. Is x > -2?
True
Suppose 0 = -6*j + 3 + 3. Which is bigger: 1/5 or j?
j
Let n be (-4)/6*3/(-24). Which is smaller: n or -1?
-1
Let x = -5.3 + 2.5. Let a = x + 2.7. Which is bigger: -26 or a?
a
Let y(x) = x**2 - 7*x - 4. Let g be y(8). Let c be ((-2)/g)/(3/2). Suppose 3*l + 1 = 2*p + 3, 4*p + 5*l + 4 = 0. Is p at most c?
True
Suppose -5*v = -0*v. Let j be 2/(-7) + 48/266. Is j at most v?
True
Suppose 10 = 3*n - 5. Suppose 4*g - n = -1. Let y = 0.1 - 0.3. Is g smaller than y?
False
Let s(v) = 3*v**2 - 3*v + v**3 - 2*v - 2 + 3*v. Let c be s(-3). Does 3 = c?
False
Let p = -6 + 4. Let s be p*2/12*1. Is s < 0?
True
Let p be (2 - 0)*(-4)/(-8). Let b = -18/17 - -160/119. Which is greater: b or p?
p
Let v be 0/2 + 2/(-2). Let d = 4 + -6. Which is smaller: d or v?
d
Let j = -7/22 + 1/2. Suppose 2*l - 3 = 3*c - 9, 7 = l + c. Let n = -3 + l. Is n at least as big as j?
False
Let y be (1/2)/((-1)/(-6)). Suppose -y*a = -a. Suppose 4*o - 16 = 2*p - 6*p, 3*p - 4*o + 9 = a. Which is bigger: p or 0?
p
Let o = -257 + 259.99. Let a = 0.1 - 0.09. Let w = a + o. Which is bigger: w or 1?
w
Let n be -1*1/3 - 119/(-561). Is 1 at most n?
False
Let f be 5/(-15)