-i - 35, 4*p = -4*i + 2*i - 38. Let d be m(p). Which is smaller: 6/7 or d?
d
Suppose 0 = g + 5*k + 16, -g - 3*k = -6*g + 4. Let c be (-1)/(-4)*6/(-5). Is c equal to g?
False
Let d = 12136/21 + -578. Let r(s) = 2*s - 22. Let t be r(11). Do t and d have different values?
True
Let o = 17 - 3. Let v be 1/(-2)*644/o. Is -22 at most as big as v?
False
Let h be ((-3)/(-6))/((-1)/(-21)). Which is smaller: h or 10?
10
Let p be 24/32*6/9. Is -2/7 at least as big as p?
False
Let d be 2*(0 + 3/3). Suppose 4*v + d - 22 = 0. Is 4 < v?
True
Suppose 5*v + 2*z - 4 = 2, 0 = v + 5*z - 15. Is v at least -2/55?
True
Let d be (-3)/5 + (-39)/(-15). Let g = 2 + -1. Let m = d - g. Which is smaller: m or -0.2?
-0.2
Suppose p = -4*o + 52, 19 = 5*o - 5*p - 21. Is o bigger than 11?
True
Suppose -13*h = -8*h + 85. Which is smaller: h or -15?
h
Let u be (24 - 1)/(2/(-2)). Let s = u + 95/4. Suppose -2 + 0 = -2*w. Is s bigger than w?
False
Let n be (-8)/6 - (-48)/36. Let m be (-1)/(-52)*(-1046)/4. Let w = m + 39/8. Which is smaller: w or n?
w
Let q = 30 - 31. Let g = -184/267 - -2/89. Is g smaller than q?
False
Let h = 0.3 - 0.2. Let i = 3 + -2.8. Let k = i - h. Which is greater: -1/3 or k?
k
Let t = 2 + -9. Let u = -5 - t. Which is smaller: 1 or u?
1
Let l be -6*(6/(-4) - -1). Which is bigger: 5 or l?
5
Suppose 2*v + 2*v = 0. Let j be v + 2 + 2 + -1. Suppose -2*f = j*f + 10. Is -2 at most as big as f?
True
Let r = -21 + 291/14. Is r equal to 1?
False
Suppose -5*h - 10 = 0, -4*f + 0*h = -2*h + 4. Let s be (-8)/(-45) + f/5. Suppose 2*l + 2 = -0. Are s and l equal?
False
Let j(r) = -r**3 - 8*r**2 + 8*r - 9. Let y be j(-9). Which is greater: 2/7 or y?
2/7
Let f = 18.1 + -19. Let x = 1 - 0. Let g = x + f. Is -2/5 less than or equal to g?
True
Suppose 0*n = -3*n - 3. Is n equal to 2/21?
False
Let w be (-6)/(-27) + (-65)/9. Let s(c) = -c**3 + 6*c**2 - 2*c + 6. Let x be s(6). Are x and w non-equal?
True
Let a = -71/20 - -3723/1060. Let x = 59/159 + a. Which is smaller: x or 0?
0
Let r be (-2 + 12/6)/(2 - 5). Are r and -2/15 equal?
False
Suppose 0 = 3*u + 2*u. Let r be 57/21 + (1 - 4). Which is bigger: u or r?
u
Let s = 0.49 - 0.61. Which is smaller: 1/5 or s?
s
Let u = 2401/1464 - -104/183. Let o = u + -15/8. Is -1 <= o?
True
Let g(m) = -m**3 + 5*m**2 + 5*m + 6. Let f be g(6). Let u be (0/(-7))/(f + 2). Suppose -5*v - 10 = -4*j - u*j, -3*v + 31 = 5*j. Is j at most 3?
False
Let q be (-12)/(-4)*(-2 + 31/16). Is 0 greater than or equal to q?
True
Let q(s) = -9*s**2 + 3*s + 2. Let u(r) = 19*r**2 - 7*r - 5. Let d(c) = -9*q(c) - 4*u(c). Let n be d(-1). Is 6 greater than or equal to n?
True
Let g = -1.1 - -11.1. Let z = g - 2.8. Let l = 7 - z. Which is smaller: 2 or l?
l
Suppose 2*d + 3*d = 15, 0 = 3*i + 3*d - 24. Let v = 1 - i. Which is bigger: v or 0.2?
0.2
Let m(n) = -n - 3. Let g be m(-5). Let a = 2178 + -8763/4. Let f = 263/20 + a. Is f >= g?
False
Suppose -x + 36 = 2*x. Let c = 13 - x. Let d = 3.1 - 0.1. Is d less than c?
False
Suppose 0 = s + 4*s - 50. Let p = s + -9. Is -1 bigger than p?
False
Let a = 4 - 4. Suppose -4*r = -a*z - z - 13, -z - r = 8. Is -9 at least as big as z?
True
Let g = -0.2 - -1.2. Let a = 531.9 - 532. Which is greater: a or g?
g
Let l = -8 + 13. Suppose 5*m = l*u - 40, 2*u - u = -m. Suppose n + 4*i = 4, 2*i - 3 + 1 = u*n. Is 1/9 less than n?
False
Let g be 12/8*12/9. Suppose 4*q - 20 = 3*s, 2*s + 20 = -g*s + 4*q. Let p(o) = -o - 2. Let z be p(-3). Which is greater: z or s?
z
Let w be 2/3 - 1848/18. Let z = 1631/16 + w. Which is bigger: z or 1?
1
Let c = 16 - 16. Is c bigger than -6?
True
Let o be (-138)/(-2 + -1) - -2. Let d be o/(-26) + (-2 - -4). Is -1 bigger than d?
False
Let o = -155 + 157. Is o at least as big as 0.02?
True
Let u = 2 - -1. Suppose r - 3*d + 5 = -3*r, -u*d + 4 = -5*r. Let p(m) = -m**3 - 8*m**2 + 9*m + 1. Let v be p(-9). Is r > v?
False
Suppose 2*h - 155 = w, 3*h + 2*w + 0*w - 222 = 0. Let j be (h/(-264))/(1/(-2)). Let n = j - 10/11. Which is smaller: 0 or n?
n
Let g = 154 - 682/5. Does 19 = g?
False
Let o(z) = -3*z - 14. Let x be o(-6). Suppose 31 = -x*m - 25. Is m less than -14?
False
Let v(z) = z + 2. Let h be v(-2). Let m = -1/7 - 5/63. Is m at most h?
True
Suppose -5*f - w = -0*w + 185, f - 2*w + 37 = 0. Let d be 268/(-28)*4 - -1. Let j = f - d. Which is smaller: j or 0.2?
0.2
Let b(i) = -i + 4. Let o be b(4). Let a = 1 - o. Is -2/5 at least as big as a?
False
Let d = 7 + -10. Let p = 0.6 + -0.9. Which is bigger: d or p?
p
Let y = -1235 + 6152/5. Which is smaller: y or -6?
-6
Let y(o) = -2*o**2 - 6*o - 3. Let x be y(-2). Is x greater than -3/61?
True
Let l = -19 - -30. Which is smaller: 13 or l?
l
Let v = 63/2 - 31. Which is smaller: 2 or v?
v
Let f = -0.63 - -0.03. Let s = f + 0.6. Which is bigger: s or -5?
s
Let r = 2.4 - 3.4. Is r at least -19?
True
Let f be ((-4)/(-6))/((-33)/9). Is 1 bigger than f?
True
Suppose 2*l + 25 = 5*l - 2*o, -3*l = -o - 20. Let q be ((-9)/(-16))/(l/(-20)). Is q bigger than -3?
True
Let h = -1291/34 + 38. Is 1 at most h?
False
Let t be ((-2)/(-6))/(4/36). Suppose -t*z - 10 = m, z = -2*m - z - 4. Suppose -5*g + 15 = 5*k, -m*k - 12 = -5*k. Does -2 = g?
False
Let z = 178 + -178. Are z and 5/56 non-equal?
True
Let v(p) = -3*p**2 - 1. Let r(z) = -z - 5. Let b be r(-4). Let u be v(b). Let w be (-2)/(1 - (u - -3)). Is -1/7 <= w?
False
Let q = 0.066 + 0.034. Do q and 0.7 have the same value?
False
Suppose 4*b = -a + 17, -4*b = 3*a - 0 - 11. Let q(f) = f + 3. Let t be q(-6). Is a at least as big as t?
True
Let x be ((-18)/10 + 3)*-30. Which is bigger: -35 or x?
-35
Let w(q) = -q - 1. Let y(m) = m**3 + m + 1. Let c be y(-1). Let v be w(c). Are v and -1 equal?
False
Let s(l) = -2*l - 1. Let d be s(-1). Let o be (d + -3)/(2/1). Let z = 0.1 - 0.2. Is z != o?
True
Suppose -j + 17 = 18. Is j bigger than -1/38?
False
Let w = 1.5 - -0.5. Let u = 73 - 73.7. Which is smaller: w or u?
u
Let x = 24 + -16. Which is bigger: x or -1?
x
Let m = -2 - -6. Let t = -2 + m. Let s be ((-1)/(-4))/(1/4). Which is bigger: s or t?
t
Let p = -0.37 - -0.47. Which is greater: p or 2/9?
2/9
Let d = 4 + -15. Let n = d + 10. Are 0.08 and n nonequal?
True
Suppose 5*a + 2*f = 33, 3 = 5*f - 17. Which is bigger: 9 or a?
9
Let a = 98.39 - 98. Let i = a - -0.01. Is i >= 0.1?
True
Let u = -858/23 - -26528/483. Let c = u + -135/7. Which is smaller: c or -1?
c
Let v(w) = -3*w**3 - 15*w**2 - 3*w - 14. Let y be v(-5). Suppose 0 = -2*a + b - 0 - 2, -5*a + 9 = b. Is a at least as big as y?
True
Let b(g) = g + 5. Suppose 4*d - a = -0*d - 25, 4*a - 40 = 4*d. Let w be b(d). Suppose c + 0*c = 2. Which is greater: w or c?
c
Let g be (-1)/(135/69 - 2). Let f be 3 + (3 - 11958/g). Let u = f - -514. Is u at least 1?
False
Let m(h) = h**2 + 6*h + 7. Let l be m(-5). Suppose 4*u + 2*z + l = 0, u - 5 = 4*z - 1. Which is greater: u or 2/21?
2/21
Let c = -9.737 + -0.013. Let o = c + -0.25. Are -1 and o non-equal?
True
Let i(x) = x - 2. Let p be i(2). Let j = 81/47 + -3891/2585. Let z = j - -2/11. Which is smaller: p or z?
p
Let o(z) be the third derivative of -z**6/120 + z**5/10 - 7*z**4/24 + 4*z**2. Let f be o(5). Let l be 0 - 1 - f/8. Which is smaller: l or 1?
l
Suppose 5*c + 3*t = 2 - 6, t = 3*c - 6. Let m be 1 - 22*1/24. Which is greater: m or c?
c
Suppose 6*d + 4 = 2*d. Let t be 3*1/(3/21). Let b be (1/t)/(8/48). Is d bigger than b?
False
Let n(u) = u**3 + 2*u**2 - 4*u - 2. Let y = 3 - 6. Let m be n(y). Suppose 4 - 5 = r. Which is smaller: r or m?
r
Let t = 69 + -69. Is t greater than -1/160?
True
Suppose 0*d + d - b = 1, 0 = 3*d + 2*b - 28. Let a be d/3 - (-857)/9. Let q = a - 97. Is q at least as big as 1?
False
Suppose 5*j - 4 - 6 = -5*w, -2*j + 5 = w. Let m = 9.5 + -10. Is m != w?
True
Let i be 1/3 + (-45)/(-27). Let p be i - (1 - 967/8). Let h = p - 122. Which is smaller: -1 or h?
-1
Let x(v) = -2*v + 24. Let w be x(12). Which is bigger: -1/22 or w?
w
Let n = 7 + -7.1. Which is bigger: n or 5?
5
Let k be (0/1 - -4)/1. Suppose 3*q + q = 3*l - 3, -k*l + 4 = -3*q. Which is bigger: 1/18 or q?
1/18
Let h = 0 + -0.1. Is 1/2 at most h?
False
Suppose 2*n + 5*f - 15 = 4*f, -5*f + 5 = -4*n. Let a be (n + -3)/(15/(-1)). Is 2/5 less than or equal to a?
False
Let l be 2/((-3)/(-3)) - 6. Let r be 3 - (3 + -3 - l). Are r and -3/5 unequal?
True
Let v = -60.4 - -56.33. Let b 