is greater: s or n?
s
Let r = -128 - -225. Let q = 100.9 - r. Let t = q + -4. Is t less than or equal to 0?
True
Let i(s) = 2*s + 6. Let t be i(-6). Let c be (-1 + t + 0)/1. Let n = c - -22/3. Is n less than or equal to 1?
True
Let z be 57/(-17) + 1 + 8/4. Which is smaller: z or 1?
z
Let x(f) = -f**3 + 5*f**2 - 2*f. Let o be x(5). Which is smaller: -11 or o?
-11
Suppose 32 = -4*r + 8. Let y be (-2)/7 - 47/14*2. Which is smaller: y or r?
y
Let w be (13/26)/((-1)/4) + 44. Does w = 42?
True
Let w = -2 + 3. Suppose -5*h - 14 = 1. Let u be (-1)/h - 4/(-42). Is w <= u?
False
Let v be (-6 + -1 + 13)/(1/(-4)). Which is greater: v or -23?
-23
Let g(b) = 2*b**2 + b. Let s be g(2). Let h = -9 + s. Which is smaller: h or -1/14?
-1/14
Let b = 28 - 13. Suppose 5*m + 5*p - b = 0, -2*m - 12 = 2*p - 6*p. Is 0 equal to m?
True
Let n = 11 + -7. Does n = 6?
False
Let z be 50/(-18)*-1 - 3. Let r(i) be the third derivative of i**5/60 - i**4/6 - 2*i**3/3 - i**2. Let m be r(5). Which is smaller: m or z?
z
Let y = 18 + -4. Which is bigger: 1 or y?
y
Let n = -6 + 6. Suppose l - 2 + 0 = n. Let g be 1 - (l - (-4)/(-5)). Is g greater than 1?
False
Let z be 1162/(-2418) + 4/6. Let d = -1/31 + z. Let f = 4 + -5. Which is smaller: d or f?
f
Suppose b + 15 - 31 = 0. Which is greater: b or 12?
b
Let f be 0 + (40605/63)/(-5). Let l = -129 - f. Which is smaller: l or 1?
l
Let k(n) = n**2 - 9*n + 5. Let z be k(9). Suppose -17 = -z*o - 7. Which is smaller: 1 or o?
1
Let v be (1/4)/(33/12). Is v greater than 2?
False
Let c = -4 + 2. Let h = 1 + c. Let y be -7 + 4 + h + -1. Is y greater than or equal to -4?
False
Let z be -3*4/(-72) + (-172)/24. Is z at least as big as -1?
False
Let r(t) = t**2 - 7*t + 6. Let k be r(7). Suppose -2 - k = -2*u. Let d be (-14)/(-30) - u/(-20). Is -1 <= d?
True
Let t be 28/6 - (-2)/6. Suppose -2 = -t*k - 7. Let x be -3*498/(-486) + -3. Are k and x nonequal?
True
Let l be (-1)/12 + (-4)/8. Let m = 5/6 + l. Which is bigger: 4 or m?
4
Let r = -38.1 + 37.8. Let v = -5 - -8. Let c = v + -2. Which is greater: c or r?
c
Suppose 0*y - 2*y = -4*w + 18, 3 = -3*y. Which is smaller: w or -4/5?
-4/5
Suppose 0 = -w + 3*m + 13, 0*m + m = 5*w - 9. Which is smaller: 2 or w?
w
Suppose 2*q = 3*q + 3. Let g(a) = -4*a**3 + 2*a - 1. Let x = -11 + 12. Let n be g(x). Is q >= n?
True
Let u be 192/(-33) - 2/11. Which is greater: -7 or u?
u
Suppose 5*i - 8*i = -102. Are 32 and i nonequal?
True
Let l be 1 - (-3 - -2)*-9. Let p = 31/4 + l. Is p less than or equal to 0?
True
Let m(b) = b**3 - 5*b**2 - 7*b + 8. Let i be m(6). Suppose i*h + 2*h = 0. Let g = -33/40 + 5/8. Is h greater than g?
True
Let j = 0.22 + -0.02. Which is smaller: 1/3 or j?
j
Suppose w = 2 - 0. Suppose k - 6 = -w*k. Is 4 <= k?
False
Let y = -83/450 + 6/25. Which is smaller: y or 1?
y
Suppose -2*t - 2 = -0. Is 91 not equal to t?
True
Let i = 119/82 - -2/41. Suppose 0 = -p - 3 + 7. Suppose 4*x - 4 = 0, m + x + x = p. Is m at least i?
True
Let f = 36 - 33. Is f < 3?
False
Let z = 0.2 + -1.2. Suppose 0 = -2*d - 2, -5*d + 2 = 5*n + 12. Is n at least z?
True
Let a be 8/6*1/(30/(-9)). Which is smaller: a or -42/11?
-42/11
Let l = 551 - 566. Let j be (-122)/8 + (-2)/(-8). Is j at least l?
True
Let t be (3 - -11)/((-2)/(-2)). Which is smaller: t or 16?
t
Suppose -2*m = 3*k + m, -2*k = -5*m + 7. Let p be -5*(k*2 + 1). Suppose -3*q + 8*q = p. Is 3/2 not equal to q?
True
Suppose 32 = 4*k - 5*f, 0 = -2*f - 5 + 13. Is 9 bigger than k?
False
Let b = -4 - 1. Let p = 9 + -1. Let v = p + -8.1. Which is bigger: b or v?
v
Let h = 0.1 - -6.9. Is -0.1 >= h?
False
Let v = -1.04 + 1. Let f = v - -0.44. Let k = 1.4 - f. Is k greater than or equal to -1?
True
Let a(p) = -p**3 - 2*p**2 + 2*p - 4. Let y be a(-3). Which is smaller: 9 or y?
y
Let t = -63199/525 - 11/525. Let m = 121 + t. Which is smaller: 2 or m?
m
Let o(s) = s + 5. Let z be o(-6). Let p be 1 + (2 + z - 0). Let m be 4/(-14) - 2/(-7). Which is bigger: p or m?
p
Suppose -3*z - 2*z - c = 11, -5*z + 2*c - 8 = 0. Is 2 not equal to z?
True
Let l be (6/(-21) - 4/(-14))/(-1). Is -3/16 less than l?
True
Let o(l) = 2*l - 4. Let x be o(-3). Is x equal to 3/4?
False
Let f be (-2 + 5)/((-6)/(-4)). Let x = 2 - f. Suppose s + 0*s + 13 = -3*g, x = 4*s - g. Which is smaller: 1/5 or s?
s
Let d be 2/7 - (-96)/56. Suppose -d*i + 210 = 3*i. Let u be (-2)/(-7) + 156/i. Which is greater: 5 or u?
5
Let j = -6 + 12. Let s = 2.1 - 2.2. Is j at most s?
False
Let x = 6 - 9. Let g = -3.1 - x. Which is bigger: g or -0.2?
g
Suppose 7*t - 4*u = 12*t - 33, 0 = -3*t - 2*u + 21. Suppose 0 = 3*v - v - 8. Suppose v*i - 3*i = 9. Is t <= i?
True
Let l = 3 + 2. Suppose -l = 2*r + 3*b, -5*b = -4*r - 3*b + 14. Is 3/4 at least r?
False
Let t = -343/11 - -31. Suppose -d - 2*d = -m - 14, -5*d - 2*m + 16 = 0. Let p be d/(-18) - 22/(-18). Is t greater than or equal to p?
False
Let c be (1/(-2) - -1) + -1. Let d = -2 + 8. Suppose -3 - 6 = 3*t, 0 = 3*r - 2*t - d. Which is smaller: r or c?
c
Let b = 467/9 + -52. Let p(c) = c + 8. Let g be p(-8). Is b at least as big as g?
False
Let g(m) = m**2 - m + 2. Let a be g(0). Let k = 1 + 2. Let p = 5 - k. Is p at least a?
True
Let z(g) = 3 - 2*g**2 + 3*g**2 - 2 - g. Let a be z(1). Let q = -1/89 + 363/623. Which is smaller: q or a?
q
Let s = -38 - -38.05. Which is smaller: s or 0.1?
s
Let f(s) = -s**3 - 6*s**2 + 3. Let g be f(-6). Suppose g*t = -2*t + 180. Suppose y + t = -3*y. Is -8 at least y?
True
Let f = 5 - 4.94. Let k = f + 2.94. Let z = k + -2.9. Is 2 != z?
True
Let f = 12 + -18. Is f <= -7?
False
Let l = 16 - 7. Let w be (-150)/54 + (-2)/l. Which is greater: -5 or w?
w
Let v = -86 - -2837/33. Which is smaller: v or 1?
v
Let z be (-63)/54 + 2/3. Is 0 greater than z?
True
Suppose 2*z - n + 0 = 2, -5*n = -z + 1. Which is greater: z or 8/35?
z
Suppose 0 = -4*z - x - 4, 0*z + 4*x + 16 = z. Suppose 0*q = 3*q. Is q less than or equal to z?
True
Let p = 3 + 5. Let j = p - 6. Are 2 and j equal?
True
Suppose g = -5*i + 121, 88 = 2*i + 2*i + 3*g. Do i and 23 have the same value?
False
Let u = 22 - 16. Suppose -5*p + 2*p + 5*l + 28 = 0, p + 5*l = -4. Suppose -p = -0*i - i. Is u equal to i?
True
Let c = 13 + -8. Suppose -2*r + 4*d - 10 = -0*d, 0 = -5*r - c*d + 5. Which is bigger: -2 or r?
r
Let m = 1 - -1. Let l(h) = h**2 + 9*h - m + 1 - 2*h. Let d be l(-7). Which is bigger: d or -2/11?
-2/11
Let p = -1.4 - -0.2. Let t = 1.3 + p. Which is smaller: t or -7?
-7
Let m = -7658 + 2351008/307. Is m bigger than 1?
False
Let p = -6 - -5.7. Let v = p + 0.2. Is v > 2/7?
False
Let a = 141 - 428/3. Let l(p) = -2*p**2 - 1. Suppose 2*q - 3*u + 4 = 0, 15 = 4*q + q + 5*u. Let s be l(q). Is s at least a?
False
Let q = -67 - -75. Which is greater: -2/5 or q?
q
Let w = -2 - -2.8. Let z = 0 - 0.2. Let q = z - w. Is q at least as big as 0?
False
Suppose 3*u - 30 = -0*u. Suppose -2*q = 2*y - u, 0 = -2*y + 4*q - 7*q + 14. Is y less than -4/3?
False
Let l = -0.16 - -0.96. Suppose -4*r - 3 = 1. Does l = r?
False
Suppose w + 5*j - 17 = 0, -9*j = 3*w - 11*j. Let f = 221/335 + -4/67. Do f and w have different values?
True
Let y = -8 - -17. Is -2 greater than y?
False
Suppose -2*v = -5*d + 15, 6*d = v + d + 15. Let s be v*((-2)/(-3))/(-2). Which is bigger: s or -1/5?
s
Let v = -29 - -19. Is v at most as big as 1?
True
Let g = -17.5 - 5. Let o = 23 + g. Is o not equal to -3?
True
Let b(i) = i**2 + 2*i - 4. Let u be b(-3). Let c = u - -1. Which is bigger: c or -1/3?
c
Let h = 2.9 + -0.9. Which is bigger: 0 or h?
h
Suppose -5*o = o - 444. Is 74 > o?
False
Let z be ((-1)/2)/((-1)/(-2)). Suppose p + 2*n + 2*n + 15 = 0, 50 = 5*p - 5*n. Suppose -2*d + p*d = 0. Is d less than or equal to z?
False
Let n be 1 - (1 + (-1 - 1)). Is 2 at most n?
True
Suppose 5*b + 55 = -5*r, 5*b + 4*r - 2*r = -40. Let j = -26 + 51/2. Is b < j?
True
Let g(l) = l**3 + 4*l**2 - 8*l - 6. Let x be g(-5). Let q = 53 - 80. Let k be (-24)/36*q/2. Is x greater than or equal to k?
True
Let z = -22 + 37. Let h be 35*(-1 - 3/z). Let x be (8/h)/((-6)/9). Which is smaller: x or 2?
x
Let g = 10 - 6. Let s = -3 + g. Is s bigger than -1/3?
True
Let z = -12 + 13. Is -3/8 equal to z?
False
Let j(m) = -10*m - 25. Let u be j(-3). Suppose 0 = -5*s - 12 + 2. Let h(w) = -w**3 - 2*w**2 - 4*w - 3. Let k be h(s). Is k at most u?
True
Let i be 2/4*(-8)/(-14). Let q = -1