-148. Which is smaller: u or b?
b
Let j = 153 - -30. Let p = 188 - j. Is -1/11 equal to p?
False
Let t = 73.91 + -73.62. Is t equal to -42?
False
Suppose -9*c + 66 = -11*c. Let g be 2/(-6)*(6 - (3 - c)). Suppose 2*n + 2 = r, 3*r + n = 7*r - 8. Is r < g?
True
Let u be (22/(-92))/((-56)/1008). Is u != 5?
True
Let v = 0.1995 - 85.8995. Let c = -58.7 - v. Is 0.7 greater than c?
False
Let u = 2 - 1. Let l = 104640 - 104973. Which is greater: u or l?
u
Let i = 281 + -319. Let d = 8.6 + -46.3. Let h = d - i. Which is greater: -3/7 or h?
h
Let p be (-18)/14 - 2/(-7). Let o(l) = 26*l - 11. Let k(g) = -76*g + 30. Let d(c) = 8*k(c) + 22*o(c). Let i be d(p). Is i < 33?
False
Suppose -310 = 5*k - h, -4*h + 62 = -5*k + 4*k. Let m = k - -59. Let n be 55/77*m/10. Is 1 less than n?
False
Let z be -3 - 2 - (-156 - -11). Suppose 0 = 5*b + 1130 + z. Do -255 and b have the same value?
False
Let x be 39/(-13)*(3 - (-101)/(-34)). Which is smaller: -0.4 or x?
-0.4
Suppose 0 = 5*y + b + 15, -7*b - 23 = -y - 2*b. Let o(w) = w**3 + w**2 - 3*w - 2. Let a be o(y). Let h be (-91)/31 - (-5 + 2 + a). Is h at least as big as 0?
True
Let y = -1084.387 - 30.613. Is y at most -0.09?
True
Let c(j) = -3*j**3 - 9*j**2 - 16*j - 5. Let f = 71 - 73. Let h be c(f). Is 1/2 less than or equal to h?
True
Let i = 4.2 + 0.8. Let g = 51.23 - 1.23. Let p = -50 + g. Is p < i?
True
Let c = -1640.7 - -1641.4459. Which is smaller: c or 1/4?
1/4
Let j be 1 + (0 + 1)*-59. Let q = j - -1973/34. Let n = q + 42/17. Do -0.1 and n have the same value?
False
Let s be 1 + 117/(-21) - -2. Let p(z) = -291*z - 1748. Let t be p(-6). Are s and t non-equal?
True
Suppose 3*y = 11*y - 128. Let r be 0/(-3) - y/(-212). Which is smaller: -1 or r?
-1
Let i be (2152/(-176))/(27/(-7806)). Let y = 3535 - i. Which is bigger: y or -1?
y
Let r be (54/20*28/(-42))/(11/286). Let d = 85 - 132. Let n = d - r. Which is smaller: 0 or n?
n
Suppose 0 = r + 3*f - 24, -5*r = 3*f + 204 - 240. Which is smaller: -3384 or r?
-3384
Let l = -866 - -1344. Let k = l + -261. Is 217 at least as big as k?
True
Let h = 21042 - 21204. Which is smaller: h or -2734/17?
h
Suppose 0*p + 44 = 4*a - 4*p, 4*p + 12 = 0. Suppose 4*w + 4 = a*w. Let v(m) = -41*m - 6. Let o be v(w). Which is greater: o or -48?
o
Let l be (11 + 24430/(-28))/((-26)/8). Which is bigger: 265 or l?
l
Let m = -43 + 52. Let t(q) = q**3 - 7*q**2 - 19*q + 13. Let v be t(m). Let w be (16/v + -12)*(-1)/2. Which is bigger: w or 9/2?
9/2
Suppose -m - 26 = 37. Let d = 64 + m. Let c = 253944/97 + -2618. Is d greater than or equal to c?
True
Let m be ((2 - 4)/(-124))/(6/(-24)). Let t = m + 271/5642. Let p = -295/4186 + t. Is p at most as big as 0?
True
Let q = -23 - -25. Suppose 5*k - 5*s = 10, -k + q*k = -3*s + 22. Suppose -2 = -5*t - k. Is t less than or equal to -1/8?
True
Let r = -11181106 - -413730298/37. Let o(u) = 33*u**2 + 5*u - 6. Let p be o(-5). Let i = r - p. Which is bigger: i or 1?
1
Let u(k) = -10 + 14*k - 17 - 16*k - 19. Let i be -20 + 2 - (3 + -1). Let a be u(i). Is -10 >= a?
False
Let l be -1 + 2 - (-2 - 2). Let d be l/4*-7*-4. Let w be 20/d + (-5)/21. Is 0 smaller than w?
True
Let c(r) = 2*r**2 + 0*r**2 + 10*r + 48 - 30 - r**2. Let t be c(-8). Is t at least as big as 7?
False
Let p be ((-5)/((-75)/(-966)))/((-144)/(-240)). Is -106 at least as big as p?
True
Let l = 2 + -2. Let n = -4378 - -1965. Let v be (-1 - 0) + n/(-2375). Which is smaller: l or v?
l
Let z = 5048 - 5063.322. Let i = z - -15.3. Let k = -4 + 4. Is i at most as big as k?
True
Let i = -77 - -65. Let a be (108/570)/(i/(-40)). Is a equal to 0?
False
Let j = -4916 - -4579. Are -338 and j nonequal?
True
Let j be (-71)/(-3) + 0 + 2 + -7 + 0. Is j not equal to -8?
True
Let c = 0.08 - -0.2. Let m = 223/45 - 71/15. Is c not equal to m?
True
Suppose b + 3 = -0*b + 5*k, -2*k = 4*b + 12. Let p be (-4 + b)/(10 + -17). Which is greater: p or -2/345?
p
Let q(r) = 16*r. Let y be q(1). Let i(l) = -95 - 104 - 57 - 54 - 56 - 33*l. Let m be i(-11). Are y and m equal?
False
Let z be -1 + 21*3688/80028. Let o = -36796/20709 + 105/59. Let g = o - z. Is g < 1?
True
Suppose 42*p - 44*p + 8 = 0. Suppose -p*h - 5 = l - 9, 2*h - 6 = 0. Is 2 less than or equal to l?
False
Let b = 432 + -420. Suppose b*j + 3264 = -0*j. Which is greater: j or -273?
j
Let t = -50157/4 + 965507/77. Let u = t + -4/77. Which is smaller: 59 or u?
u
Let l be 2 - (5 + 2)*-1. Let o be (l/2)/(-1 - 1). Let y be 10/(-10) - 1*(-1)/(-1). Is o not equal to y?
True
Let f be ((-48)/32)/(1/(-142)). Let l(d) = -d**2 + f*d + 22*d**3 - 213*d. Let p be l(-1). Is -23 < p?
False
Let p be (6/8)/3 + (-228)/336. Let l be (-5)/((-13)/(-6) + -3). Let s(v) = v**2 - 5*v - 5. Let u be s(l). Is p greater than u?
False
Let t = 3651 + -3617.6. Which is bigger: t or -2?
t
Suppose 7*q = 2*q. Let j be (1 + (0 - q))*-9. Let i be 1/(j/(-6)) - (-205)/(-15). Which is smaller: i or -47/4?
i
Let w be (-38)/14 + 6/(-21). Let b be (-104)/10*25/(2 - w). Let f = b - -52. Is f < -4?
False
Let x = 1 - 2. Let v(q) = 12*q - 38. Let h be v(7). Let w = -46 + h. Which is smaller: x or w?
x
Let n = -2027.1 - -2027. Does n = -1165?
False
Let c be 2 - (7 + -4)*(-20)/(-15). Let x be -6*c*2/(-92). Which is bigger: x or -1?
x
Suppose 3*p - 8 = 5*p. Let h(o) = o**3 - o**2 - 2*o. Let t be h(p). Let l = -82 - t. Is -9 != l?
True
Suppose 5*r - 13 = -2*y, 8 = y + 7*r - 3*r. Let m(q) = -23*q - 24 - 55 - 20*q**2 - q**3 + 2*q**3 - 63 + 185. Let a be m(21). Which is smaller: a or y?
a
Suppose -79 = 5*q - c + 49, 0 = -2*q + c - 50. Which is smaller: -33 or q?
-33
Let b = -86.08 - -85.84. Are 3/10 and b unequal?
True
Let s = 38335 + -38639. Is s smaller than -280?
True
Let z be ((-16)/(-6))/((-16)/(-1488)). Let j = 217 - z. Is j equal to -27?
False
Suppose 19*x - 20*x + 2*y - 7 = 0, 3*y = -12*x - 3. Which is smaller: -63/37 or x?
-63/37
Suppose 2*g = -2*y + 2952, 0*g - 1473 = -g - 2*y. Let l = -42 - -8. Let n be (g/l)/(3/4). Which is bigger: n or -57?
-57
Let p(z) = -46*z + 34. Let n be p(-5). Let j be 8/20 + n/15. Is 20 != j?
True
Let y = 21 - 21. Let t be 4/18*(1 + y). Let d = -51 - -50.92. Which is bigger: t or d?
t
Let j(n) = 5*n**3 - 5*n**2 + 9. Let l be j(2). Suppose -l = -o + 5*a, -4*o + 10*a + 48 = 7*a. Which is greater: o or -13?
o
Suppose 2*k - 2*m - 974 = 0, 2*m + 2024 = 3*k + 568. Let h = -403 + k. Let t be 78 + (0 - -2) + -2. Which is smaller: h or t?
t
Let t be -4 + (-913)/(-122)*38/76. Is 0 >= t?
True
Let a = 0.377 - 0.577. Does a = 7/69?
False
Let h be (-5 + 2)/(8/(-560)). Suppose -i - 4*g + 94 = 0, 3*i - 27 - h = -3*g. Which is bigger: i or 73?
i
Let b(x) = x**3 + 23*x**2 - 49*x + 6. Let d be b(-25). Is d at least 16?
False
Let q(o) = 2527*o + 1511. Let y be q(-13). Is y at least -31339?
False
Let t be 4/(-10) - 236/10. Let l(w) = -w**2 - 6*w - 5. Let o be l(-3). Suppose -o*g - 135 = 5*n, -11*n = -8*n - 4*g + 49. Which is smaller: t or n?
t
Let m = -1480/28843 + -41840971/93509006. Let w = m - 2/1621. Is 22/7 at least w?
True
Let m = 631.2 - 631. Let p = -35.05 - -0.05. Which is greater: p or m?
m
Suppose -53 = -2*a + 3*y - 6*y, -2*y = -a + 23. Suppose 46*h + a = 51*h. Let r(s) = -s + 9. Let z be r(4). Is z smaller than h?
False
Let s = -113 - -120. Let z be s/70*(-10)/(-4). Let j = 31 + -15. Is j not equal to z?
True
Let d = 4583 + -4583. Which is smaller: d or -3068?
-3068
Let k(u) = u**2 + 422*u + 11032. Let o be k(-28). Is -3/12233 != o?
True
Let w = -280 - -295. Suppose -w = 2*f + 3*d, 2*f = -3*f - d - 31. Is -11 less than f?
True
Let b = -566 + 1726/3. Let u = b + -187/21. Is 6 less than u?
False
Let n = -0.037 + 0.257. Let h = n - -8.78. Is 2/3 smaller than h?
True
Let d be ((-27)/(-66))/((-10269)/27300 + 6/16). Which is bigger: -354 or d?
-354
Let x = 0.0119 - 78.0119. Is x at most -1/79?
True
Let q = 17191 - 6549715/381. Are q and 1 equal?
False
Let s = -251 - -485. Let c = s + -1641/7. Do 1/2 and c have different values?
True
Let c = 258 + -257.797. Does c = 4/5?
False
Let g(d) = -d**3 + 37*d**2 - 32*d - 84. Let t be g(36). Suppose t = -5*k + 5*q, 8*q - 4*q - 30 = 2*k. Is 7 at most as big as k?
False
Let a be 5 + 7/((-77)/5766). Let y be -2*6*(-1)/3*-130. Let c = y - a. Which is bigger: c or -1?
c
Let i = 204 + -496. Let o = -199 - i. Which is smaller: 94 or o?
o
Let z(v) = 2*v**2 - 61*v + 