11 - 152. Does u = a?
False
Let u be 26/(-104) - 118/(-344). Is -1 less than or equal to u?
True
Let w be ((-8)/(-18))/(254/(-86) + 3). Is w smaller than 10?
True
Let r(i) = 15*i**2 - 250*i - 21. Let t be r(17). Is 3 at most t?
True
Let g be (-76)/(-104)*-242 + 12/(-78). Is 0 at most g?
False
Suppose -4*d - 6*h + 2*h = 104, -3*h - 26 = d. Which is smaller: 0.02 or d?
d
Suppose -73 = -4*u - 25. Let g be (-126)/u*60/(-7). Let o be (6/(-10))/(63/g). Is 0 at least o?
True
Let g = -0.51 + 2.51. Let b = 4.986 + 0.114. Let v = b + -5. Which is bigger: v or g?
g
Suppose -5*d = 20, -7 = -6*x + 5*x + d. Which is smaller: x or -17/7?
-17/7
Let f = -7 + -1. Let w = -16 + 10. Let r = w - f. Is 0.02 at least r?
False
Let y = 32 - 36. Let d(f) = -6*f + 5. Let c be d(y). Which is smaller: c or 2/3?
2/3
Suppose -3*l + p + 5 = -l, 3*l - 20 = 4*p. Let c be l/(-1 - -4) + 2. Which is greater: c or 4?
4
Let d = -1.63 + -2.27. Which is bigger: d or 1/3?
1/3
Let g = 4 - 4. Let l = -6/107 + 1/1926. Which is bigger: l or g?
g
Suppose x - q = -2*x - 7, -5*q + 21 = -x. Is -1/160 <= x?
False
Let d = -1.4 + 1.324. Let p = d - 33.924. Which is smaller: -1 or p?
p
Let m be (160/(-12))/((-6)/(-9)). Let q = 3 + -22. Which is smaller: q or m?
m
Suppose 0 = -2*l - 610 + 612. Let o be 1*-2*14/(-12). Which is greater: l or o?
o
Let m be 0 + (-715)/2130 - 1/(-6). Are 1 and m unequal?
True
Let l = 0 + 58. Let o = l - 57. Let a be 33/(-6) - 1/2. Is o < a?
False
Let p be (-102*2/15)/(6/75). Which is bigger: p or -341/2?
p
Suppose -4*u - 23 = 5*y + 20, 0 = 5*y - 5*u + 70. Let h be 1 + y + 5 + -7 + -1. Which is smaller: 1 or h?
h
Let a = -27 - -26.3. Which is smaller: 2/5 or a?
a
Let y(q) = -4*q**2 - 139*q + 37. Let z be y(-35). Which is smaller: z or 0?
0
Let w = 21846/43 + -508. Let l = 23 - 20. Suppose c = 4*z - 4*c, -4*z = -l*c. Are z and w equal?
False
Let c = 79 - 73. Suppose -c*o - 4 = -10*o. Is o at most 13?
True
Let d be 1840/2*(-7)/((-35)/(-2)). Is -368 not equal to d?
False
Let u(m) = -m**2 - 3*m - 2. Let i be u(-2). Suppose i*j + 36 = j. Suppose 2*c + 2*c - j = 0. Are 0.1 and c non-equal?
True
Let n = -21.9 - -21.9. Is n at least 0.209?
False
Let l = 500/21 + -169/7. Is l equal to -218?
False
Let l = -58 + 47. Let r = -11 - l. Which is smaller: r or -3/7?
-3/7
Let u = -584 + 583. Is -275 less than u?
True
Suppose 23*z - 98 = 362. Are 21 and z equal?
False
Let j = -9/2 - -21/10. Let k = 21 + -77. Let o = 54 + k. Is o less than j?
False
Let a = -106 + 96.14. Let z = a + -0.14. Let u = 8 + z. Which is bigger: -4 or u?
u
Let q = -1296/17 - -18437/255. Which is bigger: -3 or q?
-3
Suppose -3*j - 2*l - 12 = 0, 1 + 2 = l. Suppose z = -0*z + 3. Is z >= j?
True
Suppose 7*q + 6609 - 6602 = 0. Is -7/99 smaller than q?
False
Let h be -3 - -9*278/838. Let b = 1933/11313 - h. Which is bigger: b or -1?
b
Let g = -12.97 + -1.03. Let s = -2 + 2.5. Let l = 0.4 - s. Which is bigger: l or g?
l
Suppose -3*r + 11 = -7. Suppose z - 11 = -6. Which is smaller: r or z?
z
Suppose -5*a + z = 6*z - 170, -5*z + 110 = 3*a. Is a < 2?
False
Let o be ((-68)/(-10) - 2)/((-27)/(-90)). Let l = 12 + -7. Suppose 2*h = 2*i - 24, l*i - 3*h = i + 52. Are o and i equal?
True
Suppose 28 = 2*b + 2*b. Let p be 1/b*(-49)/(-6). Let i = p + -5/6. Which is smaller: 2/7 or i?
2/7
Let z = 1672.072 - 1672. Is 2/3 smaller than z?
False
Let v(h) = 2*h**2 + 6*h - 11. Let a be v(6). Let m be 3 + 91 + 10/5. Which is bigger: a or m?
a
Let z be 300/120*(-2)/5. Which is smaller: z or 41?
z
Let r = -241.0698 - 0.3502. Let v = r - -244. Let f = -2.7 + v. Is 1 smaller than f?
False
Let a be (-3)/(-6) - (-26)/(-4). Let g be (-3)/23*a/9. Let n be 2/(4 + -5) - (-1 + -3). Which is greater: g or n?
n
Let u(c) = 2*c - 3. Let n be u(6). Let s be 21/n - 2/6. Let q be (-8)/(-12) + (-4)/(-3). Is q at most as big as s?
True
Let q be 2/(-9) + (-4)/63. Let k = -18.5 + 17.46. Let v = k + 2.04. Which is bigger: q or v?
v
Let v = 0.05 + 0.25. Let y = v - 17.3. Let r = y - -18. Which is greater: r or 4/7?
r
Let a = -3 - -6. Suppose -f = -a*f. Let j = 24.08 - 24. Which is smaller: j or f?
f
Let p(k) = -k**3 + 2*k**2 - k + 13. Let r be p(0). Let w be 0/2 + (-1 - -14). Does r = w?
True
Let v(p) = p**3 + 13*p**2 + 11*p + 21. Let n be v(-13). Is -122 <= n?
True
Let s(c) = c**3 + 9*c**2 - 12*c - 19. Let k be s(-10). Which is smaller: 20/17 or k?
k
Let a = 6 - 5. Let d be (-7 - -5)/(3 - a). Let g be (2 - (0 - d))*1. Are g and 1/2 equal?
False
Suppose -4*l = -3*p + 26 + 66, 4*p - 36 = 2*l. Let h = l - -76/3. Is h less than 18?
True
Let m = 452.895 + 0.105. Is -2/7 <= m?
True
Let z be 6/(-33) - (26/(-22) + 1). Which is smaller: z or -2/75?
-2/75
Let h = 5 + -2.7. Let r = h - 3.3. Which is greater: r or 1/4?
1/4
Let h(n) = -n**3 - 20*n**2 + 31*n + 24. Let y be h(-21). Is -186 less than or equal to y?
True
Let g be -1 + 75/(-20) - -4. Suppose 0*u + 3 = -3*u. Let m be u - 2 - (0 + -2). Is g > m?
True
Let z(y) = y**2 - 25*y - 54. Let w be z(28). Is 31 equal to w?
False
Let a = -9 + -1. Let b be 2/a + 145/(-25). Let y = b - -17/3. Which is greater: -6 or y?
y
Suppose 0 = -10*o + 6*o + 16. Let u = 409 - 405. Is o at least u?
True
Let k(v) = -16*v + 19. Let q be k(6). Suppose 5*n - 189 = -4*u - 573, -5*u = -n - 71. Is n <= q?
False
Let s = -5.7 - 17.3. Let q = 79 - 105. Let h = q - s. Is h != -0.1?
True
Let s be 4/(-30)*85/68. Which is greater: 1 or s?
1
Let p(z) = -2*z + 9. Let y be p(0). Let j = y - 9. Let d = j - 2. Which is greater: d or -1?
-1
Let l = 417.2 + -417. Which is greater: -1.76 or l?
l
Suppose -4*u + 6 = -3*u. Suppose 0 = -u*k + 4*k - 10. Is k at least as big as -6?
True
Let j = -553 + 397. Is j < -156?
False
Suppose -5*z = -3*c + 12, c = -3*z - 9 - 1. Let l be (-2)/z + (-126)/27. Let o = -2/9 - 59/18. Are o and l nonequal?
True
Let l = 270 - 269. Which is greater: -8.7 or l?
l
Let c(y) = -y**2 - 4*y + 7. Let v be c(-7). Suppose 5*b - 406 = -4*t + 406, -4*b = 3*t - 650. Let a be b/v + (-6)/21. Is a not equal to -10?
True
Suppose -5*a - 135 = -2*a. Let u = 45 + a. Are -2 and u non-equal?
True
Let d(x) = -5*x + 279. Let z be d(56). Are z and -16/103 nonequal?
True
Suppose b + 3*b - 4 = 0. Let y(s) = 4 - 4 - s**2 + 1. Let o be y(b). Which is smaller: 1 or o?
o
Let v = -1.167 + -0.073. Let n = v + 7.44. Which is smaller: -0.2 or n?
-0.2
Suppose 19*h = 22*h + 9. Suppose -3*s + 6*s - 36 = 0. Let m be (-3)/84 + h/s. Which is bigger: m or 0?
0
Let l = 8.5 + -8.7. Let n = 13/15 + -97/60. Which is greater: l or n?
l
Let o be (-186)/20 + (2 - 0). Let x = -5/112 - -845/112. Let b = x + o. Which is smaller: -0.1 or b?
-0.1
Let b = -72/11 - -382/55. Let s be (20/(-30))/((-4)/2). Which is smaller: b or s?
s
Let k(l) = -l**2 + 4*l - 3. Suppose -7 = 4*b - 39. Let h = -5 + b. Let i be k(h). Is 1 smaller than i?
False
Suppose -5*h = -5 - 10. Let w = -2.2 - -3.22. Let d = w - 0.02. Which is greater: d or h?
h
Suppose 9 = -2*k - 11. Let m = k - -15. Let d(l) = -l + 9. Let j be d(m). Which is bigger: 5 or j?
5
Let v = -5/48 + -1/16. Let r = -1/388 - 45/1358. Is v greater than r?
False
Let d = -66 - -66. Suppose -31 = -5*q - 6. Let w = q - 6. Which is smaller: w or d?
w
Let p(y) = 5*y - 8. Let m be p(-5). Let i = -26 - m. Are i and 7 equal?
True
Let o be -3*(-110)/270 - 2/9. Are 20/13 and o non-equal?
True
Suppose -48 = -10*k + 22. Which is bigger: k or 3?
k
Let d = -37 + 39. Let g = -4.1 - -3.2. Do g and d have the same value?
False
Let a be (-1)/2 - (-33)/(-6). Let p = a + 2. Suppose d - 5*o = 7, 3*d + 4*o - 7 = 8*d. Is d <= p?
False
Let o be (3/(-6))/(155/(-10)). Suppose 10*q - 1 = 9*q. Let x be q/(10/(-6) - (-2)/3). Which is greater: o or x?
o
Let v(t) = t**3 + 11*t**2 - 11*t - 9. Let f(j) = j**2 - 1. Let o(u) = -5*f(u) + v(u). Let b be o(-7). Suppose w - 5*w - b = 0. Which is smaller: w or -4?
w
Let l = -15 - -15.85. Let h = l + -1. Let j = -0.15 - h. Is -1/11 at most as big as j?
True
Let v(n) = -n**3 - 3*n**2 + 4. Let u be v(-2). Suppose -3*g + 9 = u, 129 = -4*s - 5*g - 128. Let k be ((-17)/s)/(2/4). Which is bigger: k or 2/9?
k
Let z(n) = -n**3 + n**2 - n + 3. Let i be z(0). Which is bigger: 17/9 or i?
i
Suppose -3*q - 80 = -5*x + 2*q, 5*q = -3*x + 48. Suppose 5*a - 20 = 0, -t - 4*a = a - x. Suppose -2 - 3 = w. Which is smaller: w or t?
w
Let v = 204 - 171. Let n 