-75/34 + 2651/986. Which is bigger: b or 2/7?
b
Suppose 11*d + 30 = 6*d. Let q be 28/10*d/7. Which is smaller: q or 0.1?
q
Suppose -3*b - 5*d - 63 = 0, 4*b - 8*b + 3*d - 55 = 0. Let o be (-812)/48 - -3 - 4/b. Is o less than -14?
False
Let x(v) be the first derivative of -v**2 - 6*v - 3. Let p be x(5). Let h = p + 50/3. Is h less than -0.05?
False
Let d(o) = 3*o**2 - 3*o - 4. Let s be d(3). Let k(c) = c**2 + 4*c + 7. Let n be k(-5). Is s at least n?
True
Let d be (-1 + -2)*1 - 284/(-92). Which is smaller: 1 or d?
d
Suppose 4*l - 31 = 3*w, -3*l + 0*w + 42 = 4*w. Suppose -k = k - l. Suppose 4*x = -k + 1. Which is smaller: x or -1/4?
x
Let g(n) be the third derivative of -n**6/60 - n**5/60 - 5*n**4/24 - n**3/3 - 26*n**2. Let i be g(-2). Which is smaller: 19 or i?
19
Let c = 0.178 - -102.822. Let p = c - 82. Which is smaller: p or 3?
3
Let d(o) = 103*o + 480. Let s be d(-5). Let a(q) = -q**2 - 3*q - 7. Let m be a(-7). Is m at most as big as s?
True
Let h = -23.52 + 23.079. Which is greater: -0.2 or h?
-0.2
Let c be 14/2*(-3)/(-3). Let r be (2/(-21))/((-4)/c). Which is bigger: 0 or r?
r
Suppose 0 = 48*t - 30*t - 5238. Is t smaller than 292?
True
Let u = -1.98 + -0.02. Let o = -1 - u. Let l = -0.648 + 0.048. Is o at most l?
False
Let r be (-1185)/4 + 1/2. Let s = r - -294. Suppose -3*d = l + 4*l + 18, -5*d + 7 = -4*l. Which is bigger: l or s?
s
Let k(g) = -g - 8. Let d be k(-6). Let q be (7/(-4))/(d/(-18)). Let h = -16 - q. Which is smaller: -5 or h?
-5
Let d be (-28 - 10/(-5)) + (7 - 2). Let t be ((-40)/(-6))/((-1)/3). Is t smaller than d?
False
Let n be (3/(6/4))/((-30)/(-45)). Let r(c) = c + 1. Let s be r(3). Which is smaller: s or n?
n
Let v = 54 - 53.983. Let c = v + -0.107. Do 0.04 and c have the same value?
False
Let j = -34 + 24. Let k = 35 - 74. Let x = 30 + k. Is x greater than or equal to j?
True
Let i = 2243 - 1673. Which is smaller: i or 0?
0
Suppose 3*x + 24 = -15. Let z be x - 3 - -2 - 2. Which is greater: z or -15?
-15
Let z be 4/(-1 - 3)*33. Which is bigger: -0.03 or z?
-0.03
Let p = 25417/13 - 1957. Which is smaller: -2 or p?
-2
Let p = -407 - -406.9. Is 228 smaller than p?
False
Let z(m) = -m**3 + 7*m**2 - 4*m. Let q be z(6). Suppose -x = -o - 5*x + 12, 3*o = 2*x + 22. Which is smaller: q or o?
o
Let p(c) = -23*c. Let w be p(-2). Let v = 162 - 160. Suppose v*d = 2*q + 5*d - 14, -5*q - 2*d + w = 0. Which is bigger: q or -1?
q
Let l = 0.12 + -7.12. Let z = -60 + 27. Let f = z - -34. Which is greater: l or f?
f
Let t = -37 + 147/4. Let k = 3/5 - 7/20. Are k and t nonequal?
True
Let i(t) = 2*t + 30. Let d be i(-16). Let z be 10/(-4)*d/(6*-10). Suppose 0 = 3*v - 1 - 2. Which is greater: z or v?
v
Let z(d) = -d**3 + 27*d**2 - 45*d - 60. Let j be z(25). Which is smaller: -1 or j?
-1
Let n = -441/22 + 10803/506. Let b = -242/115 + n. Let l = -3 - -1. Are l and b nonequal?
True
Let t = -69 + 486/7. Let x(r) = r**3 - r + 3. Let i be x(0). Suppose 2*h = i*h. Is t at most as big as h?
False
Suppose -3*n = -4*k + 11, -3*n + 0*k + 19 = 2*k. Suppose -4 = -r - 3*h + 2, -n*h = 0. Is r <= 2?
False
Let d = 309 + -309. Which is smaller: d or -2.2?
-2.2
Let k = 321 - 321.07. Let d be (6/8)/3*2. Which is bigger: k or d?
d
Suppose 123 = -u - 2*k, -226 = 2*u - 4*k + 20. Let w = 102 + u. Is w equal to -22?
False
Let c = 0.31 + -7.31. Let q = 0.3 - -7. Let y = q + c. Which is smaller: -2/7 or y?
-2/7
Let o = 3.83 - 5. Let h = o - -0.17. Is h < -19?
False
Let f be (-4)/(-2)*2947/(-14). Let y = f - -3797/9. Is 1 greater than or equal to y?
True
Suppose 4*s + 0*s + 0*s = 0. Which is greater: 14/75 or s?
14/75
Let g(b) = 5*b**2 + b. Let j be g(-1). Let h = -4 + j. Let t be 20/(-21) - 1*(-14)/21. Do t and h have the same value?
False
Let p = 11 + 15. Let c = 30 - p. Let w be 6/(c/(-8) + 2). Is w smaller than 4?
False
Let f(g) = 2*g + 17. Let a be f(-9). Is 2/217 >= a?
True
Let k(i) = -2*i + 13. Suppose b = 3*r - 6, 4*b - 4*r = -r - 6. Let n be k(b). Suppose -u - 10 = 3*h, 2*h + 2 = u - n. Is 5 greater than u?
False
Let f = -74/9 + 388/45. Let p = 2.32 - 2.43. Which is bigger: p or f?
f
Suppose -4*h + 0*h = a, 4*a - 36 = -4*h. Suppose 2*p = 3*p + 3. Let l be (-20)/p*(-18)/(-10). Are l and a equal?
True
Let x(m) be the third derivative of m**4/3 + 2*m**2. Let r be x(-1). Let s be 1 + 0 - (-30)/(-3). Is s greater than r?
False
Let n = 31 + 10. Let f = -42 + n. Are -3 and f equal?
False
Let d = 330 + -66. Let z be (-2)/(-5) - (-150728)/(-570). Let x = d + z. Which is smaller: 0 or x?
x
Let p = 8 + -8.7. Let x = 79.17 - 3.27. Let y = 76 - x. Which is bigger: y or p?
y
Let w(x) = 161*x + 36. Let k be w(-8). Are k and -1252 equal?
True
Let p be 100/396 + (-3)/(-27). Let s = 0 - 1. Is s < p?
True
Let z(x) = 11*x - 483. Let m be z(44). Which is smaller: 511 or m?
m
Let w(y) = y**2 + 3*y - 5. Let p be w(-4). Let j = 1310 - 1309. Which is greater: p or j?
j
Let j = 38 - 36.2. Let z = j + -0.7. Which is smaller: -2/5 or z?
-2/5
Suppose j - 3*j + 6 = 2*n, 0 = 5*j - 4*n - 15. Suppose -5*b + 3*b - 3*y + 4 = 0, 4*b - 2*y - 24 = 0. Are b and j unequal?
True
Let j(y) = y**2 - 5*y - 4. Let l be j(6). Let m(o) = -4 + 607*o + 0 - 601*o - 2 + 1. Let q be m(l). Is 5 < q?
True
Suppose 0 = 2*p - 9*d + 4*d + 152, 4*d + 16 = 0. Are -85 and p unequal?
True
Suppose 12 = 3*r - 6*r. Suppose 0 = -4*g + 3*i + 32, 0 = -5*g + 4*i - 0*i + 40. Suppose 0 = -6*v + 4*v - g. Is r bigger than v?
False
Let v = 34.84 + 2.16. Is v >= 3?
True
Let p = 11 - 6. Let j = 424 - 278. Let c = -146 + j. Are c and p non-equal?
True
Let g be 6/5*38/(-4). Let n = g - -11. Is n > -0.1?
False
Let d = 1.743 - 1.543. Let z = 0.83 + -0.8. Which is greater: d or z?
d
Let h be (-1 - -3) + 20 + 19. Is h not equal to 38?
True
Suppose 0 = -15*b + 11*b - z + 81, 4*z = 5*b - 75. Is -0.1 bigger than b?
False
Let x = 0 - 0.1. Let v = 506 - 506.47. Is v smaller than x?
True
Let z = 767 - 2420/3. Is -41 at most as big as z?
True
Let n be 48/(-60) + 1 + (-74)/20. Is n equal to 27/4?
False
Let t be (-2 + -1)/(1/(-2)). Let n(b) = 7*b**2 - b - 1. Let j be n(1). Is j less than t?
True
Let b(h) = -224*h**2 + 22*h + 49. Let j be b(-2). Is -892 smaller than j?
True
Suppose -2*b = -0 - 4. Let m be b - -2*(-3)/3. Suppose -5*q - 3*c + 0*c - 12 = m, -2*c = 4*q + 8. Which is smaller: -2 or q?
-2
Let j(f) = -3*f + f**2 + 4 + 0*f**2 + 5*f + 4*f. Let k be j(-4). Let q be 6/10 - (-377)/(-145). Is k > q?
False
Suppose 3*d - 75 = 4*g - 114, -6 = -2*d. Do 40/3 and g have different values?
True
Let o(r) = r**2 + 3*r + 5. Let t be o(-8). Let k be ((-6)/t)/(-1 - 39/(-36)). Is -2 equal to k?
False
Suppose -3*t - 4 = -7, -3*v - 5*t = -5. Suppose -3*q + 2*d = -v*q - 15, -18 = -5*q + d. Suppose 2*j + q*h + 17 = 0, 6 = -5*j + 2*h - 8. Is j equal to -5?
False
Let f = 131 - 154. Suppose -8*c - 52 = -6*c. Is c at most as big as f?
True
Let n = -22 - -26. Let u be ((-4 + n)/(-2*1))/(-1). Which is greater: u or 15/13?
15/13
Let c = -20 - -30. Suppose -c = -2*f + 16. Let z = -578 - -591. Is f < z?
False
Let o be (0*(-2)/4)/(-3). Suppose -21 = 6*j - 3. Is o > j?
True
Let u(o) = o**2 + 3*o - 12. Let t be u(2). Which is greater: t or 36?
36
Let r = -866 - -940. Is 74 bigger than r?
False
Let n(k) = 2*k**2 + 16*k - 5. Let h be n(-8). Let l be 4 + h - 18/(-14). Which is greater: l or -1/10?
l
Suppose -6*b = b + 63. Let m(r) = r**2 + 8*r - 10. Let o be m(b). Is o equal to -7?
False
Let h = -0.663 + 18.663. Suppose 3*k + o + 4*o - 11 = 0, 5*o - 3 = k. Suppose -k*n = 3*n. Is n greater than or equal to h?
False
Suppose -n + 3*c + 2 = 0, 4*n + 5 = 4*c + 13. Let p be n*(3 - 15/6). Let r be 0 + p + (-8)/12. Which is smaller: 2/9 or r?
2/9
Let a be 27/((-72)/8) + (2 - -2). Which is smaller: a or 1/560?
1/560
Let b(z) = -2 - 16*z + 5 + 11*z. Let y be b(-3). Let w be (-10)/(-55) + y/22. Which is smaller: w or 2/7?
2/7
Let x be (-371)/(-98) + 14/(-4). Let f = 5 + -5. Are f and x unequal?
True
Let k = 275398203/287 + -959577. Let m = -1/889 - -1271/889. Let a = k + m. Is a smaller than 0?
False
Let a = -30/119 - -2068/7259. Let z be (-7)/((-35)/(-2))*-5. Suppose -10*u + 8 = -z*u. Which is bigger: a or u?
u
Let z(h) be the second derivative of -h**4/12 + 3*h**3 + 5*h**2/2 + 16*h. Let q be z(18). Is q <= 5?
True
Suppose -5*f - 3*f = -272. Suppose -33 = -3*m - i, 2*i - 21 - f = -5*m