*t - 0*t + 50. Suppose 5*s + 9 = -3*u, -2 - 1 = -s + u. Suppose 5*j + t = -s*j. Is j greater than or equal to -5?
True
Let k = -3744 + 3742. Suppose -21 = -2*o + 5*j - 9, 0 = 4*o - j - 6. Does o = k?
False
Suppose 0 = 4*a - 20 - 48. Let g = -8 + a. Are 17/2 and g equal?
False
Let q(r) = -2*r - 12. Let g be -7*((3 - 0) + -2). Let w be q(g). Is w < 6/11?
False
Let c(d) = -9*d - 15. Let v be c(-5). Suppose -6*n + 11*n = -v. Which is bigger: 0 or n?
0
Suppose 0 = 4*g + 2*j - 2, j - 1 = 2*j. Which is smaller: g or 2/199?
2/199
Suppose -7*p - 114 = -p. Is p <= -119/6?
False
Let r(v) = -v**3 - v**2 + v - 1. Let a(p) = 3*p**3 + 3*p**2 - 5*p + 8. Let k(o) = a(o) + 4*r(o). Let z be k(0). Let s = -66 - -70. Is z >= s?
True
Suppose 587 = -8*s + 4691. Are s and 514 nonequal?
True
Suppose 0 = -2*h + 20 - 10. Let q be (-2)/h - (-143)/195. Are q and 1 nonequal?
True
Suppose 0*f + f = 0. Suppose -614 = -5*k + 4*v, -k - v = -0*k - 130. Let z be 28/k + (1 - 21/(-27)). Which is bigger: f or z?
z
Let w = 164 + -161. Suppose 10*o = 5*o + 45. Let i = 13 - o. Which is bigger: w or i?
i
Suppose 5*o = k + 129, 2*k - 73 = 2*o - 323. Is k smaller than -123?
True
Let w(p) = -p**2 - 12*p - 33. Let g be w(-6). Let i be 3 + -3*g/3 - -13. Are 13 and i unequal?
False
Suppose -6350 = -10*n - 1330. Which is bigger: 501 or n?
n
Let s = -16 - -16. Let z be (912/24)/(s + 1 + -3). Does z = -19?
True
Let m(p) = -p**3 + 6*p**2 - 2*p. Let s be m(6). Let u be (-3)/(-2)*24/9. Suppose -u*o - 23 - 29 = 0. Is o < s?
True
Let p be (-3)/(-180)*21*-4. Let z be (-8)/(-24)*(2 + -8). Is z greater than or equal to p?
False
Let l be (3 - 4)/((6/4)/3). Let w = 161/2 + -248/3. Is w >= l?
False
Let y = 224 - 154. Let o be (-66)/7 + 30/y. Let n = -25 - -16. Is o > n?
False
Let b be -1 - ((-4)/(-14) + 156/(-7)). Let q be (6/4)/(b/(-224)). Which is bigger: q or -17?
q
Let c = -66 - -110. Let d = -3390 - -3433. Which is greater: c or d?
c
Let a = -36 + 38.8. Let w = a + 0.2. Suppose 9 = b - q, 3*b + 2*q + 5 = 2. Is b at most as big as w?
True
Let q be 10 - 1 - (3 + 0). Suppose 5*a = z + 25, q = -2*a - 3*z - 1. Suppose k - a = 2*k. Which is bigger: -0.2 or k?
-0.2
Let h = 253/40 - 33/8. Which is greater: 1 or h?
h
Let w(g) = -g**2 + 40*g - 146. Let s be w(36). Is s at least as big as -77?
True
Let j = -23 + 41. Suppose -3*z + j - 3 = 0. Suppose -4 = 4*i + w - 13, z*i + w - 10 = 0. Which is smaller: i or -4/9?
-4/9
Let a(f) = -5*f. Let p be a(-2). Suppose -12*g + p*g + 46 = 0. Is g != 0?
True
Suppose 0 = n + 8 - 80. Suppose 3*l = -5*l - n. Which is smaller: l or -5?
l
Suppose 2*o - 4*y - 13 = 9, 5*o + 4*y = 13. Suppose 9*b - 116 = o*b. Suppose -4*m - b = -v - 2*v, -3*m - 5*v = 0. Is m < -6?
False
Let l(h) = -3*h + 2. Let b = -28 + 30. Let s be l(b). Let a be s/14*70/(-200). Which is smaller: 1 or a?
a
Suppose -3*q - n + 2 = 26, -3*n + 12 = -3*q. Let i(m) = m**2 + 9*m + 8. Let b be i(q). Let z be (-111)/(-135) - b/(-10). Which is smaller: z or -1?
-1
Let y = 45/7 - 443/70. Which is smaller: -2 or y?
-2
Let r = -23 + 41. Let q = r + -22. Let d be (-8 - -7)/(2/q). Which is smaller: d or 1?
1
Let l be (-2)/(-4) + (-19)/2. Let s be 12*8/64*8. Let n = l + s. Is n > 5?
False
Let d be 0/((24/3)/4). Suppose 3*k - 1 + 31 = d. Let q = -548/3 - -174. Do q and k have different values?
True
Let l be 16/10*(-300)/(-240). Suppose 5*h - 18 = -3. Suppose 4*k - 9 = h. Which is smaller: l or k?
l
Let j be (6/(-5))/((-4309)/(-155)). Which is smaller: 1 or j?
j
Let u be (5 - 4/2)*(-3)/(-21222). Do 0 and u have the same value?
False
Suppose -79*q = -69*q + 180. Which is smaller: q or -30?
-30
Let a(r) = -2*r**3 + 13*r**2 - 7*r + 7. Let x be a(6). Let j = 121/8 + -4251/280. Are x and j nonequal?
True
Let y be 15/90 + 3932/168. Is y smaller than 23?
False
Let u(a) = a**3 + 4*a**2 + 5*a + 6. Let j be u(-4). Let w = -4 - j. Suppose b = -4*b + w. Is b > 1?
True
Let w be (-60)/45 - (-714)/171. Which is greater: 1 or w?
w
Let b be (-90)/15 - (-25)/(2 - 3). Which is greater: b or -162/5?
b
Let p = 1635329/512 - 3194. Are p and 0 non-equal?
True
Let i = 63.8095 + 0.0905. Let c = i + -64. Suppose -d + 6 = a, d + 14 = 3*d + a. Which is smaller: c or d?
c
Let a = 1737/14 - 124. Is 1 at least as big as a?
True
Let v be -8 + -65*1/(-5). Suppose -a - 4*y - 16 = -4*a, -y = -4*a + 17. Suppose -3*o + 2*o = 3*b + v, -37 = a*o - 5*b. Is -2 greater than or equal to o?
True
Suppose 76*z = -12*z + 616. Let t(y) = y**3 - 7*y**2 + 6*y + 6. Let a be t(6). Which is smaller: a or z?
a
Let p(a) = 4*a - 9 + 8 - 3*a**3 + 6. Suppose -4*c - 4 = 5*s - c, c = 2. Let x be p(s). Is 21 at most as big as x?
True
Suppose 3 = -q - 2*q. Suppose 5*a - 5 - 15 = 0. Suppose -s - 10 = -a*o, 4*s + 5*o - 12 = 5*s. Is q >= s?
True
Let b be (-26)/3*12/(-8). Suppose -4*j - 5*g = -13, -j + 4*g + b = -6. Suppose -j*l = -2*l + 65. Does l = -13?
True
Let k be ((-12)/30)/((-2)/(-80)). Let u = k + 13. Let d be -4 + (-3)/u + 3. Is d at least as big as -3/4?
True
Let g(k) = k**2 - 8*k - 10. Let l be g(8). Let p = l + 16. Suppose 3 = 3*h - 4*t - 8, 3*t = 3. Is p bigger than h?
True
Let i = -1.516 + 1.69. Let z = -22.226 - i. Let d = -24 - z. Is d < -0.1?
True
Suppose 2*f - m = -3, 5*f + 5 = -2*m + 2. Let q = -28 - -82/3. Let a = q - f. Is -2 not equal to a?
True
Let r = -12 + 16. Let p(n) be the third derivative of n**6/120 - n**5/6 + 3*n**4/8 + 2*n**3/3 + 6*n**2. Let t be p(9). Is t smaller than r?
False
Let k be -17*(0 + 2 + -3). Suppose -3*t = p + 136, -4*t - 280 = 5*p - 95. Let f be t/75 + 83/5. Which is bigger: f or k?
k
Let f = 444 - 443.9. Is -46 <= f?
True
Suppose -159*q = -134*q - 25. Let y be (0 - 1)/((-2)/(-16)). Let x be 2/y - 6/8. Which is smaller: q or x?
x
Let f be 816/336 - 10/7. Do 11/60 and f have different values?
True
Let q = -22/13 - -4285/2509. Is q less than or equal to 1?
True
Let n = 316.3 + -316. Which is smaller: -0.44 or n?
-0.44
Let k = 1168 - 1179. Let h(q) = -q**2 + 3. Let r be h(4). Which is bigger: r or k?
k
Let q = 1 - -4. Suppose 0 = q*k - 86 - 94. Suppose k = r - 5*r. Is r > -9?
False
Let o = -146 - -147. Let g = -25 - -15. Let z = g + 14. Which is smaller: z or o?
o
Let h be 16/(-3)*15/10. Let g = -6 - h. Suppose -g = -l - 11. Is l at most -10?
False
Let b be (-1)/(4/(-16)*2). Let x(n) = n**2 - 3*n + 5. Let z be x(b). Do 23/6 and z have the same value?
False
Let v = -327 - -122. Which is smaller: v or 0?
v
Let r = 564 - 42857/76. Which is smaller: 0 or r?
0
Let b be (3/((-36)/16))/(444/18). Which is smaller: b or -8?
-8
Let b = -35 - -34.5. Let p = 0.15 - 9.15. Let c = 8 + p. Is b > c?
True
Let o be (-1*2 + 2)*-1. Let r be 16/(-114)*33/44. Which is greater: r or o?
o
Let c(b) = -7*b**3 - b**2 - b. Let f be c(-1). Let s be ((3/(-4))/3)/(12/(-360)). Are f and s non-equal?
True
Suppose -3*i = -2 - 7. Suppose 3*n = -4*h - 2, -i*n + 7*h + 43 = 2*h. Let b(z) = 5*z**3 + z**2. Let s be b(1). Do s and n have the same value?
True
Suppose 3*b = 4*y + 4, -7*y - b - 4 = -3*y. Let n(p) = 3*p - 3. Let c be n(5). Let g be (-4)/c - 0/(-1). Is y greater than or equal to g?
False
Let k(w) = -w**2 + 8. Let m be k(-3). Which is greater: m or 1/204?
1/204
Suppose 2*f + 60 - 1006 = 0. Let p = -907/3 - -2312/3. Let u = f - p. Is u bigger than 5?
False
Let v = -0.009 + 15.009. Let d = v - 17. Which is bigger: d or -2/33?
-2/33
Let q be (-5 + (-42)/(-7))/(4 + 1). Are q and 0.032 nonequal?
True
Let t = -61 - -66. Let m be (2/t)/((-9)/30). Which is greater: m or 0?
0
Let u be 10/(1*(3 + -5)). Let z = u - -4. Let q be z - ((-3)/3 - 2). Which is bigger: 0 or q?
q
Let k = -3.73 + 2.73. Is k smaller than 182?
True
Let l(a) = a**3 - 6*a**2 - 14*a + 89. Let r be l(6). Let o(g) = g**3 - g**2 - 3*g - 4. Let v be o(3). Is r < v?
False
Suppose 54*c - 43953 + 1347 = 0. Is 0 less than c?
True
Suppose -2*o - o - 234 = 0. Let t = o - -82. Which is smaller: 3 or t?
3
Let f(h) = 2*h**3 - 15*h**2 + 16*h + 11. Let w be f(6). Which is smaller: -4/31 or w?
w
Let u be (-63)/9 + 48/7. Which is greater: 1 or u?
1
Suppose -5*c = 1144 - 1799. Which is bigger: 656/5 or c?
656/5
Suppose 5*o + 5*d + 20 = 0, 0 = -4*o + 5*d - 2*d + 19. Let r be (0 + 1)*4/o. Let u = 8117/2500 + 2/625. Is r greater than u?
True
Let l be 2/(9/((-1044)/8)). Let v = -24 - l. Suppose 5*s + v*z - 72 = s, 0 = 5*z. Is 19 greater t