ich is bigger: -14941 or d?
d
Let a = -208.04 - -208.14. Which is greater: -526/3 or a?
a
Let m(j) = 2*j**2 - 20 + j**2 + j**2 + 11*j - 2*j**2. Let s be m(-11). Let g = s - 1419/14. Is -2 less than g?
True
Let h = 5560.987 - 5561. Are 64 and h nonequal?
True
Let s be ((-12)/(-10) + 88/60)/1626. Are s and -1 nonequal?
True
Let l(g) = -g**3 - 8*g**2 - 5*g - 1. Let i be l(-8). Suppose 34*h - i*h = 0. Suppose 0 = -3*y + 39 - h. Which is bigger: y or 12?
y
Let b = 6/13829 + 33267/18945730. Which is smaller: b or 0?
0
Let b = -0.69 - 48.31. Let g = -125 - b. Let f = 75.99 + g. Which is bigger: f or 0.1?
0.1
Let f be 3 + -1 - (-1)/2. Let p(q) be the third derivative of q**4/4 + 62*q**3/3 - 296*q**2. Let s be p(-20). Which is smaller: f or s?
f
Let w = 22.624 - 23. Let d = 0.024 - w. Let m = 1/167 + -339/835. Is d less than m?
False
Let v(n) = -3*n**2 - 17*n - 25. Let w be v(-2). Which is greater: 2.24 or w?
2.24
Suppose -s + 61 = i, 2*i + 1 = 3*s + 143. Suppose 5*b - 9 + 0 = -z, -5*z + i = 5*b. Is -25 greater than z?
False
Suppose 0 = -d + 9*d - 32. Let l be 41 + (16 - 4)/d - 2. Let y be (1/(-24))/(l/189). Is y not equal to 0?
True
Let p(b) = -7*b**2 - 23*b + 51. Let v(q) = -10*q**2 - 34*q + 76. Let z(w) = 7*p(w) - 5*v(w). Let g be z(-10). Let x = g + 13. Which is smaller: -4 or x?
-4
Let j = 148 + -150. Are -34 and j non-equal?
True
Suppose 0 = -4*q + 12 + 4, 3*t + 2856 = 3*q. Is 2 less than t?
False
Let w be -2*((-65)/(-10))/(-13). Let t be ((-2 - -5) + w)/((-2)/(-11)). Is 22 bigger than t?
False
Suppose -4*c + 487 = -u, -541*c + 546*c - 615 = -5*u. Which is bigger: 120 or c?
c
Let f = 577/18 + -599539/18702. Let x = 146794 - 146793. Is f at least x?
False
Let t = 125 + -121. Suppose t*m = -q - 133, 5*q = -0*m - 5*m - 590. Which is greater: -115 or q?
q
Let r = -42.1 + 42.5. Is r equal to 2/619?
False
Suppose z + 9 = -2*z - 5*i, -i = 2*z - 1. Suppose -4*r = -f - 21, 7*f - 39 = -4*r + z*f. Let m be ((-79)/(-20) + -4)*r. Is m not equal to 1?
True
Let x be (-1 + (-1)/(-3))/((-3)/9). Suppose -161 = -5*k - x*d, k = d + 17 + 11. Which is bigger: k or 30?
k
Let q be 9/(1 - -2) + 27790/(-7600). Let h = q - -12/19. Are 1 and h non-equal?
True
Suppose 2*d - d - 4*t + 30 = 0, -4*t = 6*d + 96. Which is smaller: 1.3 or d?
d
Suppose 4*l = -0*l. Let h be 30*(-9)/270 + 681/672. Are l and h equal?
False
Let a = -29527091/93072 - 1/93072. Which is bigger: a or -316?
-316
Let w be 47/94*(3943/(-3946) - -1)*-4. Which is smaller: w or -1?
-1
Let c(f) = -4*f**3 + 4*f**2 + 5*f + 1. Let w(p) = 5*p**3 - 5*p**2 - 6*p - 1. Let v(y) = 4*c(y) + 3*w(y). Let o be v(-1). Let h = o + 40. Is -0.1 != h?
True
Let w = 243479 - 243480. Let n = 0.6 + 0.2. Let b = 0.2 + n. Which is greater: b or w?
b
Let z = -775 - -1033. Which is smaller: z or 244?
244
Let m = 583 + -582.7. Suppose 0*a + 12 = 3*a. Let f be (a/44)/(1/(-6)). Which is smaller: f or m?
f
Let s be (-2197)/(-90) + 285/5130. Is s less than 23?
False
Let p = 3/14255 + 16578553/57020. Let k = -288 + p. Let m(c) = -2*c**2 - 68*c + 148. Let v be m(-36). Is k != v?
True
Let j(b) = -b**3 + 20*b**2 - 77*b - 24. Let h be j(12). Let z be (-194 + h)*(0/(-2) - -10). Is 100 greater than z?
False
Let s = 264 - 260. Let l be (-563)/60 + s/30. Which is bigger: l or -10?
l
Suppose 3*n + 22 = 5*n. Suppose 5*i - n = o + 2*i, 0 = i - 3. Let r be 1 - 1/(-2) - o/(-4). Which is smaller: r or -12?
-12
Let v be ((10575/(-1060) - -5) + 5)/((-2)/(-48)). Which is smaller: v or -2/9?
-2/9
Suppose 364 = -a + 4*w, 88*a - w + 1015 = 85*a. Which is smaller: a or -314?
a
Let f = 14614 - 2527. Is -1 greater than f?
False
Suppose 3*s - 3*d = 1 + 17, 0 = -s + 3*d + 14. Suppose -3*n - 2 = -i - 5, 4*i - 2 = -s*n. Is 1/50 less than or equal to n?
True
Suppose -5*n = -2*w - 23, 3*n = -5*w - 8 - 3. Suppose -7*j + 36 = -n*j. Let h be (j/24)/(-3) + 119/(-72). Which is greater: h or -3?
h
Let t = 8504642/65 + -130838. Let w be (-98)/(-39) + (-4)/6. Let x = w - t. Which is smaller: x or 0.1?
x
Let s(r) = -r + 7 - 4 + 5*r. Let y be s(1). Suppose -c + 20 + y = 3*z, 5*z + 5*c - 55 = 0. Which is greater: z or 10?
10
Let n = 0.05761 + -0.05761. Which is greater: -4687 or n?
n
Suppose 12 = -4*s - 9*u + 38, 56 = 4*s + 4*u. Is s != 180?
True
Let v = -413 - -4952. Are v and 4538 non-equal?
True
Let x = 28.69 + 5.31. Is 1/6 greater than x?
False
Let j(v) = -7*v**2 - 54*v - 13. Let p be j(5). Is -461 not equal to p?
True
Suppose -16790*r = -16795*r + 1955. Do r and 393 have the same value?
False
Let v = 16072 + -16944. Do v and -5 have the same value?
False
Let q = 56 - 103. Suppose -1763 = -19*u - 22*u. Let t = u + q. Which is bigger: 2 or t?
2
Let x be (1/(-7))/(85/119). Which is smaller: 2/2505 or x?
x
Let z be ((-1)/(-1) - -25) + -2. Suppose l - 2*k = 3*k - z, 2*l - 2*k = -8. Suppose l = -7*j + 1. Is j != -2/7?
True
Suppose 0 = 77*r + 140*r + 897390 - 348380. Which is bigger: -2533 or r?
r
Let d be 2*5/(30/309). Suppose 4*v + 15 = d. Suppose -3*t = -72 + 9. Which is smaller: t or v?
t
Let s(x) = -x**3 + 41*x**2 - 23*x + 39. Let v be s(40). Let o = v + -718. Which is smaller: o or 1/340?
1/340
Let a = -104 + 104. Let h = 120 + -70. Let w = h - 28. Is w >= a?
True
Let s be (75/10)/(6/(-16)). Let r be -4*(-2)/s + 492/(-20). Is -25 greater than r?
False
Let b = -4510001/193 - -23368. Which is greater: b or -1?
b
Suppose -3*s + 12 + 0 = 4*h, -5*s + 2*h + 20 = 0. Let z(x) = -x**3 + 6*x**2 - 9*x + 17. Let d be z(5). Let o be (-26 - -27)*0/d. Is o not equal to s?
True
Let d(g) = -32*g - 992. Let l be d(-31). Let y be -1 + (-3)/(1494/51)*-10. Is y < l?
False
Let v(u) = u**3 + 37*u**2 - 91*u - 45. Let x be v(-40). Is -1206 bigger than x?
False
Let d be ((-2)/(-84))/(1 + -3). Let x = 2.8151 - 1.8151. Is x greater than d?
True
Suppose 435470 = -94*w - 229319 - 35793. Is -7451 >= w?
True
Let m(y) = -y**3 - 8*y**2 + 5*y - 6. Let v be (-674)/(-6) - (12/9 + -2). Let i = 104 - v. Let b be m(i). Do b and 30 have the same value?
True
Let d = 1955 - 3993/2. Let c = 43 + d. Let s = 36.4 - 36.38. Which is bigger: c or s?
c
Let f = -293/819 - -1866575/25389. Is f at most 73?
False
Suppose 18*z - 12 = 14*z. Let w = -14533243 + 8690877125/598. Let s = -41/46 - w. Which is smaller: s or z?
s
Let j be (21/3)/((-1)/(-28)). Let g(m) = m**3 + 11*m**2 + 4*m + 35. Let q be g(-8). Which is smaller: q or j?
q
Let l = 5.3 - 0.06. Let y = l - 4.7. Let j = 0.34 - y. Does j = 6?
False
Let k = -148.753 - 0.247. Let v = k + 33. Is -1 less than or equal to v?
False
Let u = 617 + -435. Let o = u + -181.9. Do o and 7.6 have the same value?
False
Let i(h) = -8*h**2 + 62*h - 687. Let q be i(24). Do -3807 and q have the same value?
True
Let f = -19819 - -217535/11. Is f >= -43?
False
Let j = 60 - 46. Let w be (-56)/27 + j/7. Suppose 5 = 4*t + 5*z, -2*z + 6 = 3*t + z. Is w greater than t?
False
Let f = -138.9 + 135. Let i = f + 3.7. Suppose -4 - 5 = o. Which is bigger: o or i?
i
Let v = -2/665 - 236/9975. Let o(p) = 7*p + 154. Let l be o(-21). Suppose -7*a = l*a + 14*a. Which is smaller: a or v?
v
Let u = -34 + -62. Let j = 120 + u. Suppose 11*p + 97 = -j. Is p >= -9?
False
Suppose -3*v + 3*u + 165 = 0, -u - 24 = -2*v + 90. Let f = v + -54. Let a be 26/65 - 27/f. Is a greater than or equal to -0.4?
False
Let g be (-25)/(-40)*(-54)/(-135) + (-15)/12. Which is smaller: -9/238 or g?
g
Suppose -6*g - 33 = -3*p, 2*p = -5*g - 337 + 314. Which is greater: -1/22325 or p?
p
Let z be (-4)/(-10) + 353/5. Let f be 526*34/255 + (-4)/12. Which is smaller: f or z?
f
Let u = 28.01065 - 0.04065. Let r = 28 - u. Let d = -0.0925 - -0.0325. Is d at least r?
False
Let h = -8446.12 - -8446. Which is bigger: h or 41?
41
Suppose -3*r + 5*k = 43, -71*r - k + 4 = -67*r. Let b = 113 - -276. Which is smaller: r or b?
r
Let a = 13616797/122382 + -123819/523. Let k = 251/2 + a. Let i = 201 - 200. Is k less than i?
True
Let t = 435670/191 + -2281. Suppose 7*q + 95*q = 102. Which is greater: q or t?
q
Let g be ((-49)/(-21))/((-2)/36). Let b = g - -44. Let p be (b - 5)/((-6)/(-4)). Is -2 != p?
False
Suppose 7 = -3*v - 8, 3*a + v + 242 = 0. Let s(y) = y**2 - 17*y - 5. Let m be s(9). Which is bigger: m or a?
m
Suppose -40 = -5*v + 5*t, 2*v + 3*t = -188 + 234. Which is bigger: 416/33 or v?
v
Let j be ((-1)/2*1)/2. Let m be -5 + 1556/(-92) + 110/(-1265). 