*o + 3 = -0*k, -5*o = -k + 7. Suppose -5*d = -3 - k. Let q = -2 - -2. Is d at most as big as q?
False
Let s = -1 + -3. Suppose -2*w = -1 - 5. Let k be (-10)/(-2)*(w + -4). Is s greater than or equal to k?
True
Let t = 30.4 - 34. Let s = -0.6 - t. Is s > -3?
True
Let q be (-4)/(-18) + (-83)/9. Which is bigger: q or -28/3?
q
Suppose 3*r - 43 = -r + o, 2*o + 9 = r. Let i(t) = 5*t - 8. Let n(y) = -y - 1. Let s(w) = -i(w) - 4*n(w). Let f be s(r). Which is smaller: f or 2?
f
Let u = -1.4 - -0.4. Let j = -437 + 911/2. Let o = j + -19. Which is smaller: u or o?
u
Let u be (-6)/27 + (-110)/(-171). Let w = 83/152 - u. Let s = 8 + -8. Which is bigger: s or w?
w
Suppose -2 = 2*i - 4*o, o = -2*i + 6*o - 5. Are i and 5 nonequal?
False
Suppose 0 = -2*x + 43 - 13. Which is smaller: x or 14?
14
Suppose 22*q + 36 = 18*q. Is q less than -10?
False
Let a be ((-275)/(-90) - 3)/1. Which is greater: a or -1?
a
Let y = -1/330 + -1813/660. Is 0 greater than y?
True
Let z be (1/(-3))/(0 - (-2)/12). Let d = -1 + 2. Suppose -2*g - 1 = d. Which is greater: z or g?
g
Suppose -2 = -2*v + 2*o, 2*v + 4*o - 3 = 5. Suppose 3*d - 20 = -v*d. Is 4 bigger than d?
False
Let q be ((-2)/(-5))/(3/3). Let k be 9/21*6/9. Which is greater: q or k?
q
Let s = 5656/23 - 246. Which is greater: -1 or s?
s
Suppose 0 = -3*i - 2*i - 10. Let m be (i/4)/(5/50). Which is smaller: m or -4?
m
Suppose -3*r = 6, -5*o + 46 = -4*r + r. Suppose o*b = 4*b + 16. Let w = b - 8. Is -3 less than w?
False
Let t be 2 - 5 - 0 - -3. Is 0 >= t?
True
Let p(j) = j**2 + 2*j + 1. Let f be p(0). Let n = -0.5 - -0.5. Does f = n?
False
Let q(z) = z**2 - 16*z - 13. Let c(t) = t - 1. Let s(o) = 3*c(o) + q(o). Let m be s(14). Which is greater: -9/4 or m?
m
Let w(z) = z**3 - 16*z**2 + 18*z - 46. Let c be w(15). Which is smaller: c or -12/41?
c
Let p be 15/(-6)*(-8)/10. Suppose 0 = o - 3*z - 10, 4 = -3*z + p*z. Let v be 1/4 - 9/4. Is v <= o?
True
Let o(t) = t + 2. Let w be o(4). Let g be 10/w + (-6)/9. Is g bigger than -1?
True
Let z be (4/8)/(2/(-4)). Let k be -2 + ((-12)/5)/z. Which is smaller: 1 or k?
k
Let p be -3*(1 - 4/12). Let h(c) = c**2 + 5*c - 2. Let u be h(-5). Is u < p?
False
Let z = -229 + 188. Is -2 smaller than z?
False
Let c = -1 - 8. Let v be (2/6)/((-3)/c). Let g = 2 + -1. Are v and g unequal?
False
Suppose -2*s = -6*s - r - 57, s = -4*r - 3. Does -15 = s?
True
Let c be -35*(-4)/(-44) - -3. Which is smaller: 1 or c?
c
Let k be (7/35)/(1 - 0). Which is bigger: 1 or k?
1
Let b be 1/1*39 + -2. Let p = 182/5 - b. Let w(r) = r**2 + r - 2. Let f be w(1). Which is smaller: p or f?
p
Let k = -112.9 - -113. Do 1/21 and k have different values?
True
Let x(i) = i**2 - 21*i - 2. Let b be x(21). Do 0 and b have the same value?
False
Suppose -2*q + 3 = q. Let s be q/(6 + -2 + 0). Let p = -4.8 + 5. Which is smaller: p or s?
p
Let k be (98/(-63))/(-7) - (-101)/(-9). Which is bigger: 1 or k?
1
Let j(u) = u**3 - 16*u**2 + 16*u - 15. Let m be j(15). Which is smaller: -2/25 or m?
-2/25
Suppose 2*m = g - 1, 7*g - 5*m - 6 = 4*g. Suppose -10 = -a - a - 3*s, 0 = -5*a - 3*s + g. Is -1 > a?
False
Let i = -5 + 5. Suppose 2 + i = 2*y. Suppose 0 = p + y. Are -1/6 and p non-equal?
True
Suppose 0 = -24*f + 19*f + 20. Let b = -4 - -7. Which is greater: b or f?
f
Suppose -1 = -2*x + 5*f + 17, -f - 22 = -5*x. Let a = x - 2. Let t be (-1)/(-1*a/(-6)). Is -3 < t?
False
Let x = -29.87 - -30. Let y = x + -0.33. Is y at most as big as 8?
True
Let n be 10/100*3/(12/5). Suppose 5*c + 33 = -4*o, -2*o = 3*o + 4*c + 30. Let b = o - -3. Is b < n?
False
Let m(h) be the second derivative of h**5/20 + 7*h**4/12 + 5*h**3/6 - 2*h**2 + h. Let d be m(-6). Which is smaller: 0.1 or d?
0.1
Suppose -4 = 36*s - 32*s. Is s < -9?
False
Let t = 24 - 38. Let r be 7/t - 2/(-4). Which is bigger: -1 or r?
r
Let z be 12/15*(-3)/12. Let p be 0/(2 - (1 - 1)). Suppose p - 5 = -q + 5*h, 3*q = -4*h - 4. Is q at most z?
False
Let n = -91 + 90.7. Is -2/9 >= n?
True
Let z be (-6)/27 + (-608)/(-2412). Is -1 at least z?
False
Let q = -61/165 + 2/55. Which is greater: q or 0?
0
Suppose 2*j = -1 - 3. Let y(r) = r**3 + 5*r**2 + 6*r + 2. Let g be y(-4). Let m(d) = -d - 7. Let b be m(g). Which is bigger: j or b?
b
Suppose -h + 3*h - 4 = 0. Suppose 4*z = -k - 16, -k + 22 + 2 = -4*z. Which is smaller: k or h?
h
Suppose 0*z - 3*z - 34 = -4*w, 5*w = -3*z - 79. Which is bigger: z or -16?
-16
Let z be (-2)/(-5) - (-24)/15. Let k be (-6)/(2/(-4) - 1). Suppose -4*i - 5 = 2*b - 15, k*b - 11 = i. Is b less than or equal to z?
False
Let b = 1 - -5. Let g(x) = x - 6. Let c be g(b). Which is smaller: c or -0.1?
-0.1
Let w be (-128)/80 - 2/(-1). Which is smaller: w or -15?
-15
Let w = 7.9 + -8. Which is smaller: -14 or w?
-14
Let p be (-11)/(-2)*(-4)/8. Which is smaller: -2 or p?
p
Let t = -2 + 3. Let h be (125/(-14))/5 + t. Let b = h - -2/7. Which is bigger: 0 or b?
0
Let h be (-2)/(-4) + 33/(-6). Let d(c) = -c**2 - 7*c - 7. Let a be d(h). Let x be (-4)/(-36)*a/(-2). Is x bigger than 1?
False
Let p(g) = g**2 - g. Let m be p(-1). Let w be 3/1 - (-1 - m). Does w = 6?
True
Let h = 0.12 + 1.88. Is -51 greater than h?
False
Let u = 2.4 + -2.23. Let d = 0.17 - u. Is d at least 0.16?
False
Let h = -6.3 + 1.5. Let u = h + 5. Which is smaller: 1 or u?
u
Let t be -2 - -2*236/8. Let s be -3*(t/27 + -2). Which is smaller: 0 or s?
s
Let m(x) be the second derivative of -x**4/12 - 3*x**3/2 - x. Let g be m(-9). Let z be (-2)/(-3) + (-10)/24. Which is smaller: g or z?
g
Suppose b - 9 = -4*p, -2*p + 0*p + 2*b - 8 = 0. Which is greater: p or -2/7?
p
Let z be (1126/30)/(1/3). Let k = -113 + z. Which is smaller: k or 1?
k
Let d = -331/10 + 172/5. Which is bigger: 1 or d?
d
Suppose 16 = 3*o - c, 2*o - 4*c = -2*o + 24. Suppose 3*x = o*x. Do x and 1 have different values?
True
Let k(j) = 19*j + 1. Let h be k(-1). Let w = -17 - h. Suppose u = -u + 2. Is u <= w?
True
Suppose -29*a - 76 = -25*a. Is -17 smaller than a?
False
Let i(x) = -13*x**3 - 2*x**2 + 2*x - 1. Let v be i(1). Is v at most as big as -14?
True
Let l = 6 - 5. Suppose 0 = -3*b - 4*d - 21, 4*b - 3*d - 2*d = -28. Let n be (-2)/b - (-64)/(-126). Is n equal to l?
False
Let u(n) = 2*n**2 + 5*n + 1. Let s(y) = -y**2 - 2*y. Let a(p) = -5*s(p) - 3*u(p). Let o be a(-4). Which is smaller: o or 0?
0
Let p = 8 - 7. Which is smaller: p or 6/7?
6/7
Let p = -17.2 - -17. Let i be (0 + 5)/(-4 - 5). Let t = i - 1/9. Are p and t unequal?
True
Let i be 0/((-2)/(-2)*-2). Suppose 4*n - 4*b - 12 - 20 = i, -4*n + 37 = -5*b. Which is bigger: n or -2?
n
Let z be ((-10)/(-15))/((-2)/(-15)). Suppose 5*s - 13 = 3*q, -z*s + 3 + 2 = 5*q. Is q < -2/19?
True
Let m be 46/28 - (-2)/4. Let n = m - 81/28. Do -2 and n have different values?
True
Suppose -4*p + 12 + 0 = 0. Let w = p + -3. Let v(x) = -x + 5. Let b be v(4). Which is smaller: w or b?
w
Let b be 1/(-2)*-2 - -5. Let a be 0*(-1)/4*2. Suppose w - v + 8 = a, -5*w + v = b*v. Which is bigger: -5 or w?
w
Let u(z) = z + 2. Let l be u(4). Let g(y) = -22*y + 115. Let f be g(5). Are l and f equal?
False
Let n(b) = -b**3 + 5*b**2 + 6*b - 2. Let y be n(6). Suppose -4*u = -u. Let a be 2/24*(u - y). Is a greater than -1?
True
Let c = -34477/40 - -862. Is -1 > c?
False
Suppose -3*f + 3*g - 9 = 0, -5*f = g + 3*g - 12. Suppose 5*v + 2*d = -24, 0 = 2*v + 4*d - f*d + 16. Which is smaller: v or -5?
-5
Let m = 5 + -3. Suppose 0 = 2*t - 4*y, 5 = t + y + 2. Is m <= t?
True
Suppose -2*u - 5 = 11. Let q be (-4)/(-10) - (-74)/(-10). Is q equal to u?
False
Let b = -13 - -18. Suppose -d + 6*p - p = -1, 0 = -b*d + p - 19. Is d less than or equal to 2?
True
Let p = -766 + 74304/97. Is 0 at least as big as p?
False
Let t(d) = -d. Let r(g) = g - 1. Let l(i) = -r(i) - 6*t(i). Let w be l(-1). Is -3 less than w?
False
Let s(z) = -z**3 + 5*z**2 + 6*z - 3. Let c be s(6). Let x be (c/18)/(5/(-4)). Let g be -2 + (-4)/(-22) + 155/55. Which is bigger: g or x?
g
Let d = -17 - -8. Which is greater: -11 or d?
d
Let k(s) = -4*s - 1. Let m be k(-1). Suppose 4 = m*d - 2. Let y = d - 4. Which is smaller: -3 or y?
-3
Suppose -3*b = 5*l - 62, -l - 40 = -3*l - 5*b. Are l and 11 nonequal?
True
Let s be (-120)/(-30) - 5/1. Is s greater than 3?
False
Suppose 0*f + f + 2*k = 10, 0 = 5*f - 3*k + 15. Suppose f = -a - a. Let x be 20/24 - (1 + a). Which is smaller: x or 1?
x
Let t be 0 + 0 -