-0.43 - -4.23. Let g = 4 - x. Is g > v?
False
Suppose 7*s - 11*s = 24. Are -7 and s equal?
False
Let y be 14/(-6) + 6/18. Let s(d) = d + 2. Suppose 0 = c + 2 + 2. Let m be s(c). Is m smaller than y?
False
Let m be (-4)/1*(-12)/6. Let y be (-18)/m - (-2 + 0). Let b = -63/20 + 17/5. Which is bigger: b or y?
b
Let d(f) = -f**3 + 3*f**2 - f - 1. Let g = 2 - -1. Let x be d(g). Do x and -4 have the same value?
True
Let p(n) = -n**3 + 5*n**2 - 4*n - 2. Let r be p(4). Let z = -2 - -5. Suppose -z*t = 2*w - 7*t - 12, -5*w + 10 = -5*t. Are r and w equal?
True
Let g(s) = -s**2 + 8*s - 12. Let p be g(5). Does 2 = p?
False
Let c = 0 + -0.1. Let t = -0.9 + c. Let r be (((-12)/8)/3)/(-2). Is r greater than or equal to t?
True
Let p be ((-4)/(-8))/(69/42). Are p and 1 equal?
False
Let i = -0.14 - -0.04. Let f = -0.1 + -0.1. Let m = i - f. Is m at most as big as 0.1?
True
Let j = 1 + -1. Let v = 0 + j. Let p be (-1)/4 + 11/(-1056)*-8. Which is bigger: p or v?
v
Suppose -2*x = -4*x + 2. Which is smaller: -3 or x?
-3
Let g(o) = o - 1. Let t(c) = c + 6. Let z(r) = 2*g(r) - t(r). Let u be z(9). Is u at least 1?
True
Let r = -14 + 16. Is 7/6 equal to r?
False
Suppose 12 - 6 = -2*s. Which is greater: -7/3 or s?
-7/3
Let z(c) = c**3 + 19*c**2 - 2*c - 20. Let y be z(-19). Is 18 greater than y?
False
Let h = -166 + 1828/11. Let m = -3 + 3. Does h = m?
False
Let w be ((4/2)/(-12))/(23/(-2300)). Is 16 not equal to w?
True
Let o = -1 - -4. Suppose -o = 5*c - 8. Let g = -63/2 - -32. Is c greater than g?
True
Let g(a) = -a**3 + a**2 + 1. Let n be 4/6 + 28/21. Let j be g(n). Is j at most 0?
True
Let m(s) be the second derivative of -s**5/20 - 7*s**4/12 - s**3 + s**2/2 - 8*s. Let z be m(-6). Which is greater: z or -1/8?
z
Let p(i) = -i**3 - 8*i**2 - 9*i - 14. Let m be p(-7). Is -3/7 less than or equal to m?
True
Let h(j) be the second derivative of j**4/12 + 5*j**3/3 + 7*j**2/2 + 4*j. Let r be h(-8). Is r <= -9?
True
Let h = -0.17 + -9.83. Let u = 10.2 + h. Do u and -5 have different values?
True
Let j be (15/12)/(2/(-8)). Which is greater: -2/3 or j?
-2/3
Let t(w) = w**2 - 8*w - 4. Let r(q) = -3*q**2 + 17*q + 9. Let k(h) = -2*r(h) - 5*t(h). Let u be k(-6). Let d be (4 + -3)*u/6. Are d and -1 equal?
False
Let b(k) = k**3 + 12*k**2 - 11*k + 27. Let c be b(-13). Do 1/41 and c have the same value?
False
Let l = -1 - 1. Let b = -5 - l. Which is smaller: b or 1/2?
b
Let g be -3 + 5 - 6 - 54/(-13). Is -1 at least g?
False
Let j = -47 - -28. Which is smaller: 0 or j?
j
Let q = -5 - 0.75. Let u = q + 6. Let t = u - 0.05. Which is bigger: t or -0.2?
t
Suppose -3*y - 348 = -33. Let j be 31/y - (-4)/(-30). Is j >= -1?
True
Let y(v) = v + 7. Let r be y(-5). Suppose 3*z - 1 = -d + r*z, -4*d + 3*z = 3. Is d less than or equal to -1?
False
Suppose -z = -0*z - 4*g + 14, -4*g = 5*z - 2. Is -2 equal to z?
True
Let v be (0 - 0)/(4/2). Let w(h) = h + 11. Let u be w(-11). Let y be u - 0 - 44/(-121). Are y and v nonequal?
True
Suppose -5*c - 25 = -0*c. Let x be 26/(-8) - 15/c. Suppose 0 = -4*t - 2 + 6. Is t smaller than x?
False
Suppose -b + 4*b - 12 = 0. Suppose -15 = -2*w - 7*j + 2*j, -w + 1 = -b*j. Which is smaller: w or -0.1?
-0.1
Let n be ((-15)/(-80))/(9/6). Is 3 greater than n?
True
Let s be (-18)/12*(-1 - 1). Suppose 5*d - 18 = 2*d + s*l, -3*d + 2*l + 13 = 0. Let c be -2 - (-10)/4 - d. Which is bigger: 0 or c?
0
Let l be (-18)/(-63) + 9/(-7). Is l bigger than -3?
True
Let x(q) = -3*q - 6. Let n = 1 + -5. Let p be x(n). Let z(o) = o - 7. Let g be z(p). Is -1/5 bigger than g?
True
Suppose 2*h + 20 = 4*h + 5*t, h - 2*t = -8. Which is smaller: 0.3 or h?
h
Suppose -4*n = -2*m + 20, 5*n - 5*m - 12 + 42 = 0. Suppose 23 + 2 = -5*s. Which is smaller: s or n?
s
Let y = -527/15 + 35. Is -0.2 <= y?
True
Let c = 1.1 - 0.1. Let a = -0.04 + 1.04. Let n = c - a. Which is greater: n or 2?
2
Let r = 4.1 + -4. Which is smaller: r or -2?
-2
Let s(y) = -y**3 - 7*y**2 - 7*y - 2. Let b be s(-6). Let l = -3 + b. Let v = 24 + -22. Is v smaller than l?
False
Let m = 0 - -0.03. Let c = -94.97 - -96. Let z = m - c. Is -2/3 at least as big as z?
True
Suppose 4*u - 6*u + 2 = 0. Let c be u/(-3) + 4/3. Is -2/7 bigger than c?
False
Let o be ((-240)/14)/5 + 3. Let x be 6/9*(-6)/4. Which is smaller: o or x?
x
Let b(f) = -f + 5. Let w be b(5). Let y be 2 - (3 - (-3 + 3)). Which is greater: w or y?
w
Suppose 5*i + 5*x + 10 = 0, 2*i - 4*x - 17 = 3*i. Suppose -8*p = -3*d - i*p + 19, -5*p = d + 7. Let o be -2*(d/2)/3. Is o greater than 0?
False
Let a = 21 - 33. Let l be (-3)/(-6) - (-2)/a. Suppose -5*i - z = -7, -i + 2*i + 9 = 5*z. Is l bigger than i?
False
Let d = 5 - 0. Suppose -5*g + 22 = 2*i - 3*i, -d*i = 5*g - 10. Let n = 1 + i. Are n and 1/3 nonequal?
True
Suppose 4*g = i + 2*g - 13, -i - 5*g = 22. Which is smaller: i or 4?
i
Let r = 3 - 6. Let z = r - 1. Which is bigger: z or -2?
-2
Let k(m) = -36*m - 6. Let q be k(-1). Which is smaller: 28 or q?
28
Let u be (-13)/10 + 12/8. Which is smaller: u or 3?
u
Let t be (-1 + 2)*1*2. Suppose 0 = -2*i + i + t. Let w = 1 - i. Which is bigger: w or -2?
w
Let o = 135 - 3781/28. Is 1 smaller than o?
False
Let u = -68 + 65. Is u > -3?
False
Let z = 0.2 + -0.9. Let c = -0.3 - z. Suppose 0 = 2*t + u - 3, 0 = -3*t - u + 4 + 1. Which is smaller: c or t?
c
Let w(y) = -4*y + 0*y + 3*y + 4. Let r be w(6). Let i be (-1 - 1) + (-6)/(-4). Is i bigger than r?
True
Let o = -87 - -88. Which is bigger: o or 0?
o
Let t(u) = -2*u**3 + u. Let d be t(-1). Suppose p - d - 14 = -3*b, -2*b = -2*p - 10. Is p less than 1?
True
Suppose 4*u + 4 = 6*u. Suppose -3*d + 21 = 3*l - 6*l, 5*d = -4*l + 26. Let h be ((-4)/(-30))/(d/60). Which is smaller: u or h?
h
Suppose 3*z - 4 = 4*y - 0*y, 3*z = 12. Let t be 10/25*5/y. Is 1 at most t?
True
Let p = 2 - 0. Let o be 30/25 + (-2)/10. Do o and p have different values?
True
Let s be 1/2*-3 + 13/(-26). Let g be 6 + (-2 - -1 - 1). Let f(w) = w**2 - 5*w + 3. Let h be f(g). Are h and s non-equal?
True
Suppose 0 = j + j. Suppose j*a = a - 4. Let u = a + -2. Do 2 and u have the same value?
True
Suppose -2 = 3*v - 5. Which is greater: v or -1/117?
v
Suppose o + 3*l = -1, o - 2*l = 2*l + 6. Suppose 0 = m - 0*m + 4*t - 27, -t = -4*m + 40. Suppose -3*f - a - m = 3*a, 5*a = -4*f - 13. Is f != o?
True
Let n = -7 + 11. Suppose -4*r = -2*r - n. Suppose 2*g - r = -4. Is g bigger than 3/8?
False
Let r(i) = i**3 + i - 1. Let k be r(0). Let d be k*(2 - -1)/3. Which is greater: d or -2/5?
-2/5
Let r = 2.8 + -3. Let q = 0 + 0. Let s = r - q. Which is smaller: s or 0.1?
s
Let l = -5 + 3. Suppose 0 = 3*d + 4*t - 19, -4*t - 3 = -7*t. Suppose -d*z + z = 0. Does l = z?
False
Let p = 1/1140 - -251/2660. Let q(b) = -2 + 3 + b**3 + 0 + 5*b**2. Let x be q(-5). Which is bigger: x or p?
x
Let s be 4*1/(-2 - -1). Let y = 1 + s. Let p(n) = 2*n**2 - 10*n + 5. Let j be p(4). Does y = j?
True
Let a(o) = 20*o**3 + 2*o**2 - 2*o + 1. Let h be a(1). Let u be (-6)/h - (-10)/35. Let s = -3 + 2. Which is smaller: u or s?
s
Suppose -864 = 2*f + f. Let l = f - -4894/17. Is -1 < l?
True
Let z be (1/(-1))/((-4)/1). Let k = 17 + -15. Which is smaller: k or z?
z
Let g(h) = h**3 + 10*h**2 + 10. Let u(w) = w**2 - w + 1. Let t(k) = g(k) - 5*u(k). Let i = -15 + 11. Let y be t(i). Is y less than 3/5?
False
Let a = 37 - 31. Is a >= 2/3?
True
Suppose -4*l + 11 + 9 = 0. Are 7 and l nonequal?
True
Let r = 7.4 + -5.4. Is -31 not equal to r?
True
Let s = 1509/11 - 137. Which is bigger: 0.1 or s?
s
Suppose 2 = 3*g - g, 215 = v - 4*g. Let j be (v/(-72) - -3)*-2. Is j bigger than -1?
True
Suppose 7*r - 4*r - t = 580, -r + 198 = -5*t. Let k = r + -1735/9. Which is smaller: -1 or k?
-1
Let y = -11.93 + -0.07. Let z = y - -11. Which is smaller: 2 or z?
z
Let t = -83 - -106. Is t at least as big as 24?
False
Suppose 0*w - 5*w - 5 = 0. Let j be w/((15/6)/(-5)). Which is bigger: 3 or j?
3
Let v = 24.982 + 0.018. Which is smaller: v or -0.1?
-0.1
Let g(c) = -c**2 - 4*c - 2. Let u be g(-3). Let k = -1/17 + -14/51. Which is bigger: k or u?
u
Let c = 801/11 - 73. Suppose 0*y + 4*y + 4 = 0. Which is bigger: y or c?
c
Let r be (-100)/3 + 1/3. Let i = -98/3 - r. Which is smaller: -1 or i?
-1
Let g = 29 + -141/5. Let b = 2/5 - g. Which is smaller: 0 or b?
b
Suppose -4*t - 3*s + 2*s = 3, -1 = -2*t - s. Suppose -7 + 2 = -5*b. Let r be (3 + t - b)