83/7 - -83. Which is smaller: o or k?
k
Let c = -17 - -17. Suppose 2 = -2*q - c. Which is bigger: -7 or q?
q
Suppose 2*o - 3*o = 0. Suppose 0 = -q - o*q. Does q = 2/11?
False
Let f(r) = -r**2 - r. Let a be f(1). Let u be 3/a*(-24)/9. Let y = -24 + 71/3. Which is smaller: u or y?
y
Let o = -5/22 - 1/44. Is o bigger than -3/10?
True
Let o(x) = x + 9 + 3 - 4. Let y be o(-7). Which is smaller: y or -0.1?
-0.1
Let w be (-42)/(-9) - 4 - 64/87. Let s = 0 - -1. Is s >= w?
True
Suppose -6 = -3*o, q + 3 = 4*o - 5. Is q greater than 3/19?
False
Let h be ((-20)/6 - -2)/(4/66). Which is bigger: -23 or h?
h
Let h be (-76)/(-18) - 2/9. Let o be ((-12)/8)/((-3)/h). Suppose -o*i = -i. Which is smaller: i or -2/13?
-2/13
Let h be 111/(-42) + 3 - 8/(-28). Which is smaller: h or 0?
0
Let s(d) = 4 + 3*d**2 + 2*d - d**3 + 3*d - 5*d. Let p be s(3). Is p at most 3?
False
Let b = 53 + -56. Let d = -2.9 - 0. Let f = d - b. Which is smaller: f or 4?
f
Suppose 0 = w - 4*w - 4*v + 11, -5*w + v + 3 = 0. Suppose o + w + 2 = 0. Let f(q) = -q**3 - 2*q**2 + 4*q. Let t be f(o). Is -3 >= t?
True
Let c = 29 + -30. Are -3/11 and c unequal?
True
Let w be (-10)/(-4) + (-3 - -1). Suppose -2*o - 4*v = 2, 2*v = -6*o + 2*o + 8. Is o less than or equal to w?
False
Let p = -32 + 10. Are p and -22 equal?
True
Let s = -1 + -8. Let l(p) = p. Let m be l(-5). Let t = m - s. Which is smaller: t or 5?
t
Suppose -3*d + 17 = -31. Suppose -1 = 5*b - d. Is 5/3 less than b?
True
Let i = 2 + -1. Let j be ((-4)/25)/((-6)/15). Let s = 9/10 - j. Which is smaller: i or s?
s
Suppose -4*w - 2*j - 34 = -2*w, 0 = -w + 2*j - 11. Let c be 1*((-9)/w + -1). Are 7 and c equal?
False
Suppose -5*p = 3*d + 1, 2*d + 3*p = -3*d - 7. Let f = -627 + 624. Is f equal to d?
False
Let m(f) = f**2 + 14*f - 3. Let g be m(-12). Let p = g + 30. Does 3 = p?
True
Let z be 1/3 + 5/(-15). Is z less than or equal to 1?
True
Suppose -2*j + 12 = -8*j. Is j <= 0.2?
True
Let h(d) = d**3 - 11*d**2 + 8*d + 32. Let f be h(10). Let o = 19 - 8. Which is bigger: f or o?
f
Let x(l) = -9*l - 1. Let h be x(5). Which is bigger: -47 or h?
h
Let s(o) = o**2 - o - 4. Let g be s(0). Let w be 9 + g/(16/12). Is 7 at most as big as w?
False
Let b = -4 - -8. Let n = -6 + b. Let j be (17 - 17)*(-2)/(-6). Which is greater: n or j?
j
Let k = 418 - -248. Let g be ((-8)/k)/(-4)*-110. Let c = g - -4/37. Which is smaller: c or -1?
-1
Let k = -3.9 + -1.1. Let p = k + 4.8. Which is bigger: -2 or p?
p
Let t = -11852/7 + 1696. Are t and 2 nonequal?
True
Let l(x) = -x**3 + 9*x**2 - 11*x + 9. Let i be l(7). Do 32 and i have the same value?
False
Let z be 4/2 + 1299/(-595). Let f = z + -2/119. Which is smaller: -1 or f?
-1
Let o(p) be the first derivative of p**3/3 - 2*p**2 - p + 1. Let u be o(4). Which is smaller: u or 3/7?
u
Let b = -12 + 9. Let d = b - -2.7. Let u = -0.7 + d. Is 2 >= u?
True
Let x be (1 - 1)*-1 + -1. Let k be (-2)/(-5) - 3/(180/14). Which is bigger: k or x?
k
Let y be (8/5)/(6/15). Suppose -y*b = -6*b. Suppose -o = -b*o. Is 2 equal to o?
False
Let m = 141/85 + -8/5. Which is smaller: m or 0.02?
0.02
Let z = -4.05 - -0.05. Let x = z + 4. Let n = -2 + x. Is -2 > n?
False
Let q = 292/27 - 98/9. Let d(y) = y**3 - 3*y**2 + 2*y - 1. Let k be d(2). Which is smaller: k or q?
k
Suppose 0 = -p + 11 - 9. Let s(c) = 5*c - 3. Let r be s(3). Suppose -3 = 3*u - r. Is u not equal to p?
True
Let i = 0.1 + -4.1. Let w be ((-20)/8)/(2/(-4)). Suppose -w*p = -p. Does p = i?
False
Let g(u) = -5*u**2 + 61*u - 91. Let x(k) = -k**2 + 12*k - 18. Let o(l) = 2*g(l) - 11*x(l). Let t be o(9). Is t >= 7?
True
Let q = 9229/23 - 401. Are 1 and q non-equal?
True
Suppose -4*o = 3*f - 14, -3*f = -0*o - o - 4. Suppose -o*b + 12 = -4*b. Which is smaller: -7 or b?
-7
Let w = 0.35 - -1.95. Which is bigger: w or 1?
w
Let q = 3 + -4. Let h be 3/(-6) + q/(-4). Which is smaller: 1 or h?
h
Suppose -2*d + 5*y = -16, -5*d + 2 = -4*y - 21. Let g = -3 + d. Which is greater: -0.01 or g?
g
Let z = 19.1 + -18. Is z at least as big as -0.1?
True
Let h(t) = t**2 + 7. Let y be h(0). Suppose 4*u - 6 = -d + y, -5*d - 31 = -4*u. Let v = -2 - -5. Which is smaller: v or u?
v
Let v = 2/63 + -71/252. Which is greater: v or -0.33?
v
Let w = -14 - -7. Let i = -3 - w. Let u = -4.2 + i. Which is smaller: 1 or u?
u
Let u(c) = 12*c - 27. Let o be u(2). Let f = 1.1 + -1. Let w = f - 0.1. Is w bigger than o?
True
Let m be 915/(-1395) + (-4)/(-6). Which is smaller: 0 or m?
0
Let u(m) = m**2 - 3*m - 1. Let s be u(4). Suppose 3*z = -3*h + s, -2*z - h = -7*z + 11. Let j = 3 - 3. Which is bigger: j or z?
z
Let z = 2 - -3. Let v = 3 - z. Let g = -4 - v. Are -2 and g non-equal?
False
Suppose 4*p - 8 = 2*p - 4*c, 5*c - 10 = 5*p. Suppose p = 3*v - v. Which is bigger: v or 1?
1
Let l = 337/7 + -48. Suppose -v + 4 = -3*v. Let q be 0 + 0 - (v - -1). Is l equal to q?
False
Let f(b) = -70*b**3 - b**2 + b. Let z be f(1). Let m = z + 285/4. Let g = 97/132 - 3/44. Are m and g equal?
False
Suppose 0 = 3*g - 2 + 104. Let f = g + 305/9. Let m = 0 - 0. Is m less than or equal to f?
False
Let j = -13 - -17. Let u be 8/(-6) + j/12. Is -1 smaller than u?
False
Suppose q - 1 - 1 = 0. Suppose 8 = -q*r - h + 25, -5*h + 1 = -4*r. Is r <= 5?
False
Let f be 2/1 + 6 + -4. Is f equal to 3?
False
Let y = -21.044 - -0.044. Let b = y + 20.6. Let h be ((-4)/(-18))/(2/(-6)). Which is smaller: b or h?
h
Let x be (-2)/(-2)*(-1)/(-2). Which is greater: 0 or x?
x
Suppose -2*i = i - 3. Are i and -1 nonequal?
True
Let h(k) = k + 10. Let g be h(-7). Is 3/2 < g?
True
Let p = -1.49 + 0.44. Let h = -1.05 - -1. Let b = h - p. Is b greater than -4/3?
True
Let c be ((-12)/(-14))/(4/28). Suppose -4*j = c + 2. Which is smaller: -1 or j?
j
Suppose 3*c = -15 - 3. Let s = c - -4. Is -3/5 bigger than s?
True
Let y be ((-1)/(-2)*(-8)/(-6))/2. Let j(g) = -g**3 + 2*g - 1. Let l be j(1). Does l = y?
False
Let l be 3 - 2 - -1*16. Suppose -4*t + l - 1 = 0. Suppose -2*o = -3*h - 12, -t*o + 4*h = -0*h - 16. Are 2/3 and o non-equal?
True
Let v = 15 - 6. Let r = 83/9 - v. Let l = r + -5/9. Is l greater than or equal to 2?
False
Suppose 4 = 2*n - h, -n + 3*h + 0*h = 8. Let f be 0 + 2 - 0*(-2)/10. Are f and n equal?
False
Suppose 0 = -4*f - 0*f - 8. Let m be (f/3)/(55/33). Is m bigger than 1?
False
Let f be 30/(-8) + 2/(-8). Let k be 10 - (f/2 + 0). Let m be (16/k)/((-22)/(-3)). Is m bigger than -1?
True
Let o(n) = -n**2 - 5*n + 5. Let c(p) = -2*p**2 - 5*p + 6. Let d(a) = -2*c(a) + 3*o(a). Let r be d(5). Suppose -3*j + 13 = 1. Is j < r?
False
Let g(i) = 2*i**2 - i - 4. Let c(h) = h**2 - h - 3. Let z(f) = 7*c(f) - 5*g(f). Let t be z(-1). Is -2 at least as big as t?
True
Suppose 0 = -3*m - m + 28. Is m at most as big as 2/7?
False
Let c be 6/4 - (-8 - (-7 - 3)). Which is smaller: 23 or c?
c
Let l = 2 - 1. Is l not equal to -2/135?
True
Let c = -0.439 - -0.069. Let r = c - -0.07. Let w = -21/65 + -1/13. Is w <= r?
True
Let l = 196 + -152. Is 89/2 >= l?
True
Suppose 0*y = -5*y - 130. Let s be 7/(-35) - y/5. Which is bigger: s or 6?
6
Suppose 0*w + 5 = -5*w. Let q(h) be the second derivative of -h**4/6 + h**2/2 + h. Let j be q(w). Do -1 and j have different values?
False
Suppose -4*a + 3 - 11 = 4*m, 2*a + m - 1 = 0. Suppose -4*p + 5*d + 15 = 0, -4*d + 5 - 1 = 0. Suppose -2*c + p = -3. Is a equal to c?
False
Suppose -3*o + 32 = -7*o. Is o at least -8?
True
Let x = 1 + -3. Let z = 1 + -2. Which is smaller: z or x?
x
Let v = 0.059 + -2.059. Which is greater: v or 2/9?
2/9
Suppose -3 = -19*u + 22*u. Is u at least as big as 1/8?
False
Suppose 13 = -4*s + 53. Let w be s/(-28) + (-1)/(-2). Let y be ((-12)/(-108))/(4/(-8)). Is w at least as big as y?
True
Let o = 2.6 + 1.4. Let j = 0.9 - -1.1. Which is bigger: o or j?
o
Let c(s) = -s**3 - 4*s**2 + 4*s - 2. Let g be c(-5). Let w = g - 1. Do 2 and w have the same value?
True
Suppose 0 = 5*o - 4*o. Is -8/11 greater than or equal to o?
False
Let p(l) = l + 3. Let x be p(-3). Let k = 47/147 - -2/147. Is k > x?
True
Suppose -m - 2 = 1. Suppose 2*n = 5*z, -6 = 3*n + 9. Does m = z?
False
Suppose 3*h - b = -2*b - 64, -103 = 5*h - 2*b. Is -20 bigger than h?
True
Let m be (-40)/100 - (-27)/5. Is 4 <= m?
True
Let x = -358 - -15037/42. Is x at least as big as 1?
False
Suppose -3*i + 3*m = -6, 2 = 3*i - m - 2. Which is smaller: -1/329 or i?
-1/329
Let r be