hich is bigger: v or -1?
v
Let u = -0.145 - 24.955. Let k = 25 + u. Which is greater: k or -1.6?
k
Let m = -0.2 + -0.6. Let y = 1.6 + 1.2. Let o = m + y. Are o and -1/3 equal?
False
Suppose -39 - 33 = -2*a. Let q be a/(-16) - (1 + 1). Let i = 43/12 + q. Is 1 smaller than i?
False
Let j be 196/10 + (-8)/(-20). Let a = j - 61/3. Suppose -3*p + 1 = -2. Which is smaller: p or a?
a
Let z be 21 + -4 + 5 - -2. Which is greater: z or 25?
25
Let u = -241/4632 - -2/193. Is 1 less than u?
False
Let v = 12 + -7. Let n(z) = z - 1. Let m be n(v). Suppose 0 = -4*y - 0 - m. Is y > -2/7?
False
Suppose 10*q - 5 = 5*q. Let h = -308 - -7393/24. Which is smaller: q or h?
h
Let m(w) = w + 6. Let z be m(-5). Let a be (1 - z)/(1 - -1). Suppose -3*u = -0*u. Is u <= a?
True
Let n be (-16)/(-42)*(-9)/4. Suppose -s = -b - 1, -2*s + 7*s = -2*b - 16. Let k be 3/(-6) - 1/s. Which is bigger: k or n?
k
Suppose -4*r + v - 12 = 5*v, -4*r + 3*v + 2 = 0. Is r not equal to -2/45?
True
Suppose 5*r + 2 = -3. Which is greater: 2/19 or r?
2/19
Suppose -f - f + 3*s + 33 = 0, 0 = -s - 5. Suppose f = -2*g - 11. Let m = -7 - g. Which is bigger: m or -1?
m
Let r(j) = j + j**3 + 2*j**2 + 4*j**2 + 8 + 0*j**3. Let l be r(-6). Suppose -2*x = 4*a, 4 = x - l*a - 0*a. Are x and 1 equal?
False
Let o be 42/4 - 2/4. Suppose 0 = -3*h - 5*j + 28, 8 = 2*h + 3*j - o. Let g(a) = -a + 4. Let n be g(h). Is n at least -1?
False
Let r = 6 + -8. Let a be (-1)/r*(-1 - -1). Let t be 2/(-3) - 2/(-3). Is t >= a?
True
Let v(z) = z**2 - 5*z - 6. Let s be v(6). Let p(k) = -k**2 - 5*k + 21. Let f be p(-7). Is f bigger than s?
True
Let w = -3 + 2. Suppose 0 = m + 5*u - u + 17, 32 = 4*m - 4*u. Is w at least m?
False
Let q = 2.94 + -3. Let n = q - -0.06. Which is bigger: n or 0.2?
0.2
Let r = 1.36 - 1.43. Which is smaller: r or 12?
r
Suppose 0*a = -x + 4*a + 49, 5*x + a - 203 = 0. Let w = -125/3 + x. Suppose 2*v = 7*o - 3*o + 2, 0 = 4*v - 4*o - 4. Is v at least as big as w?
True
Let t(w) = 2*w - 19. Let q be t(10). Is q at most 6?
True
Let i(v) = v**3 + 16*v**2 + 17*v + 29. Let o be i(-15). Which is smaller: o or 2?
o
Let a = 123 - 164. Which is smaller: a or -40?
a
Let o be (3/(-10))/((-9)/6144). Let g = 204 - o. Is -2 >= g?
False
Let t be 10/55 - (-53)/11. Let f(d) = 7*d + 1. Let i(w) = -w - 1. Let h(y) = f(y) + 6*i(y). Let p be h(t). Does -2 = p?
False
Let c = -10.2 + 10. Is 0.2 greater than c?
True
Let p be ((-15)/(-6) - 2)/((-1)/(-16)). Is p less than 7?
False
Let k = 0.4 + -4.4. Let s = -8 - k. Let q = s + 4.2. Which is smaller: q or -2/3?
-2/3
Suppose -32 = -2*u - 2*u. Suppose -h - u = -5*h. Which is bigger: h or 3/5?
h
Let t be (-38)/(-9) + -2 - 2. Let s(c) = -c**3 + 7*c**2 + 1. Let q be s(7). Is q greater than t?
True
Suppose -2*m = 2*m - 5*d + 77, 0 = 2*m + 4*d + 6. Let t = 12 + m. Is t greater than or equal to -4/7?
False
Let o(v) = -2*v - 11. Let i be o(-5). Is i less than or equal to -1/12?
True
Let o = 3 - 6. Let c = o + 2.3. Let a = c - -0.8. Is -2 at least as big as a?
False
Suppose 4*w + 4 = 12. Is 5 greater than w?
True
Let g = -13 - -16. Is -3 greater than g?
False
Let u = 8 - 7.93. Is 1/2 smaller than u?
False
Suppose 5*b - 17 = -2. Let a = b + 0. Suppose -5*s - 2*w = -9, 16 = 5*s + w + 4. Are s and a non-equal?
False
Suppose -52 = -5*o - z, -5*o + 3*z = -2*z - 40. Let b(n) = n**3 + 7*n**2 - 9*n + 2. Let r be b(-8). Are o and r non-equal?
False
Suppose 20*s - 18*s - 2 = 0. Let r be 3 + 0 + 0 + 2. Which is greater: r or s?
r
Let r be 0 + 1 + 1 - -21. Let z = 7 - r. Let j be z/6 + 2/3. Which is smaller: j or 1/3?
j
Suppose -5*r + 5 = 2*v + 2, 2*v = -4*r + 2. Let u = -131/549 - -1/61. Is u at most as big as r?
True
Let f = -11 - -11.1. Which is bigger: f or 5?
5
Let i = -8.9 - 0.1. Let w = -9.3 - i. Which is greater: 0.4 or w?
0.4
Suppose 2*q - 4*m = 22, 13 = 5*q + 5*m - 12. Is 7 <= q?
True
Suppose -z = 15*z + 5*z. Let h be (-12)/(-13)*(0 + -1). Is h <= z?
True
Let s(d) = -4*d + 8. Let f be s(3). Is f bigger than -3?
False
Suppose -3*k = 2*s - 12, 2*s - 7*s - 4*k + 30 = 0. Let j be (2 - -1)*4/s. Suppose n + 5 = j*n. Is 5 != n?
False
Let b = -1 - -12. Let h = -7 + b. Suppose -h*t - 8 = 4. Is -3 > t?
False
Suppose 0*s = -3*s, -3*l - 3*s = 0. Let g = -20 - -21. Is l != g?
True
Let a be ((-21)/(-12))/((-1)/4). Let h(z) = -z**2 - 6*z + 5. Let j be h(a). Suppose 3*w = -2*r + 1, 3*r - 4 = 5*w - 12. Is j at least r?
False
Let w be (-6)/7*(-8 - -1). Let q = -3 + 6. Suppose -5*f - w = -q*h, -4*h - 1 = -9. Which is smaller: f or 0.1?
f
Let m be (-24)/(-1) - -1 - 2. Are 24 and m non-equal?
True
Let c = -8 - -8.3. Let s = -5.4 - -5. Let q = c + s. Is q bigger than -0.1?
False
Let y = 11 + -7. Suppose r + 9 = -y*n, -2*n + 5*n + 2 = 4*r. Suppose 0 = 4*w + 3*g + 4 - 2, 3*w - 2*g = -10. Is w smaller than r?
True
Let d = 1 + -1.1. Let q = -46.19 + 46. Let y = q - 0.01. Which is greater: d or y?
d
Suppose 2*m - 2 = 2*q, -2 = 3*q + 2*m + 1. Let j = 3820764/11 + -347091. Let l = j - 251. Which is smaller: l or q?
q
Let u = -5 + 4.97. Let l = u + -3.97. Is l at least as big as -2/7?
False
Let o be (4/6)/((-20)/(-30)). Let d = 0 + 4. Let a be 1/d - 0/(-2). Is a >= o?
False
Suppose 0 = -r - 3*r - 16, -3*a + 4*r = -22. Which is bigger: 4 or a?
4
Let l be ((-62)/(-4))/(-1) - -1. Let j = l + 15. Are j and -5 non-equal?
True
Suppose 6*w = w - 15. Let z = -6 + w. Is z greater than -9?
False
Let h = -24 + 19. Let n = 11 + h. Is n smaller than 5?
False
Let c(l) = 2*l**3 + 7*l**2 + 6*l + 14. Let a be c(-5). Do -90 and a have the same value?
False
Suppose 5*g + 18 = -g. Let i be 4/88*(g - -1). Is -1 bigger than i?
False
Let n = -22 + 22. Let f = -650 + 17548/27. Are n and f non-equal?
True
Let b(t) = t + 10. Let s be b(-6). Let w = 17 + 4. Let g be s/(-6)*(-7)/w. Which is smaller: 1 or g?
g
Let z = -0.9 - 0.1. Let w = -0.08 + -0.14. Let i = 2.78 - w. Is i > z?
True
Let t = -1136/7 - -162. Is -3/7 not equal to t?
True
Let o = 1396/77 + -190/11. Let w(k) = k**3 - 8*k**2 - 8*k - 8. Let r be w(9). Which is smaller: o or r?
o
Suppose -5*u + 2 = -13. Let b be u/13*4/(-6). Is b at least as big as 1?
False
Let t = -10 - -18. Suppose -2*h - t + 4 = 0. Does h = -2/5?
False
Suppose 5*g - 5*t - 10 = 0, 4*t - 4 = 6*t. Is -2/29 < g?
True
Let f = -8 - -7.6. Is f smaller than 1?
True
Let h(g) be the second derivative of g**5/120 - g**4/3 - g**3/6 + g. Let r(j) be the second derivative of h(j). Let q be r(8). Is q > -1/3?
True
Let a = 487018397/5370 - 272077/3. Let y = a + -1/179. Let q(h) = h + 3. Let v be q(-3). Is y >= v?
True
Let f be (-2)/11 + (-11 - -11). Which is smaller: -1 or f?
-1
Let g(f) = f**2 + 9*f + 10. Let t be g(-8). Suppose -a = t*a + 3. Let s be (-22)/6 + (3 - 1). Which is greater: a or s?
a
Suppose -2*g = 2*q - 36, -4*q + 6 = g - 0*q. Is g < 22?
False
Let b = -62 + 312/5. Let t = -0.5 + 0.47. Is b at most t?
False
Let t be 3/(-15)*(15/(-74))/(-3). Which is smaller: t or 0?
t
Let v = 9.163 + -1.133. Let t = -8 + v. Is t < 2?
True
Let b be (-15)/(-5) - -7*2. Suppose -4*p + 4*y - 16 = 0, -5*y = p - 3 - b. Which is smaller: p or -3/4?
-3/4
Let y(p) be the first derivative of -p**3/3 - p**2 + p + 4. Let o be y(-2). Does o = -1/8?
False
Suppose -5*j - 3 = -2*j. Let i be (-1 - 20/(-16))/j. Which is smaller: -1 or i?
-1
Let b be -6*(-2 - (-7)/3). Which is bigger: -1/2 or b?
-1/2
Let v(g) be the third derivative of g**4/24 + 5*g**3/6 - 2*g**2. Let s be v(-7). Which is smaller: s or 0?
s
Let r be 1 + 0 - (1 + 5/(-25)). Suppose -1 + 9 = 2*u. Suppose -u*t - 1 = -5. Do t and r have the same value?
False
Let u be (9 + -2)*(0 + (-48)/(-14)). Is 2 at most as big as u?
True
Let w = -96 + 1250/13. Let a be (8/(-24))/((-2)/6). Which is smaller: a or w?
w
Let y = 8 - 5. Let b be 12 + -2 + 6/y. Suppose f + 2*n = b, 5*n = 6 + 19. Is 2 at most f?
True
Let w = -1 + 0. Suppose 2*u - 4*u - 5*v - 6 = 0, 3*u + v = 17. Suppose 0 = 4*c - 2*q, 4*c + 5*q + 21 = -u. Which is smaller: w or c?
c
Suppose -100*d - 18 = -103*d. Is d at most as big as 8?
True
Let w be (13 + -17)/(2/(-7)). Let d(h) = -h**3 + 14*h**2 + h - 13. Let t be d(w). Suppose -5*o + 3 = 4*i, -4*o - 3*i = 2 - 5. Which is greater: o or t?
o
Let c be 1 - 9/33 - 1. Let i be 2 + 6*(-3)/6. Let u be 1/(-3)*(i + 1). Is u less than or equal to c?
False
Let o = -6.4 - -0.4. Let t = o - -3. Which is great