t v be 1/(159 - 8/(-2)). Let t = 145/2934 + v. Are r and t unequal?
True
Let t(f) = -14*f**2 - 100*f - 650. Let a be t(-6). Which is smaller: a or 1?
a
Suppose 0 = 3*z + 2*v - 27, z - 3*v - 3 - 6 = 0. Suppose 6*p - z*p + 3 = 0. Let u(j) = -2*j**2 + j. Let h be u(1). Is p at least as big as h?
True
Let u be 45 - ((4 + -6)*1 - -1). Are 30 and u nonequal?
True
Let h = -298 + 80. Let w = h + 217. Which is smaller: w or 116/7?
w
Let h be ((-8)/(-30))/(4/(-70)). Let n(x) = x**3 + 9*x**2 - 50*x - 452. Let o be n(-7). Is h greater than o?
False
Let i = 477 + -393. Let v be (33/(-9) + 1)/(140/i). Is v greater than -2?
True
Let c = 8 - 14. Suppose 2*m - 10 = 0, 4*j - 119 = 5*m + 1940. Let f = j - 4691/9. Is c equal to f?
False
Let s = 284 + -139. Let v(h) = h**3 - 52*h**2 + 99*h + 196. Let y be v(50). Which is smaller: s or y?
s
Let w(b) = 112*b - 1. Let n be w(-1). Let l = 132380 - 132492. Which is greater: l or n?
l
Let w be (6591/(-130))/(6/(-8))*130/6. Which is bigger: w or 1466?
1466
Suppose -163*v + 132*v + 52421 = 0. Which is greater: v or 1692?
1692
Let s be (-2*8/(-8750))/(96/82640). Let f = s - 1/375. Is 2 smaller than f?
False
Let q be (-1)/((-10)/(-4)) - 1896/(-5040). Let a = q - -5/14. Which is greater: -133 or a?
a
Let g(l) = l + 10. Let w be g(-3). Suppose k - 16 = -w*k. Suppose 3*i + y - 7 = 0, -k*y + 5 = i + 11. Is i smaller than 4?
False
Suppose 1244*q + 972 = 3*p + 1241*q, -1290 = -4*p + 5*q. Which is bigger: p or 2.7?
p
Let q(f) = 28*f**2 - 4*f - 3. Let x be q(-3). Suppose 0 = 4*n + 4, -10*u + 5*n = -6*u - x. Which is smaller: u or 63?
63
Let i = 450.21 - 450.11. Let c = 0.044 + -0.073. Which is smaller: c or i?
c
Let m(j) = 995*j**2 - j. Let i be m(-1). Let p be 181270/(-4)*110/(-5005). Let q = p - i. Which is greater: q or -1?
q
Suppose -3 = -2*j + 7. Suppose -9*p + 36 = -j*p. Let s be (6/p)/(-2) + (-8)/(-9). Which is greater: 0 or s?
s
Suppose -2*j - 1654 = 8*t, 5*j + 0*j = 4*t - 3967. Is -0.07 equal to j?
False
Suppose 38237 = -162*j - 61555. Which is smaller: -619 or j?
-619
Suppose 21*x + 4491 = -927. Let z = x + 5417/21. Which is smaller: z or 0?
z
Let a = 41.742 - 5.742. Is a at most as big as 0.011?
False
Suppose 56*q = 33*q + 69. Let g(m) = 10*m**3 + m**2 - 2*m + 1. Let l be g(1). Let k be (39/l)/((-120)/(-50)). Is q greater than or equal to k?
True
Suppose 17 = 5*f + 7. Let c = -13.8 - 23.2. Let d = 37.1 + c. Are d and f non-equal?
True
Let w = -44.03 + -2.17. Let i = w + 50.2. Is i at least -0.3?
True
Suppose 4*z = 0, 41010 = 2*n - 58*z + 53*z. Which is greater: n or 1?
n
Let l = 1095/7337 + -6/319. Let c = 533 + -532. Which is smaller: l or c?
l
Let p be 23/1 + 24 + -18. Suppose -228 = p*b - 30*b. Is b greater than or equal to 229?
False
Let y = 3281 - 150935/46. Is 1 greater than y?
True
Let a = 54 - 54. Suppose 2*o - o + 0*o = a. Suppose o = -7*z - z + 16. Which is greater: z or -3?
z
Suppose -4447*o + 44914 = -57367. Suppose 2*v + 4*l - 18 = 0, -12 = v - 5*l - 0*l. Suppose 0 = v*f - 6*f + 63. Is f at most as big as o?
True
Suppose 2*y = 4*y - 10. Suppose 376 = 12*l - 344. Let g be (-6)/(-24) + 261/l. Is g smaller than y?
True
Let t be 24798*((-26)/6 - 23/((-207)/36)). Which is smaller: t or -8265?
t
Let t = 434 + -439. Let a be ((-611)/235)/((-1)/t). Is a < -27/2?
False
Let w(h) = 77*h**2 - 4*h - 1. Let v be w(1). Let u = 65 - 114. Let n = u + v. Is 45/2 at most as big as n?
True
Let w = -78 + 335. Let y = 253 - w. Does 8 = y?
False
Let o be 98/588 + 14/(-52). Does o = -5/11?
False
Let l(g) = -9*g - 28. Let h(a) = 2*a**3 - a**2 - a - 1. Let i be h(-1). Let w be l(i). Is 7/44 greater than w?
True
Let z = -0.7726 - -0.0746. Let u = 6.302 - z. Do 8 and u have the same value?
False
Suppose 42*w = 7*w - 5*w - 109760. Is w != -2744?
False
Let m = 138 - 119.4. Let y = -18.6 + m. Is y at least as big as 29?
False
Suppose 46 = 23*j + 23. Are j and -2/5745 equal?
False
Let n = 67 - 50.5. Let u = n - 17.5. Which is bigger: u or 129?
129
Let b be (-4)/1022*7126/(-48). Let k be 24*((-3798)/292 + 13). Let r = b + k. Which is bigger: r or -1?
r
Let c be (-9 + (-63)/(-14))*10/(-3). Suppose 23*b = c*b + 256. Which is smaller: b or 34?
b
Let c(v) = 3*v**2 + 30*v - 226. Let o be c(5). Are o and 0.26 unequal?
True
Let b be (-530)/18 - (-136)/306. Let l(f) = f**2 + 38*f + 260. Let v be l(b). Which is bigger: -3/116 or v?
-3/116
Let m(n) = -10*n - 7. Let q be m(-13). Let t = 69 - q. Which is smaller: 2 or t?
t
Let c be 135/105 - (-452)/(-308). Let u = 1.7 - -13.3. Which is smaller: u or c?
c
Let t(s) = -s**3 - 11*s**2 - 11*s - 28. Let n be t(-10). Let d be n/(-6) - (4 - -27). Is d not equal to -27?
True
Suppose 56*o - 1992 + 3298 = -1998. Which is greater: o or -86?
o
Suppose -2*i + n = 14 - 23, -i + 4*n + 15 = 0. Which is smaller: i or 252?
i
Let u(x) = -12*x**2 + 149*x + 266. Let f be u(14). Which is smaller: -27/103 or f?
-27/103
Suppose -5*b + 5*w + 2030 = -2*b, 36*w - 3339 = -5*b. Which is greater: b or 673?
b
Let c(p) be the third derivative of p**6/120 + 13*p**5/60 - p**4/8 - 11*p**3/6 + 6*p**2 - 7. Let w be c(-13). Suppose 28 = 2*x - x. Is w < x?
False
Let n be 0/((-10)/(25/(-5))) - 0. Suppose -a = t - 37, n = a - 5*a + 4*t + 116. Which is bigger: 31 or a?
a
Suppose 7 = o - s, 4*o - 6 = 2*s + 26. Let r(x) = x**2 - 5*x - 11. Let n be r(6). Let p(k) = -k + 4. Let g be p(n). Is g greater than o?
False
Let h be -66 - (-1*(-27)/3)/(114/38). Are 12 and h nonequal?
True
Let v = 209 - 177. Suppose v*g - 16*g = 16. Is g <= -10/41?
False
Let g = -41.95 + 39. Let w = -3.3 - g. Let f = w + 0.45. Which is bigger: f or -13?
f
Let x be 36/(2/((-1)/(-6)*8)). Let o(d) = 6*d - 28. Let i be o(x). Let m be (-4)/(16/i) + (3 - 2). Which is bigger: m or -27?
-27
Suppose -104*j + 86*j + 4302 = 0. Is j smaller than 239?
False
Let y be (-24)/(-10)*(-13760)/(-128). Suppose 0 = 2*g - 284 - y. Is 270 greater than or equal to g?
False
Let q(i) = 2*i**2 + 2*i - 4. Let u be 17/(-5) - 2/(-5). Let a be q(u). Let h = 10 - a. Is -5 greater than h?
False
Let r = -316034/45 + 7023. Is -0.122 != r?
True
Let k be (-1 + -2)/(11/33). Let z be (-264)/k + 18/(-54). Is 29 greater than or equal to z?
True
Let z be 2*(10/(-12))/(85/(-51)). Does z = 3/5696?
False
Let d(p) = -36*p + 6. Let i(t) = -4*t + 7. Let x be i(1). Let n be d(x). Let g be -1*2*(2 - n/(-54)). Is g >= 1?
False
Let p be 39155/(-30996) - 28/(-16). Which is smaller: 1 or p?
p
Let b = 19028 + -19032. Let y = -74 + 42. Which is smaller: b or y?
y
Let r = 896 + -858.1. Let f = 38 - r. Which is bigger: 10/41 or f?
10/41
Suppose -2977 = 91*z + 4681 + 27650. Are z and 12 non-equal?
True
Let r = 23898 + -71674/3. Is r not equal to -0.12?
True
Suppose 0 = 3*y - 3*c - 30, -y - 3*c - 1 - 1 = 0. Let n be -8 - -4 - -4 - (-2)/y. Suppose w + 2*f = 3*f, -w = -5*f - 8. Is n at most as big as w?
False
Let h be 203/(-63) + (-13 - (-1547)/117). Does -316/187 = h?
False
Let z(w) = 38*w**2 - 260*w - 40. Let y be z(7). Suppose 0 = -3*f + 4*i - 483 - 200, 3*i - 1120 = 5*f. Which is greater: y or f?
y
Let g(u) = -21*u - 818. Let n be g(-36). Is -86 <= n?
True
Suppose 5 = -5*z - 5. Let o = -6779/8142 - 1/1357. Is o greater than z?
True
Let x(s) = -s**3 + 5*s**2 + 5*s + 14. Let n be x(6). Suppose 1 = -11*b + 12*b + m, n = 2*b + 5*m. Which is bigger: b or 0?
0
Let k(d) = -2*d + 62. Let v be k(31). Suppose 4*q = 5*j + 677, 2*q + v*j + 3*j - 311 = 0. Is q at least as big as 160?
True
Let c be (3/2)/((-1)/(-2)). Let l be c - (-1)/4*-4. Suppose -l - 18 = 4*f. Which is smaller: f or -3?
f
Suppose -3*y + 4*r = 20, 17*y - 5*r + 25 = 16*y. Is y greater than or equal to -16/643?
True
Let s be 1824/320 - (-33)/(-6). Which is bigger: s or 4064?
4064
Let b = -124/3 - -39. Let z = -0.74 + 0.463. Let p = z - -0.477. Is b at most p?
True
Let a be (-2356)/(-20) + 16/80. Suppose 13 - a = -3*l. Is l at least as big as 145/4?
False
Let g be (-1540)/110*(-6)/14. Let a be 125/30 - 4 - (-518)/(-12). Are g and a equal?
False
Suppose 3 + 12 = 5*c. Suppose 0 = -c*x - 6*x. Suppose -n - 2 = -5*r - x*n, -5*r + 6 = -3*n. Is r < 2/11?
True
Suppose j = -4*r + 113, 2*r - 424 = j - 5*j. Suppose -2*x + 3*b = 69, 0*x - 3*x + 3*b - j = 0. Let p be x/90 + 172/(-45). Is -5 smaller than p?
True
Let o be -1*(10 + -10 - (-3 + 2)). Let p = 60.71 - -0.29. Is o not equal to p?