Suppose 2 = -z + l. Suppose 2*k - n - 9 = 0, 2*k + z*n = 2*n - 11. Is 1 less than k?
True
Let k(d) = d**3 + 9*d**2 + 4*d - 11. Let j be k(-8). Suppose -f - 5 = -j. Suppose 4*a - f = -0*a. Which is smaller: 5 or a?
a
Let o = 62 + -59.97. Let t = -0.03 + o. Let k = -2.1 + 2. Which is smaller: t or k?
k
Let t = 0 + 2. Suppose t*d - 3*d = -4. Suppose 4*n + 9 = d*w - w, w = 3. Which is greater: n or 1?
1
Let z be ((-116)/(-8) + 4)*2. Suppose -5*l - 5*t = -130, -l - 2*t = 13 - z. Which is smaller: 27 or l?
27
Let b = -0.3 + -0.8. Let i = 0.1 + b. Is 9 at least as big as i?
True
Let x = 4.9 + 0.1. Let k = 0.4 + -6.4. Let s = x + k. Is -6/5 greater than s?
False
Suppose 5*l - 2*l = -3*w + 30, -l - 15 = -4*w. Which is smaller: 4 or l?
4
Let p(v) = -3*v - 7 + 5*v + 0*v. Let w be p(5). Let y be 1 + -3 + w + -1. Which is bigger: 2/9 or y?
2/9
Suppose -14*a = -17*a - 24. Is a less than or equal to -6?
True
Suppose 5*q - 2 = -17. Let p(g) = g**3 + 5*g**2 + 5*g + 2. Let t be p(q). Let j(m) = m - 5. Let f be j(t). Which is smaller: f or -0.1?
-0.1
Let d be 1 + -3 + 0 + -2. Let n be -4 + 2 - d - 1. Suppose -13*t - 7*t = 0. Which is smaller: t or n?
t
Suppose 5*f - 3*f - 4 = 0. Let x = 7 - f. Is 5 less than x?
False
Let g be -3 - 0 - (-21 + 1). Is g not equal to 18?
True
Let n be (-1 + 10/4)/(-1). Let z = -39 - -36. Is z at least n?
False
Let q = -72 + 362/5. Which is smaller: q or -1?
-1
Let i = -9 - -16. Let g = i - 6.9. Do g and 1 have the same value?
False
Let x = -0.03 + 2.03. Let p = 0.16 - 0.2. Let w = p - -2.04. Is w less than or equal to x?
True
Let u(q) = -q**3 - 7*q**2 + 10*q + 15. Let v be u(-8). Are v and 1/14 unequal?
True
Let k be 4/10 + (-3)/(-5). Suppose -1 = 2*o + k. Let y(i) = -4*i. Let d be y(o). Do 5 and d have the same value?
False
Let r(j) = -j**3 + 19*j**2 + 19*j + 17. Let s be r(20). Let n = -4 - -1. Is s greater than or equal to n?
True
Let f = -19 - -9. Let p be ((-9)/5)/((-4)/(-20)). Which is bigger: f or p?
p
Let u = 42 + -41.79. Let m = 0.21 - u. Is m <= 6?
True
Suppose 0 = -4*h - 5*t + 15, t + 2 - 5 = h. Suppose -3*w + 0*w - 3 = 0. Let y be ((-2)/(-6))/(w/3). Is h greater than or equal to y?
True
Let w be (-68)/(-18) - (17 - 1)/4. Which is greater: -1 or w?
w
Let h(b) = b**2 - 2*b. Let w be h(2). Let z(o) = o - 15. Let t be (-100)/(-7) - 4/14. Let d be z(t). Which is bigger: d or w?
w
Let r(c) = c**2 - 1. Let y be r(-1). Suppose 2*t - 4*i + 2 = 0, -5*i = 5*t - 11 + 1. Let u be (3 + y)/t - 1. Are 0 and u equal?
False
Suppose -g = 2*w - 6, -4*w + g + 1 = -5. Let t = 13 - 11. Suppose 0*b - w = -t*b. Which is smaller: 2 or b?
b
Let s(o) = o**2 - o - 4. Let p be s(3). Let y(x) = -x**2 + 2*x - 1. Let f be y(p). Let q be 4/6 + 3/(-9). Is q greater than f?
True
Suppose 10*c - 20 + 10 = 0. Is c equal to -8/37?
False
Let n = -1/3870 - -871/42570. Which is smaller: n or 1?
n
Let s = -3329 - -39971/12. Let u = s - 5/3. Is -0.2 less than u?
True
Let x = 11/2 - 29/6. Let i = 10 + -10. Is x greater than i?
True
Let k = 26 + -62. Let s be (-8)/k - 13/18. Is s at most -1?
False
Let r(f) = -f + 6. Let l(j) = j**2 - 4*j. Let n be l(5). Let o be r(n). Is o less than or equal to 2?
True
Let a(o) be the first derivative of 2*o**3/3 + 3*o**2/2 + o - 2. Let r be a(-2). Suppose -r*m = m. Is m less than or equal to 2/3?
True
Let s be (-24)/(-16)*(-82)/6. Let i = 21 + s. Is 0 at most i?
True
Let g = 0 - -0.1. Let z = -0.35 + 0.05. Let j = g + z. Is -0.1 > j?
True
Let s(z) = -z**2 + 3*z. Let n be s(2). Let g = -97/2 - -197/4. Which is bigger: g or n?
n
Suppose -4*l + 158 = 2*b - 0*l, 367 = 5*b - 4*l. Suppose -5*k + 0*k + b = 0. Let u be (k/(-11) - -1)/(-2). Which is smaller: u or -1?
-1
Suppose 0 = 4*n + 5*c + 26, 0 = -0*n - 2*n + 3*c - 2. Let i be (8/(-12))/(n/6). Which is smaller: 1/6 or i?
1/6
Let o = -12 + 20. Let d = o + 0. Do d and 8 have the same value?
True
Let l = 16 - 26. Let i = l + 7. Let c = i - -1. Is c >= 2/7?
False
Let y be 89/(-62) - 3/(-2). Is y less than 0?
False
Let o = -10 - -9.7. Let l = 0.9 + o. Let b = 0.4 + l. Which is greater: b or 1/4?
b
Let i = 4 - 6. Let q be (-6)/57*-20 + i. Which is smaller: 1 or q?
q
Suppose -r + 5*r - 24 = d, 2*d = 3*r - 23. Suppose 3*y + 12 = -r*s - 4, -5*y + 5*s = -40. Which is smaller: y or 4?
y
Suppose -3*m + 2*h + 7 = 0, -5*m - 6 + 23 = 2*h. Suppose 3*c - m = 2*c. Is -0.2 at least as big as c?
False
Let p(a) = a**2 + a + 2. Let b be p(2). Let s be ((-2)/b)/(27/(-36)). Is -1 greater than s?
False
Let h = 94 - 82. Which is bigger: h or 3?
h
Let w be ((-3)/12)/((-50)/(-8)). Is w smaller than 2/5?
True
Suppose 0 = o - 1 + 32. Which is greater: -32 or o?
o
Let q(m) = m - 3. Suppose 4*f - 3*f + 4 = 0. Let n = -1 - f. Let y be q(n). Which is bigger: -3/4 or y?
y
Suppose 3*l - 26 = -2. Suppose m - l = 2*m. Which is smaller: m or -7?
m
Let a(y) = -2*y**3 - 2*y**2 - 2*y - 1. Let d be a(-1). Let u be (d*(5 - 2))/(-1). Suppose -2*h - 5*q - 5 = 3*h, -19 = 5*h - 2*q. Is h less than or equal to u?
True
Let k be (-2)/(-5 + 1)*-2. Let l(q) = -q**2 + 4*q - 1. Let b be l(4). Is b greater than or equal to k?
True
Let w be (-10)/(-8 + 3) - 2. Let r be (18/(-26))/(2/4). Let a = r + 152/91. Which is smaller: w or a?
w
Suppose 4*z = 3*q + 35, -2*q + 5 = z + 10. Suppose v - 7 = -n + 3*v, -n = 2*v + z. Let g = 8 + -10. Which is smaller: n or g?
g
Let z = -70/39 + 1087/468. Let b = -1/36 + z. Let a be ((-2)/12*2)/1. Is a smaller than b?
True
Let b(x) = 5*x + 4. Let s(t) = -t - 1. Let z(l) = -3*b(l) - 12*s(l). Let f be z(-1). Let j = -7 - -11. Is f != j?
True
Let q(u) = u**2 + 5*u - 3. Let d be q(-4). Let t = -6 + 0. Is d less than t?
True
Let i(g) = g**2 - 8*g + 2. Let b be i(8). Let k be (-4)/8 - b/(-4). Suppose k = 2*j + j - 3. Which is smaller: 3 or j?
j
Suppose 0 = -2*a + 2*t + 7 + 1, -5*t - 13 = 2*a. Let k = -20399/3 + 6858. Let l = 59 - k. Is l less than a?
True
Suppose 4*u + x = 27, 0 = -2*u + 5*u - x - 22. Let t = 18 - u. Is 11 greater than or equal to t?
True
Let w = -36 - -31. Which is smaller: 0 or w?
w
Let u(x) be the first derivative of -1/2*x**2 - x - 2. Let j be u(-2). Which is smaller: 2/11 or j?
2/11
Suppose 4*b - 4 = 4. Let u be b - (-2 + (1 - -16)). Let w be (-8)/(-4) + u/5. Do -2 and w have the same value?
False
Let j = -202 - -2023/10. Let n = j - 1/70. Let s = -1 + 2. Is s greater than or equal to n?
True
Suppose 2*x + 3*q = -9, -5*x + 4*x + 12 = -4*q. Let t(j) = -j - 1. Let l be t(x). Which is smaller: -3/7 or l?
l
Let o = 9 - 7. Suppose 5 = 2*l + 3*l. Which is smaller: o or l?
l
Suppose 5*d = 3*d. Let b be (-14)/16 + 2/4. Is b smaller than d?
True
Let l = 7 + -5. Let q = 4 - l. Suppose m = -q*h + 4*m, 2*m = h. Which is smaller: h or 1/9?
h
Let m be 42/39*(-1)/4. Let a be (-81)/182 - 0 - -1. Let u = m + a. Which is bigger: u or -1?
u
Let p be ((-2)/(-1))/((-4)/(-8)). Let i be (1/10)/((-1)/(-2)). Is i less than or equal to p?
True
Let p be (-8)/44 + 281/33. Are 8 and p nonequal?
True
Let k be (-1 - -5) + 0/2. Let u be ((0/k)/4)/(-2). Is u at least 12/11?
False
Suppose 8*g = 3*g - 650. Which is smaller: -131 or g?
-131
Let r = -12 - -7. Which is smaller: 2 or r?
r
Let h be 2 - 3 - (-5 + 0). Suppose 7*y = h*y. Is y not equal to 2/17?
True
Suppose 0 = -6*c + 3*c - 3*c. Are c and 2/11 non-equal?
True
Let k(u) = -5*u - 1. Let m be k(-1). Let p be (-2)/(-3) - 12/(-9). Suppose -3*w = f - 12, 4*w + p*f - 27 = -3*f. Which is greater: m or w?
m
Let n = 2780 + -375298/135. Is 1 smaller than n?
False
Let o be (4/6)/1*-3. Suppose v - 8 = -7*r + 4*r, 5*v - 21 = 4*r. Which is bigger: o or r?
r
Let i be (4/(-6))/((-14)/21). Is i != 2/9?
True
Let h be (-12)/(-48) - 334/(-8). Is -1/4 at most as big as h?
True
Let h = -1.9 - -10.9. Let v = -1 + h. Let p = v + -8.1. Which is smaller: p or 0.4?
p
Let n = 8 - 9. Let g = -9 + 6. Let r = g + 5. Is r < n?
False
Suppose -8*u = -0*u - 64. Let x(q) = q**2 - 2. Let y be x(-3). Which is smaller: u or y?
y
Let h = -2.42 - 0.58. Let t = 1 + -1. Which is smaller: h or t?
h
Let j = 130 + -82. Is j smaller than 48?
False
Suppose 10*x = -4*x - 1400. Is -100 > x?
False
Let a = 1199 + -44359/37. Which is smaller: 1 or a?
a
Let x be ((-1250)/(-35))/((-27)/168). Suppose 0 = -4*a + 4*h + 904, a - 290 = -2*h - 76. Let l = x + a. Which is smaller: 2/7 or l?
l
Let n = -122 + 122.7. Are n and 0.01 