(-4)/k - (-5)/(-7). Suppose -6 - 24 = 5*y + 4*s, 2*s = 3*y - 4. Do y and f have the same value?
False
Let l(c) = 2*c**2 + 9*c - 6. Let m be l(-5). Is 14 greater than or equal to m?
True
Suppose 0 = o + 1 - 2, -4*l - 3*o = -39. Let y = l - 7. Let n = 2 + -3. Which is greater: n or y?
y
Let t be -9*((-33)/(-9) - 4). Let u(m) = m**3 + 3*m**2 - m + 1. Let h be u(-3). Which is greater: t or h?
h
Let p(b) = -b**3 + 5*b**2 - 5*b + 6. Let u = 15 - 11. Let s be p(u). Suppose -1 = s*v + 3. Which is smaller: v or -1?
v
Let l = 123 - 125. Is l != -9?
True
Suppose -2*a + 9 = 5. Which is bigger: 4 or a?
4
Let c = 6 + -6. Which is smaller: c or -8?
-8
Let j = -30 + 20. Let y = j + 10.1. Which is smaller: 0.04 or y?
0.04
Let u be (2/(-1))/4*0. Suppose 3*m = -2*v, 4*m + v - 2*v = u. Which is bigger: m or -1?
m
Let a be 4/6 - (-1 - -1). Suppose 43 = -4*u + 27. Which is smaller: a or u?
u
Suppose -4*d = -0*o + 4*o + 4, 3*o = 5*d - 11. Suppose -1 = 2*j - 31. Suppose -5*c = -0*c + j. Are c and o unequal?
True
Let y be 2 - 7/(70/15). Let j = 2.5 - 0.5. Is y smaller than j?
True
Let w be -2*1*(-16)/(-48). Is 7 > w?
True
Let w(v) = -v**3 - 3*v**2 - v + 2. Let q(h) = h**3 - 4*h**2 - 4*h - 7. Let n be q(5). Let b be w(n). Which is greater: 1/4 or b?
1/4
Let r = 58 - 103. Is r at least as big as 0.1?
False
Let j = -16 + 13. Do j and -6 have the same value?
False
Let l = -3.5 + 3.4. Is l bigger than -3/16?
True
Let g(q) = -6*q - 1. Let m be g(-8). Does m = -1?
False
Let t be ((-1 + 2)/6)/((-4)/(-6)). Are t and -0.017 nonequal?
True
Let a be ((-120)/9)/(490/(-55)). Let u = 8/49 - a. Which is smaller: u or -2/7?
u
Suppose 2*d - 3*d + 5*j = -2, -3*d - j + 54 = 0. Which is greater: d or 18?
18
Suppose 4*l - 2*j - 6 = 0, 2*j + 0 = -3*l + 1. Which is greater: l or 3/5?
l
Let p(g) be the second derivative of -g**5/20 - g**4/6 - g**3/3 - 3*g**2/2 - g. Let o be -1*(3 - -1) + 2. Let x be p(o). Which is smaller: x or 2?
x
Let w = -336 + 6388/19. Is 1 smaller than w?
False
Let v(c) = c - 5. Let i be v(5). Let s = 35 - 36.9. Let b = s + 2. Which is smaller: i or b?
i
Let w = 58 - 48. Is w at most 6?
False
Let p(q) = -4*q**2 + q - 14. Let x be p(0). Does x = -13?
False
Let m be (3 + -8)/(1/(-5)). Which is smaller: m or 47/2?
47/2
Let z = -7 + 6. Which is greater: 1/6 or z?
1/6
Let k = -363 + 363. Let r be -2 + (-31)/(-17) + 0. Which is smaller: r or k?
r
Let h = -95 - -667/7. Let x = -28 - 7. Let j = x - -31. Is j equal to h?
False
Let y be (-2)/(-4) + 34/(-76). Let u(i) = i**2 + 2*i. Let d be u(-1). Is d at least y?
False
Let v = -154 - -1692/11. Is v less than or equal to 1?
True
Suppose 0 = 3*f + f - 4. Are 1 and f equal?
True
Let k = -1/1563 + -42196/7815. Do -4 and k have different values?
True
Suppose -z + 11 = 16. Are z and -6 unequal?
True
Let t be (-2*4/1)/(-1). Suppose n - t = 5*o - 31, -4*o = n - 13. Let p(x) = -x**3 + x**2 - x - 3. Let w be p(0). Is w < n?
False
Let y = -4/13 - -10/117. Let o = -10 + 12. Suppose 0 = i + o*i. Which is bigger: y or i?
i
Let l = -17.89 + -0.11. Which is bigger: 1 or l?
1
Let z(k) = k**2 - 6*k + 5. Let o be z(6). Suppose d - 5*v = 15, o*v - 5 = -3*d - 0*d. Suppose -d*y = -5*f + 10, -4*y + 9*y = -3*f + 14. Is f bigger than 0.1?
True
Let b = 1 - 1. Let i(w) = w**3 + 3*w**2 - w - 4. Let m be i(-3). Let r be (m + -1)*(-4)/8. Which is bigger: b or r?
r
Let p = 2 + -1. Let j = -84/29 + 2013/725. Do j and p have different values?
True
Suppose -t + 3 = 7, 5*t = 3*r + 13. Let d = -12 - r. Which is smaller: 2/7 or d?
d
Let g(q) = 4*q**2 - q - 1. Let f be g(-1). Suppose 3*i - 11 = -2. Let n = i - f. Is n smaller than 1/4?
True
Let z(q) be the third derivative of -q**6/60 + q**4/24 - 5*q**2. Let x be z(1). Is x at most -4/27?
True
Suppose -23*w = w - 312. Let f = -5 + 17. Which is bigger: f or w?
w
Let x = 0.5 - 1.2. Let u = x - -0.7. Which is bigger: -1 or u?
u
Let c = 0.04 - 0.24. Let r = 5 - 1. Let y be (5/r)/(-5)*-1. Is y at most as big as c?
False
Let a = 5 + -12. Let x be ((-2)/(-3))/(16/12). Which is greater: a or x?
x
Let h(s) = -s**3 - 4*s**2 - 2*s. Let f be h(-3). Which is bigger: -0.7 or f?
-0.7
Suppose d - 5 = -3*l + 2*l, 2*d = -l + 8. Let o be 0 + 4/(-8)*l. Which is greater: o or -3/4?
-3/4
Let x be (-2460)/(-7) - (-6 + 7). Let t = 351 - x. Which is smaller: 1 or t?
t
Let o be 132/16 - (-2)/(-8). Suppose -o = b - 0*b. Let h = 9 + b. Is -2/7 < h?
True
Let x be 184/69 - (1 + -1). Are 4 and x equal?
False
Let a be (8/10)/(14/(-10)). Is a greater than -1?
True
Let a be 2 + -1*5 + 2. Suppose 128 = 4*o - 32. Let l be 4/6 - o/78. Is a less than l?
True
Suppose 2*h - 2*n + 0 = -6, 5*h + 47 = -3*n. Which is greater: h or -5?
-5
Suppose 6*z + 360 = -24. Is -65 less than z?
True
Suppose -o - 4 = -19. Let m be 1*5/(o/(-54)). Let a be (6/20)/(m/(-24)). Is -4 < a?
True
Let v be ((-6)/8)/((-15)/(-10)). Is -2 greater than v?
False
Let y = -7 - -3. Let r be y/5*1/(-2). Is r at most as big as 0?
False
Suppose g = -0*g - g. Are g and 2/57 equal?
False
Let r be 10/(-35) + 6/7. Which is greater: r or 1?
1
Let i = 175 - 175.01. Is i bigger than -3/5?
True
Let l(j) = j**2 - 2*j + 2. Let g be l(3). Let v = 3 + 3. Which is bigger: v or g?
v
Let f(d) = 3*d + 1. Let x be f(4). Suppose 0 = 5*u + 2 + 3, -4*j + x = 3*u. Which is greater: 2 or j?
j
Suppose -2*p + p + 3 = 0. Let w be 1 + 0 + 0/(-3). Let d = w - -1. Which is bigger: d or p?
p
Suppose 18*x = 17*x - 15. Is x greater than -17?
True
Let k = -36 + 11. Let j = k - -13. Let y be 5*(j/(-10) + -2). Do -3 and y have the same value?
False
Suppose -10 = -3*r - 4*l, -4*r - 3*l + 3 + 8 = 0. Suppose 0 = r*g - z - 1, z = 4 - 5. Is 3/4 at most as big as g?
False
Let h be (0/2)/(1*2). Suppose 0 = -4*l + 2*l. Is h at most l?
True
Let t be ((-5)/(-1))/(0 - 1). Let h = -8 - t. Let l be h/2*(-12)/9. Which is smaller: 2/3 or l?
2/3
Let m be -3 + (12/15 - -2). Which is smaller: -3/2 or m?
-3/2
Let l(g) = -g**3 + 4*g**2 + 5*g - 5. Let f be l(5). Is -3 greater than f?
True
Let v be (-2)/(-3)*(-9)/24. Let w = -2 - -3. Which is bigger: v or w?
w
Let c = 42 - 63. Let v = c + 106/5. Is -1 >= v?
False
Let x be 26/10 + 8/20. Let k = 1 + x. Which is smaller: k or -2/7?
-2/7
Let d(r) = -r**3 - 2*r**2 + 2. Let k be d(-2). Suppose 0 = -l, 2*x + 5*l = -0*x - k. Do -2 and x have the same value?
False
Let n be ((-2)/6)/((-2)/6). Let o be 1 + (n - (1 - -1)). Suppose o = 2*t - 2 - 2. Which is smaller: t or -1?
-1
Let y = -6.7 - -7. Which is smaller: 0 or y?
0
Let c = 16 - 20. Let w = -5 - -2. Which is bigger: c or w?
w
Let s = 415/6 + -69. Which is smaller: s or -2/9?
-2/9
Let u = -199 + 602/3. Are u and 2 non-equal?
True
Let v = -6 + 7. Which is smaller: -2/9 or v?
-2/9
Let d = -278 + 541/2. Which is greater: d or -8?
d
Suppose -4*l = -28 - 20. Suppose 0 = 6*s - 2*s - l. Let y = s + -3. Is -1 greater than or equal to y?
False
Suppose 5 - 25 = -5*p. Let z = 54 + -101/2. Is p less than z?
False
Let h(y) = -y**3 + 5*y**2 + 7. Let q be h(5). Suppose -3*f - 2 = -3*d + q, 5*f + 5*d - 35 = 0. Which is smaller: 3 or f?
f
Let g be -1 - -4 - (1 - 1). Suppose 2*f - 2 = g*t, 5*f - 3 = t + 2. Let j be -1*(f + 0/1). Which is greater: j or -3/5?
-3/5
Let t = -54 + 53. Which is smaller: t or -7/4?
-7/4
Let g = -1317/20 - -257/4. Let u = -3 - -2. Which is smaller: g or u?
g
Let t = 0.8 + 0.2. Let w = 8 + -1. Let u = -9 + w. Is t > u?
True
Suppose -6 + 8 = 2*y. Let p be 0*-2*2/4. Is p less than y?
True
Suppose 0*u = c + u - 1, 5*u + 4 = 4*c. Let k = -1501/172 - -35/4. Let q = 165/301 + k. Which is smaller: q or c?
q
Suppose 2*b + 1 - 7 = 0. Suppose 2*d = 10 - 2. Which is bigger: d or b?
d
Suppose -45 = 3*p - 8*p. Let o be ((-9)/(-5))/(19/(-95)). Let t = p + o. Which is smaller: t or 1?
t
Suppose 5*n = 2*u - 3 - 2, 4*u + 5*n - 25 = 0. Let y be 10/(-12)*(-9)/30. Are u and y nonequal?
True
Let p = 130720397/280 - 466858. Let u = p - -11/35. Let z = 67/40 - u. Which is greater: z or 0?
z
Let x = -38/55 + -10/11. Let k = -4 + 1. Is x less than or equal to k?
False
Let v be ((-1)/3)/(2/(-18)). Suppose 9 = q - 2*y, 12 = 3*q + v*y + 30. Suppose 2*g + 3*g - 5 = 0. Which is smaller: q or g?
q
Let v be (-32)/3*(5 - -1). Let k = v + 450/7. Which is smaller: k or 0?
0
Let x = -1 - -2. Suppose 2*j - x = j. Suppose y = -0*y + 3*t + 7, 4*y + 5*t = -6. Is y not equal to j?
Fal