-d - 2 = -2*w + 1. Is w < -4/7?
True
Suppose 16 = -4*q + 2*n, 2*q - 5 = 4*n - 19. Let j be (0 - 3)/(q/4). Let t = j + -4. Which is bigger: t or 2/9?
2/9
Let c = -27 + 25. Does 5 = c?
False
Suppose 3*f - 4 - 5 = 0, 2*l + 12 = 4*f. Which is bigger: l or 2/101?
2/101
Let j = -159 + 2386/15. Let p = -28 - -27. Which is bigger: j or p?
j
Let r = -2 + 2. Let w = 1 - r. Let n be -1 + w*(-3)/3. Which is bigger: -1 or n?
-1
Let f = -85 + 86. Which is smaller: f or 2/87?
2/87
Let i(l) = 47*l - 2. Let o be i(1). Which is bigger: 47 or o?
47
Let n = 0.96 + 0.14. Let t = 2.4 - n. Let d = -6.3 + t. Which is greater: d or 1/4?
1/4
Let l be 5 + (-1 - -1) + -2. Let r be 6/(-4) - l/(-6). Which is greater: r or 1?
1
Let q be (-7)/(-42) + (-181)/6. Is 0.2 less than or equal to q?
False
Suppose 2*n - 5 = 5*i, 0 = -2*n - 2*i - 3 + 1. Is n less than 0.88?
True
Let s = -4.3 + 4. Which is smaller: s or 1.4?
s
Let t(s) be the second derivative of -s**3/3 - 3*s**2/2 - 4*s. Let g be t(-6). Let m = g + -9. Which is greater: m or -2/15?
m
Let j = -56.49 - -59.5. Let s = -3 + j. Let k = -2.01 + s. Which is bigger: k or -1?
-1
Let y(b) = b**3 - 5*b**2 + b - 3. Let p be y(5). Suppose -i = 2*k + 13, p*k + 4 + 4 = 0. Let t be 3/15 - (-4)/i. Is t at most as big as -2/9?
True
Let i be 0*(0 - (1 + -2)). Which is bigger: 1/13 or i?
1/13
Let a(h) = h - 6. Let j be a(-4). Let b = j - -19. Which is bigger: b or -0.1?
b
Let q = 4 - 4. Let f = -13 - -18. Let k = f - 3. Is k at least q?
True
Let v(g) be the second derivative of -g**5/20 - g**4/3 + g**3/6 + 5*g**2/2 + 3*g. Let a be v(-4). Which is smaller: a or -2?
-2
Let d be (2 - 2) + 4 - 2. Suppose d*g = g - 291. Let o = g - -6695/23. Which is smaller: o or 0?
0
Let m(w) = -3*w - 4. Let z be m(4). Which is smaller: -1 or z?
z
Let m = 1 - -5. Is -2 greater than or equal to m?
False
Suppose 3*q = q + 18. Let o = q + -44/5. Which is greater: o or 0?
o
Let v = 20 - 20. Suppose 0 = 4*z - 3*f - v*f - 35, 20 = 3*z - f. Is 3 less than or equal to z?
True
Let q be -21 + 0 + 6 + -3. Let a be ((-4)/(-6))/((-4)/q). Suppose -l - a = -2. Is l at most -1?
True
Suppose -2*l = -7 - 1. Let q = 16 - 11. Which is greater: q or l?
q
Suppose -o = 2*b, -2*o = -5*b - 0*b - 9. Is b at most as big as -3/52?
True
Suppose -70 = -3*j + k, -j - 2*j + 68 = k. Let z be (-13)/(-5) - (-2)/5. Suppose 0 = g + 4, z*s + 5*g + j = -0*g. Is -1 < s?
False
Let c = -4 + 1. Suppose -2*t + 0*t = 10. Which is smaller: t or c?
t
Suppose -4 = 2*d + 4. Let y = -4 - d. Are y and 1 non-equal?
True
Let v = -2 - 1. Let u = 9 + -11. Is v not equal to u?
True
Let u = -0.3577 + 18.4277. Let y = u - 18. Let x = y + 1.93. Is 0.1 greater than or equal to x?
False
Let l(b) = -3*b + 1. Let t be l(-3). Let n = t + -49/5. Suppose -2 = -3*k - 2*a, -3*k - 5 = -4*k - 5*a. Which is smaller: n or k?
k
Let p(b) = 2*b + 45. Let x be p(-22). Is -6/31 <= x?
True
Let l(z) = -z**2 + 3*z + 2. Let d be l(3). Suppose -9 = 4*m + 3. Let h = m + 4. Which is smaller: h or d?
h
Let k be (3*(-4)/(-90))/((-2)/(-50)). Which is smaller: 4 or k?
k
Let u = 5 + 24. Let i = 27 - u. Are -3 and i unequal?
True
Let b = 0 + 2. Suppose -4*y - 44 = b*f - 6*f, 0 = -4*f - 3*y + 9. Is f bigger than 6?
False
Suppose 12 = -4*v + 4*d, -3*v + 4*v - 12 = -2*d. Let p be v/4*(-44)/2. Let z = -6 - p. Which is bigger: z or 6?
6
Let h = -17 + 24. Let c = h + -6.9. Which is smaller: c or -7?
-7
Let z = -29 - -27.9. Let s = z + 5.1. Let y = 6 - s. Which is greater: y or 0.1?
y
Suppose w + c = 2*w - 8, 0 = -2*w - 2*c + 20. Let d be -3 + w/(-12)*-4. Which is greater: d or 2/47?
2/47
Let n be -2 + 188/(-312)*50. Let v = 95/3 + n. Do v and -2/3 have different values?
True
Let f = -2 + 1. Suppose 5*k - 5*a = 10, -3*k + 1 = -2*a - 3. Suppose -5*z - 15 = k, g - 5 = -z + 3*z. Is g at most as big as f?
True
Let o = -57 - -53.4. Is o less than or equal to 0?
True
Suppose 0*j = -2*o + j + 2, 3*o + 2*j + 4 = 0. Let t = -80365 - -2812576/35. Let l = t - -27/5. Is o not equal to l?
True
Let r = 185 - 308. Is -1 equal to r?
False
Suppose 4*u = -3*c - 29, 13 = u + 5*c + 33. Let f = u + 13. Let g be ((-2)/28)/((-2)/f). Is g != 2/5?
True
Let i = -4 - -3.6. Let z = -89 + 61. Let o = 198/7 + z. Is i at most o?
True
Let j = 1.95 + -2.05. Let u = 3 + -5. Let m = u + 2.03. Is m at most j?
False
Suppose 5*v - 4 = 2*j, 1 + 9 = 5*v. Suppose 0 = -5*m - 20, -j*z + 2*z - 22 = 5*m. Suppose 1 = -3*a + 4, -4*p + a = 5. Is z at most as big as p?
True
Let m = 161.9 - 155. Let b = m + -7. Are b and 5 non-equal?
True
Let p be -6*1*5/(-10). Suppose -5*c = -z, 5*c - 3*c - 17 = -p*z. Is 4 less than z?
True
Let p(s) = -s**2 + 3*s - 4. Let r be p(3). Is r < -16/5?
True
Suppose -4*l = -p + 55, 0 = 5*p + 2 + 23. Let b = l - -27. Which is smaller: b or 13?
b
Let w be 8/(-4) + 2/2. Is w at most -16/7?
False
Let j = -2.2 + 2. Let q = -0.34 - -0.04. Let m = q + 0.2. Which is smaller: j or m?
j
Suppose -w - 5*k = -3*k - 2, 4*w = 4*k - 4. Suppose o - t + 0*t - 2 = w, -3*o + t + 6 = 0. Is 1 at least as big as o?
False
Let q be 4/(-12) + 16/3. Let g(v) = -v + 2. Let b be g(q). Which is greater: b or -2?
-2
Suppose -w + 2*w = 3*c + 7, 2*w - 10 = 4*c. Let z = 0 + 0.2. Let t = z - 0.3. Do c and t have the same value?
False
Let j be -1 + 4 + -1 + 1. Suppose -b - 4*b - 3 = y, -y = -j*b - 5. Is y equal to 4?
False
Let s = 1/20 + -187/140. Is 0 > s?
True
Let u = 28 + -25.1. Let a = u + -3. Is -1 > a?
False
Let o = -31.9 + 32. Is -2/7 less than or equal to o?
True
Suppose -h - w - 1 = -0*w, -h + 4*w - 1 = 0. Let n = h - -6. Let g = 114 - 572/5. Is g != n?
True
Let s(h) = -h - 3. Let n be s(4). Are n and -5 unequal?
True
Let y = 11 + -48. Which is smaller: y or -38?
-38
Let k be (14/(-6))/(1 + 0). Let h = k - -25/12. Which is bigger: 0 or h?
0
Suppose -3*b = -3*o + 15, 0 = 2*o - 0*b + 2*b + 10. Suppose 4*w - 5*n - 10 + 3 = o, 15 = -5*n. Let q be (-8)/5 + (-4)/10. Does w = q?
True
Let p = -1217/10 + 122. Is 0 at most as big as p?
True
Let q(z) = 5*z**2 - 8*z - 5. Let c(l) = -4*l**2 + 7*l + 5. Let v(r) = -4*c(r) - 3*q(r). Let x = -3 - -8. Let s be v(x). Which is bigger: s or 1/4?
1/4
Let c = -2567/5 + 515. Which is bigger: 3 or c?
3
Let s = 145/4 + -73/2. Let a = -53/92 + -4/23. Which is smaller: s or a?
a
Let n = 773 + -398. Let y = n - 1736/5. Let b = 28 - y. Does b = -1?
False
Suppose -q - 4 = -2*q. Let o = 4 - q. Is 0.4 < o?
False
Let f be 13/(-4) + 4/16. Let d = 3 + f. Is 1 smaller than d?
False
Let o(f) = f - 4. Let c = 19 + -11. Let d = c + -4. Let j be o(d). Is 4 >= j?
True
Suppose t = 4*t. Is -1/10 at least as big as t?
False
Let b(t) = t**3 - 8*t**2. Let g be b(8). Are g and 2/207 equal?
False
Let m = -20 - -14. Let w = -1 - m. Is w greater than 2?
True
Let n = 6.3 + -5.3. Which is smaller: 30 or n?
n
Let z = -20/7 - -114/35. Let h = -32 + 36.3. Let l = 4 - h. Do z and l have different values?
True
Let r be ((9/6)/(-1))/(12/(-264)). Which is smaller: 35 or r?
r
Suppose -3*s + 3 = -3*w, 2*w = -5*s - 0*s + 5. Which is smaller: w or 0.13?
w
Let n = -5.2 - -5. Is 5/6 at most as big as n?
False
Suppose 15 = -4*m - m. Let q(j) = -3*j**3 - j**2 + j - 1. Suppose 2*n + 0 - 2 = 0. Let k be q(n). Which is bigger: k or m?
m
Let d(l) be the second derivative of -3*l + 0 + 1/6*l**4 + 1/20*l**5 + 1/2*l**2 + 1/6*l**3. Let v be d(-1). Is 0 less than v?
True
Let a be 1 - 6 - 0/(-3). Let f = 4 + a. Let c be 0 + ((-2)/9)/f. Are c and 0 unequal?
True
Suppose -4*q + 3*b + 4 = -2, -4*q + 4*b + 8 = 0. Suppose -5*p - 158 = 4*c, -3*c - 107 = -q*p - 2*p. Let g = c - -112/3. Is 1 at least g?
True
Let d(o) = -o**3 + 6*o**2 - 5*o + 1. Let g be -1 + 5 + 1/1. Let x be d(g). Which is greater: -2/5 or x?
x
Let u = 4/9 - 25/36. Let q be (-10)/(-12) - 2/(-12). Let a be 1/(-4) + q/4. Which is greater: u or a?
a
Let c = 3 - 2. Let h(i) = 5*i**2 - 2*i + 1. Let b be h(c). Let x be 15/(-9)*b/10. Do 4 and x have the same value?
False
Suppose -5*x + 2*y - 25 = -2*y, -5*y = -3*x - 28. Which is smaller: 2/327 or x?
x
Let j be (2 + (-1 - 1))/(-2). Are 1/25 and j non-equal?
True
Let k = 48 - 140/3. Let t = 0.2 + -0.1. Are k and t nonequal?
True
Suppose 2*j + 33 = -x, 5*j + 0*x - 3*x + 77 = 0. Suppose 2*r = -l - 12, -3*l - 3*r - 23 = l. Let z be -2 - l/(-14)*j. Which is bigger: 1 or z?
1
Let i = 1 + 1. Suppose i = 6*j - 5*j. Let q be (-2