is smaller: o or 0.5?
o
Suppose 0 = -3*k + 5*x - 76, 5*k + 98 = 5*x - 22. Is -24 at least as big as k?
False
Let x = 5 + -6. Let g = -4 + x. Which is greater: g or -3?
-3
Let x be -4 - (-85)/44 - -2. Which is bigger: x or 0?
0
Suppose -6 + 8 = -v. Is -4 equal to v?
False
Let o(w) = w**3 + 3*w**2 - 2*w - 2. Suppose -5*a - 12 = -3*j, 2*a - j - j = -4. Let h be o(a). Suppose -h*m - m = 0. Is m at most 1/3?
True
Let n be ((-3)/(-12))/(2/8). Suppose -3 = 2*w - n. Let x = 2 + w. Which is bigger: -3/8 or x?
x
Let z = -0.4 + 1.4. Let a = -1.2 + z. Let b = a - -1.2. Which is bigger: 2/3 or b?
b
Suppose 3 = p - 2. Which is smaller: p or 6?
p
Let y be (2/(-2)*0)/(-2). Let s be 68/66 + (-2)/3. Which is bigger: s or y?
s
Suppose -11*s + 1205 = 413. Which is smaller: 73 or s?
s
Let s be (-235)/20 - (-3)/(-12). Is -11 at least as big as s?
True
Suppose 0 = 4*m - 1 - 7. Let l be 1*5/((-95)/m). Which is smaller: 0 or l?
l
Let o = -0.2 - -0.2. Let i = 0.66 + -0.76. Is o <= i?
False
Suppose -4*p - p = 3*w + 8, 4*p + 9 = -5*w. Is -1/4 less than p?
False
Suppose 27 = -3*q + 27. Is q greater than 12?
False
Let k(u) be the third derivative of -u**6/120 - u**5/12 - u**4/6 + u**3/3 + u**2. Let l be k(-4). Is l greater than or equal to 1?
True
Let q(r) = r + 7. Let h be q(-3). Let y be (2 + h/(-2))/(-1). Which is greater: y or 1?
1
Let n = -2/5449 + 174382/38143. Which is greater: 5 or n?
5
Suppose 0 = -3*q + q. Suppose 0*j + 3*j - 15 = q. Suppose 0 = 3*g, -h - j*g + 3*g = -1. Which is smaller: h or 3?
h
Suppose -2*u = -6*u - 3*x + 10, -u + 5*x = 9. Is 4/5 greater than u?
False
Let w be (3/9*3)/1. Let r be ((-1)/2)/(3/(-1152)). Let o be 2 + (r/(-50))/2. Is o at most w?
True
Let k = 0.89 + 0.95. Let h = k + 0.16. Suppose -3 = -c - 1. Is c at most as big as h?
True
Let w be 42/9 + (-2)/(-6). Suppose z + 4*c - 16 = 0, w*c - 20 = 5*z - 4*z. Which is smaller: -1/5 or z?
-1/5
Let h be 18/6 - (2 + 8). Suppose -p - m + 18 = 3*m, 3*m = p + 17. Let o be 0 - (p - 12/h). Which is bigger: -1 or o?
o
Let x be 3/3 + (1 - -10). Suppose -z - 2 = -x. Suppose -i - 24 = -0*i + 5*d, 0 = 5*i + 3*d + z. Are i and 2 nonequal?
True
Let l = -0.02 - 0.08. Let a = 0.7 - 0.4. Let y = 1.3 - a. Is l at least y?
False
Let s(a) = -7*a**3 - 3*a**2 + 8*a - 8. Let z(o) = -o**3 + o - 1. Let d(l) = -s(l) + 6*z(l). Let k be (-10)/2 - (-2 - -1). Let v be d(k). Is v less than -7?
False
Let p be ((-15)/42)/5*4. Is p not equal to 1?
True
Let k(r) = -6 + 2*r - r + 8*r + 2*r**2 - 3*r**2. Let n be k(8). Is n equal to 2?
True
Suppose 0 = t + 32 - 58. Which is bigger: 25 or t?
t
Let d = 0.1 - 0. Let q = -0.1 + d. Is -0.7 at most as big as q?
True
Suppose 17 - 16 = -w. Is -8 < w?
True
Let f(n) = -2*n**3 - n**2 + 1. Let s be f(-1). Let q be 0/(s + (-6)/2). Let v be 5/((-10)/(-8)) + q. Which is bigger: v or 5?
5
Suppose 5*s = u - 2, 2 = u - 0*u. Which is greater: s or -1/25?
s
Suppose 0 = -s + 2*s - 4*f + 16, f = 5. Suppose 1 = s*b - 3. Let m be -1 - ((-1)/3 - 1). Which is smaller: b or m?
m
Suppose -68 = 7*t - 3*t. Is t not equal to -17?
False
Let w be 1/(-2) + 7/(-14). Does -2/7 = w?
False
Suppose -2*j - 102 = 40. Which is bigger: -72 or j?
j
Suppose -4*n + 10 = n. Suppose n*d = 12 - 4. Let c = d - 0. Which is smaller: c or 3?
3
Let a = -150 + 149.9. Which is smaller: 2/19 or a?
a
Let f be (-20)/(-8)*6/205. Is 1 > f?
True
Let j(l) = 2*l - 2. Let p be j(-5). Suppose r = -2, -r = 14*f - 15*f - 10. Do p and f have the same value?
True
Suppose -11 = o + 3*p - 27, p = 3*o - 8. Let d be 5/3 + 24/(-36). Let q = d - o. Which is smaller: q or 1?
q
Suppose v - 3*v + 12 = 0. Let g = -3 + v. Suppose -g*d - 3*a + 3 = 0, 5*d - 11 = 5*a + 14. Are 3 and d equal?
True
Let u be (-105)/84 - 29/(-20). Is u equal to -2/7?
False
Suppose -5*m = 4*j - 12 + 4, -4*m = 2*j - 10. Suppose 2*s - 3*t = -6, s - m - 3 = 4*t. Which is greater: -8 or s?
-8
Let i = 286/3 - 98. Which is bigger: -4 or i?
i
Suppose -15*q + 5 + 25 = 0. Which is smaller: -1 or q?
-1
Suppose -6*b = 10 + 2. Which is smaller: b or -4?
-4
Suppose 4*c + 8 = -0*c. Let n(f) = f**3 + 2*f**2. Let z be n(c). Is 0 >= z?
True
Suppose 6*g = 11*g. Is 1/5 > g?
True
Let z be -12*((-4)/3)/4. Suppose 4*q - 9 = q, -5*x = 2*q + 19. Let y = x + z. Is y greater than or equal to 0?
False
Suppose -4*i = -8*i + 12. Which is smaller: i or -3?
-3
Suppose -3 = -g - 5. Let d = -2/145 + -574/435. Which is smaller: g or d?
g
Let j(s) = s**3 + 2*s**2 - 2*s + 4. Let l(p) = -2*p**2 - 2*p + 1. Let q be l(-2). Let a be j(q). Is a less than 5/4?
True
Suppose 56*j + 40 = 61*j. Are j and 7 equal?
False
Let d(o) = -o + 9. Let j be d(8). Suppose 3*x = 2*x + j. Are x and -4/9 nonequal?
True
Let m = 1 + -1. Suppose 2*i + 3*i = m. Let k be 2 - (170/(-16))/(-5). Is k > i?
False
Let y = -107 - -747/7. Is 1 greater than y?
True
Let q(s) be the third derivative of -s**4/24 - 4*s**3/3 - 7*s**2. Let l be q(-7). Do l and 1/12 have the same value?
False
Let c = 1 + -3.2. Let f = -2 - c. Does -2 = f?
False
Suppose -5 = 2*b - 15. Let j be (b + -5)/((-2)/2). Is j < -4/7?
False
Let q be (5 + (-35)/(-2))*-2. Which is bigger: -44 or q?
-44
Let g(d) = -2*d**2 + 13*d - 21. Let i be g(4). Let q = -2 - -1.9. Let x = q + -0.1. Is i bigger than x?
False
Let y(o) = o + 1. Let n be y(1). Let r(p) = p**3 + p**2 + 3. Let v(x) = -x**2 - 1. Let l(t) = -r(t) - 4*v(t). Let i be l(3). Which is smaller: i or n?
i
Let l(d) = -2*d**2 + 3*d - 3. Let r be l(2). Let k = 5 + r. Is k less than -1?
False
Let m = -0.05 - 1.95. Which is smaller: m or 0.03?
m
Let d = 5803/43 - 135. Do -1 and d have the same value?
False
Let o(v) = v**3 + 3*v**2 + 1. Let y be o(-4). Is y at most -16?
False
Suppose -x + 2*w + 3 = -4, 3*x + 23 = -5*w. Is 0 at least as big as x?
True
Let a be (-7 + 4)/((-3)/(-2)). Suppose 0 = -2*g + 8, -4*c = g - 0*g + 4. Let j be (-1)/1*1 + c. Are j and a unequal?
True
Suppose 3*a = -4*f + 12, -4*a - 2*f + 6 = a. Is a less than or equal to 2/5?
True
Let r = 96 - 1638/17. Is 0 greater than r?
True
Let n = 0.3 + 0. Let j = 0.2 - n. Let p = j + 0. Which is smaller: 1/2 or p?
p
Suppose 4*p + p - 25 = -5*w, -5*w - 2*p = -25. Suppose 0 = -4*v - 0*v - w*i - 33, 2*i + 9 = -v. Let h(x) = x + 2. Let n be h(v). Which is greater: -6 or n?
n
Let k = -25.03 + 25. Is 0 bigger than k?
True
Let r(o) = 2*o - 20. Let j be r(9). Suppose 2*w - 7 = -1. Suppose w + 3 = 2*v + 4*i, -2*v = -3*i + 15. Which is smaller: v or j?
v
Let t = -25 - -51/2. Which is greater: 0 or t?
t
Let j(l) = l**2 + 14*l - 14. Let f be j(-14). Is -13 not equal to f?
True
Suppose 6 + 6 = 3*k. Suppose k = -4*r - 0*r. Is -2/23 less than or equal to r?
False
Suppose 12*j - 9*j = -18. Is j at most -7?
False
Suppose -12 - 12 = -4*p. Is p at most 12?
True
Let z = 5 - 4. Let c = -1381/126 + 98/9. Is c <= z?
True
Suppose -2*c = 2*f + 2*f, -4*c - f + 21 = 0. Let z(r) = r**2 - 7*r + 7. Let a be z(c). Are 4 and a equal?
False
Let x = 83 - 79. Is -1 greater than x?
False
Suppose -3*s + 6 + 0 = 0. Suppose -5*b - 2*l + 24 = -s*b, -5*b - 4*l + 40 = 0. Let o be (-4)/15 - b/(-12). Which is smaller: o or -1?
-1
Let j = 3.5 - 3. Let p = 1 - j. Let m = 1.5 - p. Which is smaller: m or 0?
0
Let x = -53 + 48. Which is greater: x or -3?
-3
Let f be (3 + (-22)/6)/(-4). Suppose -12 = -5*q + 3. Suppose -3*p = -2*n + 15 - 1, 0 = q*n + 5*p + 17. Is f at least as big as n?
False
Let r be (18 - 3)*(-4)/(-12). Let d(a) = 5*a + 1. Let k be d(1). Is k bigger than r?
True
Let s = 7 - -4. Let q = s - 13. Let w be (2/(-4))/((-2)/(-8)). Is q greater than w?
False
Let m = 0.153 - 0.433. Is -1/3 at least m?
False
Suppose -t + 3*g = 7 - 1, -g + 27 = -2*t. Let a = 11 + t. Which is smaller: -6 or a?
-6
Let y be (4 - 0)/((-198)/27). Which is bigger: y or 0?
0
Let g be 1 + -1113*3/3900. Let o = g + 1/100. Which is smaller: o or 0.1?
0.1
Let b = -17560 + 1931623/110. Let w = -337/770 + b. Let s = w + -6/35. Is 0.1 smaller than s?
False
Let w = 18 + -14. Suppose 20 = w*i + 3*g, 3*i + g = -3*g + 22. Which is bigger: i or 1?
i
Suppose p + 3*r = 17, 12 = 4*p + 4*r - 16. Which is smaller: p or 20/17?
20/17
Let q be (-6)/(-14) - 376/224. Does -2 = q?
False
Let b be 1/(-5) - (-31)/5. Suppose -12 = 4*o - 7*o, 0 = -2*z + 3*o - b. Do 3/2 and z have the same value?
False
Suppose 0 = 5*i + 3*w - 23, -2*i + 3*w + 4 = -1. Suppose i*v - 15 = v. Su