Let p be (-4)/(-29)*7/t. Suppose -2 = 3*f + s + 3, -3*s = 4*f + 15. Is f smaller than p?
False
Suppose -n + 4*r - 124 = 0, 0 = -3*r + 108 - 96. Is -543/5 greater than n?
False
Suppose -2*q + 4*o - 3 = q, q + 4*o = -1. Let m(a) = -9*a**3 + a**2 - a - 1. Let u be m(q). Let n = 12 - u. Which is smaller: n or 8/7?
8/7
Suppose 9*q - 11*q + 18 = 0. Is 120/13 less than or equal to q?
False
Suppose 2*b + 3*w - 26 = 1, 5*b = 2*w + 115. Let d(i) = 21*i. Let y be d(1). Is b at most as big as y?
True
Suppose 0 = 45*k + 59 - 14. Let b be -2 + 35/11 + -1. Is b at least k?
True
Let y(o) = 2*o**2 - 48*o + 3. Let f be y(24). Is f greater than 11?
False
Let z = -11/34 - -43/238. Suppose 2*g - 3 = 1. Suppose 4*o = c - 5, 0 = -c + g + 3. Is z < o?
True
Let x(a) = 2*a**2 - 2*a - 4. Let n(y) = -y**3 - 5*y**2 - 3*y - 1. Let f be n(-4). Let g be x(f). Let j be g/(-24)*(-3)/(-2). Which is bigger: -5 or j?
j
Let u(y) = -y**2 + 14*y - 21. Let d = -22 - -31. Let c be u(d). Suppose 3*q - c = q. Which is bigger: 13 or q?
13
Let t = -121 + 121. Which is bigger: -0.3 or t?
t
Let o = -4.934 - 0.066. Which is greater: o or 0.02?
0.02
Let d = -58 - -48. Let h(n) = n**3 + 10*n**2 + n + 9. Let l be h(d). Which is greater: l or 3/23?
3/23
Let c(r) = 549*r - 549. Let v be c(1). Let d be (-205)/101 + 0 + 2. Which is smaller: v or d?
d
Let r = 6850007/66 - 103812. Let k = 143/6 + r. Let h(o) = -o**2 + 6*o. Let g be h(6). Is g at most k?
False
Let q = 23015551092/51067405 + 2/1760945. Let z = 62407/377 - q. Let o = 285 + z. Which is bigger: o or 2/7?
2/7
Let c = -0.07 + 0.37. Suppose 0 = 3*l - 9, m + 5*l = 8 - 28. Let a = -30 - m. Which is greater: c or a?
a
Let u = 37 + -35. Suppose u*c - 41 = -4*q - q, -4*q - 2*c + 34 = 0. Which is smaller: q or 8?
q
Let q = 4/49 - 157/1323. Let i = -76/135 + q. Which is smaller: 6 or i?
i
Suppose -8*n + 44 = -76. Suppose 10*y - 15 = n. Let b = 0 - -4. Which is smaller: b or y?
y
Let m = 232 - 293. Which is smaller: -63 or m?
-63
Let q be 1/(-2)*8/(-6). Let m(x) = -76*x**3 + x - 2. Let t be m(1). Let d = -75 - t. Are d and q equal?
False
Let v(p) be the first derivative of -p**3/3 + 4*p**2 - 17*p + 18. Let q be v(5). Which is smaller: q or -6?
-6
Suppose -i - 2*b = -b - 60453, -5*i + 3*b + 302241 = 0. Let t = i - 300566/5. Let y = t - 334. Are y and 2 equal?
False
Let p = 33 + -33. Let k = -613 - -26357/43. Is p < k?
False
Suppose -4*g = -2*p + 2, -4*p + 7*p + 5*g = 14. Which is smaller: -4 or p?
-4
Let o = -36 - -61. Let i = o - 24.8. Which is smaller: -4 or i?
-4
Suppose 4*k = -4*p - 160, 3*k + 71 = -4*p - 92. Which is greater: -41 or p?
-41
Let n = -5.67 - -31.57. Let g = n - 10.9. Is 0.4 <= g?
True
Suppose -4*s + w + 14 = -4*w, 4*s = -2*w. Let y be (1/s)/(329/28). Which is bigger: y or 1?
1
Let b = 44/85 + -2/17. Suppose 32 = 4*o + 2*r, -3*o - 2*r - 2 + 26 = 0. Let v be (1 - 3) + 14/o. Which is smaller: b or v?
v
Suppose -3*j = -5*h + 30 + 26, 2*j = -2*h + 16. Let x be (580/12)/5*1. Which is bigger: h or x?
h
Let s = -7.2 + 7.175. Let v = -0.015 - s. Are 0.4 and v non-equal?
True
Let m be (10/36)/((546/(-12))/(-7)). Which is greater: 0 or m?
m
Let f be ((40/4 - -3) + 0)*2. Suppose w - 2*d = -f, w + 12 = d - 10. Which is bigger: w or -16?
-16
Let h be -4 - (-13 - (-21)/3). Which is smaller: 30 or h?
h
Let u be (-3)/2*44/(-33). Let q(s) = s**2 + s**2 - 4*s**u + 12*s + s**2 - 14. Let t be q(11). Is -4 smaller than t?
True
Let r be 3*1/(-2)*-2. Let o be ((-1)/r)/((-1)/(-3)). Let k be -10 + 9 + 1 + o. Which is smaller: k or 16/7?
k
Let y = -224.18 - -222. Let l = -2.3 - y. Let w = -0.32 - l. Which is smaller: 5 or w?
w
Let l = 0.053 - -2.947. Which is smaller: 0.6 or l?
0.6
Let y = 0.04 - 0.44. Let x = 3 + -4. Let b = -2 - x. Which is bigger: b or y?
y
Let x = -111 - -113. Suppose 4*n + n - 21 = -4*c, -x*c + 13 = 3*n. Suppose r - 2*r + 3 = 0. Is n greater than r?
True
Let f(r) be the second derivative of -1/3*r**3 - 3*r - 1/4*r**4 + r**2 + 0. Let n be f(-2). Are n and -8 nonequal?
True
Let l = 62 + -60. Let m be (5/l*1)/(3/9). Which is greater: -0.2 or m?
m
Let n(z) = -z**3 - 5*z**2 - 4*z + 7. Let a be n(-4). Let f = -2/7 + 13/21. Which is smaller: a or f?
f
Let r be 6/14*(4/(-6) + 0). Suppose -4*x - 16 = -4*d, 8 - 27 = 5*x - 4*d. Which is smaller: x or r?
x
Let n be (56/(-10))/(-11 - (-5404)/490). Is -193 >= n?
True
Let d = 629 - 67. Let i = d - 1163/2. Which is greater: i or -21?
i
Let m(a) = 3*a**2 + a. Let b be m(1). Let g be (-72)/384 - (-440)/128. Which is bigger: b or g?
b
Let i = -65594705/524 - -125181. Let k = -2/131 + i. Is -4.4 < k?
True
Let a(w) = -w + 4. Let c be a(6). Let b = 6855 - 6872. Which is smaller: c or b?
b
Let l(r) = r**3 + 11*r**2 - r - 9. Let z be l(-11). Suppose -1 = -w + z*w. Let m be -5 - (0 - (-3 - w)). Which is bigger: m or -6?
-6
Let t = -1248.61 - -1248. Is 0.1 >= t?
True
Suppose -2*w = 2*w. Suppose 0 = -2*f + 5*p + 77, p + w*p + 83 = 3*f. Is f bigger than -2?
True
Let n = -279376/187 - -1494. Are 0 and n non-equal?
True
Suppose 0 = 9*a - 11*a + 32. Suppose a = -6*w + 4. Which is greater: w or -7/6?
-7/6
Let a = 0 - -4. Let r be 17*(-3)/(-12) - a. Let t = 0.53 - 0.6. Which is smaller: r or t?
t
Suppose 0*v = -3*v. Let u = -3/685 - 1151/50005. Which is bigger: u or v?
v
Suppose 19 = -39*m + 38*m. Which is smaller: m or 2?
m
Let y be -1 + 0 - 7/(-2). Suppose -4*l - 4*q = -4, 0*l + 5*l = -4*q + 8. Do l and y have different values?
True
Let w(l) = 2*l**2 + 43*l - 9. Let z be w(-22). Is -5 >= z?
False
Suppose 5*g = -2*g - 7. Let y be (4 - 1)/(2/(-2)). Are y and g nonequal?
True
Let z be 6*(-8)/(-18)*-6. Let o = z - -19. Are o and -0.03 nonequal?
True
Suppose -5*v - 23 = -78. Suppose 20*i + 441 = v*i. Which is smaller: i or -48?
i
Suppose 5 + 16 = u. Let l be -2 + 4/12*u. Is 1 at least l?
False
Let a = 0.597 - 23.597. Is a <= -0.03?
True
Let t be (102/(-8) - (0 + -2))*-113. Let k = t + -1222. Which is bigger: -8 or k?
k
Let g(p) = -5*p - 143. Let h be g(10). Is h > -193?
False
Let p = -2/973 - -7794/4865. Which is smaller: p or 3?
p
Let w(n) = -15*n**3 + 4*n**2 - 3*n - 6. Let r be w(-2). Is r < 139?
True
Suppose -28*u - 675 - 1005 = 0. Which is smaller: u or -63?
-63
Let c = -1/417 + 853/7923. Is 83 greater than c?
True
Let d = 153.41 - 179.296. Let l = 0.114 - d. Which is bigger: l or 0.1?
l
Let w = 14932 + -22457727/1504. Is w >= -2/7?
True
Let y = 74 + -28. Let f = 49 - y. Suppose 0 = -3*o + 1 - 4. Is f > o?
True
Suppose -r + 175 = 3*p, -93 = 5*p - 3*r - 380. Is p < 61?
True
Let k(u) = -2*u - 19. Let d be k(-11). Suppose -5*z = -d*z - 2. Which is smaller: 1/28 or z?
1/28
Suppose -74 = 5*g + 46. Let q(i) = -i**2 + 2*i + 6. Let v be q(4). Let s be g/(-9) - v/(-3). Do s and 3 have different values?
True
Let k(h) = 3*h + 21. Let y be k(-7). Suppose -6*z + z = y. Let i be 2/(-8) + 33/164. Which is bigger: z or i?
z
Let k be (0 - 1)/(4/108). Let s(d) = -d**3 + 7*d**2 - 13*d + 14. Let a be s(6). Are k and a non-equal?
True
Suppose 2*j = 4*f + 338 - 116, -12 = -4*j. Are -51 and f equal?
False
Suppose -3*v - 3*h + 54 = h, 3*h + 18 = v. Suppose -4*n + v + 2 = 0. Let z = n + -5. Do z and -5 have different values?
True
Let u(f) = -f**3 - 6*f**2 - 3*f - 14. Let a be u(-6). Let c be (2/9)/(a/24). Does 2 = c?
False
Suppose -17*m + 181 + 1400 = 0. Is m < 98?
True
Suppose 5*v = 2*t - 1389, 2*t + 3*v - 1407 = 2*v. Let d = -118047413/167787 + -7/18643. Let c = d + t. Which is smaller: c or -1?
c
Suppose -x = 3*a - 1 - 3, -2*a - 2 = 3*x. Suppose 105 = a*z - 1. Which is smaller: z or 54?
z
Suppose 4*h = h + 12. Let q = -650 + 1305/2. Is h equal to q?
False
Let t = 9 - -4. Let x = 22 - t. Let h = x + -12. Are h and -3 unequal?
False
Suppose 0 = 2*s + 2*l + 6, -3*l + 5*l + 6 = 4*s. Let o be 165/(-638)*(-4)/2. Let k = o - 13/29. Is s not equal to k?
True
Let d = 2.83 - 0.03. Let a = d - -2.2. Is -4 greater than or equal to a?
False
Suppose i - 5*i - 12 = 0, 5*a + 16 = -2*i. Let v = a + 3. Let q be ((-4)/(-70))/(1/(-5)). Which is smaller: q or v?
q
Suppose 2*d + 3*w = -9, 2*w + 18 = d + 5. Suppose -7 = d*z - 4. Is z < 4?
True
Suppose 0 = -3*o - 5*o + 8. Suppose -8*g - 7 - o = 0. Is -2/15 != g?
True
Let z = -2100 + 31514/15. Let q = -32471951/510 + 127339/2. Let h = q + z. Is -1 bigger than h?
False
Suppose -2*l - 2*b = l - 14, l + 4*b = 18