 Which is bigger: -2/207 or k?
k
Let y(h) = -3*h. Let s be y(-3). Let p = s + -19. Let o be 5/(p/(-4)) + -1. Are 1/15 and o equal?
False
Suppose 0 = 3*j + 4*k + 1, 3*j + 8 = -2*k - 3. Which is smaller: -4 or j?
j
Suppose 2*i + 3 = -3*i + 4*u, 4*u = -i + 9. Suppose 0 = -2*c + 2*x + 8, 0*c - 3*x - 14 = -c. Let l = i + c. Which is greater: l or 1?
1
Let n = 4.9 - 5. Which is smaller: n or -1/6?
-1/6
Let k(o) = -o**3 - 9*o**2 - 10*o - 11. Let v be k(-8). Which is smaller: 9 or v?
v
Let b = 0.17 - -1.83. Is b > 7?
False
Let j be (-13 + 9)*(0 - (-2)/36). Let f(k) = k**2 + 4*k + 6. Let n be f(-4). Suppose 3*q + x + 1 = 0, -x + 1 = -5*q - n. Is j at most as big as q?
False
Let p = 22 + -31. Let y = p + 8.9. Are 1 and y unequal?
True
Let l be 0 - 2 - (-1 + 26). Let k be (-7)/(-3) + (-12)/(-18). Let g be -1 + (l/(-7))/k. Is g at most -1?
False
Let h = -14.8 + 15. Let j be (-1 + -2)/(-3)*-1. Let t be (-4)/10*(-5)/j. Which is greater: h or t?
h
Suppose 3 = -5*p - 4*s, -4 = 5*p - 2*s + 17. Let r(u) be the third derivative of -u**5/60 - u**4/12 - u**3/6 + 7*u**2. Let i be r(p). Is i at most as big as -3?
True
Let p be (33/(-45))/((-12)/(-30)). Which is smaller: -1 or p?
p
Suppose s + 2*s - 12 = 0. Let y = 136 - 267/2. Which is smaller: s or y?
y
Let t be (-44)/(-6) + (-10)/(-15). Let f = t + -13. Which is greater: f or -4?
-4
Let t = 34 - 35. Are t and -3/2 non-equal?
True
Let x be (1/(-14))/(1/(-2)). Let l(p) = -p**3 - 13*p**2 - 11*p + 16. Let r be l(-12). Suppose 3*v + 0*f + 5 = f, 3*v - r*f = -20. Are v and x nonequal?
True
Let l be 1/(-1161)*3/(-2). Let z = l - -9481/387. Let f = -25 + z. Which is greater: -1 or f?
f
Suppose -3*n = 0, 4*z - 18 = z - 2*n. Suppose 0 = -56*g + 61*g - 25. Is g greater than or equal to z?
False
Let z(g) = -g**3 - 11*g**2 + 3. Let f be z(-11). Let b be f/4*(-24)/114. Which is smaller: 0 or b?
b
Let t(v) = -v - 12. Let c be t(-6). Let n = c + 5. Is -2/11 at most n?
False
Let u = -1 + 1.1. Let x = 1.9 + u. Which is smaller: -2 or x?
-2
Suppose 3*y = -a - 21, y - 3*y - 15 = a. Let o = y + 8. Which is smaller: o or -1?
-1
Let i be -1 - 1 - (-332)/164. Which is bigger: 0 or i?
i
Let w(t) = t**3 - 3*t**2 + t + 2. Let p be w(2). Suppose -2*m + 10 = -2*b, -5*b - 19 = -6*m + 3*m. Suppose p = -4*i - m - 13. Is i < -5/2?
True
Let n be 7*2 + (-6)/3. Suppose 0 = y - 4*y + n. Is 4 bigger than y?
False
Let o = 32216/13 + -2621. Let z = 143 + o. Are z and 0 unequal?
True
Let j = -6 - -4. Let i be (3/(-2))/((-42)/(-35)). Is i smaller than j?
False
Let r be (2/(-7))/(18/(-14)). Let o = -21 + 21. Which is bigger: r or o?
r
Let p = -3.6 - -3. Let z = p + 1.6. Which is greater: z or 0.9?
z
Suppose 1 = -h - 4. Let r be 2/h*14/(-4). Let m be -1 - (0 + -5 + 3). Which is smaller: m or r?
m
Let z = 0.2 - 13.2. Do z and -1 have the same value?
False
Suppose -i - 4*v = 10, 0 = -2*i + 7*i - v - 13. Suppose 0 = -i*a - a + 3. Let q be (-2)/(-9)*(-3)/2. Which is smaller: a or q?
q
Let k(n) = -n**2 - 15*n - 18. Let o be k(-13). Is 6 greater than or equal to o?
False
Suppose 2*l - 2 = -0*l. Suppose 2*u = 1 + 3. Let c be u + (1 - (-2)/(-1)). Is l at least as big as c?
True
Suppose 0 = 4*o - 0*o + 40. Let u be -5*(0 - 4/o). Which is smaller: u or -3?
-3
Let y = 0.04 + -0.34. Let b = -0.19 + 0.19. Which is greater: y or b?
b
Let x = 2 + -1.8. Let j = 2.1 - 0.9. Let r = j - x. Is 1 at least as big as r?
True
Let p = 0 - 1. Let z(j) = j**3 - j**2 - 2*j + 3. Let v be z(4). Let o = v - 257/6. Which is smaller: o or p?
p
Let v(y) = -2*y**2 - 16*y - 45. Let q be v(-9). Which is smaller: q or -64?
-64
Let d = 0 - 2. Let i = d + 18. Suppose -5*l = -9 - i. Is l equal to 4?
False
Let j = -4 - -4.1. Let f = -0.38 - -0.08. Let d = 0.2 + f. Which is bigger: d or j?
j
Suppose -s + 15 = 5*d, 2*s + 3*d + 9 = 25. Is -4 bigger than s?
False
Let w = 7 + -10. Is w equal to -3?
True
Suppose 3*n + 3 = 4*n. Suppose 0 = 5*w + 2*d + 70 - 255, -95 = -n*w + 2*d. Suppose y - 2*v + 8 = 0, 0 = -5*y - 5*v + w - 0. Which is greater: 3/5 or y?
y
Let m be 7/(-28) - 10/(-8). Suppose 3*a - m = 11. Let f be -3*2*a/6. Which is smaller: -3 or f?
f
Let t be -3 + (130 + -1)/(-3). Let v = 320/7 + t. Which is smaller: 1 or v?
v
Let u be 1 - 10/26*3. Let a = 0.28 - 0.18. Is u at most a?
True
Let f be 18/(-8)*4/1. Let z(l) = -13*l + 44. Let p be z(4). Which is greater: f or p?
p
Let k(m) be the first derivative of -2*m + 1 + 1/2*m**2. Let w be k(0). Is w smaller than -3?
False
Suppose -5*x = 2*y + 2*y - 12, -3*x = 2*y - 6. Suppose 2*g = -y*g. Let l(s) = s**2 - 7*s - 7. Let v be l(8). Which is bigger: g or v?
v
Let h be -2 + 70/22 - 1. Let i be (-7)/(-84)*16/10. Let g = 1/5 + i. Is h greater than g?
False
Let s be (59 - -2)*(-2 + 1). Let h = s + 96. Let c be 2*1 + (-55)/h. Is 1 less than c?
False
Let x(l) = l**2 - 2*l - 13. Let u be x(5). Is 3 not equal to u?
True
Let a be 8*(-2)/(24/(-9)). Let w be -2*(-26)/(-8)*-2. Suppose 2*d - a = 3*p, -3*d + p = 2*p + w. Is d != 1?
True
Let a = -7/102 + 4/17. Let r = 0.03 + 0. Let m = r - 0.03. Is a at most m?
False
Let k = 31/2 - 16. Which is smaller: -1 or k?
-1
Let b be (-41)/5 + (-6)/(-30). Is -7 > b?
True
Let v = -12 + 8. Let y = 4.04 + v. Which is bigger: y or -2?
y
Let n(j) = 3*j + 21. Let c be n(-7). Let y be 4/(-15)*(-19)/(-8). Let x = 3/10 + y. Is x greater than or equal to c?
False
Let l(n) = -n**2 - 5*n + 2. Let x be l(-5). Suppose 2*q + 3 = -3*z + 2, -x*q + 11 = -z. Suppose -2*p + 6 = q*y, 3*p = -0*y + 4*y + 9. Which is greater: y or -1?
y
Let k(o) = o**2 + 2*o - 1. Let q be k(-3). Suppose -j - 4*a = 10, -j + 3*a + 0*a + 11 = 0. Are j and q non-equal?
False
Suppose 5*i + 0*z - 2 = 3*z, -3*i + 4*z = -10. Is i equal to -3?
False
Let f = -5.8 + 1. Let b = 5 + f. Which is bigger: b or 2/5?
2/5
Suppose 44 = 4*t + 32. Which is greater: t or -1?
t
Let h = -391 + 36753/94. Is h less than 0?
True
Suppose 0 = 4*v + 2 + 6. Let q be (96/112)/((-1)/((-7)/(-11))). Do q and v have the same value?
False
Suppose -49 = -0*i + 4*i - 3*x, 2*i + 17 = -x. Let r = 10 + i. Is -1 greater than r?
False
Let f be -2*3/30*-2. Let a = -11 - -43/4. Which is smaller: a or f?
a
Let m be (-4)/2*(-6)/1. Suppose -55 - 29 = -7*c. Is c greater than or equal to m?
True
Suppose 3*r = 7*r. Suppose r = -3*w - 3*m, 5*w - 5*m = 7 - 17. Is w at least as big as 2/9?
False
Let f(y) = y**2 + 7*y + 7. Let s be f(-6). Which is smaller: s or 1/11?
1/11
Let b(o) = -o**3 - 4*o**2 + 2*o + 9. Let l be b(-4). Which is smaller: l or -2?
-2
Let k = -6 - -6. Which is bigger: k or 41?
41
Suppose 7*y = 3*y + 20. Which is greater: y or -1?
y
Let f(h) = h**2 - h. Let u be f(0). Let l(g) = g**3 - g**2 + g. Let k be l(u). Which is smaller: -3/4 or k?
-3/4
Let n = 2540/989 + -58/23. Which is smaller: 1 or n?
n
Suppose -2*f + 2*t - 4*t + 20 = 0, -5*t = -2*f + 20. Let v be 7/(-15)*f/35. Is v at least as big as -1?
True
Let z = -74/5 + 503/35. Is z not equal to 0?
True
Suppose 0 = -0*f - 5*f. Which is bigger: f or -1/39?
f
Let g(m) = -m**3 + 8*m**2 + 8*m + 13. Let a be g(9). Suppose -2*r - v + 1 = 0, -a*r - 33 = v - 6*v. Which is bigger: -3/5 or r?
-3/5
Suppose 3*f - 2*g + 22 = 3*g, -g + 2 = -3*f. Let r = -2/53 + -96/265. Which is smaller: f or r?
r
Let z(x) = -x**2 - 2*x + 3. Let n be z(-3). Suppose -w + 3*w + 4 = n. Is w at least -2?
True
Suppose 0 = 5*v - 1 + 6. Which is smaller: -2 or v?
-2
Let l be (10 - 0)*(-10 - 0). Let t be (-16)/l*5/2. Is t at least -4?
True
Suppose -29 + 8 = -3*r. Suppose 11*g - 96 = -g. Which is smaller: g or r?
r
Let z = -131461/81 + 1623. Is 0 smaller than z?
True
Suppose -2*t = 3*t - 5. Let a be ((-3)/9)/(t/3). Do a and -1 have different values?
False
Let j = 0.03 - 2.03. Which is greater: -10 or j?
j
Let q be ((-14)/(-4) + -3)*1. Which is greater: q or 0?
q
Let d(o) = -o**3 - 3*o**2 + 7*o + 9. Let q be d(-4). Suppose -5*z - 3 = -4*z. Is z != q?
False
Suppose 3*g - 3 - 9 = 0. Let k be (-24)/(-45)*1/g. Is k less than -2?
False
Suppose -d + 25 = -2*n, -47 = 4*n + 3*d - 2*d. Which is bigger: 0 or n?
0
Let c(y) = -y**2 - 2*y + 5. Suppose -5 + 0 = m. Let q be c(m). Let n be ((-4)/q)/((-1)/5). Which is smaller: n or -3?
-3
Let j = 11 + -9. Which is bigger: j or 8/5?
j
Let m = 0.4 + -0.4. Let x = -0.2 - m. Let q = -0.1 - x. Which is bigger: q or 1?
1
Suppose 0*y + 4 = -4*y. Which is bigger: -2/1