. Let s be 34/(-145) + t/(-50). Which is bigger: -1 or s?
s
Suppose -m - a - 18 = -3*a, 4 = -2*m - 4*a. Which is greater: m or -11?
m
Let s = 11 - 6. Suppose s*t + 13 = -3*j - 18, 4*t + 18 = j. Suppose -16*d = -17*d. Which is bigger: j or d?
d
Let a = -1.1 - -1. Let t = 6 - 8. Let i be t/(-8)*2/(-3). Which is greater: a or i?
a
Suppose 10 + 0 = -5*v. Which is bigger: v or -1?
-1
Let p be 0 - ((-1)/(-6))/(8/(-24)). Which is smaller: 2.9 or p?
p
Suppose -4 - 3 = -g. Suppose -16*s - g = -17*s. Which is smaller: 0.1 or s?
0.1
Suppose 3 - 12 = -3*c. Suppose 3*n = 4*z - 9, -c*n = -3*z - 0*z + 9. Is z not equal to 3?
True
Let h be -1 + 1 - (-4 + 3). Let b be -2 + 1 + (-1 - -1). Which is bigger: b or h?
h
Let n(a) = a + 4. Let k be n(-8). Let h be (-5)/(-4) - (-1)/k. Let f be 18/28 + h/(-2). Is f > -1?
True
Let x = 6/5 + -7/10. Is x at least 0?
True
Suppose -2*i - 2*z + 4*z + 2 = 0, -2*z - 18 = 2*i. Let y be 1*-1*(i - -5). Let g be 0 - 2*y/10. Which is bigger: g or 0?
g
Let p = 2/65 - 77/390. Let q = -1/2 + p. Is q less than 7?
True
Let p be 1*-2*(-2 - 1). Suppose p*y - y = 20. Is y smaller than 4?
False
Let g = 6 + -3. Suppose -12 = -3*d - 4*z, -z = -5*d - 0*z - g. Is d smaller than 0?
False
Let v = -1013/7 + 145. Let q = 907/5 - 181. Is q not equal to v?
True
Let r = -12 + -3. Let w = 15.2 + r. Which is bigger: w or 0.5?
0.5
Let o = 0 - -6. Let n be (-32)/5 + o/(-10). Which is greater: -6 or n?
-6
Suppose -t - 3*b + 2 = -0*b, 5*t - 23 = -2*b. Let s(m) = m**3 - 6*m**2 + 5*m + 6. Let q be s(t). Let l be (-1 - 1) + 8/q. Does l = -0.2?
False
Let j be (-6)/(-9) - 69/36. Which is bigger: -1/4 or j?
-1/4
Suppose -4*u + 4*m + 12 = 0, 1 = -u - 5*m - 14. Suppose 2*a + 2*v - 1 + 3 = 0, -3*a + 5*v - 3 = u. Which is greater: 0 or a?
0
Let v(f) = -f**3 + 3*f**2 + 2*f - 3. Let y be v(3). Suppose -5*s + y*q = -0*s, 0 = 5*q - 25. Suppose -2*w = w + s. Which is bigger: w or -4/7?
-4/7
Let y be (6 + 0)*18/(-132). Which is greater: -2 or y?
y
Let z(m) = -m**3 + 3*m**2 + 4*m. Let h be z(4). Suppose 3*k - n = -2, 0 = -2*k - 4*n - h - 6. Which is bigger: -2 or k?
k
Let b be 1*(0 - (-1 - -1)). Suppose 3*n - 8 = 5*o, -3*n - 6*o + o - 2 = b. Is 2 less than n?
False
Let u(m) = -m**2 + 3*m + 5. Let h be u(4). Let s = -77 - -536/7. Does s = h?
False
Let a(h) = h - 4. Let k(x) = x**3 - 6*x**2 + 2*x + 4. Let t be k(6). Suppose -3*u = -4*m - 13, m - t = -5*u + 2*m. Let c be a(u). Is 5/2 equal to c?
False
Let w be (0 - (-3)/(-18))*14. Let c = 41/15 + w. Suppose -2*a - 6 = -2*n, -3*n + 5*n - 1 = -3*a. Is n greater than c?
True
Suppose -2*r - 9 = c - 3*r, -2*r = 4*c + 12. Let w be ((-2)/c)/(4/10). Is -2/9 greater than or equal to w?
False
Let f be 2/10 - (-27)/15. Let t = -1 + f. Let c = t - 0. Which is bigger: c or -1?
c
Let i = 8 + -13. Is i at most -0.2?
True
Let t be 18/(-5)*(3 + -8). Let i = t - 13. Suppose -9 = 2*m - i*m. Which is smaller: 4 or m?
m
Let c(a) = a**2 + 2*a - 3. Let u be c(-3). Let f = 0.2 - 0.1. Which is bigger: f or u?
f
Let v(r) be the first derivative of -r**2 - 1. Let q be v(2). Let n(t) = -t - 2. Let x be n(q). Is 0 less than x?
True
Let f = -0.059 + 5.059. Let u = -9880/3 - -3264. Let i = u + 30. Is i != f?
True
Let j(w) = w**2 - 5*w + 4. Let d be j(4). Let v be 2/9 - (-2009)/(-63). Let q = 31 + v. Is q >= d?
False
Let a be -2 - (1 + (-29)/9). Let k = -4 + 3. Let h be 2/(k + -3)*2. Is h at least as big as a?
False
Let h = -2/99 - 160/1881. Let f = 14 + -9. Suppose 0 = -3*s - 2*s - f. Is s != h?
True
Let y(t) = t - 3. Let k be y(7). Suppose -3*d = k + 5. Let s(j) = 9*j + 49. Let u be s(-6). Which is bigger: u or d?
d
Let t be ((-55)/(-8))/5 - 2. Suppose 0 = -2*u + 2 - 4. Is t not equal to u?
True
Let v(x) = 2 + 0*x - 1 - 3*x + 2*x. Let w be v(1). Is w not equal to -2/3?
True
Let f = -6 + 14. Suppose 4*y + 4*c = 8, -5*c + 17 = -f. Let q be 0*y/6*-2. Which is smaller: q or 2?
q
Let g = 59 - 55. Are g and 21/5 equal?
False
Let y(f) = -f**3 + 8*f**2 - 8*f - 1. Let x be y(6). Let c(v) = 3*v**2 - v + 1. Let s be c(2). Suppose -5*o = 2*a - 6*a - x, 3*o = a + s. Is a less than -1?
True
Let i(o) = 2*o - 8. Let j be i(8). Is 8 at most as big as j?
True
Let s(x) = 10 - x**2 + 2*x - 5 - 3*x. Let c be s(0). Suppose 15 = c*b - 3*o, -o = -3*b - 5*o + 38. Is 5 smaller than b?
True
Let b(x) = -3*x**2 + 11*x + 4. Let a be b(9). Let z be (-54)/a + 8/(-28). Let s be (1/(-2))/((-2)/(-4)). Is z greater than s?
True
Suppose v + 30 = 5*x + 4*v, 0 = -5*x - 2*v + 25. Suppose -5*h = c - 2, -5*h + 2*c - 3 - 1 = 0. Let u(j) = -j + 4. Let g be u(h). Which is smaller: g or x?
x
Let p = -1.02 + -9.98. Is p greater than -4?
False
Let a = -36 - -20. Let v be ((-12)/16)/((-162)/a). Is 1 smaller than v?
False
Let l = -4/55 + 37/55. Which is smaller: -3/5 or l?
-3/5
Let v be -1*43 + (2 - -1). Let m be v/(-18) + 8/(-36). Are 2/3 and m non-equal?
True
Let c(i) = -i**3 - 7*i**2 + 7*i + 4. Let t be c(-8). Suppose -4*v + 4 = 0, -2*m - 2*m + 4*v - t = 0. Which is bigger: m or -7/3?
m
Let y = -47/2 - -24. Are 9 and y equal?
False
Let a(x) = x - 10. Let k = 15 - 6. Let p be a(k). Let f be 1/(-2 - (p - -2)). Is f <= 2/13?
True
Let r = 65 - 58. Is 7 at least as big as r?
True
Let x = 26 + -26. Let f = -0.2 - -1.2. Let o = f - x. Are o and 3 nonequal?
True
Let n be (2/6)/(2/(-6)). Let x be n/4 + (-6)/40. Let w = -41 + 41. Is x > w?
False
Suppose n = -a - 2, -5*a + 0*n - 4*n = 8. Is -3 at least as big as a?
False
Let x be (0 + 0)*2/(-6). Suppose x = -4*j + 2 + 10, h + j = 7. Suppose -h*d + 9*d = 0. Is d <= -2?
False
Suppose -40 = -3*j - 4. Suppose c + 3*c = -j. Let m be 2 + c/(69/44). Is -1 not equal to m?
True
Let t = 2 - 1. Let y = -3 - t. Is y greater than -5?
True
Let n(u) = -u**2 + u - 2. Let v be n(0). Let y be 2 + (-2 - (v + 0)). Is y greater than or equal to 2?
True
Let l be -3*5/(30/8). Let y be 1/l*8/10. Which is smaller: y or -2/5?
-2/5
Suppose -5*k - 4 = 1. Is 2 <= k?
False
Suppose 2 = -2*w + 4*w. Do -6/13 and w have the same value?
False
Suppose -2*p + 3*v = -12 - 12, -5*p + 5*v + 50 = 0. Suppose 4*u = -2*k + 3*k - p, 3*u + 10 = -2*k. Is u greater than 0.1?
False
Let j = 2 + -3. Let n = -0.09 + -0.11. Is n greater than j?
True
Let g = 1.4 + -1.3. Is -2 != g?
True
Let x be ((-1066)/10)/(6/5). Let k = x + 89. Is 0 at least as big as k?
False
Let z be (74/(-4))/((-1)/12). Let w = z + -4664/21. Which is greater: w or 0.2?
0.2
Let h = -5.4 + 6.02. Let q = -61 - -61.6. Let l = q - h. Which is smaller: 1 or l?
l
Let v(m) = -m**3 - 4*m**2 + 6*m + 6. Let h be v(-5). Let a be h/(-2)*2 + -1. Which is smaller: a or -3/5?
a
Let s(f) = -f**2 - 8*f - 9. Suppose 2*v + 0 = 3*d - 3, d + 27 = -4*v. Let a be s(v). Let m(r) = r - 2. Let w be m(4). Which is smaller: a or w?
w
Let n = -0.3 + 0.1. Let b = -0.11 + 0.01. Is b less than n?
False
Let w(d) be the second derivative of d**4/12 - d**3/3 + 2*d**2 - 2*d. Let t be w(3). Let z = 9 - t. Is 2 greater than z?
False
Let n = 11 + 1. Let p = -14 + n. Is p < 2?
True
Suppose -5*h - 10 = x, -5*x + 2*x + 3*h = -6. Let z(k) = k**3 - 3*k**2 - 3*k - 4. Let i be z(4). Suppose i = 5*t - 0*t. Is x less than or equal to t?
True
Let v be (1/(-1))/(3/(-5)). Let p be (-12)/18*6/(-4). Is v smaller than p?
False
Let i = -0.024 - 0.077. Let b = i + 9.201. Let y = b - 9. Which is smaller: y or 0.3?
y
Let k(h) = -h**3 + 8*h**2 - 12*h - 1. Let n be k(6). Is -12/5 bigger than n?
False
Suppose 3 = 3*a - 0. Let p = 31 + -32. Which is greater: p or a?
a
Suppose 0 = 4*p - 5*p + 4. Suppose 0 = -4*i + p. Let n be (2 - -1)/(3/2). Is i less than or equal to n?
True
Let n = -5/86 - -417/4214. Do 1 and n have different values?
True
Let c(k) = k**2 + 5*k + 4. Let g be c(-3). Let t = 15.6 + -0.6. Let d = 14 - t. Do g and d have the same value?
False
Let o be 2/10*(-20)/8. Which is smaller: o or 2/27?
o
Let b(d) = d**3 - 7*d**2 + 7*d - 5. Let v be -2 + 22 - 1*2. Suppose -2*j = 6 - v. Let w be b(j). Which is smaller: 2 or w?
w
Suppose 4 = 5*f - 6. Suppose -t = f*t. Which is bigger: t or 0.4?
0.4
Suppose 2*c + 3*g - 22 = 0, 4*c - g - 22 = 2*c. Which is smaller: c or 9?
9
Let i = 43 + -43.1. Suppose -3*m = -m - 10. Is i at least m?
False
Let c be (-57012)/531 + 2 - -2. Let n = -310/3 - c. Is n >= -1?
True
Let q(p) = p**3 - 6*p**2 - p + 7. Let f be q(6). Let z be (1 - 0)/(f/2). Suppose 2 + 0 = -z*s. 