w or 22?
w
Let g(z) = -z**3 - 4*z**2 - 4. Let o be g(-4). Let b be (-1 + 3)*(-26)/o. Suppose -2*n = -5 + b. Is -5 at most as big as n?
True
Let p = -131 + 521/4. Let t = 6 - 4. Suppose t = -3*d + d. Do d and p have different values?
True
Let d = 68 - 66. Is 27 greater than d?
True
Let x = -10.01 - -0.01. Let u be (7/(-3))/(7/(-98)). Let n = 33 - u. Which is smaller: x or n?
x
Let f = -21 - -12. Is f greater than or equal to -11?
True
Let j be ((-117)/28 + 1)*-1. Let x = 11/4 - j. Let m = -1 + 1. Which is bigger: x or m?
m
Let z = 1 - 8. Which is greater: -1 or z?
-1
Let d = 128 - 76. Are 1/3 and d equal?
False
Let h be (-69)/810*29/(-2). Let n = h - -2/135. Which is smaller: 1 or n?
1
Suppose 2 = -2*l + 4. Suppose c = 5 - l. Let s be 10/4 + (-2)/c. Which is bigger: 1 or s?
s
Suppose -1 = -2*x + 3. Let l be x/9 + 8/(-36). Is 5 > l?
True
Let z = -23.5 + 4.5. Let p = z + 18.07. Let g = 0.07 - p. Which is smaller: -0.3 or g?
-0.3
Let w(d) = d**3 - 4*d**2 - 5. Let l(u) = -u**3 + 6*u**2 - 5*u + 4. Let b be l(5). Let h be w(b). Which is smaller: h or -2/5?
h
Let v(m) = -m**3 - 6*m**2 + m + 8. Let k be v(-6). Suppose f + 1 = -u - 0, 4*u - 5*f - 5 = 0. Which is smaller: u or k?
u
Suppose -3*u + 10 = -4*q, -6*q + 2 = 3*u - 2*q. Suppose -2*h = u*h. Let j be (20/(-5))/(2/1). Which is bigger: j or h?
h
Let p(a) be the first derivative of a**3/3 + a**2/2 - 1. Let m be p(-1). Let c = 178/7 + -1588/63. Which is bigger: c or m?
c
Let f(w) = w**3 + 6*w**2 + 5*w + 2. Let z be f(-5). Suppose 0 = -2*j - 3*j + 15. Let d = z - j. Is 1/5 less than d?
False
Suppose -2*w - 13 = -x, 3*x + 6*w - 4*w = -1. Suppose 15 = 2*u + x*u. Let o = 3 - u. Is 1/8 less than or equal to o?
False
Let i(h) = -4*h**3 - 4*h**2 + 6*h + 12. Let q(a) = 3*a**3 + 5*a**2 - 7*a - 11. Let v(w) = -2*i(w) - 3*q(w). Let j be v(-8). Let c = j - 1. Are -1 and c unequal?
True
Let t = -131607 + 132155.09. Let y = -544 + t. Let n = y + -0.09. Do 0 and n have the same value?
False
Suppose 4*y = 3*j + 7, 5*y - 2*y = -j + 2. Which is smaller: 2/71 or j?
j
Let a(d) = d**2 - 7*d + 7. Let s be a(6). Let z(m) = -20*m**2 - m - 1. Let l be z(-1). Let n be (-38)/(-40) + 4/l. Is n <= s?
True
Suppose -3*i - 2*i = 3*m - 8, -2*i - 1 = -3*m. Let y be 0 - m/(2/6). Let n be y + 3 - 2/(-3). Which is bigger: 1 or n?
1
Suppose 0 = -2*n - 2*w - 10, 0*n + 5*n + w = -5. Let v = 3757/21 + -179. Which is smaller: n or v?
v
Let p be (5/5 + 0)*-1. Does p = 0?
False
Suppose 3*q - 10 = -5*v, -2*q + 7*q = 2*v - 35. Is 4 at least v?
False
Let u(z) = z**2 - 7*z - 5. Let y be u(8). Let w(r) = r**2 - 3*r + 2. Let m be w(y). Let a be 0*m*2/(-4). Which is smaller: -1 or a?
-1
Suppose 0*w + 6 = 2*w. Suppose -w*d - 12 = -6. Let r = 4.1 + -0.1. Which is greater: r or d?
r
Let c(q) = q**2 - 12*q + 12. Let y be c(13). Let h be 10/y + (-3)/(-5). Does h = 2?
False
Let j be (3/(24/(-4)))/((-1)/(-10)). Which is greater: j or 4?
4
Suppose 3*f = 5 - 47. Let s be 12/8*f/(-3). Let z be 4 - (4 - 7) - 0. Is s < z?
False
Let g = -9923/4 - -2493. Let j = g - 13. Which is smaller: j or 0?
j
Let k = 28/3 + -193/21. Let z = 0.28 - 0.08. Which is smaller: k or z?
k
Let n be (-3)/(-6)*-2*1. Let x be (-2)/(-4) + (-3)/(-6). Let q be -1 + -3 + 1 + x. Which is bigger: n or q?
n
Let b be (-160)/132 - (-2)/3. Which is smaller: b or 0?
b
Let b be ((-4)/6)/(22/33). Which is greater: 1/15 or b?
1/15
Let l = -27 - -27. Is l bigger than -2/9?
True
Let c be ((-6)/(-9))/(8/(-6)). Which is smaller: -15 or c?
-15
Suppose -2*u = -u. Which is smaller: 1/4 or u?
u
Let x be (-21)/(-27) - (-4)/(-4). Let g(n) = -n**3 + 3*n**2 - 2*n. Let m be g(2). Suppose -5*h = -m*h + 5. Which is smaller: h or x?
h
Let i be (-8)/2 - 92/(-22). Which is greater: 2 or i?
2
Let p = -72 - -46. Let f = 26 + p. Are -2/53 and f equal?
False
Suppose -4*l = -0*l - 72. Is 18 less than l?
False
Suppose 7*u = 3*u + 8. Let a = -229/3 + 77. Do u and a have the same value?
False
Suppose 13 + 11 = -4*y. Let b be 9/y - (-124)/72. Is b equal to 1?
False
Let b be (-8)/6*9/(-30). Which is smaller: b or -8?
-8
Suppose -4*s = 4*x - 20, 2*x - 2*s + 25 = 3*s. Which is smaller: x or 7/10?
x
Let k be (-8)/(-48) + (-13)/6. Let g be k/(2 - (2 - 21)). Is g > -1?
True
Let n = -0.52 - -0.32. Which is smaller: n or -12?
-12
Let n = -2 - -4. Suppose 6*w = n*w + 8. Let o = w - -1. Which is bigger: 1 or o?
o
Suppose 4*y + 224 = 4*j, -3*j = -2*y - 96 - 67. Let l = j + -24. Let p be (6/(-4))/(l/12). Which is smaller: p or -1?
-1
Let g = -0.5 + 1.5. Let h be (-3524)/(-10) + (-16)/40. Let j be 2/(-9) - h/(-936). Is j smaller than g?
True
Let q = -1866/7 - -267. Let t(h) = h**2 - 5*h - 2. Let g be t(6). Suppose 0 = k + g*k - 5. Which is bigger: q or k?
k
Let t = 3.977 - -0.023. Which is smaller: 7 or t?
t
Suppose 2*w + 132 = -2*w. Is 1 not equal to w?
True
Suppose -2*p = 2*t - 6*p - 2, 3*t = -3*p + 12. Suppose 0 = -2*y - f + 15, -3*y + t*f = -4*y + 15. Is y <= 5?
False
Let a be 4*(30/(-8))/(6/(-10)). Is a greater than 25?
False
Let t(q) = q**3 - q**2 - 3*q + 1. Let c be t(2). Are -2 and c equal?
False
Let d = -17 - -8. Which is greater: 0 or d?
0
Let c = 11.4 - 11. Is 4 less than c?
False
Suppose -16 = -4*h + 3*i + i, i = 2*h - 13. Let n = h + -10. Is n < -1/7?
True
Let c = 2/153 - 203/3825. Let s = -94 + 94. Is s at least c?
True
Let z be 0*5/25 - (-18)/14. Is 1 <= z?
True
Let w = -134 + 133.9. Let x = 309 + -304.08. Let y = 0.08 + x. Is w greater than or equal to y?
False
Suppose -4*b = -0*b + 256. Let y be b/(-114) - (-6)/(-9). Which is smaller: -1 or y?
-1
Let x = 51 - 49. Is 0 at most as big as x?
True
Let q = 35 + -71/2. Which is smaller: q or 0.05?
q
Suppose -3*v = -2*t - 365, -3*v + 362 = 5*t - 4*t. Is v != 122?
True
Suppose -3*d = 4*w + 2*d + 12, -15 = 5*w + d. Let b be 0*(3 + w + 1). Do -1/10 and b have the same value?
False
Let v = 34 + -39. Is -2/7 != v?
True
Let p be (-28)/(-16) - 6/8. Does p = 0?
False
Let o be (-1)/(1/(-25)*-5). Which is greater: o or -1?
-1
Let r(x) = 2*x + 3. Let v be r(-2). Which is smaller: -2/15 or v?
v
Let z = 0.1 + -0.15. Let j = 0.6 - 0.5. Which is bigger: j or z?
j
Let t = -2 - -2. Suppose -m - 3 - 1 = t. Let f = 4 + m. Which is smaller: 2 or f?
f
Let f(j) = -j. Let u be f(0). Suppose u*g + 3*g = 0. Let d be (3 - g) + (-2 - 0). Which is smaller: d or 1/6?
1/6
Suppose -w = -302 + 96. Let x = 1856/9 - w. Let t be (-3)/(36/15) + 1. Which is greater: x or t?
x
Let i = -2.1 + 0.1. Let d = i + 1. Let k = -2 - d. Which is smaller: 4 or k?
k
Suppose -4*z - 8 = -5*z + 5*x, x = -2. Let g = z + 2. Is 1 bigger than g?
True
Suppose 3 = v + m - 11, 24 = 2*v + 3*m. Is 17 smaller than v?
True
Suppose -3*z = 7 + 29. Let o(q) = -q**3 + 3*q**2 - 2*q + 3. Let d be o(2). Let j be d/11*2/z. Which is bigger: j or 0?
0
Let v be -4 + (-2 - -4) - -1. Suppose 0 = -o - 2. Let f = o - v. Which is greater: -3/4 or f?
-3/4
Let m(s) = -16*s**2 - s - 3. Let l be m(3). Let b be (l/(-40))/(3/(-2)). Suppose -3*w - 4 = 8. Which is bigger: b or w?
b
Suppose -w = 3*n - 3, n = -w - w + 21. Let f be -2 + 39/w - 1. Let s = -5/13 - 1/65. Is s at most f?
True
Let f = -31/60 - -4/15. Which is greater: f or -17?
f
Let j = 13 + 7. Are j and 19 nonequal?
True
Suppose -5*y + y = 2*y. Which is greater: y or 2/39?
2/39
Let p = -23 + 23. Is p bigger than 2/17?
False
Let j(z) = -z**3 + 4*z**2 + 3. Let o be j(4). Let i = -4 + o. Is 2/7 at most i?
False
Let h be (-4)/(-18) + (-16)/(-90). Let d = 0.83 + 13.17. Which is bigger: h or d?
d
Let f(t) = -t**2 + 7*t - 2. Let b be f(6). Suppose -5*z - 28 = -z + 5*s, b*s = 4*z + 28. Is -7 less than or equal to z?
True
Let t be 2/10 - 11/5. Let h be -3 - ((t - 0) + 2). Is h less than -2?
True
Let v = 1985045 - 65515375/33. Let d = v - -812/3. Let y = d - 53/33. Is 2 at most as big as y?
False
Let q be (72/30)/(2/(-25)). Let l be (-12)/(-15)*q/(-4). Suppose n = -0*a + a - 7, a - 2*n - l = 0. Is a <= 0?
False
Let r be (-1)/(-5) - 1971/(-45). Let s be 2 + (-5)/(100/r). Is s < 8?
True
Suppose -6*d - 32 = -2*d. Let j(q) be the second derivative of q**4/12 + 4*q**3/3 - 3*q**2/2 + 6*q. Let i be j(d). Which is greater: -4 or i?
i
Suppose -4*d - 48 = -x + 2*x, -5*d = 4*x + 49. Is -12 at least d?
True
Let y = 4312/17 - 254. Which is bigger: 0 or y?
0
Suppose -w - 3 + 13 = 0. Suppose 1 + 5 = -5*k + 3*v, 0 = 2*k + 5*v -