 - o - -2) + (33 - 32). Which is smaller: q or -11?
-11
Let u(o) = -3*o + 72. Let s be u(4). Let z be (-8)/s + (-3152)/(-240). Which is smaller: 12 or z?
12
Suppose 4*r = 8*r - 20. Suppose 7*w - 282 = 4*w. Let c = -95 + w. Is r at least as big as c?
True
Suppose 0 = -3*h + 3*o + 1140, h + 2*o - 68 = 303. Let c = -413 + h. Let i = 0 - -0.1. Which is greater: i or c?
i
Let f(w) = -12*w - 7. Let j(d) = 47*d + 27. Suppose 0 = 5*z + 15, 3*z = -3*m - 20 - 16. Let r(b) = m*f(b) - 2*j(b). Let c be r(-2). Is c at least as big as -19?
True
Let b = 458 - 461. Let a = 878/759 + 5/506. Which is bigger: a or b?
a
Let a be (-25)/1*-9*(-2140)/450. Do -1070 and a have the same value?
True
Let p be -9 - (-260)/25 - 1/1. Let a = 216 + -12495/58. Let g = a - 2/29. Which is smaller: g or p?
p
Suppose -2*m - o - 28 = -3*o, 0 = 3*m - 2*o + 40. Let l(n) = -n**2 + n + 207. Let k be l(0). Suppose 11*t + k = 86. Are t and m nonequal?
True
Let q be 123/(-2)*(-7)/(21/(-6)). Suppose -610 = -13*i + 18*i. Which is smaller: q or i?
q
Let k be 6 - 5 - (-3 - (-6 + -2)). Let j be (254/8)/(k/(-16)). Let o = j - 124. Is o != 5?
True
Let k = -605 - -730. Suppose 11*u - k = -114. Which is smaller: 2/523 or u?
2/523
Suppose 158*d - 184*d + 2808 = 0. Is d < 49?
False
Let x = 1566702919/5615 + -279021. Is 0 greater than x?
False
Let r(j) = -j**2 - 3*j - 3. Let n be 768/56 + (-2)/(-7). Suppose 7 = -7*v - n. Let l be r(v). Which is smaller: -7 or l?
-7
Let b = 176 - 175.57. Let u = 4.43 - b. Are -14 and u nonequal?
True
Suppose -505*b - 4131 = -502*b + 3*c, 0 = 4*b + 5*c + 5510. Are b and -1381 nonequal?
True
Let x be 108678/7788 + (-1)/(-22). Let c = -2 + 8. Suppose -c*k + 80 = -k. Does k = x?
False
Let z = 53 + -48. Let n = -44 - z. Let f = 48.5 + n. Which is bigger: f or 0?
0
Let o = 221.87 + -211.8. Let t = 0.07 - o. Let a be (-6)/(-8)*3/(-9). Which is greater: t or a?
a
Suppose -3*d - 480 = -237 - 240. Is -20/373 equal to d?
False
Let a = 1014.1 + -464.1. Do 1 and a have different values?
True
Let f = -74/105 + -2/21. Suppose -471*r + 247*r = 0. Is r not equal to f?
True
Let r = -0.53 + -191.47. Let t = 198 + r. Which is smaller: t or 1/3?
1/3
Let a = 38 - 29. Let s = -844 - -846. Is a greater than or equal to s?
True
Let p be -7 - (-145)/20 - (-65)/(-100). Is p at least 169?
False
Let u = 382 - 199. Suppose -18 = 3*r + u. Which is greater: -64 or r?
-64
Let i = -39671/352779 - -1/3297. Is i <= -1/4?
False
Let p be (-4 - -17)*4 - -1. Suppose 4*l - r - 225 = 0, 7*l - 5*l - 4*r = 116. Which is smaller: l or p?
p
Suppose -11 - 14 = 5*u, 5*u = 2*d - 25. Which is greater: d or -1/850?
d
Let v = 27469297/42574 + -9033/14. Which is bigger: v or -0.2?
v
Let f = -14.6 + 11. Let y = 1377 + -1377.1. Which is greater: f or y?
y
Suppose 17 = 2*c + 11. Let m be (5 + -3)*((-2)/(-1) - c). Which is greater: m or -38/31?
-38/31
Let q = 15054 - 14780. Which is smaller: q or 2187/8?
2187/8
Let f be (-2)/((-3)/1035*-18). Let h = f - -25303/660. Which is greater: h or 0?
h
Suppose -401 = -2*g - x, 8*g = 4*g + x + 817. Let f = -120 + g. Is 82 smaller than f?
True
Suppose 10*y - 6*y - d = 109, d - 3 = 0. Which is greater: 88 or y?
88
Let w = -1647.2134 - -0.2134. Let f = 1644 + w. Let y = 3 - 2.98. Which is smaller: f or y?
f
Let p(u) = 2*u**3 + 16*u**2 + 12*u - 14. Let i be p(-7). Which is greater: i or -7/281?
i
Let y = -266 + 261. Does y = -7?
False
Let v = 104 - 92. Let j = -106 + v. Let q = -93.9 - j. Is q <= -6/7?
False
Let h = -3206 - -3206. Are h and 3311 equal?
False
Let w = 1.03667 - 0.03667. Is w greater than -3/623?
True
Let l be (-2)/(-72)*(-340)/15. Let n(u) = 9*u**2 - 9*u - 18. Let c be n(-1). Is l greater than c?
False
Let y = 16.876 - -0.024. Let m = -16 + y. Let w = -0.4 + m. Which is bigger: -2/7 or w?
w
Let m be 18/4*(-12)/(-9). Let u = 2400 + -2393. Which is smaller: u or m?
m
Let d = -9 - -6. Let h be ((-8)/d)/((-2)/6). Let r(t) = t**3 + 15*t**2 + 61*t + 100. Let w be r(-10). Which is smaller: h or w?
w
Let g be 1 + 3 + -4 + -1. Let z be ((-11904)/990 - -12)/(8/12). Which is smaller: z or g?
g
Let q = 3822600 - 71654637249/18745. Let m = q - -5/163. Is m at least as big as 0?
True
Suppose 7*d - 11*d - 232 = 0. Let k = d + 30. Let w be (7812/49)/(-6) - 6/14. Is w smaller than k?
False
Let i = -299 - -158. Let n = -127 - i. Suppose 2*y + 2*p - 10 = 6*p, n = 5*y + p. Do y and 4 have different values?
True
Let d = 261 + -261.9. Let h = 1268 - 1268.02. Do h and d have the same value?
False
Let v be ((-22)/231)/((-1)/(-579)). Let x = 2712/49 + v. Is x smaller than 0?
False
Suppose 0 = 3*d + 2 - 17. Let b = 108 + -109. Let a be 828/162 + b/9. Do d and a have different values?
False
Suppose -2*n + 11 - 7 = 0. Let h(w) = -21*w**3 + w + 5*w + n*w**2 - 4*w**2 + 20*w**3 + 3. Let d be h(-4). Which is greater: 10 or d?
d
Let c = -485.7 - -486. Which is bigger: -210 or c?
c
Let w = 443 + -633. Let b = w + 1332/7. Is b <= 27/8?
True
Let s = -560600.0674 + 560823. Let x = s - -0.0674. Which is bigger: 0 or x?
x
Let f(m) = -13*m - 206. Let b be f(-20). Suppose 258 = 17*g + b. Which is greater: g or 112/9?
112/9
Suppose -l = -12 + 22. Let u(a) = a**2 + 12*a + 11. Let x be u(l). Let p be 33/(-2)*((-21)/x + -3). Do p and 11 have different values?
False
Suppose s - 4 = -s, -2*r + 1792 = s. Suppose 0 = 18*m - r - 455. Is m not equal to 74?
True
Let g = -66 - -65.9. Let x be 9/((-945)/41262) - 2. Let s = x - -395. Is g less than s?
True
Let i be -9 + (-1 - -13) + 30/(-9). Is -0.2231 at least i?
True
Let h = -68 - -70. Let t(a) = 7*a**3 + a**2 - 6*a + 7. Let g be t(h). Let y = g + -57. Which is smaller: y or -24?
-24
Let x = -6007 + 6007. Let h = 85161/158 + -539. Let t = h + -34/869. Is x < t?
False
Let g = -1464.4 - -1440.36. Is g bigger than -2?
False
Let h = 297 + -140. Suppose 153*g + 76 = h*g. Let a(y) = y**3 + 6*y**2 + y - 1. Let s be a(-5). Is s at most g?
True
Let m be 110/(-208) - (-2)/4. Suppose 18308*q + 1362 = 16946*q. Which is smaller: m or q?
q
Let c(k) be the third derivative of k**4/24 + 2*k**3/3 + 4*k**2. Let h be (15/6)/((-45)/108). Let b be c(h). Which is bigger: b or -8?
b
Suppose -5*n - 25 = 0, -2*n - 7 = 4*b + n. Suppose -4*f + 8*f = 5*p - 11, 2*f = -p + 5. Is b smaller than p?
True
Suppose 503*r - 99 = 404*r. Let a(k) = -9*k. Suppose 4*t - 2*t - 2*j = 6, 0 = 4*t - j. Let u be a(t). Which is bigger: u or r?
u
Suppose 56 = -v - 10. Suppose 0 = -5*c + 3716 - 4051. Which is smaller: c or v?
c
Let x(d) = -d**3 + 7*d**2 + 41*d + 30. Let o be x(11). Is o less than or equal to -1767?
False
Let v = 1245/52 + -342271/14300. Suppose 0*y + y = 0. Let j = y - 0. Is v at least j?
True
Suppose -47*n = -45*n + 2. Let k = 7.3 + -7. Let d = k + -0.4. Is n equal to d?
False
Let t = 34 + -20. Suppose 10*i = 3*i + t. Let s be i + 1 + -9 + 4. Is -4/5 less than or equal to s?
False
Suppose -4*c + 3*n + 153 = 0, 6 = 5*n + 1. Let p = 5 + c. Which is smaller: 45 or p?
p
Suppose -4*s = -4*y + 27332, 68*s = 71*s + 3*y + 20463. Which is smaller: s or -6824?
s
Suppose -j - 4*f = -56, 3*j - j = 4*f + 100. Let c be 1454/(-13) - j/338. Which is smaller: -2/3 or c?
c
Let b = -2953 - -2953. Which is greater: 2/14121 or b?
2/14121
Suppose 5*w = -25, 2*l - 2*w + 8077 + 73 = 0. Is l less than or equal to -4079?
True
Let x = -0.07752 - -1.07752. Is 13/574 <= x?
True
Let f be 16/10 - -1 - 96/(-240). Let y be 1*f + 0 + (-160)/(-10). Are 18 and y non-equal?
True
Let z(m) = 2*m - 43. Let g be z(23). Let x(p) = p**3 - 7*p**g + 8*p - 7*p**2 + 7*p**3. Let l be x(6). Which is smaller: 11 or l?
11
Suppose -3*c + 8 = 2. Let j be (c - 2) + -10 + 2. Let g = 12878 + -12888. Is j != g?
True
Let m(l) = -l**3 - 13*l**2 - 9*l + 62. Let n be m(-14). Which is bigger: n or 381?
n
Let n = -3186 - -3186. Let m be 1/1*-1*-5. Suppose -t + 2*k - m*k - 8 = n, 2*t - 5*k - 17 = 0. Which is smaller: t or 3/53?
3/53
Let z = 0.964 - -0.036. Let s = -1353.9328 + 1354. Which is bigger: z or s?
z
Let i = -1203718/5 + 242188. Is 1443 > i?
False
Let v(b) = -2*b - 10. Let r be v(-4). Let t be (44 - r)*((-7)/2 + 4). Let u = -1309/2 - -678. Is t equal to u?
False
Suppose -11*k + 7 = -48. Suppose -218 = -c + 5*h, 3*h - 636 = -k*c + 2*c. Let x be 3*(2/(-5) + c/45). Is -1/2 at most as big as x?
True
Let r = -5596 + 5013. Is -584 greater than or equal to r?
Fal