Let f(t) = 1. Let z(k) = -6*f(k) + j(k). Let s be z(7). Is s greater than 3?
True
Suppose 160 = -4*z - 96. Let m be 1/(4/z*2). Are -7 and m nonequal?
True
Suppose 0 - 1 = m. Let b(j) = 16*j + 2. Let i be b(-2). Let y = i - -269/9. Is y smaller than m?
False
Let d = 8.2 + -7.4. Do d and 3 have the same value?
False
Suppose 4*r - 4 = 4. Suppose -d = 0, -8 = r*m + 2*d - 0. Let s be (-6)/(-8)*m/24. Which is greater: s or -1?
s
Let x = -39 - -22. Is -15 < x?
False
Let j = -73261622/1111 - -65942. Let i = j + -2/303. Is i != 0?
True
Suppose -4*w - b - 25 = 0, 5*w + b = -0*w - 30. Let d(y) = y**3 + 6*y**2 + 4*y - 5. Let v be d(w). Which is smaller: v or 1/6?
v
Suppose -4*x - 2 + 18 = 0. Let y(d) = -d + 2. Let p be y(x). Let g = -1 - p. Is g bigger than 1?
False
Let w = -7 + 24. Let d = w - 2. Suppose -5*p + d = -v + 45, -5*p - v - 20 = 0. Which is greater: -4 or p?
-4
Let x be 86/129*6/16. Let j = 7 + -4. Let k = -6 + j. Is k < x?
True
Let z = -1 - 25. Is -26 < z?
False
Suppose -21 = -v + 4*v. Let f be (-2)/v + 16/(-7). Let h = f + 0. Which is bigger: h or -2/3?
-2/3
Let j(o) = -o**2 - 13*o - 7. Let m be j(-9). Is m greater than or equal to -1?
True
Let a be (1 - 9/(-6)) + -3 + 1. Do 3 and a have the same value?
False
Suppose -46 + 86 = -x. Is x > -40?
False
Let k(y) be the second derivative of y**5/20 - y**4/12 + y**3/6 - y**2/2 - 5*y. Let i be k(1). Which is greater: i or -2/3?
i
Let j = 0.11 + -0.61. Let a = j - -0.3. Which is smaller: a or 0.2?
a
Let p = -2011/3632 + -2/227. Is p less than -2?
False
Let n be (-156)/104*(-1)/((-2)/4). Which is bigger: -0.2 or n?
-0.2
Suppose -2*z + 17 = -4*z - m, 5*m - 80 = 5*z. Are -10 and z non-equal?
True
Let f = 18 + -18. Let x = f + -1. Which is smaller: x or 0?
x
Let x = 18 - 13. Suppose 5*a + 20 = 4*m, -5*a + 0*m - m + x = 0. Suppose -h = 1 - a. Which is smaller: h or -1/9?
h
Suppose q = -0*q - 5, 19 = 2*y - q. Suppose -w + 4 = y. Let u be w/6 + (-9)/14. Which is bigger: -2 or u?
u
Let o = 70146/3985 + -2/797. Which is smaller: o or 18?
o
Let b(u) be the first derivative of -u**2/2 + 17*u + 4. Let q be b(16). Is q less than or equal to -2/11?
False
Suppose 10*h = 11*h. Is -5/12 less than h?
True
Let r = 13 + -79/6. Is r less than -1?
False
Let g be (6/(-20))/(12/(-15)). Let h = 14 + -13.4. Let u = -0.5 + h. Is u bigger than g?
False
Let g = -30 + 30.11. Is g at least as big as -1?
True
Suppose 3 + 1 = 4*q. Let d be ((-1)/(-2))/(q/2). Let v = 1 - d. Which is greater: v or -2/9?
v
Let h(y) = -2*y - 1. Suppose -5*u + 2*u + 24 = 0. Let m(a) = -5*a - 2. Let z(q) = u*h(q) - 3*m(q). Let k be z(-2). Is k <= 1?
True
Let a(l) = -l + 11. Let p(r) = -4*r - 2. Let f be (3 - 1) + 5/(-1). Let m be p(f). Let o be a(m). Is 1 < o?
False
Let q = -8 - -10. Let v be (-1)/(-1) - q - 3. Suppose 5*f + 14 = -o, 4*o + o = 4*f - 12. Is v at most o?
True
Let u = -0.1 + -0.1. Let d = -12 + 12.4. Let h = d + u. Is h less than 2/7?
True
Suppose f + 5 = -2*f + 2*g, -3*f + 3*g - 9 = 0. Is f smaller than -4/21?
False
Let i = -1.5 - -1.6. Suppose -2*f + 5*b = -35, -5*b + 4*b = -3*f + 20. Suppose -2*q = -4*w - w, -f*q + w = 0. Do i and q have different values?
True
Let j = -12 + -127. Which is smaller: -140 or j?
-140
Let i = 4 + -11. Which is bigger: i or 1?
1
Suppose -4*r + 11 = -5*g, -r + 6*g - 7*g = 4. Let k = 792 + -27717/35. Let v = k - 13/35. Is r equal to v?
False
Suppose 0*y + y + 2 = -s, 0 = -4*s + 4*y + 16. Let r be -3 - (-6)/s - -1. Suppose r*w = -4*t + 12, -t = 2*w - 4 - 3. Which is smaller: t or -3/2?
-3/2
Let s = -28.74 + 32.6. Let p = s - -0.14. Is 2/7 greater than or equal to p?
False
Suppose 0 = -4*l + 5*l. Let c be -1 - -8*(-32)/(-665). Let d = 2/133 + c. Is l less than d?
False
Let p = 7 - 4. Suppose -z = p*z. Is -1 equal to z?
False
Let o = 1/4 + 5/28. Let g(n) = -n + 3. Let u be g(2). Is o smaller than u?
True
Let k = -0.182 - -0.082. Is k smaller than 1/21?
True
Let a = 0.4 + 0.6. Let b = -13.7 + 16.62. Let i = 0.08 + b. Which is smaller: a or i?
a
Let p = -0.07 - -0.97. Let z = -1 + p. Is z smaller than 0.5?
True
Let o = -0.18 + -3.82. Which is smaller: -3 or o?
o
Let d = -571/4 + 10809/76. Which is bigger: d or -2?
d
Suppose -w + 4*w - 2 = -4*q, 3*w = q + 7. Suppose 0*d + w*d = -2. Let i = -477/5 - -95. Is d < i?
True
Suppose 3*s - 5*m - 4 = 0, 2*s - 3*m = s. Let b = -4 - -6. Suppose -s*v - 1 = -b*v. Is -1 less than or equal to v?
True
Let q = 7 - 4. Suppose q*l = z, 0*l + 3*l + 5*z = 0. Do 0 and l have different values?
False
Let c = -197 + 200. Is c equal to -1/11?
False
Suppose -8*b = -4*b - 20. Is 4 > b?
False
Let w(t) = -t**3 + 9*t**2 + 9*t + 14. Let b be w(10). Let v be b/6*9/2. Is v greater than 7/3?
True
Let j = -50 - -66. Is 17 > j?
True
Let k be (5 - -25)/(2/2). Which is greater: k or 0?
k
Suppose f + 3*f = 4. Let v(r) = -r + 2. Let l = -3 + 4. Let a be v(l). Is f at most a?
True
Let a = -5.59 + 0.54. Let l = 0.05 + a. Let u = 226 + -226. Is u smaller than l?
False
Let s be (-2 - -1)/((-3)/1026). Let i = s + -5132/15. Is -1 less than i?
True
Let m = 1216089/11 - 110739. Let c = -186 - m. Which is smaller: c or -1?
-1
Let z = -6 + 7. Let c be z/(-2)*-2 + 1. Is 3/4 > c?
False
Let n = -68 + 139/2. Is n not equal to 0.2?
True
Let x be 2 + (-24)/(-3) + (-7 - -4). Suppose 11 + 19 = 5*i. Which is smaller: i or x?
i
Let g = -12 + 5. Let q = -10 - g. Suppose -11 = 26*f + 15. Which is smaller: q or f?
q
Let j = -10 + 10. Which is smaller: 2 or j?
j
Let u be (40/50)/((-4)/50). Is -11 greater than u?
False
Let o be (-114)/14 - (-2)/14. Which is bigger: -9 or o?
o
Let w be 6*(-2 + ((-16)/(-6) - 2)). Is -10 != w?
True
Suppose 5*f - 365 = -0*f. Let k = f + -439/6. Let t be (1 - (-1)/(-2))*-2. Which is smaller: k or t?
t
Let a be 0/(-3 + -2 + 3). Suppose -q + 3 = o, a*q - 4*q - 16 = -3*o. Is 2 greater than q?
True
Let y = 9.3 - -0.7. Let j = 8 - y. Let w = 1 + -0.9. Which is bigger: w or j?
w
Suppose 37 = -3*c + 5*s, -2*s - s - 31 = 2*c. Let w be ((-12)/16 + 1)*c. Which is bigger: w or -5?
w
Let m be 2/(-3) + (-2)/(-6). Suppose -2*j + 12 = -0*x + 4*x, 0 = 5*j + 2*x - 14. Let o = j - 1. Which is bigger: o or m?
o
Let l(c) = 13*c + 3. Let m be l(-1). Let t be (-72)/m - 76/(-95). Which is greater: t or 9?
9
Let f be 96/22 - (2 - -2). Which is smaller: -0.2 or f?
-0.2
Let o be 0 + ((-21)/102)/(-7). Is 0 < o?
True
Let l = -3 - -3. Let b(m) = -m**2 + 8*m + 2. Let s be b(8). Suppose 0 = s*u - 6*u. Is u at most as big as l?
True
Suppose -g - 5 + 1 = 0. Suppose 5*w = w + 8. Let l = g + w. Is -3/2 at least l?
True
Let o = -1/22 + 85/418. Is 0 bigger than o?
False
Let c be (-8)/(-6)*24/16. Is c equal to 2?
True
Suppose 39 = 4*d + z, 3 = z + 8. Which is greater: 13 or d?
13
Let z(m) = -m + 22. Let w be z(10). Is w smaller than -1?
False
Let p be 1/8*(-44)/22. Which is smaller: p or 13?
p
Suppose -3*a + 3 = 5*t, 0 = t + 2*a - 3 + 1. Is t < -3/7?
False
Suppose x - 4*g = 10, 2*x - 5 = 5*g + 6. Let k = -2 - -2. Which is bigger: k or x?
k
Let s = -50 + 70. Is s < 19?
False
Let o(i) = i**3 + 7*i**2 + 7*i + 4. Let f be o(-6). Which is greater: -1 or f?
-1
Let q = -1.1 + 1. Let r = -5 + -2. Let a = r + 6. Is a less than q?
True
Let h be -2 - (-2)/((-1)/1). Let g be h*(1 - 23/22). Let y = -618/5 + 124. Which is bigger: y or g?
y
Let o be ((-44)/6)/(20/(-90)). Is 33 not equal to o?
False
Let n = -6.8 + -1.2. Which is greater: 2/5 or n?
2/5
Let t be -2 + (0 - -3 - (-40)/44). Which is greater: t or 3?
3
Let s(c) = c**3 + 3*c**2 + 2*c + 3. Let f be s(-2). Let o be -1 - f/((-6)/20). Which is smaller: o or 10?
o
Let a be 2/7 + (-144)/112. Is -9/11 < a?
False
Suppose -3*u + 5*d - 34 = -0*d, d = -4. Let i = u - -35/2. Which is greater: i or 0?
0
Let b = -0.4 - -0.43. Let a = -0.03 + b. Let k = a - -1. Is -0.02 < k?
True
Let a = -13/12 + 1/3. Is a equal to 1/6?
False
Suppose 4*o - 6*o + u = 13, 0 = o - 5*u - 7. Let l be (-9)/(-2)*o/(-96). Is 1 < l?
False
Let v = 7 + -22. Let q = v + -15. Let b be (-1)/2 - 11/q. Is b greater than 1?
False
Let z be 1/((-2)/6 + 0). Which is greater: -1 or z?
-1
Let x be 3/(2 + 18/(-20)). Let c = 311/110 - x. Let y = -3 + 4. Which is greater: c or y?
y
Let u(k) = 4*k - 6. Suppose 4*z - 8 = -2*o, -5*o = 21 - 1. Let t be u(z). Suppose 0*s - 5*s = t. Is s at most as big as -2?
True
Let c = 0.1 - 0.2. Let m = c + 0.3. Let 