*(0 - -1). Do c and t have the same value?
False
Let j = -23/4 + 169/28. Suppose 26 = -3*t + 2*x, 3*t = -2*x - 9 - 1. Let q be (7/t + 1)*-2. Is q not equal to j?
True
Let h = -11 + 15. Suppose -5*n + 4*m = -2*n + 27, -h*n - 40 = -4*m. Let w = -12 - n. Which is greater: 1/5 or w?
w
Let g be 6 + -5 + 1 + 1. Suppose -5*i - g*j + 2 = -i, 0 = j - 2. Which is smaller: i or -1/18?
i
Let q be (0/(-2))/(-1)*1. Suppose 4*o - 8 = -q*o, -3*f - 4*o + 11 = 0. Is f smaller than 2?
True
Suppose 5*z = -4*u - 16, -2*z - 15 + 9 = 2*u. Is -3 >= u?
False
Let t be (-2)/(-12)*(-9)/(-2). Let x be (45/10 - 3)*6. Suppose -3*c - 2*o = -12, c = -3*o + x + 2. Is c at least t?
True
Let x(y) = -y - 14. Let t be x(-20). Let i be (1 - 0) + 0 + 4. Suppose -5*g + 105 = -i*p, -5*g + p = -103 - t. Is 22 at most g?
True
Let p = 0.0655 + -0.0655. Is -96 >= p?
False
Let c be (1 + 136)/((-79)/79). Which is smaller: -138 or c?
-138
Let p be (-486)/12 - 9*10/(-15). Which is smaller: p or -35?
-35
Let c = -40.5 + 2.5. Let x = 39.9 + c. Let m = 0.1 + x. Is -2 at least as big as m?
False
Let s = 4 + -2. Let u be s/(-2)*(-32)/4. Are u and -1 nonequal?
True
Let s = -49 + 51. Is -0.6 not equal to s?
True
Let g = -16706 + 217286/13. Is 8 less than g?
True
Let a = -127671/5612 - 1/2806. Is -22 greater than or equal to a?
True
Let c = -2375 - -1402. Which is bigger: -972 or c?
-972
Suppose -17*s = -32*s - 195. Is s equal to -0.04?
False
Let s = 547/414 - -21/46. Which is smaller: s or 1?
1
Suppose -6*l - 6 = -0. Is -1/163 greater than l?
True
Suppose 20*r = 7*r + 78. Let z be (r/(-4))/((-4)/304*2). Is z bigger than 57?
False
Let j = -317 + 306.96. Let n = j + 0.04. Let c = n + 6. Which is bigger: 2 or c?
2
Let c = -222235/6706 + -3/958. Which is greater: -34 or c?
c
Let o be ((-4)/6)/((-62)/(-3627)). Which is smaller: -41 or o?
-41
Suppose 0 = o + i - 1, -8*o + 3*o - 4*i + 5 = 0. Let l be ((-17)/7 - -1) + o. Let v be 14/(-35) - (-2)/5. Which is bigger: l or v?
v
Let b be (18/(-12))/(6/(-16)). Suppose -10 = -l + g, -11 = l + 4*g + b. Is 5 smaller than l?
False
Let n(t) = -t**3 + 8*t**2 + 8*t + 11. Let f be n(9). Suppose x - 24 = 5*s, -f*x + x - 3*s - 8 = 0. Let k be (-13)/(-30) + x/24. Is 1 bigger than k?
True
Let l(f) = -2*f**3 + 3*f**2 - 3*f + 2. Let k(o) = o**2 - 3*o + 4. Let g be k(3). Suppose -g*z + z = -6. Let x be l(z). Which is smaller: x or -7?
x
Let w = 1610 - 652. Let l be w/798 - (0 - -1). Let f = l - 2/21. Which is smaller: f or -1?
-1
Suppose 0 = 31*x - 28*x - 21. Suppose -2*t = 5*t - x. Which is bigger: 2/3 or t?
t
Let u(w) = -w**3 + 9*w**2 - 20*w + 5. Let r be u(6). Let b(x) = x**3 + 4*x**2 + 2*x + 4. Let s be b(-3). Let a = -13 + s. Is r < a?
True
Suppose -3 = -5*p + 3*m + 6, -m = -3*p + 7. Suppose p*z = 5*z - 4*x + 2, 4*z = -4*x - 4. Which is smaller: z or 4/11?
z
Let h(m) be the third derivative of -m**4/6 - 4*m**3/3 + m**2. Let g(t) = -t - 1. Let n(d) = -24*g(d) + 3*h(d). Let a be n(-1). Is -12 at least a?
True
Let t = -236.06 + 236. Let p = -0.02 + 0.02. Is t equal to p?
False
Let l(q) = -104*q - 307. Let k be l(-7). Which is bigger: 420 or k?
k
Let t(o) = o**2 + 19*o + 8. Let q be t(-11). Let a be q/(-3) - 4/(-12). Which is greater: 26 or a?
a
Let o be ((-1)/41)/((-18)/(-36)). Is -32 smaller than o?
True
Let z = -2/373 - 9656/7833. Let l = 4/7 + z. Are l and 1 equal?
False
Let h(x) = x**2 + 2*x + 36. Let m be h(0). Let t = 32 - m. Which is greater: t or -3?
-3
Let h be ((-40)/(-90))/((-140)/(-18)). Which is smaller: 0 or h?
0
Suppose 5*f = -6 - 14. Let h be (f/(-42))/((-2)/(-6)). Let r = 18 + -18. Which is bigger: h or r?
h
Suppose 25*o - 10 = 35*o. Is -1623 <= o?
True
Let q = -16 + 28. Let i be 3/(-2)*(-4)/q. Let p be (-27)/216 - 9/(-8). Which is bigger: p or i?
p
Let j = -56635/87 - -651. Which is smaller: j or 0?
0
Let i = -248 + 247.97. Which is smaller: i or 2/29?
i
Let q(r) = -r. Let y be q(-5). Let z = 33 + -28. Suppose -2*t + y*s + z = -0*s, t - 4 = 4*s. Is 5/6 less than t?
False
Let x = -134 - -535/4. Is x at least -0.1?
False
Suppose -8 = -4*f, -5*f = -2*v - 2*v + 242. Suppose -8*g + v = -5*g. Let j = g - 10. Which is greater: j or 21/2?
j
Suppose 16*i = -5*t + 18*i + 27, 3*t - 14 = -i. Which is smaller: t or 44/7?
t
Suppose -5*j - 6*z = -z - 100, 5*z - 52 = -3*j. Let l(d) = d**3 + 9*d**2 + 6*d + 9. Let f be l(-8). Is j != f?
True
Let o = -20 + 10. Let r be (-6)/(-24) - o/6 - 2. Let s = 1 + 0. Which is smaller: r or s?
r
Let q(a) = -1. Let v(b) = b + 2. Let k(r) = 2*q(r) + v(r). Let z(f) = -3*f + 8. Let u(l) = 2*k(l) + z(l). Let x be u(-9). Are 17 and x non-equal?
False
Let y be -6 - -1*(6 + -4). Let w be 20 + -1 + 3 + y. Which is smaller: 17 or w?
17
Let a = 30.9 - 45.9. Are 10 and a equal?
False
Let j(t) = -t**3 - 4*t**2. Let x be j(-4). Suppose -4*u - u = x. Suppose -w + 4*n + 13 = u, 0 = -0*w + 4*w + 3*n + 5. Which is greater: w or -1?
w
Suppose -5*x = v + 23, 0*x - 3*x - 33 = 3*v. Let q = -75.9 - -76. Which is greater: q or v?
q
Let o be (-2)/(-6) - 1/3. Let k = 1/16 + -101/80. Which is bigger: k or o?
o
Let f be 3/(-14) + (-6)/21. Suppose 276 = -4*j - c, 4*j + 4*c = 2*j - 138. Let z = 73 + j. Which is smaller: f or z?
f
Let r = -408 - -409. Is r smaller than 9/32?
False
Let s = -1036 + 1036.2. Let w = -1.6 - 0. Is s <= w?
False
Suppose -5*b + 11 = w - 2*b, 2*w - b + 6 = 0. Let k(h) = -h**2 + 5*h - 5. Let o be k(4). Is o smaller than w?
False
Suppose -78*q + 186 = -204. Let d = 1.91 + -2. Which is greater: q or d?
q
Suppose 0*o = 4*o. Let h be ((-4)/(-60))/((-10)/(-210)). Which is smaller: o or h?
o
Let o be ((-6)/(-8))/(-2*945/(-240)). Is o <= -3/17?
False
Let b = 78 + -130. Let i = -28 - b. Let v = i - 33. Which is greater: v or 0.2?
0.2
Let f be 0 + -2 + 12 + -517. Let b = f - -9631/19. Which is smaller: b or -1?
-1
Let v be 3/(-2) + -2 + (-441)/(-126). Is 1/2615 > v?
True
Suppose -4*m = 4*q, 2*m + 10 = -39*q + 42*q. Let u = -128 + 2433/19. Is m not equal to u?
True
Let c = 870974/439 + -1984. Which is greater: -1 or c?
c
Let n(u) = u**2 - u + 4. Suppose -4*a = -5*v - 4, 5 = 3*v + a + 4*a. Let i be n(v). Suppose i = g - 0*g. Is g less than 4?
False
Let j be 99/330*4/9. Let s(r) = -r**3 + 1. Let v be s(1). Which is bigger: v or j?
j
Suppose 4 = -0*a + a. Suppose 3*n + a = 4*n. Which is smaller: 3 or n?
3
Let n = 56 - 148. Let o be (6/(-28))/(-3*(-1)/n). Which is smaller: 8 or o?
o
Suppose 0 = -4*o + 7*o + 3*t - 12, -4*o - 19 = -3*t. Is o at least as big as -8/305?
False
Let o = -520/81 - -7790/2349. Are o and -2 equal?
False
Let n = 1 - 1. Let q = n + -1. Let u(d) = -d**3 + 15*d**2 + 53*d - 3. Let a be u(-3). Which is bigger: q or a?
a
Let r = -70.68 - -14.68. Which is bigger: 0.02 or r?
0.02
Let t = -1576/20349 + -16/323. Is t less than -1?
False
Let b be -2*(-8)/((-64)/(-8)) + -1. Let m be -1 - 1*42/(-38). Which is smaller: m or b?
m
Suppose -3 = -5*n + 17. Suppose 5*g + r = -4, g + 0*g = 3*r - n. Let f be -1*((-10)/(-28))/(-5). Are g and f unequal?
True
Let b = 0.429 + -0.599. Let q = -23 + 23.17. Let v = q + b. Is v greater than or equal to -2/15?
True
Let h be ((-2)/18)/(452/96). Which is bigger: h or 0?
0
Suppose 3*p = 3*r - 9 + 24, 2*p - 6 = 0. Which is smaller: r or -7?
-7
Suppose a - c + 3 = -0, 4*a + c + 2 = 0. Let m = -1/356 + -2131/1780. Which is smaller: a or m?
m
Let o(x) = -15*x**2 + 9*x + 1. Let y(g) = 7*g**2 - 4*g - 1. Let i(a) = 6*o(a) + 13*y(a). Let p be i(3). Is p greater than or equal to 8?
True
Suppose 4*q + 0*o + 8 = 4*o, 5*q - 4*o + 15 = 0. Suppose 0 = 2*f + 3*f. Suppose f = -5*p - 3*n - 35, 4*p - 5*n + 22 = -6. Is q < p?
False
Suppose -o - 8*p + 169 = -4*p, o + 5*p = 168. Which is bigger: 171 or o?
o
Suppose 5*k + 9 + 9 = -3*x, -5*k - 17 = 2*x. Let g be (12/4)/k*-4. Suppose -4*j + 0 = g. Which is smaller: -8/5 or j?
-8/5
Suppose 5*v = -7*p + 8*p + 166, -4*v + 5*p + 116 = 0. Is v smaller than 103/3?
True
Let i(z) = -z**3 - 14*z**2 - 13*z - 3. Let r be i(-13). Let p(l) = l**3 + 5*l**2 + l + 9. Let u be p(-5). Suppose 5*c - 3*c + u = 0. Is c not equal to r?
True
Let t = 50 - 139. Let f = t - -91. Let o be (-1 + 3 + -1)*-1. Which is smaller: o or f?
o
Let t = -53 + 118. Suppose 364*o - 305*o = 3835. Is o greater than t?
False
Let m = -61 + 121. Suppose 14 = 4*z + n - 4*n, n = -2*z + 2. Let u be z + (m/(-14) - -2). Which is smaller: