 + 3455 = 1229. Suppose 0 = 102*w - x*w. Which is bigger: w or 9/14?
9/14
Let a = -104.6 + 99.495. Let y = a + 5. Let o = 0.005 + y. Which is greater: -81 or o?
o
Let y = 3/47 - 118473/517. Is -228 < y?
False
Let k(y) = -13*y**2 + 2*y - 8. Suppose -2*r - 18 = -11*r. Let q be k(r). Is q greater than or equal to -58?
True
Let y = 0.01934 + -54.01934. Is -3/14 greater than y?
True
Let w be (-998)/(-14) - 2/7. Let n = -33290 - -33360. Which is smaller: w or n?
n
Let s(n) = -n**3 + 10*n**2 + 10*n + 9. Let j be s(11). Let f be j/(-5)*(-20)/(-8). Which is bigger: f or -13?
f
Suppose 0 = -28*b - 35*b + 126. Suppose 3*t - v = -b*v + 2, 8 = 5*t + 4*v. Which is smaller: t or -1/1183?
-1/1183
Let z = 4278 + -4116. Is z at most as big as 11?
False
Suppose -488 = 4*h - s, -70*h + 2*s - 492 = -66*h. Which is smaller: h or 6/11?
h
Suppose -107*z - 54 = -161*z. Which is bigger: 1/10067 or z?
z
Let o = -45.7251 + 0.4551. Is o bigger than 0?
False
Let x(r) = r**2 + 21*r + 2. Let z be x(-21). Suppose -6*j + 224 = z*j. Which is smaller: j or 0.1?
0.1
Let b = 4667.3 + -4889. Do -1 and b have the same value?
False
Suppose -22*o + 21 = -45. Suppose 8*h - 8 = 3*j + o*h, -4*j - 8 = -4*h. Is j bigger than -2/153?
False
Let x = -24367 - -73100/3. Which is smaller: 14762 or x?
x
Let x = 79.299 - 0.499. Let p = x - 79. Which is greater: -1/18 or p?
-1/18
Let l be 585832/(-2924)*(-2)/12*-3. Which is greater: -99 or l?
-99
Let i = -27 - -29. Let f be i*(-3)/(-12) + 1/(-1). Let m be 6/(-24) - (-9)/(-4). Which is greater: m or f?
f
Let v be 18/42 + (-2420)/28. Let r = v + 88. Are r and 9/8 unequal?
True
Let k = -194 + 152. Let c be (-6)/k*(-196)/(-72). Is -1 at least c?
False
Let l = 149 - -373. Let t = l + -477. Is t less than -1/5?
False
Let z = 7203 + -7203.1. Which is bigger: 0.6139 or z?
0.6139
Let q be ((-5)/(-5455))/(9/(-18)). Let y = q + -1087/2182. Which is smaller: -62 or y?
-62
Suppose -42 = n - 4*n. Let h be 4/(-10) - n/(-35). Let f be 1/7 + 286/(-385). Is f at most h?
True
Let q(y) = -3*y**2 + 22*y - 6. Suppose 8*g + 67 = 27. Let t be q(g). Which is smaller: -190 or t?
t
Let d = -19032/55 + 346. Let h = -293 + 292.9. Which is smaller: d or h?
h
Let q = -37 - -28. Let b = 267 - 1320. Let u = 7299/7 + b. Which is smaller: q or u?
u
Let y(g) = 8*g**2 + 37*g + 21. Let u be y(-4). Do u and -2/12883 have different values?
True
Let u(k) = 3*k + 14. Let f = 93 + -96. Let z be u(f). Let x = 108/5 - 22. Is z < x?
False
Let l = -8.44 + 14.53. Let p = 6 - l. Let k = 0.29 + p. Which is bigger: k or -11?
k
Let h(f) be the second derivative of f**3/2 - 7*f**2 + 19*f. Let u be h(6). Suppose 2*k - 4*z = -u, -2*k + z - 1 = -6. Which is smaller: -3 or k?
-3
Let r = 864 - 863. Let g = -2655 + 496483/187. Is r bigger than g?
True
Let f(t) = 3*t**3 - 14*t**2 - 11*t + 30. Let s be f(5). Which is smaller: -1/1809 or s?
-1/1809
Suppose 64 = 4*i - 512. Suppose 10*s - s = -i. Let t be s/10 + (6 - 192/30). Which is bigger: -6/5 or t?
-6/5
Let f be (41 - 26)*11/(-3). Which is smaller: -22 or f?
f
Let j = -191 + 195. Suppose j*i + 2*d + 594 = 0, -4*i + 14*d = 18*d + 588. Which is smaller: i or 0?
i
Suppose -4*h + q - 5*q - 5616 = 0, 2*q - 2812 = 2*h. Which is greater: h or -1407?
h
Let m(w) = -16*w**2 + 6*w + 26. Let p be m(-4). Let s be ((-4)/p)/(-52 + 51). Which is smaller: s or 3?
s
Let c be (1246/16)/((-82)/328)*30/3. Which is bigger: c or 0.1?
0.1
Let d = 533.61 - 514. Let i = d - -0.39. Let k = -16887 - -16885. Which is bigger: k or i?
i
Suppose 91*f + 126090 + 31734 - 46440 = 0. Is f at least as big as -1225?
True
Let v = 59972.294 - 60105. Let a = v + -0.294. Is a at least -1?
False
Suppose -4*d + 5*g + 25 = 0, -2*d + g + 8 = 3. Suppose 8*c = 3*c + 3*m - 16, d = 3*c + m + 18. Which is smaller: -3 or c?
c
Let o(d) = -2*d + 74. Let h be o(34). Let p be (-52)/((-16)/h + (-16)/(-24)). Which is greater: p or 74/3?
p
Let g be 14/259 + 96/(-407). Which is smaller: g or -1814?
-1814
Let a(i) = i + 13. Let c be a(0). Let x = 324 - 382. Let n = x - -71. Is c < n?
False
Let g be 65/(-3) + 54/(-162). Let d be ((-57)/(-12) - 2) + 6/(-3). Which is bigger: g or d?
d
Let v = -3812 + 1390. Is -2422 less than or equal to v?
True
Let w be (2 - -3) + 1 + 3. Suppose w*k + 166 + 86 = 0. Which is smaller: k or -26?
k
Suppose r + 15 = 2*s, -4*r + 25 = r. Which is smaller: s or 31/3?
s
Suppose 0 = -4*o + o + 18. Let j = 1144 - 514. Let h = j + -623. Are o and h equal?
False
Let o(c) = -c**2 + 16. Let b = 60 + -56. Let h be o(b). Suppose h = -u - 1, 2*p - 33 = -3*u + 14. Is p != 25?
False
Let s = 903/8 - 113. Suppose -65*f = -63*f + 2. Does f = s?
False
Let l(s) = -s**3 - 9*s**2 - 10*s - 10. Let j be l(-8). Let c(v) = -4*v + 22. Let q be c(j). Let r be (-3)/q*(-8)/6. Do -1/4 and r have the same value?
False
Suppose 10*q - 37 - 32 = -69. Is q > -12/283?
True
Suppose 0 = -3*j + 7*j. Let z be -1 - -1 - 1*(j + -1). Are 5/4 and z unequal?
True
Let m = 3810.02 + -3810. Is m at least as big as 1/60?
True
Let i(d) = -2*d**2 + 4*d - 12. Let u(p) = p - 1. Let q(r) = -i(r) + 4*u(r). Let c be q(4). Suppose 5*m + 3*x = 35 + c, -x = m - 15. Which is bigger: 17 or m?
17
Let r = -1/44536 + 90277/53665880. Let h = 2659/4820 - r. Is 0 < h?
True
Let c(l) = 5*l**2 - 18*l + 43. Let r(y) = -9*y**2 + 35*y - 87. Let p(q) = 7*c(q) + 4*r(q). Let n be p(5). Are -5/3 and n nonequal?
True
Suppose 10*p = -5*b + 9*p - 461, -5*b + 4*p - 481 = 0. Which is smaller: -278/3 or b?
b
Let c = 1180 + -1181. Which is greater: c or -22/89?
-22/89
Suppose -4*g - s - 2*s = 144, 3*g = -2*s - 108. Let t = g - -40. Suppose -5*a - 2*p = -17, -2*p + 11 = t*a - 3*p. Is a equal to 4?
False
Let h = 341.3 + -341.21. Which is greater: -69/7 or h?
h
Suppose 0 = -2*n - 11 + 69. Suppose 3*t = -2*t + q - 186, 3*q + 145 = -4*t. Let b = -7 - t. Which is smaller: n or b?
n
Let y be 1 + (-17)/15 + 0. Let q = -123 + 157. Suppose -4*r + 30 = q. Which is smaller: r or y?
r
Suppose 5*v + 3*x = -0*x + 12, 4*x = 5*v + 16. Suppose -5*g - 2076*b + 2072*b + 18 = 0, b - 9 = g. Which is smaller: v or g?
g
Suppose 16 = 3*s - 2*s - 4*x, -3*s + 2*x + 18 = 0. Suppose -2*g + 16 = 5*f - 58, -s*g + f = -170. Let c be 2/(-5) + g/130. Is 1 greater than or equal to c?
True
Let h = 11039 + -11039. Let j be 8/204*6*(-3)/(-28). Are h and j equal?
False
Let s = -1145 - -735. Let f = -410.023 - s. Is f < -0.01?
True
Let g be 25/(-2) - (3 - 1). Let o be 25 - -1*(-10 + 6). Suppose -o*n = -3*n + 270. Which is greater: n or g?
g
Suppose n + 4170 = -3*a, 6*a - 3*n + 4158 = 3*a. Is a > -1390?
True
Let b(g) = -10*g**2 - 51*g + 144. Let j be b(7). Which is smaller: j or -705?
-705
Suppose 93*c = -85*c + 158*c - 80. Which is smaller: c or -122/27?
-122/27
Let p = 642 + -643.515. Let b = p - 0.305. Is b at least as big as -2/7?
False
Let i(y) = -y - 12. Let v be i(3). Let o(h) = 6*h + 89. Let m be o(v). Which is smaller: 2/91 or m?
m
Let s be (-39746)/(-4418) - 1 - 14000/1750. Is s greater than or equal to 0?
False
Let r = -103 - 192. Let l = r - -215. Is l <= 0?
True
Let y be (1/(2 - 1))/(-1). Suppose -2*f - 615 = 551. Let c = -7583/13 - f. Which is smaller: c or y?
y
Let q = -4051 - -7101. Let f be ((-8)/(-140))/((-5)/q). Which is smaller: f or -36?
-36
Let c(u) = u**2 - u + 1254. Let p be c(0). Let v = 61443/49 - p. Let b = 67/294 + v. Which is smaller: b or 7?
b
Let x = -20061 + 28522. Is 8460 smaller than x?
True
Let a = 964 + -717. Is 0.6 greater than a?
False
Let s = 1719141843/1075 + -1599201. Let h = 27/50 - s. Is -1 != h?
True
Let f be 2/43 - 1620/(-2150) - (-1)/5. Which is smaller: f or -1/27617?
-1/27617
Let m(f) = -16*f**2 + 5*f + 2. Let z = 171 + -172. Let l be m(z). Is 3 < l?
False
Let q(h) = 6*h**2 + 3*h + 5. Let k be q(-5). Let f be (-118)/70 + 40/k. Is f smaller than 0?
True
Let s = -231 + 275. Suppose -s*o + 47*o - 126 = 0. Which is bigger: o or 41?
o
Let r = -228 - -228. Suppose 13*a - 15*a - 4 = r. Is -2 <= a?
True
Let x = -1833 - -340. Is -1494 at most x?
True
Let z = 4180 + -41769/10. Which is smaller: z or 4?
z
Let q(b) = 112*b**2 - 55 - b**3 + 2*b**3 - 116*b**2 + 7*b + 0*b**3. Let g be q(5). Which is smaller: 6 or g?
g
Let i = -31 - -15. Suppose -v - 20 = k, -5*v + 4*k - 6*k = 85. Which is greater: v or i?
v
Let p = -2.531 + 2.627. Is -16 bigger than p?
False
Suppose 2*p = -8*p