 n. Which is smaller: j or d?
d
Let i be (29/1334)/(1/(-8)). Let m(d) = 2*d - 3. Let h be m(2). Is i less than h?
True
Suppose -9*n - 4*n + 923 = 0. Which is smaller: 70 or n?
70
Let n(j) = -j**3 + 8*j**2 + j - 11. Let i be n(8). Let b be i/9 + (-5)/(-9). Which is bigger: b or 2?
2
Let c = -3/6178 - -20161/169895. Let s = 3/10 - c. Suppose -6*t = -2*t. Which is greater: t or s?
s
Let v(i) = i**2 - 4*i + 1. Let g = 8 - 4. Let z be v(g). Let a = 3 - z. Is 1 equal to a?
False
Suppose -u = 5, 0 = 4*z + u + 173 - 36. Is z not equal to -33?
False
Suppose 3*s + 2*s = -2*o, -o + 5*s = 15. Let h be (-11)/24 + o/(-15). Is h != 0?
True
Let u be 4/(-14) - 4229/(-28). Let h = u - 150. Which is greater: 2 or h?
2
Suppose -q + 3 = 0, 8 - 3 = a + 2*q. Which is smaller: a or 2/7?
a
Let h = -4 + 5. Let k = h - 1. Suppose k = -j - 2*j - 5*c - 9, c + 37 = -5*j. Is -8 less than j?
False
Let m = -21.9 - -22. Is m at most as big as -0.03?
False
Let j be (-7)/4 + 2/(-8). Suppose -1 + 3 = 2*g. Suppose 4*n - g = -5. Is j smaller than n?
True
Let p(n) = -2*n**2 + 10*n + 5. Let y be p(5). Suppose -y*h + 21 = -4. Does h = 6?
False
Let x = -1093 - -30593/28. Let b = 1/7 + x. Which is smaller: 1 or b?
b
Let x(d) be the second derivative of -d**3/6 + 2*d**2 - 3*d. Let s be x(4). Let k be 3 + -11 + (s - -3). Is 0 greater than k?
True
Let g = 46 + -66. Let x be (-28)/g + (-3)/(-5). Are x and -2 unequal?
True
Let a(q) = -q - 6. Let b be (8/(-6))/((-1)/(-3)). Let y be a(b). Let v be -1 - (35/10 + -4). Is v != y?
True
Let p be -2 + 2 + 1*5. Is 3 greater than or equal to p?
False
Let i = 0.13 + -0.53. Is i > 1/2?
False
Let v be 15/(-10)*(-8)/(-6). Let p = -8 - -4. Let c = -7 - p. Which is smaller: c or v?
c
Suppose 0 = -2*l + 5*j - 19, -4*l - 2*j = 3*j - 37. Which is smaller: 3/2 or l?
3/2
Let s be 3/6 + (-1)/2. Is 0 > s?
False
Let q(j) = j**2 - 6*j. Let k be q(6). Is k bigger than 2/13?
False
Let p(g) = -g**3 + 4*g - 3. Let o be p(2). Is o at least -2?
False
Let j = 38 - 416/11. Which is greater: j or 0?
j
Let k(o) = -o**3 - 22*o**2 + 48*o + 1. Let x be k(-24). Is 2 < x?
False
Let v be 9/3*(-4)/3. Let l = 3 + v. Is 1/4 at most l?
False
Let b(f) be the third derivative of f**6/120 + f**5/10 - f**4/3 - 4*f**3/3 - 2*f**2. Let a be b(-7). Let p = 3 - 2.8. Is a bigger than p?
False
Let a be 15/(-6)*-1*8/15. Let h(q) = -q**2 - 5*q + 8. Let f be h(-6). Which is smaller: a or f?
a
Let f(d) = -599*d**3 + d**2 + 2*d + 1. Let w be f(-1). Let j = -3007/5 + w. Is j at most -1?
True
Let d = 6 + -4. Suppose -d = x - 3*x. Suppose -4*o - x = 3. Are -1 and o equal?
True
Let g be (260/(-4))/(-5) - 10. Suppose 0 = 4*q - t + 27, 7*q = 2*q + 3*t - 25. Let y be (-4)/14 - q/14. Is g < y?
False
Let i be (-2)/(-8) - (-55)/4. Let p be (-1 + -1)*21/i. Is p smaller than -0.2?
True
Let n = -23 - -21. Let f = 0.3 + 0.7. Let t = f + -1. Which is smaller: t or n?
n
Let u = -37387/19 + 1969. Which is smaller: u or 1?
1
Suppose 3*b = -u, 5*b - 3*b + 2*u = 0. Let p be (-2)/(2 - (3 - 2)). Let z be p/(4/3) + b. Is z > -3?
True
Suppose -12 = -2*c + 6. Which is bigger: 8 or c?
c
Let f = 21 + -7. Suppose z = -5*h + 3*z - f, 2*z = -5*h - 6. Is h smaller than -4/7?
True
Let h = 0.5 + 0.2. Let m = 0.6 - h. Are 1 and m equal?
False
Let u = 26 + -29. Which is bigger: u or -2?
-2
Let w be (6/(-2))/(6/8). Let s be 1*-4*2/w. Let k be 1 - (5 + (s - 4)). Is -2 greater than k?
False
Suppose -x + q = 2*x - 8, -2 = -5*x - 4*q. Let y be 39/(-6) - (-1)/x. Which is greater: y or 0?
0
Let x = -0.5 + 0.8. Let g = x + -0.26. Let t = -0.36 - g. Is 1 at least t?
True
Let y = -0.4 - 1.6. Let i = -2 + -1. Do y and i have different values?
True
Suppose -4 = 2*y + 4, 0 = 3*b + 5*y + 8. Let i be 4/b*(1 + 0). Which is smaller: i or 2?
i
Let a = 5 - 3. Suppose u - a + 5 = 0. Suppose -3*k = -4*k - 1. Which is smaller: u or k?
u
Suppose -3*w + 5*w = -3*o + 8, 2*o - 5*w + 20 = 0. Which is bigger: -14/17 or o?
o
Let y(h) = h**3 - 8*h**2 + 8*h - 5. Let s be y(7). Suppose 5*k = s*k. Let w be 2/(-5) + 1/5. Which is smaller: w or k?
w
Let h = 8 - 8.19. Let c = h - -0.09. Is -0.6 bigger than c?
False
Suppose 0 = 9*j - 30*j. Which is smaller: j or 2/343?
j
Let q be (-4)/20 - 11/(-5). Suppose 2*v - 2 = q. Suppose -3*b - 1 = -i + 1, b + 8 = 4*i. Is i greater than or equal to v?
True
Let a = -3 + 1. Are a and -2 equal?
True
Suppose 0 = 3*i - 15, 2*i + 3*i = -5*h + 60. Is h != 8?
True
Suppose 0*v = -3*v - 6. Let w(b) be the third derivative of -b**4/24 + b**3 + 6*b**2. Let c be w(8). Does c = v?
True
Let x(k) = 5*k + 0*k**2 + 3 - 2*k - k**2. Let r be x(3). Suppose -r*g = -8*g. Which is bigger: g or 5?
5
Let w = -0.8 + 0.86. Let v = w - 0.36. Let a = -2.3 - v. Which is greater: 0.1 or a?
0.1
Let w = 1 - 0. Let v be 27/12 - 6/(-8). Suppose 8 = -v*o - w. Is o greater than -3?
False
Let l = -42 - -167/4. Let m(d) = 2*d**2 + d - 2. Let x be m(-2). Suppose 0 = -x*n, -2*n = -3*v + 6*v - 3. Which is bigger: v or l?
v
Let c(p) = p**2 - 9*p - 11. Let l be c(10). Let u = -2 - l. Is u at least -2?
True
Let w(a) = -a - 12. Let t be w(-8). Which is smaller: t or -6?
-6
Let j be (3 - 0) + 4/(-2). Let i be ((-6)/(-4))/(2/4). Is i <= j?
False
Let h be ((-4)/3)/(2/(-3)). Let u be 2 - (h/1 + 1). Let o be 1/5 + u/5. Which is smaller: 0.1 or o?
o
Let y = -1.8 - -2. Let p = y + -0.6. Let g = p - -0.3. Which is smaller: -2 or g?
-2
Let o = -28 - -23. Let i = -3 - o. Is -0.1 greater than or equal to i?
False
Let w = -22 + 14. Is -7 at most w?
False
Let l = 5 - 3. Let h = 12 - l. Is h at least 9?
True
Let o(m) = -m**2 + 3*m. Let t be o(4). Is t less than or equal to -2?
True
Let h = 2.805 + 0.215. Let q = 1.99 - h. Let u = -0.03 - q. Which is smaller: u or -3/7?
-3/7
Let z be 10/6*(-16)/15. Let w = -5/18 - z. Which is greater: 3 or w?
3
Let t(i) = -309*i**3 + 3*i**2 + 7*i. Let d be t(5). Let h be d/(-1925) - (-1)/5. Let c = 216/11 - h. Which is smaller: -2 or c?
-2
Let m be 3 + 1394*3/42. Let i = -103 + m. Is 1 at least as big as i?
True
Let l = 7 + -1. Suppose -3*s - l + 3 = 0. Which is smaller: s or 3/2?
s
Let c = -0.22 + -0.78. Suppose 0 = -3*y - 9, 1 + 5 = -3*w - y. Is w equal to c?
True
Suppose h - 4*z + 8 = -3*h, -h = 4*z - 18. Suppose 3*f - f = h. Let g be 0*(2 - (2 - f)). Is g less than -0.1?
False
Let l(n) = n + 8. Let h be l(-9). Let i = -727/18 - -81/2. Which is bigger: i or h?
i
Let v = 3 + -3.1. Let l = -128.5 - -129. Is v less than l?
True
Let x be (0 - 9)*(-1)/(-3). Let m be x/((-2)/((-4)/(-3))). Is 2 greater than m?
False
Let s be 4/(-12)*(-12)/(8/2). Let d be (-6)/(-10)*3/(-9). Which is greater: d or s?
s
Let f = 24 - 14. Suppose 4*n - 5*y = f, 3*n - 4*y = 8 - 0. Let u be (-4)/6 + n/(-1). Which is smaller: u or 0?
u
Let k = -4/2111 + 58097/580525. Let g = -7/25 + k. Let u(i) = i - 1. Let n be u(0). Which is greater: n or g?
g
Let y = -1464 - -13159/9. Which is bigger: -3 or y?
y
Let z = -1.91 - 0.09. Let k = -0.64 + -0.06. Let t = k - -1. Is t > z?
True
Let b(i) = 2*i**2 + 4*i + 2. Let w be b(-2). Suppose 3*m + 4 = -w*l + 8, -l + 3 = m. Let a be (0 - m)/(1*-2). Is a at least -2/7?
False
Let y(k) be the first derivative of 2*k**2 - 6*k + 9. Let l be y(3). Is 4 bigger than l?
False
Let q = -13 + 12. Let j = -6/217 + -320/4123. Is q at most j?
True
Let r(k) = k**2 + 2*k - 1. Let h be r(0). Is h smaller than -1?
False
Suppose -5*l = 5*p - 4 + 89, -25 = 2*p + 5*l. Let k be (-16)/p*30/(-4). Which is smaller: k or -7?
-7
Let a = 23 - 3. Let l = a + -20. Is l smaller than 2/9?
True
Let l = -39 - -27. Which is smaller: l or -1/2?
l
Let z = -19 + 19. Is -2/25 >= z?
False
Suppose 14 + 22 = 4*z. Let k be (-1)/2*670/z. Let p = 37 + k. Is p < 1?
True
Suppose 5*d - t - 2 = 0, -4*t + 9*t - 20 = -5*d. Is d less than or equal to 6/5?
True
Suppose 4*s - 20 = -2*z, 2*s = -z - z + 22. Let k(t) = t - 12. Let b be k(z). Which is smaller: 1 or b?
b
Let s be 17/(-10) - (-6)/4. Let u be 2/7 - (-30)/(-7). Let y be (-1)/u - (-9)/12. Which is greater: s or y?
y
Let b(a) = a**3 - 5*a**2 + 5*a. Let r be b(4). Let f be 12/(-16) + 3/r. Which is bigger: -2/21 or f?
f
Let r(f) = -f + 4. Let a be r(-3). Are 7 and a unequal?
False
Let r be (-7 + 7)*2/6. Which is smaller: r or -1.2?
-1.2
Let b = 96 + -97. Which is bigger: -28/13 or b?
b
Let x be (-3)/10*10/12. Let v = 73.31 - 73. Let o = -0.01 + v. Wh