 5*k + 16, 3*y - 4*k + 12 = l. Is y at least -2?
False
Suppose 3*h + 4*d = -7, -5 = 2*h + d + 3. Is -50/9 != h?
True
Let b = -0.3 + 1.3. Let o = -2 - -1. Let s = o + b. Which is bigger: -1/9 or s?
s
Let s be (-6)/27 + 83893/(-144). Let y = s + 583. Let c = y + 9/16. Is 1 bigger than c?
True
Let c = -118 - -943/8. Which is smaller: c or 1?
c
Let i be 1/(-5) + 2/10. Suppose -3*f = -5*j + 5, i = 4*f - 0*j + 5*j - 5. Is f greater than or equal to 1/3?
False
Let s be (16/(-28))/((-40)/28). Which is bigger: 0 or s?
s
Let v = 1/8 + -23/56. Let g be 4/(-14) - 4/(-14). Which is smaller: g or v?
v
Let a(i) = i**3 - 6*i**2 + 5*i. Let g be a(5). Suppose g*o = -3*o. Let k = 187 + -188. Are o and k equal?
False
Let y be (-58)/(-3 - 33/(-6)). Let i = -797/35 - y. Which is smaller: 0 or i?
0
Let z = 3 - 4.6. Let j = z - 6.3. Let w = j - -8. Which is bigger: -2 or w?
w
Let m be 1/(-1 - 1)*0. Do m and -1/6 have the same value?
False
Let s(z) = -z + 6. Let j be s(0). Suppose j*o - 10 = o. Which is greater: o or -4?
o
Suppose 4*l = 5*l + 2. Let x be ((-28)/(-10) + l)/2. Is -1 less than x?
True
Let w be ((-10)/28)/5*6. Is -1 equal to w?
False
Let x be -2*(-2)/(-4) - 1. Let p be (-76)/(-24) + -2 - 2. Which is bigger: p or x?
p
Let t = 54 + -49. Which is smaller: t or 8?
t
Let l be 4*3/4 + 1. Suppose 2*s = -2 + l. Is -1/10 != s?
True
Let p(g) = -g**2 + 12*g - 10. Let d be p(11). Suppose h + 3 = 1. Let w be (d + 0)*-2 - h. Which is smaller: 1/3 or w?
w
Let z be 1 + 9*2/(-14). Let c be 2/(-6) - (-80)/15. Let d(v) = v**2 - 4*v - 6. Let s be d(c). Which is smaller: z or s?
s
Let j(n) = n**2 + 13*n + 10. Let f be j(-12). Is f > -5?
True
Suppose d + 40 + 46 = 0. Let z = d - -260/3. Let m = 2 - 4. Is z < m?
False
Let u(z) = z**3 + 5*z**2 + 6*z. Let i be u(-3). Is i > 2/3?
False
Let i = -11 - -11. Let o(x) = x**3 + x + 2. Let n be o(i). Which is smaller: 3 or n?
n
Let f be (-4*1/(-4) - 1)*-1. Do f and -1 have different values?
True
Let p(x) = 2*x**2 + 4*x + 4. Let o be p(-2). Which is smaller: 3 or o?
3
Suppose -10*v = -8*v. Which is greater: v or -4/7?
v
Suppose -10*b = -8*b. Is 6/5 less than b?
False
Let c be 3/(-5) - (-34)/(-10). Which is bigger: -3 or c?
-3
Let r(k) = -k - 2. Suppose -3*a - a - 4 = 0. Let c = a - 2. Let u be r(c). Does -2/9 = u?
False
Let i be (2 - (-12)/(-9)) + -1. Which is greater: 4 or i?
4
Let n(p) = 2*p**3 + 2*p**2 - p - 2. Let k be n(-2). Let a be k/(-5) - (-1 - -3). Let d = -57 + 57. Which is smaller: a or d?
a
Suppose -10 - 6 = -4*b. Suppose b*s + 0*s - 4 = 0. Let r = s + -1. Is 0 bigger than r?
False
Let p(y) = -y**3 - 2*y - 1. Let r be p(-1). Let k be 0/(3*(-1)/(-3)). Is r smaller than k?
False
Let m = -0.14 + 0. Let u = 5.14 + m. Are -0.3 and u equal?
False
Suppose 8 = g + 23. Let t be ((-246)/4)/(g/(-20)). Let d = 244/3 + t. Which is bigger: -2/7 or d?
-2/7
Suppose 5*t = 4*x + 10, t - 4 = -t + 3*x. Suppose 0 = 2*b + 2 - 6. Do b and t have the same value?
True
Suppose 0 = 35*h - 34*h + 126. Let t be (-10)/4*h/35. Which is smaller: t or -1?
-1
Let r be (-5 + 31/6)*9/22. Is 0 smaller than r?
True
Let h = 1 + -2. Let l = h + 6. Is 1 < l?
True
Suppose -n + 3*s - 33 = -4*n, 3*s - 49 = -5*n. Let a = n - 6. Suppose u = a*i + i + 2, -5*i + 20 = 3*u. Is 1 bigger than i?
False
Let x be (0 + -4)*(1 - 0). Let q be (-16)/(-10)*(-10)/x. Does q = 4?
True
Let b be 1/14*(-10 + 16). Is 1 greater than b?
True
Let k(q) = q + 2. Let p be k(-10). Does p = -9?
False
Let t = 2 + 3. Suppose 5*g - 5 = t. Let l be (-16)/(-12)*3/2. Are g and l nonequal?
False
Let v = 254 - 109. Let z = -721/5 + v. Which is smaller: 0 or z?
0
Let z = -2.6 - 0.4. Let m = z + 3. Let i = -1 - m. Are i and -1 unequal?
False
Suppose -4*p - 16 = 0, 2*p = -k - p - 8. Let y be 5/(-2*(-2)/k). Let n = y + -4. Is 2/9 >= n?
False
Let l = 36 + -40. Let d be (-6 - -2 - l)/1. Let m be -1 + 2 - 9/8. Is m less than or equal to d?
True
Suppose -2*x + 1 = -2*p + 77, 2*p + 5*x = 62. Let t be p/27 - (0 + 1). Let y be 1*2 + -5 + 4. Which is greater: y or t?
y
Suppose -17*g - 3 = -14*g. Which is smaller: g or 2/65?
g
Let d = 3.1 - 2.8. Which is smaller: d or 1?
d
Let j(p) = -3*p + 3. Let o(r) = 4*r - 4. Let w(n) = -5*j(n) - 4*o(n). Suppose 4*v + 4 = -0. Let k be w(v). Is 1 less than k?
True
Let v(n) = n - 5. Let d be v(0). Let k = d + 5. Suppose 4*w + 15 = 5*x, 5*w - 3*x = -k*x - 9. Which is smaller: w or -2?
-2
Let b be ((-12)/(-15) - 1)*1. Let g = -3/10 + b. Does -2 = g?
False
Suppose 5 + 11 = -4*v. Let k be -2*(2/v - 1). Which is bigger: k or 11/4?
k
Suppose -9*g + 4*g = 0. Suppose 5*y - 100 = -g*y. Suppose 2*v - 5*z - 20 = 5, y = -5*v - 4*z. Is 0 at most as big as v?
True
Let u = 36.16 - 15.2. Let t = u + -20. Let s = t + 0.04. Is s bigger than 4?
False
Suppose 0 = -2*k - 2*p - 12, 3*p + 23 = 2*k - 2*p. Let u = k + 3. Is 3/5 less than u?
True
Let h be ((-3)/27)/((-3)/18). Which is smaller: -5 or h?
-5
Suppose 0 = 7*z + 1 + 6. Let j be (60/21)/(-4) - -1. Is j at most as big as z?
False
Let y = 0.79 - 0.09. Let n = y - -0.3. Let o = 2 + -2.2. Is n <= o?
False
Let v = -0.29 + -0.01. Let o = 1.3 + v. Is -1/5 less than o?
True
Let o = -1.2 + 1. Let u be (-14)/(-49) - 2/56. Which is smaller: u or o?
o
Let n(w) be the third derivative of -w**4/12 + w**3/6 + 2*w**2. Let b be n(8). Is b bigger than -15?
False
Let w(q) = -q**2 - 7*q + 12. Let u be w(-9). Let c be (-138)/36 - u/4. Is -3 bigger than c?
False
Let u = 0 - 0. Let p = 0.07 + -0.27. Let m = u - p. Which is smaller: -2/5 or m?
-2/5
Let y(w) = -w - 2. Let v be y(-6). Suppose -4*c = v*z + 16, 14 = -4*c - 2*z + 6. Which is greater: 2 or c?
2
Suppose 0 = 4*o - 0*o - 4. Let v be (1 - o) + 2/(-3). Is 2/3 < v?
False
Let f be ((-4)/24)/((-2)/(-6)). Let c = f - 1/6. Let l = 0 + -1. Which is smaller: l or c?
l
Let t = 202 + -1619/8. Let i(z) = 2*z - 10. Let g be i(7). Suppose g*j = j. Which is smaller: t or j?
t
Let k be 0 + (-2)/(24/(-9)). Let g = 3 + -2. Is k not equal to g?
True
Let w = 8 - 3. Suppose -w*c = -0*c. Is -1 > c?
False
Suppose 0*y - 2*y + 19 = 5*c, 3*y = -4*c + 11. Which is greater: c or 22/5?
c
Let l = 155/4 - 38. Let b = -5/4 + l. Which is bigger: 0 or b?
0
Let g be ((-1)/130)/(3 + 10/(-4)). Which is smaller: g or 1?
g
Suppose -4*p + 2*p = -4. Suppose 3*b + 0 = 2*u - 5, 3*b - 15 = -3*u. Is b at least p?
False
Let t be (-7 - -11) + -1 + 1. Suppose 0 = -y - y + 4. Suppose 0 = -y*q - t, 0 = 5*g - 0*g + 2*q + 9. Is -2/29 at least g?
True
Let l = 98 - 99. Is -1 less than or equal to l?
True
Let b be (2/(-6))/((-1)/(-3)). Let u be (9/15)/(b/(-5)). Is u >= 3?
True
Suppose 8*f = 3*f + 10. Suppose -f*o + 4*o - 10 = 0. Suppose 4*z = -5*n + 5 + 2, -n + o = -z. Is 2 bigger than n?
False
Suppose 1 = 10*r - 9*r. Which is bigger: r or -1?
r
Let d be 1*((-8)/(-11) + 0). Let k = 208 + -9151/44. Let t = d + k. Which is smaller: 1 or t?
t
Let b(y) = y + 7. Let q be b(-6). Let g be (q/(-2))/(1/2). Let a = 0 + g. Which is smaller: 2 or a?
a
Let q = -121/17 - -30579/4301. Is q less than -1?
False
Let w = 8.5 + 0.5. Let v = 0.06 + 9.94. Let g = w - v. Which is smaller: g or 4/5?
g
Let i = 30 - 25. Let v be 1*((-2)/3 - -1). Is i > v?
True
Let i be (-14)/20 - 2/(-10). Let s = -6.22 - -3.2. Let g = s + 0.02. Which is greater: g or i?
i
Suppose 0 = -0*h - 2*h. Suppose h = x - 4 - 3. Is -1 >= x?
False
Let n = -38/3 + 377/30. Suppose -3*i + 12 = 5*y, -4*y = 3*i - 9*y + 18. Is i less than n?
True
Let k = 17 + -17. Suppose -l = -k*l. Is l at least 1?
False
Let d = -1/4 + -1/12. Is d not equal to -7?
True
Suppose 0 = -2*l + k - 9, 4*k = -0*k + 20. Which is bigger: -1 or l?
-1
Let b be 150/9*8/16. Which is bigger: b or 8?
b
Let i(h) be the second derivative of -h**4/4 + h**3/3 - h**2 - h. Let x be i(4). Let r be 122/x - (0 + -3). Is r > 0?
True
Let c(i) = 2*i**2 + i. Let d be c(1). Suppose 1 = -d*o + 7. Let l be (3 + -3)/(0 - o). Do 1/2 and l have different values?
True
Let s(o) = o**3 - 7*o**2 - 9*o + 8. Let b be s(8). Suppose 5 + 7 = -3*f. Let d = 3 + f. Which is smaller: d or b?
d
Let r(c) = 5*c**3 - 3*c**2 + 7*c. Let k(u) = -14*u**3 + 9*u**2 - 20*u. Let s(x) = -6*k(x) - 17*r(x). Let a be s(-3). Is -3 bigger than a?
False
Let z(t) = 2*t + 2. Let k be z(-7). Let x = k + 11. Which is smaller: 2/25 or x?
x
Let v = -8 - -9. Let u = -9 + 7. Which is smaller: u or v?
u
Let o = 36 