4). Suppose 5*o = 3*u, 0 = -2*u + 3*u + 3*o. Is s at most u?
False
Let r = -5 + 10. Suppose r*c - 5 = 20. Suppose q + q + 6 = -4*z, c*z - 3*q + 2 = 0. Which is greater: z or 2/7?
2/7
Let u = 2 + 2. Suppose 10 = 2*s + 2*t - 2, -s = -5*t + 12. Suppose -s*q = -q - u. Are 3/5 and q unequal?
True
Let z(t) = t**3 - t**2 - 3*t + 3. Let m be z(2). Let g(n) = -2*n**2 - 16*n - 10. Let h be g(-7). Let p be 9/7 - h/14. Is p <= m?
True
Suppose z + 3*z = 3*c + 4, z + 4*c = 1. Let q = -18401/74 + 497/2. Let l = q - -203/111. Which is greater: z or l?
l
Let w(z) be the third derivative of z**7/2520 - z**5/60 - z**4/12 - z**2. Let h(c) be the second derivative of w(c). Let k be h(2). Is k >= 3/4?
True
Let l = -1.2 - -0.92. Let q = l + -0.04. Let v = q - -0.3. Which is bigger: 0 or v?
0
Let d be ((-80)/(-42) - 2)/((-9)/42). Let y = 0.4 + -1.4. Is d bigger than y?
True
Let b = 1.87 + -0.07. Let c = 2 - b. Is c greater than 2?
False
Let v(g) = 4*g**2 + 5*g - 3. Let j be v(2). Are j and 2 unequal?
True
Let c be (1/3)/((-4)/12). Let m be 28/40 - 4/10. Is c <= m?
True
Let y be ((-372)/(-26))/(-3) + (-18 - -22). Which is smaller: y or 0?
y
Suppose q = 4*q - 33. Suppose 4 + 7 = g. Let i = q - g. Which is greater: i or 1?
1
Suppose 0 = 2*y + y - 42. Let o = -9 + y. Which is smaller: 4 or o?
4
Suppose 0 = 4*x - 2*p - 10, 12 - 1 = 5*x - p. Suppose -5*u + 7*o = 3*o + 1, -4*u = -x*o - 4. Which is bigger: u or 5/3?
u
Let g = 31400/7 - 4472. Let j = g - 1557/112. Which is greater: j or 1?
1
Let g be 56/20 + 1/5. Let u be 27/12 - g/12. Let p be (-4)/((0 - 2) + 1). Do u and p have the same value?
False
Let r(a) = a + 1. Let d be r(-4). Let s be 2/((2 + d)*1). Let l be (s + -1)*2/(-9). Is l at least 0?
True
Let o be 6/(-10) + (-6 - -6). Do -1 and o have the same value?
False
Let j be 86/(-6) + 10/(-15). Which is bigger: -12 or j?
-12
Let u be ((-12)/22)/(9/6). Let a(x) = -3*x**2 - 19*x + 15. Let o be a(-7). Which is smaller: u or o?
u
Let v be (3 - 11/3)/((-8)/(-18)). Let j = -2 - -3. Is v at most as big as j?
True
Let u be (22/935)/(33/(-15)). Which is greater: -1 or u?
u
Let b be ((-3)/(-12))/((-483)/(-24)). Which is greater: b or 0?
b
Suppose 0 = 3*j + 2*h + 8, 7*j + 16 = 2*j - 4*h. Suppose j = -4*i - 0*i - 8. Let y = 5 + -6. Which is smaller: i or y?
i
Let s be (-1)/(((-25)/(-2))/5). Let y(o) = -o + 4. Let k be y(5). Which is greater: s or k?
s
Let b be 11/(-2)*(-12)/(-14). Which is bigger: -4 or b?
-4
Let f = -6 + 6.4. Let q = f - 3.4. Let i = 4 + q. Are i and -0.1 unequal?
True
Suppose -4*k = -k + 3. Let t be 1711/28 + (-1)/4. Let o = -61 + t. Do o and k have different values?
True
Let v = -4.6 + 5. Which is smaller: v or -1?
-1
Suppose 0 = -5*s + 5*w + 115, -4*s = 2*w - 1 - 79. Let c = s - 43/2. Is c at least 0?
False
Let t = -0.43 - 0.57. Which is smaller: -4 or t?
-4
Suppose 0 = 2*q + 2*q. Let w = -2 + 4. Let a be (-56)/26 - (w - 4). Which is bigger: q or a?
q
Let v(q) = q**3 - 5*q**2 - 5*q - 20. Let a be v(6). Is -13 greater than or equal to a?
True
Let s(h) = -5*h + 4. Let k be s(2). Let y be (-2 - (-8)/3)*k. Let t be (2/4)/(1/(-6)). Which is bigger: t or y?
t
Let z be (-5)/(45/6)*-3. Suppose f + z*r = 3*f + 4, -2*f + 5*r = 19. Which is smaller: 4 or f?
f
Let s = 0.1 + -0.1. Suppose -2*r = -0*r. Suppose i + i = r. Is i greater than or equal to s?
True
Let j = -156 - -782/5. Let c(o) = -o**3 - 3*o**2 - o + 2. Let i(m) = m**2 - 5*m - 8. Let a be i(6). Let p be c(a). Is p at least j?
False
Let h be (-12)/16 - (-52)/48. Is h >= -1?
True
Let m = 99 + -5449/55. Let n = 168/715 - m. Let q = n + -62/117. Is -1 greater than or equal to q?
False
Let v(z) = 2 + 3*z**2 - 4*z**2 - 1. Let q be v(-1). Is q greater than or equal to -1?
True
Suppose 14 - 18 = -4*i. Is 6/25 at least as big as i?
False
Let m be (-5)/3 - 6/(-9). Let s = 20 - 19.6. Is m > s?
False
Let k be (2 + 92/6)/(42/18). Which is smaller: k or 8?
k
Let z = 35/123 - -2/41. Which is smaller: 21 or z?
z
Suppose o + 3 = 4. Which is smaller: -1 or o?
-1
Let t = -29.4 + 20. Let x = 9 + t. Which is smaller: x or 0?
x
Suppose 0*g = -5*f - 3*g - 8, -g - 5 = 4*f. Let q = 2/15 - -16/105. Which is bigger: q or f?
q
Let j be 69/(-4) + 3/6. Let a = 17 + j. Which is smaller: 0.2 or a?
0.2
Let i = 6.55 - 0.45. Let y = -0.1 + i. Which is smaller: -1 or y?
-1
Let b = -10 - -3. Let v = 12 + b. Suppose 0 = -v*w + 4*w - 1. Is w at most as big as -5/6?
True
Let o = 0.5 + -6.5. Let n = -0.29 + 0.19. Is o greater than or equal to n?
False
Let v = 29.2 - 32. Let k = v + -0.2. Let g = 1 + k. Is 0 < g?
False
Suppose 0 = -2*m + 7*m + 65. Let z = 9 + m. Is z greater than or equal to -4?
True
Let a(m) = 4*m**2 + 2*m + 4. Let l be a(-2). Let y = -10 - -25. Which is bigger: l or y?
l
Let x = -17 - -16. Which is smaller: -3 or x?
-3
Let f(k) = 2*k**3 - 2*k - 2*k + k**2 + 1 + 5*k - 3*k**3. Let x be f(0). Which is greater: x or 0.5?
x
Let o = 16.2 + -2.2. Which is smaller: -2 or o?
-2
Suppose -2 + 1 = 3*q - n, 5*q = -2*n + 2. Suppose -2*c = c. Let u be 0*(-1 - c) - -2. Which is bigger: u or q?
u
Let x be 16/(4*-1)*75/(-85). Which is greater: 4 or x?
4
Suppose 3*j - 2*i + 3*i = 16, 2*j = 2*i. Let t(r) = -r - 7. Let f be t(-10). Is f at least as big as j?
False
Let m = -114 + 790/7. Is -2 less than m?
True
Let v = 10 - 14. Is -3 smaller than v?
False
Let m be (3/15)/((-2)/4). Are m and 2 equal?
False
Suppose 4*h - 4 = 4*l, 0*h - 2*h = 3*l - 2. Is -6 bigger than l?
False
Let r be 1*2 - 260/125. Are -1 and r nonequal?
True
Let i(k) be the third derivative of k**6/120 + k**5/10 - k**4/4 + 5*k**3/6 - k**2. Let h be i(-7). Let t = -4 + 3. Which is smaller: t or h?
h
Suppose i = -3*p + 46, 2*p + 52 = 2*i - 40. Let l be (-12)/6 - (-100)/i. Is l < -1?
False
Suppose -5*p - z + 20 = 0, -z - 3*z + 29 = 3*p. Let j = 617/15 - 194/5. Is j at most p?
True
Suppose 5*n - 5*k = -22 - 23, 0 = -n - 2*k - 6. Let u = 12 + n. Suppose -u*b + 24 = 4*g, b + 3*g = 5*g - 9. Is 1 greater than or equal to b?
True
Suppose -2 = 2*o - z, -5*o - 1 = -4*z + 4. Which is greater: 3/8 or o?
3/8
Let h = -1.31 - -0.21. Let i = h - 3.9. Let t = i - -5.1. Which is greater: 1/3 or t?
1/3
Let r = 2132 + -3092. Let u = r - -10572/11. Is 2 at most as big as u?
False
Let j be 3/(-333)*-3*4. Which is greater: j or 0?
j
Let f(u) = -3*u + 12. Let z be f(5). Let w = z - 4. Is w equal to -8?
False
Suppose 5*s + x + 430 = 5*x, -4*s - 385 = 5*x. Let b be 5/(-2)*48/s. Let w(l) = -l**2. Let o be w(0). Is o < b?
True
Let w = 11 + -5. Suppose 2*o + 2*m - 6 = 4*m, 4*m = -2*o - w. Which is smaller: o or -2/11?
-2/11
Let a = -101/495 + 1/45. Is a at most as big as -4?
False
Let i = 128/3 + -43. Which is greater: 0 or i?
0
Let g = 42174/29 + -1454. Is 0 > g?
False
Suppose -13 + 5 = v. Is -5 greater than v?
True
Let h = -5 + 9. Suppose -3*x + h*x = 0. Let w = -6/71 - -232/1065. Which is smaller: w or x?
x
Let l(o) = o**3 - 4*o**2 + 10*o - 24. Let k be l(4). Is 17 smaller than k?
False
Let p(s) = s - 3. Let f be p(-4). Is -6 smaller than f?
False
Suppose -7*i + 3*i = 0. Suppose 4*n + i*n = -20. Let r = n + 7. Which is bigger: 1 or r?
r
Suppose 5*a - 2*a - u + 1 = 0, 3*a + 3*u = 15. Let s be 810/3 + 9/(-3). Let p = 3473/13 - s. Is p smaller than a?
True
Let b(g) be the third derivative of g**5/60 - g**4/3 + g**3/2 + g**2. Let h be b(8). Suppose -t - 15 = -h*s - 1, -3*t - s = -8. Which is bigger: -2/5 or t?
t
Suppose 1 = -3*m - 5*o + 6*o, 8 = 2*o. Which is smaller: m or 5?
m
Let c(b) = -14 - 3*b + 14. Let o be c(-1). Suppose 2*l - o = -l. Which is smaller: l or 2/3?
2/3
Let u = 5 + -4. Suppose 0*l = 5*l + 20. Let s = l - -7. Which is smaller: u or s?
u
Let b = -5 + 4.96. Let p = b + -4.96. Let l = 5.1 + p. Which is bigger: 3 or l?
3
Let u(b) = 2*b**2 + 3*b + 4. Let r be u(3). Are 32 and r nonequal?
True
Let q = -9 - -18. Let t = -3 + q. Which is greater: 0 or t?
t
Let a = -287 - -3136/11. Which is bigger: -3 or a?
a
Let i = 2 + 0. Let r = 0.03 - -0.17. Is i < r?
False
Let a = 14/33 - 64/99. Which is greater: 44 or a?
44
Suppose 0*a + 5*a = 15. Let g be a/(-4) + (-1)/4. Is 2/5 < g?
False
Suppose -2*j - 5*d - 56 = 2*j, 0 = -2*j + 4*d - 2. Let w be 4/4 - 42/(-3). Let n = w + j. Is n greater than or equal to -1?
True
Suppose -2*m = -2*n + 3 - 1, 2*m = -4*n + 4. Which is greater: -2/37 or m?
m
Suppose -3*f + 10 = -8*