/19. Which is smaller: l or 1?
l
Let m(z) = z - 4. Let j be m(7). Let h = -6 + j. Let b be ((-6)/(-4))/(h/(-4)). Which is smaller: 1 or b?
1
Let u = -47 - -46.96. Is 5 at least u?
True
Suppose -6*q = -62 - 94. Do 28 and q have different values?
True
Let g = 4/473 - -9917/1892. Is g < 4?
False
Let t = 39/145 - 1/5. Which is greater: t or 1?
1
Let o be (10/(-20))/(2/(-744)). Let x = -2050/11 + o. Are 0 and x equal?
False
Let i = -4 - -5. Let k = -121 - -181. Let x = k - 239/4. Which is smaller: i or x?
x
Let t(p) = -p**2 + 8*p + 6. Let b be t(8). Let m be b/4 - 16/12. Which is smaller: m or -1?
-1
Suppose 0 = 5*i + 4 + 6. Let d(w) = w**3 + 0*w**2 + 4*w**2 + 20*w - 17*w. Let r be d(i). Is 2 < r?
False
Let n(j) = j**2 + j - 5. Let u be n(-5). Let b be 6/u + (-23)/(-5). Is 4 > b?
False
Suppose -i - 3 = -1. Let j be 2/3 + 42/(-9). Let z be ((-3)/(-20))/(1/j). Is i bigger than z?
False
Let y = 0 - -0.1. Suppose r + 4*r - g - 14 = 0, 2*r = 3*g + 3. Let x be (-2 + 5/r)*1. Which is bigger: x or y?
y
Let b(k) = -k**2 - 4*k - 3. Let m be b(-4). Let f be (2 - (m + 2))/1. Is 14/5 at least f?
False
Let k = -14 + 12. Do k and 0 have different values?
True
Suppose -2*c = -8, -2*c = 5*l - 0*c - 13. Which is greater: 2 or l?
2
Let u be (-18)/14 + 44/154. Is -1/12 < u?
False
Let d be (-72)/(-5) - ((-7)/(-7) - 4). Is d less than or equal to 16?
False
Let r(f) = 2*f - 3. Let x be r(5). Suppose -4*n + 7*n = 0. Suppose -2*w + 1 - x = n. Are -3 and w equal?
True
Suppose 4 = -4*f - i - 4, 3*f = 5*i + 17. Is f at most as big as 57?
True
Let y = 1/8 + -37/8. Suppose -4*g + 1 = -2*b + 3, 10 = 5*g. Let k = y + b. Which is smaller: k or 5?
k
Let j be 1/2 - 3/(-2). Suppose 2*x - x = j. Suppose 3*g = -5*c + 34, 0*c = g - 3*c + 12. Which is greater: g or x?
g
Let j(u) = -u**2 - 2*u + 1. Let d be j(-3). Let r = -4 - d. Is r equal to -3?
False
Let s = 12 + -7. Suppose -2*n = -g - n + 3, -s*n + 5 = 5*g. Suppose 0 = -2*i - w - 0*w - g, w = -3*i - 3. Which is smaller: i or -2?
-2
Let c be ((-6)/10 - -1)*(14 - 9). Is -1/8 not equal to c?
True
Suppose 0 = 5*v - v. Suppose -30 = -5*q - v*q. Is q greater than 6?
False
Let r = -6 - 30. Let z be (-2)/7 + r/21. Which is smaller: -3/4 or z?
z
Let o(j) = j**2 + 7*j + 2. Let q be o(-6). Let x be (-4)/(-6)*(-30)/q. Which is smaller: 1 or x?
1
Let h(q) = q**2 + 7*q - 10. Let u be h(-8). Let r be (-7)/u - 1/(-2). Suppose -t = -2*t - 2*c + r, 10 = -2*t + 5*c. Which is smaller: t or -1?
-1
Let v be 5/(60/9) - 174/216. Which is smaller: -1 or v?
-1
Let h(v) = -v**2 + 6*v + 7. Let n be h(7). Suppose c = 5*m - 25, 4 = -4*m - 2*c - 2*c. Which is greater: m or n?
m
Suppose -3*i + z = -8, -5*z + 0*z + 20 = 5*i. Suppose i = 3*w + 21. Suppose 28 + 7 = -5*m. Which is greater: m or w?
w
Suppose -114 = 4*x - 18. Let k be x/15 - (-4)/(-10). Is k at least as big as -3?
True
Suppose 0*b - 5*w = -b - 22, 0 = -3*b - 4*w + 29. Let u be 14/6 - 1/b. Suppose -3*m - u = -3*q + 1, 5*q + m - 17 = 0. Is q bigger than 4?
False
Let a(p) = p - 27. Let m be a(0). Let w be 4/6 - (-30)/m. Which is greater: w or -1?
w
Suppose 3*s + g = -3*g + 57, 3*s + g - 66 = 0. Which is greater: s or 24?
24
Let h be (6/4)/((-27)/(-36)). Suppose 2*y - 2*v = -2, -5*y + h*v = -2*v + 5. Does y = 2?
False
Let k = -3 - -8. Let o = -68 + 38. Let x = -32 - o. Which is greater: x or k?
k
Let d be 39/(-26) - (-14)/12. Which is smaller: d or 0.85?
d
Let f = 0 + -2.06. Let b = f + 2. Let d = b + 4.06. Is d greater than 1?
True
Let r = 337/1914 + 1/174. Suppose -12 = 2*k - 14. Is k equal to r?
False
Suppose 3*w + 26 = 4*i, -4*w + 3*i - 23 = -0*i. Let j be 2/(-4)*w + -4. Let l be (-16)/42 - 2/j. Is l greater than 0?
True
Suppose 0 = -2*r - 2*x + 2, 3*r = 5*x - x - 32. Are r and -1 non-equal?
True
Suppose -2*b - 1 = o + 5, -2*b = -3*o + 22. Let p be (1 - o) + (0 - -3). Which is smaller: -4/9 or p?
-4/9
Let t(s) = -s**3 + 2*s**2 + 2. Let i be t(2). Suppose -i*g + 16 = -z, 0 = -0*g - 4*g - z + 38. Let m be (-60)/21 + g/3. Is m >= 0?
True
Let c(j) = j**3 - 8*j**2 + 8*j - 4. Let x be c(7). Let g be -3 + -1 + x + -2. Are g and -3 unequal?
False
Let m(l) = l**3 - 7*l**2 - 2*l + 13. Let v be m(7). Which is bigger: v or -2/13?
-2/13
Let t(c) = -2*c**2 - 3*c + 1. Let k be t(2). Let r be (-2)/(-5)*(-5)/k. Suppose -5 = 10*s - 5*s. Which is smaller: r or s?
s
Let d(j) = j + 3. Let i be d(-2). Suppose -4*x + 12 = 5*y, -3*x + 4*x + y = 3. Which is smaller: x or i?
i
Let f = -0.02 + 8.02. Is f < 0?
False
Suppose -2*u + 6*u - 4 = 0. Let k be 3 - u - (1 + 0). Is k greater than or equal to 1?
True
Let o be (47518 - -3)/(-7 + 1). Let u = o - -7873. Let z = u + 47. Is 0.2 less than z?
False
Let f = 1 - 3. Let u be 4/18*(f + 1). Which is greater: 0 or u?
0
Let a = -4.97 + 5. Let y = 0.07 + a. Which is smaller: y or -0.2?
-0.2
Let z be (-4)/14 + 10/(-14). Let m be (z/3)/((-10)/(-6)). Suppose -4*v - v = 2*d - 22, 0 = d - 5*v + 19. Which is bigger: d or m?
d
Suppose k = -3 + 4. Is 1/22 at most as big as k?
True
Let r be 3 + 1/2*2. Suppose -l = r*l. Which is greater: 2/7 or l?
2/7
Suppose 0 = 2*b + 2*b - 4. Is 0.3 not equal to b?
True
Let c be (-10)/6*(-9)/9. Suppose -3 = -4*z + 3*z. Is c at most z?
True
Let y(h) = h**2 + 5*h - 16. Let g be y(-7). Let d(p) = 4*p - 1. Let m be d(-1). Let s be 2/m*30/21. Which is greater: g or s?
s
Let t = -11.9 - -9.8. Which is smaller: t or -1?
t
Let r be (4/(-3))/((-8)/96). Suppose r = 3*x + x. Is x bigger than 3?
True
Suppose 0 = -5*c - 0*x - 3*x + 15, -x = -5*c + 35. Suppose 5*d - 2*d + c = 0. Let a be -3*((-30)/(-21))/5. Which is greater: a or d?
a
Let d be (1/((-2)/4))/2. Let p be (d/(-6))/(12/(-16)). Suppose 0 = -20*h + 47*h + 27. Is h at least p?
False
Let m = 68.24 - 1.24. Which is bigger: m or 1?
m
Suppose 2*v + 3*v = -0*v. Which is bigger: -2/13 or v?
v
Suppose r - 1 + 4 = 0, -c + 14 = -5*r. Is -4/11 >= c?
True
Let h(s) = 2*s**3 - 3*s**3 + 4*s - 3*s**2 - 5 + s. Let j be h(-5). Let w be 4/10*j/32. Are w and 2 nonequal?
True
Suppose -j - 2*j = 9. Let t(i) = -i**3 - 3*i**2 + 1. Let h be t(j). Which is bigger: h or 2?
2
Let f = -8.2 + 8.12. Which is smaller: -1/2 or f?
-1/2
Let h = -0.0526 - -4.2046. Let b = h - 0.052. Let w = b + -4. Which is smaller: -1 or w?
-1
Let v = 13 + 4. Suppose -v = -5*n - 2, 2*u + 4*n - 16 = 0. Let r be ((450/8)/15)/(3 + 0). Is u <= r?
False
Suppose z = -1 + 4. Which is greater: -17 or z?
z
Let m(b) be the second derivative of -b**5/20 - b**4/12 + b**3/6 + 5*b. Let l be m(-2). Which is bigger: l or 5/7?
l
Let k(s) = s + 20. Let m be k(-9). Are m and 7 non-equal?
True
Let d = 2198/39 + -16598/273. Let a = d - -54/13. Are 0.06 and a equal?
False
Let i(u) = -u**2 - 7*u + 8. Let y be i(-8). Suppose 0 = -y*s - s. Which is greater: -1 or s?
s
Suppose 3*w + 2*a = -0*a - 11, -a - 4 = 0. Let b be (-1 + 2)*0/w. Is -2 equal to b?
False
Let p = 5 + -3. Suppose 0*w - 2*w = p. Let l(f) = f**2 - 2*f + 1. Let a be l(2). Which is smaller: w or a?
w
Suppose -4*n = 11 - 3, 3*y = 5*n - 17. Which is smaller: -10 or y?
-10
Let u = -22 + 23.1. Let z = 1 - 1.1. Let v = z + u. Do 0.2 and v have different values?
True
Let t = 0 + -1. Let h be (4/(-6))/((-1)/(-2)). Let i = h + 5/3. Which is smaller: t or i?
t
Suppose 0 = -2*r - 2*y + 4, -16*r + 12*r + 17 = y. Suppose -2*f + 6 = -2. Which is smaller: f or r?
f
Let p be (2 + 8/(-6))/(2/3). Is p at least -3/58?
True
Let n = 415/1001 + 2/143. Which is smaller: -1 or n?
-1
Suppose -4*m - 12 = -0*m. Which is bigger: -3/2 or m?
-3/2
Let r be -24*((-3)/9 - 0). Let p = 8 - r. Which is smaller: -2/15 or p?
-2/15
Let k(f) = -2*f**2 + 7*f - 7. Let y be k(4). Do -11 and y have different values?
False
Suppose -5*o = -3*o + 2. Which is greater: o or -1.4?
o
Let i be 5*(-2)/(-4) - 1. Suppose z - 3 = -1. Is z greater than i?
True
Let f be 7/(-4) + 2/(-8). Let b = 21 - 16. Let h = b + f. Is h >= -0.2?
True
Let b(n) = -4*n + 1. Let m(u) = -5*u + 1. Suppose y = 5, 5*y - 6 - 28 = 3*j. Let v(d) = j*m(d) + 4*b(d). Let k be v(2). Which is smaller: 2 or k?
k
Let u(n) = -2*n**2 - n + 2. Let f be u(2). Let a(y) = -y**3 - 7*y**2 + 9*y + 7. Let g be a(f). Is -2/11 greater than g?
True
Suppose 21 = -8*s + s. Let l(o) = 6*o + 3. Let y(d) = -3*d - 1. Let v(w) = -3*l(w) - 5*y(w). Let f be v(s). Is 7 greater than or equal to f?
True
Let b = -9/184 - -4/23. Is -1/3 != 