9.3 + 667. Let u = l + -51.7. Is 2 equal to u?
False
Let r be ((-150)/(-4))/(4/344) - (-9 + 5). Does 3230 = r?
False
Let a = 18 - 28. Suppose 32*s - 113 = 15. Which is greater: a or s?
s
Let w = 1837 + -1921. Let o = -100 + 14. Is w at least as big as o?
True
Let o = -401.15388 - -0.15388. Is o > -0.2?
False
Let p = -3527 - 6463. Is p at most -9992?
False
Suppose 0 = 16*a - 373 - 683. Suppose -55*t + a = -33*t. Which is greater: t or 37/9?
37/9
Suppose 40 = 5*b + 30. Let c(x) = 21*x + x**3 - 9*x - 6 - 8*x - x**b. Let z be c(2). Is 6 not equal to z?
False
Let b = 0.1 + -0.1. Let s = -0.4 - b. Let p = 38330 + -38330. Is p equal to s?
False
Let z = -152.99 - -152. Let d = -7 + 6.99. Let b = z + d. Which is greater: b or -16?
b
Let d be ((-359120)/(-210) - 27) + (-3)/((-63)/(-2)). Which is smaller: 8419/5 or d?
d
Let b = -11191 + 3916841/350. Is b at most 1?
True
Suppose -2*p - 4*l - 22 = 0, -l - 28 = 3*p - 10. Let d be ((-152)/(-36) - 4) + 332/(-36) + 3. Which is smaller: p or d?
d
Let z = 0.7789 + -0.8189. Is 1.09 smaller than z?
False
Let s = 6865 + -6865. Are -1/19832 and s nonequal?
True
Let n be (-2137)/(1*-9*(-4)/(-122)). Let v = 7239 - n. Let c = -17/6 - v. Which is greater: 0 or c?
c
Let o(k) = 3*k**2 + k - 2. Let c be o(1). Suppose 0 = -5*b + 4*j + 9, 2*j - j - 14 = -c*b. Let d(u) = u. Let a be d(b). Is a at most as big as 2?
False
Suppose -i + 5*q = 103, 377 + 222 = -5*i - 3*q. Which is smaller: -128 or i?
-128
Let n be 46/16 - (0 - -2). Let o(s) be the third derivative of s**5/60 - 5*s**4/12 + 3*s**3 + s**2 + 23. Let w be o(2). Which is bigger: n or w?
w
Let q be 408/(-1088) + -24406*2/(-288). Which is smaller: q or 169?
169
Let m be -4*59 - (8 + -15). Let v = 228 + m. Is -2/279 != v?
True
Let j(a) be the third derivative of a**5/60 - a**4/6 + 11*a**3/6 - 53*a**2. Let m be j(4). Let l = 2 + 1. Which is smaller: m or l?
l
Let i be 6/12*236/2. Let y = -73 + i. Let b be (4 - y/(-3)) + (-22)/(-6). Are 16/5 and b nonequal?
True
Let o be (3 - (-3 + (-1 - -9)))*-3. Suppose -o*l - 99 = -93. Is l >= 5?
False
Suppose -5*x = -39 + 804. Let i = -144 - x. Which is smaller: -2 or i?
-2
Let v = 176313 - 2542786085/14422. Is 1 != v?
True
Let u = -28794 - -223470232/7761. Which is smaller: -1 or u?
-1
Let a = -1.1079 - -183.5079. Are 0 and a unequal?
True
Let h be (304/60)/((-66)/(-55)) + -4. Let a be 2 - (-2 + -4 + -2). Suppose -2*j + 4*k - a = -0*j, j + 2 = k. Is h != j?
True
Let i(f) = -5*f + 43. Let y be i(9). Let z be -2 + 3 + (-3)/((-3)/y). Let p be 2/(-36) + (-3)/6. Is p greater than z?
True
Suppose 8 + 8 = -4*a, -5 = -3*f - a. Suppose f*t - 2*t = -0*t. Let h be (t - -1) + ((-406)/54)/7. Which is bigger: -1 or h?
h
Suppose 13*k - 9*k = 5*j + 12, -4*k = 5*j - 12. Suppose 0*c = k*c + 18. Suppose -4*u = -5*i + 31, 2*u + 4*i - 7 = -29. Which is greater: c or u?
c
Let r = -4/99 - 104/693. Let f be ((-4)/(-1))/(2 - 0). Let n be f + 0 + -2 + 1. Which is smaller: r or n?
r
Suppose 0 = -2*o + 3*d - 5*d + 488, 5*o + d - 1232 = 0. Let h = -132 + o. Suppose -4*l - 3*b = h, 3*b = -2*l + l - 40. Do l and -23 have the same value?
False
Let o = -16/1212842775 - 3178212042383831/496052694975. Let g = o - -6407. Which is greater: g or 0?
0
Suppose r = -5*p + 6*r - 15, 3*r - 13 = p. Suppose 3*w - p*a + 10 = -3, a = -3*w - 7. Let b = -13 - w. Is b < -8?
True
Let g be -2 + -3 + -3 - 0. Let x(d) = d + 10. Let t be x(g). Suppose t*p - 8 = -2*y - 4, 0 = -3*p - y + 4. Is p >= -2/125?
True
Let w be 30/(-135) - (-13264)/(-9). Does w = -1474?
True
Let f be (123466/4)/7*-10. Let i be (-8)/36 + f/(-180). Let k = -246 + i. Which is smaller: -4 or k?
-4
Let g(p) = -16*p - 16*p - 21*p + 67*p - 40 - 16*p. Let c be g(25). Are c and -89 equal?
False
Let b = 334786/514395 - 1/24495. Let v = 3/7 - b. Which is smaller: v or 0.32?
v
Suppose -5*k + 2*k + 12 = 0, 4*k - 67 = -3*m. Suppose 10 = -2*y, 5*b + 3*y - m = b. Let o(q) = -q**3 + 7*q**2 + 8*q. Let h be o(b). Is h at most as big as -30?
False
Let s = 0.04211 + -806.64211. Let v = s + 138.6. Which is smaller: v or 0.1?
v
Let p = -536487262/2621 - -204688. Is p smaller than 0?
True
Let d = -3350 + 3337. Does 62 = d?
False
Let v(b) = -b**3 + 5*b**2 + 6*b. Let x be v(6). Let p = 177 - 149. Let n be ((-2)/(-2))/(-48)*(-27 + p). Are x and n non-equal?
True
Let m = -0.1 - -0.1. Let h = 3.94 - 2.988. Let w = 0.992 - h. Which is smaller: m or w?
m
Let l = -159 - -295. Let i = -190 + l. Let c = i + 53.8. Is -1/5 >= c?
True
Let f = -8.38 + 8.428. Do -0.06 and f have the same value?
False
Let m = -1147 + 650. Let f = m - -496. Which is smaller: -3/62 or f?
f
Suppose -x + 98 + 11 = -n, 4*x - 440 = 8*n. Which is greater: 82 or x?
x
Suppose -2*l = -v + 1118, 11*v - 5562 = 6*v + 3*l. Suppose 3*j + 320 = -3*i - 355, 2*i + v = -5*j. Which is smaller: -221 or j?
-221
Let g(b) = -b**2 - 1. Let q(v) = -9*v**2 - v - 5. Let i(p) = 6*g(p) - q(p). Let d be i(-1). Let k = -21 - -20.96. Which is smaller: d or k?
k
Let l = -1372.8 - -1371.8. Which is bigger: l or -24/977?
-24/977
Let c = 3457 - 3443. Suppose 0 = 4*f - 4*d, -2*f - 20 = -3*f - 3*d. Suppose -f*r + 80 = 10. Is r smaller than c?
False
Let g(j) = -j**3 + 35*j**2 + 72*j + 54. Let u be g(37). Suppose 8*o = 3*o - 4*l - 94, 5*o - 5*l + 130 = 0. Which is smaller: o or u?
o
Let w(m) = 132*m + 521. Let z be w(-4). Let r = 2069 - 10382/5. Which is bigger: z or r?
z
Let x = -666 - -666.801. Let p = -0.001 + x. Which is smaller: 10 or p?
p
Let t be (-21)/((-882)/12) + 663/7. Suppose 5*n = -5*u - t, 3*n - 2*u = -26 - 36. Are n and -2/11 nonequal?
True
Suppose -2*r - 95 = 3*r. Let b(m) = m**2 + 1088*m - 5482. Let a be b(5). Which is greater: a or r?
a
Let t be ((-18)/15)/(8/(-140)). Let m(i) = 2*i**2 - 42*i - 1. Let h be m(t). Is 1/29 less than h?
False
Suppose 6*p = -1575 - 669. Is -379 at most as big as p?
True
Let i = 187 + -187. Let n = 107 - 3318/31. Which is greater: n or i?
i
Let t be 6/51 + -4 + 1011564/34. Let h be 8 + t/(-2288) + 5. Which is smaller: h or -1?
-1
Suppose 9*i = 10*i + 1. Let c = 577/171 - 100/19. Which is smaller: i or c?
c
Let b = 4990 - 4990. Is b not equal to -1/466?
True
Suppose 3*n - 25 = -2*u, 5*n - 27 = 5*u - 2. Let i = 63221/11 - 5739. Are i and n equal?
False
Let v = 62 - 372. Let x = -316 - v. Let b = -0.3 + 0.5. Which is bigger: x or b?
b
Let q be (-36)/(-162) - 104/(-18). Let r(x) = x + 6. Let m be r(-6). Suppose 28 = 4*b - m*k + 4*k, 0 = 3*k + 3. Is q <= b?
True
Let a(g) = -2*g**2 - 21*g - 10. Let w be a(-10). Suppose h - 2*h - 36 = -l, 3*h - 2*l + 113 = w. Let v = h - -11. Which is bigger: -31 or v?
v
Let a be (-1)/(-26) + (-148617)/(-11466). Which is bigger: 44 or a?
44
Let z be (-6 - -1)*(164 + -189). Is z bigger than 125?
False
Let t = 60 + -57. Suppose -4*v - 15 = -3*x, 2*x + t*v = 4*v + 5. Is x >= 1/234?
True
Suppose 49*i - 48*i + a + 325 = 0, -4*i = 5*a + 1298. Which is bigger: i or -979/3?
-979/3
Suppose 57 = 9*o + 106 - 58. Is 35/134 greater than o?
False
Let c(g) = g + 18. Suppose 5*m = 7*m + 38. Let a be c(m). Let k(j) = 24*j + 6. Let v be k(a). Which is smaller: v or -17?
v
Let m(h) = -2*h**2 + 17. Suppose -5*u = o + 27, -u = u - 5*o. Let s be m(u). Let n = s - -131/4. Are n and 25/4 nonequal?
True
Suppose -1089 = 119*p + 11963 + 6345. Which is bigger: p or -164?
p
Let n(v) = -7*v + 1. Let c be n(6). Let p = c + 102. Suppose 4*w + 21 = p. Which is smaller: 0 or w?
0
Suppose -8*m + 7*m - 5 = -2*s, 0 = -3*s + 6. Let l be 6/(m/(-20)*105/(-112)). Is -253/2 less than l?
False
Let y = 0.6 + -0.4. Let u = 0.1 - y. Let g be ((-14)/(-14))/(6 - -23). Which is bigger: g or u?
g
Let y = -0.092 + -4.508. Let u = 27.95 + -0.35. Let h = u + y. Is h at least 1?
True
Suppose 0 = -150*u - 18631 - 1469. Which is greater: -142 or u?
u
Suppose 0 = 5*h + 5*n + 9885, 7907 = -4*h + 30*n - 33*n. Let j = h + 274662/139. Are j and 1 unequal?
True
Suppose -398*w + 103854 = -53*w + 20019. Is w != 4.9?
True
Let r = -189/3536 + -2/221. Let q(g) = 2*g**2 + 16*g + 19. Let c be q(-6). Let u be 1/(-5*1/c). Which is smaller: u or r?
r
Suppose 0 = 5*m - 5*r + 15, -3*m - 42*r - 7 = -43*r. Let w be ((-165)/(-450))/(m/8). Are w and 0 nonequal?
True
Let s(o) = 26*o**2 + 107*o + 29. Let h be s(8). Is -2/5 < h?
True
Suppose -5*r + 1 = 11, 4*r = 4*f - 60. Let s be 1*3*(-708)/531 + (17 - 1). Is s sma