- s. Let m = 0 - u. Which is greater: m or 3?
3
Let q be (6/60)/((-4)/(-15)). Let h be 3/(-4) + (-2)/8. Is h > q?
False
Let a be 1*(0 + 4) + -1. Suppose -a*r + 4*r - 1 = 0. Which is smaller: r or 3/5?
3/5
Let d = 46843/1186 - -2/593. Is d at least 39?
True
Let t = 1701/715 - -3/143. Which is smaller: t or 2?
2
Let u = 1.5 - 1.5. Which is greater: 0.7 or u?
0.7
Let c(x) = x - 4 + 3 + 3. Let b be c(0). Suppose 0 = -4*i - i + y - 5, y = b*i + 2. Which is smaller: i or -2?
-2
Let m = 54 + -32. Let t = 18 - m. Suppose -4 = -f - 2*q + 1, f + 30 = 5*q. Is f at most t?
True
Let d = 11 - 8. Let x(h) = h**2 + h - 1. Let i(o) = 2*o**2 + 9*o - 10. Let a(f) = -i(f) + 3*x(f). Let n be a(5). Which is bigger: d or n?
d
Let q be -1 - (-2 + 2)/2. Let i be ((-4)/8*-1)/(-5). Which is smaller: q or i?
q
Let g = -1048 + 18887/18. Let i = 2/9 + g. Is 3 greater than or equal to i?
True
Let o = -23 - -22.9. Which is smaller: o or -0.03?
o
Let r = 13 + -15. Does -2 = r?
True
Let n be (-2 + 3 - 7)/(-2). Suppose -n*h + 10 = 5*x, 0*h = -2*h + 5*x - 10. Which is smaller: -1 or h?
-1
Let b(t) = -7*t + 4. Let a(j) = -8*j + 5. Let f(n) = -5*a(n) + 6*b(n). Let m be f(-1). Let z = -0.5 + 0.3. Which is bigger: m or z?
m
Let z = 293 + -3221/11. Suppose 5 = 4*x - 11. Let t(w) = -w + 4. Let k be t(x). Which is smaller: k or z?
k
Let i be 12/10*(-10)/(-3). Let c be (i - 8)*3/66. Is -2 at least c?
False
Let u(m) = m - 13. Let w be u(8). Which is bigger: -32/5 or w?
w
Let m be 1 + (4 - 2) + -2. Let r be (-1909)/24 + 4/(-12). Let y = 80 + r. Which is bigger: m or y?
m
Let a = 4 + -4.1. Let q = -2.8 - -3. Let z = q + a. Which is bigger: z or 1/4?
1/4
Let g(u) = -u**2 + 6*u - 7. Let s be g(4). Is s > -2/21?
True
Let o be ((-1)/(-2) + 0)*-6. Let v be (-3)/(-1) + o + 4. Suppose -4*j + 2*j = 5*s + 6, 0 = -v*s + 2*j + 6. Which is bigger: s or 2/21?
2/21
Let u(n) = -n**3 + 9*n**2 + 11*n - 12. Let y(b) = 3*b**2 - 2. Let f be y(-2). Let m be u(f). Let p = m - -2. Which is smaller: p or -2/11?
-2/11
Let j = 0 + 1. Let w = 2 - j. Which is smaller: w or -1?
-1
Let o(n) = n**3 - 14*n**2 - n + 14. Let y be o(14). Suppose -5*j + 25 + 30 = 5*t, -j - 3*t + 3 = 0. Let p be 3/9 + 13/j. Is y > p?
False
Suppose 3*y = -l + 11, y - 18 = -2*l - y. Is 8 equal to l?
True
Let k = -145/3 + 49. Is 0 equal to k?
False
Let x(z) = -z**3 - 8*z**2 + 10*z + 10. Let s be x(-9). Let r = 9 - 10. Let n = r - -1.3. Is s less than or equal to n?
False
Let l = 295 + -2069/7. Let z = 1/14 + l. Suppose d + 4*g = 10, 0 = d - g - g + 8. Is z greater than or equal to d?
True
Let k(z) = z**3 - 2*z**2 - 2*z + 1. Let s be k(2). Let j be (-24)/(-14) - (-2)/7. Let l be (-8)/j - (1 + s). Is l greater than -2?
False
Let y = 4.9 + -4.7. Is 4 at most y?
False
Let y be (-12 - -13)/((-93)/45 - -2). Which is smaller: y or -4?
y
Let j = -1029.87 + 1045. Let f = -15 + j. Let k = f - -0.07. Which is smaller: 1 or k?
k
Suppose -2*b - 112 = 22. Let j = 336/5 + b. Let k(s) = -s**2 - 4*s. Let m be k(-4). Which is bigger: j or m?
j
Let s = -0.04 - -5.04. Let n = 3 - s. Which is smaller: n or 4?
n
Let q(d) = 3*d - 8. Let a be q(6). Let r = -21 - -21. Suppose r = 2*w + 6*w - 72. Which is smaller: w or a?
w
Let n(m) = -m**2 + 7*m - 5. Let d be n(4). Suppose -5 = -2*f + d*f. Which is smaller: 1 or f?
f
Let w = -6233/5 - -1254. Is 6 not equal to w?
True
Let j = 5 - 4. Suppose k + 2*v + 5 = 6*k, -5*v - j = -k. Let n = 2 - 2. Do n and k have different values?
True
Let p = -1/6 - -7/18. Let i = -42 + 43. Which is greater: p or i?
i
Let h = 0.5 - 0.3. Let m = -0.1 + 0.3. Let v = m - h. Which is smaller: -3/2 or v?
-3/2
Let t = 21 - 4. Suppose -v - 23 = 5*y, -3*y - 6 = -4*v + t. Is v bigger than 2?
False
Let o = -0.309 - -0.019. Let y = o - 0.01. Is -3 at least as big as y?
False
Let j be (6 - 3)*1 - 0. Is 0 at least j?
False
Suppose -2*k + 30 = 3*q, -4*q + 61 = 3*k + 2*k. Suppose w = -2*w + k. Suppose 1 + 5 = w*g, 2*g = 4*i + 12. Are i and -2 nonequal?
False
Let p = 105 - 104. Is -56 greater than p?
False
Let w = 0.138 - -0.062. Is -2/39 smaller than w?
True
Let b be 1 + (3 - (-3 + 2)). Suppose b = -t + 10. Is 4 not equal to t?
True
Suppose 0 = 3*b + l - 5*l + 69, 5*b + 5*l = -115. Is -2 < b?
False
Let w(q) = -q**3 - 3*q**2 - 3*q. Let d be w(-2). Let p = 9 - 7. Is d less than p?
False
Let m = 35 + -39. Which is greater: m or -5/2?
-5/2
Let o = -2/375 + -728/4125. Let q = -51 - -50.9. Which is greater: q or o?
q
Let a = -9/1202 + -909869/6010. Let d = 152 + a. Let t(w) = -w - 8. Let l be t(-9). Which is greater: d or l?
l
Let i be (-41)/(-2) - 6/12*1. Is 21 less than i?
False
Suppose 0 = 4*f - 2*f - 12. Suppose -5*j - m - 3 = 0, -f = -m + 3*m. Which is bigger: -2/7 or j?
j
Let w = 11 + -5. Let d = -5.9 + w. Let h = -9 - -8. Which is smaller: d or h?
h
Suppose -o - 1 = -r - 2, 5*r = -5*o - 5. Suppose 4*d + 3*f + 8 = o, -d - 2*d = 4*f + 13. Is 1 > d?
False
Suppose -5*b = -4*s + 45, 15 = 2*s + b - 2*b. Suppose -s = -2*y + y. Let a be y/25 - (-23)/(-65). Which is bigger: a or -1?
a
Let x = 0.6 + -0.6. Do x and -2/13 have different values?
True
Let p(t) be the first derivative of -t**3/3 + t**2/2 + 4*t - 3. Let s be p(3). Let b = s + 0. Does b = -2/3?
False
Suppose -5*x = -m + 6 + 2, m + 4 = -x. Let p be 1*-1*6 - 0. Let k be (-1)/1 - p/14. Which is smaller: k or x?
x
Suppose 4*s + 2*b - 7*b = 29, 4*s = b + 9. Is -2/33 smaller than s?
True
Let h = 24.8 + -27. Let c = h - -0.2. Is 7/2 > c?
True
Let u = -17 - -16. Is -2/29 at most u?
False
Let w = 0.52 - 0.6. Let p = w - 1. Let q = p + 0.08. Which is smaller: 0.4 or q?
q
Suppose -o + 12 - 11 = 0. Which is bigger: 0.2 or o?
o
Suppose 4*r = 3*h + r + 9, -2*r = -h - 8. Which is bigger: 3 or h?
3
Let a = 7.3 - 1.3. Let j = a + -5. Is j greater than or equal to 1?
True
Let v(x) = -12*x**2 + 2*x - 1. Let h be v(1). Which is smaller: h or -12?
-12
Let u be 3/12 + 43/4. Which is smaller: 12 or u?
u
Let m be (2/8)/((-6)/(-12))*2. Is m greater than or equal to -4/13?
True
Suppose -5*r = 2*j + 17, 4*j - 2*r - 1 = -5*r. Suppose -j*d + 2*d - 20 = 0. Which is greater: d or -11?
d
Let w = 53 + -53. Is 1/80 less than w?
False
Let q = -88 - -262/3. Let x(h) = h**2 + 8*h + 7. Let o be x(-7). Suppose -3*u + o = 3. Is q < u?
False
Let n = 1 - 1. Let x(l) = l**3 - 2*l**2 + 2*l + 1. Let w be x(2). Suppose -5 = -0*u - w*u. Is n smaller than u?
True
Let h be 3 + -3 + (0 - -1). Let m = 0.36 - -0.04. Let k = m - 0.3. Which is smaller: k or h?
k
Let t = -38 - -38.4. Let r = -5 + 2. Is r less than t?
True
Let i(s) be the first derivative of s**4/4 - 2*s**3/3 - s**2 - 4*s + 2. Let j be i(3). Suppose -5*v + 11 = 2*p, 5*v + 4*p + 4 = 21. Is j at least v?
False
Let t be 4/(-6) + (-16)/(-6). Suppose 4*q - 8 = -t*h, -10 = -q - 5*h + 1. Which is greater: 0 or q?
q
Let t be 1/(9/12) - 1. Suppose 2*m = m + 4*c + 5, 5*c + 4 = -m. Suppose -3*o = 4*q - 16, -m = -o + 3. Is q < t?
False
Let q be ((-4)/6)/(24/(-36)). Let k = -18/7 + 61/21. Which is greater: q or k?
q
Let f be 5/30 + (-58)/(-12). Is f > 40/11?
True
Let h = 152 - 151. Which is bigger: h or -2/159?
h
Let f(q) = -q**3 - 7*q**2 - q - 6. Let d be f(-7). Let n = 265/2 + -1313/10. Is d < n?
True
Let m = -21 - -102/5. Is m smaller than 2?
True
Suppose 5*f = 13 + 7. Is f at least as big as 5?
False
Let n = -1.1 + 1.23. Let y = n - 0.15. Which is smaller: y or -2/7?
-2/7
Let y be 1/(52/17 + -3). Is y != 17?
False
Suppose -9 = -5*k - 14. Which is bigger: -4/13 or k?
-4/13
Let a = -6 + 10. Suppose 7 = -a*l - 9. Is -4 != l?
False
Let k(t) = t**2 + 3*t - 1. Let u be k(-4). Suppose -4*z + 25 = -u. Suppose -z*l + 4*l + 12 = 0. Is 2 >= l?
False
Suppose 5*j - 4 + 14 = 0. Let t be j/33*(-6 + 3). Which is smaller: 1 or t?
t
Suppose 3*v - b = 19, 4*v + 0*v - 27 = 3*b. Let f(k) = -k**3 + 5*k**2 + 6*k + 1. Let y be f(v). Which is greater: -2/29 or y?
y
Suppose 17*c = -0*c. Let x be 8/(-36) - (-202)/18. Which is bigger: x or c?
x
Suppose -2*d - 4 = 2*h, -4 + 14 = -3*h - 4*d. Let k be 0 + (h/(-3) - 0). Which is greater: -1 or k?
k
Let t be 1/(-3 + 14/4). Suppose -t*k = 3*f - 8, 0 = f - 2. Do -2/15 and k have different values?
True
Let y = -47 - -47.05. Is y bigger than -8/3?
True
Let t = 0.3 + -0.38. Let v = t + -4.92. Let n = v - -5.1. Which is greater: n or -2/7?
n
Let y(h) be the first derivative of -h**3/3 + 3*