 37. Let g = 15 - k. Is 1 != g?
True
Let s be (-76)/(-28) - 3 - 0. Let d(j) = j - 1. Let v be d(3). Let i = v - 2. Is i at most s?
False
Let i = -1.3 + 0.3. Is i smaller than 12?
True
Let b(a) = -a**3 + 5*a**2 + 2*a - 6. Let k be b(5). Suppose 3*j + k + 2 = 0. Which is smaller: j or 0.3?
j
Let z(k) = 6*k**3 - k. Let r be z(1). Let l(u) = u - 4. Let q be l(r). Let b = 261/77 + -25/7. Is b bigger than q?
False
Let j(q) = q**3 + 27*q**2 - 3. Let r be j(-27). Is 19 at least as big as r?
True
Let h(b) = -b**3 - 3*b**2 + b + 2. Let p be h(-3). Let a = 4906/9 - 546. Let d = a - -2/9. Which is greater: p or d?
d
Let k be 7/7 + 10/(-8). Which is smaller: k or -1?
-1
Suppose 2 = -r - 1. Let a = -647/5 + 129. Which is smaller: r or a?
r
Suppose 4*r = 4 + 24. Let c be (-7)/4 + r + -5. Let h be 3/(-60) + 1/4. Which is smaller: c or h?
h
Suppose 0 = 5*s - 0*s + 15. Let r = s + 4. Is r > 0?
True
Suppose 3*j = 5*a + 10 + 7, -a - 6 = 2*j. Let c = 11.74 + 0.26. Is j less than c?
True
Suppose -2*v = w - 6, v - w = -3*v. Let c be (6/20)/(4 - 1). Which is smaller: v or c?
c
Let i = -9.4 - -0.4. Is i smaller than 2/3?
True
Let b be 255/(-306) + 7/(-6) + 1. Is b at most -1/79?
True
Suppose 3 + 5 = 2*n. Suppose -3*w = w - n. Let b be (w/3)/(3/(-2)). Which is bigger: b or -4?
b
Let p = -10 + 6. Let u be (-1 - p) + 24/(-6). Which is smaller: 2/9 or u?
u
Let t = -177 + 178. Is -2 greater than t?
False
Let l = 0 + 1. Let u(y) = -3 + y - l - 1. Let b be u(5). Is 1/4 at least as big as b?
True
Let j be (-2)/5 + 8/(-5). Let s = 3 + j. Is 3/7 not equal to s?
True
Let m = 14.3 - 14. Let b = -4 + 3. Which is smaller: b or m?
b
Suppose 5*m = 4*j - 5, -5*m + 25 = -0*m + 2*j. Let y(l) = l**3 - 6*l**2 + 6*l + 4. Let a be y(5). Let v be m - 1/(3/a). Which is bigger: -2/13 or v?
v
Let q(g) = -g + 7. Let l be q(17). Which is smaller: l or -6?
l
Let g be 6/(-21) + 15/21*6. Let x = -1 + 1. Suppose x*v + 4 = g*v. Is -2/17 smaller than v?
True
Let h = -9 + 6. Let i be 140/16 + h/(-12). Suppose 5*q - 27 = -4*a + 2*a, -q + i = 4*a. Is a bigger than -2/5?
True
Let t = -128 - -128. Is t < 17?
True
Let i = -2.5 + -0.5. Let l = -0.11 + 6.11. Let h = i + l. Is h < -0.1?
False
Let f = 4 - 8. Let g = f + 6. Let w = g - 1.7. Which is smaller: w or -0.1?
-0.1
Let w = -284 - -39. Let h be (14/w)/((-3)/(-15)). Are 0 and h non-equal?
True
Let m(l) = -l**3 + 3*l**2 + 2*l + 4. Let p be m(3). Suppose 4*h - p + 6 = 0. Let c be ((-3)/(-6)*0)/h. Is -2/7 at most c?
True
Let j = -2/179 + 6458/1253. Let a = -45/7 + j. Let d = 43/28 + a. Is -1 bigger than d?
False
Let i = 4 - 5. Let x be i/(-4)*-2*-8. Which is smaller: x or 3?
3
Let x = 17.18 + -0.18. Let o = x + -12. Let n = -13 + 51/4. Are n and o nonequal?
True
Let n be (1106/70)/((-2)/(-17)). Let i = -134 + n. Suppose -4*c = -7*c + 3. Is i at least c?
False
Suppose -t = -4*t + 63. Suppose -k + 5*q = 22 + 2, 5*q - t = 4*k. Which is greater: -1/12 or k?
k
Let t = -39271/7 - -5621. Let i = t + -75/7. Is 0 at most as big as i?
True
Let q = 3 + -26. Is q >= -23?
True
Let i be 8/(-32) + 18/8. Suppose -i*f + 6 = -0*f. Is 2 at most as big as f?
True
Suppose -3*w + 39 - 12 = 0. Suppose -4 = 5*h - w*h. Which is smaller: h or 2?
h
Let b = -1.2 + -3.8. Is 1 at most as big as b?
False
Suppose 3*v = -0*v, -4*m + 3*v = 0. Suppose 4*g = -m*g. Are g and -3 unequal?
True
Let h be 0/(0 + 1 - 0). Which is greater: -1/32 or h?
h
Let m be 27/6*60/(-9) + 2. Is m at least -26?
False
Suppose 0 = -10*l + 13*l + 3. Is l greater than or equal to 2/29?
False
Suppose 5*q + 11 = 2*b, -16 = 4*q - 4. Suppose -s + 17 = 5*y, y - 2*y + 13 = -3*s. Which is smaller: b or s?
s
Let n(v) = -v**3 - 9*v**2 + v + 9. Let m be n(-9). Suppose m = r - 2*r + 2. Suppose -4*t = 6*x - 3*x - 18, 0 = -x + r*t - 4. Which is smaller: x or 3/2?
3/2
Let n be -7 + (-1 + 2 - 0). Let d(a) = -a**3 + 11*a**2 - 9*a - 17. Let w be d(10). Is w greater than n?
False
Suppose 2*k + 11 = -9. Let j be (-108)/20 - 4/k. Let z be 2/4*0/j. Which is smaller: z or -2/15?
-2/15
Let h be (-1 + 3)*1 - 13. Let b = h - -15. Is b < 4?
False
Let k = -85/8 - -21/2. Is k less than -1?
False
Let v(w) = -4 + 0*w - 5 - 2 + 2*w. Let u be v(6). Which is smaller: u or 1/3?
1/3
Let w(u) = -2*u + 2. Let o be w(-4). Let f be (4/o)/(91/35). Let c be 4/14 + 9/(-7). Are f and c non-equal?
True
Let i = -372 - -7071/19. Which is smaller: i or -1?
-1
Suppose -4*g - 21 = -5*d, -3*d + 0 + 14 = -g. Suppose 4*n - 37 - 7 = 0. Suppose -n*a - 6 = -14*a. Which is smaller: g or a?
g
Suppose 3*h - h = -5*a - 14, a + 4 = 0. Suppose -5*w + h*w + 6 = 0. Is w bigger than 3?
False
Let d = -17 + 22. Let c(k) = k**2 - 6*k - 1. Let w(l) = -l**3 + 4*l**2 + 3*l - 5. Let j be w(4). Let y be c(j). Which is greater: y or d?
y
Let h(i) = -i**3 - 6*i**2 - 3*i + 4. Let j be h(-5). Let f be (j/(-15))/(12/(-15)). Let a be 2/(-3) + (1 - 1). Is a < f?
True
Let h be ((-2)/3)/((-1)/(-3)). Let m = 4 + h. Suppose -5*a + 12 = m. Which is greater: 1/2 or a?
a
Let k be 1*(0 - 2) + 1. Let q = 3 + -4. Is q < k?
False
Let f be (-6)/(-4) - 2/4. Let h be 5*f*24/(-30). Let r be -4 + (-2)/(-4)*2. Which is bigger: h or r?
r
Let m = 2/539 - 1140/16709. Is 1 not equal to m?
True
Let s(v) = v**3 + 6*v**2 - 8*v - 7. Let g be s(-7). Suppose 4*m - m - 9 = g. Is m at most as big as -1?
False
Suppose -3*k = -r - 5, 3*r - 4*r + 19 = 5*k. Suppose -2*b = -22 + r. Let m = b - 14. Is m greater than -6?
True
Suppose -3*j - k - k - 13 = 0, -k = 2. Let f = j - 16. Is -18 bigger than f?
True
Let h = 8 + -7.98. Let q = 0.18 + -0.3. Let k = q + h. Which is smaller: k or 2/3?
k
Let x(z) = -z**3 - 3*z**2 - 3. Let g = 1 - 1. Let r(m) = m - 3. Let s be r(g). Let k be x(s). Are -3 and k equal?
True
Suppose -2*j + 11 + 165 = 0. Let b be j/14 + (-2)/7. Let s be b/(-117)*(-9)/3. Which is greater: -1 or s?
s
Let v = -0.03 - -1.03. Let w = 4.2 - 2.2. Is v smaller than w?
True
Let b(g) = -7*g**3 - 2*g**2 - g. Let a be b(-1). Which is smaller: a or 12?
a
Let u be 98/60 + 1/3. Let m = -688 + 4115/6. Let x = u + m. Is 1 > x?
True
Suppose 0 = -0*u + 2*u + 8. Let f(a) = a**3 + 5*a**2 + 5*a + 3. Let g be f(u). Do g and 2 have the same value?
False
Let h = 9 - -19. Which is smaller: 1 or h?
1
Suppose 8*j - 162 - 118 = 0. Which is smaller: 34 or j?
34
Let m(a) = -5*a - 4. Let d be m(-1). Let o be ((-1)/(-9))/((-5)/(-6)). Is o > d?
False
Let p = 11 + -12. Which is smaller: p or 2/69?
p
Let v(b) = -b**3 - 6*b**2 + 5*b - 1. Let w be v(-7). Suppose 0 = -2*q + w - 1. Is q at least as big as 8?
False
Suppose 2 = -4*d + 14. Let b(v) = -v**3 - 8*v**2 - 8*v - 7. Let k be b(-7). Suppose -5*r + 20 = k, -2*i - r = -7*i + 16. Is i != d?
True
Suppose 2*m + 0*c + 6 = -c, 5*c = 5*m - 15. Let b = 71/3 - 775/33. Which is greater: b or m?
b
Let m(u) = u**3 + 13*u**2 - u - 16. Let x be m(-13). Which is smaller: -3/2 or x?
x
Suppose -2*f + 6*f = 5*v - 13, 2*f + 5*v = 31. Let r(q) = -10*q**2 + 2*q - 4. Let k be r(f). Let p = -614/7 - k. Which is smaller: p or 3?
p
Let r be 1/6*-1*-3. Let w = 5 + -3. Is r <= w?
True
Suppose -5*i = -5*c - 2*i + 122, 4*c - 105 = -5*i. Let t = -17 + c. Suppose 2*p = 7*h - 3*h - t, -5*p = h - 13. Which is bigger: 4 or h?
4
Let q = 1.1 + -1.3. Which is greater: -1 or q?
q
Let y = 10 - 8. Suppose 7*q - 15 = y*q. Let x = 7 - q. Is 5 greater than or equal to x?
True
Let w(i) = -i**2 - 3*i. Let k be w(-3). Suppose 4*p + 5*x - 10 = k, 4 = x + 2. Suppose 0*u + 10 = -4*u + 5*a, 0 = 5*u - 2*a + 4. Is p at least u?
True
Let d = -6 + 8. Suppose -3*s = s. Let u = 2 + s. Does d = u?
True
Let x be 0 - (-2 - (-4 - -2)). Suppose x = 2*m - 1 - 3. Is m equal to 2?
True
Let o = 4 + 2. Suppose -h - o = -2*h. Is 5 < h?
True
Let c = 15 + -29. Is -27/2 <= c?
False
Let b = -0.5 - -0.3. Let o = 35 + -33. Is o greater than or equal to b?
True
Suppose -2*s - 11 = 5*y, 0 = -0*y + 5*y + 15. Let r(j) = 3*j**2 + 2*j + 1. Let o be r(s). Is o <= 17?
True
Let f = -56/3 - -18. Let u(o) = o - 6. Let n be (0 + 2)*3/1. Let v be u(n). Is f bigger than v?
False
Suppose 3*y + 0*y - 11 = -k, 8 = k + 2*y. Suppose -2*n + 7*n + 13 = -k*z, 0 = 4*n + 12. Suppose -4*g - 5 + z = 0. Which is bigger: 2/5 or g?
2/5
Let d(f) = f**3 + 12*f**2 + 2*f + 24. Let v be d(-12). Let t be -2 + (2 - 1/(-2)). Which is greater: v or t?
t
Let n be ((-4)/(-8))/((-26)/(-4)). Which is greater: 