 -0.0326. Which is smaller: a or 0.1?
a
Let n(a) = a**2 - a - 2. Let i be n(-1). Let g = -0.26 + 0.1. Let x = 12.16 + g. Which is smaller: i or x?
i
Let l = -5 - 11. Let x = l - -24. Is x at least 8?
True
Let y = 1.404 - 0.004. Let g = y - 1.3. Which is smaller: g or 19?
g
Let z(g) be the third derivative of g**5/60 + 3*g**4/8 - 2*g**3/3 - g**2. Let s be z(-11). Let u = 19 - s. Is u greater than -2/85?
True
Let d = 327/13 - 25. Let r = -38.8 + 44.8. Which is smaller: r or d?
d
Let b be -76*((-2)/26 + 0). Let u = -135/52 + b. Is u smaller than 3?
False
Let i = 5417/7 + -774. Let s(k) = k**3 - 15*k**2 - 17*k + 21. Let x be s(16). Are i and x equal?
False
Let y = 0.03 - 2.33. Let b = 0.3 + y. Let s be (2 - -1)*(-8)/3. Is b less than s?
False
Let a be (1 + (-1115)/(-15))*6/(-12). Is -38 at least as big as a?
False
Let f = 24759053/1003 - 24685. Let s = 2032/13039 + f. Let w be 3/(12/16) + -3. Which is greater: w or s?
w
Suppose -2*t - 8 + 66 = 2*u, 0 = -5*t + 3*u + 177. Let m be (t - 32) + 1/13*-43. Let r(x) = -x**2 + 5*x - 5. Let p be r(4). Which is bigger: m or p?
p
Let z be -1 - 0 - 5/((-30)/12). Is z <= -2/1775?
False
Let q = -1.3 - -0.3. Suppose -2*d - 4 = -3*j - 1, -4*d = 5*j - 27. Let s be 0*j/((-15)/(-5)). Which is smaller: q or s?
q
Let t = 3/2830618 - 71600482643/314198598. Let c = t + 683/3. Is c at least -1?
True
Let b(k) = k**3 + 14*k**2 + 25*k + 12. Let h be b(-12). Which is smaller: -1/152 or h?
-1/152
Let d be 0 + 1/(-1) + 1. Let c be -2 - -1 - d/(-10). Which is smaller: c or 1?
c
Suppose -4*h = 4*k - 2*h - 316, -4*k + 316 = -2*h. Let l = 11.3 + -12.3. Which is bigger: l or k?
k
Let m = 459.286 - 459. Are -0.1 and m equal?
False
Let o = 135 + -81. Let u = 29 - o. Are u and -25 unequal?
False
Let b = 5.2 - -0.8. Let t = b + -5.89. Let i = t - -0.89. Is 9 less than i?
False
Let n = 2559 + -2559. Let h = -2198/3 - -707. Let v = 2239/87 + h. Which is smaller: v or n?
n
Let g(w) = -w**2 - 7*w - 5. Let d be g(-5). Suppose -d*h - 2 = -3*h. Let f = 33 - 35. Are h and f unequal?
True
Let s = -358021/11 + 32597. Which is bigger: s or 51?
51
Suppose 2*s = 5*s - 27. Let z be 1*(s + -3)/(-1). Let b be ((-2)/(-9))/((-4)/z). Which is smaller: 0 or b?
0
Let i = 47 + -45. Suppose 5*x + 2*b = -7, 2*x = -i*x + b - 3. Which is smaller: 2/53 or x?
x
Let w be -5 - -2*2*(-534)/72. Is -1 equal to w?
False
Suppose -25*c - 20 = -21*c. Let x be (c/(-14))/((-10)/(-20)). Is 1 less than x?
False
Let d = 2003/3 - 631. Is 37 < d?
False
Let f be ((-6)/(-2))/(3 - 2). Let w = 2 + f. Suppose 0*v + 3*v - q = 2, -v = w*q + 26. Is -2/19 at most as big as v?
False
Let b = 69.4 + -112.4. Which is bigger: b or 0?
0
Let f(c) = c**2 + 3*c - 8. Let k = -33 + 37. Let l be f(k). Suppose 4*r = -r - l. Which is smaller: -8/3 or r?
r
Let o = 211 - 210. Is o bigger than -2/667?
True
Let s = 9 - 5. Let i be 22/14*(-3 + 5). Which is smaller: i or s?
i
Let r = -1274 + 1073. Does r = -2?
False
Let s(j) = 0 + 2 - 6*j**2 + 2*j + 3 - j**3 + 5*j. Let i be s(-7). Let f = i - 0. Is 0.2 greater than or equal to f?
False
Let q = 2 - 2. Let y = 18.81 + -18.9. Is y <= q?
True
Suppose 0*x - j = -5*x - 174, -3*x + 3*j - 114 = 0. Which is bigger: x or -33?
-33
Let h = -56 + 57. Let z = 3/1171 - -1937/158085. Is z less than h?
True
Let q = 9 - 15. Let k = -14 + q. Let i = 20.18 + k. Which is bigger: 1 or i?
1
Suppose 6 = 4*o - 42. Let z = -41 - -63. Let g = o - z. Is -8 at least as big as g?
True
Let u = -57 - -55. Let x be (2/(-4) + 4)/u. Suppose -5*j + 8 + 3 = -m, -j + 2 = 0. Which is smaller: m or x?
x
Suppose 143 = -5*i - 107. Let h = 24 + i. Is h at least as big as -25?
False
Let k = -1.61 + 1.41. Let p = 3 + -3.1. Let n = 0 + p. Which is smaller: n or k?
k
Let d = -137.27 + 138. Let s = d - 0.6. Do -1/4 and s have the same value?
False
Let a = 338.431 + -1.431. Is a at least as big as 2/5?
True
Let q = 35 - 34. Is q bigger than -3/112?
True
Suppose -2392*x + 2384*x - 616 = 0. Which is smaller: x or -76?
x
Let y = -335 + 333.49. Let r = 0.51 + y. Which is bigger: -68 or r?
r
Let g = -6 - 0. Let t be 30/27*g/(-10). Let u = 2 - 1. Which is smaller: u or t?
t
Let m = -22 - -21. Let c be ((-6)/(-5))/((3 - 1)*-2). Which is smaller: c or m?
m
Let z be (-13)/(182/(-35))*2/(-10). Does z = 0.52?
False
Let p be ((-6)/(-18))/(2 - (-33)/(-18)). Let g(a) = -5*a - 1. Let s be g(p). Does -6 = s?
False
Let z = -0.1469 + -78.5531. Which is greater: -2/5 or z?
-2/5
Suppose -8*a + 48 = 4*a. Let k be a*(4 - 254/56). Is k less than -3?
False
Suppose -90*w = -803 - 97. Let b(o) = -o - 4. Let p be b(-6). Is p at most as big as w?
True
Let x = 3.8 - 27.8. Let u = x - -24.024. Is u at least as big as -2/7?
True
Suppose -5*y + 48 = -2*y. Let g be ((-2)/(-1))/(388/32 + -12). Are y and g equal?
True
Let q(p) = -p**3 - 6*p**2 + 5*p + 6. Let t be q(-5). Let h be (-5)/38*t/55. Let s be ((-8)/32)/((-2)/8). Do h and s have the same value?
False
Let k be 144/(-210)*(-40)/12. Let c = -9009 - -189134/21. Let f = k + c. Which is smaller: -1 or f?
-1
Suppose t - 6*z + 7*z = 20, 4 = 4*z. Is 18 not equal to t?
True
Let x = -567 - -578. Which is greater: x or 6?
x
Suppose 4*i - 3*q = 17, -4*i = q + 1 - 6. Let u = -428 - -430. Do u and i have different values?
False
Let c = -4 + 7. Let f = 47 + -47.4. Let p = f + -0.6. Is c greater than or equal to p?
True
Let q be 5*1*(-128)/(-20). Let n be (18/(-4))/((-2)/q). Let i be (-6)/9 - (-75)/n. Is i greater than or equal to 0?
True
Let t be (-3)/(3/4)*(-26)/(-8). Suppose 4*d + 0*p + 40 = 4*p, 4*d = -5*p - 58. Is t < d?
True
Suppose 5 = 5*l + 10. Which is smaller: 1/121 or l?
l
Suppose 3*k - l = -0*k + 10, 0 = k - 2*l. Suppose -3*g + 60 = 4*v, -k*v + g = -9*v + 75. Which is smaller: 17 or v?
v
Suppose u + 5*p = 5*u - 44, -4*u - p = -20. Suppose 3*a + 3*f - 2 = -5, 2*a + u = -3*f. Let v be a/(-20) - (-9)/(-36). Is v equal to 2?
False
Suppose 3*b = -2*b - 4*a - 16, -b - 6 = -2*a. Let p = b + -1. Let g = -6 - p. Is g less than or equal to -1/7?
True
Let u be 34/(-3)*(-81)/(-504). Let d = 31/7 - u. Let j = d + -13/2. Is -1 greater than j?
False
Let x be 16/(-80)*-5*(-2 - -1). Let i = -76/3 - -605/24. Which is greater: i or x?
i
Let l = -6 + 11. Suppose 3*w - 75 = -2*t + 12, l*w + 15 = 0. Let m be t/(-60) - 4/(-10). Is 0 equal to m?
False
Let w = -10 - -13. Suppose -w*a = a. Let q be -1*(-1 - 2) + (-1482)/418. Is q <= a?
True
Suppose 6*n - 4939 = -4921. Which is bigger: n or 12?
12
Let n = -13 + 12.77. Let i = 1.13 + n. Let g = 0.74 - i. Which is greater: g or 0?
0
Let k(q) = q - 5. Suppose 2*s + 2*w = 4*w - 2, -s - 3*w + 11 = 0. Let f be k(s). Is -4 at least as big as f?
False
Suppose -5*w + 2*w = 12, 115 = 5*p + 5*w. Suppose 0 = -11*l + 75 - 31. Suppose -31 + p = -l*t. Which is bigger: t or -2/43?
t
Let q be 51 + 10*4/10. Suppose -q*g - 22 = -56*g. Is g not equal to 0?
True
Let q be 4/14*(-6)/3. Let a = q + 9/28. Which is smaller: 0.1 or a?
a
Let i = 21 + -17. Suppose -18 + 114 = i*l. Suppose -21 = 5*w + l. Which is smaller: w or -8?
w
Let g = -245 - -239.96. Let d = -12 - g. Let q = d + -0.04. Which is bigger: 0 or q?
0
Let z = 1317 - 1322. Is -117/19 less than z?
True
Let y be 1 - (-2 + 3 + 2). Let z be 48/168 - (-27)/(-21). Do z and y have the same value?
False
Let u = 421/28 - 59/4. Let d = 267 + -162. Which is smaller: d or u?
u
Let a = 2482 - 62041/25. Which is smaller: a or 0?
0
Let l be (6/(-10))/(58167/(-230)). Which is smaller: l or 1?
l
Let w = -15 - -16. Let i be (-4)/((-120)/25)*w. Is 2 less than i?
False
Let u = -6008073/725 + 8287. Which is greater: 3 or u?
3
Let p = 8 - 7. Let x = -3.8 - -4.8. Is p bigger than x?
False
Let s(n) = -n**2 - 18*n + 629. Let f be s(-40). Are f and -250 nonequal?
True
Suppose -20*h - 11 = -9*h. Let m = 53 + -221/4. Which is smaller: m or h?
m
Let w = -855 + 854. Let z = -18 - -11. Which is bigger: w or z?
w
Let m(u) = -4 - u + 1 + 5 - 1. Let s be m(5). Is -2 at least s?
True
Let o = -69 - -68. Let a = 13 + -313/24. Is o equal to a?
False
Let k be (3/(-20))/(87/11). Let n = -433/6699 + -1/231. Let g = n - k. Which is greater: 1 or g?
1
Let o = -1036/12035 - -6/83. Let f = 0 - 1. Which is smaller: o or f?
f
Let h be (3380/(-1128) + 3)*504/(-48). Is h smaller than -1?
False
Let v be (44 + -44)/(4 + -1). Is 7/132 smaller than v?
False
Suppose -20*p = -