 is smaller: 3 or y?
y
Suppose -4*n - n = -20. Let b be (-1)/(-4) + (-26)/8. Let p = b + n. Which is smaller: p or 0?
0
Let c(h) = -h - 2. Let x be c(6). Let w = x - -14. Are 7 and w equal?
False
Let h be (-12)/(-7) - (-2)/7. Let b = -94/11 + 569/55. Which is smaller: b or h?
b
Let j be (-1)/3 - 16/6. Let b = 85 + -85. Which is smaller: j or b?
j
Suppose -2*a = 4*d + 4, 4*d - 1 = -5*a + 1. Suppose -4*f - a*y = -9*f - 5, 0 = 5*f + 4*y + 5. Is -1 smaller than f?
False
Let d be (-6)/(-4) - (-9)/6. Let r(h) = d*h - 2*h - 5*h**2 + 2*h**2 + 1 + h**2. Let u be r(-1). Is u not equal to 2?
True
Let p = -3 + 1. Suppose 3 = 4*q - 1. Suppose q = -l - 1. Is l less than or equal to p?
True
Suppose 3*h - h - 18 = 0. Let g be 93/75 - 1/1. Let k = g - -4/25. Which is smaller: h or k?
k
Let z(o) be the third derivative of o**8/20160 - o**7/1008 + o**6/360 - o**5/20 - o**2. Let k(x) be the third derivative of z(x). Let a be k(5). Is a > 3/2?
True
Let h = 30.5 + -31. Is -6 at least as big as h?
False
Let h be (-1)/(-7) - (-14)/(-49). Suppose 3*a = 5*z + 22, 4*z = a - 7 - 5. Suppose 5*i - a = i. Which is greater: i or h?
i
Let y = -343/870 - 1/174. Let b = -5 - -2. Is y at least b?
True
Let w be (3 + -2)*(1 + 0). Let v be -1 + 0 + -3 + 6. Suppose -v = c - w. Which is smaller: -2 or c?
-2
Let j = 10 - -48. Suppose 5*t - 4*y = -0*y - j, 5*t - 5*y = -60. Is t at most as big as -9?
True
Let p = -0.1 + 0.24. Let l = -0.1506 + 0.0506. Is p < l?
False
Suppose 0*j + 5*j + 25 = -4*r, -4*j - 14 = 2*r. Let w = -3 - r. Let b be (0 - -1) + 1 + -1. Which is bigger: w or b?
w
Let x be ((-2)/2 - 26)*56/(-21). Is x greater than or equal to 71?
True
Suppose -8 = -2*y - 20. Let d(s) be the third derivative of s**6/120 - s**5/12 - s**3 + s**2. Let o be d(5). Is y != o?
False
Let g = 94 - 107. Which is greater: g or -12?
-12
Suppose 4*b + 17 - 5 = -5*f, -3*b + f = 9. Let p(c) = 2 + c + 6 + 0. Let q be p(-7). Are b and q equal?
False
Let w = 9/5 - 3/10. Is 1 at least w?
False
Let q be (-9 - -10) + 82/(-86). Is 0 greater than q?
False
Suppose 16 = -2*m - 2*m. Let q = 6 + m. Suppose 35 = 4*y + 3*a, -4*y = 3*a + q*a - 45. Which is bigger: y or 6?
6
Let l be (-5)/(-40)*-6*4/18. Let i(h) = -h - 2. Let r be i(0). Let v = 3 + r. Is v != l?
True
Let v be 25/5 + (-1 - 2). Suppose 2*p = 3*p - v. Is 3 smaller than p?
False
Let p be 3/(-2) + 55/70. Let l = -2 + 3. Is p greater than or equal to l?
False
Let o = -884/5 - -173. Which is bigger: o or -5?
o
Suppose q = 4, 48 = 4*x - 2*x + 5*q. Let m(k) = -x + k**2 + 14 + 3*k. Let r be m(-4). Is r less than or equal to 3?
False
Let k(p) = -p**2 - 4*p - 4. Let b be k(-4). Let l = b - -4. Are l and -5/4 non-equal?
True
Suppose -i - 4*o + 4 = 0, -o + 2*o - 14 = 3*i. Let q = i + 2. Are -2 and q equal?
True
Let x = -2.22 - -0.22. Is x at least 11/6?
False
Let n(k) = -k**2 - 8*k - 13. Let u be 4/(-10) - (-84)/(-15). Let g be n(u). Is g at least as big as -2/5?
False
Let n be (-37)/105 - (3 + 92/(-28)). Is n at most -1?
False
Let o = 345 - 349. Suppose -3*m = 4*x + 2 - 5, -5*x - 30 = -3*m. Suppose 2*z - 3*z = m. Which is smaller: z or o?
z
Suppose b + 4*b = 65. Suppose o + 0*o - 45 = -3*a, 22 = 2*a - 2*o. Are b and a unequal?
True
Let h = -62 - -119/2. Which is greater: h or -3?
h
Let u(a) = a + 1. Let g be u(6). Suppose 0 = -3*t + g + 11. Let n = t - 6. Is n less than 0.1?
True
Let o be 0 + 0 + 6 + -7. Let y be 16 + 0 + o + 0. Suppose -2*x + y = -5*x. Are -5 and x equal?
True
Let x be 9*(0 + (-2)/(-6)). Let i = x + -3. Let g = i - -1. Which is smaller: g or 1/4?
1/4
Let j = -0.83 + -17.47. Let t = j + 17. Is t less than or equal to -0.1?
True
Let o be (1/(-18))/((-65)/39). Is o at least 0?
True
Let o be 1 + (0/1 - 3). Let f be o + (-1 - -1) + -2. Suppose 0*a + 6 = -2*a, 0 = 2*j + a + 7. Which is smaller: j or f?
f
Suppose -4*c + 4*h + 4 = 0, -2 = 5*c - h + 5. Which is smaller: c or -4?
-4
Let h = -1/158 + 1146/79. Is 16 at most as big as h?
False
Let s be (2 - 0/2) + 0. Suppose 0 = -5*n - 20, -s*c - 2*n + 4 - 2 = 0. Let u be ((-4)/(-10))/(4/c). Which is greater: 2/7 or u?
u
Suppose -5*s + 13 + 2 = 0. Suppose -s*k + 8*k = 0. Let f(u) = u**2 + 9*u + 8. Let m be f(-8). Is k >= m?
True
Let d = -73 + 68.1. Let k = 0 + 5. Let w = k + d. Is 4 equal to w?
False
Suppose 3*z = f - 6, -f = -3*z + 2*f. Let s be 0 + 1 - 0/1. Let v = s - 3. Are z and v non-equal?
True
Let s = -38.2 - -33. Which is smaller: 1 or s?
s
Suppose -3*g = 5*u - 45, -3*u - 2*u = -4*g - 10. Suppose -4*f - 2 = -f - o, f = -o + u. Is 2/19 <= f?
True
Suppose 6 = 2*s + s. Suppose -s*h + 2 = -4*h. Let f(m) = -m**2 - 6*m + 1. Let k be f(-6). Which is smaller: h or k?
h
Let o be (3148/(-2070))/(-2) - 1. Let j = 2/115 + o. Is j bigger than 2?
False
Suppose -9 = -3*c, 2*c = -2*d + 5*c - 37. Let x = -10 - d. Suppose x*h - 6 = h. Is h bigger than 3?
False
Let c = 16 - 11. Suppose 0 = -3*n + r + 18, 4*r = n + c*r - 6. Suppose -2*d + n = -0*d. Is d at least as big as 2?
True
Suppose 2*s - 160 = -3*s. Let w be 28/s + 1/(-1). Which is smaller: w or -1?
-1
Let j be (-2)/((-8)/(-60) + (-38)/60). Which is greater: 6 or j?
6
Let f = -48 - -72. Let s = f + -24.1. Which is smaller: s or -10?
-10
Let s(p) = p**3 + 7*p**2 + p + 10. Let t be (-1)/((-26)/14 - -2). Let q be s(t). Let r be ((-3)/(-9))/(8/(-6)). Are q and r unequal?
True
Let t(v) = v**2 + 6*v + 2. Let u be t(-6). Which is bigger: u or 5/6?
u
Let t(m) = 28*m + 1. Let a be t(-2). Let w = a + 219/4. Do w and 2/9 have different values?
True
Let m = -3 + 14. Suppose -13 - m = -3*o. Let n = -8 + o. Which is smaller: -1/5 or n?
-1/5
Suppose -n = -2*n + 3*m - 14, 0 = n + m - 6. Suppose -5*s + u - 9 = 0, 0 = -2*s + u - n - 5. Let l be 19/9 - (-2)/s. Is l greater than or equal to 0?
True
Let c = -43 - -53. Let k = -2 + 2. Is c less than or equal to k?
False
Let r = -10.34 + 10. Let f = r - 0.66. Let g be 4/10 - (-17)/(-5). Is f bigger than g?
True
Let z = 345 + -483. Which is bigger: z or -139?
z
Let z = -14 + 3. Let t = 10 + z. Do -2/3 and t have the same value?
False
Let l = 19 - 12. Let w(o) = o**2 - 1. Let s be w(2). Suppose 21 = s*d - h, 4*d + h - 38 = -h. Are l and d nonequal?
True
Let b be 2/(-4) + (-10)/(-8). Are -2/5 and b nonequal?
True
Let p = 40 - 64. Let v be (32/p)/(22/(-12)). Let j = 34/77 - v. Which is smaller: j or 0?
j
Suppose 0 = -18*c + 14*c - 436. Which is bigger: -110 or c?
c
Let u = -10/7 + 27/14. Let z = -8 - -6. Let y = -2 - z. Is u at most as big as y?
False
Let r be -3*5/((-30)/4). Suppose 1 = r*f + 7. Do -2 and f have different values?
True
Suppose 4*i - 5*i = 5. Which is greater: -6 or i?
i
Let w(h) be the second derivative of h**6/60 - h**4/24 + h**2/2 - h. Let o(u) be the first derivative of w(u). Let f be o(-1). Which is greater: -2 or f?
f
Let b(a) = -a**3 - 8*a**2 - 2*a - 1. Let r be b(-8). Which is bigger: r or 19?
19
Let y(l) = l**2 + 6*l + 4. Suppose 8 = -3*n - 4. Let c be y(n). Is c bigger than -5?
True
Let d = 8069/315 - 128/5. Which is bigger: 0 or d?
d
Suppose 4*d + 5*z + 103 = 17, -5*z = 10. Which is smaller: d or -20?
-20
Suppose 0 = -9*d + 13*d + 4. Which is smaller: -1/19 or d?
d
Suppose 0 = -3*f + 4*f + 4*t - 7, 2*f - 8 = -2*t. Suppose -37 = -4*b + y - 6*y, -b - f*y + 18 = 0. Suppose -2*c = b*c. Which is greater: -1/7 or c?
c
Let m(a) = -2*a. Let j be m(-2). Let z be j/(-2) + (-10)/(-6). Let l = 1962/7 + -280. Which is smaller: z or l?
z
Let b(m) = 7*m**2 + 2 + 2*m**3 - m**3 - 1 + 6*m. Let q(c) = 6*c. Let y be q(-1). Let x be b(y). Which is smaller: -2/17 or x?
-2/17
Let k be (3 - 6)/(-9 - -3). Which is greater: k or -4/35?
k
Let h be ((-2)/45)/((-13)/(-130)). Is h bigger than 0?
False
Let t(r) = -2*r**2 - 13*r - 1. Let w be t(-5). Which is bigger: w or 15?
15
Let d be 6 + (-1 - -3) + -4. Suppose d*k + 23 = 3*q - 1, 2*q - 2*k - 14 = 0. Suppose -4*m - 8 - q = 0. Which is bigger: m or -2?
-2
Suppose -3*s + 22 = -3*t + 4, 0 = 5*t + 15. Suppose 23 = -2*d - 2*w - 5, -5*d + w = 40. Let g be (s/9)/((-15)/d). Which is smaller: 1 or g?
g
Let b(j) = -j**3 + 6*j**2 + j - 8. Let q(y) = 2*y**2 + 0*y**2 - y**2 + 6 + 7*y. Let l be q(-7). Let t be b(l). Is t at least as big as -1?
False
Suppose -5*d - 2*f + 7*f = -120, 5*d = f + 108. Suppose 0 = -4*b + d - 9. Is 7 at most b?
False
Let j(u) = -u**3 + u**2 + u + 1. Let g be j(-1). Let m 