. Suppose 3*a - a - 12 = y. Let l be (-2)/(16/a)*4. Do -2 and l have the same value?
False
Let s be (7/2 - 3)*6. Suppose 6*r + q = s*r, 0 = -2*r - 3*q. Which is smaller: r or -3?
-3
Let t(p) = -p**3 + 6*p**2 + 7*p + 9. Let a be t(7). Suppose 0 = -2*x + 3*m - 7, -4*x + a = m + 2. Which is bigger: x or 0?
x
Let r = 810 - 8904/11. Suppose -3*c - 4*n + 6 = 2*c, 3*c + 3*n = 3. Which is greater: r or c?
c
Let s be (-27)/21 + (-6)/(-21). Let z = -6 + 9. Suppose v - 5*b + 16 = 0, -2*v - b - 8 = -z*b. Is s less than v?
False
Let k(i) = i - 5. Let h be k(6). Let b be (1*(0 + (-1)/2))/(-8). Is b less than h?
True
Let j = 5.885 + 0.135. Let i = j - 6. Let s = i - -1.98. Is s >= 2?
True
Let f(p) = 12*p**2 - p - 2. Let k be f(-2). Let s be (k/(-11))/((-51)/(-20)). Let v = s - -26/17. Is v bigger than 0?
False
Let z = -11 + 5. Let w be (z/15)/((-1)/(-5)). Is w at most as big as -1/2?
True
Suppose -5*j + 5*z = 205 - 5, 3*z + 184 = -5*j. Let d be ((-5)/230)/((-2)/j). Let i = 2/23 - d. Which is smaller: i or 2?
i
Let x be -1 - (-2 - 84/(-190)). Let l = -3/19 + x. Is l not equal to 0.2?
True
Suppose -4*x = -4*n, 2*n = -2*x + n + 3. Suppose -4*f = -35 - 1. Let r(u) = u - 7. Let i be r(f). Do x and i have different values?
True
Let m be (-10)/(-6) - (-4)/(-6). Suppose -4*r - r + 15 = 0. Is r greater than or equal to m?
True
Let b be 2/(-9) - (-4708)/(-198). Is -23 less than b?
False
Let i(g) = g**2 - g + 3. Let t be i(2). Is -0.2 greater than t?
False
Let r be 6/(-4)*(-16)/(-56). Is 0.2 greater than or equal to r?
True
Suppose -3*x - 2*x = 4*x. Which is bigger: 7/9 or x?
7/9
Suppose 2*q + 7*k = 2*k + 5, 3*q - 3 = -3*k. Suppose 5*s - 3*s + 4*a = 24, -5*a + 51 = 4*s. Let n = s - 156/11. Is q equal to n?
False
Let w = 132/5 + -26. Suppose -6*a + 10 = -a. Which is greater: w or a?
a
Let h be 6/8*(-3)/9. Let y be (-4)/2 + 1 - -2. Is y at most h?
False
Suppose 6 = -5*b - 9. Suppose -3*r = -12, o + 12 = -3*o - r. Is b bigger than o?
True
Let m be (1 - 0) + 1/(-1). Let i = -119/726 + -1/363. Is m less than or equal to i?
False
Let d be -4 - (-2511)/21 - 3/(-7). Which is bigger: d or 117?
117
Let t(l) = l**2 + l - 1. Let j be t(-3). Let i = 1 - j. Let y be (-16)/i*1/4. Which is smaller: 1/4 or y?
1/4
Let r = 0.64 + -20.74. Let a = 20 + r. Let d be 2/9 + 8/(-9). Is a equal to d?
False
Suppose -4 = k + f - 0*f, 4*f = 5*k + 38. Suppose 7*h - 8*h = -6. Let w be 2/k + 7/h. Is w < 1?
True
Let t be (-1)/(-4) - 42/(-56). Let o = 1.1 + -0.1. Is o not equal to t?
False
Let y = -267 - -1328/5. Let g = 3 - 4. Which is smaller: y or g?
y
Let t = -0.327 - -0.027. Which is smaller: 0.7 or t?
t
Suppose -2*b - 4*u - 2 = 4, 3*u - 3 = 0. Let l = -4 - b. Which is smaller: 2/9 or l?
2/9
Let a(w) = w**3 - 4*w**2 - w + 1. Let g be a(3). Let z be 9/(-11) + 2/g. Which is smaller: -2 or z?
-2
Suppose 0 = -2*c - c. Let m be 2/(-7) - (-8)/28. Suppose 8*r - 3*r + 10 = m. Which is smaller: r or c?
r
Let a(p) = -p - 13. Let x be a(-11). Which is smaller: x or -3/5?
x
Suppose -2*y - 3*v - 7 - 6 = 0, 2*v = 3*y - 13. Suppose 6 = 4*a - 7*a. Let l = -2 - a. Is y greater than l?
True
Let b be (-15)/60 + (-25)/(-4). Let y = -4 + b. Which is greater: y or 11?
11
Let p be (8/(-32))/(1/(-12)). Which is smaller: p or 4?
p
Let c = 25 - 9. Let v = c - 6. Which is smaller: 17/2 or v?
17/2
Suppose -17 + 7 = -5*w. Suppose 2*v + 18 = -2. Let c be v/(-8) + w/(-2). Which is smaller: 0.1 or c?
0.1
Suppose 3*h + 7 = -77. Let d = -18 - h. Suppose -25 = 5*x - 4*o, 0*o = -2*x - o - d. Is x smaller than -4?
True
Let u = -0.823 + 0.923. Suppose 37 = -2*d + s + 3, -2*s - 76 = 5*d. Which is bigger: d or u?
u
Suppose -7*x + 2*x = -3*h - 23, 4*x - 12 = -4*h. Let l = h + 1. Let c = l - -1. Which is greater: 1/2 or c?
c
Suppose -3*h - 29 = -4*z, -5*z + 5*h - 3*h = -31. Suppose -z*r = -18 - 7. Suppose -f + w = -3, 0 = 4*w - 2*w. Is f != r?
True
Let p be 3/(-3 - -4) - 16. Is -12 greater than p?
True
Suppose -3*i - 7*r = -4*r, 20 = 5*i - 5*r. Let t be 4/(-12) - i/(-6). Is 0 at most t?
True
Let l = 188 + -184. Let n(m) = 2*m**2 + m. Let d be n(1). Suppose 5 = d*q - 13. Are l and q non-equal?
True
Let v(j) = j - 14. Let p be v(13). Let k = p - -3. Is k != 2?
False
Suppose y + r = 3*y + 4, 0 = 5*y - r + 7. Let c(o) = -o**2 + 7*o + 9. Let d be c(8). Let x = -3 + d. Which is bigger: y or x?
y
Suppose -8 = t + 5*d, 5*t - 4*d - 80 + 4 = 0. Let j(c) = c**2 - 12*c - 4. Let g be j(t). Which is bigger: g or -2?
-2
Suppose -2*p = -3*u + 2, 6 = 2*p - 4. Is 7 smaller than u?
False
Let a = -3.2 - -3. Let q = -0.8 + a. Let g = -13 - -12.9. Which is bigger: g or q?
g
Suppose b = -0*b - 3*n - 16, 0 = 5*b - 2*n + 12. Suppose 0*c + 2*c + 4*j + 16 = 0, -c - j = 6. Do c and b have different values?
False
Suppose -f + 4 = -3*c - 17, -3*c - 9 = 0. Are f and 2 non-equal?
True
Let d be 0 - ((-3)/(-234))/(1/8). Which is smaller: d or 1?
d
Let j(g) = -11*g - 69. Let t be j(-6). Do t and -1/4 have the same value?
False
Suppose a - y - 4 = 0, y - 20 = -3*a + 6*y. Suppose a = 4*z + 5*v - 10*v, 3*z = v. Is z smaller than 0?
False
Let v(u) = -u**3 + 9*u**2 + u - 7. Suppose -l = h - 10 + 2, 4*l + 31 = 3*h. Let f be v(h). Is f less than 4/3?
False
Let f(b) be the third derivative of -b**6/120 - b**5/12 + 5*b**4/24 - 4*b**3/3 + b**2. Let r be f(-6). Let t be (-1)/4 - (-3)/(-4). Is r smaller than t?
True
Let b = -111 + 108. Let p = 0 + 0. Let n = p - 1. Which is smaller: b or n?
b
Let r = 1.08 + -0.16. Let c = -0.08 - r. Is c != -3/7?
True
Let a = -110/3 - -37. Is 12 at most as big as a?
False
Let r = -184 - -2945/16. Let u = r - -29/48. Suppose -m - 2*v + 2 = -6, -3 = -v. Which is greater: m or u?
m
Let i(l) = -l**2 - 4*l + 7. Let q(j) = j**2 + 3*j - 6. Let w(h) = 4*i(h) + 5*q(h). Let x be w(3). Is x >= 4?
True
Let n(w) = -3*w + 10. Let f be n(3). Is 2/55 greater than f?
False
Suppose -3*j = 4*b - 2*j + 2, 5*b - 2*j = 4. Let d = -63 + 193/3. Which is greater: d or b?
d
Let d be (18/(-288))/((-1)/(-66)). Which is smaller: d or -4?
d
Let p = 2 + 30. Suppose 0 = 8*h - 4*h + p. Which is smaller: -9 or h?
-9
Let a = -12 + 11.9. Is 21 at most a?
False
Let s(c) = -2*c + 4*c - 2 + 4. Let v be s(-2). Which is bigger: v or -1/2?
-1/2
Suppose 3 - 7 = -4*r. Suppose -4*n + 4*u = -28, u + 6 - r = 0. Are n and 1 equal?
False
Suppose 0 = 2*u - 3*u. Let c be -4 + 6 + u + -2. Which is greater: -1/8 or c?
c
Let p(b) = b**3 - b. Let n be p(-1). Let s be (-1)/(0 + -1) + 0. Let q = n - s. Do q and -2/11 have different values?
True
Let y = 1.4 - -0.6. Let t be (4*6/20)/(-1 + 4). Which is smaller: y or t?
t
Suppose -2*g = -0*g + 5*x - 13, 3*x - 11 = -2*g. Suppose -25 = -9*n + g*n. Which is bigger: n or 3?
n
Let o = -22 + 25. Suppose u = -3*z + 1, u - 3*z = 2 + 5. Are o and u equal?
False
Let a be (-2)/16 + 15*10/(-720). Which is greater: a or 11?
11
Suppose 4*d - 9*d - 5 = 0. Is -3/7 greater than or equal to d?
True
Let n(i) = -3*i**2 - 10 + 2*i**2 - 8*i + 17. Let j be n(-9). Which is smaller: j or -7/3?
-7/3
Let v be 132 + 2*(-1)/2. Let a be 0 - (v/130 + -1). Let i = a - 51/130. Is i < -1?
False
Let r(f) = -2*f**2 + f**2 - f**2 + f + 5*f**2 - 2. Let i be r(-2). Let c be (-11)/(-132)*i/(-3). Is -1 > c?
False
Let t be (2/(-4))/((-6)/(-4)). Let c = -5/9 - t. Which is smaller: c or 1?
c
Let c = 0.08 - -0.02. Let i = c + -0.2. Which is smaller: i or -9?
-9
Let i = 10/199 - 909/14129. Which is smaller: -1 or i?
-1
Let o = 0.12 - -8.88. Let h = o - 10.2. Let x = 1 + h. Which is smaller: 1 or x?
x
Let p = -15.2 - -15. Is p at least -1/4?
True
Let b = 3.9 + 33.1. Which is smaller: 1 or b?
1
Let i = 0.63 - 8.63. Which is greater: i or 4?
4
Suppose -3*h = -15, 0 = m + 3*h - 0*h - 8. Are -7 and m unequal?
False
Let i = 3 + -2.7. Let p = i + -0.34. Let w = p + -0.16. Is 2 >= w?
True
Suppose -10 = 2*a - 42. Let l = -27 + a. Let b be (-2)/(-8) + l/(-20). Which is smaller: b or 0?
0
Let h be 1/1 + 1 - -2. Suppose 5*u = -10, -h*c - 5*u - 22 = -2*u. Suppose 4*f + 12 = -0. Is f != c?
True
Let w(h) = -h**3 - 5*h**2 - 4*h - 4. Let f be w(-4). Let n be 1/(-2 + 3) + -4. Let b = n - f. Is 2/3 at least as big as b?
False
Suppose 7 = 3*f - 2. Suppose 3 = 2*j - 3. Suppose k = j*k - 6. Is k >= f?
True
Let x be ((-12)/(-9))/4*3. Let d be (2/8)/(2/83). Let c = 10 - d. Which is smaller: c or x?
c
Let m(w) = -2*w + 2. Let