0. Let k = 0 + 1. Is k < x?
False
Suppose 4*m = 3*a - 1 + 18, 4*a = 4*m - 16. Suppose -10 = m*i - 0*i. Are i and -6/11 unequal?
True
Let n(y) = y**3 + 15*y**2 + 14*y - 1. Let i be n(-14). Is i at most as big as -6?
False
Suppose -4*c + 5 = 1. Let y = 16 + -30. Let q be ((-4)/42)/(y/21). Which is bigger: c or q?
c
Suppose 0 = l + 4*l + 5. Let u be (2 - (1 - 1))/(-1). Let i be (l - u)/(1 - 2). Is i smaller than -2/3?
True
Let n = 0.01 - -1.99. Suppose -13*u - 15 = 2*u. Is n bigger than u?
True
Suppose -144 = 2*j + 6*j. Do -17 and j have the same value?
False
Suppose 0*f = f + 2*g + 13, g = 3*f + 4. Let r be (-4)/(-6)*(3 - (-63)/(-6)). Which is smaller: f or r?
r
Suppose 4*v = 2*b + 8*v + 4, 0 = 4*b + 3*v - 2. Which is greater: 13/6 or b?
13/6
Let b be -1 + -1 - (-4)/1. Let f = 6 - b. Suppose 3*y + 10 = q, -f*q + 20 - 6 = y. Are 4 and q equal?
True
Let m(k) = -k**2 + 8*k - 9. Let o be m(6). Which is smaller: o or -0.1?
-0.1
Suppose 3*o = 9*o + 42. Are o and -7 non-equal?
False
Let m be (-1 + 5)/((-104)/20). Is m equal to -2?
False
Let c be (-6*(-6)/(-9))/(-2). Suppose c*q - 5*u = 15, 2*q + 3*u + 3 = -6. Let o(y) = y - 1. Let k be o(1). Is q greater than k?
False
Let x(y) = y - 8. Suppose -f - 2*k - 1 = -12, -3*f - 5*k = -30. Suppose 0*t = 3*j + t - 20, -f*j + 32 = 3*t. Let b be x(j). Which is bigger: -1/7 or b?
-1/7
Suppose -2*z = -3*f + 15, 5*f - 2*f - 15 = 0. Let j(t) = -t**3 + 2*t**2 + t - 2. Let p be j(2). Let x be (2 + -1 + z)*p. Is x at most as big as 1/3?
True
Let x = 63 + -59. Which is smaller: 36/7 or x?
x
Let u be 408/(-201) + (-2)/(-1). Is u equal to -1?
False
Let d = 17.28 - 0.28. Let s = 17.5 - d. Which is smaller: 0.3 or s?
0.3
Suppose -2 - 3 = -5*s. Let h = 0 - 6. Let q be (s/(-4))/1*h. Is q greater than or equal to 2?
False
Suppose 1 = -17*d + 16*d. Let v = 17 + -9. Suppose -4*n + 10 = -2*n - 5*a, 4*a = 5*n - v. Which is bigger: d or n?
n
Let v be ((-2)/(-2))/(9/18). Suppose g = -v*g + 3. Suppose 3 = 2*h - 1. Is g less than or equal to h?
True
Let s(a) = 6*a**3 + a**2 - a - 1. Let h be s(-1). Let g(c) = c**2 - 2*c - 4. Let x be g(3). Let d = x - 3. Is d at most h?
False
Suppose -6*p + 3*p - 4*k = 31, p + 2 = -3*k. Which is bigger: -16 or p?
-16
Suppose -4*m - 4 = 3*c - 6, -2*c = -4*m - 8. Let p be m - 0 - (-598)/444. Let n = -1/74 + p. Which is smaller: 1 or n?
n
Let c = 0.24 + -0.07. Let v = c - -14.83. Is v > -1?
True
Let p = -127.2 - -134.07. Let l = 0.13 + p. Is l >= 0?
True
Let r = 23 - 21. Is 5/8 at most as big as r?
True
Let f be (-3 - 206/6) + -3. Let j = 41 + f. Is 10 < j?
False
Let x(a) = -2*a**3 - a**2 - 2. Suppose -2*u - 8 = 2*u. Let s be x(u). Let f be (-172)/(-80) - 4/s. Which is smaller: -1 or f?
-1
Let t be (1*3)/((-15)/(-10)). Suppose 2*k + 9 = -r, -1 = k + 2*r + t. Which is smaller: k or -4?
k
Suppose 0 = -2*a - 0 + 2. Let k be ((a/6)/1)/1. Which is smaller: k or -1?
-1
Let z = -4 - -4. Let y be 4/(56/(-6)) + z. Is -1/2 at least y?
False
Suppose -1 = -x - 4*u, 2*x + 2*x + 3*u + 22 = 0. Which is smaller: 1 or x?
x
Let h = 0.034 - 0.084. Which is smaller: -1/6 or h?
-1/6
Suppose 0 = -0*u - 2*u - 20. Let r = 28/3 + u. Which is smaller: r or -0.1?
r
Let p = 0.097 - -0.203. Let x = 0 - -3. Which is smaller: p or x?
p
Let w = 8 + -3. Let j = w - 5. Let c = 5.99 + 0.01. Are j and c equal?
False
Let d be (-1)/(-28) - 2/(-8). Let i = -11 + 20. Suppose x - 6*x - i = 2*q, -q - 2 = 0. Which is smaller: x or d?
x
Suppose -3 + 9 = 3*h + 3*o, 4*o - 20 = 2*h. Let l = -0.098 - -3.128. Let j = l - 0.03. Is h smaller than j?
True
Let y = 4 + -6. Let o be -1*(y + 1 + 1). Suppose 0 = f - 3*h + 1 + 10, 3*f + 5*h = 23. Which is greater: o or f?
f
Let o = 10 + -7. Let f = -3.31 - -0.41. Let m = o + f. Which is bigger: 2/7 or m?
2/7
Let x = -1 - -11. Is 10 bigger than x?
False
Let d = 1 - 1. Suppose d = 3*p - 7*p. Let r be (p/(-1 + 2))/1. Is -2 less than r?
True
Let v = 18 - 16. Which is smaller: 6/11 or v?
6/11
Let w be 0/(1 + -1 + -1). Which is bigger: 1/74 or w?
1/74
Let a = -0.7 + -0.3. Let h = 0.3 + 0.7. Let g = h - 0.9. Which is smaller: g or a?
a
Let y = 68 + -75. Which is bigger: -2 or y?
-2
Let j be (38/10 - 1) + -2. Suppose 5*i = 3*a - 12, -2*a + 8 = 2*i - i. Let k = -1 - i. Is k at least as big as j?
False
Let l = 6.53 + -0.33. Let v = 6 - l. Is v greater than -1/3?
True
Suppose 0 = 5*v + v + 6. Is 31 less than v?
False
Suppose 2*b + 3 = -2*t - t, b = t + 11. Which is smaller: -5/2 or b?
-5/2
Let a be (1/(-2))/((-1)/(-2)). Let y be 6/4 - a/(-6). Is y at least as big as 1?
True
Let a(s) = 7*s + 1. Let c be a(-1). Let u be ((-8)/c)/((-18)/27). Let f = 6 + -9. Is u smaller than f?
False
Let q = 3.014 - 0.014. Which is smaller: 0.13 or q?
0.13
Let r(d) = 15*d - 9*d - 2 - 4*d. Let y be r(1). Is -1/20 bigger than y?
False
Let r be (2 + -2)/((-2)/(-1)). Let p be -3 + 1 + r/(-1). Suppose -19*w + 10 = -x - 15*w, 0 = -2*x + 3*w - 10. Is p not equal to x?
False
Let n = 5 + -7. Let h be (-2)/(-10*(-1)/n). Which is smaller: 1 or h?
h
Let l = 1/6 + -2/3. Let s = -57 + 55. Which is smaller: l or s?
s
Let l be 15/3*-1 - 0. Is l >= 1/5?
False
Suppose 0 = -0*t + 2*t - 8. Suppose -t*s + 2*c + 8 = 0, -s - c - 2*c = 12. Let n = -1 + 0. Is n greater than or equal to s?
False
Suppose 5 - 3 = -c. Let n be (3/(6/4))/(56/(-42)). Which is bigger: n or c?
n
Let f = 8 + -10. Is -2 equal to f?
True
Let x = 85 - 85. Which is greater: x or 0.012?
0.012
Let l be (11 - -3)*-1*-3. Which is smaller: l or 44?
l
Suppose -3*m - 16 = -o - 90, 0 = 3*m + 2*o - 77. Suppose -m = -6*s + 5. Does s = 5?
True
Let u = 0.039 + 4.961. Is 0.1 <= u?
True
Let k = 4 - -1. Suppose 0 = -4*h + d - 13, 3*d - 12 = h + k. Let s be ((-76)/57)/((-2)/(-3)). Is s bigger than h?
False
Let b be 40/(-3) + (-3)/(-1). Let u = -11 - b. Is 0 > u?
True
Let m(i) = 2*i. Let y be m(0). Do y and -1/5 have the same value?
False
Let v = -77.4 - -5.4. Which is bigger: v or -1/2?
-1/2
Let x = -5 + 4. Let j = -31 - -32.7. Let o = j + -1. Which is greater: x or o?
o
Suppose 3*z - 4*r = -18, -r + 30 = -5*z + r. Let c be 2*2/(8/z). Let g(a) = -a**2 - 2*a + 3. Let o be g(c). Which is smaller: 1 or o?
o
Let p(h) = -h - 5. Let v be p(-7). Suppose -g + v*g - 1 = 0. Let m = -4 + 3. Is m smaller than g?
True
Suppose y = u + 6, -2*y + 0 = u - 24. Suppose -5*j + 30 = y. Suppose -8 = -0*r - j*r. Is r bigger than 2?
False
Let r = 349/30 + -34/3. Are 1 and r equal?
False
Suppose -4*k - c - 1 = -4, -3*c = 3*k + 9. Suppose k*o + 10 = -0*o. Are o and -5 nonequal?
False
Let x be (7/(77/2))/(-2). Does x = 0?
False
Let y(t) = -t**3 - 7*t**2 - 7*t - 3. Let o be y(-6). Suppose 4*n + o = -5. Is n less than -2?
False
Let g(k) = -k**3 - k**2 - k - 2. Let x be g(-2). Suppose -p + 4*p + 5 = -2*w, x*p + 20 = 4*w. Suppose -c + 3 = -w*c. Is -2 equal to c?
False
Suppose -p - 6 = -10. Let v be 15 + (-2)/(-1) + -1. Suppose p*u - 3*w = -v, 13 = -u - 0*w + 3*w. Is -1 not equal to u?
False
Let t = -30 - -42. Which is smaller: 9 or t?
9
Let l = 328 - 322.99. Let f = l + -0.01. Let w = f - 5.1. Which is smaller: w or 3/4?
w
Suppose -8*d = -14*d - 24. Suppose 3*c = -4*i + 5, i = c - 2*i + 20. Is d greater than c?
True
Let a = -9 - -10. Do a and 6/5 have the same value?
False
Let l(g) = g**2 + 12*g + 18. Let t be l(-7). Suppose 4*p + 2*o = -3*o - 58, -3*o + 74 = -4*p. Is p bigger than t?
False
Let w(j) = -j**3 - 4*j**2 - 2*j - 6. Let c be w(-4). Suppose 3*r + c = 2*r. Which is smaller: r or -2/3?
r
Let k = 19.953 + 0.047. Let g = k + -21.1. Let m = g - -1. Which is smaller: -4 or m?
-4
Let n(z) = z**2 - 5*z + 3. Let u be n(8). Suppose -5*p = -4*c - u, c - 5*c - 20 = -4*p. Is p at least as big as 7?
True
Let d = 4/7 + -41/35. Is d > -14?
True
Let w be (-50)/(-30) - (-1 - 3). Do 5 and w have the same value?
False
Let l = 372 - 1847/5. Suppose 2*o - 10 + 2 = 0. Is o < l?
False
Suppose -4*z - 1 = -3*z. Let a = -185/1428 + 1/84. Is a less than or equal to z?
False
Let r(d) = 23*d**3 + d**2 + d - 2. Let g be r(1). Is 23 >= g?
True
Let i(g) = -g. Let z(a) = a**2 + a. Let d(p) = -3*i(p) - 2*z(p). Let f be d(2). Is f smaller than -5?
True
Suppose -5*i - 1 = c + 4, -25 = 5*c - i. Let g = c + 5. Let b be (-15)/(-6)*(-16)/(-140). Is b >= g?
True
Let x(w) = -w**2 + 7*w + 1. Let y be x(3). Let g be 96/7 + 4/14. Is g != y?
True
Let a = -467/12 - -39. Is a 