 - 29. Is r equal to s?
True
Let v(g) = -g**3 - g**2 - 2*g - 1. Let r be v(-1). Let s be 5*2 + -1 - r. Let l be (-3)/44 - s/44. Which is bigger: 1 or l?
1
Suppose -24 = -4*f + 4. Let r = f + -9. Is 1 at least as big as r?
True
Let r be ((-1)/6*8)/((-28)/6). Is r not equal to -5?
True
Let v = 7 - 2. Suppose 0 = -v*l + k - 41, l - 5*k + 13 = -0*l. Let m = l + 4. Is -5 greater than m?
False
Let u(d) = -d**3 - 9*d**2 - 3*d - 10. Suppose 2*v - 5 = -21. Let z be u(v). Let y be 4*1*5/z. Which is smaller: y or -1/4?
y
Let j = -1.7 - -2. Let a = 2.5 + -0.8. Let g = a - 0.7. Which is smaller: j or g?
j
Let w be ((-9)/(-1032))/(1/(-52)). Let l = w - 2/43. Do l and -6 have the same value?
False
Let o(m) = -m + 11. Let i be o(9). Let s = -3 + i. Which is smaller: s or 2?
s
Let r = -19 + 30. Which is smaller: 13 or r?
r
Suppose -j - 2 = -4. Suppose 5*y - v - 5 = -0*y, -2*v = -2*y + j. Let l be y - 0/(3 + -2). Which is greater: -3/8 or l?
l
Suppose -3*h - 15 = -2*x, 2*x - h - 11 = -2. Suppose 8*d - x*d + 30 = 0. Let w = d + 6. Is w > 0?
False
Suppose 3 - 28 = -5*c. Suppose c*w + 30 = 4*x, 15 - 3 = 4*w + 4*x. Do w and 0 have different values?
True
Let y = -0.04 + -0.01. Let b = y - 0.95. Let v = 0.1 - 0.2. Which is smaller: b or v?
b
Let u be (-1)/3 + (-4)/(-3). Let x(v) = v**2 - 2*v + 1. Let y be x(u). Suppose 0*f + 4*f = 0. Is y <= f?
True
Suppose -5*q + 31 - 11 = 0. Suppose -q*v - 16 = a, 4*v = 3*a + a + 4. Let o = v - -1. Is o < -3?
False
Let q = 3/38 + -109/418. Is q greater than or equal to -1?
True
Let t be 28/(-98) + 172/14. Let w = t - 15. Which is smaller: w or -9/5?
w
Let c(i) = -i - 2. Let b be c(-9). Suppose 4*o - b*o + 3 = 0. Is 1/8 less than or equal to o?
True
Let o = 2 - 0. Let v = o + -1. Let q = 1 - v. Is q smaller than -1/3?
False
Let t = -18 + 11. Is t smaller than -9?
False
Suppose q + 4*q + 5*r - 20 = 0, -q = -2*r + 11. Which is bigger: q or -2?
q
Let j(o) = o**3 + 4*o**2 - 4*o + 6. Let b be j(-5). Let a be (6 - 4)*b/(-2). Which is smaller: a or 0.3?
a
Let g be 4/9 + (-8)/24. Let y(j) = j**2 + 6*j - 6. Let v be y(-7). Which is smaller: v or g?
g
Let u be (-24)/(-27)*1/(-4). Is u at least -0.3?
True
Suppose 32 = -i + 5*i. Suppose 4*y = 3*n + 4, n + y + 0 - i = 0. Is n smaller than -1?
False
Let t = -0.8 + 7.8. Let x = 44 + -37.1. Let c = t - x. Which is smaller: -0.6 or c?
-0.6
Let r(z) = z**3 + 6*z**2 + 3*z + 5. Let u be r(-7). Let p = u - -457/7. Let g = -0.6 - -2.6. Is g equal to p?
False
Let h = 127/20 + -33/5. Let g be -1 - (-2 + (-2 - -3)). Which is smaller: g or h?
h
Let d(u) = 4*u**2 + 0 - 5*u**2 + 4*u + 0. Let s be (-2)/7 - (-90)/21. Let p be d(s). Which is greater: p or 2/11?
2/11
Suppose -3*f + 13 = -i, -2*i - f = -5*f + 20. Let l(s) = 3*s**2 + s**3 - 4 - 2*s + 7 - 2*s. Let w be l(i). Which is greater: w or 2?
w
Suppose -4*a + 36 - 108 = 0. Let u be a/10 + (-6)/(-3). Let d be (-2)/8 - 2/(-8). Is u <= d?
False
Let w = 1.7 - -0.3. Let y = 0 - w. Is 2 equal to y?
False
Let v = 1 + -0.98. Which is bigger: v or 0.1?
0.1
Let o = -0.074 + 0.374. Is o less than 1/7?
False
Let r(u) = u**2 - 4*u + 20. Let h be r(8). Let w be 53 - (0 - 2/(-6)). Let l = w - h. Is 1 >= l?
True
Suppose -3*w - 17 = -4*c, 0*w - 16 = 2*w - 5*c. Which is greater: -8 or w?
w
Let t(o) = o - 6. Let l be t(6). Which is smaller: l or 3/7?
l
Suppose k + 1 = -1. Let o be (k - (1 + -2)) + -1. Which is smaller: -1 or o?
o
Let j(x) = -x**2 + 5*x + 6. Let l be j(6). Let u be (-11 + 3)/(-2) + l. Let z be (3 - u) + 2 + -1. Is z smaller than 1/3?
True
Suppose i - 3 + 2 = 0. Let t = -5 + 11/2. Are i and t non-equal?
True
Let f = 12538/185 - 339/5. Which is greater: f or 0?
0
Let p = -2 - -1.9. Let u = 2.9 - p. Is u bigger than -2/7?
True
Suppose 5 = -5*y, q + 2 = -y + 3. Let h be 3/(-18) + q/(-4). Which is bigger: 0 or h?
0
Let f(a) = a + 9. Let u be f(-10). Let o = u + 2. Let w = -38/5 - -428/55. Which is greater: w or o?
o
Let k(p) = -5*p + 4. Let v be k(1). Is v < -4/15?
True
Let p be ((-6208)/141)/(28/6). Let v = -40/47 + p. Let q = -10 - v. Is q > -1?
True
Let q be ((6*1)/(-3))/2. Let k = q - -4. Suppose -k*z = 3 - 0. Which is bigger: 1/5 or z?
1/5
Let j = 29 - 76. Which is greater: -44 or j?
-44
Let l = -13/3 + 5. Let r be (-3 - 26/(-8))*1. Is r greater than l?
False
Let t = -19.8 - -28. Let x = t + -9. Let r = 3.2 - x. Is 1 at most as big as r?
True
Suppose 2*g - 5*y - 12 + 39 = 0, g + 2*y - 9 = 0. Let n be 0 + 1/(-1) - g. Suppose 0 = -2*d - n + 4. Which is smaller: 4/5 or d?
4/5
Let n = 50 + -52. Which is smaller: n or -17?
-17
Let z(o) be the third derivative of o**4/24 + 7*o**3/6 - 2*o**2. Let u be z(-3). Let r = 3 - u. Which is smaller: -2/3 or r?
r
Let r(u) = u**2 - 3*u + 1. Let l be r(3). Let x be 1 + l + (-50)/23. Let f = 11/69 - x. Is f bigger than 0?
True
Suppose -4*z + 4 = -0*z. Let g = z + -2. Which is greater: g or -2?
g
Let v(c) = -c - 3. Let w be v(-4). Suppose 2*o + 13 = 3*q, -4*q - 3*o = -3*q + 14. Is w at least q?
True
Suppose -2*c = 3*c - 5. Suppose -4*w - 2 = 2*p, -p + 4 = -0*w - 3*w. Let g be (-2)/(-1*(w - -8)). Which is greater: g or c?
c
Let p = -0.5 + -0.2. Let k = p + -0.3. Let a = -34 + 34.1. Which is bigger: a or k?
a
Let o(l) = l**3 - l**2 - 6. Let w be o(0). Let b be (0 - -1) + 13 + w. Suppose 0 = 4*y - 4*n + b, -5*y - 9 = -4*n. Which is greater: -3/4 or y?
-3/4
Suppose -2*h + 27 = -3*h. Let v = h - -22. Which is smaller: -4 or v?
v
Let f(v) = -2*v**2 - 3 - 4*v**2 - 2*v**2 + v**3 + v. Let j be f(4). Let n be 14/j + (-38)/(-9). Is n >= 4?
True
Let p = -108 + 108. Is 5/19 smaller than p?
False
Suppose -3*q = r + 6, 3*q + 3*r + 9 = -3. Suppose 4*s - s + 6 = 0. Is q >= s?
True
Let x be (-15)/20 - 1/4. Let d(t) = t**2 - 2*t - 1. Let w be d(x). Is w less than 3?
True
Let u(b) = b + 6. Let x be u(0). Suppose -x*p + p + 30 = 0. Let w be (p/(-4))/(3/4). Is -2 less than or equal to w?
True
Let a(i) = i**3 + 11*i**2 - 11*i + 11. Let o be a(-12). Which is bigger: -4/11 or o?
-4/11
Suppose -4*b - 7 = 5*p - 2, -2*p = -4*b - 26. Are -6 and b nonequal?
True
Let f = -1 + 2. Let o be (-3)/5 - (-6)/10. Let a be (o + -3 + 3)/1. Which is bigger: f or a?
f
Suppose 3 = y + 2. Is y not equal to 2/31?
True
Let d = 5 - 12. Let p(k) = -k**3 - 6*k**2 + 7*k - 4. Let f be p(d). Let m be (f - -4)*1/2. Is -5/4 greater than m?
False
Let l = -2 - -2.2. Let m = 0.7 - l. Let h = -0.2 + m. Are h and -1 equal?
False
Let y be ((-315)/48 - -6)/3. Let g = 1 + -1. Which is smaller: g or y?
y
Let u(m) = -m**2 + 11*m - 9. Let q be u(9). Let s = 8 - q. Which is greater: s or 0?
0
Let x(j) = -7*j - 33. Let n be x(-6). Is 0.5 != n?
True
Let w be (0 + 1)*0/3. Let i = 34 - 40. Are i and w equal?
False
Suppose 15 = 4*y + y. Let p be y/(-15)*3 - -1. Suppose -3*w - 4 = -1. Is p >= w?
True
Let h(l) = -l**3 + 12*l**2 + 12*l + 12. Let q be h(13). Which is greater: 2/29 or q?
2/29
Suppose -1 = v - 0. Let i be (-9657)/(-36)*v/4. Let o = i - -67. Is o < -1?
False
Suppose z - k + 88 = 5*z, 0 = 5*z - k - 110. Is 23 at least as big as z?
True
Let q(l) = l**3 + 8*l**2 + 8*l + 6. Suppose z + a + 4 = 0, -5*z + 2*z + 4*a - 33 = 0. Let k be q(z). Suppose 0 = y + 2. Which is smaller: y or k?
y
Let z = 137 + -137. Which is smaller: z or 2/165?
z
Let c = 64 + -55. Is c > 8?
True
Let f = -1379/88 - -121/8. Are f and -1 nonequal?
True
Suppose 0 = -2*h - 2*h + 16. Which is smaller: h or 3?
3
Let p(w) = -w**3 - 4*w**2 + 3*w - 5. Let i be p(-5). Suppose o = i + 3. Let x = o - 14. Which is bigger: x or -5?
-5
Let b(s) = 2*s + 1. Suppose -2*p + 2*q = -p - 6, 0 = -3*p - 5*q - 4. Let h be b(p). Is 5 less than h?
False
Let r = -20.63 + 20. Let a = 0.6 + r. Let w = a + -0.07. Is 2/17 != w?
True
Suppose -4*t = a - 7, 3*t = -3*a + 4*a + 7. Which is smaller: t or -6?
-6
Let a be 4 - (-8)/(2 + -1). Is a equal to 1?
False
Suppose -4*p - 16 = -0*p. Let s = p - -9. Suppose 0 = -s*a + 9*a + 24. Is a not equal to -6?
False
Let y be (9/6)/(((-21)/6)/(-7)). Do y and 28/9 have the same value?
False
Let h be 3/6*-6*-1. Is h > 2?
True
Let c be (-2)/6*6/(-2). Suppose 0 = -k + c - 4. Let f = -4/37 - -110/333. Which is bigger: k or f?
f
Let f = -47.6 - -48. Which is greater: 1/2 or f?
1/2
Let d(p) = p + 2. Let t be d(0). Let j be 546/130 + (1/5)/(-1). Suppose 2*i = -4*n + 24, j*i = -t*n + 21 + 3. Which is greater: 3 or n?
n
Let b =