= -k - 1. Let i be z(4). Which is smaller: i or -4?
i
Suppose 2 = 2*y - 0. Suppose 2*c = -2*i - 2*c - 24, 3*i + 3*c = -30. Let h(t) = -t - 8. Let j be h(i). Is y greater than j?
True
Suppose -w = 5*p - 4*w + 15, 2*w = 2*p + 10. Let g(c) = 4*c + 3. Let s be g(-2). Let z = s + 7. Which is smaller: p or z?
p
Let h(i) = -i**3 + 5*i**2 + 4*i - 2. Let t be h(6). Which is smaller: t or -15?
-15
Let d(m) = 4*m + 12. Let a be d(-5). Is a >= -8?
True
Let h(x) = x - 18. Let f be h(7). Is -11 != f?
False
Let v be 33/6 + 1/(-2). Let r(f) = f**2. Let j be r(2). Are v and j nonequal?
True
Let j = 8 - 9. Let o be j*((-9)/3 - 0). Is o != 3?
False
Let c = -257 + 763/3. Let u = 3 + c. Let z = -123 - -617/5. Is u equal to z?
False
Let c = -8 - -5. Let m = 22 + -23. Is m at most c?
False
Let m(l) = -4*l - 69. Let h be m(-17). Which is smaller: h or -4?
-4
Let h = -1019/2 + 35631/70. Let d = h + -4/35. Is 0 greater than or equal to d?
True
Suppose 2*c = 6*c - 8. Suppose -2*l = -3*l + c. Suppose 2 = x - l. Is 4 at most as big as x?
True
Let n = 1 - -3. Let y(d) = d - 2. Let h be y(n). Let b be -2*(4/h)/4. Which is smaller: b or -2?
-2
Let f = -37 - -36. Is 25 not equal to f?
True
Let z = -77 + 79. Which is greater: z or 0.13?
z
Let s(p) = -p**2 - 8*p - 7. Let c be s(-7). Let y = c + 2. Let d = y - 1. Which is smaller: d or -2/9?
-2/9
Suppose -4*t = 5*o + 16, 4*t + t + 3*o = -7. Is -2/19 less than t?
True
Let z = -3 - -7. Suppose z*g - 3*g - 1 = 0. Which is bigger: g or -1/5?
g
Suppose -r - 4 = -5*r - 4*k, 0 = -3*r + 3*k + 3. Is 1 bigger than r?
False
Let l(q) = 6*q**2 - 2 + 0 - 7*q + q**3 - 4 + 0. Let j be l(-6). Let c be (-9)/j*(-1 + -1). Is -2/3 equal to c?
False
Let w = -11 + 9. Let l be (-4)/w - (-2)/(-1). Is 0 greater than or equal to l?
True
Let c(r) = -r**2 - 9*r - 8. Let n be c(-5). Suppose 4 = 5*s - 3*v, -3*v - n = -5*s - 4*v. Which is smaller: s or 8/5?
8/5
Let k be 0 + (-20)/6 + 2. Which is smaller: k or 0?
k
Suppose 5*p + 4*g + 5 = -4, 4*p = 5*g - 40. Let n be (-2)/(p/7 + 1). Which is smaller: n or -1?
n
Let j = 18.2 + -18. Let q = -1.6 - -4.5. Let w = q - 3. Is j smaller than w?
False
Let u(n) = -2*n**2 + 2*n - 7. Let t(l) = -3*l**2 + 3*l - 15. Let b(o) = -3*t(o) + 5*u(o). Let q be b(0). Let r be (-2)/80 + 4/q. Which is smaller: 0 or r?
0
Suppose 45 + 3 = -4*t. Let y = t - -8. Let f be -1*2/y*1. Is f less than or equal to 3?
True
Let a be ((-771)/126)/((-2)/40). Let s = a + -365/3. Let f = -0.2 + 0.2. Which is bigger: f or s?
s
Suppose o = 1, 3*a + 2*o + 3 = -1. Let t = a + 1. Let f be (65/12)/5 + 28 + -29. Is f != t?
True
Suppose -b + 9 = -20. Is b smaller than 28?
False
Let p = -2.8 + 4.8. Which is smaller: -8/7 or p?
-8/7
Let x = -6 + 6.2. Is -9 >= x?
False
Let b = -86 - -93. Which is smaller: b or 2?
2
Let a(c) = c**3 - 7*c**2 - 7*c - 2. Let q be a(8). Let n be ((-5)/105)/((-1)/q). Which is greater: 0 or n?
n
Let s = -628/7 + 90. Is s < -13?
False
Let k = -0.5 - 1.5. Which is greater: 3/7 or k?
3/7
Let h(q) = -q**3 - q**2 - q + 1. Let z(c) = 4*c**3 + 13*c**2 - c - 11. Let w(v) = -5*h(v) - z(v). Let x be w(7). Which is smaller: x or -2?
-2
Let k = -22.8 + 23. Which is bigger: -2 or k?
k
Let s be -15 + 1 - (-7)/35. Let i = 1323 - 6686/5. Let y = i - s. Is y not equal to 1/2?
True
Let l = -2561/16 + 160. Which is bigger: 1 or l?
1
Let n = 2039.89 + -2049. Let g = -0.11 - n. Let k = -6 + g. Is k greater than 1?
True
Let a = 0.4 + -0.4. Let f(j) = j - 3. Let d be f(5). Suppose -3*u = 3*p + 17 - d, -2*u - 8 = 0. Is p >= a?
False
Let r be 1 - 10*2/4. Is -13/4 less than or equal to r?
False
Suppose -2*v = -0*v + b - 5, 3*b = -2*v + 3. Let r be (v/(-18))/((-2)/(-8)). Which is bigger: r or 0?
0
Let p(s) = s - 4. Let q be p(7). Suppose 2*d + q*d - 5 = 0. Which is smaller: d or 3/8?
3/8
Let m be (-128)/20 - 3/5. Do -3 and m have the same value?
False
Let r = 0.5 - 0.65. Let i = 5.85 - r. Let g = i - 5.9. Is -1/9 at least as big as g?
False
Let c(a) = a**3 - a**2 + 3*a + 14. Let s be c(0). Which is smaller: s or 2?
2
Let t be (-89)/(-29) + 0 + -3. Which is greater: t or 0?
t
Let l = -101/105 - -8/15. Is l at least 1?
False
Suppose b - 15 + 10 = 0. Which is smaller: b or -2?
-2
Let p = 2211/23 + -96. Which is bigger: p or -1?
p
Suppose -6*m - 158932 = -2*m. Let z = 278783/7 + m. Let j = -93 + z. Which is smaller: 0 or j?
0
Let m = -1/47 + 105/517. Is m not equal to -7?
True
Let y = 280/141 - -2467/4935. Let r = y - 11/5. Are 0 and r nonequal?
True
Let h = 176 - 2111/12. Is 2 greater than h?
True
Let j be -8 - 2 - 3*-1. Let g = j - -12. Which is greater: g or 4?
g
Let u(v) = 19*v - 1. Let i be u(1). Suppose i*j = 22*j. Which is smaller: j or -1?
-1
Suppose 4*x - 4*g + 32 = 0, x - 17 = 2*g - 6*g. Let a be -1*x/(-6) - 1. Let c be (1/2*0)/1. Which is bigger: a or c?
c
Let r = -10 + 18. Suppose 5*c = 2 + r. Is c bigger than 1?
True
Let r be 2/11 - (-20)/11. Suppose 2*j = -4*t + 16, 4*t - 6*t + 10 = r*j. Suppose -2*m - j*m + 8 = 0. Is m > 3?
False
Let m = -5 - 26. Which is smaller: m or -30?
m
Let q be -305 + -1 + 2 + 1. Let s = -11205/37 - q. Let g = -99/74 - s. Are g and 0 equal?
False
Let o = -47 + 35. Is o smaller than -9?
True
Let s = -5 - -5. Is -1/54 less than or equal to s?
True
Suppose 6 = -2*u + 4*u. Is u equal to -2?
False
Let g be (1/3)/(1/27). Suppose 1 = 5*d - g. Suppose -5*t = 5*q - d*t + 20, -2*t = 5*q + 15. Which is greater: q or -2?
q
Suppose -n = 3*p - 11 + 1, 0 = 5*n + 10. Let x be 2/(-4)*(2 - p). Let g = x + -2. Is g equal to -2?
False
Suppose 3*p = -m + 7, -4*p + 5*m + 16 + 6 = 0. Suppose 6*r - 3*r + p = 0. Is -3/4 >= r?
True
Suppose 0 = -2*p - 0*p. Let o = p + 8. Is 3 < o?
True
Let b = 5 + -3. Let m = 57/2 - 28. Which is smaller: m or b?
m
Suppose -v + 0*v = 5*b - 3, 3*b + 9 = 3*v. Let a be v - (23/(-11))/(-1). Is a equal to 2?
False
Let r be ((-630)/238 - 8/(-2)) + -1. Are r and 0 unequal?
True
Suppose 5*k - 2*d = 33, 5*k + 5*d = 2 + 3. Suppose 5*q + 0*q = i + 44, 24 = k*q + 4*i. Let n = q - 3. Are 2 and n non-equal?
True
Let w = 7.3 + -7. Let a = -23.7 + 25. Let v = w - a. Which is smaller: 1/3 or v?
v
Let i = 2 + -9. Let u = 17 + i. Are 10 and u equal?
True
Suppose -2*l - 2*l = 0. Let m be (5/2 + -3)*0. Let f = l + m. Is f smaller than 1?
True
Let d = 1 + -1. Let f = -0.58 - -0.53. Is f less than or equal to d?
True
Let n = -91 - 10. Is n < -102?
False
Let q = 0.15 + 0.05. Let z be -5*(0 + 4/70). Which is smaller: z or q?
z
Let k = -449497/1474 + 1309/134. Let t = k + 295. Let u be -1 + -1 + -1 + (-256)/(-96). Which is smaller: t or u?
u
Let n be ((-96)/112)/(-2 + (-92)/(-42)). Is 0.06 less than n?
False
Let s be (9/(-3))/(1 + -2). Suppose 8*z - s*z = 5. Which is smaller: z or -3/7?
-3/7
Let g(i) = 0 + 2 + 6*i - 1 + i**2. Let o be g(-6). Which is greater: o or 3/7?
o
Let g = 28 - 55/2. Which is smaller: -4 or g?
-4
Suppose 0*k = 3*k + 4*b - 9, -3*k - 2*b = -3. Let z be k/(4 + -6 - 3). Is z bigger than 1?
False
Let t = 62 - 44. Let m be t/(-27) + 14/(-6). Suppose -4*z + 8 = 0, 0 = -4*g - 4*z - 4 - 0. Is m <= g?
True
Let b(o) = -2*o + 11. Let t be b(4). Suppose -8 = -3*l + 1. Are t and l unequal?
False
Let x = -29 + 21. Let v = x - -9. Is -3/2 greater than or equal to v?
False
Let v(g) = -g + 8. Let a be v(6). Let o be 1 + -1 + 0/a. Let d = 9.9 + -10. Is o <= d?
False
Let i = 0.07 - -0.03. Let h = 0 - i. Is h < 3/5?
True
Let w be (5/(-4))/(2/(-8)). Suppose -1 = -4*o + w*j, 0 = 2*o + 3*o + 4*j + 9. Let s = 5/4 + o. Is 0 bigger than s?
False
Let x = 1339/93 - 43/3. Let g be (0/7)/(0 + 2)*-1. Is g > x?
False
Let x be 2/(-4) - (-2)/(-4). Let c(p) = -p - 1. Let v be (-2)/3*(-6)/(-4). Let f be c(v). Is x less than f?
True
Suppose 0 = -5*h + 6 + 24. Suppose w + 2 - h = 0. Which is greater: 3 or w?
w
Let a = 1.1 - -6.9. Let u = 5 - a. Which is greater: -2/5 or u?
-2/5
Suppose -4*q + 5*u = 16, 0*u = 4*q - 4*u + 12. Let d be (-2)/(-8)*q*-3. Let j = -1 + -1. Is j bigger than d?
False
Let q = 28.7 + -29. Which is bigger: q or -14/3?
q
Suppose 4*r = 13 + 11. Suppose 0 = 2*v - r*v - 32. Is -8 less than or equal to v?
True
Suppose -11*o + 7*o = 4. Let d = -176 - -1228/7. Which is bigger: d or o?
d
Let i = 1 - 20. Is i at most -2?
True
Let k be 2 - (-8)/(2 - 0). Suppose 1 = -i + k. Suppose 2*a + 2 = -4*d + a, 0 = -5*d - 5*a + i. Are -2/17 and d unequal?
Tr