2 = -4. Let w be h(y). Is w greater than or equal to 0?
True
Let z be 30/(-4)*8/(-12). Suppose z*b + 6 = -b. Is -2 less than b?
True
Let r = 26 - 12. Let b be 35/((-20)/56*-7). Is b less than or equal to r?
True
Suppose -q - 10 = -5*d, -5*q - 2*d - 124 = -20. Let f = q - -8. Let g be ((-8)/42)/(f/(-18)). Which is greater: 0 or g?
0
Let o = -1248 - -1052. Are 1 and o non-equal?
True
Let l = -244 + 365. Let o = -127 + l. Let x = -6 + 4. Is o >= x?
False
Let s be 3/(-14)*((-910)/(-60) - 14). Which is smaller: 398 or s?
s
Let w = 322 - 333.1. Do -2 and w have the same value?
False
Suppose -1 - 3 = f. Let x be f - (4 - 28/3). Is x >= 1?
True
Let v be (-1234)/(-10) - (-372)/620. Is v > -2?
True
Let k(a) = 3*a - 9. Let c be k(0). Is c >= -1?
False
Let r = -2091/2030 + -6/145. Is r at most as big as 0.1?
True
Let r = 626 - 627. Which is greater: 1/19 or r?
1/19
Let c = -3 - -3. Let y = -226 - -220.04. Let s = y + 6. Is c greater than or equal to s?
False
Let k(g) = -g**3 + 6*g**2 + 4. Let a be k(0). Which is smaller: a or 51/11?
a
Let n(x) = 410*x**3 - x + 1. Let k be n(1). Let b be (k/(-116))/5 - (-4)/8. Is b less than or equal to 1?
True
Let b(d) = -d**2 + 8*d + 14. Let l be b(9). Suppose -l*a - 4 = -2*o + 5, -6 = 5*o - 3*a. Is o at most -2?
True
Let r = -21 - -26. Suppose -2*x + 2 + 2 = -r*k, -4*k = 3*x + 17. Which is greater: k or -5/4?
-5/4
Let y = -146.239 + -0.761. Which is bigger: 1/5 or y?
1/5
Suppose 694 = -9*z + 541. Which is smaller: z or -34?
-34
Let r be (2 + 8)/(-5) - -5. Suppose -z = 4*s - 45, r*s = -2*z + 51 + 54. Which is smaller: z or 59?
z
Let w = 5 - 8. Let t(i) = -i + 2*i - 3*i**2 - 2 - i**2 + 3*i**2. Let l be t(0). Are l and w non-equal?
True
Let m = -4697 + 436817/93. Is m at most 1?
True
Suppose 4*c = 2*i + 50, 3*c + 19 = 5*c - 3*i. Suppose 5*r - c = 11. Let v = 5 - 1. Are v and r equal?
False
Let y = -3.72 - -1.42. Is y at least 5/6?
False
Let r = 0.1 + -0.3. Let f = 1.2 + r. Let a be 36/24 + 30/4 + 0 + -1. Is f at least as big as a?
False
Suppose 1 = -p + 6, 465 = -3*q - 3*p. Is -161 not equal to q?
True
Let a be 17/68 - 3909/(-1428) - 3. Which is smaller: 1 or a?
a
Suppose 2*y = 4*z - 6, z + 10 = 3*y + 4. Let u = 0 - z. Let i be 12/21*(-35)/10. Is i bigger than u?
True
Let g = -3037757/203 + 14964. Let d = 1/29 + g. Do d and -13/5 have the same value?
False
Let u(a) = a**2 - 7*a + 3. Let f be u(7). Suppose -3*w = 5*s + 7, -f*s - w = -3*w - 11. Let n = -2/1101 - -3676/3303. Which is bigger: s or n?
n
Suppose g = 3*d - 4, g + g = d - 8. Let t be 4 + (1 - 3) + (-99)/48. Which is greater: d or t?
d
Let k = 595 - 595. Which is smaller: 74 or k?
k
Suppose -4*w + 221 = 969. Let r = w - -556/3. Is 2 greater than r?
True
Suppose 0 = 2*m + 4*b - 22, 3*b + 8 = m + 4*b. Let c(w) = -w**3 - 12*w**2 + 18*w - 6. Let o be c(-13). Let s = 74 + o. Is s <= m?
True
Let g = 0.98 - 1. Let m be (0 + -2)*(11 + 425/(-40)). Which is smaller: g or m?
m
Let c = -51 + 23. Which is smaller: c or -29?
-29
Let t be 0 + (4/2 - 6). Let y(j) = -j**2 - j + 1. Let k(s) = 5*s**2 + 8*s - 7. Let r(z) = -k(z) - 4*y(z). Let o be r(t). Is 3 <= o?
True
Suppose -f - 4*g + 8 = 0, 293*f - 294*f - 3*g + 6 = 0. Let z = -1111 - -57775/52. Which is bigger: f or z?
z
Let q = 55 - 55.1. Let c(f) = -f**2 + 4*f - 1. Let l be c(3). Let b = 2 - l. Is q >= b?
False
Let t be -24 + 1140/48 - (-95)/412. Let z = 1 - 0. Is z less than or equal to t?
False
Suppose 3 + 1 = 2*l. Let y = l + 1. Let i be 1*y/12*0. Which is smaller: i or -1/5?
-1/5
Let s = 684/11 - 62. Suppose j + 45 = 6*j. Let u = j - 7. Are s and u equal?
False
Let l = 244 - 249. Which is smaller: 4/3 or l?
l
Let s = 2493 - 12518/5. Let n(k) = -k**3 - 8*k**2 + 33*k + 204. Let h be n(-9). Is s < h?
False
Suppose 2*x = -3*x. Suppose 2*o + 10 = 2*c, x = -0*o + o + 1. Suppose 0 = -0*k - 2*k - c. Do -2 and k have different values?
False
Suppose -11*o = -13*o + 180. Suppose 2*g = 8*g + o. Are -15 and g unequal?
False
Let q(f) = f - 1. Let s be q(5). Suppose -s*p + 9 = 3*m - 0, -3*m + 3 = 2*p. Let b(n) = -n**3 + 2*n + 1. Let z be b(m). Which is smaller: z or 2/31?
z
Let d = 13.95 - 14.969. Let u = d - -0.019. Is -1/6 > u?
True
Let j = 5.6 + -2.6. Let q = 5.1 - j. Let v be (-1)/(-6)*(0 + -2). Is v less than or equal to q?
True
Let w be 10/14 - 2/(-7). Suppose 5*c = 71 - 221. Let v = c - -27. Is w greater than or equal to v?
True
Let l(u) = -93*u + 8. Let s be l(3). Let j = -3529/13 - s. Is j at most -1?
False
Let a = 8989/28 + -321. Let v be (4/8)/((-2)/4). Is v >= a?
False
Let o(s) = 3*s + 32. Let p(c) = -c - 11. Let i(k) = 3*o(k) + 8*p(k). Let x be i(-7). Which is greater: -1/24 or x?
x
Let f(n) = -n**3 - 29*n**2 + 9*n - 23. Let d be f(-30). Which is greater: d or 606?
d
Suppose -2 = -o + 4*x - 0, -3*o - 2*x + 6 = 0. Let r be o/(-4)*252/9. Is -14 > r?
False
Suppose 40*l = 46*l - 1482. Is 246 at most l?
True
Let x(p) = 2*p - 2. Let g be x(1). Suppose -4*o = -3*z, 7*o - 4*o = g. Let u be (-2 - -1)/(-9) - z. Are u and 0 equal?
False
Suppose -y + 4 - 22 = 4*c, 0 = -3*y + 3*c + 6. Let z be (-6*(-1)/6)/(1 - y). Which is bigger: z or -3/2?
z
Suppose 32*p - 34*p = 0. Let m be 1 + -1 - (-8)/(-30). Is p greater than m?
True
Let l = -35/12 - -9/4. Let y = -1.2 + 2.3. Let x = 1.2 - y. Which is smaller: l or x?
l
Let x = -1.891 - 0.109. Is x at most as big as 41?
True
Suppose 3*y + 668 + 58 = 0. Is -242 less than y?
False
Let m(y) = -25*y + 442. Let f be m(18). Which is bigger: f or -47/6?
-47/6
Let v = -168 + 167. Let m = 0.1 + -0.3. Let j = 0.2 + m. Does v = j?
False
Let o be 1849/43 - (2 + 3 - 1). Is o at least as big as 75/2?
True
Suppose 4*c - 3*m = -1020, 13*c - 10*c + 765 = m. Do -255 and c have the same value?
True
Let x = -3.04 - -2.91. Is 8 not equal to x?
True
Suppose -3*p - 2*j - 76 = -75, 2*j = -2*p. Is -4/1689 != p?
True
Let z = -37/77 - 1/11. Let p be (-2)/14*(-3)/15. Let i = p - z. Which is greater: i or 0?
i
Let s = -7.73 + 5.9. Let o = s + 0.83. Is o < 0.1?
True
Let o(i) = -i**3 - 9*i**2 + 10*i + 14. Let q be o(-10). Let w = -22 + q. Let z(f) = -f - 9. Let h be z(-5). Is h greater than w?
True
Let q = -0.14 - -0.2. Let v = 0.34 + q. Which is smaller: 6 or v?
v
Let s = -385 - -18864/49. Which is bigger: s or 1?
1
Let q(t) = -2*t**2 - t - 1. Let o be q(-1). Let f be -26 + (-1)/o*-2. Let w = -71/3 - f. Which is bigger: 2 or w?
w
Suppose -t = 5 + 8. Let k be (-13)/t - (2 + -1). Let g(v) = -v**2 - v + 11. Let w be g(k). Is 11 greater than or equal to w?
True
Let a = -1 + 5. Let r(n) = -n**2 + 2*n + 5 - n + 2*n. Let y be r(a). Is y > 1?
False
Let w = 56.2 + -3.2. Let f = 56 - w. Is -0.1 not equal to f?
True
Suppose 4*b + 4*k + 22 = -38, 0 = 3*b + 2*k + 44. Let g = 22 + b. Let x be g/12 + 78/(-9). Are x and -8 nonequal?
False
Suppose -1 = 2*u + 3*r + 7, -4*u = -5*r - 28. Suppose 3*h - 27 = -4*l, -1 = -2*l - 2*h + 3*h. Is l at least u?
True
Suppose 23 = -h + 5*j, 5*j - 12 = j. Let m be (-2)/(-8) - 30/h. Let d = -21.9 + 20.9. Which is smaller: d or m?
d
Let b be 87 - ((-1)/(-1) + -3). Let m = b - 351/4. Do m and 0 have the same value?
False
Let k(l) = l - 10. Let j be k(9). Let b be j/(1472/316 - 2). Let m = 1/42 - b. Which is greater: 0 or m?
m
Suppose -5*m - 17 = 5*q + 18, 4*q + 10 = 5*m. Is -16/13 < m?
False
Let b be 5/((1 + 0)*1). Suppose 4*h + 73 = b*h. Suppose -w + 31 = 2*a, -5*a + w + h = 2*w. Do 12 and a have different values?
True
Let y = -216 - -206. Which is smaller: y or -9?
y
Suppose 7*l - 11*l + 13*l = 0. Are 2/3231 and l equal?
False
Suppose 4*b + 4*s - 60 = 0, -2*b + 10*s + 10 = 7*s. Are 47/4 and b non-equal?
True
Let k(y) be the third derivative of 0*y + 6*y**2 + 3/2*y**3 + 0 - 1/8*y**4 - 1/60*y**5. Let g be k(-5). Which is greater: -4/5 or g?
-4/5
Let n be 1 + 1*(-111 - -6). Which is smaller: -107 or n?
-107
Suppose -123 = z - 5*k, 492 = -0*z - 4*z - 5*k. Let t be (-2)/1 - 240/z. Is 0 at least t?
True
Let a = -5087/19 - -269. Which is smaller: 5 or a?
a
Let y(r) = -12*r. Let p be y(-2). Let o = p + -40. Which is greater: o or 1?
1
Let r = 2/565 + 316/113. Which is greater: 4 or r?
4
Suppose 5*s = 7*s + 10. Let o be (8/s)/(2/(-5)). Let p = 1 - -3. Are p and o unequal?
False
Let w(s) = s**2 + 8*s + 9. Let h be w(-6). Let y be (h/(-40))/((-6)/(-5)). Suppose -g - 25 = 4*g - 4*z, 5*g - 2*z + 15 = 0. Is g >= y?
False