 a?
True
Suppose -3*u = -175 - 215. Suppose -5*b = 20 - u. Let w = -27 + b. Is w at most -3?
True
Let p be (-4)/(-26) - -1660*(-10)/(-260). Which is bigger: p or 66?
66
Let p = -34.61 + 0.91. Let q = p - -34. Is -1/2 <= q?
True
Let d = 0.278 + 0.722. Which is greater: d or 5?
5
Let f = 13.63 - 0.13. Let h = 12 - f. Let i = -1.4 - h. Is i equal to -0.2?
False
Let v be (-122 - -123) + 358/(-352). Which is greater: v or -1?
v
Suppose -2*c - 5 = -5*w - 1, -5*c - 10 = 3*w. Is -1/166 >= w?
False
Let u = -0.03 - 0. Let p = -0.23 - -0.36. Let k = u + p. Which is smaller: k or 15?
k
Let o = 18 + -20.78. Let c = 2.7 + o. Let t = 0.12 - c. Is 0.01 <= t?
True
Let s be (1812/36)/(8/(-6) - -1). Let y = 103 + s. Is -48 != y?
False
Let y be (2 + -4)/10 - (-364)/20. Suppose y = 4*o + 10. Which is smaller: -1/3 or o?
-1/3
Suppose 5 = 3*n - 13. Let r be (-2)/n + 20/15. Do -1/14 and r have the same value?
False
Let r(v) = 14*v**3 - 2*v**2 - v + 2. Let y be r(-1). Is y <= -10?
True
Let j = 6741 + -13865/2. Let z = j + 195. Which is smaller: z or 4?
z
Let y(n) = 9*n**2 - n. Let q be y(-1). Suppose 4*d - q = 154. Suppose 5*z + d = -4*b, b + 0*b = -z - 10. Are -8 and b unequal?
True
Let d(c) = -c**3 + 42*c**2 - 78*c - 90. Let k be d(40). Which is greater: -136/15 or k?
-136/15
Let n(o) = 38*o - 146. Let u be n(6). Which is greater: -2 or u?
u
Let k = 71/3 - 24. Let w = k - -5/6. Is w less than -4/3?
False
Let m = -177 + 163. Which is smaller: m or -2?
m
Let d = 390 + -392. Which is smaller: -165 or d?
-165
Suppose 0 = -z - 6 + 10. Suppose -2*m - 2*w + z = 0, -5*m + 3*w - 10 = 4. Is m <= -4?
False
Suppose o + 2*o + 2*n + 54 = 0, 92 = -5*o - 4*n. Let g = -91/9 - 50/9. Let x = o - g. Which is smaller: 0.5 or x?
x
Let f be (3 + -12)/((-6)/8). Let j = 14 - f. Suppose a + 9 = -j*a. Is a less than -2?
True
Let w = -7576 + 37859/5. Let a = -9 + 4. Which is smaller: a or w?
a
Suppose -101 = -2*w + 533. Suppose q = -3*r - 48 + w, -4*q - 454 = -5*r. Let z be (-18)/r - 26/(-55). Are z and -1 equal?
False
Let m(h) be the first derivative of -5*h**4/4 - 3*h**2/2 + 4*h - 30. Let i be m(1). Is 1/14 equal to i?
False
Suppose 0 = 3*h + 1 + 5. Let u(w) = 9*w + 2. Let x be u(h). Is -14 at least x?
True
Suppose 4*n + 459 = -245. Are n and -176 nonequal?
False
Let h(j) = -j**3 - 4*j**2 + 0*j**2 + j + 0 + 5 - 2. Let i be h(-4). Let z = -4 - -3. Is z at most i?
True
Let y be (-836)/6*(-4)/4*-3. Is y at least -1250/3?
False
Let s = -0.6 + 0.4. Let z = 170 + -166. Which is smaller: s or z?
s
Let d = 187 + -184. Let i = 16.89 - 17. Is i > d?
False
Suppose -2*d - 1618 = 2426. Does -2021 = d?
False
Let r(x) = -x - 11. Let p be r(-9). Let q be 2 - (12/3 + p). Let k be 4/(-18) - (-1)/3. Are k and q non-equal?
True
Let x = 13 + -27. Let v = 4 + 14. Let t be x/v + (-10)/45. Which is smaller: 3 or t?
t
Let a = 75230195/221193 - -2/221193. Let u = -712 - -1051. Let c = u - a. Is 0 smaller than c?
False
Suppose -19*k + 15*k + 8 = 0. Suppose -k*h - 28 = -32. Is 0 < h?
True
Suppose 3*q = q + l, 0 = -3*l + 6. Let i be 12/(-3)*-1*q. Which is smaller: i or 19/7?
19/7
Let k be (-26)/4*(-539)/(-98). Is k at most -36?
False
Let l = 3699/215 - 86/5. Is -1 not equal to l?
True
Suppose 2*r - 3 = 9. Suppose -7*l + l - r = 0. Suppose -2*m - 2 = -4*m. Is l less than or equal to m?
True
Let x be (29/((-783)/252))/(2/213). Is -993 greater than or equal to x?
True
Let m = 5 + -4.82. Let a = -0.08 + m. Let h = -36 + 25. Which is smaller: h or a?
h
Let b(f) = 2*f**2 - 12*f + 2. Let v be b(6). Suppose -14 = 4*c - 6*c + a, a = -4. Suppose -5*i - 6 + 16 = 5*t, c*i - 5 = 0. Is v equal to t?
False
Let m = -2669 + 32009/12. Let j = m - -4/3. Which is greater: 0 or j?
0
Let n(j) be the second derivative of -j**4/12 - 5*j**3/3 - 17*j**2/2 + j. Let l be n(-8). Which is smaller: 1/56 or l?
l
Suppose -5*w + 8*w - 3*d = 72, -3*w + 47 = 2*d. Which is greater: 0 or w?
w
Let x be -7*(-2)/8 - 1. Let f = 2288 + -2288. Which is greater: x or f?
x
Let k = -10308 - -10336.063. Let n = k - 0.063. Is -1 != n?
True
Let c = -4 - 15. Let i = 18 + c. Suppose 0 = 6*t - 7 - 47. Which is smaller: t or i?
i
Let b = 3/97 - -667/388. Let z(m) = m**3 - 5*m**2 - 5*m - 5. Let x be z(6). Which is bigger: b or x?
b
Let s = -46.23 - -46. Let h = -2.17 + s. Let i = h + 2.3. Are 0.1 and i unequal?
True
Suppose -5*g - 6 = -11*g. Let o = 4/425 - 2201/8075. Are g and o unequal?
True
Suppose 2 = 2*w - 0. Suppose 5*h + w = 26. Let b be 1/(-2)*(-8)/1. Is b < h?
True
Suppose -841 = o - 842. Is -2/213 bigger than o?
False
Let h be 5/20 - 713/(-28). Which is smaller: h or 27?
h
Let m(j) = -105*j**3 + 2*j**2 - 1. Let w be m(-1). Which is smaller: -1 or w?
-1
Let a = 17/31 - 285/124. Is -8 bigger than a?
False
Let t(v) = 142*v + 748. Let g be t(-7). Is g equal to -246?
True
Let d = 626 - 625. Is 3/479 less than or equal to d?
True
Suppose -n + 4*n - 4*z + 8 = 0, 3*n - 27 = -3*z. Suppose 11 + 16 = -5*w + 4*o, -n*w = 5*o - 3. Let f be (32/(-24))/(2/w). Which is smaller: 0.3 or f?
0.3
Let w be (-4)/((-23)/(-5) + -5). Which is bigger: w or 4?
w
Let i = -22 - -16. Let l(r) = r**2 - 13*r + 12. Let z be l(11). Let w be z*(-3)/30*-5. Is i greater than w?
False
Suppose v - 22 = 4*v + 5*q, 2*v = -2*q - 8. Let c be v - ((-18)/21 - -1)*3. Which is smaller: 2 or c?
c
Let i(u) = -47*u - 72. Let z be i(-6). Is 634/3 at least as big as z?
True
Let o(t) = -t - 8. Let w be o(6). Let v = w - -39. Does 25 = v?
True
Let d = -53 + -59. Let p = d - -99. Which is smaller: -7 or p?
p
Let d(l) = -l**2 + 9*l - 10. Let g be d(4). Let t be (g/(-15))/(4/9). Let f = 2 + -2.1. Which is bigger: f or t?
f
Suppose 1037 = 3*w - 5*c + 41, 0 = -2*c. Is w smaller than 330?
False
Suppose 0 = -11*i - 160 - 38. Suppose 5*t = 3 - 13, -2*q = -4*t - 14. Suppose 3*z + q*j + 51 = 0, 0*j + 68 = -4*z - j. Which is bigger: z or i?
z
Let l be 438/(-73)*(-3 - 1). Is 23 greater than or equal to l?
False
Let b = -0.2 - -0.7. Suppose -9 = -t + a, 33 = 4*t + a - 4*a. Suppose -h = t*h + 14. Is h < b?
True
Suppose -18*o - 4*f + 8 = -16*o, 3*o = -f + 32. Is 22 at most as big as o?
False
Let k be (5/(16 - 6))/((-3)/6). Which is bigger: k or -3/46?
-3/46
Let q(r) = r**3 + 2*r**2 - r + 1. Let a be q(-2). Let p(b) be the first derivative of b**2/2 - b - 250. Let o be p(a). Does 10/11 = o?
False
Let q be 3/6*(-18)/(-3). Suppose s = -2 + q, 2*z = 4*s - 104. Let v = -251/5 - z. Which is smaller: v or -2/27?
v
Let p = -405 + 489.9. Let l = p + -73. Let a = -12 + l. Which is smaller: a or 3?
a
Suppose -8 - 28 = -4*h. Let n be 10/(-15) - (-15)/h. Which is smaller: 2 or n?
n
Suppose 3 = 5*s - 4*s - q, 31 = 2*s + 3*q. Let z be 6/s + (-7)/4. Let o be 5 + -1*(z + 1). Which is smaller: o or 7/2?
7/2
Let b(r) = 2*r**3 + 23*r**2 + 28*r + 5. Let l be b(-11). Which is smaller: -545/3 or l?
l
Suppose -22*m = -19*m + 6. Let v be 2/(-6)*(-27)/(-18). Is m at least v?
False
Let v = -1221 + 1220.6. Is 80 equal to v?
False
Let p be (4 + -7 - -112)/((-7)/(-7)). Is -7 >= p?
False
Let z = 4521.2 - 4522. Let r = 0 + 0.2. Let b = 0.8 + r. Which is greater: b or z?
b
Let m = 0 - 7. Let p be 1/m - 8/336. Which is greater: p or 0?
0
Let j be 13 + ((-28)/(-4) - 0). Is 101/5 <= j?
False
Let k = 77 - -11. Let y = k - 87. Which is smaller: 1/59 or y?
1/59
Let a = 1 - 1. Let l = 0 - a. Suppose 4*x - 2*b = -12, -5*x - b - 4 = 4. Which is bigger: x or l?
l
Let u = 0.71 + -41.71. Let k = u - -45. Which is smaller: k or -2?
-2
Let j be (6/8)/(2/(-8)). Let k = 1568 + -1573. Is j less than k?
False
Let t = 154 + -153. Is 3/604 equal to t?
False
Let j = -17 + 17. Does 10.2 = j?
False
Suppose 0*z + 16 = 3*z + 2*u, -2*z + 3*u = -2. Suppose -4*b - 110 = 5*p, z*b - 5*p = -p - 128. Let c be 1/3*b/(-25). Is 10/3 < c?
False
Let y = -11.87 + 12. Let b = 24.87 + y. Do b and -2/3 have different values?
True
Let g = -1/7 - 40/63. Let p = -40/63 - g. Is 0 >= p?
False
Let q = -117.8 + 102. Let a = 16 + q. Is 1 greater than or equal to a?
True
Suppose -197*x = -192*x - 10. Let d = -1/1661 - -16623/21593. Is d at least x?
False
Let n(x) = 14*x - 32. Let u(c) = 5*c - 11. Let p(t) = 4*n(t) - 11*u(t). Let k be p(5). Let v be 3*(-1)/(-6)*k. Do v and -1/12 have different values?
True
Suppose 0 = -4*c + 8 + 4. Let n be (6/c)/((-6)/(-15)). Suppose n*i + 63 = 13. Is i smaller than -10?
False