eater than 0?
False
Let b = 7.2 + -7.19. Let d = -2 - -1.89. Let k = b + d. Which is smaller: 0.2 or k?
k
Suppose 28*o = 32*o - 20. Suppose 4*u = -o - 7. Is -11/4 <= u?
False
Suppose f + 226 = -4*n - 316, -5*f = -n - 125. Let b be -5*2*(417/n + 3). Which is smaller: b or 1?
b
Let i = -1 - -3. Suppose -2*h + 732 = 2*f - 0*h, -i*f = -h - 741. Let t be (-1)/2*(-18)/f. Which is greater: t or 1?
1
Let s(f) = f**2 + f - 1. Let n be s(-6). Let c = n - 40. Let p be (-12 - 0) + 4 + -7 + 3. Does c = p?
False
Let i = -0.8 - -0.71. Which is smaller: i or 0.7?
i
Let y = 629/10 + -69. Which is bigger: -5 or y?
-5
Suppose -9*n + 21*n = -16*n. Which is smaller: n or -4?
-4
Suppose 0 = -16*k + 33 + 463. Which is bigger: 38 or k?
38
Suppose 4*q + 5*i = 2*q + 22, 5*q + 11 = 4*i. Let c = -25 + 56. Are q and c non-equal?
True
Let v = -33 - -941. Which is greater: 909 or v?
909
Let v be (1*60)/(-4)*(-10)/15. Let w(z) = z**2 - 8*z - 20. Let q be w(v). Which is smaller: -1/46 or q?
-1/46
Let d = 15 - -1. Let s = d + -5. Let u = 9 - s. Which is bigger: -1/4 or u?
-1/4
Let k = 1081/4 + -272. Suppose 136*l + 15 = 128*l + 7. Are l and k nonequal?
True
Suppose 14*u + 3471 = -2563. Is u not equal to -432?
True
Let b be -26*(4 - -8*2/4). Do -212 and b have different values?
True
Suppose -741 = 57*i + 1482. Which is greater: -42 or i?
i
Let l = -0.56 + 0.43. Let v = l - -0.23. Is v less than or equal to 10?
True
Let v = 32 + -17. Let z = 1653 - 1641. Which is bigger: z or v?
v
Let m be (70/21)/(-5) - 760/(-6). Which is bigger: m or 0?
m
Let h = 36 + -58. Do -21 and h have the same value?
False
Let g be (0 - 3)*(13 + -12). Let h = -136 - -131. Which is smaller: h or g?
h
Let s be (-19)/((-19)/(-2))*(0 + -10). Let k(x) = x**2 + 2*x - 3. Let n be k(2). Suppose -s = n*o, -4*o - 9 - 19 = 2*a. Which is smaller: 0.2 or a?
a
Let y be ((-259)/(-7))/(-1)*(-2 - -3). Which is smaller: -328/9 or y?
y
Suppose -23*c + 1077 = -970. Which is smaller: c or 90?
c
Let f be (-12 - -2)/((-1)/4). Let d be (4/(-8))/(2/f). Let l be 61/(-6) - (-8)/48. Do d and l have the same value?
True
Let t = 67 + -23. Let v be (-11)/t - 25/(-148). Which is smaller: 1 or v?
v
Let s(w) = w**2 - 49*w - 177. Let p be s(54). Is p not equal to -7?
True
Let a = -7 + 6.8. Which is smaller: a or 72?
a
Let r be (-168)/147 + (-2134)/105. Is r < -20?
True
Suppose 25 = 3*h + o, 37 = -h + 4*h - 5*o. Let d be (-2)/(-5)*(-2 + 7). Let z be 2/(12/h - d). Which is bigger: -4 or z?
z
Let d be (-2859)/(-357) + -9 + 1. Does 1 = d?
False
Let a = -143 + 309. Are 166 and a equal?
True
Suppose 5*d + 0*d = -5. Suppose -u + 110 = -11*u. Which is smaller: d or u?
u
Let o = -19 + 28. Suppose -2*n + 12 + o = -5*c, 0 = -4*n + 2*c + 2. Let p be 2/(-4)*(-6 + 12). Is p equal to n?
False
Let q be ((-8)/(-10))/((-648)/(-540)). Is q smaller than -7/23?
False
Let g be (-1 + 0)*(1 - 6). Suppose -1 = g*c + 4. Which is greater: c or -2/63?
-2/63
Let h = 204834/25 - 8192. Is h bigger than 0?
True
Suppose 4*v = 3*a - 26, 159*a - 164*a = -4*v - 22. Let u(c) = -c**3 - 5*c**2 - c - 5. Let f be u(-5). Is v smaller than f?
True
Let r = 2921 - 26201/9. Are 2 and r non-equal?
True
Suppose -3*p - 76 = -g, -4*p - 617 = -609. Is g not equal to 75?
True
Suppose -x - s = 0, -4*s - 3 = 5*x - 4. Is x less than 61?
True
Let k be ((-150)/240)/(3/12). Which is smaller: 0.193 or k?
k
Let o = 309 - 308. Which is smaller: -2/53 or o?
-2/53
Suppose 0*y + 8*y = 6*y. Let i = -3/388 - -2379/6596. Is y greater than i?
False
Suppose 73 = -5*a + 218. Let y = -35 + a. Let g be 3/((-3)/5)*1. Is g at least as big as y?
True
Let h(g) = g**3 - 4*g**2 + 3*g - 3. Let t be h(3). Let r be t - (14 - (2 - -1)). Let f be ((-6)/21)/(1/r). Do 3 and f have the same value?
False
Let m = 8 + -6. Let j be ((-2)/6)/(m/(-66)). Let i = 786 - 784. Is i >= j?
False
Let j be ((-4)/(-78))/(-8*4/144). Suppose -u = -3*a + 5, 0 - 3 = 5*a + 4*u. Which is bigger: j or a?
a
Suppose 20 = 3*c - 23*c. Is c at least 26?
False
Let r be (-3)/((-15705)/(-5230) + -3). Which is bigger: r or -1047?
r
Let o = 227 + -247. Which is smaller: -19 or o?
o
Let x(c) = -c**3 - 10*c**2 - 10*c - 9. Let g be x(-9). Suppose 4 = 4*o + 20. Let v be ((-3)/6*o)/(-14). Do v and g have the same value?
False
Let v(a) = -11*a + 9. Let b be v(2). Let z be (1 + -6)/(2/(-4)). Let p = z + b. Which is greater: p or -5?
p
Let a(f) = -f**3 + 4*f**2 + 5*f + 5. Let i = -3 + 8. Let r be a(i). Suppose d + 8 = r*k - 3, 0 = 3*k + d - 13. Which is smaller: k or 2?
2
Let d be 6/3 - (-56)/(-35). Let o be (242 - 6)*1/(-2). Let b be 0 - -3 - o/(-38). Is d at most as big as b?
False
Let v = -67.1 - -67. Let u be (4 - (-1)/(-1)) + -6. Are u and v unequal?
True
Suppose 0*h - 2*h + 8 = 0. Suppose 3*k + 5*a = -11, -6 = -5*k + h*a + 25. Suppose l + 2*l = k. Which is smaller: -4/17 or l?
-4/17
Let f be 3/(-6) + 9/2. Suppose -2 = -o + f. Suppose o*d - 2 = 4*d. Which is greater: d or 2/19?
d
Let u(v) = 2*v**2 + 14*v. Let z be u(-7). Which is bigger: -2/325 or z?
z
Suppose b + 0 - 4 = 0, 5*f - 5*b + 15 = 0. Suppose 2*i = -f + 3. Let v be 0 - ((-16)/18)/(-2). Is v != i?
True
Let t be (-6)/(-14) - 3122/(-147). Is t >= 23?
False
Suppose -7*t = -2*t + 80. Let w be (t/(-12) + -1)/2. Suppose 0 = -2*k + 8*k + 6. Which is greater: k or w?
w
Let v be (4 - 0) + (-1)/4*4. Is 19/9 <= v?
True
Let p(a) = -a**3 - 6*a**2 + a - 3. Let v be p(-3). Let l(h) = h**3 + 53*h**2 - 32. Let q be l(-53). Which is smaller: v or q?
v
Let h(k) = -k**3 + k**2 + k + 9. Let s be h(0). Let i = s - 19. Let d = -9 - 0. Is i not equal to d?
True
Let t be ((-100)/(-345))/5*(-3)/(-2). Suppose -j - 2*j + 4*d - 15 = 0, -11 = 2*j - 3*d. Which is bigger: t or j?
t
Let h be (-2)/(-86)*(11 + -9). Let a(q) = q**2 - 12*q + 2. Let i be a(12). Suppose 3*u - 4 = -o, -i*o + 0*o - u + 3 = 0. Which is smaller: h or o?
h
Let w = 14836/9 + -11408857/6921. Which is smaller: w or 0?
0
Suppose 9*g - 96 = -663. Which is smaller: g or -66?
-66
Let t = -7.014 - -7.1. Let o = 9.986 - t. Let j = o + -10. Are j and 0.5 equal?
False
Let j = 234 - 234. Let v = 7 - 7.35. Is j less than or equal to v?
False
Let o(d) = 8*d**2 + d + 12. Let v be o(-2). Which is smaller: v or 43?
v
Let g = -22340/3 - -109894/15. Let j = 1901/15 + g. Which is smaller: 7 or j?
j
Let j = -234 - -236. Let x(h) = -h**2 + 8*h. Let w be x(8). Are w and j non-equal?
True
Let h = 0.135 - 0.144. Is -1 at most as big as h?
True
Suppose 2*r + j + 12 = 3*j, r + 26 = 5*j. Which is smaller: 2/29 or r?
r
Suppose 0 = -3*c + 4*c - 2. Suppose -11*g + 36 = -5*g. Let w(o) = -o**2 + 6*o + 1. Let r be w(g). Is r greater than c?
False
Suppose -210 = 2*x + 3*x. Let j = x + 16. Let p = j - -105/4. Is p bigger than -0.2?
True
Let j = 2/1201 + -2508/63653. Do j and 0 have the same value?
False
Let w = 54 - 50. Suppose w*g - i + 0*i = 2, 0 = -2*g + 2*i - 2. Let d be ((-1)/(-2))/((-58)/(-12)). Is g at most as big as d?
False
Let x = 943/22 - -216/11. Which is smaller: x or 64?
x
Let k = 4/9 - 197/342. Are k and 1 equal?
False
Let m = -5 + 5.082. Let w = -0.018 - m. Which is smaller: w or -3?
-3
Let n = 2627/3290 + 1/658. Is n > -0.041?
True
Suppose 189 = -10*l + 239. Which is smaller: l or 15?
l
Let u(l) = 15*l - 25. Let p be u(2). Suppose 0*a - 2*b = 3*a + 13, a - 24 = p*b. Let n be 2 - ((-25)/(-9) - 1). Is n greater than a?
True
Suppose 20*c - 226 = -2106. Is -286/3 less than or equal to c?
True
Let f(c) = -2*c**3 - 9*c**2 - 12*c + 9. Let s be f(-3). Which is smaller: s or -0.3?
-0.3
Let p = -19.71 + 20. Let m = p + -12.29. Let x = 6 + m. Which is smaller: -1/4 or x?
x
Let v = -1062 + 653. Is -1 > v?
True
Let f = -23 - -16. Suppose 5*t - u = -15, 3 = 2*t - 4*t + u. Do f and t have the same value?
False
Let r be 36/594*(0 + 21). Let x be (8/4)/(6/3). Is r equal to x?
False
Let p = -54 - -64.6. Let o = p + -16.1. Which is greater: -1 or o?
-1
Let g = 0.2226 - 0.0226. Is g smaller than 50?
True
Let p(y) = -y**2 + 5*y - 6. Let v be p(3). Suppose -i + 2*h - 51 = -v*i, -2 = h. Is i greater than -55?
False
Suppose -2*f - 2*f = -20. Suppose 70 = f*k - 55. Let t = 24 - k. Is -3 < t?
True
Let m = -61 - -35. Let v = m - -22. Is -1 at least v?
True
Let u = -5/133 - -653/13832. Which is greater: 0 or u?
u
Let n(i) = i + 2. Let p = -30 + 29. Let r be n(p). Which is bigger: r or -19?
r
Let b = 