 Which is smaller: o or a?
o
Let n(c) = -2*c - 14. Let d be n(-6). Suppose -4*g = g. Which is smaller: d or g?
d
Let p be ((-7)/(-70))/(1306/(-8)). Let s = p + 6604/120805. Which is bigger: s or -1?
s
Let i = -0.5 + 0.3. Let j = -2.6 - -0.7. Let b = j - -2. Which is smaller: i or b?
i
Let x = 39 + -229/6. Let p = -5 + 7. Is x at most as big as p?
True
Let d(r) = r**2 - 3*r. Let g be d(0). Are g and -1 unequal?
True
Let p = 1.3 + -0.3. Suppose -10 = 5*t + 3*o + 1, o = -5*t - 7. Do p and t have the same value?
False
Let v = -3.6 + 3.5. Are -2.4 and v unequal?
True
Let n = -0.56 + 0.5. Let v = 0.85 - 1.79. Let u = v + n. Is u not equal to -0.06?
True
Let v(z) = 17*z - 1. Let d be v(1). Let u = 17 - d. Are 2 and u nonequal?
True
Let p(i) = -i**2 + 3. Let h be p(-2). Which is bigger: h or 3/13?
3/13
Let l = -0.8 + -0.2. Let j = l - -1.1. Which is smaller: -1 or j?
-1
Let h = -19 + 24. Let y(j) = -j**3 - 2. Let n be y(-2). Which is smaller: n or h?
h
Let n(t) = -t**3 + 6*t**2 + t - 7. Let z(b) = -2*b. Let c be z(-3). Let i be n(c). Let m = -6 - -5. Does m = i?
True
Let f = -1 + 1.1. Let j = -2.21 - -0.11. Let y = f + j. Is y != -0.2?
True
Suppose -q - 5*g = -g + 4, -3*q - 4*g = -20. Let x = 12 - q. Which is smaller: x or 8?
x
Let r(f) = 4*f**2 - f. Let h be r(2). Suppose t - h = 5*j, -3*t = -4*j - t - 10. Let y be (7 + j)*(-1)/(-4). Is y smaller than 0?
False
Suppose -5*y + 16 + 7 = 2*x, -4*y + 20 = 0. Let v(o) = -o + 12. Let q be v(6). Suppose -j + 8 = 2*s + 2*s, -4*j - 3*s + q = 0. Do j and x have the same value?
False
Let j be (-1)/(2*(-3)/(-258)). Is -41 smaller than j?
False
Let p = 8 - 0. Is p > 8?
False
Suppose -4*k + 1 = c + 4, 5*c = -k - 15. Let z = 0 + -1. Is z at most c?
False
Let o = 40/7 - 6. Let v be ((-3)/90)/((-4)/16). Is v not equal to o?
True
Suppose 0 = -c + 4*c + 42. Let z = -6 - c. Suppose -4*j + 12 = -z*j. Does -2 = j?
False
Let l(k) be the first derivative of -k**3/3 - 2*k**2 + 7*k + 1. Suppose -4*n = 0, 4*g + 0*g - 3*n = -20. Let m be l(g). Which is smaller: 1 or m?
1
Let a = -3 - 63. Which is smaller: -67 or a?
-67
Let i = 0 - 4. Let q be i/6 + (-5)/(-12). Is -3 != q?
True
Let h = 283/2 + -146. Is -5 less than h?
True
Let f = -140 + 140. Is -1/8 at most as big as f?
True
Let o be 1 - (0 - 2/(-3)). Let f = -32 - -6. Let g = 51/2 + f. Which is bigger: o or g?
o
Let l = -3.3 - -3. Let n = 6 + -8. Is l < n?
False
Suppose -81*s + 86*s = -395. Which is smaller: s or -1?
s
Let w be ((-4)/2)/(3*-1). Suppose 0 = -4*j - 5*j. Is w less than j?
False
Suppose 4*w = 2*v - 56, -5*w - 63 = -v + 2*v. Are w and -13 non-equal?
False
Let w(s) = -s**3 - 8*s**2 + 8*s - 12. Let i be w(-9). Let j(h) = -h**2 + h + 3. Let n be j(0). Let z = i + n. Is z less than 2/5?
True
Suppose 4 = -2*a + 2. Let n be 1 + (-36)/15 - a. Which is smaller: -4 or n?
-4
Let q = -8.05 - -8. Let v = -0.15 + q. Are 1/4 and v equal?
False
Let k be (-6)/(-28)*48/36. Which is bigger: -1 or k?
k
Let f = 11.039 - 0.039. Which is smaller: f or -2?
-2
Let p = 621/7 + -89. Is 6 equal to p?
False
Let m = -1759 + 1742.98. Let q = 16 + m. Which is smaller: q or -0.1?
-0.1
Let j = 272/627 - 4/57. Which is smaller: j or 0?
0
Suppose 5*t + 0*i - 39 = -i, 20 = 2*t - 4*i. Which is smaller: 2 or t?
2
Suppose 4*d = -0*d - 16. Let u = 9/4 - 7/4. Is u greater than d?
True
Let f = -53/35 - -5/7. Do -1 and f have the same value?
False
Let c be ((-22)/(-6) - 5)/(1*6). Is c <= -0.09?
True
Suppose -5*s - 2*q = 182, s + 2*q + 46 = 8. Is 1 not equal to s?
True
Let i be (-1 + -1 - -2) + 5. Let h be ((-12)/(-30))/((-9)/i). Let p = -2 + 2. Which is bigger: h or p?
p
Let y = -43861 + 657593/15. Let s = y + 53/3. Let c = -21/5 - s. Is c > -1?
True
Let l(v) = v**2 - v - 8. Let s be l(3). Let i = 0.1 + -0.3. Let z = i + -0.8. Is z at most s?
False
Suppose 0*s = 2*q + s + 2, -4*s - 8 = 4*q. Let f be (-2 - -2) + (-6)/13. Which is smaller: f or q?
f
Let p = -13 - -12.87. Is p >= -1?
True
Let s be (-138)/17 - (-2)/17. Is -1 at least as big as s?
True
Suppose k = 4*k - 15. Let n = 1 - k. Which is greater: -3 or n?
-3
Let r = 12 + -11. Does r = 0?
False
Let k = -48 - -46. Which is smaller: k or -14/9?
k
Let q be -1 - (-59 + (-2 - -4)). Let a be q/8 - (-1 - -1). Is 6 not equal to a?
True
Suppose -2*f - 1 = 1. Are -8 and f nonequal?
True
Let x = 106 - 635/6. Is x at least as big as -5?
True
Let d be -1 + 3 + -2 + -1. Let z be 1*-3 + (-46 - 3). Let o be -1 - -3*(-20)/z. Which is smaller: o or d?
d
Suppose -n - 18 = 4*p, -5*n + 4*p + 6 = -0*p. Let l be n*(-1)/(-1) - -5. Suppose -2*q = -l*f + f, -3 = 2*q + f. Is 0 != q?
True
Let o be (3 + 0)/(90/(-210)). Suppose i - 2*f + 16 = 0, 10*i - 5*i = -3*f - 28. Which is smaller: o or i?
i
Let b be (-11)/(-2) + (-2)/(-4). Let d be (-5 + b)/(2/(-6)). Let g(y) = y**3 - y**2 + 2*y - 3. Let r be g(0). Does d = r?
True
Let w = -20 + 17. Which is bigger: w or -18/11?
-18/11
Let m = 16 - 26. Which is smaller: -2/9 or m?
m
Suppose -5*b + 4*k - 15 = 0, 22 = -4*b + 4*k + 6. Suppose 0 = -z - b - 2. Is -1 bigger than z?
True
Let b = -3 - -1. Let g = b - -5. Suppose 0 = -s + 3*s - 6. Is g equal to s?
True
Let v(i) = -5*i - 1. Let l(t) = -11*t - 1. Let p(k) = -6*l(k) + 13*v(k). Let r be p(6). Which is greater: r or -4/5?
-4/5
Suppose 0 = 2*o - 2 + 10. Let u(t) = t + 5. Let m be u(o). Let j(i) = -3*i - 26. Let g be j(-9). Is m equal to g?
True
Let x be ((-4)/22)/(80/120). Are x and 8 nonequal?
True
Let u = -17 - -16.3. Let b = u + 0.5. Which is smaller: 1/3 or b?
b
Let c = -1/29 + -51/203. Let i = -0.0842 + 6.1942. Let v = 0.11 - i. Is c greater than v?
True
Let v be (-12)/2*(0 + (-10)/165). Let q be (0/3 - -1)/1. Is v at least q?
False
Let t be 24/(-5) + (-48)/(-12). Suppose 0*m = -2*m. Is m at most as big as t?
False
Suppose 474 = -0*g + 3*g. Let o be (g/(-54) + 3)*3. Which is smaller: o or 0?
0
Let c be 288/(36/6) - (0 + 1). Which is smaller: 95/2 or c?
c
Let n be ((-20)/25)/((-1)/20). Is 15 <= n?
True
Let a(l) = l + 17. Let v be a(-12). Which is smaller: 4 or v?
4
Let n(l) = -l**3 + 7*l**2 - 6. Let p be n(5). Is p greater than 43?
True
Suppose -94*r = 3*x - 90*r - 23, x + r = 7. Let o be (1 - 3)*(-5)/2. Is x < o?
False
Let x be ((-8)/56)/((-1)/17). Which is bigger: x or 1?
x
Let o be 15/(-12) + 2 - (-12)/(-16). Which is bigger: 2/23 or o?
2/23
Suppose 2*m = -h + 2, 0 = -2*h - h - 5*m + 3. Let t be (h/(-2))/(4 + 4). Suppose -4*r - 4*s - 16 = 0, 10 = -2*r + r - 3*s. Which is smaller: r or t?
r
Suppose -t + 5*y + 658 = -2*t, 2*t = -4*y - 1286. Let v be (-1)/((9/t)/(-3)). Let n = v + 1051/5. Which is greater: 0 or n?
0
Let c be (86 + 1)/(-3) - 0. Let o = c - -262/9. Which is greater: o or 0.1?
o
Suppose 4*d - 2*p = -p + 25, 0 = 2*d - 4*p - 2. Which is greater: -3 or d?
d
Suppose -2*o = -4*r + o - 31, -2*r = -2*o + 18. Let l(k) = 3*k + 3*k**2 + 146 - 67 + k**2 + k**3 - 76. Let x be l(r). Is x < -8?
True
Let k be ((-2)/(-6))/(3/9). Let f be -1 + 4/2*k. Does f = 3?
False
Let i be -2*(27/(-6) + -1). Let r = -12 + i. Which is bigger: r or -2/21?
-2/21
Let f(h) = h**3 + 9*h**2 + 3*h + 2. Let u be f(-9). Which is bigger: u or -26?
u
Let f = 40 - 39.9. Which is smaller: f or -3/10?
-3/10
Let k = 5 + -7. Let j = 2.2 - 2.2. Which is smaller: j or k?
k
Let h = 9 - 9. Suppose s - 4*z + h*z = -10, -3*s - 10 = -2*z. Is -1/2 < s?
False
Let m(v) = v - 5. Let q = 5 + -5. Let c be m(q). Let x be (-6)/c*(-10)/3. Is x smaller than -4?
False
Suppose -15 = 3*h - 5*k, -3*k = -k - 6. Which is greater: 1 or h?
1
Let z be ((-16)/(-48))/((-62)/(-18)). Is z greater than or equal to 0?
True
Suppose 0 = 4*l - 1 + 13. Suppose 7*r = r - 192. Let j be (l/(-14))/(12/r). Which is greater: 1/3 or j?
1/3
Suppose -3*s = -2*s - f - 4, -2*s = -f - 6. Let c be 1 - s - (-9)/3. Which is bigger: 4 or c?
4
Suppose -5*i - 2*k + 6*k = 55, -3*i = -5*k + 46. Let p be (1/(-2))/(i/28). Which is bigger: p or 1?
p
Let w(m) = -m + 10. Suppose -9 - 21 = -3*x. Let a be w(x). Which is smaller: 2/15 or a?
a
Let f = 0.6 - 0.1. Let p = -5.4 + 6. Let u = f - p. Is -3 at most u?
True
Let i = 25/8 + -359/120. Let s(p) = -p**2 - 2*p - 1. Suppose -3*b = -2*z + 13, 4*b = -4*z + 2*b - 14. Let v be s(z). Which is smaller: v or i?
v
Let u be -1 - (-2)/1 - -3. Suppose 0 = -u*g + 17 - 1. Let x = g - 7. Which is smaller: x or -1?
x
Suppose 0 = 5*v - 15 - 0.