0.14 + -0.24. Let d = -3 + -3. Let p(l) = l + 2. Let z be p(d). Which is smaller: b or z?
z
Suppose -3*g = 4*p + g + 12, g + 3 = -3*p. Suppose 4*q = -p*q - 16. Let u be 4/(-14)*(q - 1). Which is bigger: u or 0?
u
Let j(i) = -8*i + 3. Let b be j(3). Let h be 6/b + ((-16)/(-7) - -2). Which is smaller: 5 or h?
h
Let f = -98 - -97.18. Let l = f + 2.48. Let i = l + -1.7. Are i and 0 nonequal?
True
Let b = -16.8 - -13.8. Let c = 26 + -45. Which is bigger: b or c?
b
Let n(z) be the second derivative of z**4/12 + 5*z**3/3 - z**2/2 - 23*z. Let b be n(-7). Is -24 != b?
True
Let t = 825 + -5784/7. Are -1/3 and t unequal?
True
Suppose -115 = 4*m + 2*i + 277, 5*m + 4*i = -496. Let x = m - -136. Suppose 2*j - 6*j + x = 0. Is 12 equal to j?
False
Let y = 8.3 + -8.12. Is 6 bigger than y?
True
Let g = -11 - -8. Let i(c) be the first derivative of c**3/3 + c**2/2 - 3*c + 11. Let k be i(g). Is k bigger than 2?
True
Let g be (3 - 21/5)*8/(-3). Suppose 0 = -2*n - 2*n + 16. Is g > n?
False
Let x be (-3)/15 + -1*2148/(-140). Which is greater: 14 or x?
x
Suppose 3*q - 1029 = 3*b, -b + 4*b = -5*q + 1739. Let v = -3110/9 + q. Do -1 and v have the same value?
False
Let u be (-2)/(((-48)/(-84))/((-2)/7)). Let p be (-6)/(-14)*(-4)/(-12). Is p >= u?
False
Let q(h) = -91*h**2 - 4*h - 2. Let n be q(-2). Let r be (9/54)/(1/n). Let t = 59 + r. Are -2 and t equal?
False
Let j be (4/732)/(6/369). Let u = -4151/12261 + j. Let m = u + 853/19698. Is -1/2 greater than m?
False
Let c = 111 + -106. Is c at most as big as -19?
False
Suppose -8*v - 5 = -3*v. Let q be 4/34 + 3400/(-19074). Which is greater: q or v?
q
Suppose -11*c + 72 = -7*c. Let i be 25/(-9) + (-4)/c + -1. Are i and -3 nonequal?
True
Suppose -2*f + 4 = 18. Suppose 6*n = -0*n - 30. Is n at least as big as f?
True
Suppose 4*s - 3*w + 1124 = 0, 4*w - 1066 = 3*s - 230. Are s and -285 nonequal?
True
Suppose -5 = -t + g + 2*g, -9 = -2*t + 5*g. Let c(s) = 2*s**2 - s + 1. Let b be c(t). Let w(y) = 2*y**2 + 2*y - 4. Let q be w(2). Are b and q equal?
False
Suppose 0 = -19*m - 102 - 88. Suppose r + 10 = -0*r + s, -3*r - 5*s - 38 = 0. Let b = r - m. Is b at most as big as -1/2?
True
Let h = 32 + -31.852. Let i = h + -0.048. Which is greater: i or -3/7?
i
Suppose -h - k + 6*k = 6, 0 = 2*h - 2*k + 12. Is -9 at most as big as h?
True
Let o = 7790 - 54532/7. Let t = 0.016 - -0.404. Is o at most as big as t?
True
Let c be (1 - 0) + 5/(-3). Let r(x) = -x**2 - 4*x - 3. Let b be r(-4). Let z be b + 3 - (-4)/(-2). Is z at most as big as c?
True
Suppose n + y - 350 = 213, 3*y + 1695 = 3*n. Is n smaller than 563?
False
Suppose 0 = 6*t - 2*t. Suppose t = -4*j + 5*p + 39, -j = -4*j + 4*p + 29. Is j greater than or equal to 12?
False
Let s be (90/25)/((-106)/(-100) - 1). Which is greater: 59 or s?
s
Let y be ((-41)/(-8) + -5)/(554/24). Is -1 < y?
True
Suppose c + 5 = -n + 2*c, c - 4 = 0. Let u(m) be the second derivative of -m**5/20 + m**3/6 - 3*m. Let v be u(n). Is v greater than or equal to 1/63?
False
Suppose -2*i = 5*k + 6, -28 - 6 = 5*i + 3*k. Let w be 3 - (-1 + i/(-4)). Suppose x - w = 1. Is x smaller than 1?
False
Suppose -44 - 8 = -4*s - 4*u, -14 = -3*s + 2*u. Let g(z) = -6*z + 3. Let y be g(-1). Which is bigger: s or y?
y
Let o(k) = k**3 + 18*k**2 + 2*k + 30. Let j be o(-18). Let u be -1 - (-87)/45 - (-2)/j. Which is smaller: 0.1 or u?
0.1
Let r be 80/3*(-180)/75. Is -316/5 smaller than r?
False
Suppose 5*z + 19 = 4. Let q(v) = -v**3 - 7*v**2 - 7*v - 2. Let h be q(-6). Suppose 0 = -c + 2*j - 7, 6*c - 2*c + 4 = -h*j. Is c less than or equal to z?
True
Let g be -360 + 92 + 3/(-1). Is -271 < g?
False
Let b be (20/(-6))/(1/(-162)). Which is bigger: 539 or b?
b
Suppose -5*q + 58 - 3 = 0. Let i(v) = -2*v - 5. Let u be i(-8). Does u = q?
True
Let k(y) = y + 1. Let u be k(-1). Let s(o) = o**3 + 16*o**2 - 2. Let w be s(-16). Let i be (w/38)/((-33)/6 - -5). Is u less than or equal to i?
True
Let z(w) = 42*w - 5. Let i be z(1). Let o = i - 30. Let d = -0.5 + 0.3. Which is smaller: d or o?
d
Suppose -2*o - 2444 = 3*k, 5*k - 2*k + 2416 = 5*o. Are -812 and k equal?
True
Let k(p) = p**2 - 7*p - 10. Let y be k(8). Let s(b) = b - 1. Let a be s(y). Suppose 16*f + 13 = -67. Which is greater: a or f?
a
Suppose 4*d + 4*y - 3*y = 9, 3*d = -2*y + 8. Let w = d + -2. Which is smaller: -3/11 or w?
-3/11
Suppose -d - 27 = 2*d + 3*c, -4*d - 2*c = 28. Let j(v) = 2*v**2 + 6*v + 3. Let t be j(d). Let l = 24 - t. Which is bigger: -2/31 or l?
l
Suppose -h - 3*u - 393 = 0, h - u = -3*h - 1624. Do h and -405 have the same value?
True
Let w(q) = 2*q**3 - 3*q**2 + 3*q - 9. Let u be w(3). Suppose 0 = y + 4, y - 5 + u = 3*g. Which is bigger: g or 7?
7
Suppose -2*r + 2*q = -63 + 173, -2*q = -4*r - 216. Let n = r - -158/3. Is -0.8 > n?
False
Suppose 5*f = -6 + 21. Let i(d) = -d**3 + 2*d**2 + 5*d. Let y be i(f). Which is greater: 1 or y?
y
Suppose 0 = 161*w - 179*w - 324. Which is greater: w or -15?
-15
Suppose 21 = 7*s + 7. Let v be (-195)/35 - (-6)/(-14). Let z(j) = -j - 2. Let l be z(v). Is s at most as big as l?
True
Let g = 25.4 - 46.4. Are g and -0.04 non-equal?
True
Suppose -5*c = 33 - 103. Suppose 314*k = 317*k - 39. Is c at most k?
False
Let u(t) = -11*t**2 - 48*t - 35. Let v be u(-9). Is v greater than -494?
False
Let g(q) = 2*q + 35. Let f be g(-11). Let j be 1/335*(-15 + f). Which is smaller: -1 or j?
-1
Let t(i) = 9*i**3 + 90*i**2 - 4. Let h be t(-10). Which is greater: -30/7 or h?
h
Suppose -2*j + 141 = 9*g - 14*g, 0 = -3*g + 5*j - 96. Let a be (1 - -1)*(111/g + 4). Let m = -2 + 3. Which is greater: a or m?
m
Let b be (-25)/(-5) + (4 - 8) + 3. Is b at most as big as 31/7?
True
Let b(n) = -n + 9. Let q = -1 + 7. Let c = q - -3. Let h be b(c). Is 0 greater than or equal to h?
True
Let z(y) = -3*y**3 - 2*y**2 + 1. Let l be z(-1). Let j be l/(-4) + (-18)/(-4). Is 3 equal to j?
False
Let g = -0.41 - 9.09. Let z = g - -0.5. Let t = 11 + z. Is t at most as big as -2?
False
Suppose -6*n = 61*n - 268. Let s(f) = 2*f**2 - 2*f + 3. Let a be s(2). Which is smaller: a or n?
n
Suppose -5*u + 135 = 4*g - 37, u = -4*g + 172. Let x = g - 42. Is 3/28 < x?
True
Let l = -377 - -340.1. Let j = 37 + l. Which is bigger: 11/5 or j?
11/5
Let n = 91 - 135. Let j = -23 - n. Is 1/4 smaller than j?
True
Let k = 2/4291 + -42948/81529. Which is smaller: k or 2?
k
Let w = -245 + 365. Which is smaller: 118 or w?
118
Suppose 0 = 17*t - 5*t - 48. Suppose t*w + 7*w - w = 0. Is 49 greater than w?
True
Let p = 1/110 - 609/18590. Which is smaller: p or 0?
p
Let g(t) = -4*t**3 + 4*t**2 + 5. Let d(h) = -h**3 + h**2 + 1. Let k(j) = -5*d(j) + g(j). Let q be k(0). Are -1/34 and q nonequal?
True
Let g = 0.1 - -1. Let z = 11.9 + g. Let x = z + -9. Is -1 < x?
True
Let g = -129744/7 - -18573. Let p = g + -472/7. Let y = p + 29. Is 0 less than y?
False
Let j be (-30)/(-64)*22/(-17 - -6). Are -0.4 and j non-equal?
True
Let o = -38/7 - -83/14. Is o at least as big as -0.1?
True
Let l = -18 - 0. Let d = l + 12. Let c be (3 + d/4)*4. Do 6 and c have different values?
False
Let d = 7414 + -7410. Let z = 6 - 11. Which is smaller: d or z?
z
Let d be ((-2)/3)/((-70)/105) - 0. Which is bigger: -124 or d?
d
Let z be -985*9/((-135)/(-6)). Let c = -6696/17 - z. Which is smaller: -0.2 or c?
-0.2
Suppose 5*p - 44 = -5*m + 4*p, 5*p + 23 = 2*m. Let o = -18 - -36. Suppose -27 - o = -5*h. Do h and m have the same value?
True
Let w be 164/(-574) - 78/(-28). Suppose q + 4*q - 4*m - 15 = 0, -3*q = 3*m - 9. Is w at most q?
True
Let c = 52 + -88. Let s be c/126 - 242/(-14). Which is smaller: 0.1 or s?
0.1
Let x = -8183 - -8182. Let u be (-6)/20*8/150. Which is bigger: x or u?
u
Suppose 5*g = -10, 46*d - 395 = 47*d + 2*g. Is d not equal to -393?
True
Let b = -41.33 + 41. Let j = -0.03 - b. Are j and 1.6 nonequal?
True
Let d be (-2)/(-6) - (-22)/(-30). Let v = 34 + -29. Let c = 5.02 - v. Which is smaller: d or c?
d
Let p = -12.6 - -0.6. Let u = p + 11. Which is greater: u or -5/8?
-5/8
Let o = 1.164 + 22.836. Let b(q) = q**3 + 7*q**2. Let z be b(-7). Is z smaller than o?
True
Suppose 7 = 2*r - 3*r. Suppose 90*z = 122*z + 256. Which is greater: z or r?
r
Let g = 167 - -104. Suppose 5*u + 17 = -p + g, 4*u = p + 205. Is 51 > u?
False
Let p = 113 - 112.4. Is 0.25 at most p?
True
Let k = 73 + -178. Let c be k/75 - 2/(-5). Which is grea