smaller: -5 or u?
-5
Let h(z) = z**2 + 4*z - 1. Let u be h(-2). Let f = -4 - u. Suppose 2*p = 3*p + 2. Do p and f have different values?
True
Suppose -12*n = -51 - 21. Which is bigger: 10 or n?
10
Let x(o) = -o**3 - 5*o**2 - 5*o - 1. Let u be x(-4). Are 2 and u unequal?
True
Let a = 2146/3 - 20025/28. Let f = -2/21 - a. Is 1 greater than f?
True
Let f(z) = z**2 + z. Let b(q) = -q**3 - 2*q**2 - 3*q. Let d(r) = b(r) - f(r). Let s be d(-3). Do s and 11 have the same value?
False
Let n(w) = -3*w + 5. Let m be n(4). Which is smaller: m or -2?
m
Let p = -6.77 - 1.23. Is -1/4 bigger than p?
True
Let l(y) = -y**2 + 6*y - 4. Let p be l(4). Suppose p*b + 3 = -1. Let o be (-2)/20*5/2. Which is bigger: b or o?
o
Let d = -0.205 + 0.005. Which is smaller: -1.2 or d?
-1.2
Let y = 1.75 + -1.7. Let w = -3 - -4.95. Let o = w + y. Is o >= -1?
True
Let g = 47.1 + -47. Which is greater: 17 or g?
17
Let d = -2 + -8. Let b be (-4)/d*(1 + -6). Is b > 0?
False
Let f = -0.176 + 0.676. Let i = -0.2 + 0.3. Which is greater: i or f?
f
Suppose -6*w + 40 = -2*w. Let n = 39 + -36. Suppose 0 = 2*t - w, -n*t - 22 = 4*i - t. Is -9 <= i?
True
Suppose -2*f + 5*f - 6 = 0. Suppose 0 = 4*x + 5*o - 29 + 7, f*o = x + 1. Let l = -2 + 6. Which is greater: l or x?
l
Suppose 2*m - 3*a + 15 = 0, -8*m - a - 80 = -3*m. Which is bigger: m or -13?
-13
Let x = -19128 - -401777/21. Let l = x + -18/7. Which is smaller: 1 or l?
1
Suppose -3*c = -4*c + 3. Suppose -z = -c*z. Which is smaller: 3/8 or z?
z
Suppose 48 = 15*f - 9*f. Which is greater: f or 7?
f
Let r be 18/(-27)*(-3)/2. Is r >= 0.3?
True
Suppose 0 = 3*d - 7*d + 5*v + 2, -1 = -d + v. Suppose d*j + 0 = 15. Which is smaller: j or 4?
4
Let n be (-4 + 5)*4/(-26). Which is smaller: 0 or n?
n
Let y(b) be the second derivative of b**3/2 + 3*b**2/2 + 3*b. Let q be y(-2). Let k be 10/(-6) - (-1)/q. Is -4/7 not equal to k?
True
Let r(a) = a**3 + 7*a**2 + 6*a + 3. Let h be r(-6). Suppose 2 = -2*u + y + h, 4*u + 3*y + 3 = 0. Suppose k + u + 5 = 0. Is k greater than or equal to -4?
False
Suppose 0 = -0*b - 2*b + 4. Suppose -b + 5 = -3*w. Suppose 2*i + 2 + 0 = 0. Is i >= w?
True
Suppose 3*a - 15 = -5*s + 52, -4*a + 5*s + 31 = 0. Suppose 0 = -4*v + 5*x + a, 0*x - 1 = -3*v - x. Which is smaller: 2 or v?
v
Let h(q) = 5*q - 2. Let s be h(-2). Let r be (-2)/s + 19/(-6). Let l = 10 - 14. Is l < r?
True
Suppose -5*p + 20 = 5. Let o be 0/(-6)*(-1)/p. Which is bigger: -2/37 or o?
o
Let c = -384/7 - -55. Is c greater than or equal to 0?
True
Let d(v) = v - 4. Let z be d(0). Let u be (2 - 2)/(z/(-2)). Which is bigger: 3 or u?
3
Suppose 0 = -u + 4*u - 264. Is u at most as big as 88?
True
Let s(k) = -19*k + 1. Let d be s(1). Let r be ((-33)/d + -2)*14. Let h = 2 + r. Which is bigger: h or 1?
1
Suppose -3*i = 2 + 1. Let q = -1897/5 - -378. Is q at most i?
True
Let i(f) = f. Let a(w) = -23*w + 3. Let x(g) = a(g) + 2*i(g). Let z be x(3). Let c be 25/z + (-4)/(-6). Is 0.1 >= c?
False
Suppose 4*b + b + 5*z = 15, 5*z + 57 = 4*b. Let p = -0.1 - -0.3. Which is smaller: p or b?
p
Let v be 40/18 + 4/(-18). Suppose s = -2*q + 13, 5*q - 32 = -7. Suppose 3*k = s*j - 6, -3*j + v*j = k. Is -0.3 at most k?
False
Let a = -116 - -58. Which is bigger: -60 or a?
a
Suppose -2*l - 6 = -0. Which is bigger: l or 2/9?
2/9
Suppose 7*p = 2*p + 2*b + 53, -4*b = 3*p - 11. Is 9 <= p?
True
Let x be 8/110*(-10)/4. Let v be (-6)/(-15) - 3/(-5). Is x less than v?
True
Let t = 6 + 16. Let c = t + -43/2. Are c and 2 unequal?
True
Let s(f) = -f**2 - 11*f - 12. Let k be s(-6). Let z be k/96*2*-2. Let p = -2 + 1. Which is smaller: p or z?
p
Let v be 7 + (-6 - -4) + 3. Suppose -3*p = -0 - 3. Let l be ((-1)/(-3))/(p/21). Which is smaller: l or v?
l
Suppose -22*u = -24*u. Suppose 4*d = -4*a + 2*a + 6, -2*a - 21 = -5*d. Suppose 0 = -d*s - s. Is s < u?
False
Suppose 0*g = 2*g - 10. Suppose -5*s + 4 - 1 = 3*p, g*s - 35 = 5*p. Let t(f) = -2*f + 3. Let b be t(3). Which is bigger: p or b?
b
Let s be (6/(-12))/(9/(-6)). Is s less than or equal to -0.1?
False
Let h = -913/4 - -228. Is 21 > h?
True
Let b = 115 - 115. Are b and -0.09 nonequal?
True
Let f = -3 - -18. Let g = f + -11. Suppose 4*q = -0*q + 12. Is g >= q?
True
Let r = 16/13 + -89/104. Let m = -264/7 + 38. Which is smaller: r or m?
m
Let g be (26/4)/(2/4). Suppose 0 = 5*s - 4*w + 17, -w = s - 5*w + g. Suppose 0 = 3*o + 2*o. Which is bigger: o or s?
o
Let d = 12 - 10. Suppose -3 = -3*a + 6*a + l, -4*a - 12 = 4*l. Suppose 0 = -s, 0 = -i + s - a*s - d. Which is smaller: -5/4 or i?
i
Let b be -1 - -1 - 1*-2. Let u be (-2)/(-2)*1 + b. Which is smaller: 7/4 or u?
7/4
Let f be (-1)/(-4) + 30/8. Suppose 2*w - f*v + 12 = 0, v = -4*w - 0*v - 24. Is w equal to 0?
False
Let l(o) = o - 5. Let h be l(4). Let a be (-2)/8 - (-17)/4. Let m be (-2)/4*(a - -2). Is m greater than h?
False
Let j(f) be the second derivative of -f**4/12 - 2*f**3/3 + 3*f**2 + 3*f. Let b be j(-5). Which is smaller: b or 2/9?
2/9
Suppose 4*k - 28 = -5*l - 0, 0 = -3*l + 12. Let s be 1/k*(1 + -3). Let d = 1.1 - 1. Do s and d have the same value?
False
Let y be -1 + -2 + (-341)/6. Suppose -6*l = l + 420. Let k = y - l. Which is greater: k or -2?
k
Let h = -12 + 15. Suppose 5*x - 15 = p, -3*p - 4*x = -3*x - h. Which is bigger: -2 or p?
p
Let h = 18 + -20. Which is bigger: h or 4?
4
Let n = 33 - 33. Is n at most -1/4?
False
Suppose 0 = 20*m - 22*m + 56. Suppose 0 = -5*q + 2*a + m, 0*a - a = q. Are q and 1 unequal?
True
Suppose 4*n + 4*o + 9 = 3*o, -5*n + 2*o + 5 = 0. Suppose 2*j - 5*z + 2 = 0, -2*j - 4 = 2*j + 3*z. Is j < n?
False
Let t = 19.2 - 1.2. Is t at most as big as -0.1?
False
Suppose 0 = 5*u - 4*w + 2, u - 2 = 3*w - w. Let f be -1 + u + -2 + 3. Which is smaller: f or -0.1?
f
Suppose u - 4*u = -2*k, -5*u + 4*k = -2. Which is bigger: u or -5?
u
Let h be (-198)/(-26) + -6*7/14. Are h and 6 non-equal?
True
Let m(v) = -v**3 + 2*v**2 + 3*v - 1. Let j be (1 - -1) + 1/1. Let d be m(j). Is d less than or equal to -1?
True
Let w(b) = -b**3 + 22*b**2 - 2*b + 18. Let k be w(22). Is -26 less than k?
False
Suppose -m + 7 = -5*t + 30, -4*t = 3*m - 26. Suppose -4*p - 6 = m*q, -3*p + 5*q = 1 - 3. Let c = 1/2 - 3/8. Which is smaller: p or c?
p
Suppose -5*n + 11 = -3*t + 1, -n = -t. Suppose -u + h + n = 0, 5*h + 1 + 0 = -3*u. Is 3 less than u?
False
Let z = -7/88 + 619/1144. Is 0 at least z?
False
Let l = -1.17 - -0.17. Is -29 at most as big as l?
True
Let t be (0 - -1)*-1 - 0. Is 2/69 bigger than t?
True
Let l = 4.9 - 5. Let q = -0.5 + l. Let t = -0.6 - q. Which is bigger: -2/7 or t?
t
Let v = 15 - 8. Suppose -b = 4*w + 20, -3*w - 8 = -2*b + v. Which is smaller: 2/5 or b?
b
Let s(o) = -o + 13. Let r be s(8). Let y = -6 + r. Which is smaller: -3 or y?
-3
Let a be (126/24)/(6/2). Let m = a + -13/8. Which is smaller: 1 or m?
m
Let s be ((-66)/(-10))/(10/25). Let x(u) = u**3 - 3*u**2 - u + 2. Let q be x(-2). Let c = q + s. Are c and 0.1 equal?
False
Let v = -155 + 165. Which is smaller: 86/9 or v?
86/9
Let p = 8 + -151/19. Is 0 greater than or equal to p?
False
Let w(x) = -x**2 - 9*x - 8. Let b be w(-8). Let q be 0 + (6 - 2) + b. Suppose 2*n = 1 + 5. Is n greater than or equal to q?
False
Let y be 611/(3/(-3) - -2). Suppose 5*x + 2*r + 0*r + y = 0, -3*r = -3*x - 354. Let k = 599/5 + x. Are k and -2 unequal?
True
Let l = -2.8 + 1.8. Which is smaller: l or 3/8?
l
Let d be 5 - 3 - (-10 - -1). Is d at least as big as 10?
True
Suppose 2*l - 6*l - 3*n + 94 = 0, l - 33 = 4*n. Let q be 5/l - 12/10. Let v be (-4)/14 - 6/(-14). Is q >= v?
False
Let v = 17/49 + -1171/833. Which is smaller: 0 or v?
v
Suppose -2*r + 3 = 4*z + 7, -z = r + 2. Let d(v) = -v + 4. Let l be d(5). Which is greater: l or r?
l
Suppose 0 = y - 2, -2*h = -0*h - 5*y + 6. Suppose 3*w = h + 4. Let t(a) = a - 9. Let c be t(9). Is w equal to c?
False
Let l = -192 - -184. Are l and -29/4 equal?
False
Let p be (-1)/3*0 + 6. Let j be p/9*-3 - -6. Let c be ((-16)/10)/((-10)/25). Is c < j?
False
Let x be (-8)/(-24) - (2/(-3) - -1). Is x greater than -1?
True
Let l = 6 + -3. Let o(c) = -2*c - 6. Let y be o(-4). Is l < y?
False
Suppose -3*k + 7 - 14 = -5*r, -5*r = -5*k + 5. Suppose -5*j + c = -30, -5*j = -2*j - c - 20. Are j and k nonequal?
True
Let n = -4 + 4. Suppose -p = -5*j - 3, n = 5*p + 10 - 0. Which is smaller: j or 0?
j
Let n = -145 + 105. Which is gre