s 0.3 greater than or equal to o?
True
Let m(r) = r**3 - 9*r**2 + 7*r + 9. Let y be m(8). Which is smaller: -2/591 or y?
-2/591
Let v be (-4)/6 - (-5577)/36. Let p = v - 155. Let r be -3*(66/(-18) - -4). Is r greater than or equal to p?
False
Let q be ((-30)/(-12))/5 + 1/30. Is 2 smaller than q?
False
Suppose 15*j - 21*j + 330 = 0. Do 55 and j have different values?
False
Let h = -11.9 - -12. Do h and 30 have the same value?
False
Suppose -605 - 83 = 8*v. Do v and -85 have the same value?
False
Let z = 39 - 38. Which is smaller: -0.1 or z?
-0.1
Let d be 142/270 - (3 - (-12)/(-5)). Is 1 != d?
True
Let z be (12/(-8) + -2)*2. Which is smaller: z or -8?
-8
Suppose 4*m + 4 = -4*u, 3*m + 4*u + 4 = -0. Let w = -4 - -7. Let b = w - 1. Which is smaller: m or b?
m
Let d be ((-2)/(-24))/(4/(-18)). Suppose -3*x - 4 = x. Which is smaller: x or d?
x
Let r = 52 - 52. Which is greater: r or 3/29?
3/29
Suppose -36 - 27 = -3*z. Is 21 < z?
False
Let g be (-6 + 9)*-2*(-1)/27. Let k = -1 + 1. Is g at most as big as k?
False
Let j = -366 - -362. Let p be -3 - -1 - (0 + 1). Let q = 2 + p. Do j and q have the same value?
False
Suppose 16*c - 187 = 37. Which is bigger: c or 1/2?
c
Let q(k) = k**3 - 5*k**2 - 5*k - 5. Let i be q(6). Are i and -3/16 unequal?
True
Let l = -17 - -17. Which is smaller: l or 2/5?
l
Let c = 0.3 - -0.7. Let f = -0.3 + 0.29. Let j = f + 0.01. Does c = j?
False
Let m = -7 + 13. Suppose -t - 2*t + 5*l = -13, -4*t + m = -l. Let f = -124 - -623/5. Which is bigger: t or f?
t
Let k be 2/4*((-861)/(-285) + -3). Is 0 > k?
False
Let r(w) = w + 5. Let j be r(-5). Suppose j = 5*h - 4*u + 46, h - 4*u + 22 = -0*u. Let b be (-1)/h*2*3. Is 0.1 at least b?
False
Let i(d) be the second derivative of d**4/12 + 3*d**3/2 - d**2/2 + 4*d. Let n be i(-8). Is -9 less than n?
False
Let v = 2 + -1.2. Let i = v + -0.3. Let l = 0.6 - i. Is -2 < l?
True
Let v = 17/10 - 6/5. Are -4 and v nonequal?
True
Suppose -2*w - 15 = 45. Let c be (-4)/w + 4/(-12). Let t = -2 - -1. Is t not equal to c?
True
Let c = -12 - -10.9. Let u = -0.1 - c. Which is bigger: u or 2?
2
Let l = -503/8 - -63. Is 0 less than l?
True
Let i be (-5)/(0 + 5)*2/(-72). Is 1 at least i?
True
Let x = 5 - -2. Which is smaller: x or 6?
6
Suppose 5*w + 17 = 2. Let k = 3 + w. Is k less than or equal to -1/4?
False
Let d(v) = 17 + 0*v - v + v + 2*v. Let x be d(0). Is 17 at most x?
True
Let l = -1 + -2. Let x be -1 - (170/(-4))/(-5). Let s = x + 9. Are s and l nonequal?
True
Suppose 5*a = 5*r + 23 + 7, -2*a = -5*r - 24. Let f be a - 7/(315/92). Does 0 = f?
False
Let s = -8 - 3. Which is smaller: -10 or s?
s
Let d(u) = 18*u + 3. Let g be d(-2). Let n be g/(-18) - 1/(-6). Which is greater: n or 1.3?
n
Let s = -48/73 + -2/219. Which is greater: s or 1/4?
1/4
Suppose 0*s + 5*s + c = 40, -s + 8 = -3*c. Let u be s/(-12) + 5/3. Is 0 at most as big as u?
True
Let a(m) = m**3 - 8*m**2 + 8*m - 5. Let o be a(7). Let p = o - -6. Suppose -3*g - 2 = -p. Which is greater: 3 or g?
3
Let i = 249/4 + -3245/52. Suppose -5*k + c = -1, 5*c = -5*k + 2 - 7. Suppose 0*p + p = k. Is p greater than i?
True
Let y be (3/74)/((-12)/287728). Let i = 972 + y. Is 0 less than i?
False
Let c(m) = m - 7. Let q be c(7). Suppose 0 = f - q*f. Is 1/5 less than f?
False
Let h = 10 - 7. Suppose -t + 36 = t. Suppose 0 = -4*m + t - 6. Is m at most as big as h?
True
Suppose 3*i = -2*n + 16, -4*n + 0*n = i - 12. Suppose -n*s = s + 6. Let b be 0/(s + 2 - -2). Is b equal to 0?
True
Let l be (-1 + -1)*9/8. Let n = l - -71/28. Is n not equal to 1?
True
Let k = 65 - 100. Is -35 greater than or equal to k?
True
Let k(g) = -3*g + 7. Let l(h) = 7*h - 15. Let f(w) = -5*k(w) - 2*l(w). Let q be f(7). Which is smaller: q or 3?
q
Let v be -2*1*2/4. Let s be (-4 - 2) + (2 - v). Let h be s - (-8 + 3 - -3). Do 0 and h have the same value?
False
Let f be 0/(-4 + 6 + -3). Suppose -3*v + 15 = 0, 2*t + 4*v - 20 - 14 = f. Is t not equal to 0.2?
True
Let o be (-4)/(((-3)/(-2))/3). Let k be (1/(-2))/(1/o). Is 5 greater than k?
True
Let u(t) = -t. Let k = -22 - -21. Let y be u(k). Which is bigger: y or 0?
y
Suppose -3*b - 2*v = -4, -5*v + 9 = -2*b - 1. Which is bigger: 2/105 or b?
2/105
Let o = -38 + 15. Let s be o/(-3) + (-6)/9. Are s and 7 unequal?
False
Let u(h) = h**2 + 3*h - 7. Let d be u(-5). Suppose 2*i = -d*i. Are i and 7 non-equal?
True
Let f be (9/2)/(4/8). Let t = f + -11. Is t greater than -4?
True
Let j(k) = -k + 9 - 5*k + 0*k + 2*k. Let g be j(3). Let l(s) = s - 9. Let a be l(5). Which is greater: a or g?
g
Let h(y) = y**2 - 20*y + 36. Let c be h(18). Which is greater: -14/19 or c?
c
Let h(o) = -5*o**2 - o. Let q be h(1). Let l(a) = -a - 5. Let p be l(q). Is 1/4 equal to p?
False
Let g = -123 - -137. Is 2/5 at least as big as g?
False
Suppose 0 = 5*b - z + 7, -b - b = 2*z - 2. Let w be 16/(-64)*6/(-5). Are b and w non-equal?
True
Suppose 5*d = -b - 265, -7*d - 3*b = -2*d + 265. Are -53 and d equal?
True
Let p = 0.13 - 8.63. Let o = p + 0.5. Let f = o + 11. Which is smaller: -1/4 or f?
-1/4
Suppose i - 3 = -2*n, -2*n = -0*n. Suppose 3*h = -4*a + 3, i*a + 4*h - 4 = a. Which is smaller: a or -5/6?
-5/6
Let n = -170/3 + 55. Which is greater: -1/4 or n?
-1/4
Let q = 4 + -7. Let v = q + 4. Which is bigger: v or 3?
3
Suppose 0*c + c = -5*u - 9, -c - 25 = u. Is c less than -31?
False
Suppose 12 = 2*z + 4*d, d + 29 + 3 = 3*z. Which is smaller: 7 or z?
7
Suppose -y - 4*u + 10 = -3, -4*y + u - 33 = 0. Let a(s) = -s**2 - 7*s + 1. Let o be a(y). Which is greater: 8 or o?
8
Let d = -1 + -2. Let q = 2 + d. Let f = -53/35 - -12/7. Which is smaller: f or q?
q
Let m = -6.641 - 0.059. Let w = 0.7 + m. Is -2 > w?
True
Suppose 2 = -x - 5*d, 2*d - 6*d - 4 = 2*x. Let c = -2 - 1. Does x = c?
False
Let k = 0.91 + 0.09. Let f = k - 1.1. Let s = 0.2 + 0. Is f at least as big as s?
False
Suppose -6 = 2*u - 0*u. Suppose 0 = 5*n - 14 - 11. Suppose 5*i = -n*h, 4*h - 3 = i - 6*i. Does u = h?
True
Let g(p) = -11*p - 1. Let d be g(-9). Let a = d - 178. Let f = -242/3 - a. Is 2 not equal to f?
True
Suppose -2*z + 4*z = 72. Let a = 107/3 - z. Let y = 1.1 + -1. Is y not equal to a?
True
Let f = -0.33 - -0.23. Are f and 7 nonequal?
True
Let n = 1241/20 - 253/4. Let c = -4/5 - n. Is 4 <= c?
False
Let d = 0.2 - 0.3. Let q = -0.326 + -17.774. Let z = 18 + q. Is z greater than or equal to d?
True
Let r(g) = -g**3 + 9*g**2 + 11*g - 4. Let z be r(10). Let h be ((-3)/z*-2)/1. Which is smaller: 2 or h?
h
Let d(i) = i**2 + 9*i + 1. Let v be d(-9). Which is bigger: 2 or v?
2
Suppose 0*f + 2*v = 4*f - 168, -v = 4*f - 162. Let x = -167/4 + f. Which is bigger: x or -1?
x
Let c(q) be the first derivative of -q**4/24 + 2*q**3/3 + q**2 - 1. Let x(f) be the second derivative of c(f). Let k be x(4). Which is smaller: 0.1 or k?
k
Suppose 0 = -3*o + 4*o - 7. Let w be -7 + o - (11 - 1). Is 0.1 at least w?
True
Let b = 77.997 - 78. Which is smaller: -1 or b?
-1
Let i = 0.1 - 0.2. Let z = -205 + 199. Which is greater: i or z?
i
Let r be (12/16)/((-3)/(-2)). Which is greater: 8 or r?
8
Let z = 134 - 265/2. Which is greater: -1 or z?
z
Suppose -z + 5 = 3. Let d be (12/8)/(z/4). Is d greater than or equal to 3?
True
Let k be 14/35 - (-18)/5. Suppose 0 = -3*x + 5*z + 37 - 14, 4*x + 12 = -k*z. Let q be (2/4*4)/x. Is q != 1?
True
Let p = 5 + -4. Let n = p - 2. Let h be 0*(0 + n/(-2)). Is -2/11 not equal to h?
True
Suppose -2 = -x - 1. Is x less than -4/21?
False
Let u = 17 - 15. Are u and 16/9 equal?
False
Let m = -1 + 3. Let t(b) = 3*b + b**3 + 6 + m*b**2 - 5 + 3 + 2*b**2. Let j be t(-3). Which is greater: j or 3?
j
Let w = 8 + -9. Which is greater: -5/7 or w?
-5/7
Let h = 18937/4 + -7328491/1548. Let t = -6/43 - h. Which is bigger: t or 1?
1
Suppose 0 = -4*s - 4*c + 6*c + 40, -2*s + 4 = -5*c. Which is smaller: 11 or s?
11
Suppose -3*x - 9 = -9. Is 1/52 > x?
True
Let r = 1.2 + -1.3. Let y = 0.9 - r. Is 1 bigger than y?
False
Let n(s) = -2*s - 8. Let m be n(-3). Which is bigger: -5/7 or m?
-5/7
Let f be (-33)/(-136) + (-18)/153. Which is smaller: 0 or f?
0
Suppose 4 + 8 = 2*c. Let s be 2/3*3/c. Is s < -1?
False
Let g be (-137)/56 - 3/24. Which is smaller: g or -2?
g
Let f = -1/21 - -8/21. Let a(q) be the first derivative of -3*q**2/2 + 2*q - 6. Let k be a(1). Which is greater: f or k?
f
Let i be 129/(-43) + (0 - (0 - 2)). Is i equa