*(-2 + 3). Let l = 2 - i. Is l not equal to 3/2?
True
Let o(z) = z**2 - 4*z + 2. Let j be o(4). Let n be 63/12 - 3/12. Let f = n + -2. Is j smaller than f?
True
Let z = -460 + 5973/13. Which is smaller: -1 or z?
-1
Let j be 6/(-6)*24/1. Are -25 and j non-equal?
True
Suppose -4*o = 5*b - 0*o + 14, 0 = -2*b - 5*o - 9. Is -3 greater than b?
False
Let v(w) = -6*w + 7. Let g be v(3). Which is greater: -12 or g?
g
Suppose k - 5*k = 2*p - 12, -5*k = 5*p - 45. Let d be -1 + 5/(15/p). Are 2 and d non-equal?
True
Suppose -12 = -2*f + 4*s, 9*s = 3*f + 12*s - 27. Suppose 3*n - 3*x - 7 = 17, 2*x = -3*n + 29. Which is greater: f or n?
n
Let f(j) = 5*j - 1. Let a be f(1). Let v = a + -4. Is 2 <= v?
False
Suppose 4 = j - 3*b, -6*j + j - 5*b = 0. Is j at least as big as -4/11?
True
Let n be -1*(4 - (2 - 4)). Let i = -0.3 - -1.3. Which is bigger: i or n?
i
Let i be -17 + 18 - (0 + 1). Is i at most as big as -1/69?
False
Let q(i) = i**2 - 9*i + 6. Let v be q(8). Which is greater: 6 or v?
6
Let l = 1 + 5. Suppose -5*j = m - 5, -2*m + l*m = 2*j - 2. Which is smaller: -2/5 or j?
-2/5
Suppose 5*j + 22 - 7 = 0. Let b(a) = 3*a - 6*a + 2*a. Let t be b(j). Which is smaller: 4 or t?
t
Let w = -974 + 2881/3. Which is bigger: w or -15?
w
Let h = -3 + 4. Let r = -604/58995 - -2/621. Let x = r + 584/1995. Are h and x nonequal?
True
Let j = -11 + 8. Let b be 1/j + (-4)/(-3). Suppose q + 0*q + b = 0. Which is greater: -2/7 or q?
-2/7
Let b = -25 + 30. Is b <= 4?
False
Let h(i) = i**2 - 2*i - 3. Let a be h(3). Let s be 5/(-30) + (-1)/(-6). Let b be s - (-10)/(-18) - -1. Are b and a unequal?
True
Suppose 2*q + 44 = -5*p, -5*p = -q - 0*p - 7. Is q not equal to -15?
True
Let m = 19 + -18.31. Let k = 0.7 - m. Let p = 0.01 - k. Do 0.1 and p have the same value?
False
Suppose -4*p - d = -p - 1, 5*d = -4*p + 5. Let q be (1 - p/4)/(-1). Do -12 and q have different values?
True
Let k be (0 - 1)*1 + 1. Suppose -2 + k = 2*o. Is -3 bigger than o?
False
Let r be -2*(450/4 + 2). Let z be 4/16 - r/(-360). Let s = 1/72 - z. Which is smaller: s or 1?
s
Let p(g) = 2*g - 5. Let x be p(3). Which is smaller: 3/23 or x?
3/23
Let d = -87/14 - -33/7. Let k = -1 - -4. Suppose 2 + k = -5*b. Are d and b non-equal?
True
Let i = 36 + -29. Which is greater: i or 6?
i
Let q be -5 + (-2 - -5) + 4. Suppose -x - 7*h = -3*h - 19, -3*h + 14 = x. Which is bigger: x or q?
q
Let q = -29 + 15. Is -14 bigger than q?
False
Suppose f - 23 = n - 5*n, -f - 2*n + 15 = 0. Let o = 0 + 2. Let y be (-5)/f + o/(-7). Is y bigger than 1/6?
False
Let b = -13 + 10. Let y = 0.5 + 3.5. Let d = y + b. Which is smaller: d or -1/2?
-1/2
Let j be (6/(-8))/((-66)/(-16) + -4). Suppose 0 = 3*i - 12 - 0, -2*i + 40 = 4*a. Let o be a/12*j/(-4). Are o and 3 nonequal?
True
Suppose -1 = -s - 0. Let x = -193 - -343/2. Let t = x - -469/22. Are t and s nonequal?
True
Let f = 5.92 + 0.08. Let q = 12 - 7. Let z = q - f. Do z and -1 have different values?
False
Let o be (-4 + (0 - -3))*2. Let c = o - -4. Suppose 0 = -f + 3 + c, -4*b - 32 = -4*f. Is b smaller than 0?
True
Suppose -5*h = 4*n - 228, -2*n + 4*h = -0*n - 114. Are n and 56 nonequal?
True
Let c = 2.7 - 7.7. Is -1/3 not equal to c?
True
Let h = 603/5 + -121. Let f = -1 + 1.5. Let b = -0.4 + f. Do b and h have different values?
True
Suppose 2*k + i + 2*i = 2, 0 = 2*k - 2*i - 12. Let w be 2/k*(-5)/2. Which is bigger: w or -2?
w
Let s = -18 - -38. Suppose 3*t - 5 + s = 0. Is t at least as big as -4?
False
Let i be 3/(-2)*(-6)/9. Is i not equal to -5?
True
Let i = 11/7 + -69/35. Which is smaller: -0.7 or i?
-0.7
Let k be (-2 + 7/2)/(-3). Let t = 4.1 + -2.3. Let a = t + -1.6. Which is smaller: k or a?
k
Let t(h) = -3*h**2 + 3*h - 3. Let o be t(-3). Is -39 at least o?
True
Let u(b) be the second derivative of b**5/20 - b**4/4 - b**3/2 - 3*b**2/2 - 2*b. Let m be u(4). Is 1 not equal to m?
False
Let b be ((-1)/2)/((-3)/(-36)). Let k = b + 5. Which is bigger: 1 or k?
1
Suppose -5*f = 94 - 14. Which is greater: f or -15?
-15
Let n = -7 - -5. Let w be -1 + -1 - (n + -3). Suppose 3*i = -4*s + 2*s, w = s. Which is bigger: 0 or i?
0
Let j = 199 - 1389/7. Let p be (-1)/7 - (-6)/42. Which is smaller: p or j?
p
Let j = 2.15 - -4.85. Which is greater: j or -1.1?
j
Suppose 0 = -3*x + 2*b - 14, -18 = 4*x - 5*b + 3. Suppose 3*h = 2*d, 5*d - 3*h + 11 = -h. Let v = x - d. Is v at most 2/7?
True
Let y(i) = 0 + 3*i + 0. Let p be 30/(-26) - (-12)/78. Let l be y(p). Is l >= -4?
True
Suppose 5*x = -0*x - 5. Do -1 and x have the same value?
True
Let u = -3/679 + -1193/37345. Are u and -1 unequal?
True
Let f = 2.1 - 2. Let v = -0.4 + 0.4. Let m = f - v. Is m at least as big as -2/15?
True
Let t(s) = 2*s + 3. Let d be t(8). Let u = d - 20. Is -1 at least u?
True
Let d = -37 - -37.1. Is d greater than 20?
False
Suppose 0*a + 6 = -3*a. Let z(y) = y**3 - 8*y**2 - y + 5. Let s be z(8). Is s bigger than a?
False
Let g = -1 + 0.4. Let p = -1.1 - g. Do 1 and p have the same value?
False
Let x be 0*(2 + (-4 - -3)). Let u be x - (-1 + 1 + -5). Suppose u = z + 4*z. Is -3/11 at most z?
True
Let a = 827 - 50446/61. Which is smaller: a or -1?
-1
Let g = -1 + 1. Suppose -2*s + 8 - 2 = g. Is s greater than or equal to 2?
True
Let g = 1870/13 + -144. Is -0.02 at least g?
True
Let t be 15/(-6)*(-7)/(-4). Is t bigger than -4?
False
Let i = 29 + -32. Is i bigger than -27/7?
True
Let d = -39 - -81. Let p(c) = -c**3 - 8*c**2 + 3. Let i be p(-8). Let k be 1*4/d*i. Which is smaller: k or 1/2?
k
Let t be ((-2)/4)/((-19)/190). Let f be 9/(-4) - 2/(-8). Let x = f + t. Which is smaller: 2 or x?
2
Let b = 161 + -107. Let p be 3*1 + b/(-24). Which is bigger: 1 or p?
1
Let o = 5 - 5. Which is greater: o or 1/21?
1/21
Let t = -10.1 - -13. Let r = 1.9 - t. Is r > 8?
False
Let r be 1/(3/324*2). Is 55 smaller than r?
False
Let d = -4.35 - 0.15. Let j = 1.5 - d. Are j and 2/3 nonequal?
True
Let s be 2/(-3)*915/(-440). Let y = s - 18/11. Which is smaller: 10 or y?
y
Let h = 26.1 + -26. Is 0 less than h?
True
Let c be ((-243)/(-119) - -1) + (-120)/40. Let y be ((-930)/238 - -1)/26. Let k = y - c. Is k at least as big as -0.1?
False
Let l = 1/770966525 + 378771690513262/2312899575. Let w = l - 164117. Let b = -352 - w. Which is bigger: b or 0?
b
Let p be (-322)/(-18) - 5/(-45). Suppose 3*q - p + 3 = 5*n, n + 5*q = 25. Are 1/11 and n unequal?
True
Let p = -4 - 7. Let g = -9 - p. Suppose x - g + 1 = 0. Which is smaller: -0.2 or x?
-0.2
Let f = 1.15 - 1.23. Let t be 1*-1 + 3/4. Is t greater than or equal to f?
False
Let l(w) = -2*w**2 - 2*w + 5. Let f be l(-2). Which is smaller: -8 or f?
-8
Let a(c) = c**2 + 5*c - 1. Let n be a(-4). Let y = n - -7. Is y < 7/3?
True
Let d = 63/416 + 1/416. Let t(p) = 5*p**2 + 3*p + 2*p - 4*p**2. Let y be t(-5). Is d < y?
False
Suppose 3*w = -b + 1, -w - 1 = -2*w - b. Let r be (-9)/(-156)*(-8 - w). Which is smaller: r or -1?
-1
Let c be ((-2)/(-2))/(0 - 1). Let o = -56/81 - -2/81. Is o at most c?
False
Suppose -3*u - 2 = 2*o, -4*u - 3*o + 4 = 5. Let s be 3/(-1*(-6)/u). Do s and -1/2 have the same value?
False
Let u(z) = z + 11. Let t be u(-9). Suppose 0 = t*w + 2*w. Do -1/2 and w have different values?
True
Suppose t - 6 + 1 = x, -5*t = -2*x - 16. Let j = -4 + t. Let v be 8/(-12)*(-1)/j. Which is bigger: v or 0?
0
Let b = -0.5 + 0.6. Suppose 15 = 3*y + 2*y + 2*g, 15 = -5*y + 4*g. Let r = y - 1. Does r = b?
False
Let w = -107.8 - -120. Let y = 12 - w. Which is smaller: -2 or y?
-2
Let l = 21 + -29. Let z = l + 16. Suppose -1 = 3*s + 4*v + v, 4*s = 3*v + 47. Is z greater than s?
False
Suppose -2 = -5*s + 7*s. Is s at most as big as -3/25?
True
Let q = -3 - -7. Let j be (q/(-18))/2*2. Let u = 4 - 3. Is j >= u?
False
Let k(b) = -b - 9. Let j be k(4). Let z be (-1 + 22)/((-6)/4). Is z at least j?
False
Let j(x) = -x**3 - 11*x**2 + 9*x - 5. Let r be j(-12). Which is smaller: 32 or r?
r
Let a be 0 + 6/2 + 1. Suppose -a*y - 2 - 2 = 0. Which is bigger: y or 0.1?
0.1
Let x(j) = -j - 8. Suppose 0*r - 24 = 3*r. Let v be x(r). Is -1 greater than v?
False
Let s(k) = -k**3 + 7*k**2 - 7*k - 2. Let f be s(6). Is -7 greater than f?
True
Let i be (1 - 3/(-4))/((-4)/4). Which is smaller: i or -2/7?
i
Let t be (15/20)/((-6)/4). Is -106 at most t?
True
Suppose 0 = v - 4*v. Let o = 39 - 38. Which is bigger: o or v?
o
Let w(u) = 10*u**2. Let i be w(1)