/(-10) - z/((-175)/21). Are -191 and o unequal?
True
Suppose 32 = 7*v - 15*v. Let q be (-7)/(56/(-80))*v/(-10). Which is bigger: q or 5?
5
Let p be 3/5 - (-65)/((-482300)/4088). Which is smaller: p or 1?
p
Let z = -33.6 - -33.66. Let j = -8.06 + z. Are j and -4 nonequal?
True
Let l(y) = y**2 - 148*y - 354. Let u be l(127). Are u and -9064/3 nonequal?
True
Suppose 2*p + 2 + 6 = 0, -2*v + 32 = p. Let k be (2 - 1/(-2))*(v + -16). Let g(h) = -h - 4. Let u be g(-5). Which is smaller: k or u?
u
Suppose -b - 30 = b. Let r = b + -6. Let h be (-9)/r + 3595/(-8225). Which is greater: h or 0?
0
Suppose -4*p + 16 = -0*p. Suppose 2 = -p*s - 2. Let n = 785 + -13337/17. Which is greater: s or n?
n
Let a = 31 + -27. Suppose 0 = -o - 7*k + 2*k + 29, -4*k = -a*o + 140. Suppose o - 40 = g. Is -7 less than or equal to g?
True
Let j = 807102/55 + -14676. Which is smaller: j or 0?
j
Let p(z) = -z**2 - 35*z - 39. Let o be p(-31). Let q = -83 + o. Are q and 7/12 non-equal?
True
Let h(q) = -172*q**2 - 71*q - 76. Let b be h(-1). Which is bigger: b or -1601/9?
b
Let i(k) = 28*k - 36. Let l be i(-6). Let d = l - -202. Are -6 and d non-equal?
True
Let a = -0.12 + 2.06. Let d = a + -1.96. Let l = -0.28 + 0.08. Which is smaller: d or l?
l
Let c = -0.86069 + 0.06069. Is -0.0213 at least as big as c?
True
Let y(o) = 3*o**2 - 2*o + 2. Let d(u) = 7*u**2 - 3*u + 5. Let w(l) = -4*d(l) + 9*y(l). Let m be w(-6). Is m > -2?
False
Suppose 10545*q = 10562*q + 97937. Are -5760 and q non-equal?
True
Let s(a) = 118*a**2 - 5*a - 39. Let l be s(-4). Is l not equal to 1869?
False
Let c = 184561174/41 + -4501833. Let n = -341 - c. Which is smaller: n or -2?
-2
Let k(h) = -5*h - 7. Let r be k(6). Suppose 12 = -2*a + 18. Suppose a*y + 190 = -2*y. Does y = r?
False
Let t be 5/(-8)*(-14 + -142). Let a = -99 + t. Is -0.1 less than a?
False
Let a(n) = n**3 - 5*n - 14 - 76*n**2 + 33*n**2 + 37*n**2. Let x be a(7). Is x >= 4/5?
False
Let y = -45 + 33. Let l = y - -11.46. Let m = -0.64 - l. Which is smaller: -2.8 or m?
-2.8
Let j = 36.4 + -2.4. Let i(x) = 10*x + 9. Let o be i(-1). Let f(c) = 12*c + 11. Let v be f(o). Which is smaller: v or j?
v
Let w = 186 - 172.9. Let m = 27.1 - w. Is m != 1?
True
Suppose s + 1457 = 1204. Is -262 equal to s?
False
Let h = -18.56 + 18.8. Let g = 0.829 - 0.889. Which is smaller: g or h?
g
Let l be ((-10)/(-25))/((-26)/30 - -1). Suppose -3*s = g + 7 + 1, l*g = -5*s - 32. Let f(p) = -4*p**2 + 14*p - 8. Let z be f(4). Which is bigger: z or g?
g
Let x = -24748 + 41836. Which is greater: x or 0.1?
x
Suppose -3*n - 3*t + t + 15 = 0, 4*n + 4*t = 24. Suppose 4*k = 5*c + 63, -n*k + 46 = 22*c - 26*c. Is k > 22?
False
Let v = -55.811 - -21.28. Let q = 0.069 - v. Let d = 31 - q. Which is greater: -1 or d?
-1
Suppose 35*l = 31*l - 192. Let q be (1519/62)/(5/2 - 3). Which is smaller: q or l?
q
Suppose -4*y - 27 = g - 3*y, -4*g - y - 99 = 0. Suppose 4*z + 2*x = -16, 524*z = 526*z - 5*x - 28. Let f be (z + 0)/(g/(-40)). Is -1 less than or equal to f?
False
Let c be 10/((-120)/54)*(-8)/12. Let l be c/(-18)*534/(-9). Which is smaller: 10 or l?
l
Let b be (-4 + 5)/(3/(-3))*(-45)/45. Let q be ((-5)/2)/((-207)/(-6)). Which is smaller: q or b?
q
Let i be (234/(-819))/(10/(-8) + 1). Let u = 2 + -1. Is u at most i?
True
Let j(m) = 13*m**3 - 2*m**2 - 6*m - 31. Let r be j(7). Do 4285 and r have the same value?
False
Let t = -16222 - -16228. Is t != -793?
True
Suppose 17*o - 20*o + 63 = 0. Suppose 0 = 2*m + o + 13. Let s = 1 + m. Is s at least -16?
True
Let h = -2/2161 + 4372/54025. Let k(c) = 3*c + 12. Let v be (1*-3)/((-57)/(-76)). Let y be k(v). Which is smaller: y or h?
y
Let n = -6.79 + -0.21. Let u be (((-2)/6)/1)/(4/(-132)). Is n bigger than u?
False
Suppose 5*z = w + 7, -15 = 2*z - 5*z - 3*w. Let r be 231/(-55) + (z - (-18)/(-10)). Let d be (r/114)/((-140)/42). Which is smaller: -1 or d?
-1
Let n = -3.3192 + 3.35. Let k = n + -0.0008. Is -5/3 at least k?
False
Suppose -3*o + 347 = -4*i, 0 = -2*o - o + i + 341. Let k = 5.9 + -5.885. Let s = k - -0.985. Which is bigger: o or s?
o
Let f be (3 + 44/(-16))*932. Let m = -402 + f. Which is smaller: -168 or m?
m
Let h = -66.82 - 129.18. Does -15 = h?
False
Let t = -8/31 + -4595/93. Let a = -6106/123 - t. Which is bigger: a or 0?
a
Let y = -170081 - -149161009/877. Do 1 and y have the same value?
False
Suppose -7 = -4*c - 5*g, -4*c + 3*c = 5*g - 13. Let b(i) = 2*i**3 + i**2 + 2. Let k be b(c). Suppose 5 = -3*s - 2*s. Is s > k?
True
Let y(f) = -f - 2. Let k be y(8). Let o be (1/8)/(k/(-220)). Which is bigger: o or 4?
4
Suppose 2*v - 267 = -j, 104*j - 105*j = -5. Let o = 158 - v. Are o and 25 non-equal?
True
Let k be (45 - 12/(-3)) + -4. Let p be (87/8)/(1/2*7/14). Which is greater: p or k?
k
Let t = -7753 - -8162.4. Which is bigger: t or 1/3?
t
Let w(k) = -k**3 - 52*k**2 - 672*k + 66. Let c be w(-25). Is 60 less than c?
False
Let s = -95.6 + 727.6. Let j = s + -619. Is -0.6 <= j?
True
Suppose -5*b = -3*b - 4, -5*b = 2*v + 390. Let f(i) = i**3 + 36*i**2 - 32*i - 15. Let u be f(-37). Is v bigger than u?
False
Let j = -79 + 84. Suppose j*n = 7 - 92. Let d(b) = b**2 + 20*b + 18. Let p be d(n). Are -34 and p equal?
False
Let p = 206.43 + 0.57. Let x = p - 209. Let v(l) = -l**3 - 5*l**2 - l - 1. Let f be v(-5). Is x not equal to f?
True
Let t be (-12)/(-168) + ((-1215)/126 - -10). Is t at least -0.0663?
True
Let r(g) = -713*g - 245. Let t be r(3). Which is smaller: -2383 or t?
t
Suppose -4*s + 5 = -5*p, -2 = -p + 2*s - 9. Let v = -58 + 62. Suppose 0 = -b - 5*j + 6*j + 4, 0 = -5*b - 3*j + v. Which is smaller: p or b?
b
Let g = 8380/43 - 67417186/345935. Do -1 and g have different values?
True
Let v = 21189/38 - 1117/2. Let m be (6 + 78/(-18))/(390/(-468)). Is v at least as big as m?
True
Suppose -7984*z = -7892*z - 5428. Is z greater than 39?
True
Suppose 0 = u - 3*f + 4, 3*u - 5*f - 1 + 5 = 0. Suppose -w - 2*g = 17, -u*g = -4*g. Suppose -3*b - 24 = -3*r + 24, -r + 73 = -4*b. Is w less than or equal to b?
False
Let l = -57274/13 - -4408. Let n(m) = -m - 1. Let y be n(-4). Is y not equal to l?
True
Let q = -2931 - -2988. Is q at least 337/6?
True
Let c = -18 + 17.934. Let y = c + 0.066. Do y and -8/7 have the same value?
False
Suppose 3*x = 16*k - 14*k - 1529, -3*x + 2286 = 3*k. Suppose -k = -8*v + 701. Which is smaller: v or 184?
v
Let a = -51.56 + 51.46. Suppose -4*v = -2*v - 104. Is a != v?
True
Let i = -2952 - -801. Which is smaller: i or -1?
i
Let w(p) = -p**3 + 3*p**2 + 1. Let k be w(3). Let f be (-3675)/(-24) - k/8. Let j = -66 + f. Are 88 and j unequal?
True
Let m(d) = d**3 - 2*d**2 - 76*d + 37. Let j be m(-8). Is j less than or equal to 119/20?
True
Suppose 45 = -5*i - 4*i. Let f be 6 - i/(200/1856). Which is bigger: f or 53?
53
Suppose 4*l + 3*v = 17, 11 + 3 = 4*l + 2*v. Suppose 21 = -j + 5*g, -j + 3*j + g = l. Is j less than 3/272?
True
Let c = -2273 - -2291. Do -17 and c have different values?
True
Let g = 65263 + -197741/3. Is g smaller than -652?
False
Let n = 28198 + -28190.93. Is 28 less than n?
False
Let h = -2011471/355 - -28331/5. Suppose 0*y = -2*y. Which is bigger: h or y?
h
Let a = -0.38647 - -142.38647. Which is bigger: a or 0.1?
a
Let x(u) = u - 2. Let z be x(2). Let p = z - 3. Let i be p/(-4) + (-1)/(-4). Do i and -3 have the same value?
False
Let i = -113 - -120.7. Let z = -10.7 + i. Is z less than 1?
True
Suppose z + 2*l - 4 = -2*l, 4*z = 2*l + 88. Suppose 0*t = -4*t + z. Let v be (1 + (-2 - t))/(3/9). Does -17 = v?
False
Let q = 87 + -7. Let v be (-9)/4*q/30. Let d be (-8)/(-3) - (2 + v). Is d at least 8?
False
Let o be 30/(-3 - 2) - (3616/(-600) - 0). Which is smaller: 1/5 or o?
o
Suppose 3*d + 9 = -3*y, -25*d + 5*y = -28*d - 17. Which is smaller: 4/6413 or d?
4/6413
Suppose h + 5*i + 855 = 0, h - i - i = -834. Let c be ((-18)/h)/((-6)/5). Let y = -15/56 - c. Which is bigger: y or 2/33?
2/33
Suppose 0*m + 21 = -m. Let k be 15/9*((-128871)/270)/37. Which is bigger: m or k?
m
Let l = -85856 - -47054. Let i be 1/(-2)*l/(-63). Let t = i - -308. Which is smaller: 0 or t?
0
Let h = -29.78 - -0.78. Let i = 42 + h. Is -6 at most as big as i?
True
Suppose -y = a + 3, -y - 103*a = -98*a + 19. Which is smaller: -8/1951 or y?
-8/1951
Let l be (89676/(-336))/3 - (-10)/8. Which is smaller: l or -89?
-89
Let u be 8 - 10 - (-63 + 1). Let