e 10/i*-1*1. Do u and 18 have different values?
True
Let z = 5.66 + -6.66. Are z and -119 nonequal?
True
Let c = -14 - -3. Let t be (40/(-6))/(c/(-33)). Let d be 4/t*2/2. Do d and -1 have the same value?
False
Let x(v) = -v**2 + 7*v. Let s be x(7). Suppose -3*i + s = -f - 23, -2*i - 6 = 2*f. Let g = -83/170 - -3/34. Is f not equal to g?
True
Let p(l) = l**2 + 2*l - 14. Let d be p(-6). Is d bigger than 13?
False
Let o = 127 + -123. Suppose 3*u = o*t + 114, 2*u - 98 = t - 17. Do u and 42 have the same value?
True
Let v(u) = -4*u**3 - 25*u**2 - 9*u - 16. Let i be v(-6). Which is smaller: 42/67 or i?
42/67
Let y be 10/12*7*(-16)/280. Let o = 2 - 0.8. Is o at most y?
False
Let h be (-24)/60 + 74/(-15). Which is smaller: -6 or h?
-6
Let n = 60.71 + -68.71. Let i be 1 + -2 + 0/(-2). Which is smaller: i or n?
n
Let a = 3 - 4. Let h = a - -37. Let z = h - 35.8. Is z >= -3?
True
Let f = 0.8 - 1.6. Let h = 0.2 - f. Which is smaller: -1 or h?
-1
Let f = -7.552 - 0.048. Let w = f + 7. Let c = 0.4 - w. Do -4/5 and c have the same value?
False
Let y be (-12)/(-2) + (-8257)/1380. Which is smaller: -1 or y?
-1
Let p be 8/18 - (-7 + (-1240)/(-36)). Let k be (10/6 - 1)*-42. Which is greater: k or p?
p
Suppose -4 = 5*i - 9. Let l be 1*(-2 - 1) + 4. Is l >= i?
True
Let b be 104/(18/8 + -2). Let q = b + 177. Let l = q - 14823/25. Which is greater: 0 or l?
l
Let m be (-4 - 0)*(-4)/16. Let z be 6/(-8) + (-7)/(-196) + m. Which is smaller: z or 11?
z
Let k = 587 - 595. Are k and -21 equal?
False
Let g(f) = f**2 + 14*f + 24. Let o be g(-12). Which is smaller: -1/11 or o?
-1/11
Let t = -14 + 18. Suppose -t*l = l - 40. Suppose -2*s + 23 = -3*o, 2*s + l = -4*o - s. Is -4 less than or equal to o?
False
Suppose 5*q + 10 = 2*p + 3, -4*q - 1 = 3*p. Let t be (-64)/(-144) + (-348)/54 + 6. Is t <= p?
True
Let h = -537 + 546. Is h bigger than 8?
True
Let m = -1.19 + -1.81. Is m <= 51?
True
Let s be (-66)/(-121) + 1245/(-44). Is -27 at least s?
True
Suppose 3*u = 4*u. Let k(p) be the first derivative of -p**4/4 - 8*p**3/3 - 4*p**2 - 8*p - 13. Let q be k(-7). Is u bigger than q?
True
Let f = -12209/114 + -65/114. Is f less than -109?
False
Suppose 3*y = 2713 - 2683. Does 47/5 = y?
False
Let u(k) = -k**2 + 13*k + 11. Let d be u(15). Is d at most as big as -4/7?
True
Let j(y) = y**3 - 10*y**2 + 10*y - 5. Let t be j(9). Let v = -6 + t. Let d = v - -3. Which is smaller: 1/10 or d?
1/10
Suppose a - 18 = 5*t, -5 = 2*a + 2*t + 7. Let y be 2/5 - 44*(-3)/(-30). Is y not equal to a?
True
Suppose -5*f = m - 106, -1 = -5*f - 4*m + 108. Suppose -f*o + 51 = -24*o. Which is smaller: o or -20?
-20
Let c be -7 - -10 - (0 + 0). Suppose 0 = z - 2*m + 64, -c*m + 6 = -0*m. Is -60 > z?
False
Let f = -8 - -10. Suppose 0 = -f*a + 4 - 6. Let w = a + 2. Which is bigger: -2/29 or w?
w
Let u be (-170)/51*3/2 - -16. Let q(g) = -4*g - 18 + 11*g - g**2 + 8*g. Let w be q(u). Is w > 25?
True
Let j(a) = -a**2 + 17*a - 70. Let p be j(10). Which is smaller: 3/323 or p?
p
Let k = -16 - -18. Let m be (5/1 + k)*1. Suppose -m*h + 16 = -3*h. Does 1 = h?
False
Let f = -5 + 7. Suppose -5*j + 2*z = -f, 2 = 2*j - 2*z + 6. Suppose j*n - 10*n = 48. Which is bigger: n or -3?
-3
Let a = -15 + -10. Let p(r) = r - 6. Let f be p(5). Let v(c) = 28*c + 2. Let g be v(f). Is g equal to a?
False
Let q be (-318)/27 + (-2)/9. Let n be (35/q)/5 + 0. Let l be 54 + (-10 - 48) + 2 + (-1 - -2). Which is smaller: n or l?
l
Suppose -6 + 7 = l. Let g be 0 - 2 - 2*l. Let q be (g/10)/((-4)/10). Is q at most as big as 2/23?
False
Let d = -0.08 + -2.92. Let k = -6 - d. Let g be 15/(-90)*(2 - (0 + 4)). Which is smaller: g or k?
k
Let t = -8 - -6. Let i be (t - -4) + (-2 - -2). Let g = 0.27 - 2.27. Do g and i have different values?
True
Let f be 518/49 + 3/7. Let r(g) = -g**2 + 10*g + 9. Let a be r(f). Is -1 >= a?
True
Let h = -87.51 + 87. Let s = 0.51 + h. Is 12 greater than s?
True
Let z(b) = -b**3 + 5*b**2 - 7*b + 6. Let a be z(4). Let s be 731/(-86) - (-2 - (-2 - -4)). Which is greater: s or a?
s
Suppose 0 = 6*n - 4*n - 22. Suppose d - n = -m, -m - 3 = -d - 10. Are 4 and m equal?
False
Let q = 7 - 23. Let j = q + 17. Let a = 0.2 + 0.3. Do a and j have different values?
True
Suppose -420 - 105 = -5*i. Let u = i - 109. Let d = -2 + -1. Is d at most u?
False
Suppose 0*d - 2*d + 10 = 0. Let k = -22 + 32. Suppose 2*p - 5*i + k = p, -28 = -d*p - i. Is 0.1 at least p?
False
Let g = -152 - -1370/9. Let z = -0.1 + -5.9. Which is smaller: g or z?
z
Let b be 10/(-35) - 6/(42/131). Is -230/13 at most as big as b?
False
Let z = 12642 - 1706638/135. Which is smaller: z or -1?
-1
Suppose -6*d - 22*d = 1820. Is -66 less than d?
True
Let b = 11.641 - -1.359. Let h = 1 - 2. Is h less than b?
True
Let u be (-190)/(-40) + 6/(-8). Suppose -2*b - 2*s + 18 = 0, -5*b - u*s + 41 = -0*s. Let v be 7/(-5) + b + -4. Which is smaller: -1 or v?
-1
Let l(j) = 3*j - 7. Suppose -2*t = -0*a - 2*a + 14, -3*a = -4*t - 25. Let p be l(a). Suppose 8*f = p*f. Is f greater than 2?
False
Let d = 1649 + -1646. Which is smaller: -0.0002 or d?
-0.0002
Let a = 74 + -73. Is a smaller than -2/341?
False
Suppose -2*y = -z - 1, -2*z = -0*z - 5*y + 7. Let w be 6/z + 40/(-42). Let o(v) = 2*v + 1. Let u be o(-1). Which is smaller: w or u?
u
Let g be 7/(-182)*-17 + 2/(-4). Let b be 40/(-18) - (-6)/27. Let i be 42/30 + b/5. Which is smaller: i or g?
g
Let r = 11.62 - 37.82. Which is greater: 1/2 or r?
1/2
Let f = 73 + -38. Let x = f - 67. Let u be 2/(-1)*(-4)/x. Is 2/7 less than or equal to u?
False
Suppose 0 = -s - 2*s + 42. Suppose 3*c - 12 = 3*t, 4*t - 2*c + s = 3*c. Let g(v) = v**2 + 9*v + 5. Let q be g(-8). Which is bigger: t or q?
q
Let r = -0.095 + 0.195. Let g = 7/2 + -2. Which is smaller: r or g?
r
Let a(d) = d**2 + 10*d - 9. Let r be a(-11). Let w = -1 + r. Let i be (1 + 0)*(5/(-3))/(-5). Which is greater: i or w?
w
Let t = -1/57 - 6/19. Let d = 0 + -1.5. Let s = -1.4 - d. Is t smaller than s?
True
Let c be (1/(1/3))/(45/30). Let i be ((-36)/(-28)*c)/(9/168). Is i > 48?
False
Let k = 110 + -103. Suppose -6*j - k + 19 = 0. Which is smaller: j or 0?
0
Let o(p) = p + 12. Let a be o(-16). Let k be 24/963*3/a. Is k at least 1?
False
Let t be (-1)/1*(1 - -1). Let l = 0.16 + 0.24. Let c = l - 0.3. Which is smaller: t or c?
t
Let m = -26.6 + 26.7. Which is greater: -74 or m?
m
Let s = -976 - -1012. Which is smaller: s or -5?
-5
Let f = -0.165 + 0.365. Are -0.101 and f non-equal?
True
Let r = -62939108 - -1069028988/17. Let t = -55070 - r. Let c = t + 20. Which is bigger: c or 1?
1
Suppose -4*z + z - 4*g = -33, -4*z = -2*g - 22. Suppose 33 = -4*j + z*j. Let d be 1/6 + j/132. Is d > 1?
False
Let i = -3624 - -3600. Let m = 2 - 5. Which is smaller: m or i?
i
Suppose s = -s. Let y be 2/11 - ((-6388)/(-1012) - 6). Which is greater: s or y?
s
Let l = 69 + -64. Suppose 0 = -l*v + 3*r + 12, -2*r = -v + 3*v - 8. Is v at least as big as 13?
False
Let x = 52 - 38. Let b = x - 13.84. Is b <= 0.1?
False
Let s be (-2 + 3)*(-13)/4355. Is 0 >= s?
True
Let v(m) be the third derivative of m**4/24 + m**3/6 + m**2. Let s be v(0). Let g(y) = y**3 - 5*y**2 + 5*y + 4. Let w be g(3). Is s at most as big as w?
True
Suppose 4*z + 16 = 4*b, 0*z + 4*b = -4*z. Let q = 17 + -15.6. Which is smaller: z or q?
z
Let d = -15.6 - -16.37. Which is smaller: d or 2/3?
2/3
Let f(x) = -3*x - 5. Let b be f(-6). Suppose 15 = -3*v + 27. Suppose -v*s - 39 = -3*h + 11, -5*h + 76 = -3*s. Is h <= b?
False
Let u(q) = -q**3 - 11*q**2 - 10*q - 2. Let v be u(-1). Which is smaller: v or 5?
v
Let g(h) = -38*h**3 + 7*h**2 + 5*h - 3. Let a be g(-1). Are a and 71/2 equal?
False
Let d = 1/6 - 5/6. Let g = 48 + -46. Suppose w = -1 - g. Is d bigger than w?
True
Suppose 9 = 2*p + 5. Suppose 0 = -5*t + 2*y + 185, -y + 75 = 2*t - p*y. Let x be t/56 - 2/(-4). Which is smaller: 1 or x?
1
Suppose 4*k = k + 9. Suppose -2*v - 3*l = -21, 0*v - 4*v + 3*l - k = 0. Suppose -34*j = -31*j + v. Is 1/16 greater than j?
True
Let z = 318.25 - 318.1. Let w = 1.1 - 0.3. Let f = w - -0.2. Is f not equal to z?
True
Let y(w) = -w**3 + 12*w**2 - 11*w - 1. Suppose 0 = -5*z - 6*b + b + 55, -2*b = -5*z + 55. Let x be y(z). Is -1 bigger than x?
False
Let n be (1/2)/(10/4). Let p be (-2)/((-34)/(-85)) + 5*1. Which is smaller: n or p?
p
Let r(d) = 3*d + 2*d - 6*d - d**3 + 2*d**2 + 10*d. 