t k = f - -18. Suppose -2*n + 6*n - 11 = s, -s - 3*n = -k. Is s <= 0?
False
Let j(b) = b**2 + 11*b + 13. Suppose 14 = -2*s - 2*u, 15 + 1 = -2*s - u. Let w be j(s). Is -3 smaller than w?
False
Let a(o) = -o**3 + 7*o**2 - 7*o + 8. Let t be a(6). Suppose -t*n + 0*n = 6. Is -1 < n?
False
Suppose 0 = -5*a - 3*u - 12, 4*a - 4*u - 16 = -a. Are a and 2/63 nonequal?
True
Suppose -4*w - 8 + 0 = 0. Let c(k) be the first derivative of k**2/2 - 2*k + 2. Let x be c(-1). Are w and x unequal?
True
Suppose -27*m + 26*m + 128 = 0. Which is smaller: 129 or m?
m
Let f = 55/4 - 14. Which is smaller: 2 or f?
f
Suppose -8*b = -24*b + 16. Suppose 11 = -5*f - 4*t, -17 = 3*f + 4*t + t. Let p be f/(-2) + (-9)/(-12). Which is smaller: p or b?
p
Let u = 0.82 + -0.82. Which is smaller: u or 15?
u
Let z = -0.18 + -1.82. Let t(l) = l**2 - 4*l + 2. Let m be t(3). Which is smaller: z or m?
z
Let v be -1*(1 - -2)/(-3). Let j = 8 + -11. Let t = 5 + j. Is t > v?
True
Let d be (3/(-5))/(6/30) + 3. Which is bigger: d or -2/57?
d
Let q = 5 - -2. Let d be (7 - q) + 4/(-30). Is 0 < d?
False
Let r(d) = -d. Suppose -4*x + 7*x + 19 = -j, -2 = 2*j. Let o be (-2)/x + 2/(-6). Let v be r(o). Which is smaller: v or 2?
v
Let u be 8/32 - 6/(-8). Let j(i) = i**3 - 3*i**2 + 2*i - 1. Let v be j(u). Let g = -13 + 77/6. Is v at most g?
True
Suppose -2*n + 4*a + 5 = a, 4*n + 4*a = 0. Which is bigger: -10 or n?
n
Let k = -1/3 - -5/6. Is k greater than or equal to -4/13?
True
Let p be ((-16)/(-6))/(12/18). Suppose -3*i = -0*i - p*j + 17, -4*j + 18 = -2*i. Let y be 0 + i/1*1. Is y greater than -2/5?
True
Let w be -42*(3 + (-147)/45). Is w >= 11?
True
Suppose -l - 3*l = 20. Let j(a) = a**3 + 5*a**2 + a + 4. Let s be j(l). Is s at least -3?
True
Suppose -3*m = m. Suppose 5*q = t - 14, 2*t + m = -5*q - 2. Suppose -4*n = 11 + 1. Which is smaller: q or n?
n
Let y = -0.4 + 0.3. Let t be (-2)/(-5) - (-3)/30. Is t less than y?
False
Let n = -3.8 - -5.61. Let c = 0.19 + n. Are 0.1 and c non-equal?
True
Suppose -1 = 2*l + 2*f - 5, -4*l + 13 = 5*f. Let y(k) = k**2 + 18*k + 31. Let q be y(-16). Which is smaller: l or q?
l
Let t = 10 + -20. Is t greater than or equal to -11?
True
Suppose 14 = -2*k - 4*x, 0 = -k + 4*x + 2 + 3. Let l = 24 + -26. Are k and l nonequal?
True
Suppose -2*l - 3*a = 7, -l + 3*a = -0*a - 1. Let t(x) = -x + 4. Let p = 12 + -6. Let o be t(p). Is o less than l?
False
Suppose -2*i = -5*x - 25, 10 = i + 4*i + 5*x. Let w(r) = -r + 5. Let t be w(i). Is 1/3 equal to t?
False
Suppose 3*z - 10 = z - m, -4*m = 2*z - 4. Let c = 5 - z. Let f = -7/115 + 6/23. Which is smaller: c or f?
c
Let j = 15 + -9. Which is smaller: 28/5 or j?
28/5
Let h(y) = 4*y**2 + 2*y - 1. Let f = -3 - -4. Let w be h(f). Suppose 2 = 5*q - 2*q - 5*z, -q - 4*z - w = 0. Which is smaller: -2 or q?
-2
Let f be (-2)/(-4) - (-14)/132. Let o = f + -118/231. Which is bigger: o or -1?
o
Let i = 7 + -1. Which is smaller: i or 5/3?
5/3
Let h be (-8)/(-6) - 10/(-15). Suppose -h*c + 5*t = -2, -t - 1 - 5 = c. Let j be (5 - 9)*1/c. Which is smaller: 3/7 or j?
3/7
Let o(m) = -m**3 + 3*m - 1. Let c be o(2). Is -7 at least as big as c?
False
Let l = 95 - 102. Which is greater: l or -0.1?
-0.1
Let o(p) = -3*p - 2. Let h be o(6). Which is bigger: -21 or h?
h
Suppose 0 = 5*p - 80 + 5. Suppose 0 = -q - 3*h - h - 15, p = 2*q - h. Suppose 3*n = 2*t - 8, -5*t + q + 6 = -3*n. Are 1/10 and t equal?
False
Let a = -19 - -17. Does 1/2 = a?
False
Suppose -11*l + 14*l + 60 = 0. Let f = l - -25. Which is bigger: 6 or f?
6
Let h be (4/30)/((-14)/(-63)). Let q = -10 + 10. Which is greater: q or h?
h
Let b be ((-24)/(-10))/((-6)/303). Let s = b - -122. Which is greater: s or 2?
2
Suppose -6*b = -b - 5. Let c(j) = -28*j**3 + 2*j - 1. Let a be c(b). Let p be (-14)/(-36) + 6/a. Which is bigger: p or 0?
p
Suppose -3*s - 1 = 5*n, s = -4*s - 10. Do n and 1 have the same value?
True
Let d = 0 - 1. Let z = 5 - 3. Let k = -1 + z. Which is bigger: d or k?
k
Let n = -111/4 - -27. Which is smaller: -4/5 or n?
-4/5
Let y = 239/4 - 2135/36. Suppose 0 = 2*g + 2*q, 5*g - 4 = 2*q + 3. Which is smaller: y or g?
y
Suppose 0*m + 12 = -4*o - 2*m, -3*o - m = 11. Suppose 0*h + h - 3 = 0. Suppose -w = h + 1. Is o < w?
True
Let q be (-2)/(-8) + 1/(-4). Let z = -1/90 - -457/630. Is q smaller than z?
True
Let t = 122912057381/16721589840 + 1/23922160. Let s = 4/233 - t. Let i = s + 7. Which is smaller: -1 or i?
-1
Suppose 4*p + 0*p = 0. Let v = 873/44 - -1429/11. Let n = v - 149. Which is bigger: n or p?
n
Let f = -10 + 37/3. Is f at most 2?
False
Let t(i) = -i**2 - 2*i + 2. Let j be t(2). Is j at least -8?
True
Let z = 17.07 + -17. Let x = -0.14 + z. Which is smaller: x or -1?
-1
Let q = 672 - 7383/11. Is q smaller than 2?
True
Let f = -1.9 - -3. Let w = -1 + f. Is w less than or equal to 0.3?
True
Suppose 57 = -3*g + 51. Let f = -6 - -4. Is f smaller than g?
False
Suppose -13 = -6*k + 23. Is 0 < k?
True
Suppose -5*v - 2 = -z - 4, 4*z + 4*v = 40. Let i be (-105)/(-5)*(-1)/(-3). Which is smaller: i or z?
i
Suppose -f + 4*m - 9 = 0, -3*m - 3 = 3. Let h = 20 + f. Which is smaller: h or 4?
h
Let t be ((-6)/9)/((-18)/(-27)). Let z = -0.1 - 0. Let m = -0.6 - z. Which is bigger: m or t?
m
Let l be (0 - -2)*(-2 - -3). Let d be l/(-6) - 52/6. Let i be 24/33*d/12. Are 0 and i equal?
False
Let z = 66/13 + 661/26. Which is bigger: 32 or z?
32
Let l(n) = 2*n + 12. Let t be l(-6). Suppose 3*a + 3 = t, -4*f + 5*a = 1 - 6. Are f and 2/33 nonequal?
True
Let g = -6 + 3. Let f = 6 + -1. Suppose 3*v = 2*v - f. Is v greater than or equal to g?
False
Suppose 2*s = -0*s + 8. Suppose s*a + 10 = -5*m + 56, -2*m + 25 = -5*a. Is 9 bigger than m?
False
Let k = 13/2 - 25/4. Let v be 1/2*(-22)/4. Let t = v + 3. Is k less than or equal to t?
True
Let l = -88/3 + 30. Let g = 5 + -4.8. Let z = g + 0. Is z greater than or equal to l?
False
Let q(b) = 9*b + 2. Let k be q(2). Suppose 7 + 9 = -4*j + 4*n, k = -j + 5*n. Let s = 10/51 + -253/510. Which is bigger: s or j?
j
Suppose -16 = 5*t - 91. Let s be (-17)/t - (-8)/60. Are -1/2 and s nonequal?
True
Let r(f) = -f**3 + 11*f**2 - 9*f - 21. Let b be r(10). Is b > -11?
False
Let l = -675/14 - -97/2. Let v = -0.88 - -1. Let i = -0.02 + v. Which is smaller: l or i?
i
Suppose -4*s = -b + 20, 2*s = b - 7 - 3. Is -2/43 smaller than b?
True
Suppose -8*t - 28 + 20 = 0. Is t bigger than -42?
True
Let f = -1 + 5. Let z = 4 - f. Is z <= 0?
True
Let i(g) = -g - 6 - 216*g**2 - 4*g + 217*g**2. Let h be i(7). Which is smaller: h or 10?
h
Let k = 0.81 - -10.09. Let a = 11 - k. Let n be (1/6)/((-1)/(-4)). Which is smaller: a or n?
a
Let k = -17 + 24. Let u be (1 - 2)/(12/(-6)). Which is smaller: k or u?
u
Let s be (-1 + 1)/(10 - 11). Is s greater than 0?
False
Let w = 1 + -5. Let l = w - -3.9. Is l not equal to -2?
True
Suppose 0 = -3*v - 3*o + 3, 2*v - o = -3 + 5. Suppose -v = w - 4. Suppose -w*n = -2*n - 2. Is n > 2/3?
True
Let q = -3 - -3. Are q and 1/15 equal?
False
Let g be 39 + (-1 + -3 - -1). Let k be (-54)/g*(-2)/(-39). Which is smaller: -1 or k?
-1
Let v(p) = p**3 - p + 2. Let n be v(0). Suppose 0 = 7*u - n*u + 3*i + 19, -2*i + 4 = 0. Is -6 < u?
True
Let s be (5 + -44)*2/(-6). Let a = -12 + s. Is 1 != a?
False
Let i = 43.7 + -44. Which is bigger: i or 0.21?
0.21
Let u be 15/(-6) - (-7 + 5). Is u != -2?
True
Let h be 1 + 4/(4/(-2)). Let z = h + 4/3. Is 1 less than z?
False
Let j(k) be the second derivative of -1/6*k**3 + 2*k + 0 + 5/2*k**2. Let w be j(5). Is w != -1/4?
True
Let r be 10/(-292)*-60 + -2. Let x = -174/511 + r. Let h be (-15)/17 - 8/68. Is h less than x?
True
Suppose 0*p - 62 = -4*x - 2*p, 0 = -5*x + 4*p + 58. Let h = x - 184/13. Suppose 6 = 4*g + 10. Which is smaller: g or h?
g
Suppose -4*x = 45 - 521. Let f be x/35 + 2/(-5). Are f and 3 equal?
True
Let j = -45 - -46.9. Let a = j + -2. Let b = 2.1 + -2. Is b < a?
False
Let w be (16/4 + -3)*(-1)/(-5). Is -1/9 > w?
False
Let n = -23.7 + 23.6. Let y = 12.08 + -0.08. Is y at most n?
False
Let f be (1/(-1))/((-2)/4). Let j(h) = h + 13. Suppose -4*s + 13 = -5*s. Let y be j(s). Is y > f?
False
Suppose 0 = -15*n + 7*n. Let i be (2/37)/(1 + -2). Do i and n have different values?
True
Suppose 0 = 5*h - 0*h - 120. Suppose -2*x = -6*x - h. Which is greater: 0 or x?
0
Let g = -20.9 + 21. Is g < -0.5?
False
Let d = -3 - -1. Are -30 an