m + 2). Which is greater: -4/7 or g?
-4/7
Let d = 56 - 335/6. Let w(h) = h**3 + 5*h**2 + 5*h + 3. Let j be w(-4). Let s = j + 2. Which is smaller: s or d?
d
Suppose 4*o = 5*x - 58, x + 22 = 3*x - o. Do x and 0.1 have the same value?
False
Let v(s) = -s**3 - s**2 + 2*s + 1. Let r be 0 + (4 + 0)/(-2). Let b be v(r). Is b >= 0?
True
Let z(g) = 0*g**2 - g**2 - 10*g + 0*g**2 + 4 + 0. Let h be z(-10). Let x be (-21)/(-56)*h/(-6). Is 1 at most x?
False
Suppose 2 = -x - u, 4*u = x - 3*x - 4. Is 2/11 at most as big as x?
False
Let t = 13 - 11. Suppose -l + 5*v + 40 = 2*l, l - 4*v - 25 = 0. Which is smaller: t or l?
t
Let d be -1 - -8 - -3*(-2)/3. Which is bigger: d or -4?
d
Suppose 3*v + 5*y = v + 3, 5*v + 5*y = 0. Is -2/21 less than or equal to v?
False
Suppose m - 4 = 2*g, g = 6*g - 3*m + 11. Let z(j) = 8. Let o(b) = b - 1. Let x(f) = 2*o(f) + z(f). Let y be x(-3). Which is smaller: g or y?
g
Let q(h) = -3*h**2 - 49 + 44 + h**2 + h**3. Let j be q(0). Is -1 smaller than j?
False
Let s = -9 + 12. Suppose -s*r = h, h - 3*r + 8*r = 0. Is h less than 4/7?
True
Suppose -67 = -8*v + 9*v. Which is smaller: v or -68?
-68
Let y(a) = -a**2 + 6*a - 6. Let u be y(5). Which is smaller: u or 1?
u
Let x be 5/6*(-21)/(-35). Is x > -1/4?
True
Let m = -0.6 - 2.4. Is m less than or equal to -8?
False
Suppose -2*o - 3*o - 2*n - 84 = 0, 0 = 2*o + 2*n + 36. Is -18 less than o?
True
Suppose 1 = 5*i + 6. Which is smaller: -0.1 or i?
i
Suppose -i - 23 = 5*o, 0*i - 2*o = 2*i + 6. Let t be i*(8/26)/(-2). Is -1 at most t?
True
Let b(w) = w + 4. Suppose -s + 3*s + 2*c = 0, 5*c = 3*s + 32. Let m be b(s). Let g = -249 - -1746/7. Which is greater: m or g?
g
Let m(y) = y + 4. Let b be m(-6). Let z be 0 + (3 - b/2). Let s be (z/8)/((-1)/(-2)). Is 1 less than s?
False
Let o(d) = -d + 11. Let f be o(13). Suppose -r - 4 = -3. Is r at most f?
False
Let j be (-1)/(-1) + 2/(-3). Let k(p) = 2*p + 14. Let h be k(-10). Let z be (8/h)/((-10)/(-15)). Which is bigger: j or z?
j
Let b = -83 + 82.8. Is b greater than 1?
False
Let g = -3 + 5. Let u = -269/710 + -3/142. Is u at least g?
False
Let y(p) = -6*p - 7 + 1 + 8 + 5*p. Let n be y(5). Is -3 smaller than n?
False
Let r be ((-9)/6)/((-6)/40). Let d be ((-5)/r)/((-1)/(-2)). Which is bigger: 1 or d?
1
Let o(s) = -s**2 + 5*s + 7. Let k = -8 - -14. Let a be o(k). Is -2/13 bigger than a?
False
Suppose -2 - 1 = -w + a, -3*a = 2*w + 4. Is w <= -18?
False
Let t = 11 - 7. Let s(g) = -5*g - 2*g + 5 + t*g - 2. Let f be s(2). Which is smaller: -1 or f?
f
Let j be -3 + 1 + -2 + -1. Let y = j + 2. Let t(q) = -q**3 + 3*q**2 - q + 1. Let p be t(3). Which is bigger: y or p?
p
Let x = 0.04 + -0.84. Let c = 0.7 + x. Which is bigger: c or -6?
c
Let n = 2663/15 - 177. Let d = n + -107/60. Do -1 and d have the same value?
False
Let p = -3.4 - -3.6. Let l = 2/3 - 1. Is p equal to l?
False
Suppose 25*r - 9*r = 16. Is -85 greater than or equal to r?
False
Let f = 0.13 - 2.63. Let z = f - -2.5. Is -0.3 equal to z?
False
Let w = -6.77 + 7. Let f = w + -19.23. Which is smaller: -0.1 or f?
f
Let z = 0.9 - 0.2. Let s = z + 1.3. Is s >= -2?
True
Let i = -7/6 - 1/3. Is -3 >= i?
False
Let w(f) = 3*f - 3. Suppose -2*v + 4 = 2. Let x(t) = -t. Let u(i) = v*w(i) + 2*x(i). Let p be u(5). Which is greater: -1 or p?
p
Let x = 150 + -149. Which is smaller: 6/49 or x?
6/49
Suppose -2*f + 10 = 2*k, 8*k - 13 = -3*f + 3*k. Let p be (-4)/f - 48/(-18). Suppose 0*r - 3*r + 6 = 0. Is p at least as big as r?
True
Let j = 0.13 + 0.17. Is -0.1 at most as big as j?
True
Let a = 67 - 70. Which is greater: a or -2/3?
-2/3
Let v(f) = -f**3 - f. Let i be v(0). Let g be (36/(-54))/(10/3). Which is smaller: i or g?
g
Let b = -2 - -1.6. Let j = b - -0.3. Let c = j + 0. Is c smaller than -0.1?
False
Let a be ((-29)/(-3) + -8)*(1 + -31). Which is smaller: a or -49?
a
Let i(s) = -s + 5. Let q be i(0). Let n be -1*1 + (6 - q). Let t = 0 + n. Is t != 1?
True
Suppose 0 = -0*t + 3*t - 12. Let n = -8 + t. Is n less than -5?
False
Let c(q) = -q**3 + 5*q**2 + 6*q + 1. Let s be c(6). Let m be s*(-39)/(-21) - 2. Suppose -4*k = 2*a + 2, -k = -2*k - 5*a + 4. Which is smaller: k or m?
k
Let u = 1311/26 + -101/2. Let g = 2 + -2. Does g = u?
False
Let u be (4/30)/(25/(-15)). Suppose -t - 4 + 5 = 0. Which is smaller: t or u?
u
Let z(b) be the third derivative of -1/60*b**5 + 1/4*b**4 + 0*b**3 + 0*b + 0 - 2*b**2. Let t be z(6). Does t = 1/2?
False
Let f = -0.2 - -0.3. Let c(a) = -a - 9. Suppose 2*p + 3 = -15. Let i be c(p). Which is bigger: f or i?
f
Let k = -130 - -130. Which is bigger: k or -8/7?
k
Let a be 18/(-81) + 112/18. Suppose -6*p = -4*p - a. Are p and 3 equal?
True
Let z be 3/12*(-8)/(-19). Let a = -85 + 84. Which is smaller: a or z?
a
Let t be 14/4 - (-1)/(-2). Suppose -t*n - 2*n - 6 = -3*o, 0 = 4*o - 3*n - 19. Which is greater: o or 5?
o
Let i(t) = -t**3 + 6*t**2 + t - 7. Let l be i(6). Let y be 2/(-40) - (-3)/12. Is y <= l?
False
Let f(o) = o**2 + o. Let q be f(2). Let m be ((-32)/14 + 2)/q. Which is bigger: 0 or m?
0
Let a be 72/(-28) - (-2)/1. Let g(z) = -z**3 + 8*z**2 + 9*z. Let q be g(9). Which is smaller: q or a?
a
Suppose -11*w = -10*w. Are -2 and w unequal?
True
Let t(d) = d**2 - d + 1. Let m(q) = q**2 - q + 1. Let c(z) = 6*m(z) - 5*t(z). Let r be c(0). Let w = 348 + -1383/4. Which is bigger: r or w?
w
Suppose 4*v = -5*r - 10, r = -2*v + 5*r + 8. Let u be (738/(-48))/3 - -5. Is u greater than v?
False
Suppose -4*d + 2*d = 4. Let p = 31 - 63/2. Which is smaller: d or p?
d
Let b be -2 + (-12)/27*-6. Let m be 5 + -6 - (-13)/9. Is b > m?
True
Let q(w) = 2*w. Let x be q(1). Suppose 2 = x*z - 0. Let c be 0 + (-2 - 9/(-5)). Which is bigger: z or c?
z
Let z(p) = -4*p - 5. Let d(q) = -3*q - 4. Let j(i) = 3*d(i) - 2*z(i). Let o be j(0). Let n be (0 + -1 - o)/(-1). Is -1 not equal to n?
False
Let j(h) = 9*h. Let i be j(-2). Let f be i/(-20)*10/28. Let x = f - 4/7. Which is greater: x or 2/3?
2/3
Suppose 4*a + 9 + 19 = 0. Let v = 6 - 12. Which is smaller: a or v?
a
Let l be (-16)/(-7) - (-2)/(-7). Suppose 2*n - 8 = -l*v, 4*v - 6*v = -3*n - 13. Does -1/4 = n?
False
Let g = 47.1 - 46. Which is bigger: g or -2/7?
g
Let v be (-3)/5*7/(-21). Let z = 24 - 23. Which is bigger: z or v?
z
Let d be ((-18)/30)/((-1)/5). Suppose -x + 12 = -4*x - d*q, -27 = -2*x + 5*q. Let l = 0 + 0. Which is smaller: l or x?
l
Suppose -y = 2, y = -2*q - y - 816. Let f = q - -6904/17. Is 0 greater than or equal to f?
False
Suppose -5*r + 24 = 2*h, -12*r + 5*h = -9*r - 2. Let m = 17 - 12. Is r <= m?
True
Let g be (-2)/9 + 164/9. Suppose 3*i + g = -2*h, -14 = -h - h + 5*i. Which is greater: 1 or h?
1
Let h = -6 + 9. Suppose h*z = -1 + 4. Which is smaller: z or 1/16?
1/16
Let o be 781/(-935) - (-6)/10. Which is smaller: 0 or o?
o
Let g(u) = -u**2 + 4. Let b be g(0). Is 5 less than b?
False
Let n be (36/8*1)/((-1)/2). Is -33/4 equal to n?
False
Let h be 482/4386 + 5 + 435/(-85). Is 1 smaller than h?
False
Suppose -4*x - 20 = 0, z + x - 11 = -z. Which is greater: z or 7?
z
Let p = 0 + -2. Let k = -3 - p. Is 3 equal to k?
False
Suppose 2*o + 12 = 3*k - 5, o + 22 = 3*k. Let i be 50/18 + (-4)/(-18). Suppose i*v = -3*m + k, -6 = -2*m - m. Is v smaller than 2/7?
False
Let v = -3 - -4. Let a be (v + 0 + 0)/(-2). Let s be (4/20)/(6/15). Which is bigger: a or s?
s
Suppose -4*z + 4*r = 4, -r + 1 = -z + 2*r. Let x be 2*(0 - (1 - 0)). Let v be (-56)/14 + (-8)/x. Which is greater: v or z?
v
Suppose 0 = 2*n + 4*i - 40, -n - 5*i + 6 = -2. Let v be (22/n)/(12/(-124)). Let g = -58/7 - v. Which is smaller: 1 or g?
g
Suppose 0 = 2*q + 4*b - 10, -2*b + 35 = -2*q + 3*b. Let g = q - -5. Do -1/3 and g have different values?
True
Let u(k) = k**3 - 1. Let a be u(1). Are a and -4/9 equal?
False
Let b = -33 + 34.8. Is b > -2/7?
True
Let c be 5/(-10) + (-7442)/(-60). Let j = c + -371/3. Which is smaller: j or 0?
j
Let x = 4 - 5. Let p = -8 + 6.8. Let r = p - x. Is r at least as big as 2?
False
Let w = -19093/23 + 830. Which is smaller: 0 or w?
w
Let x(s) = 2*s + 5. Let d be x(-4). Let j be (-2)/3 + (-32)/d. Let z be j/(-4)*4/15. Which is bigger: 1 or z?
1
Suppose 2*i = -3*i + 10. Let r(c) = 4*c**i - 4*c**2 + c**2 + 4*c. Let n be r(-4). Is -2/17 at most as big as n?
True
Suppose -5*b - 10 - 17 = -4*p, -3*p + 12 = -b. Do 2 and p have different values?
True
Let d = -241/12