 w = -0.1 - 0.6. Let t = -0.8 - w. Which is greater: 2 or t?
2
Suppose -4*b - b + 15 = 0. Suppose 0 = -4*r - 1 - 7, -r - 7 = -p. Are p and b non-equal?
True
Let y = -184/21 - -53/6. Which is smaller: 1 or y?
y
Let i = -25 + 25. Suppose i = -b - 3*b. Which is greater: b or 2/3?
2/3
Let s be 0/((3 - 4)*-1). Is 0 greater than or equal to s?
True
Let u = 39.3 - 37. Let g = u + -2. Let k = g + -0.1. Is -2 < k?
True
Suppose -a - 13 = 5*x, 2*x - 2 = 2*a - 0. Which is smaller: -2 or a?
a
Let s be -4 - 3/(-2)*2. Which is smaller: -2/11 or s?
s
Suppose 0 = -2*r + 2 + 8, 4*y = 3*r - 11. Which is greater: 1/6 or y?
y
Let c = 4.93 + 0.07. Let a = 28.6 - 24. Let r = a - c. Which is smaller: 2/7 or r?
r
Let h = 4 - 2. Suppose 3*v - 17 = -5*f + 47, -h*v - 2*f = -36. Let y = -38/3 + v. Which is bigger: y or -1?
y
Suppose 0*l = -6*l - 6. Which is greater: l or 1?
1
Suppose -3*b + 4*v + 37 = -0*b, -5*b = 3*v - 81. Let o = b + -10. Let f be 3/o*6/9. Is f less than or equal to 0?
False
Let t = -2.3 - -2.7. Which is smaller: t or 1?
t
Suppose -5*l + 2*l = 21. Let t = 11 + l. Suppose -t*q - p + 15 = 0, 0 = -q - 0*q - p + 6. Is q smaller than 3/2?
False
Let n = -146/45 + 14/5. Let q = 0.17 + 1.23. Let c = q - 0.4. Is c != n?
True
Let w be (-1 - 1) + (-21 - 3). Let c be (-8)/(-28) - w/(-42). Which is greater: 1 or c?
1
Let l = 0.73 + -0.83. Does -49 = l?
False
Suppose -10*w - 4*f = -11*w + 2, 0 = -5*w - 3*f + 33. Is 6 < w?
False
Let k = -1/64 - -161/64. Suppose 25 = 5*p, -3*f + 2*p + 2 = -0*f. Is f less than or equal to k?
False
Let r be 6*(-5)/(-90)*9/(-4). Let p(x) = x**3 - x**2 + x - 1. Let k be p(1). Which is bigger: r or k?
k
Let r be (-112)/(-32) - 2/(-4). Which is smaller: r or -0.2?
-0.2
Let m(b) = -b**2 - 2*b + 3. Let v be m(6). Let g be (-96)/v + (-1 - 1). Let j = 1 - 2. Which is smaller: j or g?
j
Let t be (-34)/30 + (-4)/(-12). Let h = t + 3/10. Which is bigger: -2 or h?
h
Let b = -3 - -4. Let j be -3*110/(-114) + -3. Which is bigger: b or j?
b
Let w(g) = g**3 + 7*g**2 + 5*g - 7. Let o be w(-6). Let d be o/2*(-2)/4. Is d >= 1/4?
True
Let u = 9.8 + -10. Is u < 4?
True
Let o = 470/13 + -36. Which is bigger: o or 1?
1
Let j = -2.98 + -0.02. Are j and -2 nonequal?
True
Let j be 43/15 - 8/40. Which is smaller: j or 4?
j
Let t(j) = -j**3 + 10*j**2 + 8*j + 34. Let p be t(11). Is -2/97 bigger than p?
False
Let m be 2*3*(-2)/(-12). Let d(q) = -q + 6. Suppose 0 = -5*s + 4*g + 50, -5*s + 2*s - 5*g = 7. Let h be d(s). Is m greater than or equal to h?
True
Let x be 4 + 0 + (2 - (-48)/(-8)). Do -1/39 and x have different values?
True
Suppose -2*a + 4 = -5*p, 5*a + 25 = -p - 4*p. Let i be p/36*6/(-4). Let k(x) = -x**3 + 6*x**2 - x + 7. Let v be k(6). Which is greater: i or v?
v
Suppose 0 = -4*m + m + 2*u - 461, 0 = -5*m - 5*u - 785. Is -156 <= m?
True
Let n be (-1)/6*2 + -3. Let k(o) = o**3 + o**2 + 2*o - 2. Let f be k(0). Is f at least n?
True
Let a = 7 + -5. Let l = 3 + -2. Suppose s - l = -a. Which is bigger: -0.4 or s?
-0.4
Let t(j) = 4*j + 4*j - j**3 - 2 + 2*j**2 - 3*j. Let d be t(3). Which is smaller: d or 5?
d
Suppose n = -4*d + 1 + 1, 4*n - 5*d - 8 = 0. Is n >= 3?
False
Let y = -10 - -1. Which is bigger: -2 or y?
-2
Let p(c) = c**2 - 22*c - 1. Let m be p(19). Is m <= -57?
True
Suppose -3*p - 6356 = a, -2*p = a + a + 4236. Let y be (4 - 2) + p/924. Let n = y + 1/132. Is n bigger than -0.1?
False
Suppose 5*l = 5*b + 5, 2*b - 3*l = l - 2. Let f be b + 6 + 0 + -2. Suppose -f*v = -4*k + 27, 0*v + 12 = -k - 3*v. Which is smaller: k or 3/2?
3/2
Let u be 2 + (8 - -1) + -2. Let b = -16 + u. Which is smaller: -6 or b?
b
Let s = 0.079 - -0.291. Let p = s - 0.4. Let k = -1.03 - p. Which is smaller: k or 0.5?
k
Let k = 1/1006 - -237/14587. Is -1 < k?
True
Suppose 7*p = -73 - 32. Do p and -15 have the same value?
True
Let c = -382/3 + 123. Is -3 at most as big as c?
False
Suppose -3*x - 15 + 2 = -b, 0 = -4*b + 4*x + 44. Which is bigger: b or 3?
b
Let n = 3 + -2. Let t = 0.19 - 0.49. Which is smaller: t or n?
t
Suppose 16 = p + 3*p. Let c = -15 - -21. Which is greater: c or p?
c
Let d be ((-136)/(-12))/(2/3). Let y = d - 17. Is y < -2/11?
False
Let u be 0 - -2 - 57/27. Which is greater: u or -2/5?
u
Let z = -779/10 + 78. Let l(p) = p**3 + 11*p**2 - 11*p + 12. Let n be l(-12). Suppose 5*q - 4*t + t = 11, -4*q - 3*t - 2 = n. Is z bigger than q?
False
Let d(p) = p**3 + 2*p**2 - p - 1. Let t be d(-1). Let o be 0/(-4)*(0 + t). Let y be 3/(-2) - (-10)/4. Which is smaller: o or y?
o
Suppose 0 = 3*p + 1 - 10. Suppose -p*s = 2*s. Is -2/27 greater than s?
False
Let z = -983/78 - -33/26. Let q = z + 12. Let v = 0 - 0. Is q less than v?
False
Let o = -7 + 15/2. Suppose 4*k = -q + 10, 2*q + 5*k - 18 = -2*q. Is o > q?
False
Let z(c) = c**3 + 15*c**2 + 9. Let s be z(-15). Is 10 at least s?
True
Let a(r) = -r**3 + 4*r**2 + 2*r - 1. Let d be a(4). Suppose -n + 5*w - 3*w + d = 0, 0 = 3*n - w - 1. Which is smaller: n or 3/19?
n
Let q = -28.9 - -32. Let m = 0.8 + 2.2. Let u = m - q. Is 1/4 smaller than u?
False
Suppose -6 = -2*n, 9*m + 3*n - 174 = 4*m. Is m greater than or equal to 34?
False
Suppose 0 = -5*d + g + 17, 4*g - 4 = -0*d + 2*d. Let c be 356/22 + (-10)/55. Suppose -2*j - 2*j = -c. Does j = d?
True
Let b be 30/(-34) - (-6)/(-51). Are b and -3/58 nonequal?
True
Let h = -11 - -39. Let s be (-2)/10 + h/(-35). Which is smaller: 0 or s?
s
Suppose 0 = 2*u + 5*n - 36, 4*u = -n + 25 + 83. Are u and 28 unequal?
False
Suppose -5*d = 4*q + 24, 3 + 9 = -3*d. Let g(t) = t**3 + 3*t**2 - 5*t - 4. Let k be ((-1)/1)/(2/8). Let s be g(k). Which is smaller: s or q?
q
Let z be ((-1)/(-6))/((-6)/(-8)). Let k(p) = -p**3 + p + 1. Let o = -4 + 3. Let m be k(o). Which is bigger: m or z?
m
Let k = 37 - 21. Suppose 2*u + 4 = k. Is 0 > u?
False
Suppose 2*w = 4*w. Let r(v) = -v**3 + 6*v**2 - 8*v + 7. Let i be r(5). Let o = i - -8. Do w and o have the same value?
True
Let a(y) = 3*y - 5. Let v be a(7). Are 15 and v equal?
False
Let j = 7 + -19. Which is bigger: -5 or j?
-5
Let t be 1/(2/(-18)*-1). Let x = t + -5. Suppose -7 = -x*n - 3. Which is bigger: n or 2?
2
Let c be (1 + -2)/((-3)/(-6)). Is c > -7/3?
True
Let j(r) = -r**2 - 11*r - 30. Let k be j(-7). Is k at most as big as -5/9?
True
Let f be 2/(4/(-15)) - (0 + -1). Is -1/2 < f?
False
Let g = 5.11 - 5.01. Let v = 0.2 - -0.3. Is v > g?
True
Suppose 0 = -3*o - 2*o + 10. Let h be (4 + o)*2/138. Which is smaller: 0 or h?
0
Let b = -3 - -3. Let r = 2641 - 409357/155. Let w = -7/62 - r. Does b = w?
False
Let u = -6 + 6.3. Let o = u + -0.4. Let c = 0 - o. Which is greater: -0.2 or c?
c
Let c(r) = -18*r. Let l be c(2). Suppose 8 = -2*u + 4*y, -3*y + 35 = -5*u - 8*y. Let k be u/(-8) + 43/l. Is k at most -1?
False
Let i be (-4 + 3 + 2)*0. Does i = -4/17?
False
Let i(a) = a**2 + 4*a + 4. Let v be i(-4). Suppose h + 13 = -2*t + 7*t, 2*t = -3*h + 12. Suppose 2*f - v*f = -h. Which is greater: f or 1/4?
f
Let t = 68 + -339/5. Is t at most -1?
False
Let c be (-2 + 2/2)*78. Let q = c - -389/5. Which is greater: 1 or q?
1
Let t(g) be the second derivative of g**4/6 + 2*g**3/3 - 4*g**2 - 4*g. Let k be t(-4). Is 6 at least as big as k?
False
Suppose 5*v - 4*q = -11, 0 = 3*v + 3*q - 8*q + 4. Is -3 at most v?
True
Suppose -m = -1 + 3. Let v = -2 - m. Let b = 1/27 - 59/135. Which is smaller: b or v?
b
Let h = 28 + -48. Let z be ((-468)/75)/((-2)/h). Let b = -62 - z. Is b at most as big as 2/7?
False
Suppose 4*a - 6*a - 2 = 0. Let z be -1*a/2*2. Suppose 4*b = z + 3. Is b less than or equal to -2/9?
False
Suppose 4 - 1 = x. Suppose 0 = p + w - 1, 0*p + x*p - 2*w = 8. Let i be (0 - p/(-14))*3. Is 1 not equal to i?
True
Suppose -5*t + 63 = -2. Let i = 13 - t. Which is greater: i or -1?
i
Suppose -4*j + 23 = -j + 2*k, j = -k + 9. Suppose 0 = -2*v + 4*a + 6, -j*v + 3*a + 22 = 0. Is 4 less than or equal to v?
True
Let m(u) be the second derivative of -u**3/6 - u**2 + 2*u. Let w(y) = -y**2 + 3*y - 3. Let n be w(3). Let g be m(n). Which is bigger: g or -6?
g
Suppose -x + 34 = 4*w + x, -2*w = 3*x - 27. Let i(j) = j - 7. Let p be i(w). Suppose 5*f - 3*c + 13 = 0, 2*c = -f - 0*f. Which is smaller: p or f?
f
Let x be (-20061)/(-3465) + (-6)/(-10). Let m = -9967/14 + 1437/2. Let t = x - m. Which is greater: 1 or t?
1
Let y be (-2147)/18 - (-1)/1. Let d = 237/2 + y. Let g = -0.07 - -1.07. Which