s - 17. Suppose -2*z + 48 = -8*k + 3*k, 120 = 5*z - 3*k. Let t be (-6)/s - z/14. Is t bigger than 0.1?
True
Let o(t) = 2*t - 18. Let y(p) = -p - 3. Let q be y(-12). Let k be o(q). Which is smaller: k or 2/211?
k
Let d(h) = -h - 1. Let z(w) = 5*w + 9. Let j(y) = -6*d(y) - z(y). Let s be j(-6). Suppose 5*p + 12 = -33. Does p = s?
True
Let o = 537 + -534. Is o != 8?
True
Suppose -a + 3*u = -3*a - 83, -82 = 2*a + 2*u. Let h = a - -159/4. Let q(b) = -b**3 + 5*b**2 + 2*b - 5. Let w be q(5). Is h greater than or equal to w?
False
Let w = 2688 - 2682. Let i be 32/35 + 4/14. Which is smaller: i or w?
i
Let z(f) = f**2 + 1. Let l be z(-2). Let n = l - 7. Let g = -9202 - -64406/7. Is n less than g?
True
Let c = -11 + 5. Let a be ((-2)/(-3))/(c/(-1026)*-3). Which is greater: 0 or a?
0
Let a be (12/(-888))/(5/2). Is 1 less than or equal to a?
False
Let m be 1/6*2*9. Let l be (m + (33/(-12) - 0))*1. Is l < -2.6?
False
Suppose 3*o - 5*o + 260 = 2*k, -2*o - 4*k = -270. Is 0 >= o?
False
Let t = 14337/107 + -2412582/17227. Let r = 90/23 + t. Which is bigger: -1 or r?
-1
Let y be (393/4)/((-581)/(-56) + -10). Which is smaller: y or 263?
y
Let g = 404 - 395. Are -2/123 and g equal?
False
Let a = 0.1 + -0.1. Let r = 2.3 - 1.9. Let v = a - r. Do v and -2 have different values?
True
Let d(w) = w**2 - w - 2. Let j be d(-1). Suppose r + 3*r = j. Let z(o) = o**2 + 1. Let y be z(r). Which is smaller: y or 0?
0
Let d be (-1230)/305 + (14 - (1 - -9)). Let t be 0 + (0/(-1))/(-1). Is t at least as big as d?
True
Let s(n) = -8*n + 76. Let g be s(9). Is 21 bigger than g?
True
Let s(r) = 110*r - 338. Let c be s(5). Which is bigger: c or 213?
213
Let h = 86 + -75.8. Let p = h + -0.2. Is 0 at least as big as p?
False
Suppose -5 = -2*v + 7. Let f be 17/5 + v/(-15). Which is smaller: 4 or f?
f
Suppose 6*a + 111 = 243. Which is bigger: a or -4?
a
Let c = 0.12 + -0.22. Let z = -14 + 15.1. Let j = z + c. Is j bigger than 1?
False
Let t = 204 + -203.9. Is -2/149 at most as big as t?
True
Suppose 6*x - 2*x = 0. Let r = 189/2 + -20225/214. Which is greater: x or r?
x
Let a = 50 - 22. Let r be (a/70)/(2/5). Which is greater: 1/40 or r?
r
Let n = -289/75 - -4/75. Suppose 0 = -r - 5, 0 = -q - 3*q + 4*r - 36. Let h be 2/(-14) - ((-68)/q - 0). Which is greater: h or n?
n
Suppose 7*t + 30*t - 21349 = 0. Which is bigger: 576 or t?
t
Let y = 139 - 134. Is y greater than or equal to 21/4?
False
Let f be 12 + (2 - 2) + 1. Let t = f - 14. Which is smaller: -4 or t?
-4
Let q = 146 + -246. Let u be 5/q + 1/(-5). Let o = 187/20 + -48/5. Is u less than or equal to o?
True
Let c be ((-28)/(-49))/((-74)/(-7)). Suppose -3*j = -j + 2. Is c bigger than j?
True
Let c = -482 - -848. Suppose c = 8*m - 2*m. Which is greater: 0 or m?
m
Let w be 9/(54/(-78)) - 3/1. Is w less than or equal to -11?
True
Let v = -0.08 + -0.72. Let d = -1 - v. Let k = 0.105 - 0.305. Is k greater than or equal to d?
True
Suppose 4*n + 3 = n. Let i(g) = 6*g**2 - 2. Let u be i(2). Let v = u - 25. Which is greater: v or n?
n
Let v = 20 + -19. Let c = 14.287 - 0.287. Is v at most as big as c?
True
Let o = -100 + 105. Suppose o*y = -4*c, -3*c + 2*y - y = -19. Are c and 3 equal?
False
Let p = 1999704382215/419917 + -4762142. Let m = p - 1213980058/4619087. Let k = m - -263. Is k greater than or equal to -1?
True
Let x = 5 - 7. Let u(v) = 3*v**2 - v - 1. Let s(r) = -2*r**2. Let a(j) = -5*s(j) - 3*u(j). Let m be a(x). Is 1 equal to m?
True
Suppose -136*y + 134*y - n = 1, 2*y + 3*n = 1. Is -49/20 at least y?
False
Let w(u) = u**2 - 4*u - 2. Let d be w(5). Suppose -3*n - k = 0, d*n = 2*k - k. Which is greater: n or -2?
n
Suppose -3*p - 20 = n - 0*n, 0 = 4*n - 2*p + 38. Let w = -126 + 119. Which is smaller: w or n?
n
Let l(a) = -3*a - 1. Let g be l(-2). Let t be 4/g*3/4. Let p(w) = 14*w + 660. Let n be p(-47). Which is greater: n or t?
n
Let i = -0.84 - 0.16. Let p = 29 - 8. Is p >= i?
True
Let v = 38.5 + -76.4. Let r = 38 + v. Do r and -0.9 have the same value?
False
Suppose -17 + 55 = -19*u. Is u at most 2/87?
True
Let v(f) = f**2 + 10. Let d be v(0). Suppose 35 = 2*l + l + 2*h, 5 = 5*h. Suppose 3*q - l*q + 72 = 0. Do q and d have the same value?
False
Let q be 1*(-2 - -2 - 1). Let s = -157.4 - -157.1. Is q at least as big as s?
False
Let o = -32 - -28. Let x be o/6*(-18)/192. Is -1 < x?
True
Let q = 0.9 - 0.8. Let c = -12.64 + -1.06. Let h = -14 - c. Which is smaller: h or q?
h
Let v be -4*(-5)/20*(-3)/(-9). Which is greater: v or -3/4?
v
Suppose 2*n + 3*n - 50 = 0. Let v be 16/n - (-10)/25. Suppose -r - 2 = -v*r. Which is bigger: 4/3 or r?
r
Suppose 2*x + m + 20 = 0, -5*x - m = 2*m + 48. Let z be 0 - (-4)/((-8)/(-6)). Let s be z/6 + (-2)/(-12). Which is smaller: s or x?
x
Let f be -1 - -2 - (1 + -1). Let a(r) be the third derivative of r**4/24 + 7*r**3/6 + 9*r**2. Let b be a(-6). Is b at most as big as f?
True
Let t be 1 - ((-24)/(-4))/(1 - 3). Suppose 4*u + 4*n = 16, u - t*u + n - 4 = 0. Which is greater: u or -2/73?
u
Let t = 3.02 - 0.02. Let m = 0 - t. Suppose -5*u - 8 = -5*r - 3, -6 = -4*r + 2*u. Which is bigger: m or r?
r
Let n be (150/120)/(2/(-24) + 0). Let b = n - -407/27. Which is greater: 1 or b?
1
Let a = 164 + -526/3. Let o = 32/3 + a. Let c be (0 - -3)*(-4)/6. Which is greater: o or c?
o
Let w = -1.3 + 1.13. Let h = -0.43 + w. Is 5/3 at most as big as h?
False
Suppose -5*l + 3*l + 4 = 0. Let o = l - 2. Which is smaller: -9/7 or o?
-9/7
Let q be (-2)/12 + 861/4662. Let p be 2/5 - 7/5. Which is smaller: q or p?
p
Let k be ((5 - 4)*0)/1. Suppose 2*b + k - 10 = 0. Which is greater: b or 18/5?
b
Let x(q) = -62*q - 299. Let y be x(-5). Which is smaller: -16 or y?
-16
Suppose i = 3*f + 5*i - 56, 4*i + 40 = 5*f. Is f bigger than 12?
False
Suppose 0*b + 5*j - 11 = 2*b, -b = -3*j + 8. Let y be (-30)/b - (-17 + 15). Which is greater: y or -1?
-1
Suppose 3*m = 5*b - 101, -4*m - 52 - 88 = -4*b. Let j = -35 - m. Let w be (-9)/(-15) - (-8)/20. Is w not equal to j?
True
Suppose -5*w - 293 = 3*l, 4*l = -2*w + 6*w - 412. Let j = -52 - l. Is -2/7 greater than j?
False
Let h = -1 - -2. Let z be (-3)/(-18) - (-6027)/(-35946). Let j = z + 4148/153769. Is h at most j?
False
Let i = -0.97 - 0.93. Is i greater than or equal to -0.7?
False
Let g = 12 - 20. Let l = 22 - 14. Let a = l + g. Is 3/7 less than or equal to a?
False
Suppose 0 = 5*l - 4*r - 25, -2*l + r + 9 = 2*l. Let p be ((-2)/9 - (-266)/198) + 7 + -8. Is l >= p?
True
Let a be 1/((-168)/32 - -5). Which is smaller: 6 or a?
a
Let g(z) = 17*z**2 + 3*z + 1. Let i = -13 - -12. Let w be g(i). Is w at least 17?
False
Let f(z) = -4*z**2 - 19*z - 54. Let a be f(-9). Let d = a + 199. Let i = 6 + -13. Which is bigger: d or i?
i
Suppose 5*a + n + 0*n = -14, 2*n + 8 = 0. Let w be (a - -3)*1*23. Suppose -w = -5*l + 2. Is 4 less than l?
True
Let k = -1492 + 1488.878. Let r = 0.122 + k. Is r <= -3?
True
Let p be (-2)/7 - 19/7. Let s(u) = u + 10. Let i = 13 + -25. Let q be s(i). Which is smaller: p or q?
p
Let z = -3.8 - 3.2. Let a = -28 - z. Let d = -0.1 + 0.2. Do d and a have different values?
True
Suppose 10*h + 42 + 88 = 0. Let u be 0 - h/(299/(-6)). Is u <= 1?
True
Suppose -34*f = -53*f + 950. Is f > 50?
False
Let a be ((-16)/920)/((-3)/15). Let n(s) = -s**2 + 4*s + 4. Let m be n(-1). Which is greater: m or a?
a
Let i be 2/7 - (-1506)/(-28). Let y = -481/9 - i. Let r(s) = -s**3 - 63*s**2 - 485*s + 54. Let v be r(-54). Which is bigger: y or v?
y
Let s = -33 + 21. Let y = 8 + -18. Which is bigger: s or y?
y
Let h = -104 + 105. Let t = -66213 - -5561989/84. Let s = t + -15/14. Which is smaller: h or s?
s
Let q = 2342/1725 - -56/345. Let n = q - -7/25. Which is smaller: 3 or n?
n
Let m = -2502 + 2501.98. Which is bigger: 101 or m?
101
Let c(j) = -7*j + 1. Let y be c(11). Is -75 smaller than y?
False
Let f(u) = u + 4. Let r be f(3). Let i(y) = 11*y**3 + 8*y**3 - 13*y**3 + y**2 - y. Let q be i(1). Is q less than or equal to r?
True
Let z(d) = 2*d**2 - 32*d - 4. Let c be z(15). Let x = 41 + c. Is 9 equal to x?
False
Suppose -3 = -2*y + 1. Let j = -7 + 12. Suppose -j*x + x = 4. Is y less than x?
False
Let t = 1.2 - 0. Let y = -1181 + 1180. Are y and t nonequal?
True
Suppose 4*k - 12 = 0, 0*k - k - 3 = 2*z. Let h(u) = -u - 8. Let g be h(z). Which is smaller: g or -1?
g
Suppose -5*y - 5*d = -175, 0 = -0*y - 4*