 0.08?
0.08
Let j = -5.96 + 6. Let w(p) = p**3 + 3*p**2 - 3*p + 5. Let m be w(-4). Which is greater: m or j?
m
Let d(s) = -s**2 + 2*s + 4. Let y be d(3). Let j be (y/2)/((-2)/(-4)). Let x = -74/495 + -4/55. Which is smaller: x or j?
x
Let a be 2 + -2 + (-2 - -2). Let n be (1 - 6)*1 - a. Which is smaller: -6 or n?
-6
Let l be (-8)/16*(-1)/47. Which is greater: 1 or l?
1
Let z = 107 - 125. Which is smaller: 1/4 or z?
z
Let u = 66 + -39. Is u <= 27?
True
Let c = 4.4 + -7.4. Let g = -2 - -2.2. Let t = g + 0. Are t and c unequal?
True
Let v = -22.1 + 22. Is -0.09 at most as big as v?
False
Let y = 86308/77 + -9597/11. Let m = 248 - y. Do 1 and m have different values?
True
Let z = 5 + -3. Let d = -203/52 - -80/13. Are z and d equal?
False
Let d(c) = c + 21. Let w be d(-15). Suppose 2*l = 2 + w, -2*b + 20 = 5*l. Is 0 < b?
False
Let f = 2.6 - 0.6. Let u = -2 + f. Let h = 0.1 - 1.1. Which is greater: u or h?
u
Let c = 188/5 - 38. Let n = -112 + 782/7. Is c at least n?
False
Suppose -4 = 2*y + 2*p + 4, -3*y + 16 = -4*p. Is y > -2/27?
True
Suppose a - 32 = -3*a. Suppose 0 = -4*v + q - a, -5*q = -2*q. Is 0.2 < v?
False
Let t = -0.8 - 0.2. Let i = t + 0.9. Let o = 20 + -41/2. Which is smaller: o or i?
o
Suppose -4*x = 5*k + 38 + 22, -4*k = -5*x - 34. Let a = 11 + x. Which is smaller: a or 2?
a
Let q = 6 - 19. Let o be -2 + q/(-7) - -1. Let b = -9.9 + 10. Is o > b?
True
Let d be (51/30 + 0)*2. Is d smaller than 3?
False
Let c(q) = -q**2 - q. Let u(h) = -h**2 + 1. Let n(m) = -2*c(m) + u(m). Let t be n(-1). Is -2 at most t?
True
Let q = 17/3 + -349/60. Is 0 bigger than q?
True
Let d = 0 - -5. Let f = d + 2. Let o = -10 + f. Is o greater than 1?
False
Let z be (-138)/210 - 1/5. Which is smaller: z or 0?
z
Let l = 28 + -38. Is -6 smaller than l?
False
Suppose -172 = 4*y + 5*j, 2*y + 4*j + 206 = -3*y. Is y at most as big as -38?
True
Let u(y) = -y**2 - 7*y - 4. Let a be u(-6). Suppose -2*c - 8 = -a*t, 4*c - 3*c - 1 = -4*t. Is t equal to 1?
True
Let h(f) = -2*f**3 + 7*f**2 + 5*f - 3. Let d be h(4). Which is greater: d or 8?
8
Let v(d) = -d**3 + 10*d**2 - d + 13. Let u be v(10). Let q = 2 - u. Let t = 138 - 693/5. Is q greater than or equal to t?
False
Let d = -15 - -13. Let c be 1/d - 7/14. Let l = -151/4 - -38. Which is bigger: c or l?
l
Suppose 14 = 5*s + 4. Suppose f - 3*n = 2*f + 11, -s*f - 3*n - 16 = 0. Which is greater: f or -4?
-4
Let v be 21/(-7) - (1 + -1). Let t(j) = j**3 + 2*j**2 - 2*j + 2. Let f be t(v). Is 2/5 at most f?
False
Let z = 7/11 - -1/33. Let q = 5 + -7. Let u be 3*(0 + q/(-3)). Which is smaller: z or u?
z
Let h = -31 - 5. Is -36 at least as big as h?
True
Suppose -3 = 3*l - 4*l. Which is smaller: 2 or l?
2
Let f = 76 + -535/7. Is f at most 1/3?
True
Let t = -70116055/589 - -357127/3. Let h = t - -8/57. Is 1 > h?
True
Suppose 2*r = -0*r. Suppose r = -5*l + z - 2*z - 9, -2*l + 18 = -5*z. Which is smaller: -2 or l?
-2
Let h = 35 - 39.2. Let u = -4 - h. Which is greater: 1/3 or u?
1/3
Let n = -13 + 13.09. Let i = n - 2.09. Which is smaller: 0 or i?
i
Suppose -6*i + i = 0. Let n = -8 - -9. Which is bigger: i or n?
n
Let k(o) = o + 8. Let q be k(-5). Let m = 6.88 + 0.12. Let g = m - 7. Which is bigger: q or g?
q
Let l(q) = 4*q + 2. Let c be l(5). Suppose 2*h = -0*t - 5*t - 5, 3*t + 5*h + c = 0. Suppose 0 = -4*k - 5*y + 5, 0*y = -5*k - y + t. Which is smaller: k or 2/3?
k
Let x(i) = i**3 + 4*i**2 + 2*i + 6. Let y(a) = -a**2 - 4. Let p be y(0). Let h be x(p). Let u be (-3)/(-9)*(h - 1). Which is bigger: u or 2?
2
Let l = 48.95 - 50. Let m = 0 - 1. Let s = m - l. Which is smaller: s or -1/3?
-1/3
Let t(z) = -12*z - 3 + 17 + z**2 - 5. Suppose 0 = 2*f + 3*f - 55. Let n be t(f). Is -2 <= n?
True
Let k = -15 + 20. Let c be ((-3)/k)/((-36)/(-8)). Let w = -2 - -2. Is w < c?
False
Let d = -3 - -3.2. Let z = 1.2 - d. Let q(p) = p**3 + 7*p**2 + 5*p - 7. Let o be q(-6). Are o and z unequal?
True
Suppose 0 = -5*q + 2 - 12. Which is smaller: -18/11 or q?
q
Let k be 108939/(-57561) - 6/21. Let u = k - 3/10964. Let t = u + 17/7. Is 0 at most as big as t?
True
Let p = 26 + -6. Let r = 22 - p. Is r smaller than -6/5?
False
Let z = -22.7 - -5.7. Let p = 0.1 - 1.1. Is p smaller than z?
False
Let a(w) = -w**2 - 6. Let u be a(0). Let k = 11 + u. Which is bigger: k or 6?
6
Let s be -2*(-17)/21 + (-10)/35. Do s and 0.2 have different values?
True
Let z = -3215 + 295777/92. Which is smaller: -1 or z?
-1
Let m = 1 + 2. Let o = m - 0. Which is smaller: o or -1?
-1
Suppose -4*z - s = 2, 0 = -3*z - 0*s + 4*s - 11. Which is bigger: z or 0.5?
0.5
Let s = 0.1 + 0. Let j = s + -0.6. Let t = 0.4 + j. Which is bigger: 1 or t?
1
Let m be 90/20 + 6/4. Let a be m/9 - 2/3. Which is smaller: 1 or a?
a
Let v be 35/14*4/10. Suppose -v = -3*r - 10. Is -2 < r?
False
Let j = 17/52 - -9/52. Let x(p) = -p**2 - 3*p - 2. Let i be x(-2). Suppose 4*d - 3*q - 13 = i, -2*d - 4*q = -5*d + 15. Is d at most as big as j?
False
Let c be (5/20)/((-10)/(-24)). Which is bigger: c or 0?
c
Let a(o) = -o - 4. Let j be a(-7). Suppose j*c = -c. Is c >= 2?
False
Let n(p) be the second derivative of p**5/20 + 13*p**4/12 - p**3/6 - 13*p**2/2 - 2*p. Let q be n(-13). Which is smaller: 4/5 or q?
q
Let k = 2/161 - -475/644. Suppose c = -4 - 3. Let z(s) = s**3 + 6*s**2 - 7*s + 2. Let h be z(c). Which is smaller: h or k?
k
Let z = 913/5 + -185. Is -3 not equal to z?
True
Let g be ((-27)/12)/(1/4). Let v(s) = s + 8. Let j be v(g). Which is greater: 0 or j?
0
Let y = 14 + -34. Is -19 bigger than y?
True
Let z = -21 - -23. Let j be (-225)/54 + z/12. Which is greater: j or -2?
-2
Suppose -4*r + 2*m = 22, -26 = 5*r - 0*m - 4*m. Let u = r - -4. Let h be u/6 + 6/(-63). Which is greater: h or 0?
0
Let m = 591/56 - 9/8. Let y = m + -580/63. Is 2/5 >= y?
True
Let k be 15*(0 + 0 + -1). Let m be -1*(k/6 + 3). Is -2 greater than or equal to m?
False
Let u be 4/(-6)*12/(-2). Let v be (-2 + u/6)/(-2). Suppose -2*d = -10, 0 = 2*z - 2*d + 14 - 4. Which is bigger: z or v?
v
Let b = -3 + 2. Let f = -2944223/655 + 4495. Let d = f + -79/131. Is b less than or equal to d?
True
Suppose -3*t + 16 = 2*t - 2*z, -t - z = 1. Let p be 6/((-2)/t) - -2. Let o be 0/p + (-4)/14. Which is smaller: o or 0.1?
o
Let t = 0.015 - 3.115. Let k = -3 - t. Which is greater: k or -5?
k
Let v(q) = q**3 + 11*q**2 - q - 6. Let j be v(-11). Let z be (-10)/5 - (2 + j). Which is smaller: z or -11?
-11
Let m(r) = -r**2 - 2. Let i be m(-2). Suppose 3*k - 15 = 4*t, 15 = -2*t - 2*k + k. Is i at most as big as t?
True
Let n = -727/7 - -104. Let b be 39/175 + 2/(-14). Let d = 13/150 + b. Which is smaller: d or n?
n
Suppose -5*w - 5*r = -25, -2*w + 2*r + 17 = -w. Let g = w + -13. Is g less than or equal to -4?
True
Let x = 25.44 - 26. Let h = 0.06 + x. Which is greater: h or -1?
h
Let v be (-13)/(-70) - 4/14. Let m = -4 + 6. Let i = -1 + m. Is i less than v?
False
Let a(z) = z**2 - z - 2. Let n be a(3). Let f = 25 - 14. Let q = -8 + f. Which is smaller: q or n?
q
Let w(j) = j**2 - 4*j + 7. Let v be w(3). Suppose -v*u + 0*u - 70 = 2*b, 64 = -4*u + 4*b. Is u at most -17?
True
Let l be 0/(-2) + (3 - 1). Is -5 at least l?
False
Let u = -0.9 + -0.6. Let r = -0.6 + 0.1. Let l = r - u. Is 0.01 at most as big as l?
True
Let l(r) = -r**2 + 2*r + 2. Let p be l(2). Suppose -p*d + 15 = d. Suppose -3*t = -d*t. Which is bigger: t or 1?
1
Let u = 78 - 2653/34. Is u smaller than 0.2?
True
Let j be 5/(-2)*(-20)/(-125). Is -0.1 bigger than j?
True
Suppose 5*l - 9 = -84. Let w be (-2)/8 - l/(-20). Let g be ((-6)/3)/(w - -18). Which is smaller: 1 or g?
g
Suppose -2*f + 5*k + 12 = 0, f = 4*f - k - 5. Suppose 0 + f = -a. Which is smaller: a or -2/25?
a
Suppose -3*p - 2*p - h = 38, 4*p = -2*h - 34. Let b be 158/168 + (-2)/p. Let d = b - 13/12. Which is smaller: 1 or d?
d
Suppose -2*p + 4*x = 39 + 5, 5*p - 2*x + 70 = 0. Which is smaller: p or -138/11?
-138/11
Let b(f) = f + 6. Let u be b(-5). Let q = 403/23 + -81878/4669. Let p = q - -17/29. Which is smaller: p or u?
p
Let a be 3 + (2 - 1)*-1. Suppose 0 = 2*k - 0 - a. Let u be (8/(-54))/(26/39). Are k and u nonequal?
True
Let v(w) = w**2 - w - 1. Let y be v(-1). Suppose -n = -0 - y. Let f = 0 + 0. Is n >= f?
True
Let q be 1/(-3) - 2860/(-66). Is 42 less than or equal to q?
True
Let t be -4 - 7/((-14)/(-4)). Let o be (-2)/(-6)*(-2)/t. Which is 