 Are t and -3 nonequal?
False
Let l(c) be the first derivative of -c**4/4 + c**2 + c + 1. Let i be l(2). Let x(b) = b + 2. Let v be x(-4). Is v not equal to i?
True
Suppose -2*p = 4 + 6. Is -5 at most as big as p?
True
Suppose 3*v = 6, 2*w - 3*w - 2*v - 33 = 0. Which is smaller: -38 or w?
-38
Let f be 3 - 3 - (-4)/(-12). Let z = 0 - 0. Which is greater: f or z?
z
Let m = -13.6 - -14. Let i = 0 + -1. Let b = i + 2. Is m != b?
True
Let g(l) = -l**3 - 6*l**2 + 7*l + 1. Let v be g(-7). Suppose 0 = 2*z - v - 3. Which is smaller: z or 0?
0
Let h(g) = g**3 + 5*g**2 - 7*g - 4. Let m be h(-6). Suppose -m = q - 10. Are 9 and q unequal?
True
Let s = 15 + -92. Which is greater: s or -76?
-76
Suppose 11*b = 17 + 5. Is -2 > b?
False
Let i = -0.06 - 0.04. Is 0 smaller than i?
False
Let i = 34/431 + 47172/3017. Which is smaller: i or 16?
i
Suppose 2*r + 4 = 0, -g + 2*r = -6 - 18. Which is smaller: g or 21?
g
Let s(g) = 0 + 3*g**3 + 0 + 1. Let i be s(1). Let q be 3 - (0/(-6) - (-2 + 4)). Which is greater: q or i?
q
Let u be ((-27)/(-150))/((-18)/15). Is 0 > u?
True
Let k be (-55)/75 + 2/6. Which is smaller: k or 3?
k
Let z = 2 - 2. Are -1 and z equal?
False
Let f(m) = -m**3 + 6*m**2 - 6*m - 3. Let b be f(5). Are b and -7 unequal?
True
Suppose 13 = k + 14. Which is greater: -1/4 or k?
-1/4
Suppose -5*m + 20 = -4*m. Suppose 0 = 3*p + 4*b + 13, -2*b - m = 3*b. Let j = 0 - p. Which is smaller: j or 0?
j
Let x = -1/2712 + -1775/89496. Which is smaller: 2 or x?
x
Let d = -7 + 4. Let q = 0.25 - 3.15. Let t = d - q. Is t >= -3?
True
Let w = -1/245 - 1457/3185. Is w less than -1?
False
Suppose 8 = 3*h + 11. Which is bigger: 26 or h?
26
Let c(x) = x**3 + 19*x**2 + 18*x + 29. Let y be c(-18). Which is smaller: 30 or y?
y
Let i(k) = -4*k**2 - k + 4. Let t(y) = -3*y**2 + 3. Let p(a) = -4*i(a) + 5*t(a). Let l be p(-3). Let g = -4 + 0. Is g <= l?
True
Let t be 36348/(-27) + 2/9. Let v = t - -26951/20. Let j = v + -4/5. Is -1 at least as big as j?
False
Suppose s = 5*s. Suppose -8 = -4*g, 4*x - 41 = -3*g - 11. Let k be 6/4 - 8/x. Is k at least s?
True
Let n(w) = -2*w - 4. Let j be n(-4). Let m = -72 + 76. Suppose c - 9 = -m*c - i, -i = -j. Is 5/4 >= c?
True
Suppose -9*l = -4*l + 20, 3*k - 413 = -4*l. Which is greater: k or 0.1?
k
Let f = 0.8 - 1. Let q = 0.4 + f. Which is greater: q or 1/4?
1/4
Let h(a) = a**2 - 18*a - 12. Let z be h(18). Let q be (z/(-45))/(2/(-5)). Let c(u) = u**3 + 2*u**2 - 2*u - 2. Let k be c(2). Is k < q?
False
Let u(l) = l**2 - 3*l - 25. Let w be u(6). Suppose 2*a + 2*a = -24. Let x = w - a. Are x and 2/15 nonequal?
True
Let u(o) = o**2 - 5*o - 1. Let m be u(5). Let k(y) = -2*y**2 + 1. Let i be k(1). Let c be i + 4/(-18) + 1. Do m and c have the same value?
False
Let y = 1 + -7. Let t = 8.2 + y. Let q = 2 - t. Which is smaller: q or 1/2?
q
Let p = -59/33 + 38/11. Let l(y) = -y - 11. Let x be l(-12). Is p < x?
False
Suppose 8 = -2*y, -6*y + 62 = 5*s - 4*y. Suppose 5 = 5*o - w, 11 = -5*o - 5*w - s. Is o greater than 5/6?
False
Let g be (-8 - 0) + -2 + 1. Suppose 0 = -m - 15 + 7. Is m at most as big as g?
False
Suppose -4 + 58 = -6*p. Let w = 5/6 - 4/3. Which is greater: p or w?
w
Let n(d) = -5*d**2 + 5*d - 4. Let p be n(2). Which is greater: p or -12?
-12
Suppose 3*k = -9*k + 288. Which is smaller: 25 or k?
k
Suppose 5*k + 6 - 11 = 0. Is -4/21 less than or equal to k?
True
Let a = 12 - 7. Are a and 2/9 nonequal?
True
Suppose -34 + 2 = -4*u. Let i be 2*(-1 + 4/u). Which is greater: 4 or i?
4
Let v = 259 + -435. Let p = -4398/25 - v. Let o = p + 1/50. Which is smaller: -1 or o?
-1
Suppose -l - 3 - 3 = 0. Let j = -8 - l. Let k = -4 - j. Which is smaller: k or -4/3?
k
Let s = -101 - -143. Is 43 at most as big as s?
False
Let c = -1.1 - 0.9. Let m = c - 0. Which is bigger: m or 1/2?
1/2
Let f = -2 + 1. Let h = f + -3. Let g = h - -3.8. Which is smaller: -1/2 or g?
-1/2
Let g = 10.15 - 0.15. Let d = -8 + g. Are d and 1/6 equal?
False
Suppose 4 + 11 = -3*d - q, 5*q = -d - 5. Let v(k) be the second derivative of -k**5/20 + 7*k**4/12 - 7*k**3/6 + k**2 - 2*k. Let u be v(6). Are u and d unequal?
True
Suppose -6*n - 3 = 4*h - n, -5*h - n - 9 = 0. Which is smaller: h or 2?
h
Let c = 56/15 - 11/3. Which is smaller: c or -1?
-1
Let y = -53 + 48. Let c be (4/(-35))/((-4)/(-10)). Is c at most y?
False
Let i(v) = -2*v**2 + 3. Let g(k) = k**3 + 11*k**2 - 13*k - 16. Let p be g(-12). Let u be i(p). Let m = -115/4 - u. Which is bigger: 0 or m?
m
Let c(a) = -a**3 - 13*a**2 - 10*a - 10. Let f be c(-12). Let x = f - -52. Let h = x - 37/2. Is h at most 0.1?
True
Let x(t) = -t**2 - 5*t - 4. Let a be x(-3). Let f be a/8 + (-10)/8. Which is greater: 1 or f?
1
Let f = -9.9 - 0.1. Is 0 greater than f?
True
Let v = 409710071/609 - 672759. Let l = 2/87 - v. Which is greater: 1 or l?
1
Let o be (-90564)/154 - (-2)/(-7). Let r = o - -588. Is -1 at least as big as r?
False
Let z = -91239/55 - -1659. Let v = z + -8/33. Which is smaller: -1 or v?
-1
Let g be 2/3*-1*9. Is g bigger than -8?
True
Let b = 7 - 5. Let f be (-4)/(-10 + 2)*6. Is f at most as big as b?
False
Let a = -0.58 + 0.5. Let s = -0.38 - a. Which is greater: s or -1/3?
s
Let j = -9.9 + 10. Suppose -4*k = -p + 12, -k = -p - 0*k. Let o be (4/(-15))/(p/6). Is j != o?
True
Let y = 28 - -62. Let r be y/(-24) - 6/(-8). Which is smaller: -1 or r?
r
Let w be -607*3/(-909) - 2. Let q = -917/2424 + w. Which is smaller: 0 or q?
q
Let g be (-82)/42*2 + 4. Let m = -2 - -3. Is m != g?
True
Let d be (-14)/14*(-1)/3. Is d not equal to 1?
True
Suppose 2*x = 2*i + 10, -x - 4*i = 2*x + 13. Does x = 0?
False
Let q = 1 - -17. Let z = q - 19. Is -3/4 smaller than z?
False
Suppose 5*h - 10 = -z, -8 = -0*z - 2*z - 4*h. Is -2 at most z?
True
Let p be (-2)/20*610/(-192). Let j = 57087/64 + -892. Let d = p - j. Which is smaller: d or 1?
d
Let r be (0 + 3)*8/66. Which is greater: 0.4 or r?
0.4
Let u = -5 + 9. Suppose -y - u*y = 0. Is y != 2/3?
True
Let r(g) = -g**2 + g - 4. Let z be (-5)/(15/6) + -2. Let u = z + 4. Let c be r(u). Which is smaller: c or -3?
c
Let f be -1 - 3 - 3150/(-785). Which is bigger: f or 1?
1
Let j = 0.19 - 0.19. Which is bigger: j or -4?
j
Let s = 0.6 - 0.4. Let i = 0 - s. Let u = i - -0.2. Which is smaller: u or 1/4?
u
Let h(c) = c**2 + 3*c - 4. Let r be h(-4). Suppose -j + 5*k + 21 = 0, -13 = -r*j - j + 3*k. Is 1/16 at most j?
True
Let r be 7/(-666)*16 + (-4)/(-18). Suppose -2*t + 1 + 5 = -2*s, 0 = 3*t - 9. Is s at least as big as r?
False
Let p(b) = 6*b**3 + 14 - 14 + b - 2*b**2. Let h be p(1). Suppose h = -2*a + 7*a. Is 1/4 bigger than a?
False
Let u(r) = 23*r - 29. Let m be u(2). Which is bigger: -0.5 or m?
m
Let n(a) = -a + 7. Let m be n(-9). Is 16 greater than or equal to m?
True
Suppose -5*a = -0 + 10. Is a >= -2?
True
Let o be 456/(-20)*5/(-2). Let u be 6/8*(-8)/o. Which is smaller: 0 or u?
u
Let b = 3 + 0. Let a be ((-2)/(b + -1))/1. Which is smaller: a or -6?
-6
Let y = 0.37 + -0.07. Let f = 1.3 - y. Let m = 1.3 - f. Which is smaller: 0 or m?
0
Let j = -12 + 8. Let x be 0 + (j/3)/(-2). Which is bigger: 2 or x?
2
Let c be 1*-1*(2 - 5). Is 2 at most c?
True
Let g be (-30)/(-20)*2*-1. Is 0.2 less than g?
False
Suppose 3*k + 1 = 4. Which is smaller: k or 4/3?
k
Suppose 0*n = -4*n + 44. Let g = -19 + n. Let w be ((-10)/g)/(4/16). Which is smaller: -1/4 or w?
-1/4
Let w = 5 + -26/5. Is w at most as big as -5/4?
False
Suppose -4*b = m - 9, -3*m - 5 = 2*b - 2. Which is smaller: 2 or b?
2
Let z be 4 + 0 - (7 + 4). Is -1 greater than or equal to z?
True
Let x = -3.1 - -0.1. Which is greater: 1 or x?
1
Let s be (-1)/(-8) - (-1)/2. Suppose f - 8 = -3*f. Which is bigger: f or s?
f
Let p = 661767/2563 - 1021/233. Let y = p + -254. Which is greater: y or -1?
y
Let r(a) = 3*a - 13. Let s be r(10). Which is smaller: s or 16?
16
Let m be 7/14*(1 + -1). Suppose -4*z + z = m. Let c = 0 - 0.3. Which is greater: c or z?
z
Suppose 5*x + 4*l + 11 = 5*l, -3*x - 4*l - 2 = 0. Let u be 10/x + (3 - 0). Which is bigger: u or 0?
0
Let x(b) = -b**3 + 113. Let q be x(0). Which is smaller: q or 112?
112
Let m = 14 - 12. Let x(v) be the first derivative of -v**4/4 + 2*v**3/3 + v**2 - 2*v + 1. Let o be x(2). Does m = o?
True
Let u(l) = 2 - 4*l**2 + 3*l**2 + 7*l + 9 - 2. Let m be u(9). Which is smaller: m or -8?
m
Let o(b) = b**3 - 11*b**2 - 10*b - 17.