rue
Let k(c) be the second derivative of c**3/3 + c**2 + 2*c. Let g be k(0). Let j be (0/(4*-1))/g. Which is smaller: -2/25 or j?
-2/25
Suppose -4*c - 22 = -2*c. Let z(g) = 6*g + 32. Suppose -5*t - 39 = x, -4*t + 4*x = -0*t + 12. Let d be z(t). Which is greater: d or c?
d
Let b = -71 + 72. Suppose 4*u - 36 = -0*u. Suppose -5*q + 4*p - 2*p - u = 0, -4*q + 2*p = 6. Is q smaller than b?
True
Suppose 218*p - 216*p - 24 = 0. Is p >= 58/5?
True
Let u(i) = -6*i + 2. Let z be u(-4). Suppose -z = -4*f + 2*q, -12 = -5*f - q + 3. Let k be 70/(-8) + 3/f. Which is bigger: -9 or k?
k
Let w = 40 - 9. Let p = w + -29. Which is greater: p or -0.02?
p
Let f = 27.94 + -30.3. Which is bigger: f or -0.1?
-0.1
Let v(f) = 59*f + 386. Let p be v(-8). Which is bigger: p or -83?
-83
Let i(a) = a**3 + 8*a**2 - 12*a - 26. Let u be i(-9). Which is greater: u or -6/377?
u
Suppose -o = v - 1, 4*v = -4*o + v + 6. Suppose -5*w - o*p + 2*p = -55, 4*w - 25 = 3*p. Suppose 3*f - 5*f = y - 1, 5*f - w = -5*y. Which is smaller: -2/11 or f?
f
Let m = 31.4 - 34. Let a = m + 2.3. Which is greater: a or -6?
a
Let b be ((-2)/(-6))/((-2)/(-22)). Let l = -0.057 + 1.057. Is b at most as big as l?
False
Let x = 1722 + -1721.9. Is x <= -9.4?
False
Let m = 2.5 - 4.3. Let y = 0.5 + m. Which is greater: -0.3 or y?
-0.3
Suppose -4*a - 7*j + 5*j + 278 = 0, 4*j = -5*a + 340. Which is greater: a or -2/7?
a
Let u(v) = -8*v**2 + 6*v - 11. Let j be u(-5). Is j less than -242?
False
Let i(p) = 4*p**2 - 29*p - 19. Let x be i(8). Is x at most -9?
False
Let v = -25 + 23. Which is smaller: v or 0.79?
v
Suppose 0 = -y + k - 9, -k - 10 = 2*y + 5*k. Which is greater: 137 or y?
137
Let w = 4/91 + -639/12467. Is 1 less than or equal to w?
False
Let j(m) = m**3 + 6*m**2 + 4*m + 7. Let o be j(-6). Is -21 smaller than o?
True
Let w = -4.734 - -0.734. Is -102 >= w?
False
Let q(r) = r**2 - 2*r + 1. Let c be q(2). Suppose 4*h = 5*a - 39, -4*h = 2*a - 37 - c. Which is smaller: 3 or a?
3
Suppose 5*x - 26 = 5*o - 1, -13 = o + 3*x. Let g be (-2)/12*17*2. Which is smaller: g or o?
o
Let f = 21199 + -21192. Let y = 25 - 17. Which is smaller: y or f?
f
Let l be (48/52)/(-6) + (-4)/(-26). Suppose 0 = s + q + 35, 5*s + l*q = 3*q - 199. Which is smaller: -37 or s?
s
Let c = 2.342 - 54.342. Which is smaller: -0.3 or c?
c
Suppose -5*w + 25 = 0, 5*w = 4*y - 0*w - 95. Let r = -45 + y. Is r >= -13?
False
Let h(f) = 2*f**2 + 19*f - 9. Let m be h(-11). Suppose 0 = -3*p - 5*q - m + 2, -4*p = 3*q + 11. Is p smaller than -1?
False
Suppose 2*i + 12 = 4*i. Let b = i - 9. Suppose -71 = 25*o + 29. Is o greater than b?
False
Let j = 202 + -201. Is j at most 63?
True
Let g = -182 - -180. Which is greater: 208 or g?
208
Let i = -2.47 - -2.54. Which is greater: -8 or i?
i
Let a = -1.0759 - -0.0759. Is 590 greater than a?
True
Let m = 24.77 + -24.6. Which is smaller: -1 or m?
-1
Let h = 0.72 - 1. Let i = 1.28 + h. Is i greater than 13?
False
Let y = -0.19 + -249.81. Which is smaller: y or -1?
y
Suppose -19*q + 52 - 33 = 0. Is q >= 2/6447?
True
Let t(k) = 6*k**2 - 2*k + 1. Let q be t(1). Suppose 35 = 5*i - 80. Suppose q*v - i = 12. Which is greater: v or 6?
v
Suppose 0 = 47*u - 45*u - 2*g + 6, -u - 2*g + 6 = 0. Is u >= -1/771?
True
Let c be 57/(-21) - (-2)/(-7). Let l = 6 - -9. Suppose 8*u = 3*u - l. Is u greater than c?
False
Let n be 34/(-400) + (75/(-40) - -2). Which is greater: n or 1?
1
Let y = -1 + -4. Suppose 0 = -3*l - g + 5*g - 25, -2*g - 33 = 5*l. Which is smaller: l or y?
l
Let f = -5.7 - -3.7. Let a = f + 0. Is -3/7 bigger than a?
True
Let o(g) = 5*g**2 + 21*g - 13. Let s be o(-9). Suppose 5*f + y + s = -0*y, 3*f + 5*y = -113. Which is smaller: f or -42?
-42
Let o be ((-2)/3)/((-8)/54). Let j(t) = t - 5. Let q be j(11). Which is smaller: q or o?
o
Let u(m) = 7*m - 8. Let n be u(1). Let c = 14.05 - 0.05. Let k = -13.97 + c. Is n greater than or equal to k?
False
Let b(d) = 3*d - 2. Let p be b(2). Let u be (1 + 2)*1/1. Let o be u*p/1224*-4. Which is smaller: 0 or o?
o
Let h(j) = j**2 - 3*j. Suppose 5*n - 43 + 18 = 0. Let k be h(n). Is k greater than or equal to -2/7?
True
Let s be ((-108)/42)/9 + 184/150. Let m = s + -4/525. Which is greater: m or 0?
m
Let y(l) = -l**2 + l - 67. Let a be y(0). Let r(n) = -n**3 + 4*n**2 + 17*n - 66. Let m be r(0). Which is bigger: m or a?
m
Let n(s) = 5*s. Let v(b) = b**3 - 5*b**2 - 7*b + 8. Let z be v(6). Suppose -3*a + 4*g = -7, 4*a = -5*g - 3 + z. Let x be n(a). Is 3 less than x?
True
Let w be -10 + 18/(-4)*-2. Let g(d) = d - 2. Let y be g(5). Let t be 8 + y*(-4)/6. Which is smaller: t or w?
w
Suppose 0*m = -m + 4. Suppose -1 = 4*b - 5*u - 4, 0 = 5*b - m*u + 3. Let p = b + 37/13. Are p and 2/7 nonequal?
True
Let b = -1.1 - 0.6. Let d = -0.7 - b. Let m = -6 + d. Which is greater: -3/2 or m?
-3/2
Let n be (105/28)/(21/28). Let r = 181/49 - 4/147. Which is greater: n or r?
n
Let z = -38 - -25. Let h(k) = -k - 19. Suppose -9*a = -6*a + 15. Let f be h(a). Are f and z non-equal?
True
Let y = -41 - -24. Let w = 20 + y. Let d be (w + 30/(-9))*0. Which is smaller: d or -0.04?
-0.04
Suppose -13 = 6*h - 43. Suppose -4*x = 2*w - 10, -4*x - 6 + 19 = h*w. Is 2 at least x?
True
Let x be (-7)/(-28) - 1029/4. Which is greater: -256 or x?
-256
Let v be (26 + 79)*(8/(-18))/(-2). Let r = -352/15 + v. Is 2/13 less than or equal to r?
False
Suppose 5*n - 4*t - 11 = 0, 2*n = -5*t - 24 + 2. Let h = 19 - 15. Suppose -5*a - 3*l = -2*a - 6, -h*l = -12. Is a at most as big as n?
True
Suppose -3 = -5*b + 7. Suppose -p - b = p. Let o = -216 + 214. Which is smaller: p or o?
o
Suppose 2*k + 0 - 2 = 0. Let p(t) = 3*t - 46. Let x be p(16). Which is bigger: k or x?
x
Suppose -19 = -3*p + 14. Suppose -4*l - 2*u = 16, 0 = -2*l + 5*u + 17 - 1. Let g(v) = -v**3 + 2*v**2 + 4*v + 2. Let m be g(l). Is p at most m?
False
Let p be -5*4/(-10) - 2. Suppose -1 = -3*c + 3*y + 2, 5*c - 4*y - 3 = p. Which is smaller: c or -1/82?
c
Let z = 61.1 + -60.9. Is -44/21 less than z?
True
Let a = 38 - 113/3. Suppose -3 = 4*q + 9. Let v be q/35*(-18)/(-27). Is a <= v?
False
Suppose r = 5*v - 29, 3*v - 21 = 5*r + 14. Let o be -3*(60/72 - 1/2). Which is bigger: o or r?
o
Let b = -1/9 + -7/18. Suppose 3 = y - 4*o - 1, 0 = -y + 5*o + 5. Are b and y nonequal?
True
Suppose -4*t + 9*t + 5*i + 125 = 0, 0 = -4*i + 16. Which is greater: t or -1?
-1
Let x = 12 + -9. Suppose -2*n - x*n - 25 = -5*t, -4*t + n = -11. Suppose -43 = 5*k - 4*f - 7, 20 = -t*k - 4*f. Which is greater: k or -7?
-7
Let d be ((-7)/7)/((-3)/(-346) - 0). Do d and -116 have different values?
True
Suppose 3*m + 8 = -5*v + m, -3*m = -v + 12. Which is bigger: v or -1/459?
v
Let t = -78 - -84. Suppose t*w - 33 = 17*w. Is w <= -4?
False
Let m = -314393/231 - -1361. Which is bigger: 0 or m?
0
Let p(j) be the second derivative of j**3/3 + 11*j**2/2 - 5*j. Let k be p(-5). Let a be 3 + 3 + 100/(-17). Which is smaller: a or k?
a
Let r(g) = g**3 + 2*g**2 + 8*g + 5. Let d be r(-5). Let u be 26/(-91) + d/7. Let p be 1*4/(u/4). Which is smaller: p or 2/19?
p
Suppose -2*m = 4*m + 192. Let c = m + 60. Is 29 smaller than c?
False
Let n be (-4)/42*3 - 183/21. Suppose 0*w + 40 = 5*w. Let u = w + n. Is 3/8 at most u?
False
Let p be 3/(-1) + -5 + 8. Suppose p = 3*q - 2*j - 37, 0*q - 5*q = j - 79. Let k be (18/12)/(q/(-28)). Which is greater: k or -4?
k
Let d = -1 + -0.5. Let g = 1.4 + d. Let c = 4 + -5. Is c less than or equal to g?
True
Suppose 6*c + 341 - 521 = 0. Which is bigger: c or 21?
c
Suppose 0*s - 2*s = a - 2, -5*s = -5*a + 40. Suppose -z = z - 5*o + 19, 0 = 2*o - a. Which is greater: z or 5?
5
Let j = 251 - 252. Are -1/121 and j non-equal?
True
Let j = 211 - 212. Which is bigger: -24/31 or j?
-24/31
Let c be -10 - -7 - 10458/(-34). Let y = c + -305. Which is smaller: y or 0?
y
Suppose 9*v - 90 = 4*v. Let a = -25 - -3. Let s = a + v. Are s and -4 unequal?
False
Let h(j) = 38*j + 112. Let o be h(-4). Which is bigger: o or -43?
o
Suppose 3*c = -6 + 15. Suppose 4*y = 5*v + 126 + 25, c*y = 4*v + 121. Which is bigger: -32 or v?
v
Let h be ((-4)/(-6)*-10)/((-338)/1521). Is 32 >= h?
True
Suppose 18 = 55*s - 61*s. Do s and -13/4 have different values?
True
Let p = -2072.51331 - 1.69669. Let a = 2059 + p. Let h = a + 0.21. Which is greater: h or 0.1?
0.1
Let k be 4/(-14) - 11/((-693)/(-7857)). Is -122 less than k?
Fal