/2. Let n(w) = w**2 + 4*w - 2. Let r be n(-6). Suppose 0*d + 5*d + r = 0. Is f <= d?
True
Let g = -127 - -120.3. Let z = g - -7. Let t = z + -0.2. Which is smaller: t or 0.2?
t
Let v = 11 + -13. Let f = -0.8 + -0.2. Which is smaller: f or v?
v
Let j = -5 - -7. Let c(p) = p + 4. Let f be c(0). Let l be (2/4*f)/2. Which is bigger: j or l?
j
Let v be 4 - 2/(-4)*-2. Suppose v*o + 2*o - 15 = 0. Let n be o/(-12) - (-5)/4. Is n < 1/3?
False
Let r = 20 + -20.09. Let v = r - 0.01. Does v = 0?
False
Let d = 67/3 - 22. Suppose -2*a + 4 = -2*p + 2, 0 = a - 2. Which is greater: p or d?
p
Suppose 0 = -0*f - 4*f - 3*i, 3*i = 5*f. Let b = -45 - -407/9. Is b at least f?
True
Let q = -197 + 196. Is -1/36 != q?
True
Let l(h) = h**3 + 9*h**2 + 4. Let b be l(-9). Which is greater: b or 17/4?
17/4
Let z be (-6)/(-10) + (-22)/(-5). Suppose 8 = z*c - c. Suppose j = -j + c. Which is smaller: j or 3/2?
j
Let s = -23 - -22.9. Which is bigger: s or -4/7?
s
Let a = -1.9 - -2. Let u = 27 - 8. Let p = 19.05 - u. Which is bigger: p or a?
a
Let x(f) = -f**2 - 5*f + 3. Let s be x(-6). Let m = 4 + s. Let j be m/(-4) + 28/48. Are j and 0 equal?
False
Let j(q) = 92*q + 3. Let g be j(-2). Let t = g - -1265/7. Which is smaller: 0.5 or t?
t
Let l = -0.45 - -11.95. Let w = 9 - l. Let y = -0.5 + w. Is -2/9 > y?
True
Suppose 4*d = 3*d - 1. Which is greater: 1/4 or d?
1/4
Suppose 4*v - 51 = -k, 5*k - 14 = v - 53. Suppose -23 = -0*d - 2*d + 5*z, 5*z + v = d. Let w be (3/4)/(d/(-8)). Does w = -1?
False
Let k(w) = w**3 + 12*w**2 + 22*w + 20. Let g be k(-10). Which is greater: -1/20 or g?
g
Let a be (-2 - -1)/(4/(-16)). Which is smaller: 14/5 or a?
14/5
Let q = 8 + -3. Let i be (15/6)/((-1)/(-2)). Suppose -5*l - 5*a = -25, a + q - 10 = -i*l. Is -1/7 less than or equal to l?
True
Let v = -16 + 1. Which is smaller: v or -14?
v
Let r be ((-2)/(-4))/(7/(-14)). Let q be 5*(-4)/10*-2. Let x be 3 - q*(-2)/(-4). Is x at least r?
True
Let g(v) = v**3 - 4*v**2 + 3. Let i be g(4). Suppose -5*m + 10 = -i*m. Which is bigger: m or 6?
6
Suppose 0 = o - 3*q - 14, 0*o - 5*o + 90 = -5*q. Which is smaller: o or -0.1?
-0.1
Let z(p) = p**3 - 6*p**2 - 4*p - 6. Let c be z(7). Suppose -q - 3*j = q + c, -5 = q + j. Suppose 0 = 3*l - l - 3*i, 4*l + 5*i = q. Are l and 1/3 non-equal?
True
Let k(r) = -5*r - 1. Let d be ((-1 + 4)/(-3))/1. Let b be k(d). Let t = -2 + b. Do 3 and t have the same value?
False
Let t be 0 - (0 - (-2)/(-2)). Let o = -70 + 632/9. Which is smaller: t or o?
o
Let n = -3 - -6. Suppose -f - 12 = -n*f. Let m = -9 + f. Which is smaller: m or -2?
m
Let f = 52 + -43. Do 5 and f have different values?
True
Let q be 124/30 + (-8)/60. Suppose 0 = q*p - 20, 4*m - p = p - 2. Is m bigger than 2?
False
Suppose 15 + 0 = 3*u. Suppose -4*y = -u*p - 32, -p - 15 = -3*y - 2. Suppose 4*f - 4*s + 12 = 0, f - 10 = -y*s + 3. Which is bigger: f or 0.2?
f
Suppose -5*s = -63 - 12. Let b be (s - 16)/(10/(-52)). Is 4 != b?
True
Let b be (-16)/7 - 18/(-63). Let f = -3 - b. Are -1/2 and f equal?
False
Let g(y) = -y**2 + 9*y - 10. Let z be g(7). Is z greater than 2?
True
Suppose 5*h + 5*m - 55 = 0, 5*m - 37 = -3*h + 3*m. Let i be 2/h + 14/(-60). Is 0 not equal to i?
True
Let x(n) = 2*n - 26. Let d be x(-8). Let t(r) = 32*r + 4. Let s be t(-3). Let z be (-2 + s/d)*-3. Which is greater: -2 or z?
z
Let r(o) = -o - 1. Let b be r(-2). Let l be -3 - b*(3 - 5). Which is smaller: 0.5 or l?
l
Suppose -4 - 8 = 6*q. Which is bigger: -4/3 or q?
-4/3
Let z = -58 - -29. Is z bigger than 2?
False
Suppose 0 = -5*k - 3*p + 11 - 2, -3*k + 2*p = 6. Which is smaller: k or -0.01?
-0.01
Let u(a) = -a**2 - 13*a - 15. Let p be u(-11). Let z(d) = d**3 - 8*d**2 + 6*d + 5. Let v be z(p). Let n = -11 - -8. Is v >= n?
True
Let j = -2/1727 - 17256/12089. Is -2 at least as big as j?
False
Let u = 1/8 - -11/40. Which is bigger: u or -18?
u
Suppose -2*v - 2 - 64 = 0. Which is greater: -32 or v?
-32
Let z be 147/492 + (-8)/32. Which is smaller: -1 or z?
-1
Let c(y) = -y - 7. Let x be c(-12). Suppose -4*b = -2*g - 20, 2*g + x - 25 = -4*b. Is -0.1 >= g?
False
Suppose 0 = 5*v - w - 22, -3*v + 4*w = -4 - 16. Suppose 16 = -0*p + v*p. Suppose 5*g - 6 = -3*u + 5, p*u - 9 = -g. Is u smaller than 1?
False
Suppose -16 = 3*v - 19. Which is smaller: 3 or v?
v
Let d = 0.3 - -0.7. Suppose 0 = 4*s - 2*t - 32, 3 + 9 = 3*t. Let o be (2/(-25))/((-2)/s). Which is bigger: d or o?
d
Let g = 328 + -171. Do -1 and g have the same value?
False
Suppose 2*u = -b + 22, 5*b - 1 + 8 = 3*u. Is u <= 8?
False
Suppose 7*c - 11*c + 8 = 0. Suppose 0 = -5*z + 5 + 5. Is c > z?
False
Let o be ((-7)/84 + 2/12)*2. Let w = -2 + 2. Which is bigger: w or o?
o
Let g(m) = -m**3 + 22. Let s be g(0). Suppose -3*i + k - 2*k = -s, -14 = -2*i - k. Let f = -1 - -1. Are i and f non-equal?
True
Suppose 20 = -2*j + 2*d, 0 = -0*j - 5*j - 5*d - 80. Are -14 and j nonequal?
True
Let c = -4.8 + 4.3. Let q = 1.8 + -0.3. Let g = c + q. Is g < 3?
True
Let d = -1.36 - -1.46. Is d smaller than 38?
True
Suppose -4*d + y + 2 = -0*y, 5*d - 3*y - 6 = 0. Which is smaller: d or -12/11?
-12/11
Suppose 4*p + 1 = 9. Let w = -2/1565 - -14099/10955. Are w and p non-equal?
True
Let w = 322 - 544. Let k = w + 96. Let z be 4/6 + (-24)/k. Is z greater than or equal to 2?
False
Let i be (-6)/(-2) - (-2 - -2). Let h = -2 + i. Do h and 2/9 have the same value?
False
Let n = 57 - 57.2. Are 25 and n unequal?
True
Let v = -1.4 - -1.4. Do v and -2/9 have the same value?
False
Let s(d) = -d**2 + 6*d - 2. Let l be s(5). Let v(k) = 3 + 4*k**2 + 0*k**l + 0*k**2 - k**3 - 3*k. Let f be v(3). Which is smaller: f or 4?
f
Let a = -160/3 - -54. Is a at most 0?
False
Let t = -90 + 92. Which is smaller: t or 1.8?
1.8
Let g = -47 - -28. Let q = 8 + g. Let i = -6 - q. Which is greater: 1 or i?
i
Let f = 0 + 0. Suppose -2*j = 3*l + 17, -3*l = -5*j - 23 - 30. Let w be 1 - j*1/(-8). Does w = f?
False
Let o(b) = -b**3 - 12*b**2 - 12*b - 15. Let n be o(-11). Which is smaller: -5 or n?
-5
Let d(g) = -4*g**3 + 2*g**2 - 2*g + 1. Let b be d(1). Let p(n) be the third derivative of -n**6/30 - n**5/60 + n**3/6 + 6*n**2. Let t be p(1). Is t <= b?
True
Let s = 29349/58 - 506. Which is smaller: s or -1?
-1
Suppose 3*w + 1 = 7. Suppose w*f - 7*f = -25. Which is bigger: f or 4?
f
Suppose 0 = 3*l - 9 - 9. Which is smaller: l or 9/2?
9/2
Let r(i) = 2*i**2 - 2*i - 2. Let c be r(3). Let f = 21 - 29. Let u be (1/5)/(f/c). Do u and 0.1 have the same value?
False
Let o = 82 + -84. Which is smaller: -4 or o?
-4
Let y be 60/(-45) - 1*-2. Which is smaller: y or 0?
0
Let a = 0 - 0.1. Let v = -44 - -45. Is a <= v?
True
Let z = -2.02 + 0.02. Let k = -1.96 - 0.02. Let d = 0.02 - k. Which is smaller: z or d?
z
Let g(o) = o**3 + 7*o**2 - 3*o + 13. Let m be g(-7). Which is greater: 33 or m?
m
Let d(t) = -t**3 + 6*t**2 + 18*t - 5. Let p be d(8). Is 11 greater than p?
False
Let g(n) = -n**3 + 9*n**2 - 2*n + 11. Let b be g(9). Let k be (-1 - b/5)/(-2). Which is smaller: 0 or k?
k
Let a be 95/608 + (-2)/8. Which is smaller: a or 1?
a
Let t = 10.21 - 0.21. Let r = 14 - t. Let n = -3.6 + r. Are n and 2/5 nonequal?
False
Let l = 2 - -11. Which is bigger: l or -0.1?
l
Let g be (32/(-12))/((-4)/6). Let v be (g/22)/(1 + -2). Are v and 0 unequal?
True
Let y = -0.038 - 0.962. Is -11 bigger than y?
False
Let f(i) = -i**3 + 5*i**2 - 5*i + 5. Let s be f(4). Which is bigger: -1/7 or s?
s
Let v be 138/(-280) - (-24)/40. Let i = v + -183/140. Is 0 greater than i?
True
Let v(o) = -o**3 + 4*o**2 + o - 4. Suppose 0 = a + 3*b - 2*b - 4, 0 = -5*a + 4*b + 20. Let j be v(a). Let w be (1 - 0) + -1 + 0. Are j and w nonequal?
False
Let l = 13.1 + -13. Let x = 0.7 - 1. Let o = x + l. Which is smaller: -1 or o?
-1
Let u be 3/9 + 12/126. Is 1 equal to u?
False
Suppose -2*i - 35 = -a, -2*a + 2*i + 65 = -3*i. Suppose 9*w - 4*w + a = 0. Is -10 at most w?
True
Let m(w) be the second derivative of w**3/6 + 3*w**2/2 - w. Let a = -20 + 17. Let r be m(a). Which is greater: 1 or r?
1
Let a = -30 + 30.02. Is a equal to -0.1?
False
Let r be 1/((3 + 0)/(-6)). Let m be (r/4*2)/1. Which is smaller: 2/7 or m?
m
Suppose 0 = 46*f - 53*f - 7. Which is smaller: -5/6 or f?
f
Let d be 1*507/(-6)*-4. Let y be d/10*2/2. Let o = -34 + y. Is 0 < o?
False
Let h be -1 + 2 + 3 + -9. Which is smaller: h or 2?
h
Suppose -484 = 2*x - 486. Which i