s smaller: -1 or o?
-1
Let h = 22 - 19. Let d(y) = -y**3 - 3*y**2 + y + 2. Let k be d(-3). Let g be -1*3/k - -1. Is h less than or equal to g?
True
Suppose -2*o - 196 = -4*o. Suppose o = -5*x + 18. Let t be ((-2)/(-3))/(x/(-9)). Which is smaller: t or 0?
0
Suppose -2*h = -10, -40 = 2*i + 2*i - 4*h. Is i at least -5?
True
Let w be (-22)/(-12) - (-2)/(-4). Let u(l) = l**2 + 11*l - 11. Let p be u(-12). Which is smaller: w or p?
p
Let q = -3 - -2. Let f be ((-6)/4 + 1)/q. Let t = 0.42 - 0.42. Is f at most t?
False
Let v = -2 - -2. Suppose v = -0*i - i + 2. Is i at most 4?
True
Let i = 113/12 - 26/3. Is i equal to 3?
False
Let s = -18 + 26. Suppose 0 = -3*p - s + 14. Are p and 1 nonequal?
True
Let l = 17.7 + -13.7. Which is smaller: l or -1?
-1
Let j be (20 - 5)*29/6. Let b = -71 + j. Suppose 0 = 4*f - f - 6. Do b and f have the same value?
False
Let q = -33 - -19. Let x = 13 + q. Are 10 and x equal?
False
Let h = 21.197 + -0.197. Is -2 >= h?
False
Let q = -1 - -4. Let l(i) = 2*i**3 + 3*i**2 + i + 2. Let s be l(q). Let w = 427/5 - s. Do -1 and w have different values?
True
Suppose k + 2*k = -9. Let x be ((-3)/12)/(k/16). Let y = -130/3 + 44. Is x >= y?
True
Let k = 113.9 - 114. Is 0.1 > k?
True
Let i(g) = g**2 - 5*g + 3. Let d be i(5). Let x(w) = -w + 1. Let y be x(d). Is y smaller than -2?
False
Let a(y) = 4*y - 4. Let w be a(10). Suppose 0 = 7*j - 3*j - 3*m - w, 0 = -3*j - 5*m - 2. Is 6 less than or equal to j?
True
Let k = -564 + 1718/3. Suppose 3*n - 8*n = o - 20, 2*o = 4*n + 12. Let i = k - o. Which is greater: -2 or i?
i
Let k = -13 + 15. Suppose 5*w + 3 = a, -w + 1 = -4*a + 13. Do a and k have the same value?
False
Let j = 3/401 + 745/7619. Which is bigger: 1 or j?
1
Let s = -5 + 6. Let j = 1 + s. Let g = j - 2.3. Which is smaller: g or 0.1?
g
Let s = 0.3 - -7.9. Let c = s + -0.2. Let a = 8.1 - c. Is a at most as big as 5?
True
Let b = 5 + 1. Let w = b + -2. Which is smaller: 5 or w?
w
Let j be (-4)/8 + 105/10. Let x be 45/(-1) + 0/(-2). Let w be 21/x + (-2)/j. Is w bigger than 0.1?
False
Let d = 7 - 2. Let h = d - 4.9. Let l = 0 + h. Is l at most as big as 0.5?
True
Let i = -0.45 - 0.05. Let f = 0.4 + i. Which is bigger: f or 2/5?
2/5
Let m = 7 - 4. Let p be 5/6*(3 - 1). Is m bigger than p?
True
Let l be 14*(30/21)/5. Let u(h) = 9*h. Let r be u(1). Suppose 3*i = -0*i + r. Is i greater than or equal to l?
False
Let j = 10 + -7. Suppose -3*q + 9 = -j. Is q greater than or equal to 3?
True
Suppose 10 = 2*g + 3*g. Let h = -29 - -30. Are g and h equal?
False
Suppose -56 - 4 = -5*x. Let w be (2/(-6))/((-10)/x). Is w < 1?
True
Let r(i) = i**3 + 3*i**2 + 4*i + 2. Let h = -1 - 1. Let p be r(h). Are -2 and p unequal?
False
Suppose 3*b + 2 + 19 = 0. Let d = 4 + b. Are d and -5 equal?
False
Let y(k) = -k**3 - k**2 + 2*k + 3. Suppose 4*h - 2*n = -18, 2*h - 15 = -4*n + 1. Let t be y(h). Let v be -1 + 1 + (1 - -1). Are v and t nonequal?
True
Let k = 40.1 + -43. Let m = k + 3. Let r = -0.42 - -0.32. Which is smaller: m or r?
r
Suppose 6*f - 35 = f. Let o = f - 8. Is 1/13 less than o?
False
Suppose -2*v = -4*h + 54, -h = -5*v - 115 - 2. Let a = v + 8. Is a greater than -15?
False
Suppose 3*i - 14 = 5*i. Let q be 3 + (3 - (-2 - 0)). Let g = q + i. Which is bigger: 0 or g?
g
Let w = 0.35 - -0.05. Which is smaller: 6 or w?
w
Let u = 26867/45 + -597. Which is smaller: 1 or u?
u
Let d = 22 - 16. Which is smaller: 0 or d?
0
Let l = -35 + 38.7. Let y = l - 4. Is y at most as big as 0.1?
True
Let y(n) = 2*n + 15. Let o be y(-10). Let m be (-2)/(0 + (-2)/o). Does -5 = m?
True
Let c = 2 - 10/7. Let z = -112 + 113. Which is smaller: c or z?
c
Let d = 3.27 - 0.27. Let a = 1.06 - 0.16. Let z = a - 1. Which is greater: z or d?
d
Let a be -5*(4/10 + -1). Is -2 <= a?
True
Let w = 9.3 + -9.2. Which is bigger: w or -35?
w
Let v = 0.12 - 8.12. Let y = v + 16. Is y >= -1?
True
Let d = -2/245 + 267/2695. Which is bigger: -1 or d?
d
Let m be ((-2)/10)/(3/(-15)). Let f(y) = -y**2 - 9*y - 5. Let r be f(-8). Which is smaller: m or r?
m
Suppose 5*b - 2*b = 3. Let u be (-2 + 1)*114/(-12). Let c = u + -9. Is b less than c?
False
Let i = 5 - 0. Suppose -3*t + 2 = -i*t - 3*k, t = 5*k + 12. Which is smaller: -1 or t?
-1
Let w = 2 - 2. Let x be (-20)/8*(w + 2). Which is smaller: -4 or x?
x
Let x be (-3 - -4)/((-2)/(-14)). Suppose m - u = 2, -4*m - 5*u = -m - 46. Is x less than m?
False
Let g be (-1 - -1)*6/18. Suppose 28 = -0*x - 3*x - 5*o, 2*x - 5*o - 23 = g. Which is greater: x or -2/9?
-2/9
Let k be (-24)/(-2)*4/4. Is k != 12?
False
Suppose 3*w + 2*d + 5 = 0, -3*w + 2*d = 14 - 1. Let k be (-2)/(-7) - (-150)/(-35). Which is smaller: k or w?
k
Let q be 2 - ((-10)/(-3))/2. Let v = -24 - -23. Which is smaller: v or q?
v
Let p be (1/6)/((-35)/21). Let a(z) = -z**3 - z**2 - z. Let d be a(-1). Is p != d?
True
Let l be 7/33*4/(-14). Is l at most as big as -1?
False
Let m(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/6 + o**3/3 + 10*o**2. Let r be m(7). Is -26 > r?
False
Let d(a) = -4*a + 5. Let b(p) = -11*p + 14. Let o(h) = -6*b(h) + 17*d(h). Let u = -5 - -6. Let z be o(u). Are 3/7 and z nonequal?
True
Suppose -4*r + 3*o = 31, 5*o + 1 = -4*r + 2*o. Let p be 1/r + (-15)/4. Let x be 2/(-4) + (-6)/p. Which is bigger: x or 3/4?
x
Suppose r - 2*m + 7 = 0, -17 = -4*r + 5*r - 4*m. Suppose -5 + 23 = 3*t. Let a(c) = c**2 - 5*c - 4. Let p be a(t). Does p = r?
False
Suppose -2*r + 3*p + 13 = 0, -2*r + p + 31 = 2*r. Let h = 2 - 4. Let w be (r/6 + h)*9. Is -1 greater than or equal to w?
True
Let s = 1 - 0.99. Let r = s + -0.41. Let z = r + 0.5. Which is smaller: -2/3 or z?
-2/3
Let x = -0.21 + -5.79. Is x smaller than -1?
True
Let g be -46*(-3)/(-360)*2. Let v = 4/15 + g. Which is bigger: -1 or v?
v
Let q = 1/105 - 22/105. Is q equal to 0?
False
Let g be (53/2)/(3/8). Let w be 15*((-28)/6 - 0). Let y = w + g. Is y > 2?
False
Suppose -13 = w - 3*f, 5*f = -2*w + 2*f + 10. Which is smaller: w or -12?
-12
Let w = 59 + -294/5. Let s be (-1)/(-3)*(-7 + 7). Is s at most as big as w?
True
Let k be (2 - 3) + (-63)/(-81). Suppose 0 = -2*f - 0 + 2. Which is smaller: k or f?
k
Suppose -r + 25 = 4*r. Let y = r - 4. Let x be ((-2)/6)/(1/y). Which is smaller: x or -3?
-3
Let q = 0.946 - -0.054. Is q at most 32/3?
True
Let t(h) = -h**3 - 11*h**2 + 16*h + 15. Let a be t(-12). Which is bigger: a or -35?
a
Let b = 78 - 67. Which is greater: 2 or b?
b
Let y(i) = i**2 + 6*i + 2. Suppose -2*j = 6 + 6. Let t be y(j). Let u be t - ((-6)/(-8) + 1). Which is smaller: 0 or u?
0
Let g be 0/(-2)*(1 - 0). Suppose 2*n = 2*k + 2 - 0, -k - n + 1 = g. Let q = 53/260 + -1/20. Which is greater: q or k?
q
Suppose 4*v - m - 2*m = -20, -5*v - 25 = 4*m. Suppose 34 = -5*b + 9. Is v smaller than b?
False
Let a be 32*(0 + (-15)/(-10)). Which is smaller: a or 49?
a
Suppose -2 = w + 4. Suppose -11*i = -7*i + 44. Let h = i - w. Which is bigger: h or -4?
-4
Let q = -31 - -31. Let p(s) = s + 7. Let d(l) = -5*l**2 + l + 1. Let o be d(-1). Let u be p(o). Which is bigger: q or u?
u
Suppose 0 = -5*x + 3 + 17. Let m be ((-11)/(-2))/(2/x). Suppose -k + m = -4*k - s, -30 = 5*k + 4*s. Which is greater: -4 or k?
k
Let r = 11 + -9. Let v = r - 1. Which is bigger: v or 0?
v
Let m(f) = -9*f - 4. Let c be m(-1). Is 0.6 at least c?
False
Suppose 1 = -4*v + 9. Let z be v/(-6) - (-14)/6. Let g be (z/6)/(2/6). Which is greater: 3/2 or g?
3/2
Let n = 2 + -1.9. Which is bigger: n or -9?
n
Let w = -6 - -5. Which is greater: -11 or w?
w
Suppose -4 = 4*l - 2*l. Let r be (1*-1 - 2) + (19 - 18). Are r and l nonequal?
False
Let g be (6/3 - 0) + -3. Let t = -47/568 - 3/71. Which is smaller: t or g?
g
Let n = 4 + -5. Let w be (1 - 15/21)*n. Which is bigger: 1 or w?
1
Let s = -43 + 41. Which is greater: s or -1?
-1
Suppose 15 = 4*h - 21. Let u(f) = f**2 - 13*f + 13. Let w be u(h). Let i be (-2 - 0)*(-1)/w. Is i at least -1?
True
Let h be 2/(-6)*81/9. Let g be 0*2/(-4) + -1. Let f = g - h. Which is greater: f or -0.1?
f
Let a = 16 + -14. Suppose -3*n + a*n - 18 = 0. Which is bigger: -17 or n?
-17
Let p = 74 + -65. Which is smaller: p or 10?
p
Let o be 16*1*170/40. Do 68 and o have the same value?
True
Let j(v) = -4*v - 1. Let f be j(-1). Suppose -4*w - 5 = -b + f, -5*b + 4*w + 8 = 0. Let i = -43 + 304/7. Which is smaller: b or i?
b
Let s be 4/(-6)*(53 + 4). Let a 