. Let d be h(u). Is -6 less than d?
True
Let s(p) = p**2 + 6*p + 6. Let v be s(-5). Let b(x) = x + 5. Let m(a) = 2*a + 6. Let n(h) = -3*b(h) + 2*m(h). Let u be n(4). Is u > v?
False
Suppose 12 = 4*x - k - k, 4*k = -2*x - 4. Suppose -3*b + 12 = -2*b - x*d, -4 = b + 2*d. Suppose l - 3*l + b = 0. Which is greater: 5/2 or l?
5/2
Let u = 0.1 + -0.3. Suppose g = 5 - 2. Suppose m - 4*x = 6, -3*m + m - x = -g. Which is smaller: u or m?
u
Let x = -11890 + 249742/21. Let m = x - 4/21. Let v = m + -62/21. Which is bigger: v or -2?
v
Let v = 7 - 3. Suppose 5*d - v = 3*d. Let s be 63/14 + (-3 - 0). Are d and s nonequal?
True
Let y be 2/10 + (-292)/1160. Does 1 = y?
False
Let i = 16 + -11. Suppose -i*d - n = -5, n - 3*n + 3 = 3*d. Let g = -2 - -2. Which is smaller: g or d?
g
Let r(u) = -2*u**2 + 2. Let w be r(-4). Let y be 482/w*(10 - 7). Let j = y - -5051/105. Is 1 != j?
True
Let n(k) = 2*k**2 + 2*k - 10. Let a be n(-3). Which is smaller: 5/8 or a?
5/8
Suppose 3*v + 4*i = 4*v - 4, 16 = 4*v - 4*i. Let j be 42/104 - v/26. Are 0.14 and j equal?
False
Let w = 5/4 - 1/2. Suppose -4*n = -n - 3. Which is bigger: n or w?
n
Let s = -4/13 - -33/65. Is 0 < s?
True
Let h be (5 - 5)/(0 + -3). Suppose 22 = 4*a - 22. Let j be -2 - (-1 + (-9)/a). Is j at least h?
False
Let z(x) = 4*x + 4 - 16 - x**2 - 4*x - 10*x. Let g be z(-10). Which is greater: -13 or g?
g
Let s(x) = x**2 - 3*x - 1. Let a be s(3). Let n(y) = 2*y**2 + y. Let f be n(a). Which is smaller: f or 2/11?
2/11
Suppose -5*s - 2*j + 4 = 0, -3*j + 5 + 1 = -2*s. Is 2/47 bigger than s?
True
Let y = -387/10 - -75/2. Suppose 2*i - 4 = -8. Is i not equal to y?
True
Suppose 5*i + 3*m - 11 = -3, 3*m = 2*i + 1. Suppose -2*y + i = -y. Let f be 3*y*1/(-5). Which is smaller: f or -2?
-2
Let d = 26855099/89021478 - -1/541164. Let r = -3/188 + d. Which is smaller: r or 1?
r
Let x(c) = -c**3 + c**2 - c + 6. Let y be x(0). Let k be (4/(-5))/(y/15). Is -1/2 greater than or equal to k?
True
Let k = 33043061/261 + -126602. Let z = k + 10/29. Which is bigger: z or -2/3?
z
Let u be (-2)/6 + 2 + (-106)/(-3). Is 36 < u?
True
Let h(b) = -b**2 + 5*b - 1. Let y be h(5). Is 0 bigger than y?
True
Let f = -0.041 - 0.029. Is f >= 5?
False
Let i = -6 + 6. Let x be (-3 - -2)/(1 + i). Is 1 bigger than x?
True
Let t = -5.542 + -0.058. Let x = -1 + 7. Let j = t + x. Is j greater than -0.1?
True
Let m be -2 + 3/10*8. Let f be 2/6 - 8/6. Let c be (-2)/f + -1 + 0. Is m less than or equal to c?
True
Let x = -6 - -6. Which is smaller: x or -8/7?
-8/7
Let c be (-7)/(-2) + (-3)/6. Suppose 9 = -3*d - y, 5*d + 7 = -c*y - 4. Let u = d + 4. Is 2/13 < u?
False
Let w = -0.31 + -0.15. Let t = w + 0.5. Is 0 at most as big as t?
True
Let u(r) be the first derivative of -r**2 - 11*r + 3. Let g be u(-6). Let x = 198/5 - 39. Is x not equal to g?
True
Let d = -47 - -47.96. Let i = -0.9 + d. Are 1 and i equal?
False
Let d(f) = f**2 - 9*f + 7. Let r be d(4). Let i = r - -9. Are -6 and i equal?
False
Suppose 11 + 5 = 4*g. Suppose 3*v = -5*x - 18, 4*x + 0*x + 16 = -4*v. Let c be 11/(-3) - x - 0. Which is smaller: g or c?
c
Let y(o) = -o**3 + o**2 + o - 404. Let v be y(0). Let w = 1456738/15 + -97520. Let h = w - v. Which is greater: -0.1 or h?
-0.1
Let t = 6 - 6.1. Which is smaller: -0.8 or t?
-0.8
Suppose p = -4*p + 10. Let g = 0.49 - -3.61. Let t = -4 + g. Which is bigger: t or p?
p
Let b = 122/861 - -2/41. Which is greater: b or -1?
b
Let w = -0.02 + -0.98. Let c be (4/24)/((-3)/(-9)). Is c greater than w?
True
Let x be 1*(4 + -1)*-1. Let t = 11 - 4. Let s = -9 + t. Which is greater: x or s?
s
Let b be (-15)/(-6)*4/10. Let s = 5 - 8. Is s less than b?
True
Let u(j) = -j**3 + 9*j**2 + 2*j + 6. Let a be u(9). Suppose 3*m + 0*m - a = 0. Which is greater: m or 9?
9
Let i be 1/(-2)*(-8)/(-14). Let c = 251 + -252. Which is bigger: c or i?
i
Suppose 0*a - 2*a = -3*k + 6, -5*a = 4*k + 15. Let r be (k + 2 - 2)/1. Which is bigger: 1/2 or r?
1/2
Suppose -4*x + 2 = -2. Which is smaller: x or -2/31?
-2/31
Let p = 2.63 - 0.53. Let w = p - 2. Is 6 >= w?
True
Let i = -30/139 - -151/7784. Let r = -37/11 - -329/88. Let n = r - i. Which is bigger: 0 or n?
n
Let s = -0.19 + -0.11. Is s less than or equal to -1/4?
True
Suppose 5*h + 5 = -0. Let s be (-2 + 1)/(h/6). Are s and 7 nonequal?
True
Let x = -3 + 4. Let c = -1/10 - -8/5. Is c greater than or equal to x?
True
Let g = -25/52 - 1/52. Let o = -1 - -2. Let k be 1*(2/o)/(-1). Which is greater: g or k?
g
Let r = -2/7 - 0. Let t = 0.45 - 0.5. Let h = t + -0.05. Is h > r?
True
Let k = 8 + -7.7. Let w = 31 + -31.2. Which is smaller: w or k?
w
Let w = -2807/15 - -187. Suppose 3*a - a = k + 10, 15 = 5*k + 3*a. Which is bigger: k or w?
k
Suppose -2*x - x = 0. Suppose 8 = 2*l - x*l. Let a be 3 + l*1/2. Is 4 less than a?
True
Let c = 13.26 + -0.26. Let p = c - 12. Let q = -0.7 - -0.6. Which is greater: q or p?
p
Let x = -83 + 48. Which is bigger: x or -36?
x
Suppose 8*n + 3 = -29. Which is smaller: 5 or n?
n
Let a be (4 + -5)*0/(-1). Which is smaller: a or -3/14?
-3/14
Let o = 25/2 - 12. Let w = -0.03 - -0.23. Which is smaller: o or w?
w
Suppose 0 = 4*m - 5*v - 22, 36 = 5*m - 4*v + 13. Suppose m*r = 3 - 6. Let p = -3 - -5. Which is bigger: p or r?
p
Let s be (0 + -2)*(-12)/(-6). Is s > -5?
True
Let g be (-1 + 15/6)/111. Let m = -227/370 + g. Is -2 at most m?
True
Let a be 3 + 87/(-48) - 1. Which is smaller: 1 or a?
a
Let a(h) be the third derivative of -h**6/120 + 11*h**5/60 + h**4/2 - h**3/6 - h**2. Let w be a(12). Do 1/3 and w have different values?
True
Let r = 13.2 + -1.2. Which is bigger: r or -1?
r
Let n(k) = -3*k + 8. Let i(l) = 10*l - 25. Suppose -4*j = -2*j + 4. Let m(w) = j*i(w) - 7*n(w). Let o be m(6). Is o less than 1?
True
Suppose 0 = -3*t - 2*t. Suppose t = -4*i - 3 - 5. Which is bigger: i or -0.1?
-0.1
Let p(k) = k**2 - 7*k. Let o be p(7). Let g be (o/(-1))/((-3)/3). Is g at most as big as -2?
False
Let w = -0.2 - -0.1. Which is bigger: w or -8/7?
w
Let h be (1 - 38/8) + 4. Are h and -3 non-equal?
True
Suppose -l = 7 - 21. Which is smaller: l or 1?
1
Suppose 17*w - 82 = -456. Is w < -20?
True
Let u(s) = -s**2 + 6*s + 5. Let l be u(6). Suppose -4*v + 15 = -v. Do v and l have the same value?
True
Let q be (-9)/(-10) - ((-35)/(-25) - 1). Which is smaller: 1/42 or q?
1/42
Let g = -0.8 - -1. Let x = 35 + -34. Is x greater than or equal to g?
True
Let g = 27/5 + -71/15. Let t = -42 - -23. Let a = -93/5 - t. Which is greater: g or a?
g
Let z(n) = n**2 - n + 1. Let r(h) = h**3 - 9*h**2 + 7*h + 2. Let o(i) = r(i) + 3*z(i). Let w be o(5). Let j = -634/7 - -91. Is j <= w?
False
Suppose 35 = -3*x + 68. Is x less than 52/5?
False
Let o = -0.9 - -2.9. Which is smaller: -0.2 or o?
-0.2
Suppose -y = -5*y + 20. Suppose -4*o + 9 = y*c - 4, -3*o - 9 = 0. Suppose -c*i + 4 = -i. Which is smaller: 0 or i?
0
Let m = -4 + 1. Let a be m + -1 + 0 - -2. Which is smaller: a or -1?
a
Let f = 3 + -6. Suppose 0 = 4*w + o + 18, w + 5 = 2*w + 5*o. Let s = f - w. Does s = 1?
False
Suppose 4*l = 2 + 2. Let y be (l*0/1)/1. Is y greater than or equal to -1/3?
True
Let r be (-8)/6*30/(-10). Do 3 and r have the same value?
False
Let p(n) = n**3 + 2*n**2 + 2*n + 2. Let d be p(-4). Which is greater: d or -41?
d
Let t be ((-1)/6)/(18/36). Which is smaller: -11 or t?
-11
Suppose -v + 4 = -3*v, 4*v = -z - 9. Which is smaller: -2/29 or z?
z
Suppose 59 = -4*m - 5*g - 284, 5*g = 5*m + 440. Is -88 < m?
True
Suppose -3*a - 2*a = 15. Is a greater than or equal to -3?
True
Let o be 168/40 + (-2)/10. Suppose 0 = -2*c - o*j + 7 + 13, 4*c = -j + 12. Let y = 10/3 - c. Is y greater than 1?
True
Let a be (-2)/15 + 1/(-15)*13. Suppose 5*j - 7 = 2*b, -2*j - 3*b = -0*b + 1. Suppose -v + j + 0 = 0. Which is smaller: a or v?
a
Suppose 19 = 5*o - 31. Which is smaller: o or 28/3?
28/3
Let u = 65 + -64.9. Let o = 776/9 + -86. Which is greater: u or o?
o
Let h = 19/18 + -5/9. Let a = 5 - 3. Is h greater than a?
False
Let w = 2.6 - -0.4. Let c = w - 0. Let n = -6 + c. Which is greater: 1 or n?
1
Let r = 5 + -9. Let o = -12 - r. Let k = o + 7. Which is smaller: k or -2?
-2
Let f be (-8)/(-36) - (-25)/9. Suppose 4*n - i - 28 = 0, -f*i + 5 = 5*n - 13. Let w be -1 + 1 + n - 2. Is 2 less than w?
True
Suppose 4*i - 2*k = -98, 0*i + 4*i + 2*k = -102. Let n be (-4)/(-10) - 65/i. Let d be 5 - n - (-1