4*n + 49. Suppose -d + n = 1. Suppose 16 = -0*t + 4*t. Is t bigger than d?
False
Let f = -11 + 9. Let u = -50 + 47. Which is smaller: f or u?
u
Let r be 2/(-4)*(-2)/1. Let q = -0.107 - -0.024. Let p = q - -10.083. Which is smaller: r or p?
r
Let b(o) = -6*o + 35. Let f be b(29). Which is smaller: -138 or f?
f
Suppose -a + 0 = 1. Let y be 2 + 0*a/(-4). Suppose 0 = -2*c + 4*x - 4, -y*c + 7*c = x + 8. Which is smaller: c or 5/2?
c
Suppose 58 = 5*l + 13. Suppose 2*o + l - 3 = 0. Let p(c) = 2*c**3 + 2*c**2 - 13*c - 5. Let u be p(-3). Which is bigger: u or o?
u
Let x be 8/20 - 440/(-25). Let g = -20 + x. Let z(k) = -k**3 - k**2 - k - 3. Let h be z(g). Which is bigger: 11/4 or h?
h
Let a = 53 - 81. Let f = a + 23. Let w be f/15 - (-3 - -3). Which is smaller: w or -1?
-1
Suppose -4*k + 2*z + 363 = -819, 0 = 4*k + 3*z - 1187. Which is bigger: 295 or k?
k
Let x be (-4)/10806*((-5)/(-2) + -1). Let t = x + 18023/23413. Which is smaller: t or 0?
0
Let x = 19 + -19. Let h be (x - 3) + 4 - -4. Let s be (h - 2) + -8 + 7. Is s greater than 10/9?
True
Suppose -5*x + w + 23 = -5, 3*w - 16 = -5*x. Suppose 3*t + x = -4*f, 4*t + 5 = -5*f - 0. Suppose u + 2*u = 9. Are t and u non-equal?
True
Let i = -479 + 236. Is i at most -243?
True
Let c = 8 - 20. Let s be (-18)/c*(-4)/(-6). Which is bigger: -4 or s?
s
Let d be (3 + 588/(-30))/(-1). Which is smaller: 16 or d?
16
Let b(x) be the second derivative of -x**4/12 + x**3/2 - x**2/2 - 4*x. Let k(j) = -j**2 + 4*j - 2. Let d(v) = -4*b(v) + 3*k(v). Let m be d(-3). Is m at least 9?
False
Let w = 0.01 - 1.01. Let n = w - -1.1. Let o be 2/(-5)*(-2)/(-4). Do n and o have different values?
True
Suppose -12*p - 5*m - 278 = -13*p, 894 = 3*p + 5*m. Is 291 at least p?
False
Let l = 282.1 + -282. Is l at most -1.53?
False
Let z = -11095/3 + 1885967/510. Let b = z + 3/10. Which is bigger: b or -1?
b
Let m = 11 - 11. Suppose 4*d - 166 + 10 = m. Let j = d + -9. Are 29 and j equal?
False
Let j be ((-16)/(-15))/(-2) + (-31)/(-155). Is j bigger than -12?
True
Let z = 122 + -119. Which is greater: -16/7 or z?
z
Let w = -291308/5493693 - -4/18131. Are -1 and w nonequal?
True
Let w = -10 + -46. Let l be ((-50)/w + -1)*(-4)/5. Suppose z - 2*b - 9 = 0, -4*b - 7 = z + 8. Is z greater than l?
True
Let v = -3 - -3. Let b be (112/245 - 3/5)*-4. Are b and v unequal?
True
Suppose -2*t - 71 = -5*j + 39, 0 = -t + 5*j - 60. Let u = 49 + t. Which is bigger: 4 or u?
4
Let r be 5 - ((-32)/8 + -10 + -6). Let v(n) = -24*n**3 - n**2 + 1. Let t be v(-1). Is r > t?
True
Let z = -522/11 + 968865/20416. Which is smaller: 0 or z?
0
Let i(l) = l**3 + l**2 - 1. Let v be i(1). Let c be (-7132)/24 - 1 - 4. Let d = c + 303. Which is bigger: d or v?
v
Let u(d) = 2*d**2 + 13*d + 4. Suppose 2*t + 0*t + 12 = 0. Let g be u(t). Is -10 at most as big as g?
True
Let c be -1 + (-2 - (133 + -6)). Which is bigger: c or -131?
c
Let x(r) = -r**3 + r**2 - r - 1. Let g be x(-1). Suppose -120 = -11*t + 6*t. Let i be (4 + 261/(-66))*t. Which is greater: g or i?
g
Let b = -65113.99 - -64622. Let m = b - -494. Let n = m - 0.01. Do n and 1 have the same value?
False
Let v(w) = -w**2 + 10*w - 10. Let q be v(10). Let c be -1 - (-3 - 22/q). Let p = -2 + 3. Which is smaller: p or c?
c
Let n(j) = 5*j - 1. Let g(f) = 3*f - 1. Let r(v) = -v - 15. Let i be r(-8). Let o(c) = i*g(c) + 4*n(c). Let k be o(3). Is -1 at least k?
False
Let m(y) be the second derivative of -y**4/6 - y**3 + y**2 - 10*y + 1. Let v be m(-4). Does v = -13?
False
Let y be 4*(-2)/76*1. Suppose 5*k = 120 - 10. Suppose -4*b + k = 2*f + b, -b + 4 = 0. Which is bigger: y or f?
f
Let w(g) = 20*g + 174. Let d be w(-35). Are -525 and d equal?
False
Let f = 7371 + -147381/20. Which is bigger: f or 1?
f
Let x = 9 - 6. Let z(u) = 3*u**2 - u**x + 12*u - 7 + 8*u - 14*u. Let a be z(4). Which is greater: a or 2/3?
a
Let s = 1401 + -1269. Is 4 at least as big as s?
False
Let f = 63 + -57. Let i be ((-22)/3)/(4/f). Are i and -11 equal?
True
Let c(o) = o**2 - o - 90. Let n be c(-9). Which is greater: n or 12/49?
12/49
Let x be (-1 + -1)/(-6) - 10/3. Let t(y) = y**3 + 3*y**2 - 5. Let l be t(x). Which is greater: l or -40/9?
-40/9
Let b = 5483/5075 + -31/29. Is b >= -2?
True
Suppose 0 = -l + 11*o - 8*o - 413, -2116 = 5*l + 2*o. Is 0.2 at least as big as l?
True
Let r be ((-2)/6)/((-4)/(-6)). Let l = -1685 - -1683. Is l > r?
False
Let p be (3 + -4)*184/(-2). Suppose p*n = 87*n - 10. Which is greater: n or 2?
2
Let s be (-3)/(-1 + -5) + 858/(-276). Which is bigger: s or -4?
s
Let u = 1242 - 1242.3. Which is smaller: -94 or u?
-94
Let y be (-4)/10 - (-1378)/4460. Let q = 2/223 - y. Which is smaller: 0 or q?
0
Let z = -2.6 - 31.4. Let w = 75 - 74. Which is bigger: z or w?
w
Suppose -7*d - 2*d - 9 = 0. Let n = -663/7 - -95. Which is smaller: n or d?
d
Let a = 15/11 - 25/99. Suppose 5*i = -3*f + i + 23, 3*f - 28 = -5*i. Are a and f equal?
False
Let j be 67*(98/35 - 3) - 50/(-10). Let m be (-9 - -1*1) + -1. Is j != m?
True
Let k be 3 - 1*(-1)/1. Suppose r = -3*f + 6*f + 281, 5*f = -5*r - 435. Let q = -86 - f. Is q at least k?
True
Let z be (4/6)/(248/(-93)). Is -154 smaller than z?
True
Suppose 2*l + 4*b - 13 = 3*b, 0 = 3*b - 15. Suppose 6*q + l = 10*q. Let z be (2/1)/(-3 + 1). Which is smaller: z or q?
z
Let o be (-6)/2 + 3 - (-15)/(-39). Does 0 = o?
False
Suppose -5*i + 189 - 9 = 0. Let z = -35 + i. Suppose -2*u + y - 1 + 6 = 0, -10 = u + 2*y. Which is smaller: u or z?
u
Suppose -3*u + 2*v = 1, -6*u = -u - 4*v + 3. Let c be 3 - 7*2/u. Let y = 1 + c. Is y at least as big as -9?
False
Let q = -27 + 14. Let r = -0.3 + 0.1. Is r > q?
True
Let n = 1471/14 + -105. Does 0 = n?
False
Let x = -777 - -24092/31. Let o = x + -51/124. Which is greater: o or 7/15?
7/15
Let i = -29.6 - -18.6. Suppose 0 = 5*k + 5. Which is bigger: i or k?
k
Let j = 11 + -9. Let i be (j/8)/(1/(-4)). Let c = i - 2. Is c at least -5?
True
Let a(s) = -s**3 - 36*s**2 - 38*s - 221. Let f be a(-35). Is f greater than -114?
False
Let k be 2/3*3/2. Suppose h - l = 2*h - k, 0 = -5*h + l - 1. Let s = 323 - 4201/13. Is s less than h?
True
Suppose -4*a + 20 = -80. Let o be (0 - (-3)/(-5)) + (-10)/a. Is o at most 0?
True
Suppose 131 = 2*u + u - w, 3*u + 4*w = 151. Let s be 1 + 0 + (-95)/u. Do 2/7 and s have the same value?
False
Let g be (-7 + (-66)/4)*5. Is -118 equal to g?
False
Let s = -3 - -2. Suppose 8 = k - g, k - 2*g = -3 + 16. Suppose 3*j - m = 1, -2*j = k*m + 15 - 1. Do s and j have the same value?
True
Suppose -w - 2 = w - 2*x, w + 17 = -3*x. Let c = w + 10. Suppose -75 = -c*q + 4*y, -4*q + 43 = -q - 2*y. Is q > 12?
False
Let n = 171941/111 + -1549. Suppose 49*h = 46*h. Which is greater: h or n?
n
Let x(l) = -203*l + 60. Let k be x(1). Which is bigger: k or -145?
k
Let o be 5/25 - (-52)/(-10). Let q be 2 + -2 - o - 0. Suppose -1 = -3*t - q*k + 7, -5*t = -5*k. Is 2/17 at most as big as t?
True
Let b = 1.4 - 0.8. Let r = 2.6 - b. Let m = r + -1.9. Is 2/5 bigger than m?
True
Let c be (12/(-10))/(27/1980). Which is bigger: c or -0.1?
-0.1
Let m be -2 + ((-2)/(-24))/((-7)/(-189)). Which is smaller: m or 1/20?
1/20
Let u = 0.0881 - -2.9119. Which is bigger: u or 1/126?
u
Let k(h) = -10*h + 12. Let o be k(-3). Let y be 76/7 - (-6)/o. Is 11 at least as big as y?
True
Let r(k) be the third derivative of 0 + 0*k - 11/60*k**5 - 1/120*k**6 + 3/2*k**3 + 9*k**2 + 1/24*k**4. Let b be r(-11). Which is smaller: 0 or b?
b
Let n = 2 - 13/6. Let w be (-28)/(-8) - 2/4. Suppose 11*j = 14*j + w. Is n less than or equal to j?
False
Let u(l) = -l**3 + 28*l**2 + 31*l - 43. Let v be u(29). Is 9 < v?
True
Let o be 15*(-6 - 867/(-135) - (-8)/(-40)). Let j = 0 - 1. Is o not equal to j?
True
Suppose -m + 5 - 2 = 0. Suppose 0 = m*b - 0*b - 15. Suppose 0 = -4*n + b*n - 1. Is n greater than or equal to -2/5?
True
Let n = -613 - -614. Which is smaller: 465 or n?
n
Suppose 0 = 3*p + s - 2, -67 = -3*p - 2*s - 66. Is p less than 16/73?
False
Let n be 0*(2 - (-3)/(-2)). Suppose -13 = -2*l - 121. Let p = l - -161/3. Is p less than n?
True
Suppose -6*o - 1 = -1. Suppose 3*l - 1 - 9 = -4*k, -l + 2 = o. Is 2 >= k?
True
Let b = 12 + -7. Suppose b*w - 8 = 2. Suppose o - w = 5*f, 2*f + 21 = -5*o + 4. Are o and -4 nonequal?
True
Let j = 680 - 680.4. Let y = -0.7 - 0.3. Let m = 0.6 + y. Is j less than or equal to m?
True
Let s =