se
Let u = 6 - 1. Which is bigger: 4 or u?
u
Suppose 3*b = -3*b. Is -13 at least as big as b?
False
Let c = 202 - 1820/9. Suppose 0 = -5*g - 5*y, 0*g - 4*y + 1 = 5*g. Which is smaller: c or g?
c
Suppose -2*n = n + 6. Let k be (1/6)/(n/28). Is k less than -2?
True
Let b(y) = -y. Let z(t) = 4*t - 3. Let l(v) = 3*b(v) + z(v). Let d be l(7). Suppose 5*h = -d*o - 25 - 20, 4*h = -3*o - 35. Which is greater: -6 or o?
o
Let s = -0.02 - -0.32. Suppose 0 = 2*b + 5*w + 177, 4*b + 3*w + 379 = 32. Let t = b - -600/7. Does t = s?
False
Let b be 1 + 0*3/(-6). Is 0.4 greater than or equal to b?
False
Suppose 0*o + 5*o = 4*d + 45, d + o + 18 = 0. Is -16 at most as big as d?
True
Suppose -4*a + 14 - 34 = -4*f, -3*f + 9 = 3*a. Which is bigger: f or -2?
f
Let f be 9*-1*57/9. Let r = f - -286/5. Let v = 3 - 2. Is v < r?
False
Suppose 0 = -0*z - 4*z + 180. Suppose -z = -5*b + 15. Is 12 at least as big as b?
True
Let k be -6*((-14)/(-6) + -2). Let u be (-3)/(17/k - 2). Let d = 2 - 0. Which is smaller: u or d?
u
Let n be ((-44)/66)/((-2)/3). Let m = -635/423 + 34/47. Let y = -4/9 - m. Which is smaller: y or n?
y
Let c(w) = 3*w - 1 + 9 + 6 - 3. Let i be c(-5). Which is bigger: i or -7/2?
-7/2
Let u be (-11)/55*170/(-12) + -3. Is 1/6 less than u?
False
Let j be 33/(-6)*2/(-3). Which is smaller: 3 or j?
3
Let c = -34/15 + 13/6. Is -0.1 equal to c?
True
Suppose -2*h = h - 9. Suppose -h*o - 12 = -o - 3*b, 3*o + 4*b = -18. Which is bigger: 0 or o?
0
Let a = 115 + -5. Let z = 129057/5 - 25922. Let r = z + a. Which is smaller: r or -1?
-1
Let n(t) be the second derivative of -1/2*t**2 + 3*t + 1/2*t**3 + 0. Let p be n(-1). Do p and -5 have the same value?
False
Let n(v) = 2*v**3 + 2*v**2 + 2*v + 1. Let r be n(-1). Is 10 at least as big as r?
True
Let a = 7/12 + -1/12. Do 2 and a have different values?
True
Let z(y) = -y**2 + 13*y + 7. Let v be z(13). Is v less than or equal to 8?
True
Let o = 19 + -13. Let i = o + -4. Is i equal to 1?
False
Let u(p) = p**3 - 5*p**2 - 8*p + 5. Let x be u(6). Let c = x - -3. Is 1/4 less than c?
False
Let d = 1 - -2. Suppose 2*v - 12 - 8 = -5*u, d*v = 5*u + 5. Let b = -0.4 - 0.6. Does u = b?
False
Suppose 0 = -6*m + 2*m. Let k be (-3)/12 + 874/(-280). Let l = k + 18/7. Is l bigger than m?
False
Suppose 25 = -5*v + 6*v - f, 2*v - 38 = -f. Suppose 3*p - v = -3. Which is smaller: p or 7?
p
Let i = -8369 - -91936/11. Let o = -736/55 - i. Which is smaller: o or -1?
o
Let u be ((-3)/(-9) - 1)*(-9)/(-2). Let d be (16 + -1)*4/10. Suppose 3*f = f - d. Is u less than f?
False
Suppose -5*a - 6 = -2*a. Let x be 1 + 0 - 46/a. Let q be x/(-18)*(-6)/(-4). Is 1/3 at least as big as q?
True
Let n(k) be the second derivative of -k**6/120 - k**4/24 - k**3/6 - k**2 + 3*k. Let v(a) be the first derivative of n(a). Let r be v(-1). Is r != 2/7?
True
Let r = -0.1 + 1.1. Let q = -2 + 4. Let f = q - 2.1. Are r and f equal?
False
Let y = 37 - 36.9. Which is smaller: 1/6 or y?
y
Let h = -3.32 - -1.39. Let j = -0.07 + h. Is 4/7 at most as big as j?
False
Suppose 4*b - h = 3*b + 3, -5*b + 4*h = -16. Let u be 5/((2 - 1)*b). Is 1 greater than or equal to u?
False
Suppose 0*j + j - 2 = -f, 4*j - 2*f = 2. Let x = 0.29 - -0.81. Let i = 0.1 - x. Is i less than or equal to j?
True
Let l = 5 + -16/3. Which is greater: -1 or l?
l
Suppose -5*f = 2*j, -3*f + 2*j = -5*f - 6. Suppose 0 = -2*n + 4*s + 16, 2*n - 8 = f*s. Suppose 4*t - 20 = n, 4*i = 3*t - 22 - 9. Which is greater: -1 or i?
-1
Let i = -0.3 - -15.1. Let s = -15 + i. Let z = 2 + -1. Which is smaller: s or z?
s
Let s be 2/(-3) + 3/(-9). Let x = 1/17 - -8/153. Which is bigger: s or x?
x
Let s(i) = i - 2. Let f be s(-8). Is f at least as big as -8?
False
Let f(c) = c + 12. Let h be f(-6). Let a = h + -5. Suppose -4*r - 9 = -a. Is -4/3 equal to r?
False
Let j = 26 - 23. Is 3 not equal to j?
False
Let a be (-3)/(-2 - (-2 - 7)). Suppose -5*w + h = 3*h + 23, -3*w + 4*h = 19. Let x = w - -5. Is x at most as big as a?
False
Suppose 3 = b - 2*b. Let o be 9/(-6)*(-2)/b. Does o = -2/5?
False
Let x = 12 + -2. Let v be -3 - (2 + -2) - -5. Let c be x/v*30/175. Is c less than 2?
True
Let v(b) = -b**2 + 7*b - 6. Let m be v(6). Are m and 2/9 equal?
False
Let n = -10654/9 - -1192. Let v = n + -8. Is 0 at most v?
True
Suppose -3*q + 5*b + 3 = 0, 4*b = 2*b. Let l be (0/3)/3 - q. Let s be (-2)/(-3) - (-140)/(-165). Are l and s nonequal?
True
Let w = 8 + -4. Let m be 10/w + 9/(-6). Are -2 and m nonequal?
True
Let v(b) = b**2 + 9*b - 13. Let x be v(-10). Is x greater than -2?
False
Suppose -98 = l - 8*l. Are l and 15 equal?
False
Let a = -13.1 + 12.9. Is a smaller than 22?
True
Let k = -2 + 0. Let u be (0 - k*1) + -2. Let n be 0 - (1 + u/2). Which is smaller: 1/8 or n?
n
Let r = 277/585 + -4/45. Which is bigger: 1 or r?
1
Suppose t - p = -6*p - 20, -2*p = -t + 15. Let m = 4 - t. Does -2 = m?
False
Let w(r) = -4*r**3 - r**2 - 5*r. Let u(g) = -g**3 + g**2 - g. Let h(x) = -3*u(x) + w(x). Let j be h(-3). Let n be (-18)/(-4) + j/(-6). Which is smaller: 4 or n?
4
Let q(j) = -j**3 + 9*j**2 - 2*j + 16. Let w be q(9). Suppose 1 = -4*u - 3*i - 3, 0 = -u - 5*i - 1. Which is smaller: u or w?
w
Let y = -67 + 82. Which is bigger: y or 14?
y
Suppose 2*f = -7 - 3, 3*q = -f + 1. Suppose 0*v = 3*v - 3*l - 3, -q = -2*v - 4*l. Is 1/13 at least as big as v?
False
Let t(k) = -k + 2. Let d be t(-3). Let u(j) = -d + 2 - j - 1. Let s be u(-4). Which is greater: s or 4/5?
4/5
Suppose -4*q + 0*q = 0. Suppose -2*l + v + 429 = q, -890 = -5*l - v + 193. Let k be l/117 + -2 + 0. Which is bigger: 0 or k?
0
Let a be (-4)/(-12) + 34/(-84). Which is greater: a or 0?
0
Let g = -927/10 - -95. Let n = 279/130 - g. Is -0.1 less than or equal to n?
False
Let k = -4 - -6. Suppose 0 = 3*r - 5*l + 20, 3*r + 5 = k*l - 3. Suppose 5*w + y - 2 = 0, 2*w + 3*y - 4 = 2. Is r less than w?
False
Let h = -17 + 24. Which is smaller: -1/3 or h?
-1/3
Let v be (-18)/63*7/(-11). Which is greater: v or 4?
4
Let j be (-1)/(0 + 2/8). Let p = j - 2. Let k be (3 + p + 3)/(-1). Is -5/4 >= k?
False
Let a be (20/6)/(4/3). Which is smaller: 3 or a?
a
Let l = 102 + -101.953. Which is greater: l or -1?
l
Suppose -4*q + u = 4*u, -5*u + 20 = 0. Let k(w) = w**3 - 8*w**2 - 9*w + 1. Let s be k(9). Is q at least s?
False
Let o be (1/2)/((-5)/(-50)). Suppose -a - 4*l - 16 = -5, o*a - l - 29 = 0. Are a and 5 unequal?
False
Let u = 17 - 13. Suppose 2*l = u*k - 6, 4*l + 0*k + 2*k = 28. Is l equal to 0?
False
Suppose -3*k = -h + 3*h + 44, -3*h + 2*k - 40 = 0. Let a(o) = o + 2. Let f be a(6). Let g be f/(-12) - h/33. Which is smaller: 0 or g?
g
Suppose 263 = 8*w - 3*w + 3*j, j - 51 = -w. Which is smaller: 109/2 or w?
109/2
Let w be ((-222)/4)/(-3)*(-1 + 3). Which is bigger: 38 or w?
38
Suppose v = n, 4*n = -4*v + 2*n + 6. Suppose -5*l = -3 + 13, 3*l + 66 = 4*w. Let z be (-2)/(-4)*10/w. Which is smaller: v or z?
z
Suppose -4*o - 18 = 5*v, 0 = -3*v + o - 1 - 3. Let u be v + 2 + 3 + -5. Which is smaller: u or -3/5?
u
Suppose 4*o = 65 + 23. Suppose -o = 3*j - 4. Is j < -6?
False
Let s = -176 + 179. Is s less than or equal to 13/7?
False
Let o be ((-2)/60*-3)/(2/(-324)). Is o less than -17?
False
Let d(k) = -k**2 + 4*k + 1. Let x be d(3). Suppose -5*m + 27 = -p, x - 19 = -m - 3*p. Are m and 5 nonequal?
True
Suppose 27 + 9 = -4*g. Let w = g + 6. Is -3 smaller than w?
False
Let n(a) = -6*a - 7 + a**2 - a + 0*a**2. Let s be n(8). Is s != 1?
False
Suppose 2*g - 5*x = 12, -5*g + 4*x + 47 = -0*g. Which is smaller: g or 10?
10
Let u = 6 + -8. Is u less than or equal to -5/3?
True
Suppose 0 = b - 3*c + 34, 2*b - 5*c = 40 - 105. Let n be (8/50)/((-10)/b). Let k = 92 - 646/7. Is n >= k?
True
Let o be (11 - 10) + 51/(-52). Is 1 >= o?
True
Let u = -418/45 + -2/45. Which is bigger: u or -9?
-9
Suppose -5*k = 3*h - 31, 4*k - 16 = 2*h - 0. Which is greater: 5/4 or h?
h
Suppose 2*t + 4 = -2*g - 4, 5*g + t = -4. Suppose -h = 3*n - 3*h - 7, g = -5*n - 3*h - 1. Which is smaller: n or 3?
n
Let y be (-6)/15 - (-24)/35. Let i be 1/((-8)/210) - -1. Let p = i + 25. Is p at most y?
True
Let q be (-16)/12 - 1/3. Suppose -7*n + 2*n = -10, -4*n - 372 = 5*o. Let s be (-4)/14 - o/(-28). Is q equal to s?
False
Let w = 1 + -1. Let u be (-20)/(-15)*(3 + w). Suppose -5*k - 2*a + 11 = 1, u*a + 6 = 3*k. Is k less than or equal to 1?
False
Let p be 2/5 - (-14)/(-10)