1). Is 5353/4 < o?
True
Suppose -3*o - 2*b = -1242 - 1105, 4*o - 3121 = -b. Let i = o - 781. Which is smaller: -15/22 or i?
i
Let s = -17429/1394 - -2/697. Are s and -1 unequal?
True
Suppose 8*j - 6*j + y = 135, -129 = -2*j + 5*y. Which is bigger: 59 or j?
j
Suppose 0 = -0*y - 4*y + 68. Let v = 926 + -927. Which is smaller: y or v?
v
Let c be 3/(-30)*14685/22. Suppose p - 66 = 2*p. Which is greater: c or p?
p
Let i be (-7)/(-1995)*5*(-4)/(-6). Let a be (2 - 1)*2/(-2)*1. Which is smaller: i or a?
a
Let z be (1/(-5))/((-2180)/(-100) + -22). Is z smaller than -1/578?
False
Let k(u) = 34*u - 25. Let p be k(3). Suppose -p = 4*h + 4*w + 27, -h + 2*w - 11 = 0. Which is greater: h or -99/5?
-99/5
Let h = 195549583/36850 - 264559/50. Let n = 172/11 - h. Is 1 > n?
True
Let p = 1774/5425 + -32/775. Let k be (-15)/(-3) - (1 + 1). Let r = 2 - k. Is r at most p?
True
Let b be -1*((2 - 4) + (-348 - 20)). Are b and 364 equal?
False
Let y be (78/18 - 2) + (13 - 6) + -10. Which is smaller: y or -248?
-248
Let l = 0.00536 - 6.00536. Is -15/7 > l?
True
Let y(d) = d**3 - 3*d**2 - 4*d + 1. Let s be y(3). Let r = 79 - 79. Let q be (-2 - 29/3) + 1 + r. Is s less than or equal to q?
True
Let s be 8/(-672)*-16 + 9*2/(-21). Does s = -947?
False
Let v be 1 + -4 + 12/2. Let a be (v/5 - (-33)/(-45))*-72. Is a < 11?
True
Suppose -250*h + 31*h - 1314 = 0. Which is smaller: h or -26?
-26
Let v be 33/(-11)*(3 - 2). Let h be 24/208*(v + 5). Which is smaller: 3 or h?
h
Let l be -476*(-185)/(-296)*28/5. Which is greater: l or -3?
-3
Let c(n) = -n**3 + 7*n**2 - 4*n + 28. Let x be c(7). Suppose -3*l - 20 = 4*q, x = 2*l + 3*q - q + 16. Let j = 6 + l. Are j and -6 equal?
True
Suppose 0 = -36*a + 45 + 27. Let g(h) = 2*h**2 + 5*h - 2. Let b be g(-5). Suppose -y = 4*k + a*y + 7, y - b = 5*k. Is -3 smaller than k?
False
Let l be ((-4)/(-10))/(9/45). Suppose 4*o + 2 = -l. Are o and 10 non-equal?
True
Let x be (((-3)/(-90))/(2/(-9)))/((-9028)/(-1830)). Is 1 less than or equal to x?
False
Let a = 49018 - 113966848/2325. Is 1 bigger than a?
True
Let b(j) = 281*j - 8. Let o be b(-9). Are o and -2537 equal?
True
Let k = 0.200165 - 163.418165. Let i = k - -163. Let m = -0.032 + i. Are m and -1 non-equal?
True
Let u be 8/6 - ((-1248)/36 + 10). Suppose -4*q = f - 104 - u, 0 = -2*q + 5*f + 54. Which is greater: q or 0?
q
Let d be (-68)/21 + (-4)/6. Let s be 5*((-135 - -135) + (-4 - -3)). Is s < d?
True
Let z = -665548/37 - -17988. Let k = 2 + -1. Which is smaller: k or z?
z
Let q be (12 - 33)*(-970)/(-18). Let g = q - -2279/2. Is 7 less than or equal to g?
True
Let n be (37/(-259))/(6/(-120)*-4). Do 282 and n have different values?
True
Let d = 12 + -11.537. Let u = -0.58 + d. Let t = u - 0.383. Is 2/5 at least t?
True
Let d = 2565 - 2551. Suppose -4*a + 32 = 3*h, -a + 28 - 5 = -3*h. Suppose -a*s + 171 = -d*s. Is -58 greater than or equal to s?
False
Suppose 2*p = -b - 11 - 139, -438 = 3*b + 4*p. Is -139 bigger than b?
False
Suppose -7*i + 3*i = 14*i + 4*i. Which is smaller: 2/28897 or i?
i
Let i be 5 + 44/(-8) + -1. Let r be (8 - 5) + 0/1. Suppose -3*l = -r*b + 4*b + 7, 0 = -5*b - 5. Is i at least as big as l?
True
Suppose -j = -0*j. Suppose j = 3*c + 17 - 56. Let p = 84 - 71. Are p and c nonequal?
False
Suppose 249*q = 275*q + 234. Which is smaller: 78 or q?
q
Let j(i) be the second derivative of i**4/12 - i**3 + 2*i**2 + 12*i. Let u be j(1). Let a = -1/293 + -871/2344. Is a greater than or equal to u?
True
Let k = -2289 - -2287. Which is bigger: -126 or k?
k
Suppose 0 = 2*f - d - 9, 5*d = -5*f + 3*f - 21. Let l be 15258005/(-12025) - (0 + f/13). Let c = -1269 - l. Which is bigger: 1 or c?
1
Let y be (5 + 0)*((-39)/(-15) - 2). Suppose -y*v + 94 = 3*o - 2, -4*o - 3*v = -133. Let q(b) = b**3 + 9*b**2 - 3*b + 9. Let g be q(-9). Is o bigger than g?
True
Let u = -0.097 + 0.064. Let t be -10 - 78/(-6) - 841/2. Let p = t - -417. Which is smaller: p or u?
p
Suppose 7*b + 27*b = -680. Let q be 4 + 8 + 115/b. Which is bigger: 5 or q?
q
Suppose a + 193 = 10*s - 7*s, a + 198 = 2*s. Let k(v) = -52*v**2 - 2*v + 4. Let u be k(2). Is a greater than or equal to u?
True
Let g = -75 + 750. Suppose 5*m = 4*k - 2*k + g, 0 = -m - 5*k + 108. Which is smaller: m or -0.1?
-0.1
Suppose -6*n + 5792 = -13582. Let k = n - 422997/131. Suppose 2*y + 2*t - 4 = 0, 2*y + 3*t - 2 = 2*t. Is k != y?
True
Let q(r) = r**3 + 3*r**2 - 4*r - 7. Let o = 33 + -36. Let m be q(o). Let l = -13 + 15. Are l and m equal?
False
Let a(n) = 102*n**2 - 4589*n - 57. Let l be a(45). Which is greater: -143/12 or l?
-143/12
Let n = -5350 - -5124.1. Let q = 226 + n. Do 93 and q have the same value?
False
Let p = 378 + -350.5. Let q = 27.5 - p. Is 26.6 <= q?
False
Let n be 388/(-6)*228/152. Let o(g) = 75*g + 54. Let a be o(-2). Which is smaller: n or a?
n
Suppose 14*o + 3*o - 136 = 0. Suppose 3*v - o = c, 5*v - 20 = -0*v - 5*c. Let m be (-1)/2 + (-61)/(-26). Which is bigger: m or v?
v
Suppose 0*p - 106 = -4*h - 2*p, h - 3*p - 16 = 0. Suppose t = 24 - h. Let i be 3/(110/(-28) + 3 - t). Is i != 42?
False
Suppose -26 = -4*j - 5*n, 2*j + 5*n + 4190 = 4218. Are j and -2/41837 nonequal?
True
Let d be 44/12 + -3 - (-2716)/21. Let x = 109 - d. Is x less than -19?
True
Suppose -56*t - 5942 + 101478 = 0. Is 1704 < t?
True
Let i(s) = -s - 11. Let n be i(-8). Let d be 16/(-348)*5/((-50)/(-15)). Let v = -443/116 - d. Which is greater: n or v?
n
Let a = -10882 + 10888. Which is smaller: 167/29 or a?
167/29
Suppose -3*h = 7*h - 3*h + 1911. Is h > -269?
False
Suppose -3*w = -5*g - 2, 6*w - 14 = 3*g + w. Suppose f - 3 = -g*f. Let i = 16/33 - 307/429. Are i and f unequal?
True
Let i(o) = o**3 + 16*o**2 + 14*o - 12. Let j be i(-15). Suppose j*z - 54 = 5*d + 77, 5*z - 85 = 3*d. Which is smaller: d or -0.3?
d
Let g = -88 + 99. Which is smaller: g or 53?
g
Suppose -18*p + 10400 = -115*p - 3*p. Which is smaller: -35 or p?
p
Let k = 29.8 - 3. Let u = -7.1 - k. Let r = 34 + u. Which is smaller: r or 15?
r
Suppose 3*t + 11 - 119 = 0. Let a be (-4)/((-16)/t*3). Let s(z) = -z - 9. Let c be s(a). Which is smaller: c or -1/4?
c
Let x = 47.11 + -0.11. Let b = x - 156. Let r = b - -109.6. Which is greater: r or 2?
2
Let p = -41 + 23. Let a = 29 - -19. Suppose 4*o = -5*i - 84, -3*o = -7*o + 4*i - a. Which is greater: o or p?
o
Suppose -5*m - 5*v + 30405 = 0, 4758 = -3*m + 4*v + 22994. Which is smaller: m or 6081?
m
Let r = -2814 + 1678. Which is smaller: -1135 or r?
r
Suppose -2*a = -3*v - 539, 48*a + 724 = -4*v + 52*a. Let z = v - -355/2. Which is smaller: z or -64?
-64
Let y be (-602)/(-129) + 3/9 - (-130)/2. Are 1196/17 and y equal?
False
Suppose -89*i + 94*i + 979 = -101. Let f = 32 - 248. Are f and i nonequal?
False
Let f(g) = -g**3 - g**2 + 36*g + 30. Let t be f(-6). Let k be t - (-414)/21 - (-2)/(-7). Are k and 14 nonequal?
True
Let k = 515.14 - 516. Let t = k + -0.14. Is t greater than 2.3?
False
Suppose 2*q = -o + 19, -5*q = -3*o + 17 + 7. Suppose -5*v + 10 = 5*z, -v - 3*z + o = -5*v. Let p be (-129)/156 + 9/12. Which is bigger: p or v?
p
Let h = -1 + 11. Let g(d) = h*d**2 - 6*d + 1 - 6*d**2 - 2*d**2 - d**2. Let r be g(6). Are 2/17 and r non-equal?
True
Let q be (-6)/(-21) + (-2)/7. Suppose -y + 2*y = q. Let p = 4151 - 4141. Do p and y have different values?
True
Suppose 8*m = -5*m + 153 + 3. Which is greater: m or -22?
m
Let w be -14 - 10/((-100)/130). Which is greater: -2/2581 or w?
-2/2581
Let n = -129/8 + 18. Let v = -2.51 + 40.01. Let b = -37.6 + v. Which is greater: n or b?
n
Suppose -16390 = 1104*b - 1099*b. Which is smaller: -3285 or b?
-3285
Let k be (-6)/12645*-2001 - 148/185. Is k equal to -1?
False
Suppose -2*z - y = 4*y - 838, 814 = 2*z - y. Let g = z - 256. Which is smaller: -2 or g?
-2
Let n(l) = l**2 - 3*l + 2. Let p be n(3). Let j be (-3)/p*14/(-105)*-310. Which is greater: -60 or j?
-60
Suppose 0 = -4*b + 4*f - 3408, 9*f + 1710 = -2*b + 14*f. Is b smaller than -851?
False
Let c(t) = 2*t**2 + 1 + 7*t - 8*t - 2*t**2 - t**3. Let g be c(0). Let f = 3.8 - -4.2. Is g >= f?
False
Let p = -1.03 - -56.03. Let t = -61.2 + p. Let g = t - -5.8. Which is greater: g or -3/2?
g
Let p = -0.4 - -0.384. Let m = -2242 - -2224.016. Let h = p + m. Is h >= 3?
False
Suppose 7 + 1 = y. Let h be 8/3 + (-4)/6. Suppose 0*m = u - h*m + y, -4 = -2*m. Are u and -4 unequal?
False
Let p