, -f = -5*n + 3*f. Suppose 7 = -5*l - n*i + 18, 5*l + i + 1 = 0. Which is smaller: l or 5/21?
l
Let l = -6 + 7. Let a = 255/32 + -8. Which is bigger: a or l?
l
Let g = 379 - 375. Which is greater: 17 or g?
17
Let s = -0.07 - -0.07. Let c be 1552/(-6) - (-2)/(-6). Let n = -3365/13 - c. Is s <= n?
True
Suppose -5*n - 2*o + 118 = 0, 3*n - 10*o - 70 = -12*o. Which is smaller: 76/3 or n?
n
Suppose 8*d - 30 = 6*d. Let x be (-1)/((-3)/(d*-1)). Let s(u) = u**2 + 5*u - 1. Let i be s(x). Is i != -6/13?
True
Let h = -12.44 + 15.3. Let w = -1.1 + 0.96. Let b = h - w. Is 0.3 less than or equal to b?
True
Let s = -0.1 + 0.1. Let n = -81/220 - -11/20. Is s less than n?
True
Let n = -88 + 88.27. Let z = -0.03 - n. Which is smaller: z or -8?
-8
Let c = -135 + 165. Let n be (-136)/120 + (4/c - 0). Is -13/10 at most n?
True
Let g = 1 - 0. Let y = -2.3 - -2.07. Let m = -0.19 - y. Which is bigger: g or m?
g
Let g be -3 - ((-564)/45)/4. Suppose -12 = -0*j + j. Let x be 12/(-72) - 2/j. Which is smaller: g or x?
x
Let x(h) = 3*h**2 + 2*h. Let y be x(2). Suppose 4*a - 9 = 3. Suppose -2*q - y = -4*z, 2*z + a*z - 20 = 4*q. Is -5 greater than or equal to q?
False
Let p = -2379 - -2380. Let j = 22199/4 + -5597. Let k = 47 + j. Is k at least p?
False
Let l(w) = 6*w**2 + 3*w - 2. Let h be l(1). Suppose -4*u + h = 2*f - f, 4*u = f + 9. Let q be (-1)/(23 + -2)*u. Is q != 0?
True
Let i(x) = x**3 + 7*x**2 + 3. Suppose 5*z = 7*z + 14. Let o be i(z). Is -1/14 < o?
True
Suppose 3*w - 8 - 4 = 0. Suppose 3*s = -2*o - w + 6, -s = -2. Which is smaller: -22/9 or o?
-22/9
Suppose 0*z = 2*k + 2*z + 40, z + 80 = -4*k. Let b be (-30)/k - 6/4. Which is greater: -2 or b?
b
Let m = 3263/28 - -129/14. Let h = m - 126. Is -20/9 greater than or equal to h?
False
Let g = -110 + 62. Let k = g - -33. Is -16 >= k?
False
Let l(n) be the second derivative of -n**4/12 + 3*n**3/2 + 9*n**2/2 - 18*n. Let x be l(8). Which is greater: 2/5 or x?
x
Let b = -49/38 - 2741/114. Which is smaller: -24 or b?
b
Suppose 5*p - 5*f = -20, -5*p - 11*f + 20 = -6*f. Is p bigger than -44/67?
True
Suppose 3*i = -6, -i + 6 = a - 5*a. Let z = 4 - a. Is 6 less than or equal to z?
True
Let k = -25 - -27. Let x be 1/(-1 - -2) + k. Let f be (1*6/14)/x. Which is smaller: 1 or f?
f
Let i be (-2)/3 - (-10420)/15. Let c be 12/(-4) - i/(-230). Let k = 164/3795 + c. Are 1 and k non-equal?
True
Let m be (2/3)/((-12)/54). Let r be 16/24 + (-70)/m. Suppose 26 - 101 = -3*s. Is r < s?
True
Suppose -3*j = -41 + 14. Let k be 0*(1 + j/(-6)). Let i be k - (-632)/(-156) - -4. Which is greater: i or -1?
i
Let u = 3168 - 114059/36. Let z = 1/18 + u. Let l(x) = x - 8. Let i be l(7). Which is smaller: z or i?
i
Let k be (-4)/(-6) - 117444/(-1800). Let j = 395/6 - k. Is j < 1?
True
Suppose -3*j + 4*j = -2*d + 32, -50 = -3*d - j. Let h be 4/6*d/(-642). Is 0 at least as big as h?
True
Let u be 1/4*6*7/(-42). Let b = -18/13 - -265/182. Is u not equal to b?
True
Let a = -12685 - -12603. Let s be (-83 - 1) + 0 - -1. Does a = s?
False
Suppose -3*l + 4 = -2*o + 6, -5*l + 55 = 5*o. Let f be (9/18)/((-44)/48 + 1). Which is smaller: f or o?
f
Let g = -23.6 - -24. Let l = -0.4 + g. Which is bigger: l or -3/5?
l
Suppose 0 = 2*n - 5*t + 15, 4*n + 2*t + 21 = 3*n. Let m be (18/n)/(1/(-20)*3). Is m > 10?
False
Let p(m) = 4*m + 13. Let y be p(-4). Which is bigger: y or -7/3?
-7/3
Let k be 5*(-3)/(-20)*(-8)/(-3). Suppose y + c + 4 = 0, 0 = -4*y + 3*c + k*c + 11. Which is bigger: 0 or y?
0
Suppose 0 = 5*i + 3*j - 10, 6*j - j = -5*i + 10. Let y(p) = -3 + p**3 - i*p + 3*p - 4 - 8*p**2. Let u be y(8). Which is greater: u or 2/29?
u
Let r(s) = -s**2 + 10*s + 9. Let p be r(11). Let h be 33/p - 0/17. Is -18 at least h?
False
Let m = 35 - 28. Let t be m + -3 + (-1 - -3). Is t less than 0?
False
Let a(t) be the second derivative of t**5/20 + 5*t**4/4 - 7*t**3/3 + 39*t**2/2 - 23*t. Let n be a(-16). Which is bigger: 8 or n?
8
Let g(r) = -r**3. Let h(x) = 5*x**3 - 3*x**2 - x - 9. Let z(d) = -4*g(d) - h(d). Let y be z(4). Are 1 and y non-equal?
True
Let i = 8207/26160 + -2/1635. Suppose -5*x + 0*x + 5 = 0. Is x >= i?
True
Let r(z) = 2*z - 11. Let h be r(5). Let b be (-154 - 1) + 3/(-3). Let q = -1400/9 - b. Which is smaller: h or q?
h
Suppose 3*a - 732 = -s, -2*a + 113 = -3*s - 364. Are 241 and a equal?
False
Let g(k) = -k**3 + 5*k**2 - k - 4. Let i be g(4). Let a be (i/(-10))/(2/5). Which is greater: a or -1?
-1
Let k = 27.2 + -23. Let v = 4.54 - k. Let p = v + -0.14. Which is bigger: p or -0.2?
p
Let p be (-2 - 3) + (-3 + 2)*-4. Does p = 1/211?
False
Let a = 432 - 431.9. Which is smaller: a or 0.56?
a
Let g = -542 + 535. Which is smaller: g or -4?
g
Let q = -2686/7 + 384. Suppose 2*h = h + 1055. Let m = 20039/19 - h. Which is smaller: m or q?
m
Let l be (-44)/55 + (-214)/(-5). Suppose -v + 7*v + l = 0. Is -8 at least as big as v?
False
Let h be 2/(-7) - (-2)/7. Suppose 2*k = -h*k + 2. Let j = -3/67 + 179/1005. Is k != j?
True
Let l be 28/(-1058)*(-210)/(-245). Is l smaller than 0?
True
Let z = -0.023 + -5.777. Let d = 15 - 9. Let u = d + z. Is -4 at most u?
True
Let k be (-3 - (-73)/5)*(-1 + -4). Let o = k - -45. Is o at least -11?
False
Let a = -1861 + 3815/2. Which is greater: a or 46?
a
Let v = -283 - -271. Which is smaller: -14 or v?
-14
Let l be 9 - (0 + -1 + 2). Let p be (-3)/(27/(-2)) - 1241/(-153). Which is smaller: p or l?
l
Let c = 12 - 9. Let x be c*-4*(-3)/144. Is -4 != x?
True
Suppose -g + 2 = -0. Let c be g/(-9) - 328/(-18). Let u be (1 - (-5 + 3))*342/54. Is u != c?
True
Let h be 1 + 0 - (-1 - -1). Let b = -1/327099 + -1963248173/8177475. Let o = -240 - b. Is h != o?
True
Suppose 5*g + 4*a + a + 55 = 0, 0 = g + 5*a + 3. Suppose 8 - 33 = 25*l. Is g <= l?
True
Let c be (-98)/(-35) - (-1)/5. Let u = c - 1. Let z be 2/u*1/5. Is -1 smaller than z?
True
Let v = -448 - -3139/7. Let p be (-2)/(-4) + (-1)/(-2). Is p at least as big as v?
True
Let j(g) = -33 + 7*g - 7*g - 3*g - 13. Let u be j(17). Which is smaller: -96 or u?
u
Let c = -159 + 75. Let o be c/(-160) - (-6)/(-48). Let g be -7 - -2*(1 + 0). Which is greater: o or g?
o
Suppose -12 = -3*j + m - 2*m, -5*j + 27 = 4*m. Let n be (j + (-15)/6)*1. Which is smaller: n or -29?
-29
Let r be -13 + 16 - (0 - 0). Let p(d) = -d**2 + 3*d + 4. Let z be p(r). Let w(k) = -k**3 + 4*k**2 - 6*k + 4. Let a be w(z). Which is smaller: -21 or a?
-21
Let y = 326 + -623. Is y equal to -296?
False
Let d = -0.62 + 0.02. Let w = 11.6 + d. Let p = w + -13.6. Which is smaller: -2/5 or p?
p
Let r = 2133 + -360475/169. Is 0 < r?
True
Suppose -2*n - 3*n = 5, 3 = u - 2*n. Let j = u - 1. Let w = -6497/24 - -2163/8. Is j smaller than w?
False
Let w be (2 - 4) + -2 + -20. Let a be w/16 - (-6)/(-4). Do -8/3 and a have the same value?
False
Let z = -96 + 671/7. Which is smaller: z or 1?
z
Let u = -106 - -254. Which is smaller: u or -0.1?
-0.1
Let m be (-8490)/225 - 88/33. Is -41 smaller than m?
True
Let w(p) = -2*p**2 + 6*p - 2. Let y be w(3). Let k(c) = 2*c + 2. Let o be k(13). Let h be o/16 - (-3)/y. Is 4 equal to h?
False
Let s = 737 + -554. Is s smaller than 183?
False
Let x(s) = 10*s + 29. Let k be x(-3). Which is smaller: -2/9 or k?
k
Let d = 83/578 + 813283/5780. Let p = -141 + d. Do p and -1 have different values?
True
Let f = 54 - 89. Let l be (-2)/9 - f/(-45). Let p = -2 - l. Are -2 and p equal?
False
Let m = 1938 - 1938. Is -4.93 equal to m?
False
Suppose -3*l = l - 52. Let t(n) = n**3 + 5*n**2 + 4*n + 2. Let f be t(-4). Suppose 5*m + 3*a - 2*a - 75 = 0, -f*m + 2*a + 18 = 0. Is m less than or equal to l?
False
Let a = -2.6 + 15.6. Let f = a + -6. Which is bigger: -0.1 or f?
f
Let f(l) = -5*l**3 - 52*l**2 + 13*l - 19. Let a be f(-11). Do a and -2 have the same value?
False
Let n(y) = -y**3 - 8*y**2 + 7*y - 13. Let l be n(-9). Suppose 2*h - 15 = 7*h + 5*c, -l*h = -3*c - 9. Let x be 3 - (25/6 - h). Which is smaller: x or -1?
x
Let l be (-6)/(-42) + 139/7. Suppose 0 = v - l + 8. Suppose 3*k + 28 = -2*z + 4*z, -5*z + 49 = 3*k. Which is greater: z or v?
v
Let s = 1/237 - 721/2370. Which is bigger: s or -1?
s
Let u be -1*(-4 - (-42)/9)*-6. Let j = -12 - -23. Suppose m - 1 - 6 = u*d, d = -4*m + j. Which is bigger: m or -1/4?
m
Let d = -8.02 + 8.0522. Are d and 2 nonequal?
True
Let p = 0.04 - 0.05. Let g = p + 0.05. Let b = -5.4 - -5.5. Which is 